Sync is a module that provides a two-phase lock with a counter.