Annotation Process for Non-Strict Independence
WS Presentations Main Page
Next: Parallelization Improvement with
Up: Document: parallelization
Previous: Parallelization Based on
- Main issues:
- Non-Strict Independence is not symmetric for non-pure goals: the
annotator cannot reverse the execution order of two goals (unlike UDG
& CDG)
- Conditional parallelism can involve only pairs of goals.
- Ensures that if there exists parallelism in two contiguous
goals, something will run in parallel (not true with CDG or MEL)
- Heuristic decision: give priority to unconditional parallelism
(unlike MEL)
- Annotation algorithm: two steps
- Identify unconditional parallelism (e.g. parallelism that does
not need run-time tests) URLP algorithm (rule-based)
- Add conditional parallelism to the parallel expression computed by
the first step CRLP algorithm
Thu Jan 18 11:26:45 MET 1996 <herme@fi.upm.es>-<webmaster@clip.dia.fi.upm.es>