GIMPS は、メルセンヌ素数の探索を行っているグリッドコンピューティングプロジェクトです。20年以上の歴史を持ち、いくつもの未知のメルセンヌ素数を発見するという大きな成果を上げているプロジェクトです。このGIMPSに参加する手順は以下の通りです。なお、当然のことですがインストール、実行するのは自分が管理しているコンピュータに限ってください。会社のPCで実行することは就業規則などに抵触する可能性があります。

アカウントの取得と設定

アカウントを取得せず匿名で参加することもできます。その場合はこの項目は飛ばしてください。

GIMPS のトップページにアクセスし、Create Account をクリックします。

必要項目を入力します。必須なのは Login と Password だけです。これらは GIMPS のサイトにログインする際と、クライアントの設定に使用します。Public Name はランキング等で表示されるときに使用されます。未設定だと ANONYMOUS と表示されます。

利用規約を確認し、同意したらチェックをいれいます。最後に reCAPTCHA にチェックを入れ、Create Account をクリックしてアカウント作成完了です。

クライアントのダウンロードと実行

クライアントは https://www.mersenne.org/download/ からダウンロードします。Windows、macOS、Linux、FreeBSD用の各クライアントが提供されています。ここでは Windows-64bit クライアントをダウンロードします。

ダウンロードした p95v298b6.win64.zip を展開します。

prime95.exe を実行します。

Just Stress Testing は GIMPS には参加せずストレステストのためのモードです。GIMPS に参加しますので、Join GIMPS! をクリックします。

Use PrimeNet to get work and report results にチェックを入れ、Optional User ID に、取得したアカウント名を入力します。匿名で参加する場合は Optional User ID の入力は不要です。

CPU 設定になりますが、ひとまずそのままで問題ありません。OK をクリックします。

Worker 設定になりますが、こちらもひとまずそのままで問題ありません。OK をクリックします。

PrimeNet よりワークデータを取得し、計算が始まります。

リザルトの確認

GIMPS のサイトにログインすると、Create Account だったところが Account/Team Info に変わります。My Account には以下のサブメニューがあります。

MyTeam はチーム参加している場合のメニューです。ここでは説明を省略します。

Account Setting

アカウントの各種設定を変更できます。

Summary

これまでの活動内容が表示されます。Show detailed stats for my account をクリックすると、ワークタイプ別の計算量とランキングが表示されます。

ランクは他の参加者との比較順位です。ワークデータ/ワークタイプごとに計算量が違うため、比較するために GHz-days に換算して比較されます。

CPUs

コンピュータ別の活動状況が表示されます。

クライアントの設定時に、コンピュータの識別名を設定すると、その名前で表示されます。

Assignments

現在割り当てられているワークデータと進行状況が表示されます。

exponent のリンクをクリックすると、ワークデータの詳細な履歴が表示されます。

Results

計算が完了したワークデータの一覧が表示されます。

Assignments と同様に exponent のリンクをクリックすると、ワークデータごとの詳細な履歴が表示されます。

ワークタイプ

GIMPS ではメルセンヌ数を素数判定するのにリュカ・レーマー法を用います。一般に巨大な整数を素因数分解するのは困難ですが、リュカ・レーマー法は非常に高速に行うことができます。しかし、巨大なメルセンヌ数が相手となるとリュカ・レーマー法を用いても膨大な計算時間がかかります。そこで GIMPS ではあらかじめ前処理を行うことで、明らかにメルセンヌ素数とならない候補を振るい落としています。また、計算の信頼性のために同じワークデータを別のコンピュータにも割り当てることでダブルチェックも行っています。どのような種類のワークタイプがあるかは PrimeNet Assignment Work Types にまとまっています。

このようにワークデータにはいくつもの種類があり、ワークタイプによって計算時間が大きく変わってきます。計算量の少ないワークデータですと数時間で完了するものもありますし、巨大なワークデータでは何十日もかかることもあります。ワークデータの割り当ては PrimeNet が自動で行うのですが、遅いコンピュータに巨大なワークデータが割り当たるといつまでたっても計算が終わらないことになります。そこで、クライアント側でどのワークタイプを計算したいかを設定することもできます。メニューの Test - Worker Windows - Type of work to get: です。

デフォルトでは Whatever makes the most sense となっていて、クライアントがCPUの種類に応じて自動的に適切なワークタイプを選択してくれるようになっています。通常はこのままにしておいて問題ありません。