Vamos analisar cada afirmativa: I) Os semáforos contadores podem conter diversos valores, desde que sejam inteiros e não negativos. Verdadeiro. Semáforos contadores podem ter valores inteiros não negativos e são usados para controlar o acesso a recursos compartilhados. II) No Mutex, caso vários processos fiquem bloqueados aguardando a liberação da região crítica, o sistema operacional escolhe de forma aleatória um desses processos para assumir a região crítica. Falso. O comportamento do Mutex geralmente segue uma política de escalonamento, como FIFO (First In, First Out) ou prioridade, e não é aleatório. III) O Mutex trabalha com somente dois estados: bloqueado e desbloqueado. Verdadeiro. O Mutex tem apenas esses dois estados, que indicam se a região crítica está em uso ou não. IV) Em um semáforo, quando uma tarefa acessa a região crítica a variável de controle é decrementada. Quando essa variável de controle for igual a zero, nenhuma tarefa a mais pode acessar essa região. Falso. A afirmação é verdadeira em parte, mas não é totalmente precisa. Em um semáforo binário, a variável de controle é decrementada, mas em um semáforo contador, ela pode ser maior que zero, permitindo múltiplos acessos. Agora, vamos resumir os resultados: - I: Verdadeiro - II: Falso - III: Verdadeiro - IV: Falso Portanto, as afirmativas corretas são I e III. A alternativa que contém todos os itens verdadeiros é: E) I, II e III estão corretas.