diff --git a/anno2/YearI/FirstSem/MCAD/gdrive/Esercitazioni/Caffè/Traccia (Copia in conflitto di Mattia Po 2014-10-10).doc b/anno2/YearI/FirstSem/MCAD/gdrive/Esercitazioni/Caffè/Traccia (Copia in conflitto di Mattia Po 2014-10-10).doc new file mode 100644 index 0000000..97f1f23 Binary files /dev/null and b/anno2/YearI/FirstSem/MCAD/gdrive/Esercitazioni/Caffè/Traccia (Copia in conflitto di Mattia Po 2014-10-10).doc differ diff --git a/anno2/YearI/FirstSem/MCAD/gdrive/Esercitazioni/Caffè/caffe-async (Copia in conflitto di Mattia Po 2014-10-10).txt b/anno2/YearI/FirstSem/MCAD/gdrive/Esercitazioni/Caffè/caffe-async (Copia in conflitto di Mattia Po 2014-10-10).txt new file mode 100644 index 0000000..8d2d7d2 --- /dev/null +++ b/anno2/YearI/FirstSem/MCAD/gdrive/Esercitazioni/Caffè/caffe-async (Copia in conflitto di Mattia Po 2014-10-10).txt @@ -0,0 +1,52 @@ +int maxA,maxR; +int A=0,R=1; + +process contenitore { + port int inizio_vers[2]; + port signal fine_vers; + port signal inizio_estr; + port signal fine_estr; + process v, e; + signal s; + int qA,qR; + int va = 0; + do + qA+1<maxA; v=receive from inizio_vers[A] -> + qA++; + va++; + send(s) to v.ok; + qR+1<maxR; v=receive from inizio_vers[R] -> + qR++; + va++; + send(s) to v.ok; + receive(s) from fine_vers -> + va --; + va==0 && qA==2*qR && qA+qR>=C; e=receive(s) from inizio_estr -> + send(s) to e.ok; + receive(s) from fine_estr + qA = qA - 2/3*C; + qR = qR - 1/3*C; + od +} + +process versatore(X) { + signal s; + port ok; + while(true){ + send(X) to contenitore.inizio_vers[X]; + receive(s) from ok; + <versa> + send(s) to contenitore.fine_vers; + } +} + +process estrattore() { + signal s; + port ok; + while(true) { + send(s) to contenitore.inizio_estr; + receive(s) from ok; + <estrai> + send(s) to contenitore.fine_estr; + } +} diff --git a/anno2/YearI/FirstSem/MCAD/gdrive/Esercitazioni/Esercitazione caffè/Traccia.doc b/anno2/YearI/FirstSem/MCAD/gdrive/Esercitazioni/Esercitazione caffè/Traccia.doc new file mode 100644 index 0000000..97f1f23 Binary files /dev/null and b/anno2/YearI/FirstSem/MCAD/gdrive/Esercitazioni/Esercitazione caffè/Traccia.doc differ diff --git a/anno2/YearI/FirstSem/MCAD/gdrive/Esercitazioni/Esercitazione vettore/Traccia.doc b/anno2/YearI/FirstSem/MCAD/gdrive/Esercitazioni/Esercitazione vettore/Traccia.doc new file mode 100644 index 0000000..17edbc3 Binary files /dev/null and b/anno2/YearI/FirstSem/MCAD/gdrive/Esercitazioni/Esercitazione vettore/Traccia.doc differ diff --git a/anno2/YearI/FirstSem/MCAD/gdrive/Lynch. Distributed Algorithms.pdf b/anno2/YearI/FirstSem/MCAD/gdrive/Lynch. Distributed Algorithms.pdf new file mode 100644 index 0000000..0ce5631 Binary files /dev/null and b/anno2/YearI/FirstSem/MCAD/gdrive/Lynch. Distributed Algorithms.pdf differ diff --git a/anno2/YearI/FirstSem/MCAD/gdrive/Programmazione Concorrente e Distribuita - Ancilotti, Boari.pdf b/anno2/YearI/FirstSem/MCAD/gdrive/Programmazione Concorrente e Distribuita - Ancilotti, Boari.pdf new file mode 100644 index 0000000..d1c1916 Binary files /dev/null and b/anno2/YearI/FirstSem/MCAD/gdrive/Programmazione Concorrente e Distribuita - Ancilotti, Boari.pdf differ diff --git a/anno2/YearI/FirstSem/MCAD/gdrive/Riassunti_pdf_version (Copia in conflitto di Mattia Po 2014-10-10).pdf b/anno2/YearI/FirstSem/MCAD/gdrive/Riassunti_pdf_version (Copia in conflitto di Mattia Po 2014-10-10).pdf new file mode 100644 index 0000000..b59c5e8 Binary files /dev/null and b/anno2/YearI/FirstSem/MCAD/gdrive/Riassunti_pdf_version (Copia in conflitto di Mattia Po 2014-10-10).pdf differ diff --git a/anno2/YearI/FirstSem/MCAD/gdrive/Slide/MCAD13.01 (Copia in conflitto di Mattia Po 2014-10-10).ppt b/anno2/YearI/FirstSem/MCAD/gdrive/Slide/MCAD13.01 (Copia in conflitto di Mattia Po 2014-10-10).ppt new file mode 100644 index 0000000..93ac5e2 Binary files /dev/null and b/anno2/YearI/FirstSem/MCAD/gdrive/Slide/MCAD13.01 (Copia in conflitto di Mattia Po 2014-10-10).ppt differ diff --git a/anno2/YearI/FirstSem/MCAD/gdrive/Slide/MCAD13.02 (Copia in conflitto di Mattia Po 2014-10-10).ppt b/anno2/YearI/FirstSem/MCAD/gdrive/Slide/MCAD13.02 (Copia in conflitto di Mattia Po 2014-10-10).ppt new file mode 100644 index 0000000..ffd11c6 Binary files /dev/null and b/anno2/YearI/FirstSem/MCAD/gdrive/Slide/MCAD13.02 (Copia in conflitto di Mattia Po 2014-10-10).ppt differ diff --git a/anno2/YearI/FirstSem/MCAD/gdrive/Slide/MCAD13.06 (Copia in conflitto di Mattia Po 2014-10-10).ppt b/anno2/YearI/FirstSem/MCAD/gdrive/Slide/MCAD13.06 (Copia in conflitto di Mattia Po 2014-10-10).ppt new file mode 100644 index 0000000..c7e93ab Binary files /dev/null and b/anno2/YearI/FirstSem/MCAD/gdrive/Slide/MCAD13.06 (Copia in conflitto di Mattia Po 2014-10-10).ppt differ diff --git a/anno2/YearI/FirstSem/MCAD/gdrive/Slide/MCAD13.07 (Copia in conflitto di Mattia Po 2014-10-10).ppt b/anno2/YearI/FirstSem/MCAD/gdrive/Slide/MCAD13.07 (Copia in conflitto di Mattia Po 2014-10-10).ppt new file mode 100644 index 0000000..21925c0 Binary files /dev/null and b/anno2/YearI/FirstSem/MCAD/gdrive/Slide/MCAD13.07 (Copia in conflitto di Mattia Po 2014-10-10).ppt differ diff --git a/anno2/YearI/FirstSem/MCAD/gdrive/Slide/introlynch [modalità compatibilità].pdf b/anno2/YearI/FirstSem/MCAD/gdrive/Slide/introlynch [modalità compatibilità].pdf new file mode 100644 index 0000000..3423bd6 Binary files /dev/null and b/anno2/YearI/FirstSem/MCAD/gdrive/Slide/introlynch [modalità compatibilità].pdf differ