μC／OS-Ⅱ中消息队列通信的数据安全问题

μC/OS-Ⅱ是一个可移植、可裁剪的占先式多任务实时内核,且源码开放.便于学习、移植和维护.消息队列是一种广泛使用且灵活的任务间通信机制.分析了μO/OS-Ⅱ的消息队列通信机制中存在的数据安全性问题,然后通过改进消息队列通信所涉及的数据结构,同时增加消息队列测试函数OSQTest(),以提供应用程序对消息队列中消息访问是否安全的测试途径,从而提高了应用程序间通过消息队列进行通信的数据安全性.通过模拟实验证明此改进在实际应用中的有效性.     

面向能耗相关软/硬件划分的层次化控制数据流图建模方法

针对C语言描述的嵌入式软件功能模型在时间和成本约束下以降低能耗为目标的软/硬件划分问题,提出一种面向划分的层次化控制数据流图(简称PO-HCDFG)方法。首先,对PO-HCDFG进行了形式化描述,然后,分析了C语言程序向PO-HCDFG的转换方法,包括节点层次数的设置、数据依赖分析、划分对象的建立与粒度变换等关键问题,最后,通过实验验证了PO-HCDFG在软/硬件划分建模中的有效性。     

统一优先级软／硬件任务协同调度下的任务间通信机制

在片上可重构系统（Reconfigurable System On Programmable Chip）上,通过分析软／硬件任务的特点,扩展uC／OS-Ⅱ对硬件任务的支持,提出一种基于统一优先级调度的分层的软／硬件任务通信结构,并在此结构上实现软／硬件任务间的消息队列通信。最后,通过模拟实验证明其有效性。