支持多核架构的微内核操作系统设计.pdf

支持多核架构的微内核操作系统设计

FreeNOS微内核操作系统，大名鼎鼎，好好学习必然会受益匪浅的。

1980-2000年间，microkernel操作系统被广泛研究，目的是解决macrokernel的巨大，不安全，更新困难等问题，但是，由于性能上的原因，微内核系统没有发展起来。最近cpu性能已经足够

支持多核系统的FreeRTOS SMP内核架构文件是一种可以在多核系统中使用的FreeRTOS系统文件。该文件为开发者提供了void vTaskCoreAffinitySet( const TaskH

目前,物联网情景下的使用Linux以及Unix系统存在不适用的问题,在该环境下,需要使用物联网专用的操作系统去访问和控制相应的硬件设备,硬件的使用离不开硬件驱动的支撑。为减小驱动重新开发带来的弊端,提

运用形式化方法，构造了一个小而安全的操作系统微内核

关于当前多核CPU盛行，操作系统是否跟上的讨论

对多核操作系统的主要架构进行了分析和介绍，特别是分布式操作系统，同构多核操作系统的基本结构，该文档对多核操作系统架构研究提供了基础知识。

网络与信息安全――具有安全权限的微内核操作系统模型

[操作系统——内核与设计原理].pdf -- 好书!