Concurrency in prolog using threads and a shared database

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

Description

Title: Concurrency in prolog using threads and a shared database
Author/s:
  • Carro Liñares, Manuel
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: The 1999 international conference on Logic programming
Event Dates: November 29 - December 4, 1999
Event Location: Las Cruces, New Mexico, USA
Title of Book: Proceedings of the 1999 international conference on Logic programming
Date: November 1999
ISBN: 0262541041
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview

Abstract

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.

More information

Item ID: 14388
DC Identifier: http://oa.upm.es/14388/
OAI Identifier: oai:oa.upm.es:14388
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 01 Feb 2013 08:32
Last Modified: 21 Apr 2016 14:01
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM