Divided we stand: Parallel distributed stack memory management

Kish, Shen and Hermenegildo, Manuel V. (1994). Divided we stand: Parallel distributed stack memory management. In: "ICLP 1993 Workshops: Practical Implementations and Systems Experience in Logic Programming Systems - Concurrent, Distributed, and Parallel Implementations of Logic Programming Systems", August 4, 1999, Budapest, Hungary. ISBN 0-7923-9457-7.

Description

Title: Divided we stand: Parallel distributed stack memory management
Author/s:
  • Kish, Shen
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: ICLP 1993 Workshops: Practical Implementations and Systems Experience in Logic Programming Systems - Concurrent, Distributed, and Parallel Implementations of Logic Programming Systems
Event Dates: August 4, 1999
Event Location: Budapest, Hungary
Title of Book: Implementations of Logic Programming Systems
Date: 1994
ISBN: 0-7923-9457-7
Subjects:
Freetext Keywords: Parallelism, Logic programming, Memory management, And-parallelism, Or-parallelism, Implementation, Paralelismo, Progrmación lógica, Gestión de la memoria, Implementación.
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

We present an overview of the stack-based memory management techniques that we used in our non-deterministic and-parallel Prolog systems: &-Prolog and DASWAM. We believe that the problems associated with non-deterministic and-parallel systems are more general than those encountered in or-parallel and deterministic and-parallel systems, which can be seen as subsets of this more general case. We develop on the previously proposed "marker scheme", lifting some of the restrictions associated with the selection of goals while keeping (virtual) memory consumption down. We also review some of the other problems associated with the stack-based management scheme, such as handling of forward and backward execution, cut, and roll-backs.

More information

Item ID: 14575
DC Identifier: https://oa.upm.es/14575/
OAI Identifier: oai:oa.upm.es:14575
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 01 Mar 2013 07:39
Last Modified: 21 Apr 2016 14:18
  • 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