sequential consistency and synchronization 6014511