作者別: Jun Mukai

Chrome オリジナルなプロセス分離ポリシーを突き詰めた研究ついて向井が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。

• Isolating Web Programs in Modern Browser Architectures
  • The Security Architecture of the Chromium Browser
• Chromeのプロセス分離関連
  • Site Isolation
  • Inside look at modern web browser
  • https://twitter.com/kinu/status/1037508916861591552
• Firefox Electrolysis
• Webkit vs Webkit2 API
• 関連研究
  • Tahoma browser: A Safety-Oriented Platform for Web Applications
  • The Multi-Principal OS Construction of the Gazelle Web Browser
• HAL Types  |  Android Open Source Project Treble のプロセスモデルについて
• Android 8.0 Behavior Changes  |  Android Developers WebView のプロセス分離

follow-up

• Kazuyoshi Kato on Twitter: “Rust の場合 out of bounds は実行時に panic, use after free は静的に ownership で防ぐ、はず。ちなみに llvm 経由で各種 san も使えます。たぶんこれは unsafe むけで、レポジトリを持ってる japaric さんは Rust Embedded ワーキンググループのリードです。
• 眼力 玉壱號 on Twitter: “#misreading MSVC に無いのがツライけど、clang-cl 経由で使えるみたいな話を見た様な…

 

Chrome の開発に使われているメモリエラー検出ツール ASAN について向井が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。

• AddressSanitizer: A Fast Address Sanity Checker | USENIX
• https://github.com/google/sanitizers
• Clang 8 documentation ADDRESSSANITIZER
• Valgrind
• CPU2006

Follow-ups

• masayoshi takahashi on Twitter: “#misreading 28 赤黒木と左傾赤黒(LLRB)木の話は最近話題の『みんなのデータ構造』にも載ってて、TreapとかScapegoat木との比較もあります(実装は簡単だけど最悪ケースだと赤黒木の方が優秀だそう) https://t.co/I65lJRl0EJ”

 

Red-Black Tree 発案者 Sedgewick 氏本人による30 年越しの改訂版アルゴリズムについて向井が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。

• Left-leaning Red-Black Trees
• Robert Sedgewick
• Red-black tree
• 2-3-4 tree
• A dichromatic framework for balanced trees — the original paper for red-black tree

TypeScript の DefinitelyTyped から宣言間違いを探す論文について向井が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。

• DROPS – Mixed Messages: Measuring Conformance and Non-Interference in TypeScript
• Understanding TypeScript
• Safe & Efficient Gradual Typing for TypeScript

Follow-up

• Kinuko Yasuda on Twitter: “#misreading 24 割とよくみてるとこなのでコメント…SharedArrayBufferは違うドメイン間ではメモリ共有できなくてよいはず。最近のESではAgent Clusterというのがあってそれがメモリ共有できる単位になっており、HTML側では基本origin違うと共有できなくていいとなってます https://t.co/ZFVPSfvpfl”
• human eslint –fix on Twitter: “#misreading SharedArrayBuffer のメモリモデルがなぜ必要という話、Worker同士の共有モデルのためって説明されたけど、Workerはあまり使われておらず、WebAssemblyプロセスが実質Workerなのでメモリ共有に必要、という感じではないか、と思った”
• Meltdown and Spectre
• WebAssembly.compile() – JavaScript | MDN
• Threading proposal for WebAssembly
• Behind the tech podcast
  • Kevin Scott

JavaScript 用の共有メモリ仕様 SharedArrayBuffer に関するメモリモデルを検証した論文について向井が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。

• 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

• tc39/ecmascript_simd: SIMD numeric type for EcmaScript
• bashik7 on Twitter: “#misreading wasm回。関数テーブル書き換えられない、みたいな話があった気がするけど、書き換えられるような。https://t.co/kqY9KXidmE”

ブラウザ向けコード実行環境 WebAssembly について主要ブラウザの開発者が共著した論文について向井が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。

• Bringing the Web up to Speed with WebAssembly
• webassembly.org
• asm.js
• emscripten
• Performance Testing Web Assembly vs JavaScript
• JavaScript vs WebAssembly easy benchmark – Takahiro
• PNaClについて、ポッドキャスト内で言及するといっておいて言及し忘れたのでかるくふれておきます
  • PNaClはGoogle ChromeにおけるNative Client (NaCl)という拡張をよりポータブルにしたものです。具体的には、NaClはネイティブコードを配布して検証・実行をしますが、PNaClでは配布データがllvm bitcodeとなり、これを検証・実行します
  • 論文中ではasm.jsとならんで直接的な先祖のひとつとされていました。過去にはPNaCl形式のバイナリをウェブページから配布すればChromeは実行できる、といったことを目標にしていました。現在はwebassemblyにフォーカスを移し、chromeからも使えなくなる（かもう使えなくなった）はず
  • webassemblyになぜllvm bitcodeのような既存のIRを使わなかったのか、ということも（おそらくPNaCl関係の著者により）論文中に書かれていますので、興味のある方は論文内related workの節をご参照ください

Follow-up

• Yutaka Matsubara on Twitter: “そーいえば結局vgoがAPIベースのアクセスやめた話出てなかったな。modulesは少し触れられてたけど #misreading”
• Russ Cox on Go dependency management | Hacker News
  • A response about dep and vgo | Hacker News
• SREcon Conferences | USENIX
  • SREcon18 Americas – YouTube

 

Hypervisor と guest OS の新しいインタラクション手法 Hyperupcall について向井が話します。

• The Design and Implementation of Hyperupcalls | USENIX
• Hypercall
• Upcall
• Linux Enhanced BPF (eBPF) Tracing Tools

Follow-up:

• Taking Go modules for a spin | Dave Cheney
• Walt Disney Animation Studios – Research publications
• Swallowing the elephant: all the links