Imagem de fundo

Vários tipos de bloqueios são usados no controle de...

Vários tipos de bloqueios são usados no controle de concorrência. Um bloqueio binário pode ter dois estados ou valores: bloqueado e desbloqueado (ou 1 e 0, para simplificar). O esquema a seguir apresenta as operações de bloqueio e desbloqueio para bloqueios binários.


Imagem associada para resolução da questão


Se o esquema de bloqueio binário simples descrito acima for usado, cada transação precisa obedecer às seguintes regras, EXCETO:


A

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.


B

Uma transação T não emitirá uma operação unlock_item(X) a menos que já mantenha um bloqueio de leitura (compartilhado) e um bloqueio de gravação (exclusivo) no item X.


C

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 contempladas em T.


D

Uma transação T não emitirá uma operação lock_item(X) se já mantiver o bloqueio no item X.


E

Uma transação T não emitirá uma operação unlock_item(X) a menos que ela já mantenha o bloqueio no item X.