Differenze

Queste sono le differenze tra la revisione selezionata e la versione attuale della pagina.

--- informatica:sol:laboratorio21 [16/02/2021 alle 13:55 (5 anni fa)] – [Virtual Machine (VirtualBox)] Alessio Conte
+++ informatica:sol:laboratorio21 [19/01/2025 alle 16:54 (11 mesi fa)] (versione attuale) – [Informazioni pratiche] Massimo Torquati
@@ Linea 2: / Linea 2: @@
 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 =====
@@ Linea 12: / Linea 16: @@
   * **Ricevimento elettronico**: contattate il docente per posta elettronica.
   * Ricevimento tradizionale :
-         * (Corso A): Conte (Venerdì 11:00 - 13:00)
+         * (Corso A): Conte (Martedì 16:00 - 18:00)
-         * (Corso B): Torquati (Venerdì 11:00 - 13:00) Mencagli (Venerdì 11:00 - 13:00)
+         * (Corso B): Torquati (Lunedì 16:00 - 18:00) Mencagli (Venerdì 11:00 - 13:00)
@@ Linea 23: / Linea 27: @@
 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.
@@ Linea 39: / Linea 50: @@
 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/
@@ Linea 67: / Linea 80: @@
   * 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).
-  * [[http://pauillac.inria.fr/~xleroy/linuxthreads/faq.html|LinuxThreads Frequently Asked Questions
+  * [[https://web.fe.up.pt/~jmcruz/etc/threads/linuxthreads-faq.html|LinuxThreads Frequently Asked Questions (with answers)]]
-(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]]