Forum Informatica Unict

LAUREA TRIENNALE (D.M. 270/04) => Sistemi Operativi, 9 CFU => Topic started by: sanevir on 17-11-2008, 17:35:18



Title: delucidazioni sui monitor
Post by: sanevir on 17-11-2008, 17:35:18
quando un processo W, che si trova in bloked per effetto della chiamata "wait(v)", viene risvegliato grazie ad un altro processo S, attravarso la signal(v), capita che entrambi i processi si trovino in esecuzione contemporaneamente violando le proprietà del monitor.

il prof oggi ha dato 2 soluzioni a questo problema:
quella di Hoare che poteva presentare inefficenze, ed un'altra che nn ricordo, o per lo meno nn ho riportato correttamente nei miei appunti.

qualcuno potrebbe descriverla brevemente?


Title: Re:delucidazioni sui monitor
Post by: benjamin on 17-11-2008, 20:30:43
La soluzione di Brinch Hansen (detto in modo molto semplificato) impone che ogni monitor possa eseguire al massimo una signal(v), dopo il quale esce da se stesso, ponendo fine al problema.

perlomeno così ho capito io  .whistling


Title: Re:delucidazioni sui monitor
Post by: france_88 on 17-11-2008, 22:54:48
la soluzione di Brinch Hansen risolve il problema imponendo al processo che chiama (al massimo)una signal(v) di uscire immediatamente dal monitor
......cioè l'istruzione signal(v) compare come istruzione finale di una procedura di monitor    .ciaociao


Title: Re:delucidazioni sui monitor
Post by: sanevir on 18-11-2008, 21:57:36
grazie mille.. :-OK