Concurrent implementation is done, but there is a synchronization bug. Deadlock in some cases. Investigating.