本文關鍵詞：同步語言的時間可預測多線程代碼生成方法

  更多相關文章： 安全關鍵系統(tǒng) 多核處理器 時間可預測 同步語言 AADL(architecture analysis and design language)

【摘要】：能夠提供更強計算能力的多核處理器將在安全關鍵系統(tǒng)中得到廣泛應用,但是由于現(xiàn)代處理器所使用的流水線、亂序執(zhí)行、動態(tài)分支預測、Cache等性能提高機制以及多核之間的資源共享,使得系統(tǒng)的最壞執(zhí)行時間分析變得非常困難.為此,國際學術界提出時間可預測系統(tǒng)設計的思想,以降低系統(tǒng)的最壞執(zhí)行時間分析難度.已有研究主要關注硬件層次及其編譯方法的調(diào)整和優(yōu)化,而較少關注軟件層次,即,時間可預測多線程代碼的構造方法以及到多核硬件平臺的映射.提出一種基于同步語言模型驅動的時間可預測多線程代碼生成方法,并對代碼生成器的語義保持進行證明;提出一種基于AADL(architecture analysis and design language)的時間可預測多核體系結構模型,作為研究的目標平臺;最后,給出多線程代碼到多核體系結構模型的映射方法,并給出系統(tǒng)性質的分析框架.
【作者單位】： 南京航空航天大學計算機科學與技術學院;軟件開發(fā)環(huán)境國家重點實驗室(北京航空航天大學);軟件新技術與產(chǎn)業(yè)化協(xié)同創(chuàng)新中心;IRIT
【關鍵詞】： 安全關鍵系統(tǒng) 多核處理器 時間可預測 同步語言 AADL(architecture analysis and design language)
【基金】：國家自然科學基金(61502231) 國家重點基礎研究發(fā)展計劃(973)(2014CB744904) 江蘇省自然科學基金(BK2015 0753) 軟件開發(fā)環(huán)境國家重點實驗室開放課題(SKLSDE-2015KF-04) 航空科學基金(2015ZC52027) 中國博士后科學基金~~
【分類號】：TP311.52
【正文快照】： 安全關鍵系統(tǒng)(safety-critical system)廣泛應用于航空電子、航天器、核能、汽車控制等關鍵信息領域.由于功能和非功能需求的發(fā)展,這類系統(tǒng)對處理器計算性能的要求日趨提高.相比單核處理器,能夠提供更強計算能力的多核處理器將在安全關鍵系統(tǒng)中得到廣泛應用.然而,在安全關鍵系

【共引文獻】

中國博士學位論文全文數(shù)據(jù)庫 前2條

1 唐俊杰;基于方程的信息物理融合系統(tǒng)建模與仿真技術研究[D];華中科技大學;2013年

2 唐俊杰;基于方程的信息物理融合系統(tǒng)建模與仿真技術研究[D];華中科技大學;2013年

【相似文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 白紅;;淺議Java多線程程序設計[J];計算機光盤軟件與應用;2013年02期

2 田曉紅;國產(chǎn)多線程瀏覽器“七仙女”的靚點[J];電腦愛好者;2000年24期

3 謝謙,向國全;多線程串行通信實現(xiàn)技術[J];河南大學學報(自然科學版);2001年01期

4 margiex;;多線程中線程的同步及其應用[J];中文信息;2002年02期

5 肖燁;楊智勇;;Java多線程程序設計入門[J];中文信息;2003年06期

6 蘇統(tǒng)華;;多線程串行通信系統(tǒng)的研究[J];中文信息;2003年07期

7 崔立劍;吳平;;Java多線程設計模式研究[J];計算機與現(xiàn)代化;2006年11期

8 甘群文;;C#多線程同步與異步的實現(xiàn)[J];電腦開發(fā)與應用;2009年09期

9 王沛禮;;高職學生如何掌握Java多線程同步技術[J];科技信息;2010年03期

10 盧海軍;;最小的多線程框架[J];單片機與嵌入式系統(tǒng)應用;2010年04期

中國重要會議論文全文數(shù)據(jù)庫 前10條

1 姚鐸;劉亞萍;;一種基于多線程的BGP策略并行模型的研究方法[A];2009年研究生學術交流會通信與信息技術論文集[C];2009年

2 劉陽;李孝輝;;多線程版本的串口讀寫技術研究[A];第三屆全國虛擬儀器大會論文集[C];2008年

