電子發燒友App
創作
發文章
發帖 
提問 
發資料
發視頻資料介紹
針對數據競爭檢測過程中的誤報和漏報問題提出一種靜態數據競爭檢測方法。首先，使用控制流分析自動構造線程內和線程間函數調用圖;然后，收集線程內變量訪問事件信息，定義競爭產生條件并分析檢測出所有可能的競爭;其次，為了提高檢測的準確率，進行別名變量和別名鎖的分析降低漏報和誤報;最后，通過控制流分析來抽象訪問事件之間的時序關系，并結合程序切片技術對訪問事件的發生序關系進行判斷，以此避免因忽略線程交互帶來的誤報。依據該方法，使用Java語言在Soot軟件分析框架下實現了一個數據競爭檢測工具。在實驗中，對JGF和IBMContest基準測試套件中的raytracer和airline等程序進行數據競爭檢測，并與目前已有的數據競爭檢測算法和工具（HB算法和RVPredict）進行對比。實驗結果表明，與HB算法和RVPredict工具相比，該方法檢測到的數據競爭總，數分別增加了81%和16%，數據競爭檢測的準確率分別提升了約14%和19%，有效地避免了數據競爭檢測中的漏報和誤報現象。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 一種新型的動態混合數據競爭檢測算法 4次下載
- 怎么樣才能檢測并發程序中的數據競爭有哪些方法 21次下載
- 并發程序中的數據競爭檢測的方法有哪些 0次下載
- 如何進行51單片機的延時計算資料和程序免費下載的
- PHP與MYSQL數據庫如何進行交互詳細方法實驗說明 13次下載
- 如何進行色環電阻識別詳細方法說明 2次下載
- 如何進行CPU內部Flash讀寫的實例資料說明 12次下載
- 如何進行集成電路異或門電路的設計詳細資料說明 24次下載
- 如何進行程序的擴展
- python基礎教程之如何進行靜態方法和類方法詳細筆記說明 17次下載
- 數據庫教程之如何進行數據更新和視圖的詳細資料說明 2次下載
- 數據庫教程之如何進行數據查詢的詳細資料說明 8次下載
- C語言教程之如何進行最簡單的C程序設計實現程序說明 2次下載
- C語言實例教程之如何進行簡單的程序設計詳細資料免費下載 13次下載
- 基于變量訪問序模式的中斷數據競爭檢測方法 0次下載
- 如何進行RF PA Ruggedness的測試和評估呢？ 2704次閱讀
- Android APP如何進行訪問硬件驅動 1696次閱讀
- 獨立鍵盤的檢測原理及程序實現的方法 2665次閱讀
- i.MX6ULL|并發與競爭實驗 489次閱讀
- 如何進行圖像邊緣的檢測 1285次閱讀
- 如何進行軸承的拆卸 3826次閱讀
- 使用MATLAB進行異常檢測（下） 2253次閱讀
- 在Allegro中如何進行skill的安裝 4330次閱讀
- 如何進行FFT IP配置和設計 2473次閱讀
- 關于Actor并發模型的解析 2072次閱讀
- smt焊接加工后如何進行質量檢測，有哪些方法 4332次閱讀
- 如何進行PLC控制程序的設計詳細資料PPT說明 6010次閱讀
- 關于PLC中字符與數據之間如何進行轉換 2.4w次閱讀
- 如何進行PLC字符與數據之間轉換的詳細資料概述 1.2w次閱讀
- Python在音頻（Audio）領域中，如何進行數據擴充呢？ 1w次閱讀
上傳資料賺積分下載排行
本周
- 1DC電源插座圖紙
- 0.67 MB | 2次下載 | 免費
- 2AN158 GD32VW553 Wi-Fi開發指南
- 1.51MB | 2次下載 | 免費
- 3AN148 GD32VW553射頻硬件開發指南
- 2.07MB | 1次下載 | 免費
- 4AN111-LTC3219用戶指南
- 84.32KB | 次下載 | 免費
- 5AN153-用于電源系統管理的Linduino
- 1.38MB | 次下載 | 免費
- 6AN-283: Σ-Δ型ADC和DAC[中文版]
- 677.86KB | 次下載 | 免費
- 7SM2018E 支持可控硅調光線性恒流控制芯片
- 402.24 KB | 次下載 | 免費
- 8AN-1308: 電流檢測放大器共模階躍響應
- 545.42KB | 次下載 | 免費
本月
- 1ADI高性能電源管理解決方案
- 2.43 MB | 450次下載 | 免費
- 2免費開源CC3D飛控資料（電路圖&PCB源文件、BOM、
- 5.67 MB | 138次下載 | 1 積分
- 3基于STM32單片機智能手環心率計步器體溫顯示設計
- 0.10 MB | 130次下載 | 免費
- 4使用單片機實現七人表決器的程序和仿真資料免費下載
- 2.96 MB | 44次下載 | 免費
- 53314A函數發生器維修手冊
- 16.30 MB | 31次下載 | 免費
- 6美的電磁爐維修手冊大全
- 1.56 MB | 24次下載 | 5 積分
- 7如何正確測試電源的紋波
- 0.36 MB | 17次下載 | 免費
- 8感應筆電路圖
- 0.06 MB | 10次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935121次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關降壓/升壓雙向直流/直流轉換器 PCB layout 設計
- 1.48MB | 420062次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233088次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191367次下載 | 10 積分
- 5十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183335次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81581次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73810次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65988次下載 | 10 積分
工商網監
評論