Sistemas de Computação I
Exercícios - 23/6/98
- Na aula de 9/6, foi dado o seguinte exercício:
-
Suponha um sistema sem memória compartilhada (sem semáforos)
e com troca de mensagens.
Resolva o problema dos filósofos usando um processo coordenador
centralizado (um mordomo autoritário).
Quando um filósofo deseja comer, ele chama uma função
que informa ao coordenador e espera permissão (isto é,
aguarda que os dois garfos sejam atribuídos a ele).
Quando um filósofo termina de comer, ele chama uma função que
informa o fato ao coordenador.
Esboce o código do coordenador, garantindo que não haja
deadlock nem starvation.
- Resolva-o, caso você ainda não o tenha feito.
- Discuta porque, de forma geral, é mais fácil evitar
o deadlock com a existência de um processo coordenador.
Que condições de existência de deadlock são mais facilmente
negadas com a concentração da informação
de sincronização em um único processo?
-
O minix oferece três primitivas para comunicação entre processos:
send, receive e sendrec.
Essa terceira forma deve ser usada por qualquer processo
usuário que requisite um operação ao sistema.
Por que? Explique o que poderia acontecer se um processo
executar um send, enviando uma mensagem ao sistema,
sem um recebimento correspondente?
- (segurança)
Um covert channel é um canal de comunicação legal que um usuário U
de determinado sistema usa para transmitir informação secreta para
fora do sistema sem tornar óbvio que a informação está sendo transmitida
(como seria, por exemplo, se fosse enviada em uma mensagem eletrônica).
Tente imaginar algumas formas de covert channel, indicando,
para cada um, que direitos estão sendo supostos para o usuário
interno e para o externo.
(por exemplo, o usuário externo pode ser capaz de ver
o conteúdo de certos diretórios mas não o conteúdo dos arquivos de dados)
This document was generated using the LaTeX2HTML translator Version 96.1-h (September 30, 1996) Copyright © 1993, 1994, 1995, 1996, Nikos Drakos, Computer Based Learning Unit, University of Leeds.
The command line arguments were:
latex2html -split 0 aulaex4.tex.
The translation was initiated by Noemi Rodriguez on Tue Jun 30 10:27:37 EST 1998
Noemi Rodriguez
Tue Jun 30 10:27:37 EST 1998