synchronization and sequential consistency 2230671