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

• 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

Exemplos

1. 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 &
2. 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
3. comunicação de processos distribuídos
   1. download
   2. diretório c documentado em
      html
4. sincronização de processos distribuídos
   1. download
5. correção de algoritmos concorrentes
   1. download

Avaliações Semanais

1. AS0 (resultados não corrigidos)
2. AS1 (resultados parciais)
3. AS2

Trabalhos Práticos

1. TP0
   Alguns alunos relataram problema na construção de escalonamento preemptivo. Veja exemplos de tratamento sinais em signals

   Uso do CVS

   • Existem hoje 16 contas para SP-II (identificadas sp00, sp01, sp02,..., sp15) e 16 contas para SO so00, so01, so02,..., so15).
   • Elas são acessíveis via ssh na máquina
     mestrado15.inf.ufes.br
   • Escolha uma conta, por exemplo, so01 e entre nela usando ssh:
     ssh mestrado15.inf.ufes.br -l so15
   • Mude seu passsword, usando passwd
   • Desconecte-se.
   • É sua responsabilidade encontrar uma conta livre e providenciar a mudança de password.
   • Crie seu repositório usando cvs.
   • Deposite no repositório arquivo de nome GRUPO, contendo nomes e matrículas dos componentes do grupo.
   • Deposite no repositório documento contendo plano de trabalho.
   • Atualize seu repositório a cada dia de trabalho: regularidade de atualização contará preciosos pontos.
2. TP1

Provas

1. Prova 0: 25/03/02
2. Prova 1: 29/04/02