Synchronization pseudocode

({LSLS}) - fully synchronizing
({LS}) - No loads or stores can reorder after this synchronizing instruction