Sistemas Operacionais
Raul H.C. Lopes
Programa
Referências básicas
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: 3 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
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 &
Trabalhos
