Report Data Races Error in User Synchronization itself?

This article is being revised.

For more complete information about compiler optimizations, see our Optimization Notice.