计算机科学
計算機科學
계산궤과학
Computer Science
2015年
11期
43-47
,共5页
顾玉磊%朱雪阳%晏荣杰%张广泉
顧玉磊%硃雪暘%晏榮傑%張廣泉
고옥뢰%주설양%안영걸%장엄천
同步数据流图%异构多核平台%帕累托优化%调度%模型检测
同步數據流圖%異構多覈平檯%帕纍託優化%調度%模型檢測
동보수거류도%이구다핵평태%파루탁우화%조도%모형검측
Synchronous dataflow graphs%Heterogeneous multicore platform%Pareto optimization%Scheduling%Model checking
同步数据流图被广泛用于多媒体和数字信号处理程序等流应用程序的建模.流应用程序须达到一定吞吐量才能流畅运行,利用异构多核处理器来进一步提高流应用程序的吞吐量已经成为当今嵌入式系统的发展趋势,但是提高吞吐量往往伴随着能耗的增加.为了解决这个问题,基于异构多核平台的同步数据流图系统模型,给出了求解所有能耗和吞吐量的帕累托优化点及其相应静态调度的方法.首先将系统模型转换为时间自动机网络,并将分析目标转换为时序逻辑公式;再使用实时模型检测工具UPPAAL寻找解决方案;最后对UPPAAL返回的结果进行分析,找出满足要求的调度.由于模型检测方法可对问题空间进行穷尽搜索,该方法得到的结果是精确的.该方法可帮助设计者在系统开发早期了解系统能耗和吞吐量的量化关系,有利于缩短系统的开发周期,降低开发成本.
同步數據流圖被廣汎用于多媒體和數字信號處理程序等流應用程序的建模.流應用程序鬚達到一定吞吐量纔能流暢運行,利用異構多覈處理器來進一步提高流應用程序的吞吐量已經成為噹今嵌入式繫統的髮展趨勢,但是提高吞吐量往往伴隨著能耗的增加.為瞭解決這箇問題,基于異構多覈平檯的同步數據流圖繫統模型,給齣瞭求解所有能耗和吞吐量的帕纍託優化點及其相應靜態調度的方法.首先將繫統模型轉換為時間自動機網絡,併將分析目標轉換為時序邏輯公式;再使用實時模型檢測工具UPPAAL尋找解決方案;最後對UPPAAL返迴的結果進行分析,找齣滿足要求的調度.由于模型檢測方法可對問題空間進行窮儘搜索,該方法得到的結果是精確的.該方法可幫助設計者在繫統開髮早期瞭解繫統能耗和吞吐量的量化關繫,有利于縮短繫統的開髮週期,降低開髮成本.
동보수거류도피엄범용우다매체화수자신호처리정서등류응용정서적건모.류응용정서수체도일정탄토량재능류창운행,이용이구다핵처리기래진일보제고류응용정서적탄토량이경성위당금감입식계통적발전추세,단시제고탄토량왕왕반수착능모적증가.위료해결저개문제,기우이구다핵평태적동보수거류도계통모형,급출료구해소유능모화탄토량적파루탁우화점급기상응정태조도적방법.수선장계통모형전환위시간자동궤망락,병장분석목표전환위시서라집공식;재사용실시모형검측공구UPPAAL심조해결방안;최후대UPPAAL반회적결과진행분석,조출만족요구적조도.유우모형검측방법가대문제공간진행궁진수색,해방법득도적결과시정학적.해방법가방조설계자재계통개발조기료해계통능모화탄토량적양화관계,유리우축단계통적개발주기,강저개발성본.