SystemC中抢占式进程调度的建模

近来用SystemC进行嵌入式软件建模研究非常活跃，目前尚不能用SystemC直接模拟嵌入式软件中常见的抢占式进程调度的行为。本文在详细的分析了SystemC模拟内核的基础上，提出将进程划分为一个一个不可分割的原子进程单元(APUs)，作为进程调度的最小单位，并构造出一个RTOS抽象层实现任务抢占、实时调度、中断处理等功能，用以实现抢占式进程调度行为的建模和验证。实例表明，采用文中提出的方法，设计者在系统抽象层就可以进行多任务系统的动态调度如中断、抢占的模拟和验证，有效地提高了设计能力。

PREEMPTIVE MULTI-TASK MODELING IN SystemC

A lot of work recently has been focusing on modeling software with SystemC.At present,SystemC offers little support for modeling the dynamic real-time behavior often found in embedded software.After the discussion of the SystemC simulation kernel in detail,we propose that the processes are divided into indivisible pieces called atomic process units(APUs) as the minimal scheduled unit,and the RTOS abstract layer can be built to implement task preemption and real time scheduling and interrupt handling.These allow the designer to quickly model and validate the dynamic behavior of preemptive multi-tasking systems at higher abstraction levels in the early stage of system design as experimental result shows.