Annotation Process for Non-Strict Independence

• 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
  1. Identify unconditional parallelism (e.g. parallelism that does not need run-time tests) URLP algorithm (rule-based)
  2. Add conditional parallelism to the parallel expression computed by the first step CRLP algorithm