Type-based race detection for Java

摘要: This paper presents a static race detection analysis for multithreaded Java programs. Our is based on formal type system that capable of capturing many common synchronization patterns. These patterns include classes with internal synchronization, thatrequire client-side and thread-local classes. Experience checking over 40,000 lines code the demonstrates it an effective approach eliminating races conditions. On large examples, fewer than 20 additional annotations per 1000 were required by checker, we found number in standard libraries other test