51
правка
Изменения
Нет описания правки
'''Следствие 2.''' Чтобы среди точек линеаризации был порядок, согласованный с семантикой низкоуровневых операций, достаточно чтобы операции низкого уровня были атомарны (линеаризуемы)
== Источники информации ==
* [https://en.wikipedia.org/wiki/Linearizability {{---}} Linearizability]
* [https://cs.brown.edu/~mph/HerlihyW90/p463-herlihy.pdf Maurice P. Herlihy and Jeannette M. Wing {{---}} Linearizability: A Correctness Condition for Concurrent Objects]
[[Категория: Параллельное программирование]]
