{"id":106662,"date":"2011-04-02T00:00:00","date_gmt":"2011-04-02T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/the-omega-failure-detector-in-the-crash-recovery-model\/"},"modified":"2011-04-02T00:00:00","modified_gmt":"2011-04-02T00:00:00","slug":"the-omega-failure-detector-in-the-crash-recovery-model","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/pais-vasco-euskal-herriko-unibertsitatea\/the-omega-failure-detector-in-the-crash-recovery-model\/","title":{"rendered":"The omega failure detector in the crash-recovery model"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Cristian Martinez Hernandez <\/strong><\/h2>\n<p>El dise\u00f1o y la verificaci\u00f3n de algoritmos y aplicaciones distribuidas tolerantes a fallos son tareas complejas. Para estudiarlas, se han identificado varios problemas est\u00e1ndar. Uno de los m\u00e1s importantes es el consenso, el problema de varios procesos intentando acordar una decisi\u00f3n com\u00fan. El problema del consenso no puede ser resuelto determin\u00edsticamente en sistemas as\u00edncronos donde los procesos pueden fallar. Para salvar esta imposibilidad, chandra y toueg propusieron los detectores no fiables de fallos.  en esta tesis estudiamos, por primera vez, el detector no fiable de fallos omega en el modelo de sistema de fallo-y-recuperaci\u00f3n (crash-recovery). M\u00e1s concretamente nos centramos en el dise\u00f1o de algoritmos que implementan dicho detector de fallos en modelos de sincron\u00eda parcial donde los procesos pueden caer y luego recuperarse, para los que se ha demostrado que el consenso se puede resolver.  en primer lugar redefinimos el detector de fallos omega para el modelo de fallo-y-recuperaci\u00f3n. Definimos los detectores de fallos omegacr1 y omegacr2 para sistemas sin y con memoria estable respectivamente. Seguidamente, proponemos un conjunto de ocho algoritmos distribuidos que funcionan en modelos de sistema de fallo-y-recuperaci\u00f3n (ligeramente) diferentes. Respecto a la eficiencia, se han implementado dos algoritmos eficientes en cuanto a comunicaci\u00f3n (communication-efficient), uno para omegacr1 y el otro para omegacr2.  adem\u00e1s, proponemos dos algoritmos que implementan detectores de fallos eventually perfect, <>p. En el modelo de fallo-y-recuperaci\u00f3n no es posible implementar un detector de fallos de la clase <>p. Por ello, se han definido e implementado los detectores de fallos <>pcr y <>pk-cr, que satisfacen propiedades m\u00e1s d\u00e9biles. Los algoritmos est\u00e1n basados en el uso de un servicio de elecci\u00f3n de l\u00edder, que es proporcionado por el detector de fallos omegacr2. Finalmente, proponemos tres algoritmos de elecci\u00f3n de agregador y agregaci\u00f3n de datos para redes de sensores inal\u00e1mbricas, construidos sobre nuestras implementaciones del detector de fallos omegacr2.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>The omega failure detector in the crash-recovery model<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 The omega failure detector in the crash-recovery model <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Cristian Martinez Hernandez <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Pa\u00eds vasco\/euskal herriko unibertsitatea<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 04\/02\/2011<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<h3>Direcci\u00f3n y tribunal<\/h3>\n<ul>\n<li><strong>Director de la tesis<\/strong>\n<ul>\n<li>Mikel Larrea Alava<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: sergio Ar\u00e9valo vi\u00f1uales <\/li>\n<li>Marta Pati\u00f1o mart\u00ednez (vocal)<\/li>\n<li>Antonio Fernandez anta (vocal)<\/li>\n<li>Alberto Lafuente rojo (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Cristian Martinez Hernandez El dise\u00f1o y la verificaci\u00f3n de algoritmos y aplicaciones distribuidas tolerantes a fallos son [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"footnotes":""},"categories":[45251,13880,12909],"tags":[69532,73250,214576,57073,121135,31238],"class_list":["post-106662","post","type-post","status-publish","format-standard","hentry","category-fiabilidad-de-los-ordenadores","category-informatica","category-pais-vasco-euskal-herriko-unibertsitatea","tag-alberto-lafuente-rojo","tag-antonio-fernandez-anta","tag-cristian-Martinez-hernandez","tag-marta-patino-Martinez","tag-mikel-larrea-alava","tag-sergio-arevalo-vinuales"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/106662","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/comments?post=106662"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/106662\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=106662"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=106662"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=106662"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}