基于保护分散式抽象方法的可扩展操作系统设计

作     者：施笑安 周兴社 杨刚 盖玲兴 

作者机构：西北工业大学计算机科学与工程系西安710072 

基　　金：国防预研基金资助项目(98J15.15.HK0321) 十五航天科技创新基金资助项目 博士创新基金资助项目 

出 版 物：《微电子学与计算机》 (Microelectronics & Computer)

年 卷 期：2003年第20卷第3期

页      码：21-25,28页

摘      要：为了提供高性能和柔性,操作系统内核应该只保留最小的功能。今天的操作系统大而低效、更缺乏柔性。我们提出了保护分散式操作系统抽象方法,集成了分散式操作系统抽象和保护抽象的方法,这种新的安全方式在分散式抽象系统里共享用户级的抽象,能够使非特权、不信任的任务在运行时定义并安全的共享生成的抽象。它在对相同的抽象重复调用时,通过消除上下文切换的需求和对通常情况进行优化,可获得较好的柔性。保护分散式抽象的设计强调简单并正确性证明,易于理解和使用。文章介绍了保护分散式操作系统抽象方法,并运用该方法开发了一个基于共享库的原型操作系统——EXLinux/LibOS。

主 题 词：分散式抽象方法 可扩展操作系统 设计 内核 应用程序 进程 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1000-7180.2003.03.006

馆 藏 号：203122853...