In a technical discussion, I opened a reply with
Bob’s paper which I haven’t yet read points out that…
Some people wrote to me to say that the’ve added this quote to their file in the hopes of being able to use it themselves someday.
For those who are curious, I found the technical discussion in question. It had to do with whether the following code is thread-safe:
// initial conditions int x = 1, y = 0; int *p = &x; // Thread 1 executes this y = 1; MemoryBarrier(); p = &y; // Thread 2 executes this print *p;
Question: Can this code legitimately print
Surprisingly, the answer is yes!