跳到主要内容
文章
免费访问

高效的基于软件的故障隔离

出版:1993年12月1日出版历史
跳过抽象节

摘要

在协作软件模块之间提供故障隔离的一种方法是将每个模块放置在其自己的地址空间中。然而,对于紧密耦合的模块,此解决方案会带来禁止的上下文切换开销。在本文中,我们提出了一种在单个地址空间内实现故障隔离的软件方法。我们的方法有两部分。首先,我们将不受信任模块的代码和数据加载到它自己的模块中故障干管,应用程序地址空间的一个逻辑上独立的部分。其次,我们修改不受信任模块的目标代码,以防止它写入或跳转到其容错域之外的地址。这两种软件操作都是可移植的,并且与编程语言无关。我们的方法相对于硬件故障隔离提出了一个折衷方案:大大加快了故障域之间的通信,但不信任模块的执行时间略有增加。我们证明,对于频繁通信的模块,在软件而不是硬件中实现故障隔离可以显著提高端到端应用程序的性能。

工具书类

  1. ACD74型T.L.Adam、K.M.Chandy和J.R.Dickson。并行处理系统列表调度的比较。A CM通讯,17(12):685-6901974年12月。]]谷歌学者谷歌学者数字图书馆数字图书馆
  2. ALBL91型托马斯·安德森(Thomas Anderson)、亨利·利维(Henry Levy)、布莱恩·贝沙德(Brian Betshad)和爱德华·拉佐斯卡(Edward Lazowska)。体系结构与操作系统设计的交互。第十届国际体系结构支持/或编程语言和操作系统会议记录,第108-120页,1991年4月。]]谷歌学者谷歌学者数字图书馆数字图书馆
  3. 资产91管理员:美国计算机制图协会。SPEC新闻稿,3(4),1991年12月。]]谷歌学者谷歌学者
  4. ASU86型Alfred V.Aho、Ravi Sethi和Jeffrey D.Ullman。编译器、原理、技术和工具。Addison Wesley出版公司,1986年。]]谷歌学者谷歌学者数字图书馆数字图书馆
  5. 球90布莱恩·贝尔沙德(Brian Bershad)、托马斯·安德森(Thomas Anderson)、爱德华·拉佐夫斯卡(Edward Lazowska)和亨利·利维(Henry Levy)。轻量级远程过程调用。计算机系统CM事务,8(1),1990年2月。]]谷歌学者谷歌学者数字图书馆数字图书馆
  6. 球91布莱恩·贝尔沙德(Brian Bershad)、托马斯·安德森(Thomas Anderson)、爱德华·拉佐夫斯卡(Edward Lazowska)和亨利·利维(Henry Levy)。共享内存多处理器的用户级进程间通信。A UM计算机系统交易,9(2),1991年5月。]]谷歌学者谷歌学者数字图书馆数字图书馆
  7. 93年10月Brian Bershad,1993年8月。私人通信。]]谷歌学者谷歌学者
  8. BL92型托马斯·鲍尔和詹姆斯·拉鲁斯。优化分析和跟踪。《程序设计语言原则联合会会议录》,第59-70页,1992年。]]谷歌学者谷歌学者数字图书馆数字图书馆
  9. 布拉90大卫·布莱克。Mach操作系统中并发性和并行性的调度支持。IEEE计算机,23(5):35-431990年5月。]]谷歌学者谷歌学者数字图书馆数字图书馆
  10. BN84型安德鲁·伯雷尔(Andrew Birrell)和布鲁斯·纳尔逊(Bruce Nelson)。实现远程过程调用。计算机系统CM事务,2(1):39-592984年2月。]]谷歌学者谷歌学者数字图书馆数字图书馆
  11. 第92级J.D.Clark,《OLE/DDE窗口程序员指南》。普伦蒂斯·霍尔,1992年。]]谷歌学者谷歌学者数字图书馆数字图书馆
  12. DG71型L.P.Deutsch和C.A.Grant。软件系统的灵活测量工具。在1971年IFIP大会上。]]谷歌学者谷歌学者
  13. 挖掘数字设备公司。Ultrix wi.2像素手册页。]]谷歌学者谷歌学者
  14. 戴斯92彼得·戴森。Xtensions for Xpress:定制系统模块化软件$eybold桌面公共场所报告,6(10):1-211992年6月。]]谷歌学者谷歌学者
  15. 第93页Kevin Fall和Joseph PasquMe。利用inkernel数据路径来提高I/O吞吐量和CPU可用性。1993年冬季USENIX会议记录,第327-333页,1993年1月。]]谷歌学者谷歌学者
  16. HC92型Keiran I/arty和David Cheriton。使用外部页面卡管理的应用程序控制的物理内存。第五届国际体系结构支持/或编程语言和操作系统会议论文集,1992年10月。]]谷歌学者谷歌学者数字图书馆数字图书馆
  17. 93港元Graham Hamilton和Pangs Kougiouris,《弹簧核:物体的微内核》。《夏季USENIX会议记录》,第147-159页,1993年6月。]]谷歌学者谷歌学者
  18. HKM+88J.Howard、M.Kazar、S.Menees、D.Nichols、M.Satyanarayanan、R.Sidebotham和M.West。分布式文件系统中的扩展和性能。计算机系统CM事务,6(1):51-821988年2月。]]谷歌学者谷歌学者数字图书馆数字图书馆
  19. 国际86英特尔公司,加利福尼亚州圣克拉拉。英特尔80386程序员手册,1986年。]]谷歌学者谷歌学者
  20. JRT85型迈克尔·琼斯(Michael B.Jones)、理查德·拉希德(Richard F.Rashid)和玛丽·汤普森(Mary R.Thompson)。Matchmaker:一种用于分布式处理的接口规范语言。1985年1月,第12届A CM SiGA CT-SIGPLAN编程语言原理研讨会论文集,第225-235页。]]谷歌学者谷歌学者数字图书馆数字图书馆
  21. 卡尔89保罗·A·卡格。使用寄存器优化跨域调用性能。1989年4月3日至6日,第三届编程语言和操作系统体系结构支持国际会议论文集,第194-204页。]]谷歌学者谷歌学者数字图书馆数字图书馆
  22. 克莱86史蒂文·克莱曼(Steven R.Kleiman)。Vnodes:SUN UNIX中多文件系统类型的体系结构。《1986年夏季USENL~会议记录》,第238-247页,1986年。]]谷歌学者谷歌学者
  23. LB92型詹姆斯·拉鲁斯和托马斯·鲍尔。重写可执行文件以测量程序行为。《技术报告1083》,威斯康星大学麦迪逊分校,1992年3月。]]谷歌学者谷歌学者
  24. 麦氏89斯科特·麦克法林。指令缓存的程序优化。1989年4月,第183-191页,《编程语言和操作系统体系结构支持国际会议记录》。]]谷歌学者谷歌学者数字图书馆数字图书馆
  25. MJ93型史蒂文·麦卡恩和范·雅各布森。BSD数据包过滤器:一种用于用户级数据包捕获的新体系结构。《1993年W~nter USENL~Uon/erence会议录》,1993年1月。]]谷歌学者谷歌学者数字图书馆数字图书馆
  26. MRA87型J.C.Mogul、R.F.Rashid和M.J.Accetta。包过滤器:用户级网络代码的有效机制。《操作系统原理研讨会论文集》,第39-51页,1987年11月。]]谷歌学者谷歌学者数字图书馆数字图书馆
  27. PH90电话卡尔·佩蒂斯和罗伯特·汉森。配置文件引导的代码定位。《编程语言设计与实现会议记录》,第16-27页,怀特普莱恩斯,纽约,1990年6月。作为SIGPLAN通知25(6)出现。]]谷歌学者谷歌学者数字图书馆数字图书馆
  28. RDH+80David D.Redell、Yogen K.Dalai、Thomas R.Horsley、Hugh C.Lauer、William C.Lynch、Paul R.McJones、Hal G.Murray和Stephen C.Purcell。飞行员:个人电脑的操作系统。A CM通讯,23(2):81-921980年2月。]]谷歌学者谷歌学者数字图书馆数字图书馆
  29. 山姆88A.Dain样品。指令缓存的代码重组。技术报告UCB/CSD 88/447,加州大学伯克利分校,1988年10月。]]谷歌学者谷歌学者数字图书馆数字图书馆
  30. SB90型迈克尔·施罗德和迈克尔·伯罗斯。Firefly RPC的性能。AUM计算机系统交易,8(1):1-171990年2月。]]谷歌学者谷歌学者数字图书馆数字图书馆
  31. SCK+93Richard L.Sites、Anton Chernoff、Matthew B.Kirk、Maurice P.Marks和Scott G.Robinson。二进制翻译。Commun,cat~ons of A CM,36(2):69-811993年2月。]]谷歌学者谷歌学者数字图书馆数字图书馆
  32. SFGM93系列M.Stonebraker、J.Frew、K.Gardels和J.Meridith。红杉2000年基准。1993年5月,CM-SIGMOD国际数据管理会议记录。]]谷歌学者谷歌学者数字图书馆数字图书馆
  33. 斯托87迈克尔·斯通布雷克(Michael Stonebraker)。POST-GRES中的可扩展性。IEEE数据库工程,1987年9月。]]谷歌学者谷歌学者
  34. 斯托88迈克尔·斯通布雷克(Michael Stonebraker)。在关系数据库系统中包含新类型。Michael Stonebraker,编辑,《数据库系统阅读》,第480-487页。摩根考夫曼出版社,1988年。]]谷歌学者谷歌学者数字图书馆数字图书馆
  35. SWG91型J.P.Singh、W.Weber和A.Gupta。Splash:共享内存的斯坦福并行应用程序。技术报告CSL-TR-91-469,斯坦福大学,1991年。]]谷歌学者谷歌学者数字图书馆数字图书馆
  36. TA88型申元祖和大卫·P·安德森。DASH消息传递系统的性能评估。技术报告UCB/CSD 88/452,加州大学伯克利分校计算机科学部,1988年10月。]]谷歌学者谷歌学者数字图书馆数字图书馆
  37. Thi92型思维机器公司。CM-5网络接口程序员指南,1992年。]]谷歌学者谷歌学者
  38. vCGS92版T.yon Eicken、D.Culler、S.Goldstein和K.Schauser。主动消息:集成通信和计算的机制。1992年第19届计算机体系结构年度研讨会继续进行。]]谷歌学者谷歌学者数字图书馆数字图书馆
  39. vvST88型罗伯特·范·雷内西(Robbert van Renesse)、汉斯·范·斯塔维伦(Hans van Staveren)和安德鲁·斯坦鲍姆(Andrew S.Tanenbaum)。世界上最快的分布式操作系统的性能。《Opcratir~g Sy~tcma评论》,22(4):25-341988年10月。]]谷歌学者谷歌学者数字图书馆数字图书馆
  40. 网站93内尔·韦伯。可移植文件系统扩展的操作系统支持。1993年1月,在1993年冬季USENIX大会会议记录中。]]谷歌学者谷歌学者
  41. YBA93型柯蒂斯·亚文(Curtis Yarvin)、理查德·布考斯基(Richard Bukowski)和托马斯·安德森(Thomas Anderson)。匿名RPC:64位地址空间中的低延迟保护。1993年6月夏季USENIX会议记录。]]谷歌学者谷歌学者

