Coordination and Concurrency in Multi-engine Prolog

Abstract : We discuss the impact of the separation of logic engines (independent logic processing units) and multi-threading on the design of coordination mechanisms for a Prolog based agent infrastructure.We advocate a combination of coroutining constructs with focus on expressiveness and a simplified, multi-threading API that ensures optimal use available parallelism.In this context, native multi-threading is made available to the application programmer as a set of high-level primitives with a declarative flavor while cooperative constructs provide efficient and predictable coordination mechanisms. As illustrations of our techniques, a parallel fold operation as well as cooperative implementations of Linda blackboards and publish/subscribe are described.
Type de document :
Communication dans un congrès
Wolfgang Meuter; Gruia-Catalin Roman. 13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. Springer, Lecture Notes in Computer Science, LNCS-6721, pp.157-171, 2011, Coordination Models and Languages. 〈10.1007/978-3-642-21464-6_11〉
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01582990
Contributeur : Hal Ifip <>
Soumis le : mercredi 6 septembre 2017 - 14:55:00
Dernière modification le : mardi 1 mai 2018 - 11:02:08

Fichier

978-3-642-21464-6_11_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Paul Tarau. Coordination and Concurrency in Multi-engine Prolog. Wolfgang Meuter; Gruia-Catalin Roman. 13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. Springer, Lecture Notes in Computer Science, LNCS-6721, pp.157-171, 2011, Coordination Models and Languages. 〈10.1007/978-3-642-21464-6_11〉. 〈hal-01582990〉

Partager

Métriques

Consultations de la notice

17

Téléchargements de fichiers

8