JavaScript 用の共有メモリ仕様 SharedArrayBuffer に関するメモリモデルを検証した論文について向井が話します。
- EMME: A Formal Tool for ECMAScript Memory Model Evaluation | SpringerLink
- SharedArrayBuffer – JavaScript | MDN
- Mitigating Spectre with Site Isolation in Chrome
- SharedArrayBuffer and timing attacks (Meltdown and Spectre) · Issue #3 · tc39/security
Follow-up