Transform synchronized blocks into RMA operations

[Bernhard Haumacher (haui at haumacher dot de)]

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.

Test

jp.test.TestReenterSyncBlock

implemented since 1.07a.