Fearless SIMD: 2026 年 9 月 22 日リリースの主要変更点

fearless_simd はSIMD（単一命令多重データ）操作における「unsafe」を撤廃しました。プロトタイプから約 8 年が経過し、以下のような多様なニーズに対応できるようになりました。

• 限定的な機能: autovectorization や multiversioning
• 完全な抽象化: ポータブル SIMD 抽象化全体
• 基本アクセス: intrinsics への安全なアクセスのみ

パフォーマンス

ポータブル SIMD 抽象化に対する一般的な批判である**「性能が十分ではない」**という指摘に対し、以下の方針で対応しています。

• 正確性と速度の両立: プラットフォーム間で挙動が異なる演算（swizzle や浮動小数点最大値など）には、以下の 2 つのバージョンを提供します。
  • 正確なバージョン: すべてのプラットフォームで同じ結果を返すもの。
  • 高速なバージョン: 端境ケース（corner case）が発生しないと予想される場合に使用するプラットフォーム依存の結果。
• ハードウェア能力の最大化:
  • ハードウェアのネイティブベクトルサイズに基づいてコードが記述されやすくなっています。
  • どの環境でも常にハードウェアの可能性を最大限に活用します。
  • 必要な場合のみ、固定サイズのベクトルもサポートしています。
• 最先端の実装と貢献:
  • ポータブル SIMD 演算の実装技術を継続的に進化させています。
  • Rust および LLVM コミュニティへの貢献も行っています。
• 安全な Intrinsic アクセス:
  • ポータブル抽象化でカバーされない命令や高度な制御が必要な場合、プラットフォーム固有の intrinsic を安全にアクセスできます。
  • 必要な部分のみをネイティブコードとして実装することで、オーバーヘッドを排除します。
  • 残りの部分はシンプルかつポータブルのまま保つことが可能です。

結論: これらの「unsafe な intrinsic への安全なアクセス」により、性能の上限はありません。

安全性

従来の SIMD クレートには数千もの

unsafe

• kernel!

  マクロ: コンパイラのターゲット機能（v1.1）を活用し、ほとんどの SIMD intrinsic を**

  unsafe

  を使用せずに呼び出す**ことができます。
• 安全なメモリ操作:

  • bytemuck

    や

    zerocopy

    の概念を取り入れた、安全な

    transmute

    モジュールを実装しています。

  • _mm_loadu_epi32

    などの特殊な intrinsic も、裏側では単なる読み書き操作に変換され、再利用可能なラッパーで再現可能です。
• 型システムによる保証:
  • Rust の型システムの力を活用し、メモリエラーフリーな状態を保証します。
  • 2 つの小規模な自立したビルディングブロックのみを検査すれば十分です。
    1. メモリエラーフリーな安全な

       transmute

       モジュール
    2. メモリエラーフリーな型定義されたデータ構造

これにより、Rust における SIMD は**「完全に恐れなき（fearless）」段階**に達しました。

エルゴノミクス（使いやすさ）

関数の multiversioning は複雑な問題であり、過去の解決策には以下のような課題がありました。

• 手動の最適化が必要だった:

  • #[inline(always)]

    注釈の追加と理解が必要で、「漏れのある抽象化」でした。
  • 非常に短い関数ではパフォーマンス低下を引き起こし、回避のため手術的に注釈を付与する必要がありました。
• 背後への依存: いまだにコンパイラ裏側で何が起こっているかを考えねばなりませんでした。

新しいアプローチ：非漏れな抽象化

fearless_simd v1.0 と同時に公開される

fearless_simd_macros

#[simd]

• Just Works: このマクロを適用するだけで、背景の仕組みを考えずに「ただ使うだけですべてうまく動作します」。
• エコシステムの進化: テンプレートコードは残存していますが、Struct Target Features RFC などを活用し、注釈自体を廃止したり、さらに簡略化を図ることを目指しています。

安定性の保証: マクロの有無に関わらず、現在の

fearless_simd

クレートはindefinitely（永続的に）安定性保証を受けます。記述したコードでも、マクロを使わずに直接記述したコードでも問題ありません。

長期安定性の保証

Fearless SIMD は存続し続けるプロジェクトです。

• サポート期間: v1.0 および以降のバージョンに対し、3 年間セキュリティアップデートを提供いたします。
• 将来の機能への対応:
  • f16 タイプなどの短期間での Rust 機能変化に対応可能です。
  • SVE や RISC-V ベクトル拡張など、長期展望の機能も API を破壊することなく両立する道筋があります。

std::simd との関係

std::simd

• 役割の分担:

  • std::simd

    : 「絶対に必要不可欠な部分」のみを実装します。
  • エコシステムクレート（例：multiversioning やハードウェア幅への最適化）: 残りの部分を委ねます。
• Fearless SIMD の位置付け:

  • std::simd

    に対応する安定版 Rust で動作する同等の機能を含みますが、より大きな全体の一部です。
• 将来の統合:

  • std::simd

    が安定した時点で、Fearless SIMD をそれへ移植し、独自コードを削減します。
  • 多様なニッチなプラットフォームへのサポートを強化しつつ、エコシステムクレートの必要性は依然として残ります。

アドプション状況

優れたクレートでも誰も使用されなければ意味がありません。Fearless SIMD はすでに広範に利用されています。

• 直接依存: 30 の他のクレートから直接使用。
• 間接依存: 1,000 を超えるクレートによって間接的に依存。
• 将来の計画: v1.0 ではこのエコシステムの規模をさらに拡大させます。

プロジェクトでの導入をご検討の場合は、以下のリソースを利用ください。

• 公式ドキュメント
• 実装例
• お問い合わせ・ご質問: Zulip