consistency model

a set of formally specified rules that guarantee (or explicitly disclaim) certain consistencies in the event of concurrent reads or writes to shared memory