计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2013年
4期
136-141,163
,共7页
微内核%多线程%操作系统%形式化描述%形式化设计
微內覈%多線程%操作繫統%形式化描述%形式化設計
미내핵%다선정%조작계통%형식화묘술%형식화설계
微内核架构因其有效的模块隔离性而成为操作系统方面研究的热点,多线程机制是微内核架构需要解决的关键性能问题.有不少的工作对微内核架构多线程机制进行了研究,但存在频繁的系统地址空间切换和实现复杂度高的问题.采用形式化的方式对微内核架构多线程和安全机制进行描述和设计,提出一个微内核线程分层对象语义模型,用以设计多线程机制的线程间通信、调度和互斥同步方案.在已实现和验证的微内核操作系统VTOS中对多线程功能和性能进行了测试,结果表明VTOS有效地实现了多线程机制,并具有很好的系统性能.
微內覈架構因其有效的模塊隔離性而成為操作繫統方麵研究的熱點,多線程機製是微內覈架構需要解決的關鍵性能問題.有不少的工作對微內覈架構多線程機製進行瞭研究,但存在頻繁的繫統地阯空間切換和實現複雜度高的問題.採用形式化的方式對微內覈架構多線程和安全機製進行描述和設計,提齣一箇微內覈線程分層對象語義模型,用以設計多線程機製的線程間通信、調度和互斥同步方案.在已實現和驗證的微內覈操作繫統VTOS中對多線程功能和性能進行瞭測試,結果錶明VTOS有效地實現瞭多線程機製,併具有很好的繫統性能.
미내핵가구인기유효적모괴격리성이성위조작계통방면연구적열점,다선정궤제시미내핵가구수요해결적관건성능문제.유불소적공작대미내핵가구다선정궤제진행료연구,단존재빈번적계통지지공간절환화실현복잡도고적문제.채용형식화적방식대미내핵가구다선정화안전궤제진행묘술화설계,제출일개미내핵선정분층대상어의모형,용이설계다선정궤제적선정간통신、조도화호척동보방안.재이실현화험증적미내핵조작계통VTOS중대다선정공능화성능진행료측시,결과표명VTOS유효지실현료다선정궤제,병구유흔호적계통성능.