【要約】【Rust】データ指向設計でサウンドミドルウェアを自作してみた話 [Qiita_Trend] | Summary by TechDistill
> Source: Qiita_Trend
Execute Primary Source
// Problem
開発者が、既存の商用ミドルウェアの設計思想を調査した際、オブジェクト指向ベースが主流であることに着目した。高性能なサウンドエンジンを実現する上で、以下の課題が存在する。
- ・オブジェクト指向設計ではデータがメモリ上に点在し、キャッシュミスを誘発する。
- ・サウンドスレッドには、数ms単位の締切を守るための「ロック禁止」「ヒープ確保禁止」という制約がある。
- ・数千の音源を、バッファアンダーランを起こさずに毎フレーム処理しきる必要がある。
// Approach
開発者は、CPUキャッシュ効率を最大化するためにデータ指向設計（DoD）を軸とした「Nezia」を設計した。具体的には以下の手法を採用している。
- ・データを種別ごとに密な配列へ並べるSoA（Structure of Arrays）構成の採用。
- ・追加・削除をO(1)で行いつつ、走査の連続性を保つ「スパースセット方式」の選択。
- ・「論理ID（ハッシュ）」と「物理ID（インデックス＋世代）」の二層構造による、名前解決と高速アクセスの分離。
- ・世代管理（generation）の導入による、スロット再利用時の不正アクセス防止。
// Result
開発者は、DoDの採用がサウンドスレッドの制約と極めて高い親和性を持つことを確認した。設計の結果、以下の効果が得られている。
- ・事前に確保した密配列の走査により、no-alloc（ヒープ確保禁止）を自然に実現。
- ・共有可変状態を減らすことで、no-lock（ロック禁止）との相性を向上。
- ・キャッシュミスや分岐予測ミスを抑制し、締切内の処理を安定化。
- ・現在はUnityへの統合に向けた開発を継続中。
Senior Engineer Insight
> 本設計は、リアルタイム性が要求される低レイテンシ・システムにおいて極めて実践的である。特に、DoDを単なる高速化手法としてではなく、スレッドの制約（no-alloc/no-lock）を解決する手段として捉えている点が優秀だ。スパースセットによるO(1)の操作性と、二層IDによる名前解決の分離は、スケーラビリティと開発体験のバランスを考慮した妥当な判断といえる。