Some Basic Control-Related Operators

• Basic operators:
  • ``&'' - Weak concurrent operator
    (no actual thread assigned unless already available;
    used for parallelism and ``GHC-style'' concurrency)

  • ``&&'' - Strong concurrent operator (``thread'')
    (guarantees assignment of a thread; explicitly fair concurrency)

  • ``,'' - Sequential operator
    (``hard'' sequentialization)

  • ``@'' - Placement operator
    (assigns execution to a particular worker)

  • ask / wait - Synchronization

  • Lower level operators: &>, <&, ...

• Worker management (for both parallel and distributed execution):
  • add_worker
    Add (possibly remote) worker to group

  • delete_worker - Delete (possibly remote) worker from group

  • Such workers form a group, which is kept coherent from the point of view of code management, global state, etc.