Gabarito disponível
Resolução comentada
Atomicidade: uma operação de semáforo iniciada não é interrompida por acesso de outro processo.
As operações sobre semáforos (como P/down e V/up) são indivisíveis. Uma vez iniciada a operação, nenhum outro processo acessa o semáforo até que ela termine ou o processo seja bloqueado. Isso evita condições de corrida no próprio semáforo.
Análise das alternativas
A) Persistência após reinicialização não faz parte da atomicidade. B) Valor máximo não é o conceito. C) A restauração de características originais também não é. E) As operações não devem ser interrompidas no meio, e a atomicidade garante exatamente isso.
Referência: Tanenbaum, Sistemas Operacionais Modernos: semáforos.
Resolução comentada do VaiConcursos.