Re: [concurrency-interest] RFR: 8065804: JEP 171:Clarifications/corrections for fence intrinsics

2014-12-01 Thread Stephan Diestelhorst
David Holmes wrote: > Stephan Diestelhorst writes: > > Am Dienstag, 25. November 2014, 11:15:36 schrieb Hans Boehm: > > > I'm no hardware architect, but fundamentally it seems to me that > > > > > > load x > > > acquire_fence > &g

Re: [concurrency-interest] RFR: 8065804: JEP 171: Clarifications/corrections for fence intrinsics

2014-12-01 Thread Stephan Diestelhorst
Am Dienstag, 25. November 2014, 11:15:36 schrieb Hans Boehm: > I'm no hardware architect, but fundamentally it seems to me that > > load x > acquire_fence > > imposes a much more stringent constraint than > > load_acquire x > > Consider the case in which the load from x is an L1 hit, but a prec