PROGRAMMAZIONE CONCORRENTE 3 by Chiara Viganò https://padlet.com/maxandsmusmi/lezione3 Realizzato con poca voglia en-us 2017-02-12 16:42:12 UTC 2023-02-03 02:52:03 UTC hello@padlet.com https://padlet-assets.s3.amazonaws.com/icons/Lovecoffee.png LA COMUNICAZIONE TRA PROCESSI (Lezione 3) maxandsmusmi https://padlet.com/maxandsmusmi/lezione3/wish/153284186 2017-02-12 16:44:25 UTC https://padlet.com/maxandsmusmi/lezione3/wish/153284186 Cosa impareremo: maxandsmusmi https://padlet.com/maxandsmusmi/lezione3/wish/153300901 - il modello ad ambiente globale o a memoria condivisa 
- il modello ad ambiente locale o a scambio di messaggi
]]> 2017-02-12 20:26:18 UTC https://padlet.com/maxandsmusmi/lezione3/wish/153300901 Comunicazione: modelli software e hardware maxandsmusmi https://padlet.com/maxandsmusmi/lezione3/wish/153301129 Possiamo individuare due modelli di interazione concorrente a prescindere dalla soluzione hardware, cioè sia che stiamo analizzando una architettura distribuita oppure una situazione di multitask su macchina SISM:
  • modello a memoria comune (ambiente globale, global environment);
  • modello a scambio di messaggi (ambiente locale, message passing).
]]> 2017-02-12 20:29:46 UTC https://padlet.com/maxandsmusmi/lezione3/wish/153301129 Modello a memoria comune (ambiente globale, global environment) maxandsmusmi https://padlet.com/maxandsmusmi/lezione3/wish/153301244 Il modello a memoria comune trova naturale impiego nelle architetture in cui esiste un’unica memoria comune a tutti i processi (o processori)
Ad esempio su macchine monoprocessore con processi multitasking
]]> 2017-02-12 20:31:08 UTC https://padlet.com/maxandsmusmi/lezione3/wish/153301244 END maxandsmusmi https://padlet.com/maxandsmusmi/lezione3/wish/153301263 2017-02-12 20:31:31 UTC https://padlet.com/maxandsmusmi/lezione3/wish/153301263 maxandsmusmi https://padlet.com/maxandsmusmi/lezione3/wish/153301388 2017-02-12 20:33:22 UTC https://padlet.com/maxandsmusmi/lezione3/wish/153301388 Comunicazione: modelli software e hardware maxandsmusmi https://padlet.com/maxandsmusmi/lezione3/wish/153301413 Allocazione delle risorse ai processi
Il modello a memoria comune è il solo caso nel quale possono verificarsi problemi per l’accesso
Due (o più) processi che ne potrebbero richiedere l’attribuzione di memoria contemporaneamente
Il sistema operativo associa a ogni risorsa un apposito gestore di risorsa (o allocatore)

