摘要
补充材料
可供下载
1 M.Acceta、R.V.Baron、W.Bolosky、D.B.Golub、R.F.Rashid、A.Tevanian Jr.和M.W.Young。 Mach：UNIX开发的新内核基础。 预处理。 1986年USENIX夏季技术会议，第93-112页，1986年6月。]] 谷歌学者 
2 A.Aiken和D.Gay。 具有显式区域的内存管理。 预处理。 《编程语言原理》，第313-323页，加拿大蒙特利尔，1998年6月。 ACM.]] 谷歌学者 数字图书馆 
三。 A.鲍登。 PCLSRing：保持过程状态模块化。 未发布的报告， ftp://ftp.ai.mit.edu/pub/alan公司/- pclsr，备忘录，1989年。]] 谷歌学者 4 W.E.Boebert。 未经修改的功能机器无法强制执行*-属性。 预处理。 第七届DeD/NBS计算机安全会议，第291-293页，美国马里兰州盖瑟斯堡，1984年9月。 国家标准局。]] 谷歌学者 5 A.C.Bomberger、A.P.Frantz、W.S.Frants、A.C.Hardy、N.Hardy、C.R.Landau和J.S.Shapiro。 KeyKOS纳米内核体系结构。 预处理。 USENIX微内核和其他内核架构研讨会，第95-112页。 USENIX协会，1992年4月。]] 谷歌学者 数字图书馆 6 D.R.Cheriton和K.J.Duda。 操作系统内核功能的缓存模型。 在Prec。 USENIX操作系统设计与实现研讨会，第179-193页。 USENIX协会，1994年11月。]] 谷歌学者 数字图书馆 7 R.P.Colwell、E.F.Gehringer和E.D.Jensen。 英特尔432架构复杂性的性能影响。 ACM计算机系统交易，6（3）：296-3392988年8月。]] 谷歌学者 数字图书馆 8 R.Dean和F.Armand。 内核化系统中的数据移动。 预处理。 USENIX微内核和其他内核架构研讨会，第243-262页，美国华盛顿州西雅图，1992年4月。]] 谷歌学者 数字图书馆 9 J.B.丹尼斯和E.C.范霍恩。 多道程序计算的编程语义。 ACM通讯，9（3）：143-1541966年3月。]] 谷歌学者 数字图书馆 10 D.Eastlake、R.Greenblatt、J.Holloway、T.Knight和S.Nelson。 其1.5参考手册。 备忘录161a，麻省理工学院人工智能实验室，1969年7月。]] 谷歌学者 数字图书馆 11 D.R.Engler、M.F.Kaashoek和J.O’Toole Jr.Exockernel：应用程序级资源管理的操作系统体系结构。 预处理。 第15届操作系统原理研讨会，第251-266页，1995年12月。]] 谷歌学者 数字图书馆 12 B.Ford、M.Hibler、J.Lepreau、R.McGrath和P.Tullmann。 fluke内核中的接口和执行模型。 预处理。 第三届操作系统设计与实现研讨会，第101-115页，1999年2月。]] 谷歌学者 数字图书馆 13 B.Ford、M.Hibler、J.Lepreau、P.Tullmann、G.Beck和S.Clawson。 微核满足递归虚拟机。 预处理。 USENIX操作系统设计与实现研讨会，第137-151页。 USENIX协会，1996年10月。]] 谷歌学者 数字图书馆 14 B.Ford和J.Lepreau。 将Mach 3.0发展为迁移线程模型。 预处理。 冬季USENIX会议，第97-114页，1994年1月。]] 谷歌学者 数字图书馆 15 W.Frantz、C.Landau和N.Hardy。 Gnosis：90年代的安全操作系统。 股份诉讼，1983年。]] 谷歌学者 16 W.S.Frantz和C.R.Landau。 KeyKOS microkemel中面向对象的事务处理。 预处理。 USENIX微内核和其他内核体系结构研讨会，第13-26页。 USENIX协会，1993年9月。]] 谷歌学者 数字图书馆 17 G.R.甘格尔。 个人通信，1999年9月。]] 谷歌学者 18 G.R.Ganger和Y.N.Patt。 文件系统中的元数据更新性能。 预处理。 USENIX操作系统设计与实现研讨会，第49-60页。 USENIX协会，1994年11月。]] 谷歌学者 数字图书馆 19 E.F.Gehringer。 能力架构和小型对象。 UMI研究出版社，美国密歇根州安阿伯，1982年。]] 谷歌学者 20 D.Golub、R.Dean、A.Forin和R.Rashid。 UNIX作为应用程序。 预处理。 USENIX夏季会议，第87-96页，1990年6月。]] 谷歌学者 21 D.B.Golub和R.P.Draves。 将默认内存管理器移出Mach内核。 InPrec efthe Usenix Mach研讨会，第177-188页，1991年11月。]] 谷歌学者 22 N.哈代。 KeyKOS架构。 《操作系统评论》，第8-25页，1985年10月。]] 谷歌学者 数字图书馆 23 英特尔公司。 奔腾处理器系列用户手册。 英特尔公司，美国伊利诺伊州展望山，1994年。]] 谷歌学者 24 T.Jaeger、K.Elphinstone、J.Liedtke、V.Panteleenko和Y.Park。使用IPC重定向的灵活访问控制。 预处理。 第七届操作系统热门话题研讨会，第191-196页。 IEEE，1999年3月。]] 谷歌学者 数字图书馆 25 P.Karger。 改进安全和性能传输能力系统。 剑桥大学博士论文，1988年10月。 第149号技术报告。]] 谷歌学者 26 P.A.Karger和A.J.Herbert。 一种增强的能力体系结构，用于支持网格安全性和访问的可追溯性。 预处理。 1984年IEEE安全与隐私研讨会，第2-12页，加利福尼亚州奥克兰，1984年4月。 IEEE.]] 谷歌学者 交叉引用 
27 B.W.兰普森。 关于禁闭问题的说明。 ACM通信，16（10）：613-6151973。]] 谷歌学者 数字图书馆 28 C.R.Landau。 KeyKOS中的检查点机制。 预处理。 第二届操作系统面向对象国际研讨会，第86-91页。 IEEE，1992年9月。]] 谷歌学者 交叉引用 29 H.M.利维。 基于能力的计算机系统。 数字出版社，1984年。]] 谷歌学者 数字图书馆 30 J.利特克。 通过内核设计改进IPC。 预处理。 第14届ACM操作系统原理研讨会，第175-188页。 美国医学会，1993年。]] 谷歌学者 数字图书馆 31 J.利特克。 实际使用中的持久系统——前13年的经验。 预处理。 第三届操作系统面向对象国际研讨会，第2-11页，北卡罗来纳州阿什维尔，1993年。]] 谷歌学者 交叉引用 32 J.利特克。 通过透明地多路复用用户地址空间，改进了奔腾处理器上的地址空间切换。 技术报告GMD TR 933，GMD，1995年11月。]] 谷歌学者 33 D.Mazi~res和M.F.Kaashoek。 安全的应用程序需要灵活的操作系统。 预处理。 第六届操作系统热门话题研讨会，第56-61页。 IEEE，1997年5月。]] 谷歌学者 数字图书馆 34 L.McVoy和C.Staelin。 lmbench：用于性能分析的便携式工具。 USENIX 1996年技术会议，第279-295页，美国加利福尼亚州圣地亚哥，1996年1月。]] 谷歌学者 数字图书馆 35 C.W.Mercer、S.Savage和H.Tokuda。 处理器容量储备：管理处理器使用情况的抽象。 预处理。 工作站操作系统第四次研讨会，第129-134页，1993年10月。]] 谷歌学者 交叉引用 36 摩托罗拉公司MC68851分页内存管理单元用户手册。 恩格尔伍德悬崖，美国新泽西州，1986年。]] 谷歌学者 数字图书馆 37 E.I.有机。 Intel432系统的程序员视图。 麦格劳-希尔图书公司，1983年。]] 谷歌学者 数字图书馆 38 S.A.拉朱纳斯。 KeyKOS/KeySAFE系统设计。 技术报告SEC009-01，Key Logic，Inc.，1989年3月。 网址：http://www 'cis'upenn'eduFKeyKOS']] 谷歌学者 39 M.Rozier、V.Abrossimov、F.Armand、I.Boule、M.Gien、M.Guillemont、F.Hermann、C.Kaiser、S.Langlois、P.Leonard和W.Neuhauser。 Chorus分布式系统概述。 技术报告CS-TR-90-25，合唱系统，F-78182 St.Quentin-en-Yvelines Cedex，法国，1991年。]] 谷歌学者 40 安全计算公司。 DTOS经验教训报告。 技术报告87-0902025A0061997年6月。 “http://www'securec~mputing'c~m/randt/technicaldocs.html”.]] 谷歌学者 41 J.S.夏皮罗。 EROS网站。 网址：http://www ，eros-os.org.]] 谷歌学者 42 J.S.夏皮罗。 KeyKOS网站。 网址：http://www ，cis.upenn.eduFKeyKOS。]] 谷歌学者 43 J.S.夏皮罗。 EROS：能力系统。 宾夕法尼亚大学博士论文，费城，宾夕法尼亚州191041999年。]] 谷歌学者 数字图书馆 44 J.S.Shapiro、D.J.Farber和J.M.Smith。 快速本地IPC的测量性能。 预处理。 第五届操作系统面向对象国际研讨会，第89-94页，西雅图，华盛顿州，美国，1996年11月。 IEEE.]] 谷歌学者 数字图书馆 45 J.S.Shapiro、D.J.Farber和J.M.Smith。 eros内核中的状态缓存-在纯功能系统中实现高效的正交持久性。 预处理。 第七届持久性对象系统国际研讨会，第88-100页，美国新泽西州五月角，1996年。]] 谷歌学者 46 J.S.夏皮罗和S.韦伯。 正在验证操作系统安全性。 技术报告MS-CIS-97-26，宾夕法尼亚大学，宾夕法尼亚州费城，美国，1997年。]] 谷歌学者 47 F.G.索尔蒂斯。 AS/400内部。 杜克出版社，洛夫兰，科罗拉多州，1996年。]] 谷歌学者 数字图书馆 48 R.Spencer、S.Smalley、P.Losocco、M.Hibler、D.Andersen和J.Lepreau。 Flask安全架构：系统支持多种安全策略。 在Prec。 第八届USENIX安全研讨会，第123-139页，1999年8月。]] 谷歌学者 数字图书馆 49 A.S.Tannenbaum、S.J.Mullender和R.van Renesse。 在分布式操作系统中使用稀疏功能。 预处理。 第九届分布式计算系统国际研讨会，第558-563页。 IEEE，1986年。]] 谷歌学者 50 A.S.Tannenebaum、R.van Renesse、H.van Staveren、G.J.Sharp、S.J.Mullender、J.Jansen和G.van Rossum。 有阿米巴分布式操作系统的经验。 ACM通讯，33（12）：46-631990年12月。]] 谷歌学者 数字图书馆 51 K·汤普森。 UNIX实现。 《贝尔系统技术期刊》，57（6）：1931-19461978年7月。]] 谷歌学者 交叉引用 52 P.Tullmann、J.Lepreau、B.Ford和M.Hibler。 通过可导出内核状态进行用户级检查点。 预处理。 第五届IEEE操作系统面向对象国际研讨会，第85-88页，1996年10月。]] 谷歌学者 数字图书馆 53 美国国防部。 可信计算机系统评估标准，1985年。]] 谷歌学者 54 D.S.Wallach、D.Balfanz、D.Dean和E.W.Felten。 可扩展的Java安全体系结构。 预处理。 第16届ACM操作系统原理研讨会，第116-128页，法国圣马洛，1997年10月。]] 谷歌学者 数字图书馆 55 M.V.Wilkes和R.M.Needham。 剑桥CAP计算机及其操作系统。 Elsevier North Holland，1979年。]] 谷歌学者 数字图书馆 56 W.A.Wulf、R.Levin和S.P.Harbison。 HY-DRA/C.mmp：一个实验计算机系统。 Mc-Graw Hill，1981年。]] 谷歌学者
建议
芯片多处理器的TLB改进：核心间协作预取器和共享的末级TLB 翻译后备缓冲区（TLB）对整个系统性能至关重要。 过去的许多研究都是针对单处理器TLB，从而降低了访问时间和未命中率。 然而，随着芯片多处理器（CMP）的普及，TLB设计和。。。
