charm.cs.uiuc.edu

10

10/20/2004

Language Design (cont.)

nOrchestration
Statements

¡§Input and output of
method invocations

forall i in
workers

<..,q[i],..> :=
workers[i].f(..,p[e(i)],..);

end-forall

nMethod workers::f produces the value q, and consumes value p

np and q
can overlap; e(i) must be
affine expression

np and q
are global shared arrays in current implementation.