プラットフォームに依存しない数学ライブラリ

Question

sin、cos、floor、ceil、expとlog 32ビットで同じ結果を返します。 64ビットLinux、Solaris、その他のプラットフォームで同じ結果が得られるライブラリがありますか？

私は、次の選択肢を検討しています：
A）cephesgcc -mfpmath=sseと と各 プラットフォームで同じ最適化レベルが...しかし、その明確ではない、これがうまくいくことをコンパイル。
b）MPFRしかし、これは が遅すぎると心配です。

精度（編集済み）について：この特定のアプリケーションの場合 正確に数値に最も近い数字の を生成するものは本当に必要ありません。私はちょうど答え すべてのプラットフォーム、OSと "ビット"で正確に同じにする必要があります。それは が値が合理的である必要があると言われています（5桁はおそらく で十分でしょう）。私は最初の質問でこのことを明確にしていないことを謝ります。

精度が十分に低いMAPMまたはMPFRは のトリックですが、私は の「複数の精度」機械/フレーバーを持っていないものを見つけることを望んでいました。いずれにせよ、私は これを試してみます。

Answer 1

これは必要ありません。床と天井は計算が簡単なので正確です。

sin、cos、expなどのtransendentalsの最後のビットを四捨五入しています。しかし、これらはCPUのマイクロコードに固有のものであり、ライブラリに関係なく一貫して高品質で実行できます。ただし、丸めはチップアーキテクチャによって異なります。

もし、人為起源の正確な答えが実際にあなたの目標であるなら、あなたはポータブルライブラリが必要であり、そうすることによっても大きな効率をあきらめます。 MAPMのようなポータブルライブラリを使用すると、一貫したULP結果だけでなく、副次的な利点として、自由な精度を定義することができます。

あなたはSSEを使用して言及tools like this oneとthis one.

Answer 2

であなたの数学の精度を確認することができます。あなたがx86チップでしか動くことを計画していないのなら、あなたが期待している不一致はどういうものでしょうか？

MPFRについては、心配する必要はありません - テストしてください！ところで、もしそれがGCCに含まれていれば十分ですが、おそらくあなたのためには十分です。

Answer 3

MPFRを使用します。このライブラリは長年にわたり、太陽の下であらゆるプラットフォームに移植され、数多くの人々によって最適化されています。

MPFRがお客様のニーズに十分でない場合は、カスタムのASM実装について説明します。この場合、専用ハードウェアでの実装を検討する方が効率的です。

Answer 4

何かのようになります：これはあなたが探しているものですか（これはC99の標準数学ライブラリを置き換えることを目的としたライブラリなので、正常な場合は十分なパフォーマンスを保ちます） IEEE 754丸めモードによる丸め結果）？

Answer 5

crlibmはこのための正しいツールです。以前のポスターがリンクされています。正しく丸められているため、正しくコンパイルされていれば、IEEE-754準拠のハードウェアを備えたすべてのプラットフォームでビット一致の結果が得られます。 MPFRよりはるかに高速です。