Questão de Tecnologia da Informação

Quando um processo quer imprimir um arquivo na impressora, insere o nome do arquivo em um diretório de spool . Um outro processo verifica periodicamente se existe algum arquivo a ser impresso e, se houver, o imprime e remove seu nome do diretório. Suponha que o diretório de spool tenha vagas numeradas 0, 1, 2,... etc e que cada vaga é capaz de conter um nome de arquivo. Suponha que existem duas variáveis compartilhadas: Out , que indica o próximo arquivo a ser impresso e Free , que indica a próxima vaga livre do spool . Em um dado instante as vagas anteriores estão ocupadas e Free = 7. Quase simultaneamente, os processos A e B decidem colocar um arquivo na fila de impressão e ocorre a sequência de ações:

1. O processo A lê Free e armazena o valor 7 na sua variável local chamada proxima_vaga_livre.
2. Em seguida ocorre uma interrupção do relógio e a CPU decide que o processo A já executou o suficiente e alterna para o processo B.
3. O processo B também lê Free e obtém o valor 7. B armazena 7 na sua variável local proxima_vaga_livre.
4. Neste momento, ambos os processos têm a informação de que a vaga livre é a 7.
5. B prossegue sua execução, armazenando o nome do seu arquivo na vaga 7 e atualiza Free para 8.
6. Em seguida, o processo A executa novamente de onde parou. Verifica sua variável local proxima_vaga_livre , que é igual a 7, e então escreve o nome do seu arquivo na vaga 7. O processo A atualiza o valor de Free para 8.

Nesta situação,