DidaWiki

Questa pagina è in sola lettura. Puoi visualizzare il sorgente, ma non puoi modificarlo. Contatta l'amministratore se pensi che ci sia un errore.
====== Modulo: Laboratorio di Programmazione Sistema 2020/21 corsi A e B ======

Motto: //Talk is cheap. Show me the code// Linus Torvalds (2000-08-25). Message to linux-kernel mailing list.

======  **Chi deve sostenere il vecchio esame SOL (Sistemi Operativi e Laboratorio) è pregato di contattare il docente.** ======

Prof. Massimo Torquati <massimo.torquati@unipi.it>

===== Informazioni pratiche =====
  * Vedi il [[informatica:sol:laboratorio:programma|il programma del corso]] per i prerequisiti ed il programma di massima.
  * Docenti: 
     * (**Corso A**) [[https://unimap.unipi.it/cercapersone/dettaglio.php?ri=136624| Alessio Conte]]
       * Orario Lezioni: Martedì 14:00--16:00  Venerdì 9:00--11:00
     * (**Corso B**) [[http://www.di.unipi.it/~torquati/|Massimo Torquati]] [[http://www.di.unipi.it/~mencagli/| Gabriele Mencagli]], stanza 287/DE, Dip. Informatica   
       * Orario Lezioni: Martedì 14:00--16:00  Giovedì 11:00--13:00   
  * **Ricevimento elettronico**: contattate il docente per posta elettronica.
  * Ricevimento tradizionale : 
         * (Corso A): Conte (Martedì 16:00 - 18:00)
         * (Corso B): Torquati (Lunedì 16:00 - 18:00) Mencagli (Venerdì 11:00 - 13:00) 

  
===== Lezioni ed esercitazioni =====
Vedete la pagina delle 
  * [[informatica:sol:laboratorio21:esercitazioniB:|lezioni ed esercitazioni]]
 per i materiali relativi ad ogni lezione ed esercitazione.

Link al canale MS Teams di Laboratorio:
[[https://teams.microsoft.com/l/team/19%3Ad7dd3f9cff974e9289570eb0688ccded%40thread.tacv2/conversations?groupId=9fea6d64-5345-42ea-bf36-2241674db70a&tenantId=c7456b31-a220-47f5-be52-473828670aa1| Laboratorio di Sistemi Operativi (CorsoA e Corso B)]]



[[https://discord.gg/T7ZHxYvae6| Canale Discord per esercitazioni]]

[[https://docs.google.com/spreadsheets/d/1b2otocpcmt2v-Bpupyqffq6oHNPhjvwURgOZb-AK3ms/edit?usp=sharing| Gruppi per esercitazioni (CorsoA e Corso B)]]

===== Avvisi urgenti =====
Per gli avvisi urgenti controllare la pagina degli [[informatica:sol:laboratorio21:avvisi|avvisi]]. E' possibile richiedere di essere avvisati automaticamente (via email) ogni volta che un nuovo avviso viene aggiunto alla pagina. Seguire le istruzioni indicate nella pagina stessa.

===== Materiale didattico =====

==== Libro di testo ====
Marc J. Rochkind. **Advanced UNIX Programming 2nd Edition**, Addison-Wesley Professional Computing Series, 2004.\\
Vedi anche [[http://www.basepath.com/aup/|il sito web del libro con sorgenti, esercizi e altre informazioni]].

==== Virtual Machine (VirtualBox) ====

E' disponibile un disco virtuale (formato .vmdk) contenente una installazione completa di [[http://xubuntu.org|XUbuntu]] con tutti gli strumenti di sviluppo richiesti per il corso, che può essere fatta partire utilizzando (ad esempio) il sistema di virtualizzazione [[http://www.virtualbox.org|VirtualBox]].   [[http://calvados.di.unipi.it/storage/teaching/LinuxVM/README.pdf| Qui]] è possibile scaricare alcune semplici note (in formato pdf) che descrivono come creare una macchina virtuale (VM) sotto VirtualBox partendo da un disco esistente. Il disco virtuale compresso (.zip) della VM è scaricabile seguendo il [[http://calvados.di.unipi.it/storage/teaching/LinuxVM/xubuntu.vmdk.zip| link]] (circa 3GB !). 

== WSL (Utenti Windows 10) ==

Per Windows 10 è disponibile WSL (Windows Subsystem for Linux) che consente di utilizzare una shell linux direttamente in Windows.
E' decisamente più comodo di VirtualBox per piccoli programmi, ma per assicurare la compatibilità è bene testare il progetto finale su VirtualBox prima della consegna.

   * [[https://docs.microsoft.com/en-us/windows/wsl/install-win10|Istruzioni installazione WSL]]
   * Il disco C di Windows si torvera' in /mnt/c/
   * Si puo modificare la cartella iniziale della shell tramite il file ".bashrc" nella cartella home, tramite il comando: 
<code bash>
echo "cd /mnt/c/" >> ~/.bashrc
</code>
(o in qualsiasi cartella si preferisce, as es in C:/questa/cartella/qui/ sostituendo '/mnt/c/' con '/mnt/c/questa/cartella/qui/')
   * E' disponibile "sudo apt install" per installare software, come tutti gli altri comandi normalmente disponibili su Linux (e' una vera distribuzione Linux, non un emulatore)
   * Va installato il compilatore 'gcc' eseguendo i comandi 'sudo apt update' e poi 'sudo apt install gcc'
   * L'ambiente grafico può essere [[https://virtualizationreview.com/articles/2017/02/08/graphical-programs-on-windows-subsystem-on-linux.aspx|installato separatamente]], ma ai fini del corso non e' necessario. 
   * [[https://docs.microsoft.com/en-us/windows/wsl/faq|FAQs su WSL]]
==== Altro materiale ====
  * (su Unix con introduzione alla programmazione di shell) G. Glass, K. Ables. **UNIX for Programmers and Users**, Prentice Hall, 1999.\\ In particolare per la introduzione ai comandi Unix si possono consultare i capitoli 2 e 3 e per la programmazione bash servono i capitoli 4 e 5.
  * (su C) Kelley, Pohl. **C: Didattica e Programmazione** (seconda edizione), Addison-Wesley, 2004.
  * Kernighan & Pike  //Programmazione nella pratica//  Addison-Wesley, 1999. ISBN 8871920724.\\ Un ottimo libro per migliorare lo stile di programmazione: insieme di consigli su come organizzare i programmi in modo ragionevole con esempi C e Java.
  * Richard W. Stevens. [[http://www.kohala.com/start/apue.html| Advanced Programming in the UNIX Environment]] Addison-Wesley, 1992, ISBN 0-201-56317-7.\\ Il libro piu' completo e chiaro sulla programmazione con SC in ambiente Unix.
  * [[http://www.lilik.it/~mirko/gapil/gapil.html|GaPiL]]: Guida alla Programmazione in Linux
  * Manuali in linea dei tool di sviluppo GNU: [[http://www.gnu.org/software/make/manual/make.html|make]] [[http://www.gnu.org/software/gcc/onlinedocs/|gcc]] [[http://www.gnu.org/software/emacs/manual/|emacs]] [[http://www.gnu.org/software/ddd/manual/|ddd]] [[http://www.sunsite.ualberta.ca/Documentation/Gnu/gdb-4.18/html_chapter/gdb_toc.html|GDB]]
  * {{:lcs:lcs09:gdb-commands.pdf|Sommario GDB commands}}
  * [[lcs:lcs07:emacs_commands|Un sommario di comandi di emacs]]
  * [[lcs:lcs07:bash_commands|Un sommario basico di comandi bash]]
  * [[http://www.pluto.it/files/ildp/guide/abs/index.html|Guida avanzata di scripting Bash]], la guida piu' completa e aggiornata sulla bash (versione in Italiano).
  * [[http://lowfatlinux.com/|Low fat linux]]
  * {{:lcs:lcs07:bashquickreference.pdf|Un sommario completo di comandi bash}}
  * [[http://www.digilife.be/quickreferences/quickrefs.htm|Un sito di 'sommari' (quick references)]] su tutto!
  * Manuali in linea delle funzioni di libreria standard e delle SC: //man nomefunzione man -k argomento//
  * Altre informazioni in linea (bash, make tec.) //ESC-X info// da emacs.
  * Il sito di riferimento per le specifiche standard di tutte le funzioni SC e librerie [[http://www.unix.org/version3/online.html|Open Group SUS (Single Unix Specification)]]. E' gratuito (basta registrarsi).
  * [[https://web.fe.up.pt/~jmcruz/etc/threads/linuxthreads-faq.html|LinuxThreads Frequently Asked Questions (with answers)]]
  * Alcuni tool utili: [[http://valgrind.org|valgrind]], [[http://www.doxygen.org|doxygen]], [[http://gcc.gnu.org/onlinedocs/gcc/Gcov.html|gcov]], [[http://ltp.sourceforge.net/coverage/lcov.php|lcov]], [[http://www.splint.org/|splint]] [[http://www.cs.utah.edu/dept/old/texinfo/as/gprof.html|gprof]]
  * Confronto fra bash e dash: [[http://princessleia.com/plug/2008-JP_bash_vs_dash.pdf| trasparenze con le differenze principali]]


===== Esame =====
L'esame prevede lo svolgimento di un **progetto** con relativa discussione. 
**Si ricorda che per sostenere l'esame (sia teoria che laboratorio) e' INDISPENSABILE iscriversi entro la data prevista per l'appello, anche se si deve sostenere solo la parte di laboratorio.** Il testo del progetto e le informazioni per la consegna sono reperibili nella pagina ufficiale del **[[informatica:sol:laboratorio21:progetto|progetto]]**. 


===== Comments =====
Per tutto il resto mandate una email ai docenti. \\