Parallel logic programming on distributed shared memory system

Author

Huang, Zhiyi ; Sun, Chengzheng ; Sattar, Abdul ; Lei, Wanzu

Author_Institution

Knowledge Representation & Reasoning Unit, Griffith Univ., Nathan, Qld., Australia

Volume

2

fYear

1997

fDate

28-31 Oct 1997

Firstpage

1138

Abstract

We present an implementation of a parallel logic programming system on a distributed shared memory (DSM) system. Firstly, we give a brief introduction to 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 the implementation results and further research issues for building a practically useful logic-based reasoning system on distributed shared memory systems

Keywords

distributed memory systems; inference mechanisms; logic programming; parallel programming; programming environments; shared memory systems; storage allocation; synchronisation; AND parallelism; Andorra-I; OR parallelism; TreadMarks; concurrent programming environment; distributed shared memory system; logic-based reasoning system; multiprocessors; mutual exclusion; parallel logic programming; shared memory allocation; shared memory consistency; synchronization; Artificial intelligence; Australia; Bandwidth; Concurrent computing; Distributed computing; Information technology; Knowledge representation; Logic programming; Programming environments; Sun; Workstations;

fLanguage

English

Publisher

ieee

Conference_Titel

Intelligent Processing Systems, 1997. ICIPS '97. 1997 IEEE International Conference on

Conference_Location

Beijing

Print_ISBN

0-7803-4253-4

Type

conf

DOI

10.1109/ICIPS.1997.669163

Filename

669163