Sistemas Operacionais

Raul H.C. Lopes

Texto:
Operating Systems Concepts
Abraham Silberschatz and Peter Baer Gavin and Greg Gagne

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.

Atualizado 08/03/02: LEIA! IMPORTANTE!
Aqui você encontra documento com regras sobre execução, avaliação, submissão de trabalhos e provas.

concorrência Primeiro conjunto de exemplos sobre concorrência, com programas escritos em Occam (kroc compiler) e C(com pthreads). Para instalação:
1. download
2. tar -zxf intro.conc.tgz
3. cd intro.conc
4. pdflatex README
5. xpdf README &
comunicação de processos Programas concorrentes para obter conjunto de primos escritos em C e Ada. Para instalação:
1. download
2. tar -zxf proc.comm.tgz
3. cd proc.comm
4. cd c
5. gcc sievethreads.c -lpthread
6. gcc mxsievethreads.c -lpthread
comunicação de processos distribuídos
1. download
2. diretório c documentado em
  html
sincronização de processos distribuídos
1. download