Race Condition Detection Analysis for Multithreaded Java Programs
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
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
Principles of Concurrent and Distributed Programming.
Prentice-Hall International, 1990.
Analyze the theory proposed by the paper. Research on all types
of race conditions.