Analysis of May-Happen-in-Parallel in Concurrent Objects

Esta tesis presenta un análisis may-happen-in-parallel (puede-ocurrir-en-paralelo) para lenguajes orientados a objetos y basados en objetos concurrentes. En éste modelo de concurrencia, los objetos son la unidad de concurrencia tal que, cuando un método de un objeto o2 es llamado desde una tarea que...

Descripción completa

Detalles Bibliográficos
Autor: Flores Montoya, Antonio E.
Tipo de recurso: tesis de maestría
Fecha de publicación:2012
País:España
Institución:Universidad Complutense de Madrid (UCM)
Repositorio:Docta Complutense
Idioma:inglés
OAI Identifier:oai:docta.ucm.es:20.500.14352/46482
Acceso en línea:https://hdl.handle.net/20.500.14352/46482
Access Level:acceso abierto
Palabra clave:004.42.045(043.3)
May-Happen-in-Parallel
Análisis Estático
Sistemas Asíncronos Distribuidos
Objetos Concurrentes
Actors
Lenguaje ABS
Static analysis
Distributed Asynchronous Systems
Concurrent Objects
ABS Language
Programación orientada a objetos
1203.24 Teoría de la Programación
id ES_070bd84e73446c42b4bd3cc39eb46be2
oai_identifier_str oai:docta.ucm.es:20.500.14352/46482
network_acronym_str ES
network_name_str España
repository_id_str
spelling Analysis of May-Happen-in-Parallel in Concurrent ObjectsFlores Montoya, Antonio E.004.42.045(043.3)May-Happen-in-ParallelAnálisis EstáticoSistemas Asíncronos DistribuidosObjetos ConcurrentesActorsLenguaje ABSStatic analysisDistributed Asynchronous SystemsConcurrent ObjectsABS LanguageProgramación orientada a objetos1203.24 Teoría de la ProgramaciónEsta tesis presenta un análisis may-happen-in-parallel (puede-ocurrir-en-paralelo) para lenguajes orientados a objetos y basados en objetos concurrentes. En éste modelo de concurrencia, los objetos son la unidad de concurrencia tal que, cuando un método de un objeto o2 es llamado desde una tarea que se ejecuta en un objeto o1, las instrucciones de la tarea concurrente en o1 pueden ejecutarse en paralelo con las de la llamada (asíncrona) en o2, y con los métodos llamados de forma transitiva. El objetivo del análisis MHP es identificar los pares de instrucciones que puede ejecutarse en paralelo en un programa para cualquier ejecución del mismo. Nuestro análisis está definido como un análisis a nivel de método (local) cuya información se puede componer de forma modular para obtener la información al nivel de la aplicación (global). Se ha demostrado la corrección del análisis, es decir, que sobre-aproxima el paralelismo real de los programas de acuerdo con una semántica bien definida. Se ha implementado un prototipo, dando lugar al sistema MayPar, un analizador may-happen-in-parallel que se puede ser útil para depuración, corrección de errores y para incrementar la precisión de otros análisis que infieran propiedades más complejas (por ejemplo, terminación o análisis de recursos). MayPar se ha probado con múltiples ejemplos, entre ellos dos casos de estudio industriales, y se han alcanzado buenas cotas de precisión y rendimiento. [Abstract] This thesis presents a may-happen-in-parallel (MHP) analysis for object-oriented languages based on concurrent objects. In this concurrency model, objects are the concurrency units such that, when a method is invoked on an object o2 from a task executing on object o1, the statements of the current task in o1 may run in parallel with those of the (asynchronous) call on o2, and with those of transitively invoked methods. The goal of the MHP analysis is to identify pairs of statements in the program that may run in parallel in any execution. Our MHP analysis is formalized as a method-level (local) analysis whose information can be modularly composed to obtain application-level (global) information. The analysis has been proven to be sound, that is, it over-approximates the real parallelism according to a well defined semantics. A prototype implementation has been carried out, resulting in the MayPar system, a may-happen-in-parallel analyzer that can be used for debugging and to increase precision of other analyses which infer more complex properties (e.g., termination and resource consumption). MayPar has been tested on several examples, including two industrial cases studies, achieving good precision and performance.Albert Albiol, ElviraGenaim, SamirUniversidad Complutense de Madrid20122012-01-0120122012-01-01master thesishttp://purl.org/coar/resource_type/c_bdccinfo:eu-repo/semantics/masterThesisapplication/pdfhttps://hdl.handle.net/20.500.14352/46482reponame:Docta Complutenseinstname:Universidad Complutense de Madrid (UCM)Inglésengopen accesshttp://purl.org/coar/access_right/c_abf2Atribución-NoComercial 3.0 Españahttps://creativecommons.org/licenses/by-nc/3.0/es/info:eu-repo/semantics/openAccessoai:docta.ucm.es:20.500.14352/464822026-06-02T12:44:21Z
dc.title.none.fl_str_mv Analysis of May-Happen-in-Parallel in Concurrent Objects
title Analysis of May-Happen-in-Parallel in Concurrent Objects
spellingShingle Analysis of May-Happen-in-Parallel in Concurrent Objects
Flores Montoya, Antonio E.
004.42.045(043.3)
May-Happen-in-Parallel
Análisis Estático
Sistemas Asíncronos Distribuidos
Objetos Concurrentes
Actors
Lenguaje ABS
Static analysis
Distributed Asynchronous Systems
Concurrent Objects
ABS Language
Programación orientada a objetos
1203.24 Teoría de la Programación
title_short Analysis of May-Happen-in-Parallel in Concurrent Objects
title_full Analysis of May-Happen-in-Parallel in Concurrent Objects
title_fullStr Analysis of May-Happen-in-Parallel in Concurrent Objects
title_full_unstemmed Analysis of May-Happen-in-Parallel in Concurrent Objects
title_sort Analysis of May-Happen-in-Parallel in Concurrent Objects
dc.creator.none.fl_str_mv Flores Montoya, Antonio E.
author Flores Montoya, Antonio E.
author_facet Flores Montoya, Antonio E.
author_role author
dc.contributor.none.fl_str_mv Albert Albiol, Elvira
Genaim, Samir
Universidad Complutense de Madrid
dc.subject.none.fl_str_mv 004.42.045(043.3)
May-Happen-in-Parallel
Análisis Estático
Sistemas Asíncronos Distribuidos
Objetos Concurrentes
Actors
Lenguaje ABS
Static analysis
Distributed Asynchronous Systems
Concurrent Objects
ABS Language
Programación orientada a objetos
1203.24 Teoría de la Programación
topic 004.42.045(043.3)
May-Happen-in-Parallel
Análisis Estático
Sistemas Asíncronos Distribuidos
Objetos Concurrentes
Actors
Lenguaje ABS
Static analysis
Distributed Asynchronous Systems
Concurrent Objects
ABS Language
Programación orientada a objetos
1203.24 Teoría de la Programación
description Esta tesis presenta un análisis may-happen-in-parallel (puede-ocurrir-en-paralelo) para lenguajes orientados a objetos y basados en objetos concurrentes. En éste modelo de concurrencia, los objetos son la unidad de concurrencia tal que, cuando un método de un objeto o2 es llamado desde una tarea que se ejecuta en un objeto o1, las instrucciones de la tarea concurrente en o1 pueden ejecutarse en paralelo con las de la llamada (asíncrona) en o2, y con los métodos llamados de forma transitiva. El objetivo del análisis MHP es identificar los pares de instrucciones que puede ejecutarse en paralelo en un programa para cualquier ejecución del mismo. Nuestro análisis está definido como un análisis a nivel de método (local) cuya información se puede componer de forma modular para obtener la información al nivel de la aplicación (global). Se ha demostrado la corrección del análisis, es decir, que sobre-aproxima el paralelismo real de los programas de acuerdo con una semántica bien definida. Se ha implementado un prototipo, dando lugar al sistema MayPar, un analizador may-happen-in-parallel que se puede ser útil para depuración, corrección de errores y para incrementar la precisión de otros análisis que infieran propiedades más complejas (por ejemplo, terminación o análisis de recursos). MayPar se ha probado con múltiples ejemplos, entre ellos dos casos de estudio industriales, y se han alcanzado buenas cotas de precisión y rendimiento. [Abstract] This thesis presents a may-happen-in-parallel (MHP) analysis for object-oriented languages based on concurrent objects. In this concurrency model, objects are the concurrency units such that, when a method is invoked on an object o2 from a task executing on object o1, the statements of the current task in o1 may run in parallel with those of the (asynchronous) call on o2, and with those of transitively invoked methods. The goal of the MHP analysis is to identify pairs of statements in the program that may run in parallel in any execution. Our MHP analysis is formalized as a method-level (local) analysis whose information can be modularly composed to obtain application-level (global) information. The analysis has been proven to be sound, that is, it over-approximates the real parallelism according to a well defined semantics. A prototype implementation has been carried out, resulting in the MayPar system, a may-happen-in-parallel analyzer that can be used for debugging and to increase precision of other analyses which infer more complex properties (e.g., termination and resource consumption). MayPar has been tested on several examples, including two industrial cases studies, achieving good precision and performance.
publishDate 2012
dc.date.none.fl_str_mv 2012
2012-01-01
2012
2012-01-01
dc.type.none.fl_str_mv master thesis
http://purl.org/coar/resource_type/c_bdcc
dc.type.openaire.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
dc.identifier.none.fl_str_mv https://hdl.handle.net/20.500.14352/46482
url https://hdl.handle.net/20.500.14352/46482
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
Atribución-NoComercial 3.0 España
https://creativecommons.org/licenses/by-nc/3.0/es/
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
Atribución-NoComercial 3.0 España
https://creativecommons.org/licenses/by-nc/3.0/es/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Docta Complutense
instname:Universidad Complutense de Madrid (UCM)
instname_str Universidad Complutense de Madrid (UCM)
reponame_str Docta Complutense
collection Docta Complutense
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869402955071881216
score 15.300719

Similares en LA Referencia