欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Gazelle
来自开放百科 - 灰狐
（版本间的差异）
2010年9月20日 (一) 14:16的版本
The Multi-Principal OS Construction of the Gazelle Web Browser
Gazelle的内核可以隔离不同来源的网页代码，并管理所有系统资源”。
与Chrome OS构建在Linux上一样，Gazelle并不是一个真正的操作系统。它是构建在操作系统级别的一个服务层，以便扩展浏览器的安全模型。Principal由协议、域名以及端口三部分组成，在进程级别不同的组合之间互相隔离，它是整个系统的关键部分。
更多介绍: 微软的浏览器操作系统：Gazelle
Links
分享您的观点
