Regras do bloqueio binário:
1. Uma transação T precisa emitir a operação lock_item(X) antes de quaisquer operações read_item(X) ou write_item(X) serem realizadas em T.
2. Uma transação T precisa emitir a operação unlock_item(X) após todas as operações read_item(X) e write_item(X) serem completadas.
3. Uma transação T não emitirá uma operação lock_item(X) se não mantiver o bloqueio no item X.
4. Uma transação T não emitirá uma operação unlock_item(X) a menos que ela ja mantenha o bloqueio no item X.