Diagrama de temas
-
- 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
- Uma introdução a sistemas operacionais.
-
- Silberschatz, Galvin and Gagne, Operating System Concepts, Sixth Edition, Addison-Wesley, 2001 (Livro Texto), link para várias edições do livro: https://www.os-book.com/.
- Silberschatz, Galvin and Gagne, Fundamentos de Sistemas Operacionais, LTC, 9a. edição, 2015.
- Jeff Kramer and Jeff Magee, Concurrency: State Models and java Programs, John Wiley & Sons, link para a 2a. edição: https://www.doc.ic.ac.uk/~jnm/book/, link para a 1a. edição: https://www.doc.ic.ac.uk/~jnm/book/firstbook/index.html.
- Alan Burns and Andy Wellings, Real-time and Programming Languages, third edition, Addison-Wesley, 2001. link para material da 3a. edição: https://www.cs.york.ac.uk/rts/books/RTSBookThirdEdition.html, link para material da 4a. edição: https://www.cs.york.ac.uk/rts/books/RTSBookFourthEdition.html#_Teaching_Aids.
- Jean-Marie Farines, Joni da Silva Fraga, Romulo Silva de Oliveira, Sistemas de Tempo Real, Escola de Computação, 2000.
- 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.
- 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.
- Andrew S. Tanenbaum, Modern Operating System, Prentice-Hall, 2002. (Também em Português).
- William Stallings, Operating Systems, Fourth edition, Prentice-Hall, 2001.
- Andrew S. Tanenbaum. Structured Computer Organization, Fourth Edition, Prentice-Hall, 1999.
- William Stallings, Computer Organization & Architecture: Designing for Performance. Sixth edition, Prentice-Hall, 2002 (Também em Português).
- Silberschatz, Galvin and Gagne, Operating System Concepts, Sixth Edition, Addison-Wesley, 2001 (Livro Texto), link para várias edições do livro: https://www.os-book.com/.
-
Quarta-Feira 9:00h-12:00h
-
Média = (P1+2*P2)/3
-
- 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 Caps. 1 e 2 Magee & Kramer
- 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) PROVA
- Aula 6: (18 de Outubro) Concorrência (parte 2)
- Slides Cap. 3 e 4
- Aula 7: (25 de Outubro) Concorrência (parte 3)
- Slides Cap. 5 e 6
- Aula 8: (01 de Novembro) Concorrência (parte 4)
- Slides Cap. 7 e 8
- Aula 9: (08 de Novembro) Introdução aos Sistemas de Tempo Real, Especificação de Tempo e Escalonamento. Estudo de casos.
- Slides - Livro Real Time Systems and Programming Languages
- Lista 3
- Aula 10: (22 de Novembro) Inversão de Prioridades. Sistemas de Controle e Escalonamento em Sistemas de Tempo Real.
- Slides Cap 13 - Real Time Systems and Programming Languages
- Aula 11: (29 de Novembro) Sistemas de Controle e Escalonamento em Sistemas de Tempo Real
- Slides Controle
- Aula 12: (06 de Dezembro) Entrega da Segunda e Terceira Listas de Exercícios, Prova 2
-
-
-
-