Automatic (And-) Parallelization
WS Presentations Main Page
Next: &-Prolog / Ciao-Prolog
Up: Document: tut
Previous: Parallelization as program
- Dependency graph:
- vertices are goals
- edges exist if there can be a dependency
- conditions label edges if the dependency can be removed
- Global analysis used to
reduce the number of checks in the conditions (also to true and false)
- Annotation: encoding of parallelism in the target parallel language.
- g(...), g(...), g(...)
Thu Jan 18 11:21:33 MET 1996 <herme@fi.upm.es>-<webmaster@clip.dia.fi.upm.es>