PROGRAMMAZIONE CONCORRENTE 2 by Chiara Viganò https://padlet.com/maxandsmusmi/lezione2 Realizzato con molta voglia en-us 2017-02-12 16:32:41 UTC 2023-01-19 16:21:46 UTC hello@padlet.com https://padlet-assets.s3.amazonaws.com/icons/Rocket.png LA DESCRIZIONE DELLA CONCORRENZA (Lezione 2) maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153283672 2017-02-12 16:37:12 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153283672 Cosa impareremo: maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153285908 - l'istruzione fork-join
- l'istruzione cobegin-coend]]> 2017-02-12 17:07:30 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153285908 Esecuzione parallela maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153285991 L’esecuzione di un processo non sequenziale richiede un sistema specifico che permetta la codifica e l’esecuzione dei programmi, cioè necessita di:
  • un elaboratore non sequenziale
  • un linguaggio di programmazione non sequenziale
]]> 2017-02-12 17:08:43 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153285991 Elaboratore non sequenziale maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153286074 L’elaboratore non sequenziale è una macchina che deve essere in grado di eseguire più operazioni contemporaneamente si può ottenere in due modi differenti:
  • architettura parallela, cioè sistemi multielaboratori
  • sistemi monoprocessori multiprogrammati
]]> 2017-02-12 17:10:00 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153286074 Linguaggi non sequenziali maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153286347 Per scrivere programmi non sequenziali (o concorrenti) è necessario avere a disposizione dei particolari costrutti che permettano la descrizione delle attività parallele. Non tutti i linguaggi hanno tali figure strutturali. Quelli che consentono la descrizione delle attività concorrenti prendono il nome di linguaggi di programmazione concorrente (o non sequenziale).

La scrittura di un programma concorrente si basa sul concetto di scomposizione sequenziale (un processo non sequenziale può essere scomposto in un insieme di processi sequenziali che possono essere eseguiti contemporaneamente)

I linguaggi di programmazione concorrenti di alto livello contemplano nuove istruzioni come il costrutto fork-join e cobegin-coend.
Permettono di dichiarare, creare, attivare e terminare processi sequenziali.]]> 2017-02-12 17:13:41 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153286347 END maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153286356 2017-02-12 17:13:52 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153286356 Fork-join maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153297339 Le istruzioni fork e join furono introdotte nel 1963 da Dennis e VanHorne. Permettono di descrivere l’esecuzione parallela di segmenti di codice mediante:
  • la scomposizione di un processo in due processi
  • la successiva “riunione” in un unico processo
]]> 2017-02-12 19:40:57 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153297339 maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153297471 2017-02-12 19:42:35 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153297471 maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153297533 2017-02-12 19:43:27 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153297533 maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153297598 Con un linguaggio di pseudocodifica è possibile tradurre il grafo nel seguente segmento di codice:]]> 2017-02-12 19:44:28 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153297598 maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153297620 2017-02-12 19:44:51 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153297620 maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153297635 2017-02-12 19:45:05 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153297635 maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153297702 La join è l’istruzione che viene eseguita quando il processo creato tramite la fork:
  • ha terminato il suo compito
  • si sincronizza con il processo che lo ha generato termina la sua esecuzione
]]> 2017-02-12 19:45:54 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153297702 maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153297787 2017-02-12 19:47:04 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153297787 maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153297801 2017-02-12 19:47:17 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153297801 maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153297830 2017-02-12 19:47:40 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153297830 maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153297851 2017-02-12 19:48:08 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153297851 maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153297910 Ipotizziamo che ogni nodo sia una routine: 
  • P1 esegue la routine A;
  • con la fork attiva il P2 e in parallelo si eseguono la routine B e la routine C
  • P1 attende con la join la terminazione di P2
  • P1esegue la routine C

]]> 2017-02-12 19:48:50 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153297910 maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153297940 2017-02-12 19:49:11 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153297940 maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153298201 Esiste anche una formulazione estesa dell’istruzione join]]> 2017-02-12 19:51:45 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153298201 maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153298224 2017-02-12 19:52:03 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153298224 maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153298301 count è una variabile intera non negativa e indica il numero di processi che si “riuniscono” in quel punto]]> 2017-02-12 19:52:56 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153298301 maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153298338 2017-02-12 19:53:27 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153298338 maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153298435 Codifichiamo il diagramma precedente]]> 2017-02-12 19:54:41 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153298435 maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153298582 2017-02-12 19:56:38 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153298582 maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153298831 A volte viene anche messa una label per indicare dove il processo termina ed effettua la join, come nel seguente esempio]]> 2017-02-12 19:59:03 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153298831 maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153298900 2017-02-12 19:59:55 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153298900 maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153298912 2017-02-12 20:00:09 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153298912 maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153299077 2017-02-12 20:02:15 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153299077 maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153299166 2017-02-12 20:03:31 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153299166 maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153299195 2017-02-12 20:03:55 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153299195 maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153299210 2017-02-12 20:04:11 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153299210 maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153299258 La sintassi del comando è]]> 2017-02-12 20:04:51 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153299258 maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153299267 2017-02-12 20:04:58 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153299267 maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153299295 2017-02-12 20:05:19 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153299295 maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153299314 2017-02-12 20:05:33 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153299314 Cobegin-coend maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153299485 2017-02-12 20:07:42 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153299485 maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153299778 2017-02-12 20:11:18 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153299778 maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153299799 2017-02-12 20:11:29 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153299799 maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153299855 2017-02-12 20:11:59 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153299855 maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153299870 2017-02-12 20:12:12 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153299870 maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153299910 2017-02-12 20:12:43 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153299910 maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153299992 2017-02-12 20:13:39 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153299992 maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153300009 2017-02-12 20:13:52 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153300009 maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153300046 2017-02-12 20:14:18 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153300046 maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153300088 2017-02-12 20:14:53 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153300088 maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153300144 Questo grafo non presenta questa caratteristica e quindi costituisce un esempio impossibile da descrivere soltanto con cobegin e coend]]> 2017-02-12 20:15:32 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153300144 Equivalenza di fork-join e cobegin-coend maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153300332 2017-02-12 20:17:58 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153300332 maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153300413 La codifica con il costrutto fork-join è invece fattibile, ma è necessario introdurre le istruzioni di salto in quanto le fork si intersecano tra loro:]]> 2017-02-12 20:18:50 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153300413 maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153300451 2017-02-12 20:19:11 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153300451 Semplificazione delle precedenze maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153300525 Prima di affrontare la scrittura di un programma parallelo è sempre necessario soffermarsi ad analizzare il grafo delle precedenze per cercare di semplificarlo eliminando le precedenze implicite
In presenza di precedenze implicite è possibile togliere un arco in quanto questo risulta ridondante ed è quindi possibile semplificare il grafo
]]> 2017-02-12 20:20:09 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153300525 maxandsmusmi https://padlet.com/maxandsmusmi/lezione2/wish/153300733 2017-02-12 20:23:19 UTC https://padlet.com/maxandsmusmi/lezione2/wish/153300733