JavaMemoryModel: Store/load barrier

From: Shpeisman, Tatiana ([email protected])
Date: Mon Oct 20 2003 - 17:16:58 EDT

Please excuse me if my quesion is naive. Does new Java memory model require a store/load barrier between dynamically successive unlock and lock operations on different locks? According to JSR-133 Cookbook it does but I cannot figure out how this follows from the happens-before relationship defined in the memory model.

Thanks,
Tatiana Shpeisman

-------------------------------
JavaMemoryModel mailing list - http://www.cs.umd.edu/~pugh/java/memoryModel

This archive was generated by hypermail 2b29 : Thu Oct 13 2005 - 07:00:52 EDT