Problema de Inconsistência em Transações Recuperação Inconsistente

O Problema das Recuperações Inconsistentes Um outro exemplo de problema relacionado a uma conta bancária. A transação V transfere a soma das contas a e b e a transação W invoca o método agencyTotal para obter a soma dos saldos de todas as contas numa agência do banco.

O Problema das Recuperações Inconsistentes Transaction : : V Transaction : W a.withdraw(100) aAgency.agencyTotal() b.deposit(100) a.withdraw(100); $100 total = a.getBalance() $100 total = total+b.getBalance() $300 total = total+c.getBalance() b.deposit(100) $300 Instructor’s Guide for Coulouris, Dollimore and Kindberg Distributed Systems: Concepts and Design Edn. 4 © Addison-Wesley Publishers 2005

O Problema das Recuperações Inconsistentes Os saldos (balance) das duas contas a e b são ambos inicialmente $200,00. O resultado de agencyTotal inclui a soma de a e b como $300,00, o que é errado !!! Isto ilustra o problema de Inconsistent Retrivals.

O Problema das Recuperações Inconsistentes Retrivals (recuperações) de W são inconsistentes porque a transação V realizou somente a parte de saque (withdrawal) de uma transferência no tempo em que a soma é calculada.

Uma interlação serialmente equivalente de V e W Transaction V : a.withdraw(100); b.deposit(100) W aBranch.branchTotal() $100 $300 total = a.getBalance() total = total+b.getBalance() $400 total = total+c.getBalance() ... Instructor’s Guide for Coulouris, Dollimore and Kindberg Distributed Systems: Concepts and Design Edn. 4 © Addison-Wesley Publishers 2005

Uma interlação serialmente equivalente de V e W Considere agora, o efeito de da equivalência serial em relação ao problema “inconsistent retrivals”, no qual a transação V está transferindo a soma da conta a para a conta b, e a transação W está obtendo a soma de todos os saldos.

Uma interlação serialmente equivalente de V e W O “inconsistent retrivals problem” pode ocorrer quando uma transação de recuperação executa concorrentemente com outra transação de “update”.

Uma interlação serialmente equivalente de V e W O problema “inconsistent retrivals” não ocorre se uma transação de “retrieval” (recuperação) é executada antes ou após a transação de “update” (atualização) ocorrer.

Uma intercalação equivalente serialmente de V e W Uma intercalação de equivalência serial de uma transação W de recuperação (“retrieval”) e uma transação V de atualização (“update”), impede de ocorrer recuperações inconsistentes.

Uma intercalação equivalente serialmente de V e W Transaction V : a.withdraw(100); b.deposit(100) W aBranch.branchTotal() $100 $300 total = a.getBalance() total = total+b.getBalance() $400 total = total+c.getBalance() ... Instructor’s Guide for Coulouris, Dollimore and Kindberg Distributed Systems: Concepts and Design Edn. 4 © Addison-Wesley Publishers 2005