-
-
-
-
CENAPAD-MGCO
A seguir: Escalonamentos
Acima: Travamentos
Anterior: Transações: Definição Formal
Uma transação é bem formada se
- em uma transação, uma entidade e só é travada se estiver
destravada e vice-versa
- ao terminar, uma transação terá destravado todas as entidades que
travou
- toda ação sobre uma entidade e se faz com e travada, a não ser
que seja um lock
Exemplo de transações bem formadas:
| T1 |
T2 |
|---|
| lock A |
lock A |
|---|
| A := A + 100; |
A := A*2 |
|---|
| unlock A |
lock B |
|---|
| lock B |
unlock A |
|---|
| B := B + 100 |
B := B * 2 |
|---|
| unlock B |
unlock B |
|---|
Next: Escalonamentos
Up: Travamentos
Previous: Transações: Definição Formal
Osvaldo Carvalho
-
Postscript -
Comentários?