L’allocatore ha i seguenti compiti:
  • deve mantenere aggiornato lo stato di allocazione della risorsa;
  • deve fornire i meccanismi ai processi che hanno il diritto di utilizzare tale risorsa di accedervi, prenderne possesso, operare su di essa e alla fine del suo utilizzo di “liberarla” per gli altri processi;
  • deve implementare la strategia di allocazione della risorsa definendo a quale processore per quanto tempo assegnare la risorsa.
]]> 2017-02-12 20:33:55 UTC https://padlet.com/maxandsmusmi/lezione3/wish/153301413 maxandsmusmi https://padlet.com/maxandsmusmi/lezione3/wish/153301561 2017-02-12 20:36:04 UTC https://padlet.com/maxandsmusmi/lezione3/wish/153301561 Esempio maxandsmusmi https://padlet.com/maxandsmusmi/lezione3/wish/153301616 Un processo che necessita di stampare un documento. Il gestore della risorsa è lo spooler di stampa che all’atto di una richiesta la pone in una coda di attesa e la soddisfa. Quando un processo termina di stampare e lascia libera la stampante.]]> 2017-02-12 20:36:37 UTC https://padlet.com/maxandsmusmi/lezione3/wish/153301616 Tipologie di allocazione delle risorse nel modello ad ambiente globale maxandsmusmi https://padlet.com/maxandsmusmi/lezione3/wish/153301731 Per ogni risorsa il relativo gestore definisce istante per istante i processi che hanno il diritto di operare su di essa.]]> 2017-02-12 20:37:57 UTC https://padlet.com/maxandsmusmi/lezione3/wish/153301731 maxandsmusmi https://padlet.com/maxandsmusmi/lezione3/wish/153301753 2017-02-12 20:38:14 UTC https://padlet.com/maxandsmusmi/lezione3/wish/153301753 maxandsmusmi https://padlet.com/maxandsmusmi/lezione3/wish/153301831 2017-02-12 20:39:30 UTC https://padlet.com/maxandsmusmi/lezione3/wish/153301831 maxandsmusmi https://padlet.com/maxandsmusmi/lezione3/wish/153301886 Nel caso di risorse dedicate non è necessario nessun controllo da parte del programmatore per quanto riguarda la sincronizzazione dato che queste sono di utilizzo esclusivo di un singolo processo e vengono assegnate e gestite dal sistema operativo.
Nel caso di risorse condivise il programmatore stabilisce le regole di visibilità e quindi quali processi possono operare sui dati comuni, in quali istanti possono accedere alla risorsa, definendo le modalità di sincronizzazione.
]]> 2017-02-12 20:40:12 UTC https://padlet.com/maxandsmusmi/lezione3/wish/153301886 maxandsmusmi https://padlet.com/maxandsmusmi/lezione3/wish/153302053 2017-02-12 20:42:33 UTC https://padlet.com/maxandsmusmi/lezione3/wish/153302053 maxandsmusmi https://padlet.com/maxandsmusmi/lezione3/wish/153302061 2017-02-12 20:42:37 UTC https://padlet.com/maxandsmusmi/lezione3/wish/153302061 maxandsmusmi https://padlet.com/maxandsmusmi/lezione3/wish/153302145 2017-02-12 20:43:32 UTC https://padlet.com/maxandsmusmi/lezione3/wish/153302145 maxandsmusmi https://padlet.com/maxandsmusmi/lezione3/wish/153302262 Vediamo nelle diverse situazioni come interagiscono i processi nella situazione di condivisione delle risorse (in situazioni di allocazionestatica e dinamica):
  • quando competono
  • quando cooperano
  • quando interferiscono
]]> 2017-02-12 20:44:45 UTC https://padlet.com/maxandsmusmi/lezione3/wish/153302262 Competizione maxandsmusmi https://padlet.com/maxandsmusmi/lezione3/wish/153302465 La competizione è una interazione tra processi prevedibile e NON desiderata

Risorse condivise e allocate staticamente:
la competizione avviene al momento dell’accesso alla risorsa: è necessario garantire l’accesso esclusivo (mutua esclusione).

Risorse dedicate e allocate dinamicamente:
la responsabilità di gestione è demandata al gestore e la competizione tra processi avviene al momento della richiesta di utilizzo  
]]> 2017-02-12 20:46:45 UTC https://padlet.com/maxandsmusmi/lezione3/wish/153302465 Cooperazione maxandsmusmi https://padlet.com/maxandsmusmi/lezione3/wish/153302687 La cooperazione è un'interazione tra processi prevedibile e desiderata dato che è insita nella logica del programma

