電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問(wèn) 
發(fā)資料
發(fā)視頻資料介紹
嵌入式并發(fā)軟件的中斷嵌套和線程交織等程序的隨機(jī)性和不確定性（ Randomicity and Nondeterminism）會(huì)引起數(shù)據(jù)竟?fàn)帲?Data race）和原子性違背（ Atomicity Violations）等并發(fā)缺陷問(wèn)題，并且這些問(wèn)題很難被修復(fù)和重新構(gòu)建。針對(duì)嵌入式軟件中的數(shù)據(jù)竟?fàn)幒驮有赃`背這類(lèi)并發(fā)缺陷問(wèn)題，文中提出了瘦中斷處理（ Thin Interrupt Service routine， Thin Isr）方式。首先，利用狀態(tài)遷移矩陣（ State transition matriⅸx，STM）進(jìn)行建模，把中斷處理程序中與訪問(wèn)共享變量相關(guān)的程序段移植到主程序中，即中斷處理程序只負(fù)責(zé)將外界中斷請(qǐng)求數(shù)據(jù)存到緩沖區(qū)中，中斷的具體處理由主程序完成;然后，利用構(gòu)建的STM模型生成對(duì)應(yīng)的C代碼，這樣可以有效地避免原子性違背和數(shù)據(jù)競(jìng)爭(zhēng)等并發(fā)缺陷;最后，利用排隊(duì)方法對(duì)中斷的到達(dá)時(shí)間與離開(kāi)時(shí)間進(jìn)行仿真。實(shí)驗(yàn)結(jié)果驗(yàn)證了本方法在解決數(shù)據(jù)竟?fàn)幒驮有赃`背等并發(fā)缺陷問(wèn)題方面的可行性與有效性。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 嵌入式系統(tǒng)軟件設(shè)計(jì)教材資料 5次下載
- 嵌入式系統(tǒng)概述
- 嵌入式系統(tǒng)的軟件組成
- 基于RTOS的嵌入式系統(tǒng)軟件的設(shè)計(jì)講解
- 基于RTOS的嵌入式系統(tǒng)軟件設(shè)計(jì) 17次下載
- 嵌入式系統(tǒng)死鎖檢測(cè)方法 0次下載
- ARM的嵌入式系統(tǒng)軟件設(shè)計(jì) 8次下載
- 嵌入式機(jī)車(chē)車(chē)輛車(chē)載播放系統(tǒng)軟件設(shè)計(jì)與實(shí)現(xiàn) 5次下載
- 基于ARM的嵌入式系統(tǒng)軟件設(shè)計(jì)部分 15次下載
- 嵌入式系統(tǒng)軟件可靠性設(shè)計(jì)
- 嵌入式實(shí)時(shí)系統(tǒng)軟件測(cè)試實(shí)踐
- 構(gòu)造嵌入式系統(tǒng)軟件的構(gòu)件模型研究
- CODARTS建模方法在嵌入式軟件開(kāi)發(fā)中的應(yīng)用
- 嵌入式數(shù)字視頻播放系統(tǒng)軟件平臺(tái)的構(gòu)建
- 基于ARM的嵌入式系統(tǒng)軟件設(shè)計(jì)
- 基于UML嵌入式軟件開(kāi)發(fā)環(huán)境的自動(dòng)取款機(jī)系統(tǒng)的應(yīng)用方案 3608次閱讀
- UML軟件分析與建模技術(shù)在嵌入式指紋門(mén)禁系統(tǒng)中的應(yīng)用研究 1791次閱讀
- 基于CPLD實(shí)現(xiàn)嵌入式軟件bootrom自動(dòng)備份及切換功能的方法介紹 1177次閱讀
- 基于嵌入式軟件的JNI技術(shù)應(yīng)用解析 1020次閱讀
- 把軟件項(xiàng)目管理方法引入嵌入式系統(tǒng)的開(kāi)發(fā)之中的設(shè)計(jì)淺析 2034次閱讀
- 嵌入式軟件開(kāi)發(fā)編程規(guī)范介紹 4206次閱讀
- 嵌入式軟件可靠性設(shè)計(jì)需注意以下四個(gè)方面的問(wèn)題！ 2440次閱讀
- 基于SCADE模型的高安全性嵌入式軟件解決方案設(shè)計(jì) 2665次閱讀
- 關(guān)于嵌入式軟件系統(tǒng)測(cè)試策略和方案設(shè)計(jì)詳解 9081次閱讀
- PSoC嵌入式系統(tǒng)設(shè)計(jì)的三大優(yōu)勢(shì) 3219次閱讀
- 什么是嵌入式操作系統(tǒng) 常見(jiàn)的嵌入式系統(tǒng)有哪些 4w次閱讀
- 嵌入式操作系統(tǒng)是什么_嵌入式操作系統(tǒng)有哪些 2w次閱讀
- 嵌入式視覺(jué)系統(tǒng)的構(gòu)建模塊 1567次閱讀
- 概述及匯總ARM的嵌入式操作系統(tǒng) 2951次閱讀
- SHARC并行系統(tǒng)軟件設(shè)計(jì)方法 1469次閱讀
上傳資料賺積分下載排行
本周
- 1TC358743XBG評(píng)估板參考手冊(cè)
- 1.36 MB | 330次下載 | 免費(fèi)
- 2開(kāi)關(guān)電源基礎(chǔ)知識(shí)
- 5.73 MB | 6次下載 | 免費(fèi)
- 3100W短波放大電路圖
- 0.05 MB | 4次下載 | 3 積分
- 4嵌入式linux-聊天程序設(shè)計(jì)
- 0.60 MB | 3次下載 | 免費(fèi)
- 5基于FPGA的光纖通信系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)
- 0.61 MB | 2次下載 | 免費(fèi)
- 6基于FPGA的C8051F單片機(jī)開(kāi)發(fā)板設(shè)計(jì)
- 0.70 MB | 2次下載 | 免費(fèi)
- 751單片機(jī)窗簾控制器仿真程序
- 1.93 MB | 2次下載 | 免費(fèi)
- 8基于51單片機(jī)的RGB調(diào)色燈程序仿真
- 0.86 MB | 2次下載 | 免費(fèi)
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234315次下載 | 免費(fèi)
- 2555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33564次下載 | 免費(fèi)
- 3接口電路圖大全
- 未知 | 30323次下載 | 免費(fèi)
- 4開(kāi)關(guān)電源設(shè)計(jì)實(shí)例指南
- 未知 | 21548次下載 | 免費(fèi)
- 5電氣工程師手冊(cè)免費(fèi)下載(新編第二版pdf電子書(shū))
- 0.00 MB | 15349次下載 | 免費(fèi)
- 6數(shù)字電路基礎(chǔ)pdf(下載)
- 未知 | 13750次下載 | 免費(fèi)
- 7電子制作實(shí)例集錦 下載
- 未知 | 8113次下載 | 免費(fèi)
- 8《LED驅(qū)動(dòng)電路設(shè)計(jì)》 溫德?tīng)栔?/a>
- 0.00 MB | 6653次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935054次下載 | 免費(fèi)
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537796次下載 | 免費(fèi)
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費(fèi)
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234315次下載 | 免費(fèi)
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費(fèi)
- 6電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191185次下載 | 免費(fèi)
- 7十天學(xué)會(huì)AVR單片機(jī)與C語(yǔ)言視頻教程 下載
- 158M | 183278次下載 | 免費(fèi)
- 8proe5.0野火版下載(中文版免費(fèi)下載)
- 未知 | 138040次下載 | 免費(fèi)
工商網(wǎng)監(jiān)
評(píng)論