shared mutable synchronization