Home page of Giuseppe Lipari

Contacts

RETIS Lab
TeCIP
Scuola Superiore Sant'Anna
Via Moruzzi, 1
56127 Pisa, ITALY
tel: +39 050 882030
fax: +39 050 883003
email: g.lipari at sssup dot it

News

14 Febbraio 2013 OOSD course

All news

Corso di Sistemi in Tempo reale Corso di laurea in Ingegneria dell'automazione Anno accademico 2009-2010

Organizzazione dell'esame

L'esame consiste in un breve compito scritto seguito da un orale (nella stessa giornata). Il compito scritto contiene uno o due esercizi, dei quali uno almeno sulla programmazione con POSIX, e un altro eventualmente su analisi di schedulabilità o diagrammi a stati.

Chi intende partecipare ad un appello è pregato di comunicarlo via e-mail al sottoscritto qualche giorno prima dell'appello stesso.

Compiti di esame di alcuni appelli precedenti (risolti)

Slides

Le slides verranno modificate rispetto all'anno scorso.

Slides singoli

  1. Introduzione (slides, handout)
  2. Introduzione ai sistemi operativi (slides)
  3. Richiami di architetture hardware (slides)
  4. Processi e thread (slides)
  5. Concorrenza (slides, handout, examples)
  6. Semafori (slides, handout, examples)
  7. Pthread programming (slides, examples)
  8. Design of concurrent programs (slides, problems and solutions)
  9. Deadlock (slides)
  10. Task Model (slides)
  11. Fixed Priority (slides, handouts, open office file)
  12. Earliest Deadline First (slides, handouts)
  13. Shared resources (slides, handouts)
  14. POSIX Real-Time interface (slides, handouts, examples)
  15. State machines (slides, handouts)
  16. Mode changes (slides, handouts, examples)