Rigorous two-phase locking