Programa Concorrente Simples Desafia a Intuição
2025-01-18
Um programa concorrente aparentemente simples, envolvendo dois processos incrementando uma variável 'n' dez vezes cada, produziu um resultado surpreendente quando analisado com um verificador de modelos. Intuitivamente, o valor final de 'n' deveria estar entre 10 e 20. No entanto, um entrelaçamento extremo dos processos resultou em 'n' sendo 2. Embora um programa Go que tentasse reproduzir esse comportamento tenha falhado, destacando a raridade de entrelaçamentos tão extremos na prática, o exemplo destaca as complexidades e a natureza contra-intuitiva da programação concorrente.