基于异构多核平台的同步数据流图帕累托优化与调度

摘要

同步数据流图被广泛用于流应用程序的建模,如多媒体和数字信号处理程序等.流应用程序需达到一定吞吐量才能流畅运行,利用异构多核处理器来进一步提高流应用程序的吞吐量已经成为当今嵌入式系统的发展趋势,但是高吞吐量往往伴随着能耗的增加.本文针对基于异构多核平台的同步数据流图系统模型,给出求解所有能耗和吞吐量的帕累托优化点及其相应静态调度的方法.首先将系统模型转换为时间自动机网络,并将分析目标转换为时序逻辑公式;再使用实时模型检测工具UPPAAL寻找解决方案;最后对UPPAAL返回的结果进行分析,找出满足要求的调度.由于模型检测方法可对问题空间进行穷尽搜索,本文方法得到的是精确结果.本文方法可帮助设计者在系统开发早期了解系统能耗和吞吐量的量化关系,有利于缩短系统的开发周期、降低开发成本.