Concurrency in prolog using threads and a shared database

Carro Liñares, Manuel y Hermenegildo, Manuel V. (1999). Concurrency in prolog using threads and a shared database. En: "The 1999 international conference on Logic programming", November 29 - December 4, 1999, Las Cruces, New Mexico, USA. ISBN 0262541041.

Descripción

Título: Concurrency in prolog using threads and a shared database
Autor/es:
  • Carro Liñares, Manuel
  • Hermenegildo, Manuel V.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: The 1999 international conference on Logic programming
Fechas del Evento: November 29 - December 4, 1999
Lugar del Evento: Las Cruces, New Mexico, USA
Título del Libro: Proceedings of the 1999 international conference on Logic programming
Fecha: Noviembre 1999
ISBN: 0262541041
Materias:
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (1MB) | Vista Previa

Resumen

Concurrency in Logic Programming has received much attention in the past. One problem with many proposals, when applied to Prolog, is that they involve large modifications to the standard implementations, and/or the communication and synchronization facilities provided do not fit as naturally within the language model as we feel is possible. In this paper we propose a new mechanism for implementing synchronization and communication for concurrency, based on atomic accesses to designated facts in the (shared) datábase. We argüe that this model is comparatively easy to implement and harmonizes better than previous proposals within the Prolog control model and standard set of built-ins. We show how in the proposed model it is easy to express classical concurrency algorithms and to subsume other mechanisms such as Linda, variable-based communication, or classical parallelism-oriented primitives. We also report on an implementation of the model and provide performance and resource consumption data.

Más información

ID de Registro: 14388
Identificador DC: http://oa.upm.es/14388/
Identificador OAI: oai:oa.upm.es:14388
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 01 Feb 2013 08:32
Ultima Modificación: 21 Abr 2016 14:01
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM