基于Java字節(jié)碼的多線程數(shù)據(jù)競爭檢測方法研究及工具實(shí)現(xiàn).pdf

1、隨著計(jì)算機(jī)系統(tǒng)規(guī)模逐步擴(kuò)大，用戶數(shù)量不斷增加，越來越多的軟件系統(tǒng)需要考慮并發(fā)程序設(shè)計(jì)，而多線程技術(shù)是實(shí)現(xiàn)軟件程序并發(fā)的常用方法。但是，由于多線程程序開發(fā)難度大，程序運(yùn)行期間線程調(diào)度的不確定性，使得多線程程序很容易發(fā)生問題。數(shù)據(jù)競爭就是多線程程序中一種常見的并發(fā)問題。在多線程環(huán)境下的數(shù)據(jù)競爭是指多個(gè)線程同時(shí)訪問同一塊內(nèi)存資源時(shí)，沒有采取正確的同步方式，而且其中至少存在一個(gè)寫操作。數(shù)據(jù)競爭問題會(huì)給軟件程序帶來很大的隱患，可能造成很大的危害。

2、為了解決數(shù)據(jù)競爭問題，國內(nèi)外研究者采用形式化的方法進(jìn)行數(shù)據(jù)競爭檢測。通常的數(shù)據(jù)競爭檢測方法分為靜態(tài)檢測和動(dòng)態(tài)檢測兩種。然而，靜態(tài)檢測方法存在錯(cuò)誤預(yù)報(bào)，動(dòng)態(tài)檢測方法執(zhí)行效率較低，而且不能覆蓋全部的程序執(zhí)行路徑。本文針對Java多線程程序，提出了一種基于Java字節(jié)碼的數(shù)據(jù)競爭檢測方法，主要完成了以下工作：
　　通過字節(jié)碼解析，建立了抽象程序模型，并提取出與程序分析相關(guān)的關(guān)鍵信息集合。在字節(jié)碼指令的基礎(chǔ)上，采用數(shù)據(jù)流分析方法，提出了基