Posted Aug 10, 2012 7:40 UTC (Fri) by jezuch (subscriber, #52988)
In reply to: ACCESS_ONCE() by daglwn
Parent article: ACCESS_ONCE()
> Take a very simple but common issue: undefined data.
Undefined data, hah. In Java it is a compilation error to use a variable that is not provably assigned in all possible code paths between declaration and use. I like this feature *a lot* and I'm always surprised that C compilers have such a great difficulty with detecting it. (The JVM verifier does this analysis as well during class loading, so it has to be *fast* as well as correct.)