Full text
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview |
Divided we stand: Parallel distributed stack memory management
Citation
Kish, Shen and Hermenegildo, Manuel V. 
ORCID: https://orcid.org/0000-0002-7583-323X
(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: |
|
| 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 |
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: | 27 Feb 2023 11:41 |
