Sistemas Avançados — Laboratórios Opcionais

Experimentos de infraestrutura e falhas após o currículo fundamental.

Material educacional independente, sem endosso das empresas citadas.

Progresso da trilha0 / 0

O progresso fica armazenado somente neste navegador.

1. Concorrência e recuperação de bancos

Laboratório PostgreSQL: reservas concorrentes e recuperação de falhasTeste processos independentes e PostgreSQL real com atualização condicional, idempotência e commits duráveis com outbox.
Laboratório Serializable PostgreSQL: write skew e retries completosReproduza write skew real no PostgreSQL, evite com SERIALIZABLE e repita integralmente a transação abortada.
Oficina SQLite multiprocessos: reservas atômicas e recuperaçãoTeste processos reais, transações SQLite em arquivo, constraints de estoque e replay após encerramento abrupto.
Laboratório PostgreSQL: replicação física e promoção manualExecute replicação real primário/standby com pg_basebackup, observe replay, pare primário e promova réplica.
Segurança do failover PostgreSQL: fencing e gates de promoçãoImplemente decisões de promoção que falham de modo seguro, rejeite provas antigas e revise limites de promoção de standby.
Medições de recuperação PostgreSQL: RPO, RTO e partição de redeMeça fases de promoção, confira replay de commit e demonstre por que primário isolado continua exigindo fencing.

Laboratório RabbitMQ: redelivery e inbox transacionalTeste desconexão de consumidor RabbitMQ real, mensagens reenviadas e deduplicação em inbox PostgreSQL com ACK manual.
Laboratório de restart RabbitMQ: filas duráveis e mensagens confirmadasReinicie container RabbitMQ real após publicação persistente confirmada e verifique recuperação, sem confundir com failover quorum.
Failover de líder RabbitMQ Quorum: laboratório de três nósTeste replicação RabbitMQ quorum real: publicação confirmada, parada do líder inicial, recuperação e escrita pela maioria sobrevivente.
RabbitMQ Quorum: perda de maioria, bloqueio e recuperaçãoTeste perda de maioria, ausência de confirmação de publicação e recuperação de escritas num cluster RabbitMQ real.
Partição de rede real RabbitMQ: brokers ativos sem quorumIsole um broker em execução da rede Docker, observe confirmação na minoria e restaure quorum sem reiniciar o nó.

Oficina de concorrência: corridas, CAS e intercalaçõesDerive uma corrida de duas reservas, corrija com CAS versionado, enumere sequências e teste sincronização entre threads.
Oficina de injeção de falhas: outbox, crashes e entrega duplicadaTeste falhas antes/depois do commit, outbox pelo menos uma vez, deduplicação no receptor e fronteiras de recuperação.
Testes algorítmicos por propriedades: oráculos, shrinking e metamorfismoGere casos adversariais com Hypothesis e compare busca binária e subarrays com oráculos independentes.
Componentes fortemente conexos e grafos condensadosDeduza componentes fortemente conexos, prove por que a condensação é acíclica e implemente Kosaraju iterativo com testes.
Fluxo máximo, corte mínimo e emparelhamento bipartidoDeduza conservação de fluxo, rede residual, caminhos aumentantes, teorema fluxo-corte e redução de emparelhamento com código testado.
Observabilidade: métricas, logs, traces e SLOsModele latência fim a fim, sinais essenciais, propagação de traces, orçamento de erros SLO e riscos de cardinalidade.

Experimentos comprovam apenas suas condições de laboratório, não tolerância a falhas multi-host em produção nem correção universal.