Scopo del presente lavoro è la determinazione di condizioni necessarie e sufficienti affinchè in una sottoclasse di sistemi, costituiti da insieme di processi asincroni comunicanti, non si verifichino condizioni di "deadlock". Tale sottoclasse è costituita da sistemi, i cui processi sono modellati da scehmi con un'unica sequenza di controllo e la cui interazione è garantita tramite "mailboxes" che collegano i processi uno-a-uno. Vengono prese in considerazione condizioni di "deadlock" originate unicamente dal meccanismo di comunicazione tra processi.
Sistemi di processi sequenziali asincroni: proprieta' di bilanciamento nelle analisi delle cause di deadlock
Fusani M;
1975
Abstract
Scopo del presente lavoro è la determinazione di condizioni necessarie e sufficienti affinchè in una sottoclasse di sistemi, costituiti da insieme di processi asincroni comunicanti, non si verifichino condizioni di "deadlock". Tale sottoclasse è costituita da sistemi, i cui processi sono modellati da scehmi con un'unica sequenza di controllo e la cui interazione è garantita tramite "mailboxes" che collegano i processi uno-a-uno. Vengono prese in considerazione condizioni di "deadlock" originate unicamente dal meccanismo di comunicazione tra processi.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_422800-doc_150397.pdf
accesso aperto
Descrizione: Sistemi di processi sequenziali asincroni: proprieta' di bilanciamento nelle analisi delle cause di deadlock
Tipologia:
Versione Editoriale (PDF)
Dimensione
3.02 MB
Formato
Adobe PDF
|
3.02 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
