集成保护和分散式抽象的可扩展操作系统  

Integrated Protection and Decentralizing Abstractions with Extensible Operating Systems

作　　者：施笑安[1] 周兴社[1] 林奕[1] 李晖[1] 

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

出　　处：《计算机科学》2003年第5期105-107,112,共4页Computer Science

基　　金：国防预研基金(98J15.15.HK0321);十五国防基础研究项目;西北工业大学博士创新基金

摘　　要：Protection and abstraction are traditional advantages of operating system that provide for application-pro-grammer. How to change Protection and abstraction in order to ensure the new Extensible Operating Systems havinghigh performance and good flexibility is the most crucial problem to build Extensible Operating Systems. We bringforward a new approach--Protected Decentralizing abstractions, integrating Decentralizing OS abstractions and Pro-tected abstractions, and use it to implement a prototype library operating system -- EXLinux/LibOS . A novel wayto safely share user-level abstractions in the prototype, enables unprivileged and untrusted applications to be definedand securely shared generic abstractions at run-time ,in which the same abstraction is invoked repeatedly.Protection and abstraction are traditional advantages of operating system that provide for application.programmer. How to change Protection and abstraction in order to ensure the new Extensible Operating Systems having high performance and good flexibility is the most crucial problem to build Extensible Operating Systems. We bring forward a new approach.Protected Decentralizing abstractions, integrating Decentralizing OS abstractions and Protected abstractions, and use it to implement a prototype library operating system . EXLinux /LibOS . A novel way to safely share user.level abstractions in the prototype, enables unprivileged and untrusted applications to be defined and securely shared generic abstractions at run.time,in which the same abstraction is invoked repeatedly.

关 键 词：可扩展操作系统 集成保护 分散式抽象 应用程序 微内核 

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