mirror of
https://github.com/bpmbpm/doc.git
synced 2026-05-06 07:56:07 +00:00
1.4 KiB
1.4 KiB
algorithm
synchronized
- конкурентность. Три способа менять один объект из нескольких потоков. Больше нет
Что происходит, когда два потока одновременно хотят изменить один объект?
Не «как устроен mutex». Не «чем CAS лучше lock». А именно: что случится при конфликте?
Ответов ровно три:- Один победит, другой переделает работу (First Win + Retry)
- Один подождёт, пока другой закончит (Single Writer)
- Последний затрёт первого (Last Win)
CSP Хоара (как и указанные в статье Go channels) относится к Стратегии 2.2 (Очередь/Single Writer).
- Введение в теорию взаимодействующих последовательных процессов (Communicating Sequential Processes — CSP)