Por favor, use este identificador para citar o enlazar este ítem:
http://cicese.repositorioinstitucional.mx/jspui/handle/1007/357| Estudio de la técnica de acoplamiento en algoritmos auto-estabilizantes Study of the coupling technique for self-stabilizing algorithms. | |
| Liz Ibeth Gaxiola Olivas | |
| José Alberto Fernández Zepeda | |
| Acceso Abierto | |
| Atribución | |
| Auto-estabilización,Self-stabilization,Convergencia,Convergence,Técnica de acoplamiento,Coupling | |
| La tolerancia a fallas es una característica deseable de los sistemas distribuidos donde los sistemas auto-estabilizantes ofrecen soporte de manera intrínseca. Uno de los retos de los algoritmos auto-estabilizantes es demostrar su convergencia, es decir probar que el algoritmo llega a un comportamiento deseado. En esta tesis se propone realizar un análisis de la convergencia de algoritmos auto-estabilizantes con topologías asimétricas utilizando la técnica de acoplamiento. Debido a que las investigaciones preliminares sobre esta técnica sólo la utilizan en algoritmos con topologías muy restringidas. Dicha técnica comprueba la convergencia de algoritmos auto-estabilizantes combinando dos medidas de convergencia de una cadena de Markov: el tiempo esperado de alcance y el tiempo de absorción-e. La importancia de esta tesis radica, en ampliar el uso de la técnica de acoplamiento para analizar algoritmos auto-estabilizantes con topologías más generales. De igual manera, la contribución de este trabajo es mostrar que ésta técnica se puede aplicar para demostrar la convergencia de los algoritmos auto-estabilizantes en un conjunto más amplio de confguraciones. To be faulttolerant is a desirable feature of distributed systems and self-stabilizingsystems offer intrinsical support. One of the challenges of self-stabilizingalgorithms is to prove convergence, i.e. to prove that an algorithm reaches adesired behavior. This thesis proposes an analysis of the convergence ofself-stabilizing algorithms with asymmetric topologies by using the couplingtechnique, since preliminary investigations on this technique show that it isonly used on restricted topologies. This technique proves the convergence ofself-stabilizing by combining two measures of convergence for a Markov chain:expected hitting time and e-absorption time. The importance of this thesis isto expand the use of the coupling technique to analyze self-stabilizingalgorithms with more general topologies. Similarly, our contribution is to showthat this technique can be used to prove convergence in self-stabilizing algorithmson a wider set of configurations. | |
| CICESE | |
| 2009 | |
| Tesis de maestría | |
| Español | |
| Gaxiola Olivas,L.I.2009.Estudio de la técnica de acoplamiento en algoritmos auto-estabilizantes.Tesis de Maestría en Ciencias. Centro de Investigación Científica y de Educación Superior de Ensenada, Baja California.ix, 112 pp. | |
| CIENCIA DE LOS ORDENADORES | |
| Aparece en las colecciones: | Tesis - Ciencias de la Computación |
Cargar archivos:
| Fichero | Descripción | Tamaño | Formato | |
|---|---|---|---|---|
| 183101.pdf | Versión completa de la tesis | 696.33 kB | Adobe PDF | Visualizar/Abrir |