A precisa emitir a operação lock(X) após todas as operações read_item(X) e write_item(X) serem completadas em T.
B precisa emitir a operação read_lock(X) ou write_lock(X), antes que qualquer operação read_item(X) seja realizada em T.
C emitirá uma operação write_lock(X), quando existir um bloqueio de leitura (compartilhado) ou um bloqueio de gravação (exclusivo) no item X.
D emitirá uma operação unlock(X), quando existir um bloqueio de leitura (exclusivo) ou um bloqueio de gravação (compartilhado) no item X