Reduce use of synchronized

The synchronized keyword fares badly with virtual threads (project Loom). Contrary to java.util.concurrent.lock.Lock, synchronized can still block. This might change in the future, but for now, we should replace all uses of synchronized with Lock.lock()/unlock().