Nuprl Definition : mu_ex_v6_handleUseSR
mu_ex_v6_handleUseSR(m1;m2;proc1;proc2) ==
loc,zf,z.
let interested,token,toreply = z in
if interested then {mu_ex_v6_busy'send() (mu_ex_v6_getMachine(m1;m2;proc1) loc) 
}
if token then {mu_ex_v6_enterCS'send() (mu_ex_v6_getMachine(m1;m2;proc1) loc) }
else {mu_ex_v6_request'send() (mu_ex_v6_getOtherProc(proc1;proc2) loc) }
fi
Definitions occuring in Statement :
mu_ex_v6_getOtherProc: mu_ex_v6_getOtherProc(proc1;proc2),
mu_ex_v6_busy'send: mu_ex_v6_busy'send(),
mu_ex_v6_enterCS'send: mu_ex_v6_enterCS'send(),
ifthenelse: if b then t else f fi ,
it: ,
spreadn: spread3,
apply: f a,
lambda: x.A[x],
single-bag: {x}
FDL editor aliases :
mu_ex_v6_handleUseSR
mu\_ex\_v6\_handleUseSR(m1;m2;proc1;proc2) ==
\mlambda{}loc,zf,z.
let interested,token,toreply = z in
if interested then \{mu\_ex\_v6\_busy'send() (mu\_ex\_v6\_getMachine(m1;m2;proc1) loc) \mcdot{}\}
if token then \{mu\_ex\_v6\_enterCS'send() (mu\_ex\_v6\_getMachine(m1;m2;proc1) loc) \mcdot{}\}
else \{mu\_ex\_v6\_request'send() (mu\_ex\_v6\_getOtherProc(proc1;proc2) loc) \mcdot{}\}
fi
Date html generated:
2012_02_20-PM-07_11_04
Last ObjectModification:
2012_02_02-PM-03_06_55
Home
Index