ストレージミューテックス (Web)

[2] ストレージミューテックス (storage mutex) は、 Webブラウザーが Cookie の書き込み等の競合状態の回避のために使うミューテックスでした。

[42] 仕様上の概念としては存在していましたが、技術的問題から現実には実装されていませんでした。競合状態を正しく処理する実装方法を用意するために仕様上は残されていましたが、今後実装される見込みもないため、2015年末に削除されました。

処理モデル

... のいずれかの状態にあります。 >>1

[10] ストレージ・ミューテックスを得る (storage mutex) 場合は次のように処理しなければなりません >>11。

[19] sessionStorage の読み書きにはストレージミューテックスは関与しません。

[48] その他利用者エージェント依存のタイミングでクッキーを削除する場合 (クッキー参照。) にも取得する必要がありそうです (イベントループ上の処理かどうかはわかりませんが...)。

[20] ストレージ・ミューテックスは、 fetch 算法の中で Set-Cookie: の処理のために所有され、処理が終わり次第解放されます。

[4] 利用者エージェントはストレージ・ミューテックスを実装しないことを選択しても構いません。その場合、ストレージ・ミューテックスの取得や解放に関する要件は実装しなくて構いません。 >>1

[8] ストレージ・ミューテックスを使わないと、あるサイトが複数の窓から同時に Cookie や Web Storage にアクセスした時にデータが壊れる危険性があります。しかしストレージ・ミューテックスを使うと、あるサイトが Cookie や Web Storage を使うと他のすべてのサイトがブロックされてしまうことから、 Webブラウザー全体のパフォーマンスに大きく影響します。 Webブラウザーの実装者はこの2つの「evil」のどちらかを選択せざるを得ません。 >>1

[9] これは Web Storage が失敗だったとされる理由の一つです。

[36] Web Storage の仕様上、スクリプトの実行途中に localStorage の値は (そのスクリプト自身が予測できない形で) 変化することはない、とされています。 >>33 しかし >>4 の通りストレージ・ミューテックスを実装しないことを利用者エージェントが選択しているなら、これは保証されません。

[43] 現実にはすべての Webブラウザーがこの方法を選択しています >>41。すなわちストレージミューテックスは仕様上にしか存在しません。通常は実装されない仕様は削除されるものですが、 HTML Standard の編集者である Ian Hickson は、データが破壊される可能性がある実装しか認められないのは好ましくないとして、ストレージミューテックスの仕様を残しています >>40。