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

摘要：

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

关键词：同步数据流图、异构多核平台、帕累托优化、调度、模型检测

所属期刊栏目：42

分类号：TP311(计算技术、计算机技术)

资助基金：973课题2014CB340701;江苏省自然科学基金BK2011281;苏州市应用基础研究计划SYG201241;江苏省研究生科研创新计划KYLX_1247

在线出版日期：2015-12-07（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：43-47