The Marker Scheme for IAP
WS Presentations Main Page
Next: An Example:
Up: Backtracking Families
Previous: Backtracking Families
- IAP: Goals which do not share variables at run-time
(independent goals) are allowed to execute in parallel
- Notation:
p & q
- Backtracking performed right-to-left as in Prolog
- The marker scheme:
- Multiple stack sets in shared memory
- Sequential threads executed in contiguous sections of memory
- Sections ``physically'' separated by markers
- Markers contain information enough to synchronize forward and
backwards execution
Thu Jan 18 11:25:20 MET 1996 <herme@fi.upm.es>-<webmaster@clip.dia.fi.upm.es>