Controlo de concorrência

16 dezembro 2016, 15:30 Pável Pereira Calado

  • Noção de escalonamento serializável em conflitos (conflict-serializable)
  • Noção de lock, tipos de lock (leitura e escrita), transacções bem formadas para resolução de anomalias
  • Protcolo two-phase locking (2PL) e variantes: strict 2PL, rigorous 2PL e conservative 2PL para garantia da propriedade de isolamento da transacção
  • Tratamento de deadlocks: prevenção (baseado em timestamping) e tratamento (timeout ou grafo de espera)
  • Níveis de isolamento em SQL que permitem relaxamento da propriedade de isolamento
  • Aquisição automática de locks.