中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 期刊论文
Title:
基于异构多核平台的同步数据流图帕累托优化与调度
Alternative Title: Pareto Optimization and Scheduling of Synchronous Dataflow Graphs on Heterogeneous Multicore Platform
Author: 顾玉磊 ; 朱雪阳 ; 晏荣杰 ; 张广泉
Keyword: 同步数据流图 ; 异构多核平台 ; 帕累托优化 ; 调度 ; 模型检测
Source: 计算机科学
Issued Date: 2015
Volume: 42, Issue:11, Pages:43-47
Indexed Type: CSCD
Department: 顾玉磊, 苏州大学计算机科学与技术学院, 计算机科学国家重点实验室, 苏州, 江苏 215006, 中国;朱雪阳, 中国科学院软件研究所, 计算机科学国家重点实验室, 北京 100190, 中国;晏荣杰, 中国科学院软件研究所, 计算机科学国家重点实验室, 北京 100190, 中国;张广泉, 苏州大学计算机科学与技术学院, 苏州, 江苏 215006, 中国;
Abstract: 同步数据流图被广泛用于多媒体和数字信号处理程序等流应用程序的建模。流应用程序须达到一定吞吐量才能流畅运行,利用异构多核处理器来进一步提高流应用程 序的吞吐量已经成为当今嵌入式系统的发展趋势,但是提高吞吐量往往伴随着能耗的增加。为了解决这个问题,基于异构多核平台的同步数据流图系统模型,给出了 求解所有能耗和吞吐量的帕累托优化点及其相应静态调度的方法。首先将系统模型转换为时间自动机网络,并将分析目标转换为时序逻辑公式;再使用实时模型检测 工具UPPAAL寻找解决方案;最后对UPPAAL返回的结果进行分析,找出满足要求的调度。由于模型检测方法可对问题空间进行穷尽搜索,该方法得到的结 果是精确的。该方法可帮助设计者在系统开发早期了解系统能耗和吞吐量的量化关系,有利于缩短系统的开发周期,降低开发成本。
English Abstract: Synchronous dataflow graphs(SDFGs) are widely used to model streaming applications such as multimedia and digital signal processing applications.Streaming applications are usually required to reach a high throughput to guarantee smooth running.Using heterogeneous multicore processors to improve the throughput of streaming applications has become a feasible solution.However,a higher throughput is usually achieved with the increase of energy consumption.We presented a method to explore the Pareto space of energy consumption and throughput and find the schedule of each Pareto point.A system model includes an SDFG description for the application and a heterogeneous multicore platform.The system model is transformed to a network of timed automata(NTA) and the optimization goals are formalized as temporal logic formulae.The NTA and formulae are then used as the input of the real time model checking tool UPPAAL.The Pareto points and corresponding schedules by the trace provided by UPPAAL can be obtained.Our method is exact,which is benefited from the exhaustive search nature of model checking technique.The method can be used to help designers to understand the quantitative relationship between energy consumption and throughput in the design period,shortening development cycles and reducing costs of system developments.
Language: 中文
Citation statistics:
Content Type: 期刊论文
URI: http://ir.iscas.ac.cn/handle/311060/17397
Appears in Collections:软件所图书馆_期刊论文

Files in This Item:
File Name/ File Size Content Type Version Access License
基于异构多核平台的同步数据流图帕累托优化与调度.pdf(807KB)----限制开放 联系获取全文

Recommended Citation:
顾玉磊,朱雪阳,晏荣杰,等. 基于异构多核平台的同步数据流图帕累托优化与调度[J]. 计算机科学,2015-01-01,42(11):43-47.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[顾玉磊]'s Articles
[朱雪阳]'s Articles
[晏荣杰]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[顾玉磊]‘s Articles
[朱雪阳]‘s Articles
[晏荣杰]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace