電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
隨著嵌入式系統(tǒng)性能要求的提高，并發(fā)多線程程序設(shè)計在嵌入式系統(tǒng)中的應(yīng)用越來越廣泛。嵌入式系統(tǒng)特點是體積小、資源和計算能力有限、程序的執(zhí)行依賴外部輸入。因此，嵌入式軟件的并發(fā)缺陷比通常的計算機軟件更加棘手。死鎖是并發(fā)缺陷的典型問題，有時會導(dǎo)致整個嵌入式系統(tǒng)陷入癱瘓，嚴重影響嵌入式系統(tǒng)的穩(wěn)定性、可靠性。由于死鎖難以再現(xiàn)和修正，如何有效檢測死鎖成為嵌入式軟件領(lǐng)域的研究重點。
目前死鎖的檢測方法主要有靜態(tài)檢測和動態(tài)檢測。靜態(tài)檢測原理是通過分析源代碼進行抽象，構(gòu)建出狀態(tài)模型，進而發(fā)現(xiàn)潛在的死鎖。針對嵌入式系統(tǒng)死鎖缺陷問題，提出了一種基于Lamport clock插樁記錄的嵌入式系統(tǒng)死鎖檢測方法——LPM（Lamport clock Pile Rccord Dcadlock Detcction Mcthod）。首先利用Lamport clock對嵌入式程序線程關(guān)系、資源依賴關(guān)系進行記錄，然后離線提取日志記錄信息，獲取資源圖并進行死鎖檢測。仿真實驗表明，與經(jīng)典的插樁機制相比，該方法可有效降低插樁開銷并能準確檢測出死鎖。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 嵌入式系統(tǒng)系列叢書-時間觸發(fā)嵌入式系統(tǒng)設(shè)計模式 0次下載
- 基于機器視覺的嵌入式鐵路異物侵限檢測系統(tǒng)研究
- 嵌入式系統(tǒng)定義
- 基于嵌入式機器視覺的干電池缺陷檢測系統(tǒng)的研究
- 嵌入式系統(tǒng)與嵌入式PLC
- 用于嵌入式系統(tǒng)中的無線通信方法
- 嵌入式系統(tǒng)與嵌入式PLC 27次下載
- 嵌入式系統(tǒng)是如何組成的
- 嵌入式系統(tǒng)教程之嵌入式系統(tǒng)工程設(shè)計的詳細資料說明 31次下載
- 如何使用ARM進行嵌入式汽車檢測裝置的設(shè)計與實現(xiàn) 7次下載
- 如何使用ARM進行嵌入式系統(tǒng)設(shè)計詳細方法研究 9次下載
- 嵌入式系統(tǒng)原理、設(shè)計與應(yīng)用 2次下載
- [學(xué)習(xí)嵌入式]嵌入式系統(tǒng)學(xué)習(xí)方法，輕松入門嵌入式 79次下載
- 嵌入式系統(tǒng)設(shè)計師考試大綱及試題
- 嵌入式系統(tǒng)的設(shè)計方法
- 什么是嵌入式系統(tǒng)？嵌入式系統(tǒng)的具體應(yīng)用 2565次閱讀
- 嵌入式系統(tǒng)應(yīng)用實例的詳細資料介紹 4840次閱讀
- 嵌入式系統(tǒng)的發(fā)展趨勢和測試方法詳細說明 2899次閱讀
- 嵌入式系統(tǒng)的全面解析 3281次閱讀
- 如何實現(xiàn)嵌入式系統(tǒng)遠程調(diào)試 5406次閱讀
- 基于SoPC的嵌入式系統(tǒng)設(shè)計方法闡述 1703次閱讀
- 基于μC/OS嵌入式操作系統(tǒng)的嵌入式數(shù)據(jù)管理設(shè)計 1241次閱讀
- 隨著嵌入式系統(tǒng)的高速發(fā)展 嵌入式機器視覺系統(tǒng)的應(yīng)用也越來越廣泛 2265次閱讀
- 關(guān)于嵌入式系統(tǒng)以及嵌入式平臺下的學(xué)科分工詳解 2025次閱讀
- 嵌入式系統(tǒng)的特點大匯總 5896次閱讀
- 嵌入式系統(tǒng)有哪些部分組成_嵌入式系統(tǒng)的應(yīng)用領(lǐng)域 3.4w次閱讀
- 嵌入式行業(yè)發(fā)展狀況_嵌入式行業(yè)人才需求_嵌入式系統(tǒng)就業(yè)前景分析 2.4w次閱讀
- 什么是嵌入式操作系統(tǒng) 常見的嵌入式系統(tǒng)有哪些 4w次閱讀
- 嵌入式操作系統(tǒng)是什么_嵌入式操作系統(tǒng)有哪些 2w次閱讀
- 典型的嵌入式系統(tǒng)設(shè)計 2716次閱讀
上傳資料賺積分下載排行
本周
- 1DC電源插座圖紙
- 0.67 MB | 2次下載 | 免費
- 2AN158 GD32VW553 Wi-Fi開發(fā)指南
- 1.51MB | 2次下載 | 免費
- 3AN148 GD32VW553射頻硬件開發(fā)指南
- 2.07MB | 1次下載 | 免費
- 4AN111-LTC3219用戶指南
- 84.32KB | 次下載 | 免費
- 5AN153-用于電源系統(tǒng)管理的Linduino
- 1.38MB | 次下載 | 免費
- 6AN-283: Σ-Δ型ADC和DAC[中文版]
- 677.86KB | 次下載 | 免費
- 7SM2018E 支持可控硅調(diào)光線性恒流控制芯片
- 402.24 KB | 次下載 | 免費
- 8AN-1308: 電流檢測放大器共模階躍響應(yīng)
- 545.42KB | 次下載 | 免費
本月
- 1ADI高性能電源管理解決方案
- 2.43 MB | 450次下載 | 免費
- 2免費開源CC3D飛控資料（電路圖&PCB源文件、BOM、
- 5.67 MB | 138次下載 | 1 積分
- 3基于STM32單片機智能手環(huán)心率計步器體溫顯示設(shè)計
- 0.10 MB | 130次下載 | 免費
- 4使用單片機實現(xiàn)七人表決器的程序和仿真資料免費下載
- 2.96 MB | 44次下載 | 免費
- 53314A函數(shù)發(fā)生器維修手冊
- 16.30 MB | 31次下載 | 免費
- 6美的電磁爐維修手冊大全
- 1.56 MB | 24次下載 | 5 積分
- 7如何正確測試電源的紋波
- 0.36 MB | 17次下載 | 免費
- 8感應(yīng)筆電路圖
- 0.06 MB | 10次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935121次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計
- 1.48MB | 420062次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233088次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191367次下載 | 10 積分
- 5十天學(xué)會AVR單片機與C語言視頻教程 下載
- 158M | 183335次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81581次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73810次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65988次下載 | 10 積分
工商網(wǎng)監(jiān)
評論