Моментальные снимки в разделяемой памяти: различия между версиями

Далее описываются реализации моментальных снимков более базовых типов, которые также являются линеаризуемыми и не имеют блокировок. Были изучены два типа моментальных снимков. В случае ''однорайтерных'' моментальных снимков (single-writer snapshot) каждый компонент принадлежит одному процессу, и только этот процесс может его обновлять. (Таким образом, для однорайтерных моментальных снимков m = n.) В случае ''мультирайтерных'' моментальных снимков (multi-writer snapshot) любой процесс может обновлять любой компонент. Существуют также алгоритмы для ''односканерных'' моментальных снимков, когда в любой момент времени только один процесс может выполнять сканирование [10, 13, 14, 16]. Моментальные снимки ввели такие авторы, как Афек и др. [1], Андерсон [2], а также Аспнес и Херлихи [4].