[drs:2005] - Re: CSP pitanja by Zaharije Radivojevic <zaki@galeb.etf.bg.ac.yu>

Postovani,

Komunikacija kod programskog jezika CSP je sinhrona.
U nastavku se nalaze odgovori na konkretna pitanja.

> 1.  Da li je naredba prijema (X?n) kada se nalazi u guard (uslovnom) delu
> kod alternativne nredbe blokirajuca, ili ako nije nista poslato smatra se
> da uslov nije zadovoljen i prelazi se na neku drugu alternativu?
> 
> Na primer:
> [X?m -> neke naredbe;
>  _
> |_|
>   Y?n -> neke naredbe
> ]
> 
> Ako su i proces X i proces Y "zivi" ali nista nisu poslali do nailaska na
> naredbe prijema da li se cela alternativna naredba preskace ili se ceka?
Ceka se sve dok nesto ne pristigne, znaci prijem je sinhron, tj
blokirajuci.

> 2. Da li postoji neka razlika u ponasanju kad je u pitanju repetitivna
> alternativna naredba?
> 
> Na primer:
> *[X?m -> neke naredbe;
>  _
> |_|
>   Y?n -> neke naredbe
> ]
> 
> Ako su i proces X i proces Y "zivi" ali nista nisu poslali do nailaska na
> naredbe prijema da li se cela repetitivna naredba preskace ili se ceka?
Isto kao i maloca, ceka se dok ne nasto ne posalje a iz date repetitivne
naredbe se izlazi samo u slucaju da procesi X i Y vise nisu zivi.
 
> Da li je to cekanje, ako postoji, zaposleno?
Realizacija algoritma zavisi od implementacije. Cekanje ne bi trebalo da
bude zaposleno.

Ukoliko imate jos pitanja slobodno pitajte.

Pozdrav
Zaharije