Safe locking for multi threaded Java
FREE-DOWNLOAD EB Johnsen, TMT Tran, O Owe… – Submitted for conference …, 2010
Many concurrency models have been developed for high-level programming lan- guages such
as Java. A trend here is more flexible concurrency control protocols, going beyond the original
Java multi-threading treatment based on lexically- scoped locking. A recent proposal for