Redução de Abortes em Sistemas Transacionais Distribuídos através da Detecção de Dependência

O modelo de execução de sistemas transacionais distribuídos existente, baseado em políticas de gerenciamento de contenção globalmente consistentes, pode abortar muitas transações que poderiam potencialmente ser concluídas sem violar a correção. Para reduzir abortos desnecessários e aumentar a concorrência, propomos o modelo dependente de distribuição (DDA), que adota diferentes estratégias de resolução de conflitos para diferentes transações. No modelo DDA, a concorrência das transações é aprimorada garantindo que transações somente leitura e somente gravação nunca sejam abortadas, através de relações de precedência estabelecidas com outras transações. Transações de atualização não somente gravação são tratadas através de uma política de gerenciamento de contenção. Identificamos as limitações inerentes à estabelecimento de relações de precedência em sistemas transacionais distribuídos e propomos soluções para elas. Apresentamos um conjunto de algoritmos para suportar o modelo DDA, então provamos a correção e permissividade do modelo DDA e mostramos que ele suporta leituras invisíveis e coleta de forma eficiente versões de objeto inúteis.