A set of formally specified rules that guarantee (or explicitly disclaim) certain consistencies in the event of concurrent reads or writes to shared memory
a set of formally specified rules that guarantee (or explicitly disclaim) certain consistencies in the event of concurrent reads or writes to shared memory (en)
набір правил, які описують узгодженість у разі одночасного читання або запису в спільну пам'ять (uk)