Estudio de la técnica de acoplamiento en algoritmos auto-estabilizantes
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 comportamie...
| Autor: | |
|---|---|
| Tipo de recurso: | tesis de maestría |
| Estado: | Versión publicada |
| Fecha de publicación: | 2009 |
| 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/357 |
| Acceso en línea: | http://cicese.repositorioinstitucional.mx/jspui/handle/1007/357 |
| Access Level: | acceso abierto |
| Palabra clave: | info:eu-repo/classification/Autor/Auto-estabilización,Self-stabilization,Convergencia,Convergence,Técnica de acoplamiento,Coupling info:eu-repo/classification/cti/1 info:eu-repo/classification/cti/12 info:eu-repo/classification/cti/1203 |
| Sumario: | 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. |
|---|