xikernel调度模型

《xikernel调度模型》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第八章Xilinx操作系统及库何宾2012.02内容概述本章主要介绍操作系统及板级支持包。该章内容主要包括：（1）Xilinx微核接口；（2）LibXil标准C库；（3）板级支持包；（4）Xilkernel核；（5）LibXil库。其中重点介绍了Xilkernel核，内容包括：Xilkernel核概述、Xilkernel构成、建立Xilkernel应用程序、Xilkernel处理模型、Xilkernel调度模型、POSIX接口、XilkernelAPI接口、存储器保护、系统初始化、Xilkernel

2、定制等内容。Xilinx的微核Xilinx的微核（XilinxMicrokernel，XMK）包含三个不同的软件实体，通过它用户应用程序可以与标准C和Math库，LibXil库，Xilkernel或独立运行的操作系统相接。标准C库由newlib和libc组成，该库包含了标准C的函数，例如，stdio，stdlib，string例程。数学库是newlib数学库的扩展，提供了标准的数学函数。Xilinx的微核LibXil库由下面构成：1）LibXilDriver-Xilinx的设备驱动程序；2）LibX

3、ilMFS-Xilinx的存储文件系统（MemoryFileSystem，MFS）；3）LibXilFlash-并行Flash编程库；4）LibXillsf-串行Flash编程库；Xilinx提供独立板级支持包（BoardSupportPackage，BSP，后来Xilinx称为Standard平台）和Xilkernel。Xilinx的微核结构图8.1XMK结构用户应用程序XilkernelXilFlashXilMFSXillsf独立BSPXilinx驱动C，Math和GCC库Xilinx的微核用户

4、的应用程序通过不同的方法和XMK的不同组成部分进行接口。除了一些交互外，库之间是独立的。比如，Xilkernel使用BSP。BSP和Xilinx驱动构成了对底层硬件的抽象。XMK的库和OS依赖于标准的C库组成部分。数学库libm.a可以用来和用户的应用程序连接。Xilinx的微核-板级支持包BSPBSP是单线程库。BSP提供对硬件的小的接口。向应用程序提供所要求的最少的功能。BSP提供的一些典型的函数包括:（1）设置中断（2）系统异常（3）配置缓存（4）其它硬件指定的功能。Xilinx的微核-Lib

5、Xil驱动程序LibXil是指设备驱动程序，在软件平台中被包含用来向系统中的外设提供接口。这些驱动伴随EDK提供，并且被Libgen配置。后面详细介绍设备驱动的概念和在软件平台中适配的方法。Xilinx的微核-XilkernelXilkernel是一个简单的嵌入式处理器的核，能根据系统进行定制。Xilkernel有嵌入式核的那些关键的特征：（1）多任务;（2）优先级驱动的抢先调度;（3）进程间通信;（4）同步和中断处理。Xilinx的微核-XilkernelXilkernel是一个小的，模块化的，用

6、户定制，能用在不同的系统配置环境。应用程序能以不同模式，静态的和Xilkernel连接形成单独的可执行文件。Xilinx的微核-LibXilMFSLibXilMFS提供简单的存储文件系统，使得很容易通过使用输入-输出文件来访问数据。这个系统通过改变安装区域的源文件，很容易配置满足工程要求。Xilinx的微核-LibXilFlashLibXilFlash：提供对并行Flash的访问，这些Flash与普通的Flash接口一致。支持Intel和AMD的CFI(CommonFlashInterface)芯片

7、。Xilinx的微核-LibXillsfLibXillsf是一个系统内Flash库。支持Xilinx系统内Flash和外部的串行Flash（Atmel的AT45XXXD，Intel的S33和ST的M25PXX）。该库使得高层软件能和串行Flash通信。标准C库EDK库和设备驱动提供标准C库函数和访问外设的函数。EDK库由Libgen根据MSS文件为每个工程自动配置。这些库和include文件保存在当前工程lib和include目录下。mb-gcc的选项-l和-L用来将这些目录添加到库搜索路径中。标准

8、的C库（lib.a）该库为MicroBlaze和PowerPC处理器提供了标准的C函数。可以根据下面路径下的这些标准C函数找到头文件。/gnu////include其中:为EDK的安装路径；为powerpc-eabi或microblaze；为sol，nt，lin；为powerpc