wizzard

Наткнулся на интересный пейпер, формализующий границы, когда (при каких операциях на каких структурах данных) без синхронизации всё-таки нельзя обойтись, и когда (довольно часто!) можно.

пейпер: http://www.vldb.org/pvldb/vol8/p185-bailis.pdf

расширенная версия: http://arxiv.org/pdf/1402.2237.pdf

Сижу разбираюсь потихоньку. Ему бы еще версию для чайников >_