Fix potential double-synchronization with concurrent synchronization workers.