Sistemas Operacionais

INF09344 - Sistemas Operacionais / INF02780 - Sistemas Operacionais / INF02828 - Sistemas de Programao II

site:http://www.inf.ufes.br/~rgomes/so.htm
Profa. Roberta Lima Gomes email: soufes@gmail.com

Perodo: 2012/2
Carga Horria: 75 horas

EMENTA Histrico; Classificao; Estrutura dos S.O.; Mono e multiprogramao; Processos; Tcnicas de escalonamento de processos; Sincronizao de processos; Threads; Gerncia de memria em sistemas multiprogramados; Tcnicas de gerncia de memria real; Tcnicas de gerncia de memria virtual: paginao e segmentao; Introduo a virtualizao; Sistemas de arquivos; Sistemas de E/S; Estudo de um sistema operacional real.
CRITRIO DE AVALIAO

Duas provas parciais e dois trabalhos. A mdia parcial calculada por:

MP = (P1 + P2 + P3) * 0,8 + T1 * 0,1 + T2 * 0,1 3

onde: o o o o o P1 a nota da primeira Prova Parcial P2 a nota da segunda Prova Parcial P3 a nota da terceira Prova Parcial T1 a nota do primeiro Trabalho de Programao T2 a nota do segundo Trabalho de Programao

A mdia final ser:

MF = MP , se MP 7,0. MF = (PF + MP) / 2 , se MP < 7,0. (PF a nota da prova final) Se MF 5,0 => Aprovado. Se MF < 5,0 => Reprovado.

PROGRAMA 1. INTRODUO (3h) 1.1 Viso abstrata de um sistema de computao 1.2 Conceito de um sistema operacional 1.3 Histrico 1.4 Caractersticas desejveis 1.5 Classificao 1.6 Organizao tpica de um S.O. 1.7 Mono e multiprogramao 1.8 Modos de operao da UCP 2. GERNCIA DE PROCESSOS (17h)

2.1 Conceitos bsicos: processo, estruturas de controle (ex: BCP), modelos de estados, filas do sistema, contexto de um processo. 2.2 Escalonamento de processos: objetivos do escalonamento, tipos de escalonadores, modelo de estados, filas do sistema, processos I/O-bound e cpu-bound, polticas preemptivas e no preemptivas. 2.3 Algoritmos de escalonamento: FIFO, SJF (Shortest Job First), SRTF (Shortest Remaining Time First), prioridade, circular (round-robin), multinvel, multinvel com realimentao. Prova Parcial 1 Trabalho de Programao 1 3. SINCRONIZAO E COMUNICAO ENTRE PROCESSOS (15h) 3.1 Conceitos bsicos: condies de corrida, regies crticas, abordagens de excluso mtua 3.2 Abordagens de hardware: uso de instruo EI/DI, uso de instruo Test-and-Set 3.3 Solues de software com espera ocupada (busy-wait): primeiras tentativas de soluo, o algoritmo de Dekker, a soluo de Peterson. 3.4 As primitivas Sleep e Wake-Up 3.5 Semforos: conceitos e exemplos de uso 3.6 Monitores: conceitos e exemplos de uso 3.7 Problemas clssicos de sincronizao 3.8 Programao concorrente (exemplos) 3.9 Threads: motivao, threads versus processos, user-level threads, kernel-level threads, modelos de implementao, Interfaces de programao (ex: pthreads) 3.10 Comunicao entre processos (IPC) e Sinais: memria compartilhada, troca de mensagens. Prova Parcial 2 Trabalho de Programao 2 4. GERNCIA DE MEMRIA (12h) 4.1 Conceitos bsicos: endereo lgico e fsico, espao de endereamento, relocao de endereos 4.2 Gerncia de memria em sistemas monoprogramados 4.3 Gerncia de memria real: parties fixas e parties variveis 4.4 Gerncia de memria virtual baseada em paginao: motivao, pgina, moldura de pgina, tabela de pginas, memria associativa, tabela de pginas multinvel, tabela de pginas invertida, algoritmos de substituio de pginas. 4.5 Modelagem de algoritmos de paginao 4.6 Aspectos de projeto de sistemas de paginao: o modelo de conjunto de trabalho (working set), polticas de alocao global e local, tamanho de pginas. 4.7 Segmentao: motivao, segmentao pura, segmentao combinada com paginao. 5. INTRODUO A VIRTUALIZAO (3h) 6. O SISTEMA DE ARQUIVOS (7h) 5.1 Conceitos bsicos: nomes, estrutura, tipos, operaes, atributos 5.2 Diretrio: o modelo hierrquico, caminho absoluto e relativo, operaes em diretrios, 5.3 Implementao de sistemas de arquivos: implementao de arquivos e diretrios, arquivos compartilhados, gerncia de espao em disco, confiabilidade e desempenho. 5.4 Segurana de sistemas de arquivos 5.5 Mecanismos de proteo

7. GERNCIA DE ENTRADA E SADA (3h) 6.1 Dispositivos de E/S 6.2 Controladoras de perifricos 6.3 Polticas de E/S 6.4 Drivers de dispositivos 6.5 Organizao do software de E/S

8. ESTUDO DE CASO (15h) Prova Parcial 3

BIBLIOGRAFIA 1. ilberschatz, P. Baer Galvin, e G. Gagne, , ''Fundamentos de Sistemas Operacionais'', 6a. Edio, Editora LTC, 2004. 2. A.S. Tanenbaum, ''Sistemas Operacionais Modernos'', 3a. Edio, Editora Prentice-Hall, 2010. 3. Deitel H. M.; Deitel P. J.; Choffnes D. R.; Sistemas Operacionais, 3. Edio, Editora Prentice-Hall, 2005, ISBN 8576050110. 4. W. Stallings, ''Operating Systems: internals and design principles'', 5th Edition, Editora Prentice-Hall, 2004. 5. Silberschatz, P. Baer Galvin, e G. Gagne ''Sistemas Operacionais com Java'', 7a. Edio, Elsevier Editora / Campus, 2008. 6. A.S. Tanenbaum e A. S. Woodhull, ''Sistemas Operacionais: projeto e implementao'', 2a. Edio, Editora Bookman, 2000. 7. R. S. de Oliveira, A. S. Carissimi e S. S. Toscani, ''Sistemas Operacionais'', 3 Edio (srie didtica da UFRGS), Editora Sagra-Luzzato, 2004.