improving concurrency control and liveness in library management code