Curso de Tecnologia em Sistemas de Computao ca Disciplina de Sistemas Operacionais Professores: Valmir C. Barbosa e Felipe M. G. Frana c Assistente: Alexandre H. L.

Porto Quarto Per odo AP3 - Primeiro Semestre de 2010 Nome Assinatura -

Observaes: co 1. Prova sem consulta e sem uso de mquina de calcular. a 2. Use caneta para preencher o seu nome e assinar nas folhas de questes o e nas folhas de respostas. 3. Voc pode usar lpis para responder as questes. e a o 4. Ao nal da prova devolva as folhas de questes e as de respostas. o 5. Todas as respostas devem ser transcritas nas folhas de respostas. As respostas nas folhas de questes no sero corrigidas. o a a

1. (2.0) Diga se as seguintes armativas so falsas ou verdadeiras. Para a responder, escreva apenas F ou V para cada item em seu caderno de respostas. (a) (0.4) O conceito de multiprogramao, que surgiu na terceira ca gerao dos sistemas operacionais, foi criado somente para evitar ca que o processador casse ocioso durante a execuo das operaoes ca c de E/S. Resp.: F (Falsa, porque o conceito tambm foi criado para permie rir que o processador fosse compartilhado entre os diversos programas do sistema, ao invs de ser alocado a somente um programa e at ele terminar a sua execuo). e ca (b) (0.4) Cada processo possui uma entrada diferente em uma tabela, chamada de a tabela de processos, que armazena as informaes necessrias para que o sistema operacional possa reico a niciar a execuo do processo aps ele ter sido suspenso. ca o Resp.: V (Verdadeira). (c) (0.4) As chamadas ao sistema operacional denem a interface usada para gerenciar somente a cooperao entre processos. ca Resp.: F (Falsa, porque as chamadas ao sistema operacional denem toda a interface entre o sistema operacional e os processos). (d) (0.4) As mquinas virtuais e o exoncleo so dois mtodos usados a u a e para gerenciar os processos do sistema operacional. Resp.: F (Falsa, porque as mquinas virtuais e o exoncleo so a u a dois mtodos para gerenciar o hardware do computador). e (e) (0.4) A grande diferena entre um sistema operacional cuja esc truturao baseada em camadas e um sistema operacional cuja ca e estruturao baseada em anis que, no ultimo caso, o hardca e e e 2

ware garante que uma das camadas somente poder chamar dia retamente os procedimentos da camada imediatamente inferior a ela na hierarquia. Resp.: V (Verdadeira). 2. (2.0) Qual a diferena essencial entre os algoritmos de escalonamento e c por round robin e por prioridades? Resp.: A diferena est em como determinamos se o processo atuc a almente em execuo deve ceder ou no o processador a um outro ca a processo. No algoritmo por round robin, cada processo pode executar no processador no mximo por um intervalo xo de tempo, chamado a de quantum. Aps ter executado por um quantum, o processo soo mente poder executar novamente no processador, por no mximo mais a a um quantum, depois de todos os outros processos no estado pronto tambm terem executado por no mximo um quantum. J no algoe a a ritmo por prioridades, um valor, chamado de prioridade, associado e a cada processo. O processo atualmente em execuo continuar a ca a usar o processador at que a sua prioridade deixe de ser a mais ime portante. Depois de deixar de executar no processador, o processo somente executar novamente quando a sua prioridade voltar a ser a a mais importante. Para evitar que um processo seja executado para sempre, o escalonador, em intervalos xos de tempo, altera a prioridade deste processo, de tal modo que a sua importncia seja reduzida a a cada intervalo de tempo. A denio de qual valor o mais imporca e tante depender do algoritmo de prioridades. a 3. (2.0) Se um grafo com arestas dirigidas no possuir arestas entre vrtices a e que representem recursos nem entre vrtices que representem processos, e ele sempre representar um grafo de recursos? Justique a sua resposta. a Resp.: No, porque existem duas restries adicionais que devem ser a co respeitadas. A primeira que um recurso, como vimos na Aula 7, no e a pode ser alocado simultaneamente a mais de um processo. Assim, no grafo de recursos, no mximo uma aresta pode partir de um vrtice a e 3

