Parallel Logic Programming On Distributed Shared Memory System

This paper presents an implementation of a parallel logic programming system on a distributed shared memory(DSM) system. Firstly, we give a brief introduction of Andorra-I parallel logic programming system implemented on multiprocessors. Secondly, we outline the concurrent programming environment provided by a distributed shared memory system--TreadMarks. Thirdly, we discuss the implementation issues of Andorra-I system based on TreadMarks, such as, shared memory consistency, synchronization, mutual exclusion, shared memory allocation. Finally, we discuss implementation results and further research issues for building a practically useful logic-based reasoning system on distributed shared memory systems. Key Words: Distributed Shared Memory, Parallel Logic Programming System, Lazy Release Consistency, AND-parallelism, OR-parallelism 1. INTRODUCTION Distributed Shared Memory (DSM) systems have been rapidly developed these years, with various kinds of memory consistency models proposed..