繰り返し計算を高速に、結果は同じまま

最適化手法は当社のノウハウです。そのため、Cヘッダと薄いRustラッパーを添えた静的または動的ライブラリとして納品します。組み込みはCargo.tomlに1行追加するだけです。正しさは等価性テストで、出所は署名と来歴情報で確認できます。

Rust ライブラリの組込みと原版への切替えは納品時に合意します。最適化部分が変われば新しい版の測定が必要です。CI は別途受諾した注文で提供します。事業継続のためのソース預託は、支払い前に附則に従う検証済みボックスで依頼できます。

暫定的な範囲を知るだけなら不要です。無償のハーネスがソースコードなしで測定データパッケージを作ります。ビルドに必要なのは、ホットループで動くコードだけです。通常はシミュレーター、指標、ポートフォリオの状態です。コードはNDAの対象となり、他のお客様向けの作業には使わず、期限どおりに削除します。データの一部は検収までお手元に残せます。非公開入力は暗号化して送り、ビルドの完成後に鍵をお渡しいただきます。

両方行うのが最善です。パラメータ探索の独立した実行は複数のコアにうまく分散でき、当社のビルドは追加したどのコアでもそれぞれの実行を速くします。一方、各ステップが前のステップに依存する、1本の履歴に沿った単一のシミュレーションは、コアを増やしても速くなりません。当社が高速化するのは、まさにそのようなコードです。同じ探索に必要なコア時間が減れば、クラウドの費用も下がります。

レベル1では、すでに測定済みの結果に対してお支払いいただくため、このようなことは起こりません。レベル2では最低保証値を提示し、それに届かなかった場合は契約書の表に従って代金を残高に返金します。残高のうち入金残高は、ご請求に応じて払い戻します。

お客様のコードを、測定パスポートと同じプロファイル・同じプラットフォーム向けに-C instrument-coverage付きでビルドし、公開入力でパスポートのベンチマークを実行します。llvm-covのデータで1回以上実行されたRustの行を数えます。空行とコメント、実行されなかったコード、テストとベンチマーク用の周辺コード、作業範囲外のサードパーティ依存、アセンブリは数えません。ジェネリック関数は1回だけ数えます。この数値はお支払い前にパスポートに記録されます。数えるのはお客様のコードだけで、データは含みません。参考までに、bzip2-rsでSilesiaコーパスを展開すると598行のコードが実行され、rav1eでXiphの5クリップをエンコードすると55,419行中12,809行が実行されます。

公開デモは Linux x86-64、AVX2/FMA 向けです。TA-Lib と vn.py は AMD Zen 3 と Zen 4 で測定済みです。有料ビルドの CPU 機能、OS、ABI、受入れ用ハードウェアは注文ごとに固定します。Intel、ARM、その他の環境は個別評価が必要です。

長年最適化されてきたCライブラリがすでにあるフォーマットのデコーダ（LZ4、zstd、deflate）は、まだ上回れていません。ほかにも、手書きのSIMDやアセンブリを使った成熟したコーデック（x264、x265）、SHA-256やChaCha20などの暗号プリミティブ、圧縮できないランダムなデータの処理、処理時間のほとんどがオーバーヘッドで占められるごく短い呼び出しが該当します。このような場合は無料見積もりで効果が小さいことを正直にお示しし、お支払いは発生しません。

サイクル数は、CPUのモデル、周波数、ターボ、メモリ、入力データによって変わります。契約上の数値は、測定パスポートに従って測定環境で取得します。ハーネスは同じカウンタを読むため、同じCPUモデル・同じ設定であれば、お客様の数値は当社の数値に近くなるはずです。命令数はマシンへの依存がずっと小さいので、まず命令数を比べてください。

既定では、出力はビット単位で一致します。限定的な例外として、Rust が異なるペイロードを許容する場合に限り、浮動小数点演算で生じた NaN のペイロードは異なることがあります。明示的に保持された NaN の符号化やその他の出力は、測定パスポートで別段の合意がない限り厳密に一致します。測定パスポートで NaN のペイロードの完全一致を求めることもできます。その他の合意した偏差は、測定パスポートで定め、テストで確認します。

各パッケージの CPU 要件を確認してください。公開バイナリは AVX2/FMA が必要な場合があり、古い CPU では動作しません。有料ビルドの対応機能とフォールバックは測定条件書で合意します。すべてのバイナリにフォールバックがあるとは限りません。

プロファイリングで計算がボトルネックだと分かった場合に限ります。ライブの経路では、関数ひとつではなく、市場イベントから注文までの経路全体を測定します（例えばお客様のサーバー上での p99）。多くの場合、時間の大半はネットワークと取引所で費やされます。当社が最も効果を出せるのはバッチ計算、つまりバックテスト、学習、パラメータ探索です。

はい、個別のご注文として対応します。C と C++ には同じ ABI の置き換えライブラリを納品するので、お客様のプログラムも、ライブラリを呼び出す Python コードも変更なしで動きます（TA-Lib の事例を参照）。Python コードには、同じ出力のネイティブなプログラムまたはモジュールを納品します（vn.py の事例を参照）。これはレベル2のエンジニアリング作業で個別見積もりです。ダッシュボードのセルフサービスは現在 Rust の crate を受け付けています。