{"id":34759,"date":"2019-10-31T22:00:14","date_gmt":"2019-10-31T19:00:14","guid":{"rendered":"https:\/\/prohoster.info\/blog\/osnovopolozhniki-teorii-raspredelennyh-sistem-v-obyatyah-gidry\/"},"modified":"2019-10-31T22:00:14","modified_gmt":"2019-10-31T19:00:14","slug":"osnovopolozhniki-teorii-raspredelennyh-sistem-v-obyatyah-gidry","status":"publish","type":"post","link":"https:\/\/prohoster.info\/fr\/blog\/administrirovanie\/osnovopolozhniki-teorii-raspredelennyh-sistem-v-obyatyah-gidry","title":{"rendered":"Les pionniers de la th\u00e9orie des syst\u00e8mes distribu\u00e9s dans les bras de l'hydre","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

\"LesC'est Leslie Lamport<\/strong> \u2014 auteur des travaux fondamentaux sur le calcul distribu\u00e9, et vous pouvez aussi le conna\u00eetre \u00e0 travers les lettres La dans le mot La<\/b>TeX \u2014 \u00abLamport TeX\u00bb. C'est lui qui a introduit pour la premi\u00e8re fois, en 1979, le concept de coh\u00e9rence s\u00e9quentielle<\/a><\/noindex>, et son article \u00abHow to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs\u00bb<\/a><\/noindex> a re\u00e7u le prix Dijkstra (en fait, en 2000, le prix s'appelait encore par l'ancien nom : \u00abPODC Influential Paper Award\u00bb). Il existe un article \u00e0 son sujet sur Wikip\u00e9dia<\/a><\/noindex>, o\u00f9 vous pouvez trouver d'autres liens int\u00e9ressants. Si vous \u00eates passionn\u00e9 par la r\u00e9solution de probl\u00e8mes comme happens-before ou le probl\u00e8me des g\u00e9n\u00e9raux byzantins<\/a><\/noindex> (BFT), vous devez comprendre que tout cela est li\u00e9 \u00e0 Lamport.
\n<\/p>\n

<\/p>\n

Et il va bient\u00f4t venir \u00e0 notre nouvelle conf\u00e9rence sur le calcul distribu\u00e9 \u2014 Hydra, qui aura lieu les 11 et 12 juillet \u00e0 Saint-P\u00e9tersbourg. Voyons de quoi il s'agit.<\/p>\n

<\/a><\/noindex><\/p>\n

Hydra 2019<\/h1>\n

<\/p>\n

Les sujets comme la programmation multithread\u00e9e sont parmi les plus populaires lors de nos conf\u00e9rences, ils l'ont toujours \u00e9t\u00e9. Il y a \u00e0 peine quelques instants, la salle \u00e9tait vide, mais voil\u00e0 qu'un homme monte sur sc\u00e8ne pour parler du mod\u00e8le de m\u00e9moire, happens-before ou du ramassage des ordures multithread\u00e9 et \u2014 boom ! \u2014 presque mille personnes occupent tout l'espace disponible pour s'asseoir et \u00e9couter attentivement. Quelle est la cl\u00e9 de ce succ\u00e8s ? Peut-\u00eatre parce que nous avons tous entre les mains du mat\u00e9riel capable de r\u00e9aliser des calculs distribu\u00e9s ? Ou parce que nous comprenons inconsciemment notre incapacit\u00e9 \u00e0 en tirer pleinement parti ? Il existe une vraie histoire d'un quant de Saint-P\u00e9tersbourg (c'est-\u00e0-dire un analyste quantitatif financier et d\u00e9veloppeur) qui a eu \u00e0 sa disposition un cluster de calcul, dont toute la puissance ne peut \u00eatre utilis\u00e9e que par lui. Que feriez-vous si vous obteniez pour vos t\u00e2ches des capacit\u00e9s de calcul plusieurs fois sup\u00e9rieures \u00e0 celles que vous avez actuellement ?<\/p>\n

<\/p>\n

Gr\u00e2ce \u00e0 cette popularit\u00e9, le sujet de la performance et des calculs efficaces a tendance \u00e0 se r\u00e9pandre dans le programme des conf\u00e9rences. Combien de pr\u00e9sentations sur deux jours peuvent \u00eatre faites sur la performance \u2014 un tiers, deux tiers ? Il existe des limites artificielles qui restreignent cette expansion : en plus de la performance, il doit toujours rester de la place pour de nouveaux frameworks web, de la devops ou de l'architecture astronautique. Non, performance, tu ne nous mangeras pas tous entiers !<\/p>\n

<\/p>\n

Il est possible de prendre le chemin inverse, de capituler et de faire honn\u00eatement une conf\u00e9rence enti\u00e8rement d\u00e9di\u00e9e aux calculs distribu\u00e9s. Et la voil\u00e0, Hydra.<\/p>\n

<\/p>\n

Soyons honn\u00eates, de nos jours, tous les calculs sont d'une mani\u00e8re ou d'une autre distribu\u00e9s. Que ce soit sur une machine multic\u0153ur, un cluster de calcul ou un service distribu\u00e9 \u00e0 grande \u00e9chelle, il y a toujours de nombreux processus qui effectuent des calculs ind\u00e9pendants en parall\u00e8le, tout en se synchronisant les uns avec les autres. Hydra sera d\u00e9di\u00e9e \u00e0 la th\u00e9orie de leur fonctionnement et \u00e0 leur mise en pratique.<\/p>\n

<\/p>\n

Programme de la conf\u00e9rence<\/h1>\n

<\/p>\n

Le programme est actuellement en cours de formation. Il devrait inclure des pr\u00e9sentations des fondateurs des th\u00e9ories des syst\u00e8mes distribu\u00e9s et des ing\u00e9nieurs qui travaillent avec eux en production.<\/p>\n

<\/p>\n

Par exemple, il est d\u00e9j\u00e0 connu que Leslie Lamport de Microsoft Research et Maurice Herlihy de l'Universit\u00e9 Brown participeront. <\/p>\n

<\/p>\n

\"Les Maurice Herlihy<\/strong> est un professeur tr\u00e8s connu et respect\u00e9 en informatique, pour lequel il existe \u00e9galement une page sur Wikip\u00e9dia<\/a><\/noindex>, o\u00f9 vous pouvez explorer les liens et ses travaux. Vous y remarquerez m\u00eame deux prix Dijkstra, le premier pour son travail sur \u00abWait-Free Synchronization\u00bb<\/a><\/noindex>, et le second, plus r\u00e9cent \u2014 \u00abTransactional Memory: Architectural Support for Lock-Free Data Structures\u00bb<\/a><\/noindex>. \u00c0 propos, les liens m\u00e8nent m\u00eame pas \u00e0 SciHub, mais \u00e0 l'Universit\u00e9 Brown et \u00e0 l'Universit\u00e9 Virginia Tech, on peut les ouvrir et les lire.
\n<\/p>\n

<\/p>\n

Maurice pr\u00e9voit de donner un keynote intitul\u00e9 \u00abBlockchains from a distributed computing perspective\u00bb. Si cela vous int\u00e9resse, vous pouvez regarder l'enregistrement de sa pr\u00e9sentation au JUG de Saint-P\u00e9tersbourg. \u00c9valuez \u00e0 quel point il communique clairement et efficacement le sujet.<\/p>\n

\n

\r\n \"Lire\r\n
<\/div>\r\n <\/div><\/center><\/p>\n

\"LesLe deuxi\u00e8me keynote, intitul\u00e9 \u00abDual Data Structures\u00bb, sera pr\u00e9sent\u00e9 par Michael Scott<\/strong> de l'Universit\u00e9 de Rochester. Et devinez quoi \u2014 il a aussi sa page sur Wikip\u00e9dia<\/a><\/noindex>. Dans son Wisconsin, il est connu pour son travail en tant que doyen \u00e0 l'Universit\u00e9 Wisconsin-Madison, et dans le monde acad\u00e9mique, c'est la personne qui, avec Doug Lea, a d\u00e9velopp\u00e9 ces algorithmes non bloquants et files d'attente synchrones sur lesquels reposent les biblioth\u00e8ques Java. Il a re\u00e7u son prix Dijkstra trois ans apr\u00e8s Herlihy, pour son travail \u00abAlgorithms for scalable synchronization on shared-memory multiprocessors\u00bb (comme il se doit, ce travail est librement accessible<\/a><\/noindex> dans la biblioth\u00e8que en ligne de l'Universit\u00e9 de Rochester).
\n<\/p>\n

<\/p>\n

Il reste encore beaucoup de temps jusqu'\u00e0 mi-juillet. Nous raconterons davantage sur les autres intervenants et leurs sujets au fur et \u00e0 mesure que le programme sera pr\u00e9cis\u00e9 et que juillet approchera. <\/p>\n

<\/p>\n

En fait, la question se pose : pourquoi faisons-nous la Hydra en \u00e9t\u00e9 ? C'est la saison morte, les cong\u00e9s. Le probl\u00e8me, c'est qu'il y a des enseignants universitaires parmi les conf\u00e9renciers, et \u00e0 tout autre moment, ils sont d\u00e9j\u00e0 occup\u00e9s. Nous ne pouvions tout simplement pas choisir d'autres dates.<\/p>\n

<\/p>\n

Zones de discussion<\/h1>\n

<\/p>\n

Lors d'autres conf\u00e9rences, il arrive qu'un intervenant fasse sa pr\u00e9sentation et s'en aille imm\u00e9diatement. Les participants n'ont m\u00eame pas le temps de le chercher - car la suivante commence presque sans interruption. C'est tr\u00e8s douloureux, surtout s'il y a des personnes importantes comme Lamport, Hurley et Scott, et que vous \u00eates en r\u00e9alit\u00e9 l\u00e0 pour les rencontrer et discuter avec eux. <\/p>\n

<\/p>\n

Avec nous, ce probl\u00e8me est r\u00e9solu. Juste apr\u00e8s sa pr\u00e9sentation, l'intervenant se rend dans une zone de discussion sp\u00e9ciale, \u00e9quip\u00e9e d'au moins un tableau blanc, et vous avez un temps consid\u00e9rable. Formellemement, l'intervenant promet d'y rester au moins tout le temps de la pause entre les pr\u00e9sentations. En r\u00e9alit\u00e9, ces zones de discussion contiennent<\/em> peuvent s'\u00e9tendre sur des heures (cela d\u00e9pend du d\u00e9sir et de l'endurance de l'intervenant). <\/p>\n

<\/p>\n

En ce qui concerne Lamport, si j'ai bien compris, il veut convaincre le plus de monde possible que TLA+<\/a><\/noindex> est une bonne chose. (Article sur TLA+ sur Wikip\u00e9dia<\/a><\/noindex>). Cela pourrait \u00eatre une bonne occasion pour les ing\u00e9nieurs d'apprendre quelque chose de nouveau et d'utile. Leslie propose cette option : ceux qui sont int\u00e9ress\u00e9s peuvent regarder ses anciennes conf\u00e9rences et venir avec des questions. Donc, au lieu d'un keynote, il pourrait y avoir une sorte de session Q&A sp\u00e9cialis\u00e9e, suivie d'une zone de discussion. J'ai un peu cherch\u00e9 et trouv\u00e9 un excellent cours sur TLA+<\/a><\/noindex> (officiellement doubl\u00e9 par une playlist sur YouTube<\/a><\/noindex>) et une conf\u00e9rence d'une heure \u00ab Thinking Above the Code \u00bb<\/a><\/noindex> au Microsoft Faculty Summit.<\/p>\n

<\/p>\n

Si vous consid\u00e9riez toutes ces personnes comme des noms fig\u00e9s dans la pierre provenant de Wikip\u00e9dia et des couvertures de livres - c'est le moment de les rencontrer en personne ! Discuter et poser des questions auxquelles les pages des articles scientifiques ne peuvent pas r\u00e9pondre, mais dont les auteurs seront ravis d'\u00e9changer.<\/p>\n

<\/p>\n

Appel \u00e0 contributions<\/h1>\n

<\/p>\n

Il n'est pas secret que beaucoup de ceux qui lisent actuellement cet article sont \u00e9galement pr\u00eats \u00e0 partager quelque chose d'assez int\u00e9ressant. D'un point de vue technique, scientifique - de n'importe quel type. Le calcul distribu\u00e9 est un sujet tr\u00e8s vaste et profond, o\u00f9 tout le monde a sa place.<\/p>\n

<\/p>\n

Si vous souhaitez intervenir \u00e0 c\u00f4t\u00e9 de Lamport, c'est tout \u00e0 fait possible. Pour devenir conf\u00e9rencier, il suffit de suivre le lien<\/a><\/noindex><\/strong>, lisez-le attentivement et agissez conform\u00e9ment aux instructions. <\/p>\n

<\/p>\n

Restez calme, une fois que vous vous engagerez dans le processus, vous recevrez de l'aide. Le comit\u00e9 de programme a suffisamment de ressources pour vous assister tant sur le contenu de la pr\u00e9sentation que sur sa r\u00e9daction et sa mise en forme. Le coordinateur vous aidera \u00e0 vous occuper des questions organisationnelles, etc. <\/p>\n

<\/p>\n

Faites particuli\u00e8rement attention \u00e0 l'image avec les dates. Juillet est une date assez \u00e9loign\u00e9e pour un participant, mais le conf\u00e9rencier doit commencer \u00e0 agir d\u00e8s maintenant. <\/p>\n

<\/p>\n

\"Les<\/p>\n

<\/p>\n

\u00c9cole SPTDC<\/h1>\n

<\/p>\n

La conf\u00e9rence se d\u00e9roulera au m\u00eame endroit que l'\u00e9cole SPTDC, donc pour tous ceux qui ach\u00e8tent un billet pour l'\u00e9cole, les billets pour la conf\u00e9rence seront avec une r\u00e9duction de 20%<\/strong>.<\/p>\n

<\/p>\n

Summer School on Practice and Theory of Distributed Computing (SPTD\u0421)<\/a><\/noindex> \u2014 une \u00e9cole offrant une large gamme de cours sur les aspects pratiques et th\u00e9oriques des syst\u00e8mes distribu\u00e9s, dispens\u00e9s par des sp\u00e9cialistes reconnus dans leur domaine.<\/p>\n

<\/p>\n

L'\u00e9cole se d\u00e9roulera en anglais, voici \u00e0 quoi ressemble la liste des sujets abord\u00e9s :<\/p>\n

<\/p>\n