Implementing distributed concurrent constraint execution in the CIAO system
作者： Daniel Cabeza , Manuel V. Hermenegildo
DOI:
关键词:
摘要: This paper describes the current prototype of distributed CIAO system. It introduces concepts "teams" and "active modules" (or active objects), which conveniently encapsulate different types functionalities desirable from a system, parallelism for achieving speedup to client-server applications. The user primitives available are presented their implementation described. implementation uses attributed variables and, as an example communication abstraction, blackboard that follows Linda model. Finally, WWW interface is also briefly described. unctionalities system illustrated through examples, using implemented primitives.
参考文章(14)
S.K. Debray, Pedro López García, Manuel V. Hermenegildo, Towards granularity based control of parallelism in logic programs parallel symbolic computation. ,(1994)
Seif Haridi, Jonas Almgren, Stefan Andersson, Claes Frisk, Hans Nilsson, Jan Sundberg, Lena Flood, Mats Carlsson, SICStus Prolog Library Manual Swedish Institute of Computer Science. ,(1993)
M. García de la Banda, Francisco Bueno Carrillo, Manuel V. Hermenegildo, Alvaro Germán Puebla Sánchez, The CIAO multiparadigm compiler and system: A progress report Proceedings of the Compulog Net Area Workshop on Parallelism and Implementation Technologies | Compulog Net Area Workshop on Parallelism and Implementation Technologies | September 1995 | Madrid, Spain. ,(1995)
Kent Boortz, Stefan Andersson, Johan Widen, Hans Nilsson, Johan Andersson, Thomas Sjöland, Mats Carlsson, SICStus Prolog User''s Manual Swedish Institute of Computer Science. ,(1993)
M. García de la Banda, M. Hermenegildo, F. Bueno, Effectiveness of global analysis in strict independence-based automatic parallelization international conference on logic programming. pp. 320- 336 ,(1994)
Manuel V. Hermenegildo, Some methodological issues in the design of CIAO, a generic, parallel concurrent constraint system principles and practice of constraint programming. ,(1994)
Christian Holzbaur, Metastructures versus Attributed Variables in the Context of Extensible Unification international symposium on programming language implementation and logic programming. pp. 260- 268 ,(1992) , 10.1007/3-540-55844-6_141
Mats Carlsson, Freeze, indexing, and other implementation issues in the WAM international conference on lightning protection. pp. 40- 58 ,(1987)
Nicholas Carriero, David Gelernter, Linda in context Communications of the ACM. ,vol. 32, pp. 444- 458 ,(1989) , 10.1145/63334.63337
E. Tick, The deevolution of concurrent logic programming languages Journal of Logic Programming. ,vol. 23, pp. 89- 123 ,(1995) , 10.1016/0743-1066(94)00038-8