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