A Methodology for Order-Sensitive Execution of Non-deterministic Languages on Beowulf Platforms

We propose a novel methodology, based on stack splitting, to efficiently support order-sensitive computations (e.g., I/O, side-effects) during search-parallel execution of non-deterministic languages on Beowulf platforms. The methodology has been validated in the context of the PALS Prolog system and results on a Pentium Beowulf are discussed.