// auth
while (1) {
if (lock->can_xlock(client)) {
- lock->get_parent()->auth_pin(lock);
lock->set_state(LOCK_XLOCK);
lock->get_xlock(mut, client);
mut->xlocks.insert(lock);
lock->get_num_rdlocks() == 0 &&
lock->get_num_wrlocks() == 0 &&
lock->get_num_client_lease() == 0) {
- if (!lock->is_stable())
- lock->get_parent()->auth_unpin(lock);
+ assert(!lock->is_stable());
+ lock->get_parent()->auth_unpin(lock);
lock->set_state(LOCK_LOCK);
}