Sistemas Operativos

Exercícios de Sincronização Suplementares

Exercícios de Exame

1. 1º Teste 2002/03

Considere que existe um serviço com 3 guichets de atendimento (três processos servidores) a que chegam clientes (processos clientes). O sistema deve funcionar do seguinte modo:

• Se existirem processos servidor livres o processo cliente deve ser atendido de imediato.
• Se não existirem processos à espera de ser atendidos os processos servidores devem ficar bloqueados.
• O número máximo de clientes em espera é de K. Para além deste limite o serviço é recusado.

for (;;){
    If(NovoCliente()) {

        Servico();

    } else ....

}

for (;;){

    RequisitarServico();

    Atendimento();

}

Programe as funções que os processos devem invocar: RequisitarServico() e NovoCliente().

Utilize semáforos para sincronizar os processos. Programe em C ou pseudocódigo e defina as variáveis que necessitar. Não se preocupe com o procedimento Atendimento() e Serviço(); apenas se sabe que é um procedimento executado por ambos os processos e que termina ao fim de um intervalo de tempo finito.

2. 1º Teste 2001/02

Pretende-se construir uma aplicação em que processos Produtores enviam mensagens para um processo Consumidor. As mensagens são colocadas em 4 filas cada uma associada a um nível de prioridade (podíamos considerar mensagens com quatro níveis de urgência). As mensagens são todas do mesmo tamanho. As filas de mensagens têm espaço para 3 mensagens.

Quando um produtor pretende escrever a mensagem e a fila está cheia, fica bloqueado. O processo consumidor retira a mensagem da fila mais prioritária. Se não houver mensagem deve ficar bloqueado. Programe as 2 rotinas que permitem inserir e retirar mensagens:

      void inserir(int Prioridade, struct mens m)

      struct mens retirar()

Utilize semáforos para sincronizar os processos. Para simplificar considere as seguintes estruturas:

struct mens - para representar as mensagens.

struct mens [NIVEL] [TAMANHO] buffer - para representar as filas de mensagem NÍVEL corresponde ao nível de prioridade e TAMANHO ao número máximo de mensagens por fila.