[jmm-dev] The JSR-133 Cookbook and final fields

[Doug Lea]

On 11/21/2016 10:32 AM, Andrew Haley wrote:

> We're working on this right now in Graal.  If an object does not
> escape, is it legitimate to remove the StoreStore fence as well?  I

See the cookbook section "Removing barriers" that covers
some of these cases. (http://gee.cs.oswego.edu/dl/jmm/cookbook.html)

In general, don't just "remove" fences, instead move-and-merge them:
move them until they hit another that absorbs them (the same or
stronger).  In many but not all cases, this does have the same effect
as just removing them.



-Doug