Laboratório de Sistemas Operacionais - CEFETMG - Prática 11: Semáforos_mutex

Prévia do material em texto

Integrantes
____________________________
O relatório deve ser enviado no formato PDF, outros formatos não serão aceitos.
Toda vez que for solicitado um print da tela, você deve realçar (destacar com alguma cor diferente),
na imagem, o conteúdo que se deseja mostrar. Além disso, deve-se explicar textualmente o que está
sendo destacado. Se isso não for feito, a resposta da questão não será considerada.
Para fazer esta atividade, você precisará dos programas: me6-semaphore.c e me7-mutex.
Fundamentos teóricos
Três pontos devem ser levados em conta quando se implementa um método de exclusão mútua de
acesso à seção crítica, são eles:
Eficiência 
• Se as tarefas esperam pelo recurso sem utilizar o processador, então o método é eficiente.
Caso contrário, ou seja, se há uma espera pelo recurso ocupando o processador, então o
método não é eficiente.
Justiça 
• Deve haver uma garantia de ordem no acesso à seção crítica. Se uma tarefa puder entrar e
sair da seção crítica várias vezes, antes que outras tarefas consigam acessá-la, então o
método não é justo. 
Independência 
• Somente as tarefas que solicitaram o acesso a seção crítica são consideradas no processo de 
decidir quem acessará a seção crítica. Ou seja, tarefas que não desejam o acesso à seção 
crítica não podem bloquear tarefas que desejam o acesso.
Trabalho prático
 
 1 Execute e estude os programas me6-semaphore.c e me7-mutex.c. Responda:
 1.1 Avalie o método utilizado com relação aos três itens abaixo (marque um X na coluna
correspondente). Justifique suas escolhas.
Semáforo Mutex
Sim Não Sim Não
Eficiência X X
Justiça X X
Independência X x
Semáforo
Larisse Stefany Pires Amorim
◦ É eficiente porque coloca as tarefas que querem acessar a seção crítica em modo
suspenso, ou seja, não existe espera ocupada quando utilizamos o semáforo
◦ Garante justiça porque garante a ordem de requisição da fila de tarefas para acessar a
seção crítica
◦ É independente porque o acesso à seção crítica só depende da tarefa que está tentando
acessá-la.
Mutex:
É eficiente e garante justiça pelos mesmos motivos do semáforo, mas não é independente
porque é preciso que um processo libere um recurso para que outro processo possa acessar a seção
crítica.