{"id":453,"date":"2025-02-13T13:11:33","date_gmt":"2025-02-13T12:11:33","guid":{"rendered":"https:\/\/graal.ens-lyon.fr\/skydata\/?p=453"},"modified":"2025-02-13T13:11:34","modified_gmt":"2025-02-13T12:11:34","slug":"stage-6-conception-et-preuves-dalgorithmes-distribues-pour-les-systemes-de-gestion-de-donnees-autonomes","status":"publish","type":"post","link":"https:\/\/graal.ens-lyon.fr\/skydata\/2025\/02\/13\/stage-6-conception-et-preuves-dalgorithmes-distribues-pour-les-systemes-de-gestion-de-donnees-autonomes\/","title":{"rendered":"Stage #6: Conception et preuves d&rsquo;algorithmes distribu\u00e9s pour les syst\u00e8mes de gestion de donn\u00e9es autonomes"},"content":{"rendered":"\n<h2 class=\"wp-block-heading\">Contributeur<\/h2>\n\n\n\n<p>Louann Coste (stagiaire PLR ENS de Lyon)<\/p>\n\n\n\n<p>Encadrement: \u00c9lise Jeanneau<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Dates<\/h2>\n\n\n\n<p>Du 10 mars au 11 juillet 2025<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Site<\/h2>\n\n\n\n<p>Laboratoire de l\u2019Informatique du Parall\u00e9lisme (LIP), ENS Lyon<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Synopsis<\/h2>\n\n\n\n<p>Le PLR consistera \u00e0 proposer un algorithme capable de r\u00e9soudre le probl\u00e8me du consensus (ou une approximation de consensus, comme dans l\u2019algorithme de Paxos [4]) dans un syst\u00e8me SkyData, en s\u2019appuyant sur les sp\u00e9cificit\u00e9s du mod\u00e8le SkyData. Il s\u2019agira ensuite de prouver formellement la validit\u00e9 de l\u2019algorithme propos\u00e9 dans notre mod\u00e8le. Si le temps le permet, on compl\u00e9mentera cette validation th\u00e9orique par une validation exp\u00e9rimentale \u00e0 l\u2019aide du prototype de syst\u00e8me SkyData d\u00e9j\u00e0 d\u00e9velopp\u00e9 dans l\u2019\u00e9quipe.<\/p>\n\n\n\n<p>Dans un contexte d\u2019agents autonomes, un algorithme de consensus s\u2019appuie n\u00e9cessairement sur les propri\u00e9t\u00e9s fournies par les algorithmes de migration et de r\u00e9plication, qui r\u00e9gissent la connectivit\u00e9 entre les agents. Pour accomplir les objectifs du PLR, il sera donc n\u00e9cessaire dans un premier temps de proposer des versions d\u00e9terministes (fournissant des garanties plus fortes, mais moins de performances) des algorithmes de migration et de r\u00e9plication.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Contributeur Louann Coste (stagiaire PLR ENS de Lyon) Encadrement: \u00c9lise Jeanneau Dates Du 10 mars au 11 juillet 2025 Site<\/p>\n","protected":false},"author":5,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"colormag_page_container_layout":"default_layout","colormag_page_sidebar_layout":"default_layout","footnotes":""},"categories":[13],"tags":[],"class_list":["post-453","post","type-post","status-publish","format-standard","hentry","category-stage-et-recherche"],"_links":{"self":[{"href":"https:\/\/graal.ens-lyon.fr\/skydata\/wp-json\/wp\/v2\/posts\/453","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/graal.ens-lyon.fr\/skydata\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/graal.ens-lyon.fr\/skydata\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/graal.ens-lyon.fr\/skydata\/wp-json\/wp\/v2\/users\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/graal.ens-lyon.fr\/skydata\/wp-json\/wp\/v2\/comments?post=453"}],"version-history":[{"count":6,"href":"https:\/\/graal.ens-lyon.fr\/skydata\/wp-json\/wp\/v2\/posts\/453\/revisions"}],"predecessor-version":[{"id":460,"href":"https:\/\/graal.ens-lyon.fr\/skydata\/wp-json\/wp\/v2\/posts\/453\/revisions\/460"}],"wp:attachment":[{"href":"https:\/\/graal.ens-lyon.fr\/skydata\/wp-json\/wp\/v2\/media?parent=453"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/graal.ens-lyon.fr\/skydata\/wp-json\/wp\/v2\/categories?post=453"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/graal.ens-lyon.fr\/skydata\/wp-json\/wp\/v2\/tags?post=453"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}