Quorum (computação distribuída)
Content
Técnicas baseadas em quorum em sistemas de banco de dados distribuídos
A votação baseada em quorum pode ser usada como método de controle de réplica, bem como um método de confirmação para garantir a atomicidade da transação na presença de particionamento de rede.
Votação baseada em quorum em protocolos de commit
Em um sistema de banco de dados distribuído, uma transação pode executar suas operações em vários sites. Como a atomicidade exige que todas as transações distribuídas sejam atômicas, a transação deve ter o mesmo destino (comprometimento ou aborto) em todos os locais. No caso de particionamento de rede, os sites são particionados e as partições podem não ser capazes de se comunicar. É aqui que entra uma técnica baseada em quorum. A idéia fundamental é que uma transação seja executada se a maioria dos sites votar para executá-la.
Todo site do sistema recebe um voto VI. Vamos supor que o número total de votos no sistema seja V e o aborto e o cometimento de quoros são VA e VC, respectivamente. Em seguida, as seguintes regras devem ser obedecidas na implementação do protocolo de confirmação:
Va + Vc > V, where 0 < Vc, Va ≤ {\displaystyle \leq }
V.Before a transaction commits, it must obtain a commit quorum Vc.The total of at least one site that is prepared to commit and zero or more sites waiting ≥ {\displaystyle \geq } 
Vc.Before a transaction aborts, it must obtain an abort quorum VaThe total of zero or more sites that are prepared to abort or any sites waiting ≥ {\displaystyle \geq } Va.A primeira regra garante que uma transação não possa ser cometida e abortada ao mesmo tempo. As próximas duas regras indicam os votos que uma transação deve obter antes que possa rescindir de uma maneira ou de outra.
Votação baseada em quorum para controle de réplica
Em bancos de dados replicados, um objeto de dados possui cópias presentes em vários sites. Para garantir a serialização, não há duas transações de ler ou escrever um item de dados simultaneamente. No caso de bancos de dados replicados, um protocolo de controle de réplica baseado em quorum pode ser usado para garantir que duas cópias de um item de dados sejam lidas ou escritas por duas transações simultaneamente.
A votação baseada em quorum para o controle de réplica é devida a [Gifford, 1979]. Cada cópia de um item de dados replicado recebe uma votação. Cada operação precisa obter um quorum de leitura (VR) ou um quorum de gravação (VW) para ler ou gravar um item de dados, respectivamente. Se um determinado item de dados tiver um total de v votos, os quorus precisam obedecer às seguintes regras:
Vr + Vw > VVw > V/2A primeira regra garante que um item de dados não seja lido e escrito por duas transações simultaneamente. Além disso, garante que um quorum de leitura contenha pelo menos um site com a versão mais recente do item de dados. A segunda regra garante que duas operações de gravação de duas transações não possam ocorrer simultaneamente no mesmo item de dados. As duas regras garantem que a serialização de uma cópia seja mantida.