IMPORTANT DATES::DATAS IMPORTANTES

• [2020-04-14] Programming test::Prova de Programação
• [2020-05-22 @ 20:00] Project::Projeto
  • Because of CoViD-19, we have extended the projet's deadline to 2020-05-26 @ 20:00

NEWS::ÚLTIMAS NOTÍCIAS

LECTURES::AULAS TEÓRICAS:

• AT29(2019-05-28):
  • The Fast File System
    • File System Implementation (OSTEP Ch.41)
• AT28(2019-05-27):
  • Sistema de Ficheiros e sua Implementação (Cont.)
    • File System Implementation (OSTEP Ch.40)
• AT27(2019-05-21):
  • Hard Disk Drives
    • Hard Disk Drives (OSTEP Ch.37)
  • Sistema de Ficheiros e sua Implementação
    • File System Implementation (OSTEP Ch.40)
• AT26(2020-05-20):
  • Concurrency in the Linux Kernel
• AT25+AT24(2020-05-14+13):
  • Virtual Memory: Page Faults
    • Beyond Physics: Policies (OSTEP Ch.22)
    • Beyond Physics: Mechanisms (OSTEP Ch.21)
    • Ciro Santilli, x86 Paging Tutorial
• AT23(2019-05-07):
  • Virtual Memory: Smaller PTs
    • Virtual Memory: Paging: Smaller Pages (OSTEP Ch. 20)
• AT22(2020-05-06):
  • Virtual Memory: TLB
    • Virtual Memory: TLBs (OSTEP Ch. 19)
• AT21(2020-04-26):
  • Virtual Memory: Paging
    • Virtual Memory: Paging (OSTEP Ch. 18)
• AT20(2020-04-25):
  • Virtual Memory: Basic Mechanisms
    • Virtual Memory: Introduction (OSTEP Ch. 13)
    • Virtual Memory: Address Translation (OSTEP Ch. 15)
    • Virtual Memory: Segmentation (OSTEP Ch. 16)
• AT19+AT18 (2020-04-23+22):
  • Input/Output: SW Layers
• AT17 (2020-04-16):
  • Input/Output: Introduction and HW/SW Interface
  • I/O Devices (OSTEP chapter)
• AT16+AT15 (2020-04-15+02):
  • Concurrency Bugs
  • Concurrency Bugs (OSTEP Ch. 32)
• AT14 + AT13 (2020-04-01 + 2020-03-26):
  • Semaphores
  • Semaphores (OSTEP Ch. 31)
• AT13+AT12+AT11 (2020-03-26+25+19):
  • Condition Variables(Last Update: 2020-03-25@10:30)
  • Condition Variables (OSTEP Ch. 30)
• AT11+AT10+AT09 (2020-03-19+18+11):
  • Locks: Usage and Implementation (Last Update: 2020-03-18@14:00)
    • Concurrency: Locks (OSTEP Ch. 28)
    • Concurrency: Locked Data Structures (OSTEP Ch. 29)
• AT08 (2020-03-05):
  • Threads and Concurrency
  • Concurrency: Intro (OSTEP Ch. 26)
  • Arpaci-Dusseau's example code
• AT07 (2020-03-04):
  • Threads and Libpthread
  • Interlude: Thread API (OSTEP Ch. 27)
• AT06 (2020-02-27):
  • Process scheduling
  • CPU Scheduling (OSTEP chapter)
  • Multilevel Feedback (OSTEP chapter)
• AT05 (2020-02-26):
  • Limited Direct execution
  • Limited Direct Execution (OSTEP Chapter)
• AT04 (2020-02-20):
  • Processes
  • The process abstraction (OSTEP chapter)
  • Process API (OSTEP Chapter)
• AT03 (2020-02-19):
  • Chamadas ao sistema e Ficheiros
  • Files and Directories (OSTEP chapter)
  • Simple file access (Code example)
• AT02 (2020-02-13):
  • OS Introduction to Operating Systems
  • Code for exemplifying virtualization
  • Introduction to Operating Systems (OSTEP chapter)
• AT01 (2020-02-12):
  • Course Information

LAB CLASSES::AULAS LABORATORIAIS:

• Project (Due Date:)
  • Proj (): Serial Port Device Driver: Enhancements
  • Lab 4 (): Serial Port Device Driver: Interrupt-driven Operation
  • Lab 3 (): Serial Port Device Driver: Polled Operation
  • Lab 2 (): Char Device Driver Programming: Basics
    
  • Lab 1 (2020-04-17): VirtualBox
• Problem sets
  • Set 6 (2020-03-27): POSIX Condition Variables
    • Threads API (OSTEP Ch. 27 - all)
    • Locked Data Structures (OSTEP Ch. 29)
    • Concurrency: Condition Variables (OSTEP Ch. 30)
    • Notas do Prof. Pimenta Monteiro só interessa a Secção 7.3 (in Portuguese)
    • Man pages
  • Set 5 (2019-03-20): POSIX Mutexes
    • Threads API (OSTEP Ch. 27 - up to, including, Sec. 27.3)
    • Locked Data Structures (OSTEP Ch. 29)
    • Notas do Prof. Pimenta Monteiro só interessa a Secção 7.2 (in Portuguese)
    • Man pages
  • Set 4 (2020-03-13): POSIX Threads Creation and Termination
    • Threads API (OSTEP Ch. 27 -until Sec. 27.3)
    • Notas do Prof. Pimenta Monteiro sobre Threads POSIX. (in Portuguese)
    • Man pages
  • Set 3 (2020-03-06): Processes and their API in Linux/Unix
    • Processes API (OSTEP chapter)
      
      • Demo code (OSTEP site)
    • Notas do Prof. Pimenta Monteiro sobre API em Linux/Unix. (in Portuguese)
  • Set 2 (2020-02-28): Files in Linux/Unix
    • Files and Directories (OSTEP chapter)
      • You can skip the section on the directories API.
    • Notas do Prof. Pimenta Monteiro sobre programação em C (in Portuguese)
      • You can skip Section 1.3 about the measurement of the execution time.
    • Notas do Prof. Pimenta Monteiro sobre ficheiros. (in Portuguese)
      • You can skip Sections 2.1, 2.2, 2.4 and the part in Section 2.5 about directories and their API.
  • Set 1 (2020-02-14): Programação em C: Revisão
    • Interlude: Memory API (OSTEP chapter)
    • Tópicos sobre programação em C
    • Tópicos de Programação em C. (Apresentados nas ATs em anos anteriores.)

RECURSOS:

• Virtual Box Image
• Operating Systems: Three Easy Pieces, Remzi Arpaci-Dusseau and Andrea Arpaci-Dusseau