La cooperazione tra processi avviene utilizzando una risorsa condivisa. Un processo (o più processi) scrivono un dato nella risorsa (produttori) e un altro processo (o più processi) leggono successivamente dalla risorsa condivisa (consumatori)]]> 2017-02-12 20:50:00 UTC https://padlet.com/maxandsmusmi/lezione3/wish/153302687 lnterferenza maxandsmusmi https://padlet.com/maxandsmusmi/lezione3/wish/153302872 L’interferenza è dovuta:
  • alla competizione che avviene tra processi che utilizzano senza le opportune autorizzazioni risorse condivise
  • a una erronea soluzione dei problemi di competizione e di cooperazione
]]> 2017-02-12 20:52:32 UTC https://padlet.com/maxandsmusmi/lezione3/wish/153302872 Modello a scambio di messaggi (ambiente locale, message passing) maxandsmusmi https://padlet.com/maxandsmusmi/lezione3/wish/153302968 Ogni processo può accedere esclusivamente alle risorse allocate nella propria memoria locale 
Questa non può essere modificata direttamente dagli altri processi
]]> 2017-02-12 20:53:55 UTC https://padlet.com/maxandsmusmi/lezione3/wish/153302968 maxandsmusmi https://padlet.com/maxandsmusmi/lezione3/wish/153303021 2017-02-12 20:54:29 UTC https://padlet.com/maxandsmusmi/lezione3/wish/153303021 maxandsmusmi https://padlet.com/maxandsmusmi/lezione3/wish/153303079 Esistono due possibili modalità:
  • utilizzare linguaggi che prevedono costrutti espliciti per realizzare lo scambio di messaggi, come il CSP (CommunicatingSequentialProcesses) proposto da Tony Hoare
  • utilizzare la “chiamata di procedura remota”, come il DP (DistributedProcesses), proposto da  Brinch Hansen
]]> 2017-02-12 20:55:07 UTC https://padlet.com/maxandsmusmi/lezione3/wish/153303079 maxandsmusmi https://padlet.com/maxandsmusmi/lezione3/wish/153303117 Classificazione dei modelli a scambio di messaggi: 
  • comunicazione asincrona la comunicazione da parte del processo mittente avviene senza che questo rimanga in attesa di una risposta da parte del processo destinatario
  • comunicazione sincrona lo scambio di informazioni può avvenire solo se mittente e destinatario sono pronti a “parlarsi” e quindi è necessario che si sincronizzino
]]> 2017-02-12 20:55:48 UTC https://padlet.com/maxandsmusmi/lezione3/wish/153303117 maxandsmusmi https://padlet.com/maxandsmusmi/lezione3/wish/153303169 Abbiamo due tipologie di “rendez-vous”:
  • stretto: se si limita alla trasmissione di un messaggio dal mittente al destinatario;
  • esteso: se il destinatario, una volta ricevuto il messaggio, deve inviare una risposta al mittente
]]> 2017-02-12 20:56:38 UTC https://padlet.com/maxandsmusmi/lezione3/wish/153303169 maxandsmusmi https://padlet.com/maxandsmusmi/lezione3/wish/153303234 Distinguiamo la comunicazione in:
  • asimmetrica: il mittente nomina esplicitamente il destinatario ma questo non nomina esplicitamente il mittente;
  • simmetrica: entrambi si nominano in modo esplicito.

Possiamo avere due classiche situazioni:
  • comunicazione di tipo simmetrico e sincrono a rendez-vous stretto tipico del CSP
  • comunicazione di tipo asimmetrico e sincrono a rendez-vous esteso tipico del DP
]]> 2017-02-12 20:57:31 UTC https://padlet.com/maxandsmusmi/lezione3/wish/153303234 maxandsmusmi https://padlet.com/maxandsmusmi/lezione3/wish/153303369 Modello client-server
Ogni risorsa del sistema è accessibile a un solo processo che prende il nome di processo servitore (o server) , quando un processo deve utilizzarla (processo cliente) non può accedervi direttamente ma deve chiedere al processo server di effettuare lui stesso le operazioni desiderate sulla risorsa e di comunicargli successivamente l’esito delle elaborazioni.
]]> 2017-02-12 20:59:24 UTC https://padlet.com/maxandsmusmi/lezione3/wish/153303369 maxandsmusmi https://padlet.com/maxandsmusmi/lezione3/wish/153303479 2017-02-12 21:00:45 UTC https://padlet.com/maxandsmusmi/lezione3/wish/153303479