Lezioni Anno Accademico 2018/19 I semestre
questa pagina serve per scrivere idee, riassunti dei concetti espressi, commenti approfondimenti sulle lezioni.
Lezione del 25 settembre 2018
Presentazione Corso
Introduzione generale sui concetti di:
- Università
- Informatica
- hardware software
- codice
- rivoluzione digitale
Risorse del corso:
- il docente: mailinglist-mail-ricevimento
- la mailinglist
- lezioni live (cercate davoli-live con un motore di ricerca e fate click su qui)
- il sito web www.cs.unibo.it/~renzo/so
- il wiki so.v2.cs.unibo.it
- il bot so.cs.unibot
- la macchina virtuale soho
- i vostri sistemi BYOD (bring your own device)
- i lab del dipartimento (ercolani+ranzani)
Cose da fare per gli studenti (compiti a casa):
- avere account di laboratorio
- avere un sistema GNU-Linux
- creare i gruppi di laboratorio
- iscriversi alla mailing list
Lezione del 27 settembre 2018
prima definizione di sistema operativo (astrazione-unificazione-gestione-controllo)
algoritmo - programma - processo
livelli - linguaggi - servizi - astrazioni
linguaggio = (alfabeto, lessico, sintassi, semantica)
UNIX: storia e principi costruttivi
Motivazioni del linguaggio C
C-toolchain (ed esempi di uso della shell UNIX).
Lezione del 2 ottobre 2018
Principi del linguaggio C.
Assegnati esercizi di lettura di programmi in C.
Esperimenti sulla portabilità dei compilatori.
Lezione del 9 ottobre 2018
Esercizi di lettura su puntatori e vettori e su puntatori a funzione unioni e strutture
mascheramento di bit
Introduzione ai sistemi di versioning (git) e ai sistemi di gestione delle compilazioni (cmake).
Lezione del 11 ottobre 2018
- installazione di GNU-Linux
- gruppi lab
- UNIX: struttura standard del file system (ma cosa e' il file system: 3 definizioni)
- user/group
- tipi di file in UNIX
Lezione del 16 ottobre 2018
Static/extern/auto/register preprocessore, compilazione condizionale inizializzazioni const
parametri a linea comando
link fisici e simbolici processi: foreground/background quoting
Lezione del 18 ottobre 2018
Ruoli delle persone in rapporto ai sistemi operativi: utenti, programmatori(applicazioni), programmatori (sistema), amministratori, sviluppatore kernel.
Librerie e System call. librerie statiche e dinamiche Libreria standard C (stdio, errno, string, stdlib-allocazione dinamica).
Lezione del 23 ottobre 2018
Il catalogo delle system call di UNIX... File I/O Device I/O Memoria Process mgmt Networking IPC
-
Ritorno alla teoria...
Breve storia dei sistemi anche operativi. Richiami di architettura: von newmann, interrupt/trap DMA, gerarchia di memoria, cache...