索引术语

  1. 高效的基于软件的故障隔离

                    建议

                    评论

                    登录选项

                    检查您是否可以通过登录凭据或您的机构访问本文。

                    登录

                    完全访问权限

                    • 发布于

                      封面图片ACM SIGOPS操作系统评论
                      ACM SIGOPS操作系统审查 第27卷第5期
                      1993年12月
                      283页
                      ISSN公司:0163-5980
                      内政部:10.1145/173668
                      期刊目录
                      • 封面图片ACM会议
                        SOSP’93:第十四届ACM操作系统原理研讨会会议记录
                        1994年1月
                        284页
                        国际标准图书编号:0897916328
                        内政部:10.1145/168619

                      版权所有©1993 ACM

                      如果复制品不是为了盈利或商业利益而制作或分发的,并且复制品的第一页载有本通知和完整引文,则允许免费制作本作品的全部或部分数字或硬拷贝以供个人或课堂使用。必须尊重ACM以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布,在服务器上发布或重新发布到列表,需要事先获得特定许可和/或付费。从请求权限[电子邮件保护]

                      出版商

                      计算机协会

                      美国纽约州纽约市

                      出版历史

                      • 出版:1993年12月1日

                      检查更新

                      限定符

                      • 文章

                    PDF格式

                    以PDF文件查看或下载。

                    PDF格式

                    电子阅读器

                    使用eReader在线查看。

                    电子阅读器