微电子学与计算机
微電子學與計算機
미전자학여계산궤
MICROELECTRONICS & COMPUTER
2003年
3期
21-25,28
,共6页
施笑安%周兴社%杨刚%盖玲兴
施笑安%週興社%楊剛%蓋玲興
시소안%주흥사%양강%개령흥
分散式抽象%保护%库操作系统%内核
分散式抽象%保護%庫操作繫統%內覈
분산식추상%보호%고조작계통%내핵
为了提供高性能和柔性,操作系统内核应该只保留最小的功能.今天的操作系统大而低效、更缺乏柔性.我们提出了保护分散式操作系统抽象方法,集成了分散式操作系统抽象和保护抽象的方法,这种新的安全方式在分散式抽象系统里共享用户级的抽象,能够使非特权、不信任的任务在运行时定义并安全的共享生成的抽象.它在对相同的抽象重复调用时,通过消除上下文切换的需求和对通常情况进行优化,可获得较好的柔性.保护分散式抽象的设计强调简单并正确性证明,易于理解和使用.文章介绍了保护分散式操作系统抽象方法,并运用该方法开发了一个基于共享库的原型操作系统--EXLinux/LibOS.
為瞭提供高性能和柔性,操作繫統內覈應該隻保留最小的功能.今天的操作繫統大而低效、更缺乏柔性.我們提齣瞭保護分散式操作繫統抽象方法,集成瞭分散式操作繫統抽象和保護抽象的方法,這種新的安全方式在分散式抽象繫統裏共享用戶級的抽象,能夠使非特權、不信任的任務在運行時定義併安全的共享生成的抽象.它在對相同的抽象重複調用時,通過消除上下文切換的需求和對通常情況進行優化,可穫得較好的柔性.保護分散式抽象的設計彊調簡單併正確性證明,易于理解和使用.文章介紹瞭保護分散式操作繫統抽象方法,併運用該方法開髮瞭一箇基于共享庫的原型操作繫統--EXLinux/LibOS.
위료제공고성능화유성,조작계통내핵응해지보류최소적공능.금천적조작계통대이저효、경결핍유성.아문제출료보호분산식조작계통추상방법,집성료분산식조작계통추상화보호추상적방법,저충신적안전방식재분산식추상계통리공향용호급적추상,능구사비특권、불신임적임무재운행시정의병안전적공향생성적추상.타재대상동적추상중복조용시,통과소제상하문절환적수구화대통상정황진행우화,가획득교호적유성.보호분산식추상적설계강조간단병정학성증명,역우리해화사용.문장개소료보호분산식조작계통추상방법,병운용해방법개발료일개기우공향고적원형조작계통--EXLinux/LibOS.
