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