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

作     者：顾玉磊 朱雪阳 晏荣杰 张广泉 GU Yu-lei;ZHU Xue-yang;YAN Rong-jie;ZHANG Guang-quan

作者机构：苏州大学计算机科学与技术学院苏州215006 中国科学院软件研究所计算机科学国家重点实验室北京100190 

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

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2015年第42卷第11期

页      码：43-47页

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

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

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.11896/j.issn.1002-137X.2015.11.007

馆 藏 号：203443958...