Algoritmos auto-estabilizantes para sistemas basados en preferencias

En el presente trabajo se estudian los algoritmos auto-estabilizantes para sistemas distribuidos con el enfoque basado en preferencias. Bajo este enfoque, se define a la preferencia de un proceso como un indicador acerca de la calidad de servicio que dicho proceso puede proveer en el sistema. El est...

ver descrição completa

Detalhes bibliográficos
Autor: Daniel Fajardo Delgado
Formato: tesis doctoral
Estado:Versión publicada
Fecha de publicación:2011
País:México
Recursos: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/2463
Acesso em linha:http://cicese.repositorioinstitucional.mx/jspui/handle/1007/2463
Access Level:acceso abierto
Palavra-chave:info:eu-repo/classification/Autor/Algoritmo, Fallas de sistema, Sistemas distribuidos
info:eu-repo/classification/cti/7
info:eu-repo/classification/cti/33
info:eu-repo/classification/cti/3304
id MX_8109e6aefbe8e7b4e30d005774576a35
oai_identifier_str oai:cicese.repositorioinstitucional.mx:1007/2463
network_acronym_str MX
network_name_str México
repository_id_str
dc.title.none.fl_str_mv Algoritmos auto-estabilizantes para sistemas basados en preferencias
Self-stabilizing algorithms for preference -based systems
title Algoritmos auto-estabilizantes para sistemas basados en preferencias
spellingShingle Algoritmos auto-estabilizantes para sistemas basados en preferencias
Daniel Fajardo Delgado
info:eu-repo/classification/Autor/Algoritmo, Fallas de sistema, Sistemas distribuidos
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 Algoritmos auto-estabilizantes para sistemas basados en preferencias
title_full Algoritmos auto-estabilizantes para sistemas basados en preferencias
title_fullStr Algoritmos auto-estabilizantes para sistemas basados en preferencias
title_full_unstemmed Algoritmos auto-estabilizantes para sistemas basados en preferencias
title_sort Algoritmos auto-estabilizantes para sistemas basados en preferencias
dc.creator.none.fl_str_mv Daniel Fajardo Delgado
author Daniel Fajardo Delgado
author_facet Daniel Fajardo Delgado
author_role author
dc.contributor.none.fl_str_mv Jose Alberto Fernandez Zepeda
dc.subject.none.fl_str_mv info:eu-repo/classification/Autor/Algoritmo, Fallas de sistema, Sistemas distribuidos
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/Algoritmo, Fallas de sistema, Sistemas distribuidos
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 el presente trabajo se estudian los algoritmos auto-estabilizantes para sistemas distribuidos con el enfoque basado en preferencias. Bajo este enfoque, se define a la preferencia de un proceso como un indicador acerca de la calidad de servicio que dicho proceso puede proveer en el sistema. El estudio se divide en tres fases. La primera fase consiste en la generación de un historial de fallas que permita definir las preferencias de los procesos de una cadena lineal orientada; en este caso, la preferencia de cada proceso se vincula al número de fallas incurridas individualmente. Se diseña un algoritmo que utiliza el coloreado auto-estabilizante de grafos para añadir las características de detección, corrección y registro de fallas en el sistema; la suposición principal es que el cambio de color en un proceso representa una falla incurrida en el mismo. Se demuestra que el algoritmo propuesto es correcto y se establece el tiempo de ejecución. La segunda fase del estudio se enfoca al problema de elección de líder autoestabilizante bajo el enfoque basado en preferencias. El objetivo es garantizar que el líder electo siempre sea el proceso con la mayor preferencia en el sistema. En esta fase, se supone que cada proceso “conoce” de antemano su preferencia y que ésta puede variar constantemente en el tiempo. Inicialmente se diseña un algoritmo auto-estabilizante de elección de líder basado en sólo dos preferencias para cadenas lineales anónimas. Posteriormente, se diseña un algoritmo aleatorio auto-estabilizante que funciona para árboles anónimos con dos o más preferencias. Este último algoritmo garantiza la elección de líder incluso en configuraciones simétricas en el que todas las preferencias son iguales. Se demuestra que el algoritmo tiene un tiempo promedio de ejecución óptimo y se corroboran estos resultados mediante simulaciones experimentales. Finalmente, la tercera fase del estudio consiste en explorar el enfoque basado en preferencias para sistemas distribuidos desde el punto de vista de la teoría de juegos. En esta fase se plantea un juego al que se denomina el Problema de Asignación de Guardaespaldas (PAG), que ilustra el comportamiento de procesos con objetivos individuales contradictorios en sistemas distribuidos. En particular, el juego trata sobre el conflicto de intereses entre dos clases de procesos que maximizan/minimizan su distancia a un proceso especial denominado raíz. Una solución del PAG es un árbol de expansión enraizado en el que existe una condición de equilibrio con el máximo bienestar social. Se analiza la ineficiencia de los equilibrios del juego con base en un enfoque enteramente cooperativo y otro enteramente no-cooperativo. Por otro lado, se diseñan dos algoritmos, CBAP y DBAP, que proveen de soluciones aproximadas para el juego del PAG. Se demuestra que estos algoritmos siempre terminan en una configuración de equilibrio y se analiza el tiempo de ejecución con base en el enfoque de cooperación utilizado. Se realizan simulaciones experimentales para comparar la calidad de los equilibrios obtenidos por los algoritmos propuestos. Adicionalmente, se diseña una versión auto-estabilizante del algoritmo DBAP, denominado DBAP-st, que funciona bajo el enfoque enteramente no-cooperativo. Este algoritmo garantiza el restablecimiento de un equilibrio para el PAG en un sistema distribuido, incluso después de alguna perturbación en la configuración del mismo.
publishDate 2011
dc.date.none.fl_str_mv 2011
dc.type.none.fl_str_mv info:eu-repo/semantics/doctoralThesis
info:eu-repo/semantics/publishedVersion
format doctoralThesis
status_str publishedVersion
dc.identifier.none.fl_str_mv http://cicese.repositorioinstitucional.mx/jspui/handle/1007/2463
url http://cicese.repositorioinstitucional.mx/jspui/handle/1007/2463
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv citation:Fajardo Delgado, D.2011.Algoritmos auto-estabilizantes para sistemas basados en preferencias.Tesis de Maestría en Ciencias.Centro de Investigación Científica y de Educación Superior de Ensenada, Baja California.152 pp.
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_ 1858175901752098816
spelling Algoritmos auto-estabilizantes para sistemas basados en preferenciasSelf-stabilizing algorithms for preference -based systemsDaniel Fajardo Delgadoinfo:eu-repo/classification/Autor/Algoritmo, Fallas de sistema, Sistemas distribuidosinfo:eu-repo/classification/cti/7info:eu-repo/classification/cti/33info:eu-repo/classification/cti/3304info:eu-repo/classification/cti/3304En el presente trabajo se estudian los algoritmos auto-estabilizantes para sistemas distribuidos con el enfoque basado en preferencias. Bajo este enfoque, se define a la preferencia de un proceso como un indicador acerca de la calidad de servicio que dicho proceso puede proveer en el sistema. El estudio se divide en tres fases. La primera fase consiste en la generación de un historial de fallas que permita definir las preferencias de los procesos de una cadena lineal orientada; en este caso, la preferencia de cada proceso se vincula al número de fallas incurridas individualmente. Se diseña un algoritmo que utiliza el coloreado auto-estabilizante de grafos para añadir las características de detección, corrección y registro de fallas en el sistema; la suposición principal es que el cambio de color en un proceso representa una falla incurrida en el mismo. Se demuestra que el algoritmo propuesto es correcto y se establece el tiempo de ejecución. La segunda fase del estudio se enfoca al problema de elección de líder autoestabilizante bajo el enfoque basado en preferencias. El objetivo es garantizar que el líder electo siempre sea el proceso con la mayor preferencia en el sistema. En esta fase, se supone que cada proceso “conoce” de antemano su preferencia y que ésta puede variar constantemente en el tiempo. Inicialmente se diseña un algoritmo auto-estabilizante de elección de líder basado en sólo dos preferencias para cadenas lineales anónimas. Posteriormente, se diseña un algoritmo aleatorio auto-estabilizante que funciona para árboles anónimos con dos o más preferencias. Este último algoritmo garantiza la elección de líder incluso en configuraciones simétricas en el que todas las preferencias son iguales. Se demuestra que el algoritmo tiene un tiempo promedio de ejecución óptimo y se corroboran estos resultados mediante simulaciones experimentales. Finalmente, la tercera fase del estudio consiste en explorar el enfoque basado en preferencias para sistemas distribuidos desde el punto de vista de la teoría de juegos. En esta fase se plantea un juego al que se denomina el Problema de Asignación de Guardaespaldas (PAG), que ilustra el comportamiento de procesos con objetivos individuales contradictorios en sistemas distribuidos. En particular, el juego trata sobre el conflicto de intereses entre dos clases de procesos que maximizan/minimizan su distancia a un proceso especial denominado raíz. Una solución del PAG es un árbol de expansión enraizado en el que existe una condición de equilibrio con el máximo bienestar social. Se analiza la ineficiencia de los equilibrios del juego con base en un enfoque enteramente cooperativo y otro enteramente no-cooperativo. Por otro lado, se diseñan dos algoritmos, CBAP y DBAP, que proveen de soluciones aproximadas para el juego del PAG. Se demuestra que estos algoritmos siempre terminan en una configuración de equilibrio y se analiza el tiempo de ejecución con base en el enfoque de cooperación utilizado. Se realizan simulaciones experimentales para comparar la calidad de los equilibrios obtenidos por los algoritmos propuestos. Adicionalmente, se diseña una versión auto-estabilizante del algoritmo DBAP, denominado DBAP-st, que funciona bajo el enfoque enteramente no-cooperativo. Este algoritmo garantiza el restablecimiento de un equilibrio para el PAG en un sistema distribuido, incluso después de alguna perturbación en la configuración del mismo.In this work, we study self-stabilizing algorithms for distributed systems with the preference-based approach. Under this approach, processes have preferences that represent indicators of the quality of service that each one can provide in the system. We divide this study in three phases. The first phase of this work consists on the generation of a fault record to define the preferences of each process in an oriented linear chain; for this, we assume that the preference of any process relates directly to the number of faults incurred individually in it. We design an algorithm that use a self-stabilizing method for coloring graphs to add to the chain, characteristics of local detection and recovery. We assume that the change on the color of any process represents a fault incurred in it. We prove the correctness of the proposed algorithm and determine its running time. The second phase of this work comprises the study of the leader election problem under the preference-based approach, where the algorithm always selects as leader to the process with the highest preference in the system. In this phase, we assume that any process previously “knows” the value of its preference and that the preferences of the processes change over time. Initially, we design a self-stabilizing leader election algorithm for nonymous linear chains with only two preferences in their processes. Later, we design a new randomized self-stabilizing leader election algorithm for anonymous trees with two or more preferences. The algorithm is able to solve problems with symmetric configurations where each preference is the same. We prove that this last algorithm has an optimal average time complexity and we also performed experimental simulations to corroborate these results. Finally, the third phase of this work corresponds to the study of the preference-based approach in distributed systems from a game-theoretic point of view. We introduce the Bodyguard Allocation Problem (BAP) game, that illustrates the behavior of processes with contradictory individual goals in distributed systems. In particular, the game deals with the conflict of interest between two classes of processes that maximize/minimize their distance to a special process called the root. A solution of the BAP game represents a rooted spanning tree in which there exists a condition of equilibrium with maximum social welfare. We analyze the inefficiency of equilibria of the game based on both: a completely cooperative and non-cooperative approaches. On the other hand, we design two algorithms, CBAP and DBAP, that provide approximated solutions to the BAP game. We prove that both algorithms always terminate in a iv equilibrium configuration and we analyze their running time based on some approaches of cooperation. We performed experimental simulations to compare the overall quality of equilibria obtained by the proposed algorithms. Additionally, we design a self-stabilizing version of the algorithm DBAP, called DBAP-st, that works under the entirely noncooperative approach. This algorithm guarantees the re-establishment of equilibrium for the BAP game in a distributed system after any perturbation on it.CICESEJose Alberto Fernandez Zepeda2011info:eu-repo/semantics/doctoralThesisinfo:eu-repo/semantics/publishedVersionapplication/pdfhttp://cicese.repositorioinstitucional.mx/jspui/handle/1007/2463reponame:Repositorio Institucional CICESEinstname:Centro de Investigación Científica y de Educación Superior de Ensenadainstacron:CICESEspacitation:Fajardo Delgado, D.2011.Algoritmos auto-estabilizantes para sistemas basados en preferencias.Tesis de Maestría en Ciencias.Centro de Investigación Científica y de Educación Superior de Ensenada, Baja California.152 pp.info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by/4.0oai:cicese.repositorioinstitucional.mx:1007/24632024-08-28T03:49:59Z
score 14,965132

Registos relacionados