正確な数値規則
宣言された整数累積コントラクトを参照チェックとともに使用します。
Hyphae BitNet 正確な三値CPU推論
Hyphae BitNet は、サポートされている 3 値モデル用の CPU ランタイムです。現在の実行可能ファイルは hyphae-bitnet で、celiums-bitnet と過去の ABI 名は互換性のために保持されています。
サポートされているモデル推論を、明示的な数値、モデル、メモリ、およびハードウェアのコントラクトを通じて検査可能にします。
01 / なぜそれが重要なのか
宣言された整数累積コントラクトを参照チェックとともに使用します。
構成されたメモリ バジェットを超えるモデルまたはセッションの割り当てを拒否します。
任意のモデルのサポートを暗示するのではなく、明示的なモデル ファミリと形式を認めます。
モデル、CPU、およびワークロード ID を使用して、事前入力とデコードを個別にレポートします。
02 / 仕組み
主要な段階では、プロジェクトの境界が明確になります。
サポートされているファミリ、形式、およびオペレータ固定モデルのアイデンティティを確認する
選択したコンピューティング レイアウトをワーキング セット キャップ内で許可します
現在の ARM および x86 Q1 パスはパックされたパネルを使用します。プリフィルとデコードは異なります
CLI、実験的な C ABI、HTTP サブセット、およびベンチマーク レコード
03 / 能力
明示的なファミリー選択を使用して、I2_S BitNet および Q1_0 Bonsai CPU テキスト パスをサポートしました。
生成、ネイティブ HTTP サービス、ベンチマーク、検証、および実験的な C ABI。
Linux x86-64 アーカイブと測定された ARM64 Q1 作業。 NEON DOTPROD は、測定された Graviton4 のデフォルトのままです。
別のプロセスは、Hyphae の取得、メモリ、および受信をランタイムに接続します。
04 / 証拠
v0.3.3 リリースでは、ソース/ランタイム バージョン 0.3.2 が公開され、Graviton4 検証と A/B 測定が記録されます。
v0.3.3 というタグで配布されています
以前の Expand-to-int8 の高速化では、歴史的な ARM コードについて説明しました。現在の ARM パスは、パックされた Q1 パネルを使用します。結果はフェーズ、モデル、レイアウト、スレッド数によって異なります。