3 董光波;吳寧生;高效;曾慶虎;楊進;溫京;;一種組件式多線程網(wǎng)絡應用架構的設計與實現(xiàn)[A];2009年中國智能自動化會議論文集（第六分冊）[中南大學學報（增刊）][C];2009年

4 肖靜靜;李雙峰;彭智勇;;用多線程方式優(yōu)化PostgreSQL的查詢處理[A];第二十屆全國數(shù)據(jù)庫學術會議論文集（技術報告篇）[C];2003年

5 高齊新;揚金柱;趙大哲;劉積仁;;基于多線程的三維醫(yī)學影像的重建[A];第十四屆全國圖象圖形學學術會議論文集[C];2008年

6 聞建芬;何加銘;曾興斌;陳靜;;P2P網(wǎng)絡資源多線程傳輸改進機制[A];浙江省電子學會2010學術年會論文集[C];2010年

7 王楠;慕曉冬;王寧燕;宋洪軍;李佳晨;張陽子;;針對多線程架構的決策樹查詢算法優(yōu)化及應用[A];中國電子學會第十六屆信息論學術年會論文集[C];2009年

8 梁志威;;用Java語言實現(xiàn)藍牙聊天平臺[A];促進企業(yè)信息化進程——第九屆中國Java技術及應用交流大會文集[C];2006年

9 霍利鋒;白鳳娥;;基于多線程的移動短信平臺設計[A];AECC專題學術研討會論文集[C];2007年

10 袁小龍;劉增才;李曉霞;郭力;;基于XML的半結構化化學信息提取系統(tǒng)的重構與優(yōu)化[A];第九屆全國計算（機）化學學術會議論文摘要集[C];2007年

中國重要報紙全文數(shù)據(jù)庫 前10條

1 ;為何不能進行多線程下載文件？[N];電腦報;2001年

2 郭長佑;多核與多線程——差別到底在哪里？[N];電子資訊時報;2006年

3 ;網(wǎng)絡業(yè)未來12件大事(下)[N];網(wǎng)絡世界;2007年

4 nfy;IE6也能實現(xiàn)多線程下載[N];電腦報;2002年

5 武漢 Tianyi;創(chuàng)建簡單的多線程程序[N];電腦報;2001年

6 CPW記者 凡妮;Sun年末奉碩果 預示復蘇在即[N];電腦商報;2005年

7 張志剛;多線程走進網(wǎng)絡[N];中國計算機報;2006年

8 凡妮;Sun 2009財年二季度財報總體好于預期[N];電腦商報;2009年

9 趙長林邋姜建華;Sun:“芯”如潮涌[N];中國計算機報;2007年

10 計算機世界實驗室 吳挺;英特爾的8倍“核動力”[N];計算機世界;2007年

中國博士學位論文全文數(shù)據(jù)庫 前4條

1 逄龍;多線程程序中關聯(lián)變量原子性驗證關鍵技術研究[D];哈爾濱工業(yè)大學;2015年

2 趙榮彩;多線程低功耗編譯優(yōu)化技術研究[D];中國科學院研究生院（計算技術研究所）;2002年

3 楊華;片上多線程體系結構資源分配策略的研究[D];哈爾濱工業(yè)大學;2006年

4 徐海峰;多線程的內(nèi)存調(diào)度[D];浙江大學;2011年

中國碩士學位論文全文數(shù)據(jù)庫 前10條

1 張傳勇;基于hadoop影視碎片云存儲的設計與實現(xiàn)[D];山東大學;2015年

2 張龍;聊天系統(tǒng)的設計與實現(xiàn)[D];大連理工大學;2015年

3 劉麗;嵌入式WM8960音頻驅動及多線程播放器的設計[D];哈爾濱工業(yè)大學;2015年

4 陳結;同構多核環(huán)境下主從式多線程動態(tài)二進制翻譯器[D];華中科技大學;2009年

5 殷紹劍;嵌入式多線程遠程調(diào)試器研究與實現(xiàn)[D];電子科技大學;2013年

6 郜憲東;基于多線程的電信服務開通系統(tǒng)[D];電子科技大學;2011年

7 關旋旋;多線程軟件中基于離散控制理論的故障避免[D];浙江工商大學;2014年

8 徐曉展;多線程并行傳輸技術的設計與實現(xiàn)[D];北京郵電大學;2011年

9 黃仁青;高速多線程剪卷焊一體化鋼帶生產(chǎn)線的設計[D];天津大學;2012年

10 張昱;多線程復制系統(tǒng)的確定性調(diào)度框架MDSF的研究與實現(xiàn)[D];北京郵電大學;2009年

，

本文編號：555699