que represente um recurso. A segunda restrio que um processo soca e mente pode estar ` espera de um recurso que ainda no esteja alocado a a a ele. No grafo de recursos, isso quer dizer que no pode haver duas a arestas anti-paralelas (isto , uma em cada direo) entre um vrtice e ca e que represente um processo e um que represente um recurso. 4. (2.0) Descreva a diferena essencial entre a segmentao com paginao c ca ca usada pelo MULTICS e a simplicao da segmentao com paginao ca ca ca usada pelos processadores Pentium da Intel. Resp.: Como vimos na aula 10, na segmentao os endereos virtuca c ais so bidimensionais, sendo compostos pelo par (segmento, endereo a c dentro deste segmento). Logo, cada segmento possui um espao de enc dereamento prprio. O MULTICS usa a tcnica de segmentaao com c o e c paginao original. Nesta tcnica, existe uma tabela de pginas para ca e a cada segmento, porque os espaos de endereamento de cada segmento c c so divididos em pginas virtuais. Com isso, ao converter um endereo a a c bidimensional no MULTICS, primeiramente precisamos determinar em que pgina virtual est o endereo dentro do segmento para depois, a a c usando a tabela de pginas do segmento ou primeiramente a TLB se a a MMU a possuir, descobrir qual moldura de pgina contm a pgina a e a acessada. No caso dos processadores Pentium, ao invs de o espao e c de endereamento de cada segmento ser dividido em pginas, primeic a ramente mapeamos cada segmento em um espao de endereamento c c comum, chamado de espao de endereamento linear. Portanto, c c nesta tcnica, vamos agora ter uma unica tabela de pginas associada e a ao espao de endereamento linear. O endereo inicial de um segc c c mento, no espao de endereamento linear, est sempre armazenado c c a no descritor deste segmento. Depois de termos mapeado todos os segmentos no espao de endereamento linear ento obtemos, usando o c c a endereo inicial do segmento, o endereo no espao de endereamento c c c c linear correspondente ao endereo acessado dentro do segmento. Fic nalmente, determinamos a pgina virtual que contm o endereo, para a e c depois descobrir, usando a tabela de pginas ou primeiramente a TLB a (caso ela exista na MMU), a moldura de pgina com a pgina acessada. a a

5. (2.0) Que relao existe entre os mtodos para gerenciar os blocos livres ca e do disco e a consistncia do sistema de arquivos? e Resp.: Como vimos na aula 12, os mtodos de gerenciamento dos e blocos livres do disco podem gerar diversas inconsistncias no sistema e de arquivos. A primeira inconsistncia ocorre quando um bloco livre e for alocado a um arquivo e, devido a algum erro no sistema operacional, no for marcado como usado. Tanto no mtodo do mapa de bits como a e no mtodo da lista encadeada, este bloco poder ser novamente alocado e a a um arquivo. Neste caso, o contedo de todos os arquivos que usarem u este mesmo bloco (note que o erro pode ocorrer diversas vezes) no ser a a convel, porque a alterao de um dos arquivos alterar os outros a ca a arquivos se o bloco incorretamente compartilhado pelos arquivos for alterado. A segunda inconsistncia, que tambm poss em ambos e e e vel os mtodos de gerenciamento, ocorre quando um bloco desalocado e e e se torna livre mas, novamente devido a um erro no sistema, no a e marcado como livre, ou seja, o bloco se torna ausente. Finalmente, a terceira inconsistncia, que somente poss no gerenciamento por e e vel lista encadeada, ocorre se um bloco se tornar livre e for, tambm devido e a um erro no sistema, colocado mais de uma vez na lista de blocos livres. A consequncia desta inconsistncia a mesma da primeira e e e inconsistncia, pois novamente o mesmo bloco pode ser alocado a mais e de um arquivo.