L4微内核技术浅析

来源 :第二届江苏计算机大会 | 被引量 : 0次 | 上传用户:greenecho
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
微内核很小但是很灵活.传统的和非传统的操作系统都可以建立在微内核之上,也适合在微内核上运行.L4是一种可以在alpha上实现的微内核,它可以用C和汇编语言来实现.特别的,L4支持可扩展性和定制性,支持包含可靠性和容错处理的健壮性,保护和安全性,并支持Linux API和ABI,本文对L4做简要概述,介绍了L4的主要概念、特性和技术.
其他文献
广西全州县安和乡四所村委石背屯是银杏老产区,有百年生银杏树156株,以马铃品种为主.从20世纪80年代到现在,已种植自繁自育的根蘖苗2160株,6~8年生的树都已挂果.本文论述了精
机器人足球比赛是智能机器人领域一个典型的多智能体系统,是当前人工智能和机器人领域的研究热点之一.传球是足球比赛的一个基本的动作,主要通过机器学习的方法来实现.本文主
通过对近年来系统内高压闸刀支柱瓷绝缘子断裂事故的原因分析,提出了在变电站的日常运行工作中应采取的安全防范措施,以避免倒闸过程中出现绝缘子的断裂而造成人身、电网和设
研究目前四种主流的微处理多线程技术,并进行了分析比较,指出多线程技术设计的关键在于资源分配与共享,并进一步提出了混合多线程的思想,然后结合目前多线程技术的应用,展望
多核处理器是SoC体系结构中一个非常热门的研究领域.本文介绍了多核处理器Cell的基本指标和主要结构,并重点分析了Cell的特色.然后,根据Cell的结构,对多核处理器的发展趋势进
随着集成电路工艺的发展,晶体管的密度越来越高,金属连线之间的距离越来越窄而电路的工作频率却不断提高,高性能集成电路中的噪声问题日益凸现,成为决定芯片质量的关键因素之
会议
本文提出了一种求解多处理机调度的蚁群算法,算法利用蚂蚁代表处理机来选择任务,并通过分析关键路径及每个任务的最早、最迟开始时剖来确定每个任务的紧迫程度,让蚂蚁以此采
本文分析了当前几款主流的高性能多核、多线程处理器的Cache配置,对Cache的容量、联想度、Cache一致性和耦合方式进行探讨,提出一种新的Cache结构,分布式共享二级Cache,并指
中国内地目前的传声器产品包括有线和无线类型的传声器和传声器系统,买主可以选择从低档到高档的各种各样的传声器和传声器系统,应用于家庭娱乐,公共广播以及专业音响系统等
采用软件的自动经验优化(AEOS)进行高性能计算软件的开发是一种新的自适应软件开发技术,在国际上得到越来越广泛的重视和应用.本文介绍了采用AEOS技术开发的通用线性代数软件