Optimización y paralelización automática de programas mediante el procesamiento de información incompleta.

En este trabajo de tesis se estudia una nueva técnica de optimización automática de programas denominada evaluación parcial, basada en procesar información incompleta en una etapa previa a la ejecución final del programa. Las precomputaciones realizadas con esta técnica generan un código residual má...

Descripción completa

Detalles Bibliográficos
Autor: J. Reyes Juárez Ramírez
Tipo de recurso: tesis de maestría
Estado:Versión publicada
Fecha de publicación:2000
País:México
Institución:Centro de Investigación Científica y de Educación Superior de Ensenada
Repositorio:Repositorio Institucional CICESE
Idioma:español
OAI Identifier:oai:cicese.repositorioinstitucional.mx:1007/2152
Acceso en línea:http://cicese.repositorioinstitucional.mx/jspui/handle/1007/2152
Access Level:acceso abierto
Palabra clave:info:eu-repo/classification/Autor/Programación declarativa
info:eu-repo/classification/cti/7
info:eu-repo/classification/cti/33
info:eu-repo/classification/cti/3304
id MX_5aead9fc7784f00a0a62008be5d2da0d
oai_identifier_str oai:cicese.repositorioinstitucional.mx:1007/2152
network_acronym_str MX
network_name_str México
repository_id_str
spelling Optimización y paralelización automática de programas mediante el procesamiento de información incompleta.Automatic optimization and parallelization of programs by incomplete information processingJ. Reyes Juárez Ramírezinfo:eu-repo/classification/Autor/Programación declarativainfo:eu-repo/classification/cti/7info:eu-repo/classification/cti/33info:eu-repo/classification/cti/3304info:eu-repo/classification/cti/3304En este trabajo de tesis se estudia una nueva técnica de optimización automática de programas denominada evaluación parcial, basada en procesar información incompleta en una etapa previa a la ejecución final del programa. Las precomputaciones realizadas con esta técnica generan un código residual más simple de interpretar por parte del compilador y de una ejecución más rápida con el resto de los datos de entrada. Se estudia el modelo de computación paralela de la máquina de redes abstractas (ANM, por sus siglas en inglés) que aplica el procesamiento de información incompleta tanto en la evaluación, como en la ejecución del código. Este modelo se basa en la transformación de programas mediante redes asociativas, las cuales se reducen completa o parcialmente dependiendo de la disponibilidad de los datos de entrada, permitiendo de esta manera obtener un resultado final del programa o aplicar la evaluación parcial en forma simple. Se propone la aplicación de la evaluación parcial sobre la actividad de un intérprete para el lenguaje C en la ANM, como una nueva técnica de paralizar programas imperativos en forma automática con un alto grado de eficiencia del paralelismo obtenido, en la cual no es necesario realizar un análisis sobre el código fuente para resolver problemas de la dependencia de datos, accesos concurrentes a memoria y efectos colaterales, como se hace en la paralelización tradicional.In this thesis work a new automatic optimization technique named partial evaluation is studied. This technique is based on computation of incomplete information in a previous phase of final program execution. The result of precomputation is a residual code more easy to interpret by the compiler and much faster to execute with the remainded data entry. A model of parallel computation named Abstract Network Machine (ANM) is described which use incomplete information processing during program evaluation and execution. This model is based on program transformations using associative networks. The networks are reduced fully or partialy in order of data entry availability, obtaining a program result or allowing to apply partial evaluation in traditional way. A new technique for automatic parallelization of imperative programs is proposed. This technique applays partial evaluation to evaluate the activity of C program interpreter on ANM, achieving a high degree of effectiveness of the parallelism without performing a source code analysis to detect data dependences, memory concurrent acceses and side effects like in traditional parallelization.CICESEAndrey Chernykh2000info:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/publishedVersionapplication/pdfhttp://cicese.repositorioinstitucional.mx/jspui/handle/1007/2152reponame:Repositorio Institucional CICESEinstname:Centro de Investigación Científica y de Educación Superior de Ensenadainstacron:CICESEspacitation:Juárez Ramírez, J. R.2000.Optimización y paralelización automática de programas mediante el procesamiento de información incompleta.Tesis de Maestría en Ciencias. Centro de Investigación Científica y de Educación Superior de Ensenada, Baja California.197 p.info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by/4.0oai:cicese.repositorioinstitucional.mx:1007/21522024-08-28T03:49:56Z
dc.title.none.fl_str_mv Optimización y paralelización automática de programas mediante el procesamiento de información incompleta.
Automatic optimization and parallelization of programs by incomplete information processing
title Optimización y paralelización automática de programas mediante el procesamiento de información incompleta.
spellingShingle Optimización y paralelización automática de programas mediante el procesamiento de información incompleta.
J. Reyes Juárez Ramírez
info:eu-repo/classification/Autor/Programación declarativa
info:eu-repo/classification/cti/7
info:eu-repo/classification/cti/33
info:eu-repo/classification/cti/3304
info:eu-repo/classification/cti/3304
title_short Optimización y paralelización automática de programas mediante el procesamiento de información incompleta.
title_full Optimización y paralelización automática de programas mediante el procesamiento de información incompleta.
title_fullStr Optimización y paralelización automática de programas mediante el procesamiento de información incompleta.
title_full_unstemmed Optimización y paralelización automática de programas mediante el procesamiento de información incompleta.
title_sort Optimización y paralelización automática de programas mediante el procesamiento de información incompleta.
dc.creator.none.fl_str_mv J. Reyes Juárez Ramírez
author J. Reyes Juárez Ramírez
author_facet J. Reyes Juárez Ramírez
author_role author
dc.contributor.none.fl_str_mv Andrey Chernykh
dc.subject.none.fl_str_mv info:eu-repo/classification/Autor/Programación declarativa
info:eu-repo/classification/cti/7
info:eu-repo/classification/cti/33
info:eu-repo/classification/cti/3304
info:eu-repo/classification/cti/3304
topic info:eu-repo/classification/Autor/Programación declarativa
info:eu-repo/classification/cti/7
info:eu-repo/classification/cti/33
info:eu-repo/classification/cti/3304
info:eu-repo/classification/cti/3304
description En este trabajo de tesis se estudia una nueva técnica de optimización automática de programas denominada evaluación parcial, basada en procesar información incompleta en una etapa previa a la ejecución final del programa. Las precomputaciones realizadas con esta técnica generan un código residual más simple de interpretar por parte del compilador y de una ejecución más rápida con el resto de los datos de entrada. Se estudia el modelo de computación paralela de la máquina de redes abstractas (ANM, por sus siglas en inglés) que aplica el procesamiento de información incompleta tanto en la evaluación, como en la ejecución del código. Este modelo se basa en la transformación de programas mediante redes asociativas, las cuales se reducen completa o parcialmente dependiendo de la disponibilidad de los datos de entrada, permitiendo de esta manera obtener un resultado final del programa o aplicar la evaluación parcial en forma simple. Se propone la aplicación de la evaluación parcial sobre la actividad de un intérprete para el lenguaje C en la ANM, como una nueva técnica de paralizar programas imperativos en forma automática con un alto grado de eficiencia del paralelismo obtenido, en la cual no es necesario realizar un análisis sobre el código fuente para resolver problemas de la dependencia de datos, accesos concurrentes a memoria y efectos colaterales, como se hace en la paralelización tradicional.
publishDate 2000
dc.date.none.fl_str_mv 2000
dc.type.none.fl_str_mv info:eu-repo/semantics/masterThesis
info:eu-repo/semantics/publishedVersion
format masterThesis
status_str publishedVersion
dc.identifier.none.fl_str_mv http://cicese.repositorioinstitucional.mx/jspui/handle/1007/2152
url http://cicese.repositorioinstitucional.mx/jspui/handle/1007/2152
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv citation:Juárez Ramírez, J. R.2000.Optimización y paralelización automática de programas mediante el procesamiento de información incompleta.Tesis de Maestría en Ciencias. Centro de Investigación Científica y de Educación Superior de Ensenada, Baja California.197 p.
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by/4.0
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by/4.0
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv CICESE
publisher.none.fl_str_mv CICESE
dc.source.none.fl_str_mv reponame:Repositorio Institucional CICESE
instname:Centro de Investigación Científica y de Educación Superior de Ensenada
instacron:CICESE
instname_str Centro de Investigación Científica y de Educación Superior de Ensenada
instacron_str CICESE
institution CICESE
reponame_str Repositorio Institucional CICESE
collection Repositorio Institucional CICESE
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1858175377165254656
score 14,964252