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