Sistemas Operacionais
Raul H.C. Lopes
Programa
Referências básicas
- Texto:
Operating Systems Concepts
Abraham Silberschatz and Peter Baer Gavin and Greg Gagne
Avaliação
Ao longo do curso, realizaremos três tipos de atividades, que
serão usadas em termos de avaliação:
- Provas: 2 provas individuais, com consulta, envolvendo todo o conteúdo abordado até à respectiva data.
- Trabalhos Práticos: 2 trabalhos de implementação, usando as seguintes linguagens: C, C++, Ada, Java, Occam, Assembler.
- Exercícios semanais: exercícios de especificação de algoritmos, usando ferramentas de verificação como
Spin, Murphy, Mona, ou TLC.
Regras de Sobrevivência
Alterado: 08/03/02 (confira datas de provas cálculo de nota final)
Aqui você
encontra documento com regras sobre execução, avaliação,
submissão de trabalhos e provas.
Exemplos
- concorrência
Primeiro conjunto de exemplos sobre concorrência, com programas escritos em
Occam (kroc compiler) e C(com pthreads). Para instalação:
- download
- tar -zxf intro.conc.tgz
- cd intro.conc
- pdflatex README
- xpdf README &
- comunicação de processos
Programas concorrentes para obter conjunto de primos escritos em C e Ada. Para
instalação:
- download
- tar -zxf proc.comm.tgz
- cd proc.comm
- cd c
- gcc sievethreads.c -lpthread
- gcc mxsievethreads.c -lpthread
- comunicação de processos distribuídos
- download
- diretório c documentado em
html
- sincronização de processos distribuídos
- download
- correção de algoritmos concorrentes
- download(Vers\~ao 23/3:13h)
Avaliações Semanais
- AS0 (resultados não corrigidos)
- AS1 (resultados parciais)
- AS2
Trabalhos Práticos
- TP0 (alterado:18/3/02)
IMPORTANTE: data limite para definir grupos e trabalhos: 18/3.
Provas
- Prova 0: 25/03/02