Multi-level Copying For Unification In Parallel Architectures
Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli · 2005
We discuss how to implement unification in a distributed environment. The main problem we face is how and when to access remote data structures to perform the distributed unification. In order to reduce the amount of the inter-node communication, in our ffamework different levels of copying for data structures can be explicitly specified in the compiled code. We point out two different mechanisms which can be adopted in implementing the requested level of copying. Comparisons between the two mechanisms are drawn through some experimental results obtained on a transputer-based architecture. In order to evaluate the cost of distributed unification, we isolate two basic time parameters which depend on the chosen architecture.