计算机科学 ›› 2015, Vol. 42 ›› Issue (11): 43-47.doi: 10.11896/j.issn.1002-137X.2015.11.007
顾玉磊,朱雪阳,晏荣杰,张广泉
GU Yu-lei, ZHU Xue-yang, YAN Rong-jie and ZHANG Guang-quan
摘要: 同步数据流图被广泛用于多媒体和数字信号处理程序等流应用程序的建模。流应用程序须达到一定吞吐量才能流畅运行,利用异构多核处理器来进一步提高流应用程序的吞吐量已经成为当今嵌入式系统的发展趋势,但是提高吞吐量往往伴随着能耗的增加。为了解决这个问题,基于异构多核平台的同步数据流图系统模型,给出了求解所有能耗和吞吐量的帕累托优化点及其相应静态调度的方法。首先将系统模型转换为时间自动机网络,并将分析目标转换为时序逻辑公式;再使用实时模型检测工具UPPAAL寻找解决方案;最后对UPPAAL返回的结果进行分析,找出满足要求的调度。由于模型检测方法可对问题空间进行穷尽搜索,该方法得到的 结果 是精确的。该方法可帮助设计者在系统开发早期了解系统能耗和吞吐量的量化关系,有利于缩短系统的开发周期,降低开发成本。
[1] Lee E A,Messerschmitt D G.Static scheduling of synchronous data flow programs for digital signal processing[J].IEEE Trans on Computer,1987,6(1):24-35 [2] Institute of Software,Chinese Academy of Sciences.The iDFOS Tool.(2014)[2014].http://lcs.ios.ac.cn/~zxy/tools/idfos.html [3] Karp R M.A characterization of the minimum cycle mean in a digraph[J].Discrete Mathematics,1978,3(3):309-311 [4] Groote R,Kuper J,Broersma H,et al.Max-plus algebraicthroughput analysis of synchronous dataflow graphs [C]∥38th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA).Cesme,2012:29-38 [5] Stuijk S,Geilen M,Basten T.Exploring trade-offs in buffer re-quirements and throughput constraints for synchronous dataflow graphs[C]∥Proceedings of the 43rd annual Design Automation Conference.San Francisco,2006:899-904 [6] Fakih M,Gruttner K,Franzle M,et al.Towards performance analysis of SDFGs mapped to shared-bus architectures using model-checking[C]∥Design,Automation & Test in Europe Conference & Exhibition (DATE).Grenoble,2013:1167-1172 [7] Madsen J,Hansen M R,Knudsen K S,et al.System-level verification of multi-core timed-automata[C]∥Proceedings of International Federation of Automatic Control.Seoul,2008:9302-9307 [8] Bouyer P,Fahrenberg U,Larsen K G,et al.Quantitative analysis of real-time systems using priced timed automata[J].Communications of the ACM,2011,4(9):78-87 [9] Alur R,Dill DL.A theory of timed automata[J].Theoretical Computer Science,1994,6(2):183-235 [10] Behrmann G,David A,Larsen K G.A tutorial on Uppaal[J].Formal Methods for Design of Real-time Systems,2004,5:200-236 [11] Uppsala University,Aalborg University.The UPPAAL Model Checker.(2005)[2014].http://www.uppaal.com [12] Gu Yu-lei,Zhu Xue-yang,Yan Rong-jie,et al.Pareto Optimization and Scheduling of Synchronous Dataflow Graphs on a Heterogeneous Multicore Platform.(2014)[2014].http://lcs.ios.ac.cn/~zxy/papers/r14-14.pdf |
No related articles found! |
|