電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
針對(duì)數(shù)據(jù)競爭檢測(cè)過程中的誤報(bào)和漏報(bào)問題，提出一種靜態(tài)數(shù)據(jù)競爭檢測(cè)方法。首先，使用控制流分析自動(dòng)構(gòu)造線程內(nèi)和線程間函數(shù)調(diào)用圖;然后，收集線程內(nèi)變量訪問事件信息，定義競爭產(chǎn)生條件并分析檢測(cè)出所有可能的競爭;其次，為了提高檢測(cè)的準(zhǔn)確率，進(jìn)行別名變量和別名鎖的分析降低漏報(bào)和誤報(bào);最后，通過控制流分析來抽象訪問事件之間的時(shí)序關(guān)系，并結(jié)合程序切片技術(shù)對(duì)訪問事件的發(fā)生序關(guān)系進(jìn)行判斷，以此避免因忽略線程交互帶來的誤報(bào)。依據(jù)該方法，使用Java語言在Soot軟件分析框架下實(shí)現(xiàn)了一個(gè)數(shù)據(jù)競爭檢測(cè)工具。在實(shí)驗(yàn)中，對(duì)JGF和IBMContest基準(zhǔn)測(cè)試套件中的raytracer和airline等程序進(jìn)行數(shù)據(jù)競爭檢測(cè)，并與目前已有的數(shù)據(jù)競爭檢測(cè)算法和工具（HB算法和RVPredict）進(jìn)行對(duì)比。實(shí)驗(yàn)結(jié)果表明，與HB算法和RVPredict工具相比，該方法檢測(cè)到的數(shù)據(jù)競爭總數(shù)分別增加了81%和16%，數(shù)據(jù)競爭檢測(cè)的準(zhǔn)確率分別提升了約14%和19%，有效地避免了數(shù)據(jù)競爭檢測(cè)中的漏報(bào)和誤報(bào)現(xiàn)象。
- 嵌入式系統(tǒng)軟件并發(fā)缺陷的建模方法 2次下載
- 一種新型的動(dòng)態(tài)混合數(shù)據(jù)競爭檢測(cè)算法 4次下載
- 集成流挖掘和圖挖掘的內(nèi)網(wǎng)異常檢測(cè)方法 7次下載
- 檢測(cè)驗(yàn)證Java Web程序的SQLIA漏洞解決方法 19次下載
- 結(jié)合動(dòng)態(tài)行為和機(jī)器學(xué)習(xí)的惡意代碼檢測(cè)方法 11次下載
- Linux平臺(tái)下面向的fastbin攻擊自動(dòng)檢測(cè)方法 6次下載
- 一種基于BP神經(jīng)網(wǎng)絡(luò)的代碼壞味檢測(cè)方法 7次下載
- 可減少錯(cuò)誤數(shù)據(jù)產(chǎn)生的規(guī)則鏈自動(dòng)組合與檢測(cè)方法 8次下載
- 怎么樣才能檢測(cè)并發(fā)程序中的數(shù)據(jù)競爭有哪些方法 21次下載
- 如何進(jìn)行并發(fā)程序中的數(shù)據(jù)競爭檢測(cè)方法資料說明 5次下載
- 嵌入式系統(tǒng)死鎖檢測(cè)方法 0次下載
- 基于變量訪問序模式的中斷數(shù)據(jù)競爭檢測(cè)方法 0次下載
- 并發(fā)程序動(dòng)態(tài)分析基礎(chǔ)技術(shù)綜述 0次下載
- 基于數(shù)據(jù)競爭故障的變異策略 0次下載
- Java并發(fā)程序設(shè)計(jì)教程 2次下載
- 電動(dòng)機(jī)故障檢測(cè)方法有哪些 1853次閱讀
- 芯片膠點(diǎn)膠加工的效果和質(zhì)量的檢測(cè)方法有哪些？ 377次閱讀
- 集成芯片好壞檢測(cè)方法有哪些 1681次閱讀
- 獨(dú)立鍵盤的檢測(cè)原理及程序實(shí)現(xiàn)的方法 1954次閱讀
- i.MX6ULL|并發(fā)與競爭實(shí)驗(yàn) 383次閱讀
- 關(guān)于Actor并發(fā)模型的解析 1854次閱讀
- 電機(jī)檢測(cè)方法及標(biāo)準(zhǔn) 1.1w次閱讀
- LED靜電失效的原理是什么？有什么檢測(cè)方法嗎？ 1470次閱讀
- 常用的組件潔凈檢測(cè)方法有哪幾種 3295次閱讀
- MSP430單片機(jī)串口應(yīng)用程序更新的方法解析 2519次閱讀
- 如何通過多線程并發(fā)設(shè)計(jì)來提高應(yīng)用程序的性能 5186次閱讀
- 超聲波探傷的應(yīng)用_超聲檢測(cè)方法有哪些 3189次閱讀
- 緩存一致性問題及緩存并發(fā)問題 5186次閱讀
- 開關(guān)模式電源電流檢測(cè)的三種常用檢測(cè)方法的詳細(xì)資料介紹 1.3w次閱讀
- 并行和并發(fā)哪個(gè)好?并行和并發(fā)的概念和區(qū)別 6.5w次閱讀
上傳資料賺積分下載排行
本周
- 1SMD LED選型手冊(cè) 貼片燈珠
- 5.47 MB | 3次下載 | 免費(fèi)
- 2加密芯片的一種破解方法和對(duì)應(yīng)加密方案改進(jìn)設(shè)計(jì)
- 0.29 MB | 1次下載 | 免費(fèi)
- 3多功能MPU芯片GC9005數(shù)據(jù)手冊(cè)
- 2.67 MB | 1次下載 | 免費(fèi)
- 4碳化硅逆變焊機(jī)基本產(chǎn)品介紹
- 7.35 MB | 1次下載 | 免費(fèi)
- 5基本半導(dǎo)體產(chǎn)品在Sic逆變焊機(jī)中的應(yīng)用
- 7.27 MB | 1次下載 | 免費(fèi)
- 6基本半導(dǎo)體產(chǎn)品在125kW工商業(yè)儲(chǔ)能PCS中的應(yīng)用
- 10.74 MB | 1次下載 | 免費(fèi)
- 7MOSFET參數(shù)解讀
- 1.59 MB | 1次下載 | 2 積分
- 8Modbus測(cè)試工具
- 0.72 MB | 1次下載 | 2 積分
本月
- 1使用單片機(jī)實(shí)現(xiàn)七人表決器的程序和仿真資料免費(fèi)下載
- 2.96 MB | 44次下載 | 免費(fèi)
- 2華瑞昇CR216芯片數(shù)字萬用表規(guī)格書附原理圖及校正流程方法
- 0.74 MB | 14次下載 | 3 積分
- 33314A函數(shù)發(fā)生器維修手冊(cè)
- 16.30 MB | 13次下載 | 免費(fèi)
- 4TPS54202H降壓轉(zhuǎn)換器評(píng)估模塊用戶指南
- 1.02MB | 9次下載 | 免費(fèi)
- 5美的電磁爐維修手冊(cè)大全
- 1.56 MB | 9次下載 | 5 積分
- 6STM32F101x8/STM32F101xB手冊(cè)
- 1.69 MB | 8次下載 | 1 積分
- 7感應(yīng)筆電路圖
- 0.06 MB | 7次下載 | 免費(fèi)
- 8使用TL431設(shè)計(jì)電源
- 0.67 MB | 6次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935119次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計(jì)
- 1.48MB | 420062次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233084次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191367次下載 | 10 積分
- 5十天學(xué)會(huì)AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183335次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81581次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73807次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65987次下載 | 10 積分
工商網(wǎng)監(jiān)
評(píng)論