并發(fā)程序原子圖挖掘及違背檢測.pdf

1、隨著多核時(shí)代的到來，越來越多的程序員將并發(fā)機(jī)制引入了軟件編程中，以提高程序的效率。針對Dacapo軟件庫的一項(xiàng)調(diào)查顯示，近2/3的程序中引入了并發(fā)機(jī)制。然而長期以來，由于并發(fā)程序行為的復(fù)雜性以及線程切換的不可確定性，如何能夠較好地理解以及維護(hù)并發(fā)程序一直困擾著程序員，其中一個(gè)重要的課題便是如何從程序中得到具有原子性質(zhì)的代碼塊，以及檢測針對這些原子性質(zhì)的違背情況。許多并發(fā)錯(cuò)誤，比如原子性違例、以及原子集一致性違例等，都是由于相應(yīng)的程序原子

2、性質(zhì)被違背所造成的，因此獲取程序中具有原子性質(zhì)的代碼塊意義重大。然而，由于這些原子性質(zhì)往往與程序本身的語義有關(guān)，從而它們無法從并發(fā)程序中被直接取得。
　　本文給出了一種自動(dòng)獲取程序中原子性質(zhì)，以及檢測這些原子性質(zhì)違背情況的方法。本文提出以并發(fā)操作圖來表示程序中的并發(fā)行為，并且將頻繁子圖挖掘算法應(yīng)用于這些并發(fā)操作圖，從而得到對應(yīng)程序原子性質(zhì)的原子圖。隨后，本文使用違背檢測算法比較原子圖以及并發(fā)操作圖，得到程序中的原子性質(zhì)違背錯(cuò)誤。<