Implementing Distributed Concurrent Constraint Execution in the CIAO System

This paper describes the current prototype of the distributed CIAO system. It introduces the concepts of "teams" and "active modules" (or active objects), which conveniently encapsulate different types of functionalities desirable from a distributed system, from parallelism for achieving speedup to client-server applications. It presents the user primitives available and describes their implementation. This implementation uses attributed variables and, as an example of a communication abstraction, a blackboard that follows the Linda model. The functionalities of the system are illustrated through examples, using the implemented primitives. The implementation of most of the primitives is also described in detail.

[1]  Manuel V. Hermenegildo,et al.  The CIAO multiparadigm compiler and system: A progress report , 1995 .

[2]  Christian Holzbaur,et al.  Metastructures versus Attributed Variables in the Context of Extensible Unification , 1992, PLILP.

[3]  Mats Carlsson,et al.  SICStus Prolog Library Manual , 1993 .

[4]  Manuel V. Hermenegildo,et al.  Relating Goal-Scheduling, Precedence, and Memory Management in AND-Parallel Execution of Logic Programs , 1987, ICLP.

[5]  Manuel V. Hermenegildo,et al.  Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization , 1994, ILPS.

[6]  Manuel V. Hermenegildo,et al.  Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems , 1995, ICLP.

[7]  Serge Le Huitouze.  A New Data Structure for Implementing Extensions to Prolog , 1990, PLILP.

[8]  Evan Tick,et al.  The Deevolution of Concurrent Logic Programming Languages , 1995, J. Log. Program..

[9]  Mats Carlsson,et al.  Freeze, Indexing, and Other Implementation Issues in the WAM , 1987, ICLP.

[10]  Saumya K. Debray,et al.  Towards Granularity Based Control of Parallelism in Logic Programs , 1994, PASCO.

[11]  Antonio Brogi,et al.  The concurrent language, Shared Prolog , 1991, TOPL.

[12]  Mats Carlsson,et al.  SICStus Prolog User''s Manual , 1993 .

[13]  Manuel V. Hermenegildo,et al.  Some methodological issues in the design of CIAO, a generic, parallel concurrent constraint system , 1994 .

[14]  Nicholas Carriero,et al.  Linda in context , 1989, CACM.