[Série de Controle de Concorrência] #2. Controle de Concorrência Otimista vs. Pessimista Para lidar com a execução paralela de forma segura, blockchains de alto desempenho adotam um dos dois principais modelos de controle de concorrência: execução pessimista ou otimista. Ambos visam prevenir conflitos de estado, mas abordam o timing da execução e o risco computacional de direções opostas. 1. Execução Pessimista: Prevenção de Conflitos em Primeiro Lugar O controle de concorrência pessimista analisa os requisitos de acesso ao estado das transações antes da execução. - Se duas transações visam a mesma conta ou slot de armazenamento, o sistema força uma delas a aguardar na fila. - Transações conflitantes são agrupadas em lotes sequenciais sem conflitos, eliminando o custo de reexecução. - Compromisso: Alta previsibilidade de recursos e zero tentativas falhas de transação, mas maior latência (modo de espera) durante competição intensa de estado. 2. Execução Otimista: Execute Primeiro, Valide Depois O controle de concorrência otimista assume que conflitos são raros e executa todas as transações em paralelo imediatamente. - As transações são executadas simultaneamente sem atraso, mas suas atualizações de estado são validadas antes do compromisso final no ledger. - Se uma transação ler um estado desatualizado causado por uma escrita sobreposta, ela é abortada e marcada para reexecução (modo de reexecução). - Compromisso: Utilização máxima do hardware e latência inferior a um segundo sob cargas de trabalho com baixo conflito, mas recursos computacionais desperdiçados e reexecuções durante colisões de estado em alta congestão. 3. O Desafio Central de Engenharia Escolher entre pré-organização pessimista e execução otimista especulativa determina como uma rede se comporta sob volatilidade de mercado. Compreender esses mecanismos é essencial para projetar camadas de execução resilientes. @RialoHQ @RialoKorea