以下は JE2BWM ほかが作成した翻訳です。原文は University of California より GFDL で配付されており、この翻訳も GFDL に従います。
原文: Validation (翻訳対象の更新日付は 4:50 PM UTC, June 22 2006 です)。

検証

BOINC では、検証という処理は以下の 2種類のことをします。

冗長に計算されたリザルトを比較し、そのうちのどれが正しいものかを判断する。
正しいと判断した個々のリザルトにどれだけの功績(credit)を付与するかを決める。

バリデータ(validator: 検証機能)はデーモン・プログラムです。プロジェクトで動かすアプリケーションのそれぞれについてバリデータを用意する必要があります。そして、それらをプロジェクトの構成定義ファイルの <daemons> セクションに指定しなければなりません。

種々の事情に左右されますが、 BOINC が提供する標準のバリデータを使えることもありますし、独自の機能をもった検証機能を開発しなければならないこともあります。

アプリケーションが厳密な比較に耐える結果を産み出すなら (たとえば、浮動小数点演算を行わないものであったり、一様な冗長計算の機能を使っている場合)、その場合は、後述の「sample bitwise validator」を使うことができます。
BOINC を「デスクトップ・グリッド」のような計算に用いるなら (つまり、参加する計算機をすべて信頼できるなら)、その場合は、後述の「sample trivial validator」を使うことができます。
以上のどれでもなければ、プロジェクト独自のバリデータを作る必要があります。 BOINC は単純なバリデータ用の雛形を提供していますから、この中にアプリケーションに固有な 3つの小さな関数をプラグインしてください。ほとんどのプロジェクトで上記のやり方が有効です。検証プロセスにより細かく立ち入る必要があるなら、 BOINC の高度なバリデータ用の雛形が使えます。

下記の 2種類の標準バリデータが用意されています。

sample_bitwise_validator は、絶対多数を要求します。そして、リザルトが同等であると考えるのは、バイトごとにピッタリ同じときだけです。
sample_trivial_validator は、与えられた最小CPU時間を超えているリザルトなら、どの2つも同等であると考えます。

コマンドライン引数

バリデータは(標準のものであれ、プロジェクト独自のものであれ)、以下のコマンドライン引数を持っています。

-app appname	アプリケーションの名前
[ -one_pass_N_WU N ]	N 個までワークユニットを検証したら、そこで一旦 exit します
[ -one_pass ]	ワークユニットのテーブルを始めから終りまで1回だけ処理し終えたら、そこで exit します。
[ -mod n i ]	(id mod n) == i を満たす id を持つワークユニットだけを処理します。このオプションを使えば、バリデータのインスタンスを同時に複数実行し、性能を上げることが可能になります。

BOINCの訳のメインページに戻る | (原文のメインページに戻る)

最終更新時刻 00:52:05, 2006年08月12日(JST)
Copyright © 2008 University of California. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
Copyright © 2008 Komori Hitoshi(je2bwm at jarl.com). Japanese translation from English web pages on BOINC. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.