Design: NaNビットが完全に決定論的でない理由を文書化する

もう1つ注意すべき点は、NaNビットを誤って観察することは難しいということです。

それらを観察できないようにする方法、または少なくとも符号ビットを作成する方法はありますか？

IMOのNaNの非決定性は、ソフトウェアがそれらを気にすることは非常にまれであるため、そのままにしておく必要があります。 パフォーマンスを犠牲にして決定論的にする場合はどうなりますか？

NaNビットを観察する方法のリストは次のとおりです。

• reinterpret変換
• storeを線形メモリにロードし、異なる解釈でビットをロードします（またはビットを外部で観察させます）
• インポートされた関数のcallに引数を渡すか、エクスポートされた関数から値を返します
• copysign非NaNへの符号ビット

VMは、これらのそれぞれの前に正規化コードを挿入できます。 これが、前述の「エスケープポイントで正規化する」という考え方です。 storeは

@qwertie私はここで説明するように、仕様に含まれていない場合でも、完全に決定的にする方法があります。

@qwertieの利点には、移植性がわずかに向上する（たとえば、IEEE 754 totalOrder関数を不適切に使用するコードが世界に存在する）、再現性がわずかに向上する、複数のノード間で対称計算を行う場合の不変条件が強化されるなどがあります。

storeは

この場合、常に符号値を指定できますか？ それがmemに配置された場合、ちょうど1にするように？

@wandererこれは基本的に、正規化に伴うものです。値がNaNであるかどうかを確認し、そうである場合は、修正を適用します。 これは通常、ホットパス上の追加の比較と分岐です。

また、この号で言及されているオプションのベンチマークを行っていないことも付け加えておきます。 誰でもここに追加できるベンチマークは大歓迎です。

私は、パフォーマンスを優先する現在の非決定論のレベルに強く傾倒します。
私は実際、wasmがNaNの仮数ビットを厳密に定義していることに少し驚いていました。
これは今日のプロセッサには十分かもしれませんが、将来のプロセッサがどうなるかを知っている人はそうです。

wasmが高級言語から生成されている場合、そのトランスレータは、たとえば-ffast-mathのように、FPセマンティクスのレベルを制御するオプションを提供できます。 次に、トランスレータは、nansを目的の形式に強制するために必要な追加のwasm修正を挿入できます。 そのために、isNanまたはnormalizeNan演算子を提供できますが、現在はこれを推奨していません。

つまり、これを「修正」するのは、より高いレベルのツールであるIMOに任せるのが最善です。

+ 1 @ mbodart。 編集：ああ、実際には+1のものがあります:)。 ところで、私は個人的にWasm =世界の支配だと思います。したがって、将来のプロセッサはそれに敵対することはありません。

決定を下す前に、これによるパフォーマンスへの影響を定量化したいと思います。 私たちのツールチェーンはまだ未成熟で、現時点では優れたパフォーマンス測定を行うことができないと思います（これの方法には長い極があります）。 言い換えれば、「1000カットによる死」を避けたいのです。

@jfbastienに同意します。 セマンティクスをいじくり回す前に、まずパフォーマンスへの影響を定量化する必要があります。

明確にするために、私は現在、ここでの変更を提唱していません。 理論的根拠の資料を集めています。 NaNビットの非決定性が突き出ており、説明が必要です。 そして、私が知る限り、これらのビットを非決定論的にすることによるパフォーマンスへの影響を定量化した人は誰もいません。

両方のオペランドがNaNの場合、ARMv8は常に最初のオペランドを伝搬するとは限りません。 ルールは次のとおりです。

• 一方のオペランドがクワイエットNaNで、もう一方がシグナリングNaNの場合、シグナリングNaNを伝搬します。
• それ以外の場合は、最初のオペランドを伝搬します。

仕様を読んでいると、これはARMv8のAarch32モードとAarch64モードの両方に当てはまります。

この動作は、どちらの場合も第1オペランドを伝搬するSSEとは異なります。

どちらのアーキテクチャも、伝搬する前にクワイエットビットを設定することにより、sNaNをqNaNに変換します。

@stoklund良い場所です！ 2番目のNaNがシグナリングしている場合、ARMが最初のNaNを選択することは発生しないことを見逃しました。 それは私が上記の複数のNaNの場合のためにレイアウトした戦略を複雑にするでしょう、それで私達は理論的根拠の中でそれを言及することができます。

上記を要約した特定のテキストを提案するために、＃973を作成しました。