Optimization of conditional access to globals: thread-unsafe?

[Robert Dewar]

One thing that seems missing from this thread is any quantitative
analysis of the value of this optimization. Although justifiable
from a formal point of view, whenever an optimization causes
difficulties for a significant number of users, it is important
to justify the optimization with clear data that it is really
valuable, otherwise it should be off by default.