loveforSCSI
06-07-2002, 09:26
se un processo è costituito da un'alternativa non deterministica, del tipo
*[
guardia1 --> fa qualcosa
[]
guardia2 --> fa qualcos'altro
[]
..
[]
processo_A ? messaggo1 --> processo_A ? messaggio2
]
cioè l'ultima guardia ha un i/o (doppio nella guardia e negli statements successivi alla guardia), vorrei sapere:
se arriva il messaggio1 dal processo A, allora il nostro processo resta bloccato finchè non arriva il messaggio 2 sempre da A oppure nel frattempo continua a controllare le altre guardie???
*[
guardia1 --> fa qualcosa
[]
guardia2 --> fa qualcos'altro
[]
..
[]
processo_A ? messaggo1 --> processo_A ? messaggio2
]
cioè l'ultima guardia ha un i/o (doppio nella guardia e negli statements successivi alla guardia), vorrei sapere:
se arriva il messaggio1 dal processo A, allora il nostro processo resta bloccato finchè non arriva il messaggio 2 sempre da A oppure nel frattempo continua a controllare le altre guardie???