本文選題：同步數(shù)據(jù)流圖 + 異構(gòu)多核平臺　； 參考：《計算機(jī)科學(xué)》2015年11期

【摘要】：同步數(shù)據(jù)流圖被廣泛用于多媒體和數(shù)字信號處理程序等流應(yīng)用程序的建模。流應(yīng)用程序須達(dá)到一定吞吐量才能流暢運(yùn)行,利用異構(gòu)多核處理器來進(jìn)一步提高流應(yīng)用程序的吞吐量已經(jīng)成為當(dāng)今嵌入式系統(tǒng)的發(fā)展趨勢,但是提高吞吐量往往伴隨著能耗的增加。為了解決這個問題,基于異構(gòu)多核平臺的同步數(shù)據(jù)流圖系統(tǒng)模型,給出了求解所有能耗和吞吐量的帕累托優(yōu)化點及其相應(yīng)靜態(tài)調(diào)度的方法。首先將系統(tǒng)模型轉(zhuǎn)換為時間自動機(jī)網(wǎng)絡(luò),并將分析目標(biāo)轉(zhuǎn)換為時序邏輯公式;再使用實時模型檢測工具UPPAAL尋找解決方案;最后對UPPAAL返回的結(jié)果進(jìn)行分析,找出滿足要求的調(diào)度。由于模型檢測方法可對問題空間進(jìn)行窮盡搜索,該方法得到的結(jié)果是精確的。該方法可幫助設(shè)計者在系統(tǒng)開發(fā)早期了解系統(tǒng)能耗和吞吐量的量化關(guān)系,有利于縮短系統(tǒng)的開發(fā)周期,降低開發(fā)成本。
[Abstract]:Synchronous data flow diagrams are widely used to model multimedia and digital signal processing applications. Streaming applications must reach a certain throughput to run smoothly. Using heterogeneous multi-core processors to further improve the throughput of streaming applications has become the development trend of embedded systems. But increasing throughput is often accompanied by an increase in energy consumption. In order to solve this problem, based on the synchronous data flow graph system model of heterogeneous multi-core platform, a method for solving Pareto optimization points of all energy consumption and throughput and its corresponding static scheduling is presented. Firstly, the system model is transformed into a time-automaton network, and the analysis object is converted into a temporal logic formula; then a real-time model checking tool UPPAAL is used to find a solution; finally, the results returned by UPPAAL are analyzed to find out the scheduling that meets the requirements. Because the model detection method can search the problem space completely, the result obtained by this method is accurate. This method can help designers understand the quantitative relationship between system energy consumption and throughput in the early stage of system development, shorten the development cycle and reduce the development cost.
【作者單位】： 蘇州大學(xué)計算機(jī)科學(xué)與技術(shù)學(xué)院;中國科學(xué)院軟件研究所計算機(jī)科學(xué)國家重點實驗室;
【基金】：973課題(2014CB340701) 江蘇省自然科學(xué)基金(BK2011281) 蘇州市應(yīng)用基礎(chǔ)研究計劃(SYG201241) 江蘇省研究生科研創(chuàng)新計劃(KYLX_1247)資助
【分類號】：TP332;TP311.11
，

本文編號：1922784