In this paper we present MoTh, a tool that uses static analysis to enable the automatic verification of concurrency anomalies in Transactional Memory Java programs. Currently MoTh detects high-level dataraces and stale-value errors, but it is extendable by plugging-in sensors, each sensor implementing an anomaly detecting algorithm. We validate and benchmark MoTh by applying it to a set of well known concurrent buggy programs and by close comparison of the results with other similar tools. The results achieved so far are very promising, yielding good accuracy while triggering only a very limited number of false warnings.
|Title of host publication||PADTAD|
|Publication status||Published - 1 Jan 2011|
|Event||Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging - |
Duration: 1 Jan 2011 → …
|Conference||Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging|
|Period||1/01/11 → …|