Ticket #204 (closed enhancement: fixed)
Opened 11 years ago
Transform synchronized blocks into RMA operations
|Reported by:||Bernhard Haumacher (haui at haumacher dot de)||Owned by:|
Since RMA is the appropriate correspondence to synchronized blocks in Java, JavaParty should use RMA acquire and RMA release operations to implement synchronized blocks on remote objects. The initial transformation for synchronized blocks produced remote method invocations to the server implementation object that triggered semaphore operations. This transformation is problematic, because of missing reentrance and the visibility of additional signals at the remote server implementation object.
implemented since 1.07a.