Path: csiph.com!x330-a1.tempe.blueboxinc.net!usenet.pasdenom.info!gegeweb.42!gegeweb.eu!gegeweb.org!news.glorb.com!border3.nntp.dca.giganews.com!Xl.tags.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local2.nntp.dca.giganews.com!nntp.earthlink.com!news.earthlink.com.POSTED!not-for-mail NNTP-Posting-Date: Tue, 17 Jan 2012 16:55:09 -0600 Date: Tue, 17 Jan 2012 14:55:04 -0800 From: Patricia Shanahan User-Agent: Mozilla/5.0 (Windows NT 5.1; rv:8.0) Gecko/20111105 Thunderbird/8.0 MIME-Version: 1.0 Newsgroups: comp.lang.java.programmer Subject: Re: Volatile happens before question References: <09848313-2372-4c23-8f52-fa84c612c100@u32g2000yqe.googlegroups.com> <15jRq.2104$d%2.1226@newsfe07.iad> In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Message-ID: Lines: 12 X-Usenet-Provider: http://www.giganews.com NNTP-Posting-Host: 75.11.53.36 X-Trace: sv3-iCVXQT+hZF4onYqlvQ2U6Vi70szmibXx7vpQmoBz5c78EuW1c7jcTybWUyeT5NMUTfOsZCnOBK90Sgl!+7Vy2St2l1kMpc7lAirCyY60SEUymOEuh+xgQzqpHRZrDafDmX/6GkDxMHNxj/p2XWm2e8kzXdTp!g+/EwdtDAPs1UeNpUDJ6rXCxBpIWHg0x5jP7THxtHjc= X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.3.40 X-Original-Bytes: 1871 Xref: x330-a1.tempe.blueboxinc.net comp.lang.java.programmer:11433 On 1/17/2012 12:09 PM, markspace wrote: > On 1/17/2012 11:06 AM, Daniel Pitts wrote: ... >> If b=1, that means a MUST be true. > > No, if b = 1, it could just be a random value made up by the CPU. That is one of the few behaviors that is specifically excluded. "Each read sees a write to the same variable in the execution.", http://java.sun.com/docs/books/jls/third_edition/html/memory.html#17.4.7 Patricia