work on distributed locking for PMR