Added comment about the double-checked locking used in the OpenMP runtime.