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

Programmazione in C:

-Utilizzo delle keyword 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...