Programação

  • Geral

  • Programa

    • Uma introdução a sistemas operacionais.
    • Processos, threads, escalonamento.
    • Concorrência: modelagem, exclusão mútua, monitores e sincronização, deadlock, segurança e vivacidade.
    • Uma introdução a sistemas de tempo real: definições, análise de requisitos, projeto,segurança e tolerância a falhas.
    • Especificações de tempo e escalonamento em sistemas de tempo real.
    • Estudos de caso: sistemas de controle em tempo real

    • Bibliografia

      1. Silberschatz, Galvin and Gagne, Operating System Concepts, Sixth Edition, Addison-Wesley, 2001 (Livro Texto).
      2. Jeff Kramer and Jeff Magee, Concurrency: State Models and java Programs, John Wiley & Sons,
      3. Alan Burns and Andy Wellings, Real-time and Programming Languages, third edition, Addison-Wesley, 2001.
      4. Jean-Marie Farines, Joni da Silva Fraga, Romulo Silva de Oliveira, Sistemas de Tempo Real, Escola de Computação, 2000.
      5. Anton Cervin: Integrated Control and Real-Time Scheduling. PhD? thesis ISRN LUTFD2/TFRT-1065-SE, April 2003. Department of Automatic Control, Lund Institute of Technology, Sweden.
      6. Anton Cervin: Towards the Integration of Control and Real-Time Scheduling Design. Licentiate thesis ISRN LUTFD2/TFRT-3226-SE, May 2000. Department of Automatic Control, Lund Institute of Technology, Sweden.
      7. Andrew S. Tanenbaum, Modern Operating System, Prentice-Hall, 2002. (Também em Português).
      8. William Stallings, Operating Systems, Fourth edition, Prentice-Hall, 2001.
      9. Andrew S. Tanenbaum. Structured Computer Organization, Fourth Edition, Prentice-Hall, 1999.
      10. William Stallings, Computer Organization & Architecture: Designing for Performance. Sixth edition, Prentice-Hall, 2002 (Também em Português).

      • Horário das Aulas

        Quartas-Feiras 9:00h-12:00h

        • Critério de Avaliação

          Média = (P1+2*P2)/3

          • Programa Detalhado

            • Aula 1: (13 de Setembro) Apresentação do Curso. Disponibilização da Primeira Lista de Exercícios
              • Slides Aula 1
              • Slides adicionais Parte 1 (Aula 1 - PMR2440)
              • Slides adicionais Parte 2 (Aula 2 - PMR2440)
              • Lista 1

            • Aula 2: (20 de Setembro) Introdução aos Sistemas Operacionais (parte 1)
              • Slides Aula 2
            • Aula 3: (27 de Setembro) Introdução aos Sistemas Operacionais  (parte 2)
              • Slides Aula 3
            • Aula 4: (04 de Outubro) Concorrência (parte 1), disponibilização da Segunda Lista de Exercícios
              • Slides Aula 4
              • Material Original do Livro, Concurrency: State models & JAVA programs, Jeff Magee and Jeff Kramer, John Wiley & Sons, 2nd Edition.
              • Lista 2
            • Aula 5: (11 de Outubro) Concorrência (parte 2), Entrega da Primeira Lista de Exercícios, Prova 1
              • Slides Aula 5
            • Aula 6: (18 de Outubro) Concorrência (parte 3), Ferramenta Gráfica de analise: LTSA. Exemplos.
            • Aula 7: (25 de Outubro) Concorrência - Exemplos.
            • Aula 8: (01 de Novembro) Introdução aos Sistemas de Tempo Real, Especificação de Tempo e Escalonamento. Estudo de casos. Disponibilizaçao da Segunda Lista de Exercícios.
              • Slides - Livro Real Time Systems and Programming Languages
              • Lista 3
            • Aula 9: (08  de Novembro) Inversão de Prioridades. Sistemas de Controle e Escalonamento em Sistemas de Tempo Real.
              • Slides
            • Aula 10: (22 de Novembro) Sistemas de Controle e Escalonamento em Sistemas de Tempo Real (Parte 1)
            • Aula 11: (29 de Novembro) Sistemas de Controle e Escalonamento em Sistemas de Tempo Real (Parte 2)
            • Aula 12: (06 de Dezembro) Entrega da Segunda e Terceira Listas de Exercícios, Prova 2

          • Notas - Prova 1 E 2

            Notas Prova 1


            1. Diego Varalda de Almeida - 8.5
            2. João Henrique Angelo - 8.5
            3. Helton Harada - 9.5
            4. Jonathan Maximo de Oliveira - 6.7
            5. Leonardo Morais de Souza - 6.5
            6. Rodrigo Inocenti - 6.0
            7. Victor Alberto Romero Gonzalez - 9.8


            Notas Prova 2

            1. Diego Varalda de Almeida - 5.5
            2. João Henrique Angelo - 9.5
            3. Helton Harada - 5.5
            4. Jonathan Maximo de Oliveira - 8.0
            5. Leonardo Morais de Souza - 
            6. Rodrigo Inocenti - 7.5
            7. Victor Alberto Romero Gonzalez - 9.5

            OBS: As notas finais serão das por conceitos i.e. A,B,C ou R. Será levado em conta as listas de exercícios.



            • Tópico 7

              • Tópico 8

                • Tópico 9

                  • Tópico 10