# LockFreeContainer

This is a lock free Container lib,all algorithms in this library have been proven to be correct.

• ./queue is a lockfree queue,the correctness is in paper:

  Maurice Herlihy, Jeannette M. Wing: Linearizability: A Correctness Condition for

  Concurrent Objects. ACM Trans. Program. Lang. Syst. 12(3): 463-492 (1990)