Texto completo
Vista Previa |
PDF (Portable Document Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (1MB) | Vista Previa |
Divided we stand: Parallel distributed stack memory management
Cita
Kish, Shen and Hermenegildo, Manuel V. 
ORCID: https://orcid.org/0000-0002-7583-323X
(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.
ORCID: https://orcid.org/0000-0002-7583-323X
(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: |
|
| 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: | |
| ODS: | |
| 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 |
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: | https://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: | 27 Feb 2023 11:41 |
Acciones
- Estadísticas
- Exportar cita
- Editar (sólo personal del Archivo)
