JavaMemoryModel: Store/load barrier

From: Shpeisman, Tatiana (tatiana.shpeisman@intel.com)
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