Ao implementar um autômato baseado em eventos cujo handler concorrente incrementa uma variável compartilhada…

Questão

Ao implementar um autômato baseado em eventos cujo handler concorrente incrementa uma variável compartilhada 'contador', qual técnica garante que nenhum incremento seja perdido?

1. A) Proteger a seção crítica com um mutex/lock (ou operação atômica) durante o incremento.
2. B) Confiar em um sistema de notificações para incrementar o contador.
3. C) Usar variáveis globais sem controle para o contador.
4. D) Implementar uma fila para armazenar eventos antes de processá-los.
5. E) Utilizar um mecanismo de repetição para incrementar a variável.

✅ Resposta correta: alternativa A

Resolução passo a passo

1. O problema descreve um handler concorrente que incrementa uma variável compartilhada. Quando duas threads executam contador = contador + 1 ao mesmo tempo, ambas podem ler o mesmo valor antigo e gravar o mesmo valor novo, perdendo um dos incrementos (condição de corrida).
2. Para garantir que nenhum incremento se perca, é preciso tornar a operação de leitura, soma e escrita indivisível em relação às outras threads. Isso se faz protegendo a seção crítica com um mutex/lock, ou usando uma operação atômica (como fetch-and-add ou incremento atômico), que o hardware executa sem interrupção.
3. Por que as outras estão erradas:
4. B) Um sistema de notificações apenas avisa que algo aconteceu; não impede que dois handlers leiam e gravem o mesmo valor da variável.
5. C) Variáveis globais sem controle são justamente a fonte da condição de corrida, então aumentam o risco de perda de incrementos.
6. D) Uma fila organiza a ordem de processamento dos eventos, mas se o incremento continuar sendo feito concorrentemente sobre a mesma variável sem sincronização, a perda pode ocorrer.
7. E) Repetir o incremento pode mascarar o problema em alguns casos, mas não garante que nenhum incremento seja perdido, pois outras threads continuam interferindo.
8. Conclusão: a alternativa A é a correta e coincide com o gabarito oficial.

💡 Dica: Considere as técnicas de sincronização de threads.

Alternativa por alternativa

Raio-X da questão

Questões parecidas com resolução

• Dois handlers de evento atualizam simultaneamente a variável compartilhada 'contador' sem sincronização. Qual problema…
• Em um programa com múltiplas threads que atualizam uma mesma variável compartilhada, qual mecanismo previne condições de…
• Em um algoritmo paralelo que atualiza contadores por turma, qual prática reduz a necessidade de locks ao manipular uma…
• Ao paralelizar processamento por linhas de uma matriz de registros e atualizar uma variável global 'soma', qual…
• Para tornar um algoritmo reutilizável e seguro para execução paralela, qual prática relacionada a variáveis e efeitos…
• Uma equipe dividiu um programa em várias threads para executar tarefas ao mesmo tempo. Durante os testes, duas threads…

Todas as questões de [CONFERIR] Construir soluções baseadas no uso de algoritmos e conceitos da Computação para resolver problemas, avaliando suas qualidades e melhorando-as.