Существует ли реализация вектора без блокировок?

Первый результат в Google для "вектора без блокировок" - это исследовательская статья, написанная совместно Дамианом Дечевым, Питером Пиркельбауэром и Бьярном Страуструпом и описывающая теоретический вектор без блокировок. Реализован ли этот или любой другой вектор без блокировок?