分布式实时系统的低能耗资源分配方法研究

针对基于动态电压调整技术的调度算法在任务切换时大幅度的频率调整给系统带来较多的额外能耗这一问题,提出了一种均匀化任务利用率的启发式资源分配方法。该方法选用时间Petri网对分布式实时系统建模,并根据时间Petri网状态空间的变化规律,简化系统状态空间的生成过程,提高了资源分配算法的实现效率。实验表明,上述方法能够降低目标系统频率调整带来的系统能耗开销。

Study on the energy-efficient resource allocation of distributed real-time systems

Scheduling algorithm based on dynamic voltage scaling may result in high extra energy consumption when taking frequency switching overheads into account.To resolve this problem,we present a heuristic resource allocation algorithm to even the tasks' utilization in distributed real-time systems using time Petri nets as specification models.In addition,by exploiting the rules of time Petri nets state space transformation,the underlying verification can be simplified,and then the efficiency of the resource allocation can be improved.Experimental results demonstrate that the proposed method can decrease frequency switching overheads and reduce energy consumption.