A sincronização entre processos concorrentes é fundamental para garantir a confiabilidade dos sistemas multiprogramáveis. Um mecanismo de sincronização simples, que permite implementar a exclusão mútua sem a deficiência da espera ocupada (busy wait), é o
