Libri UniversitariApri il catalogo

Alglave – Frightening small children and disconcerting grown-ups

Libro adottato a Udine, a.a. 2026/2027 · 1 canale

«Alglave – Frightening small children and disconcerting grown-ups» è adottato per Sistemi Operativi (Ingegneria Gestionale – sede di Udine, Sede di UDINE – Udine).

Alglave – Frightening small children and disconcerting grown-upsCerca su Amazon ›

Come lo indica il docente: J. Alglave, L. Maranget, P. E. McKenney, A. Parri, A. Stern, "Frightening small children and disconcerting grown-ups: Concurrency in the Linux kernel", ASPLOS'18, March 24–28, 2018, Williamsburg, VA, USA

Chi lo adotta

Programma e testi di ogni canale

Sistemi Operativi Canale unico

Corso di laurea: Ingegneria Gestionale – sede di Udine, Sede di UDINE · Laurea magistrale (LM-31) · esame facoltativo

Udine · Dpia - Dipartimento Politecnico di Ingegneria e Architettura · CFU · apri nel catalogo · Ingegneria Gestionale – sede di Udine, Sede di UDINE · 1º anno · 2º semestre ›

Per approfondimenti si possono consultare i libri

Kerrisk – The Linux programming interface - a Linux…Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Articoli scientifici di interesse per il corso

Li – Efficient and Scalable Multiprocessor Fair Scheduling Using…Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Lozi – The Linux SchedulerCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Mosberger – Memory Consistency ModelsCerca su Amazon ›Da studiare: Pp. 18-26Verificato sulla scheda ufficiale il 03/10/2026
McKenney – Memory BarriersCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Alglave – Frightening small children and disconcerting grown-upsquesto libroCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Xiao – Efficient Synchronization for Distributed Embedded MultiprocessorsCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Michael – Hazard PointersCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Jacob – Virtual Memory in Contemporary MicroprocessorsCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare
  • Le lezioni frontali e il materiale didattico fornito sono sufficienti per la comprensione degli argomenti trattati nel corso e per la preparazione all'esame.

Argomenti del programma: Struttura dei sistemi operativi - Livelli di protezione. - Processi e thread. - Scheduling. - Modelli di consistenza della memoria. - Sincronizzazione. - Gestione della memoria. - Input/Output. - Memoria di massa. - Filesystem. UNIX - Standard e implementazioni principali. - File di configurazione e informazione. - Processi e thread. - Sincronizzazione. - Comunicazione tra processi. - I/O avanzato.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Si studia insieme a