Divided we stand: Parallel distributed stack memory management

Kish, Shen y Hermenegildo, Manuel V. (1994). Divided we stand: Parallel distributed stack memory management. En: "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.

Descripción

Título: Divided we stand: Parallel distributed stack memory management
Autor/es:
  • Kish, Shen
  • Hermenegildo, Manuel V.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: ICLP 1993 Workshops: Practical Implementations and Systems Experience in Logic Programming Systems - Concurrent, Distributed, and Parallel Implementations of Logic Programming Systems
Fechas del Evento: August 4, 1999
Lugar del Evento: Budapest, Hungary
Título del Libro: Implementations of Logic Programming Systems
Fecha: 1994
ISBN: 0-7923-9457-7
Materias:
Palabras Clave Informales: Parallelism, Logic programming, Memory management, And-parallelism, Or-parallelism, Implementation, Paralelismo, Progrmación lógica, Gestión de la memoria, Implementación.
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

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.

Más información

ID de Registro: 14575
Identificador DC: http://oa.upm.es/14575/
Identificador OAI: oai:oa.upm.es:14575
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 01 Mar 2013 07:39
Ultima Modificación: 21 Abr 2016 14:18
  • 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