Os seguintes códigos são de programas concorrentes. As instruções P(s) e V(s) são as rotinas de teste e incremento, respectivamente, de um semáforo s, que é usado como mecanismo de sincronização.
int n1 = 0;
semaphore tipo = 1;
semaphore exclusivo = 1;
|
void leitor( void){ P(exclusivo); ++ n1; else{ P(tipo); } V(tipo); V(exclusivo); } |
Void escritor( void) P(tipo); |
Em relação a esses programas, analise as afirmações a seguir.
I Vários leitores podem ler ao mesmo tempo.
II Vários escritores podem escrever ao mesmo tempo.
III Não há postergação indefinida de leitores.
IV Não há postergação indefinida de escritores.
Estão corretas apenas as afirmações indicadas na opção
