News for hackers. Stuff that matters.

A comment on The Silently Shifting Semicolon [pdf]. Parent comment

Re:The Silently Shifting Semicolon [pdf] by xxxyy on Saturday April 11, 2015 @04:14PM (#9360610)
To be precise, Alice quits programming because modern languages lack proper concurrency specification, and thus lack actual "Math" in this area. I can sympathize with that.
[ Parent | on HN ]
Re:The Silently Shifting Semicolon [pdf] by dietrichepp on Saturday April 11, 2015 @04:41PM (#9360743)
The concurrency behavior of Java/C++/etc is specified, it's just that the specification doesn't match the model given in the article. It follows a different mathematical model—that doesn't mean that it "lacks actual math".
[ Parent | on HN ]
Re:The Silently Shifting Semicolon [pdf] by madanMus on Tuesday April 14, 2015 @02:58AM (#9372526)
But the math is currently broken for Java. See http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.112....

Here the authors show that most common compiler optimizations are JMM incompatible.

[ Parent | on HN ]
Re:The Silently Shifting Semicolon [pdf] by xxxyy on Saturday April 11, 2015 @04:50PM (#9360774)
Well, seems that you are right. I stand corrected.
[ Parent | on HN ]