Some Basic Control-Related Operators
WS Presentations Main Page
Next: Example
Up: Document: ciao
Previous: Compiler Issues: Transformations/Optimizations
- 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.
Thu Jan 18 11:29:48 MET 1996 <herme@fi.upm.es>-<webmaster@clip.dia.fi.upm.es>