C++ 的无锁数据结构在工业界有真正的应用吗？

C++大大stroustrup在论文里面实现了一个无锁动态数组(http://www.stroustrup.com/lock-free-vector.pdf)， 有人复现过该实现吗？如果实现了， 如何利用Linearization Points等理论证明你的实现是对的(多线程执行顺序