【摘 要】
：
微内核架构因其有效的模块隔离性而成为操作系统方面研究的热点,多线程机制是微内核架构需要解决的关键性能问题。有不少的工作对微内核架构多线程机制进行了研究,但存在频繁
【机 构】
：
南京大学软件新技术国家重点实验室,南京大学计算机科学与技术系,常熟理工学院计算机科学与工程学院
【基金项目】
：
国家高技术研究发展计划（863）（2011AA01A202）, 江苏省“六大人才高峰”高层次人才项目（2011-DZXX-035）, 江苏省高校自然科学研究项目（12KJB520001）资助
论文部分内容阅读
微内核架构因其有效的模块隔离性而成为操作系统方面研究的热点,多线程机制是微内核架构需要解决的关键性能问题。有不少的工作对微内核架构多线程机制进行了研究,但存在频繁的系统地址空间切换和实现复杂度高的问题。采用形式化的方式对微内核架构多线程和安全机制进行描述和设计,提出一个微内核线程分层对象语义模型,用以设计多线程机制的线程间通信、调度和互斥同步方案。在已实现和验证的微内核操作系统VTOS中对多线程功能和性能进行了测试,结果表明VTOS有效地实现了多线程机制,并具有很好的系统性能。
其他文献
本文主要通过计算机辅助档案管理的应用范围,说明了实施档案现代化管理的必要性和先进性。并详细阐述了基层档案馆(室)在实施计算机辅助档案管理时遇到的问题与解决的措施。
<正> 为了适应社会主义市场经济发展的新形势,中央制订了改革开放的重大决策。各行各业均面临着为适应新形势而深化改革的历史重任,正如邓小平同志所说:“没有一点闯的精神,
<正> 档案是国家不可缺少的宝贵财富,是整个信息资源的一部分,有十分重要的作用与价值,保管和利用是档案工作的两大基本任务,保管是基础、利用是目的。档案工作是企业管理基
随着我国经济体制改革的深化,档案工作愈来愈得到重视,档案人员队伍不断扩大。在这支队伍中,女职工人数多,比例大,占有主导地位。因此对档案部门的领导者来说,如何发挥她们每
<正> 机械工业档案工作地区协作组华北一组于4月28日召开了今年第二次全体成员大会。会议传达了机械工业档案学会有关文件;就案卷的质量和标准,在互相查阅案卷的基础上,进行
<正> 企业档案在国家档案事业中占有相当的比重,是国家档案资源的重要组成部分。企业档案做为企业的信息资源宝库,要全力为企业的振兴发展提供有效服务,是档案部门的重要职责