Libros — lock-free algorithms