プロンプトとコンテキスト
この質問は、ブラウザの並行性、メモリモデル、およびセキュリティポリシーを組み合わせたものです。SharedArrayBuffer によりエージェントは共有メモリにアクセスできますが、ブラウザはセキュアコンテキストとクロスオリジン分離を要求します。COOP と COEP はポップアップ、サードパーティリソース、埋め込みにも影響を与える可能性があります。バッファの所有権、Atomics による同期、リソースのライフタイム、クロスオリジンの依存関係、フォールバック、およびパフォーマンスの観測について説明してください。
面接官が評価している点
- 分離が必要な理由と、ページ全体にわたるその依存関係チェーンを説明できるか。
- プロデューサー、コンシューマー、バックプレッシャー、およびシャットダウンの不変条件（インバリアント）を定義できるか。
- Atomics を魔法のようなロックフリーの解決策として扱うのを避け、ビジーウェイト、ブロッキングウェイト、可視性を適切に処理できるか。
- サポートされていない、または分離できないページにおいて、安全なフォールバックにより実用的なプロダクト体験を維持できるか。
最初に確認すべき明確化のための質問
ブロックサイズ、サンプリングレート、エンドツーエンドのレイテンシ、フレーム損失の許容度、および Worker 数を確認します。プロデューサーはメインスレッド、オーディオ系スレッド、ネットワーク Worker のどれですか？メモリはページ間で共有する必要がありますか？ページはサードパーティスクリプト、iframe、OAuth ポップアップ、または必要な CORP や CORS ヘッダーを提供できないリソースに依存していますか？ブラウザのサポートマトリクスとデプロイ環境は何ですか？データに個人コンテンツが含まれており、永続化される可能性がありますか？
30秒の回答フレームワーク
まず、ページがセキュアコンテキストでクロスオリジン分離を有効にできるかを確認します。共有領域は固定サイズのリングバッファとします。プロデューサーとコンシューマーは Atomics 経由でのみインデックスと状態を更新し、満杯（full）、空（empty）、キャンセル、シャットダウンの不変条件を明示します。メインスレッドは重い計算を実行せず、Worker がデータを処理して進捗とエラーを報告します。分離によってサードパーティリソースが壊れる場合や、ブラウザがサポートしていない場合は、キャンセルとエラーのセマンティクスを維持したまま、transferable な ArrayBuffer チャンク、チャンク化された postMessage、または低いサンプリングレートへとフォールバックします。
ステップバイステップの詳細解説
1. 分離と依存関係のインベントリの構築
HTTPS、セキュアコンテキスト、および crossOriginIsolated を確認し、互換性のある COOP および COEP レスポンスヘッダーを構成します。スクリプト、画像、フォント、iframe、アナリティクス、ログインポップアップを埋め込みポリシーに照らし合わせて確認します。制御できないサードパーティリソースが存在すると、分離が妨げられる可能性があります。ヘッダーの変更は個別にロールアウトし、全体的な有効化の前にレポートと小規模なユーザー層から開始します。
2. 共有メモリレイアウトと所有権の定義
書き込みインデックス、読み取りインデックス、容量、シーケンス、エラーコード、シャットダウンフラグを含む固定の制御・データレイアウトを使用します。プロデューサーは空きスロットにのみ書き込み、コンシューマーは読み取り完了後にのみ読み取りインデックスを進めます。双方が同じフィールドを変更することはできません。コンシューマーが部分的な書き込みを読み取らないようにスロットごとの長さまたはバージョンを含め、キューが満杯の場合に破棄するか、上書きするか、バックプレッシャーを適用するかを定義します。
3. Atomics による同期と待機の定義
明示的な公開順序を伴うアトミックなインデックス更新を使用し、データまたは空きスペースが利用可能になったときに待機側に通知します。メインスレッドがスピンしないように、制限時間付きの待機とバッチ処理を優先します。Worker はサポートされている環境で Atomics.wait を使用できますが、UI はブロックしてはなりません。非表示のページが Worker を永久に稼働させ続けないよう、すべての待機はキャンセル、タイムアウト、シャットダウンに応答します。
4. 計算、エラー、ライフタイムの分離
Worker は共有バッファ内のデータを処理し、メインスレッドは UI、パーミッション、ライフタイムを所有します。初期化時にバージョンと容量を渡し、実行時のメッセージでスループット、キュー深度、処理遅延を報告します。パースエラー、メモリ不足、Worker のクラッシュが発生した場合は、生成を停止し、バッファを解放して、再起動するか縮退させるかをメインスレッドに判断させます。不完全に初期化されたインデックスを読み取り可能なままにしてはなりません。
5. サードパーティリソースとセキュリティ境界の処理
COEP はクロスオリジンリソースに対して互換性のある CORP または CORS ヘッダーの提供を要求する場合があり、COOP はウィンドウ間の関係を変更します。これらに対応できないスクリプト、iframe、ポップアップについては、同一オリジンのプロキシ、分離されたサブドメイン、または共有メモリを使用しないパスを採用します。API を解放するためにリソース境界を弱めてはなりません。不要な機密データは共有バッファから除外し、デバッグログは秘匿化（マスキング）します。
6. パフォーマンス、互換性、フォールバックの検証
ページが非表示になった後のスループット、テールレイテンシ、GC プレッシャー、Worker の再起動、リソース解放のベンチマークを実施します。空および満杯のキュー、高速な生成、低速な消費、繰り返されるシャットダウン、レイアウトバージョンの変更、不正な形式のデータをテストします。機能検出により SharedArrayBuffer、transferable チャンク、または通常のメッセージを選択し、すべてのフォールバックでキャンセル、進捗、エラー、最終結果のセマンティクスを維持します。
質の高い模範解答
HTTPS とクロスオリジン分離を確認し、COOP と COEP がスクリプト、iframe、アナリティクス、OAuth ポップアップに与える影響を調査します。共有領域は、読み取りおよび書き込みインデックス、容量、シーケンス、シャットダウン状態を持つ固定レイアウトのリングバッファとし、プロデューサーは空きスロットに書き込み、コンシューマーは読み取り後にインデックスを進め、Atomics が可視性と通知を提供します。メインスレッドが UI とライフタイムを所有する一方で Worker が計算を行い、待機処理はタイムアウト、キャンセル、非表示ページのクリーンアップをサポートします。サードパーティリソースが分離条件を満たせない場合は、セキュリティを弱めることなく同一オリジンプロキシ、分離されたサブドメイン、または transferable チャンクを使用します。スループット、テールレイテンシ、キュー深度、メモリ、再起動、フォールバック率を測定します。すべてのパスが一貫した進捗とエラー動作を提供できるように、全負荷、順序変更されたシャットダウン、不正データ、レイアウトバージョンをテストします。
よくある間違い
- サードパーティリソースやポップアップの挙動を確認せずに COOP と COEP を追加すること。
- 所有権の不変条件なしに、複数のエージェントが同じインデックスやスロットに書き込むことを許可すること。
- メインスレッドでスピンすること、またはキャンセル処理なしに Worker を永久に待機させること。
- バッファレイアウトをバージョン、長さ、シャットダウン状態のない暗黙のプロトコルとして扱うこと。
- Worker クラッシュ後に古いバッファを再利用し、不完全に初期化された状態を読み取ること。
- SharedArrayBuffer を有効にするためだけにクロスオリジンリソースポリシーを弱めること。
- フォールバックでトランスポートのみを変更し、キャンセル、進捗、エラー、またはクリーンアップのセマンティクスを失うこと。
フォローアップの質問と回答
なぜ postMessage だけを使用しないのですか？
transferable を使用した postMessage はよりシンプルで互換性が高いですが、頻繁な小さなチャンクはスケジューリングと所有権管理のオーバーヘッドを増加させる可能性があります。共有メモリが常に高速であると決めつけるのではなく、レイテンシ、スループット、デバッグの複雑さ、セキュリティヘッダー、ブラウザのカバレッジに基づいて選択します。
クロスオリジン分離は OAuth ポップアップに影響しますか？
COOP は新しいウィンドウとそれを作成したウィンドウ（opener）との間のブラウジングコンテキスト関係を変更する可能性があるため、ログインフローにはエンドツーエンドのテストが必要です。ロールアウト前に、同一オリジンのコールバックページ、分離されたサブドメイン、または共有メモリを使用しないログインエントリを使用し、復帰、クローズ、エラーパスを検証します。
キューが満杯の場合、フレームを破棄すべきですか、それともブロックすべきですか？
ビジネス価値とレイテンシの予算に基づいて判断します。ライブプレビューでは古いフレームを破棄できますが、オフラインのトランスコードではバックプレッシャーを適用するか作業をキューに入れる必要があります。いずれの場合も、重要なデータが暗黙のうちに失われないよう、ドロップ数、バックログ、リカバリを測定します。
あるブラウザで SharedArrayBuffer が利用できない場合はどうしますか？
起動時に機能を検出し、transferable チャンク、通常のメッセージ、または低いサンプリングレートを選択します。同じキャンセル、進捗、エラーのプロトコルを維持し、各パスの割合を監視します。実行時に共有メモリが利用可能なままであると決して仮定してはなりません。