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

Applying Protected Decentralizing Abstractions to Build Extensible Operating Systems

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

机构地区：[1]西北工业大学计算机科学与工程系,西安710072

出　　处：《微电子学与计算机》2003年第3期21-25,28,共6页Microelectronics & Computer

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

摘　　要：为了提供高性能和柔性,操作系统内核应该只保留最小的功能。今天的操作系统大而低效、更缺乏柔性。我们提出了保护分散式操作系统抽象方法,集成了分散式操作系统抽象和保护抽象的方法,这种新的安全方式在分散式抽象系统里共享用户级的抽象,能够使非特权、不信任的任务在运行时定义并安全的共享生成的抽象。它在对相同的抽象重复调用时,通过消除上下文切换的需求和对通常情况进行优化,可获得较好的柔性。保护分散式抽象的设计强调简单并正确性证明,易于理解和使用。文章介绍了保护分散式操作系统抽象方法,并运用该方法开发了一个基于共享库的原型操作系统——EXLinux/LibOS。ions,integrated Decentralizing OS Abstractions and Protected abstractions,a novel way to safely share user-level abstractions in Extensible operating system.E nables unprivileged,untrusted applications to define and securely share generic abstractions at run-time,achieves a good flexibility-performance combination by eliminating the need for context switches and optimizing for the common case ,in which the same abstraction is invoked repeatedly.This paper investigates Protected decentralizes OS abstractions and use it implementation of a prototype library operating system--EXLinux/LibOS.

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

分 类 号：TP316[自动化与计算机技术—计算机软件与理论]