- - - - CENAPAD-MGCO

A seguir: Programação Distribuída Acima: Transações e o Protocolo Anterior: Escalonamento Serial Equivalente

Conclusões

• Se as transações $T_{1}, \ldots, T_{n}$ são bem formadas e duas-fases, então qualquer escalonamento legal é consistente
• Se uma transação T não é bem-formada ou duas-fases, existe uma transação T' e um escalonamento legal de T e T' que não é consistente
• Existem sistemas de transações que não são duas-fases e que só possuem escalonamentos consistentes:

T₁ T₂

lock A lock A

A := A + 100; A := 2 * A

unlock A unlock A

lock B lock C

B := B + 100 C := C * 2

unlock B unlock C

• Modelos formais servem para o estudo e prova de resultados gerais da mais alta importância prática