Укрытие блокировок в "одно место" не избавляет от возможности нанести себе вред блокировками. См. последний параграф твоей ссылки.
Эх.
Надо мне попробовать сделать блокировки STM по моей идее. Тогда получится 1) O(1) блокировок от размера транзакции (STM_CG_LOCK) и 2) вероятностное (а-ля фильтр Блума) пересечение времени удержания блокировок.
no subject
Date: 2015-11-09 02:02 pm (UTC)Эх.
Надо мне попробовать сделать блокировки STM по моей идее. Тогда получится 1) O(1) блокировок от размера транзакции (STM_CG_LOCK) и 2) вероятностное (а-ля фильтр Блума) пересечение времени удержания блокировок.