Questões de Concurso

Em sistemas distribuídos que executam transações envolvendo múltiplos nós, a garantia de atomicidade é frequentemente obtida por meio do protocolo Two-Phase Commit, no qual um coordenador interage com participantes por meio de duas fases distintas: prepare (voting) e commit/abort. O protocolo assume comunicação confiável e utiliza registros persistentes (logs) para permitir recuperação após falhas, mantendo consistência entre os participantes. Considerando as propriedades formais do protocolo 2PC, assinale a alternativa correta:

(a)

O protocolo 2PC pode ser considerado não bloqueante em cenários onde os participantes mantêm logs persistentes detalhados e utilizam mecanismos de timeout e troca de mensagens entre si para reconstruir o estado global da transação, permitindo inferir a decisão final mesmo na ausência do coordenador e liberar recursos de forma consistente.

(b)

O protocolo 2PC consiste apenas em uma fase de decisão global (commit), na qual cada participante decide independentemente com base em seu estado local, sem necessidade de uma fase prévia de votação ou preparação.

(c)

Em sistemas que assumem comunicação síncrona, detecção perfeita de falhas e canais confiáveis, o protocolo 2PC deixa de apresentar comportamento bloqueante, pois os participantes conseguem coordenar entre si, após timeouts, para determinar a decisão global correta, mesmo sem a participação do coordenador original.

(d)

No protocolo 2PC, participantes que tenham registrado o estado "ready/yes" podem, após timeout, decidir unilateralmente pelo commit da transação com base em seus logs locais, garantindo progresso do sistema sem violar a atomicidade.

(e)

O protocolo 2PC é bloqueante, pois, se o coordenador falhar após enviar mensagens de prepare e antes de comunicar a decisão final, participantes que votaram "ready/yes" podem permanecer indefinidamente em estado incerto (uncertain state), mantendo recursos alocados até que a decisão seja conhecida.