class Synchronizer

A class that providesa two-phase lock with a counter. See Sync_m for details.