class Synchronizer

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