Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.java.programmer > #10909

Re: reading the JLS (17.4.5)

From markspace <-@.>
Newsgroups comp.lang.java.programmer
Subject Re: reading the JLS (17.4.5)
Date 2011-12-20 10:50 -0800
Organization A noiseless patient Spider
Message-ID <jcqlef$5rp$1@dont-email.me> (permalink)
References <slrnjerm1c.fvg.avl@gamma.logic.tuwien.ac.at> <jckv1o$v1v$1@dont-email.me> <slrnjf1iug.fvg.avl@gamma.logic.tuwien.ac.at>

Show all headers | View raw

On 12/20/2011 9:54 AM, Andreas Leitgeb wrote:

> I guess, I got confused about the implications of the property,
> based on that it was defined as a property of a set of actions,
> rather than as a property of a conforming JVM-implementation.


I'm not sure why those exceptions are there, but that little paragraph 
is a pretty common sense, cya exception.  You wont see a write if it 
hasn't happened yet, and you wont see the effect of a write if someone 
else wrote something there subsequently, before your read.

"Conforming JVM" is a pretty good guess, I think, but personally I 
couldn't say.

Patricia had some thoughts on reordering by hardware, but that involved 
synchronization and memory barriers, and I don't recall seeing those 
discussed in the small JLS section in question.  I think this JLS 
section applies more generally than a read or write getting moved out of 
a synchronization block.  I think it applies absolutely everywhere.

Back to comp.lang.java.programmer | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

reading the JLS (17.4.5) Andreas Leitgeb <avl@gamma.logic.tuwien.ac.at> - 2011-12-18 12:10 +0000
  Re: reading the JLS (17.4.5) markspace <-@.> - 2011-12-18 06:57 -0800
    Re: reading the JLS (17.4.5) Andreas Leitgeb <avl@gamma.logic.tuwien.ac.at> - 2011-12-20 17:54 +0000
      Re: reading the JLS (17.4.5) markspace <-@.> - 2011-12-20 10:50 -0800
        Re: reading the JLS (17.4.5) Patricia Shanahan <pats@acm.org> - 2011-12-20 12:12 -0800
          Re: reading the JLS (17.4.5) Andreas Leitgeb <avl@gamma.logic.tuwien.ac.at> - 2011-12-21 08:54 +0000
            Re: reading the JLS (17.4.5) Patricia Shanahan <pats@acm.org> - 2011-12-21 10:56 -0800
              Re: reading the JLS (17.4.5) markspace <-@.> - 2011-12-21 12:02 -0800
  Re: reading the JLS (17.4.5) Patricia Shanahan <pats@acm.org> - 2011-12-18 09:21 -0800
    Re: reading the JLS (17.4.5) Andreas Leitgeb <avl@gamma.logic.tuwien.ac.at> - 2011-12-20 18:35 +0000
      Re: reading the JLS (17.4.5) Lew <lewbloch@gmail.com> - 2011-12-20 19:08 -0800
        Re: reading the JLS (17.4.5) Andreas Leitgeb <avl@gamma.logic.tuwien.ac.at> - 2011-12-21 08:37 +0000
          Re: reading the JLS (17.4.5) Patricia Shanahan <pats@acm.org> - 2011-12-21 10:46 -0800
          Re: reading the JLS (17.4.5) markspace <-@.> - 2011-12-21 12:09 -0800

csiph-web