some lock-free data structures I would like to use