Title
Race Condition Detection Analysis for Multithreaded Java Programs
Overview
Race conditions are common errors in multithreaded programs.
Race conditions often result in unexpected program behaviour.
This paper investigates a static analysis system for race
condition detection.
Papers
Cormac Flanagan and Stephen N. Freud.
Type Based Race Detection for Java.
In Proceedings of the 2000 ACM SIGPLAN Conference on Programming
Language Design and Implementation.
Vancouver, June 2000.
SIGPLAN Notices, 35(5): 219-232. May 2000. ACM.
Additional reading material
M. Ben-Ari.
Principles of Concurrent and Distributed Programming.
Prentice-Hall International, 1990.
Implementation details
Analyze the theory proposed by the paper. Research on all types
of race conditions.