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