Tagged “sequential consistency”