added tests for new locking modes, and deadlock cases. eliminated ReadersFirst policy, acquireOneLock and isAvailable