aCoral可执行文件加载与线程交互机制的研究与设计

发布时间：2018-01-12 02:37

本文关键词：aCoral可执行文件加载与线程交互机制的研究与设计　出处：《电子科技大学》2012年硕士论文　论文类型：学位论文

【摘要】：随着嵌入式硬件技术的不断进步，嵌入式系统也由单一功能的工控设备开始向集成多种功能的复合型设备发展。目前嵌入式系统中采用操作系统与应用任务统一编译方式不够灵活的缺点日益显现。鉴于此点，必须采用某种机制将嵌入式操作系统与应用任务分别处理。这种机制即是嵌入式平台下的任务加载机制。本文在深入研究PC平台任务加载机制的基础上，研究和阅读了多种可执行文件的格式说明，通过总结设计出嵌入式平台下的可执行应用任务格式，任务加载器，以及内核系统调用。同时，深入研究了任务之间的交互机制，并针对存在任务加载机制下任务的特点，设计了自旋锁、互斥锁、信号量，消息、读写锁等任务交互工具。在研究与设计的基础上，本文最终在多核实时嵌入式操作系统aCoral对任务加载和任务交互工具进行了实现。嵌入式平台的任务加载机制包括可执行任务格式、任务加载器、内核系统调用三个部分。其中可执行任务格式包括函数库的设计与链接方式、可执行任务文件生成两个方面。内核系统调用包括内核中的系统调用响应和系统调用库的设计两个方面。任务交互机制的设计主要是任务交互工具的设计，任务交互工具包括自旋锁、互斥锁、信号量，消息、读写锁的设计。本文先介绍了验证平台aCoral的框架，然后详细介绍了任务加载机制与任务交互机制的设计与实现。最后，对这两种机制进行了功能与性能测试，测试结果表明，，任务加载机制可以正常加载外部应用任务至内存中执行，任务交互机制可以确保任务间互斥、同步、通信的正常进行。
[Abstract]:With the development of embedded hardware technology. The embedded system has also been developed from a single function industrial control device to a multifunctional composite device. At present, the shortcomings of the unified compilation method of operating system and application task in embedded system are becoming increasingly obvious. ... in view of this. We must adopt some mechanism to deal with the embedded operating system and the application task separately, this mechanism is the task loading mechanism under the embedded platform. On the basis of deeply studying the task loading mechanism of PC platform, this paper studies and reads the format instructions of various executable files, and designs the executable application task format under embedded platform by summing up and designing. Task loader and kernel system call. At the same time, the interaction mechanism between tasks is deeply studied, and the spin lock, mutex lock, semaphore and message are designed according to the characteristics of the task under the task loading mechanism. On the basis of research and design, this paper finally implements the task loading and task interaction tools based on the embedded operating system aCoral. The task loading mechanism of embedded platform includes executable task format, task loader and kernel system call. There are two aspects of executable task file generation. Kernel system call includes two aspects: system call response in kernel and system call library design. Task interaction mechanism is mainly the design of task interaction tools. Task interaction tools include spin lock, mutex lock, semaphore, message, read and write lock design. This paper first introduces the framework of verification platform aCoral, and then introduces the design and implementation of task loading mechanism and task interaction mechanism in detail. Finally, the function and performance of these two mechanisms are tested. The test results show that the task loading mechanism can normally load the external application task into memory and the task interaction mechanism can ensure the mutually exclusive synchronization and communication between the tasks.
【学位授予单位】：电子科技大学
【学位级别】：硕士
【学位授予年份】：2012
【分类号】：TP368.1

【参考文献】