多線程程序并發(fā)錯誤檢測與重放系統(tǒng)研究.pdf

1、當下，計算機技術(shù)飛速發(fā)展，計算機并發(fā)體系結(jié)構(gòu)已成為主流。為使并發(fā)體系結(jié)構(gòu)的性能得到充分發(fā)揮，多線程編程思想應運而生。但是由于多線程程序運行的不確定性，導致編程人員在編程和調(diào)試階段需要耗費大量的時間和精力，嚴重制約了多線程編程技術(shù)的發(fā)展。因此，研究如何檢測并發(fā)錯誤，研究高效、快速的應用程序重放機制對多線程編程技術(shù)的發(fā)展有著重要的意義。
　　在近些年，關(guān)于并發(fā)程序執(zhí)行不確定性的研究吸引了國內(nèi)外高校和研究機構(gòu)的眾多學者，在這方面也取得了

2、許多成果?，F(xiàn)有的研究主要體現(xiàn)在以下幾個層面:設計開發(fā)并行編程語言，或?qū)ΜF(xiàn)有語言進行擴展，令其能夠確定性的執(zhí)行并發(fā)程序;使用確定性重放，使得程序能夠重現(xiàn)上次運行的順序和結(jié)果;向計算機中增加額外的硬件或修改原有的體系結(jié)構(gòu)，從底層硬件級別實現(xiàn)并發(fā)程序執(zhí)行的確定性。
　　本文主要針對導致多線程程序執(zhí)行不確定性的主要因素--原子性違例，提出了一種基于線程交互不變量的原子性違例錯誤并發(fā)檢測算法。該算法首先利用二進制插樁平臺Pin提取程序的原始