{"id":35091,"date":"2019-10-31T22:02:18","date_gmt":"2019-10-31T19:02:18","guid":{"rendered":"https:\/\/prohoster.info\/blog\/19-golov-gidry-bolshoj-obzor-programmy\/"},"modified":"2019-10-31T22:02:18","modified_gmt":"2019-10-31T19:02:18","slug":"19-golov-gidry-bolshoj-obzor-programmy","status":"publish","type":"post","link":"https:\/\/prohoster.info\/fr\/blog\/administrirovanie\/19-golov-gidry-bolshoj-obzor-programmy","title":{"rendered":"19 t\u00eates de l'hydre. Grande revue du programme","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

La conf\u00e9rence se tiendra \u00e0 Saint-P\u00e9tersbourg les 11 et 12 juillet. Hydra<\/a><\/noindex>, d\u00e9di\u00e9e au d\u00e9veloppement de syst\u00e8mes parall\u00e8les et distribu\u00e9s. L'attrait d'Hydra r\u00e9side dans le fait qu'elle regroupe d'\u00e9minents chercheurs (que l'on trouve g\u00e9n\u00e9ralement uniquement lors de conf\u00e9rences scientifiques \u00e0 l'\u00e9tranger) et des ing\u00e9nieurs praticiens reconnus, au sein d'un vaste programme \u00e0 l'intersection de la science et de la pratique.<\/p>\n

<\/p>\n

Hydra est l'une de nos conf\u00e9rences les plus importantes de ces derni\u00e8res ann\u00e9es. Elle a \u00e9t\u00e9 pr\u00e9c\u00e9d\u00e9e d'une pr\u00e9paration s\u00e9rieuse, du choix des intervenants et des pr\u00e9sentations. La semaine derni\u00e8re, \u00e0 ce sujet, une interview a \u00e9t\u00e9 publi\u00e9e sur Habr<\/a><\/noindex> avec le directeur de la soci\u00e9t\u00e9 JUG.ru Group, Alexe\u00ef Fiodorov (23derevo<\/a><\/noindex>). <\/p>\n

<\/p>\n

Nous avons d\u00e9j\u00e0 parl\u00e9<\/a><\/noindex> sur trois participants majeurs, pionniers de la th\u00e9orie des syst\u00e8mes distribu\u00e9s - Leslie Lamport, Maurice Herlihy et Michael Scott. Il est temps de parler plus en d\u00e9tail de l'ensemble du programme !<\/p>\n

<\/p>\n

\"19<\/p>\n

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

Motivation<\/h2>\n

<\/p>\n

Si vous \u00eates programmeur, vous \u00eates d'une mani\u00e8re ou d'une autre confront\u00e9 \u00e0 la programmation multithread et aux calculs distribu\u00e9s. Les sp\u00e9cialistes dans ces domaines y travaillent directement, mais la distribution se manifestent implicitement partout : dans tout ordinateur multic\u0153ur ou service distribu\u00e9, il y a quelque chose qui ex\u00e9cute des calculs en parall\u00e8le.<\/p>\n

<\/p>\n

Il existe de nombreuses conf\u00e9rences qui explorent divers aspects de la programmation appliqu\u00e9e. \u00c0 l'autre bout du spectre, nous avons des \u00e9coles scientifiques sp\u00e9cialis\u00e9es, qui \u00e0 travers des cours exposent d'\u00e9normes volumes de th\u00e9orie complexe. Par exemple, parall\u00e8lement \u00e0 Hydra, \u00e0 Saint-P\u00e9tersbourg se tient l'\u00e9cole SPTDC.<\/a><\/noindex>. \u00c0 la conf\u00e9rence Hydra, nous avons tent\u00e9 de rassembler la pratique rigoureuse, la science, et tout ce qui se trouve \u00e0 leur croisement.<\/strong> <\/p>\n

<\/p>\n

R\u00e9fl\u00e9chissez \u00e0 cela : nous vivons une \u00e9poque incroyable, o\u00f9 l'on peut rencontrer en personne les fondateurs du domaine scientifique et technique qui nous occupe. Les physiciens ne rencontreront ni Newton ni Einstein \u2014 le train est parti. Mais parmi nous vivent encore ceux qui ont cr\u00e9\u00e9 les fondements de la th\u00e9orie des syst\u00e8mes distribu\u00e9s, qui ont imagin\u00e9 des langages de programmation populaires et qui ont d'abord concr\u00e9tis\u00e9 tout cela en prototypes fonctionnels. Ces personnes n'ont pas abandonn\u00e9 leur travail \u00e0 mi-chemin, elles s'attaquent actuellement \u00e0 des probl\u00e8mes contemporains dans des universit\u00e9s et des entreprises mondialement reconnues, et elles sont aujourd'hui parmi les plus grandes sources de connaissances et d'exp\u00e9rience. <\/p>\n

<\/p>\n

D'un autre c\u00f4t\u00e9, la possibilit\u00e9 de les rencontrer reste g\u00e9n\u00e9ralement purement th\u00e9orique : peu d'entre nous peuvent surveiller constamment les \u00e9v\u00e9nements publics dans une universit\u00e9 de Rochester pour ensuite se rendre aux \u00c9tats-Unis et revenir pour une conf\u00e9rence avec Michael Scott. Rencontrer tous les participants \u00e0 Hydra co\u00fbterait une petite fortune, sans compter l'immense perte de temps (bien que cela ressemble \u00e0 une qu\u00eate int\u00e9ressante).<\/p>\n

<\/p>\n

D'un autre c\u00f4t\u00e9, nous avons de nombreux ing\u00e9nieurs de pointe qui travaillent actuellement sur des probl\u00e8mes actuels des syst\u00e8mes distribu\u00e9s, et ils ont certainement des choses \u00e0 raconter. Mais voil\u00e0 le probl\u00e8me : ils travaillent<\/em>, et leur temps est pr\u00e9cieux. Oui, si vous \u00eates employ\u00e9 chez Microsoft, Google ou JetBrains, la probabilit\u00e9 de croiser un des conf\u00e9renciers c\u00e9l\u00e8bres lors d'un \u00e9v\u00e9nement interne augmente consid\u00e9rablement, mais en g\u00e9n\u00e9ral \u2014 non, ce n'est pas quelque chose qui arrive tous les jours.<\/p>\n

<\/p>\n

Ainsi, la conf\u00e9rence Hydra remplit une t\u00e2che importante que la plupart d'entre nous ne peuvent accomplir seuls \u2014 elle r\u00e9unit en un m\u00eame endroit et \u00e0 un m\u00eame moment des personnes dont les id\u00e9es ou la communication pourraient transformer votre vie. J'admets que tout le monde n'a pas besoin de syst\u00e8mes distribu\u00e9s, ni de concepts fondamentaux complexes. On peut passer toute sa vie \u00e0 programmer des CRUD en PHP et rester tout \u00e0 fait heureux. Mais pour ceux qui en ont besoin \u2014 c'est votre chance.<\/p>\n

<\/p>\n

Il s'est d\u00e9j\u00e0 \u00e9coul\u00e9 pas mal de temps depuis la premi\u00e8re annonce de la conf\u00e9rence Hydra sur Habr. Pendant ce temps, un \u00e9norme travail a \u00e9t\u00e9 accompli \u2014 et voil\u00e0, nous avons une liste presque compl\u00e8te de toutes les pr\u00e9sentations. Pas de longs algorithmes monot\u00e2ches, juste du pur mat\u00e9riel distribu\u00e9 ! Passons aux choses s\u00e9rieuses et regardons ce que nous avons maintenant en main.<\/p>\n

<\/p>\n

Keynotes<\/h2>\n

<\/p>\n

Les keynotes ouvrent et cl\u00f4turent les journ\u00e9es de la conf\u00e9rence. G\u00e9n\u00e9ralement, le but de la keynote d'ouverture est de d\u00e9finir l'esprit g\u00e9n\u00e9ral et la direction de la conf\u00e9rence. La keynote de cl\u00f4ture r\u00e9sume et explique comment vivre avec les connaissances et comp\u00e9tences acquises pendant les jours de la conf\u00e9rence. Le d\u00e9but et la fin : ce qui sera le mieux retenu et a donc une importance accrue.<\/p>\n

<\/p>\n

Cliff Click \u2014 L'algorithme K\/V distribu\u00e9 H2O<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 Cliff est une l\u00e9gende dans le monde de Java. \u00c0 la fin des ann\u00e9es 90, pour sa th\u00e8se de doctorat, il a \u00e9crit un travail intitul\u00e9 \u00abCombining Analyses, Combining Optimizations\u00bb<\/noindex>, qui est devenu, apr\u00e8s un certain temps, la base pour le HotSpot JVM Server Compiler. Deux ans plus tard, il travaillait d\u00e9j\u00e0 chez Sun Microsystems sur la JVM et a montr\u00e9 au monde entier que le JIT avait sa place. Toute cette histoire sur le fait que Java est l'un des runtimes modernes les plus rapides avec les optimisations les plus intelligentes et les plus rapides a commenc\u00e9 avec Cliff Click. Au d\u00e9but, on pensait que si quelque chose \u00e9tait accessible \u00e0 un compilateur statique, cela ne valait m\u00eame pas la peine d'\u00eatre jitifi\u00e9. Gr\u00e2ce aux travaux de Cliff et de son \u00e9quipe, tous les nouveaux langages ont commenc\u00e9 \u00e0 \u00eatre cr\u00e9\u00e9s avec l'id\u00e9e de la compilation JIT par d\u00e9faut. Bien s\u00fbr, ce n'\u00e9tait pas une t\u00e2che pour une seule personne, mais Cliff a jou\u00e9 un r\u00f4le tr\u00e8s important dans ce processus.<\/p>\n

<\/p>\n

Dans son discours d'ouverture, Cliff parlera de son autre projet \u2014 H20<\/a><\/noindex>, une plateforme en m\u00e9moire pour l'apprentissage automatique distribu\u00e9 et \u00e9volutif \u00e0 des fins industrielles. Plus pr\u00e9cis\u00e9ment \u2014 d'un stockage distribu\u00e9 de paires \u00ab cl\u00e9-valeur \u00bb \u00e0 l'int\u00e9rieur de celle-ci. C'est un stockage tr\u00e8s rapide avec une multitude de propri\u00e9t\u00e9s int\u00e9ressantes (la liste exacte se trouve dans la description<\/a><\/noindex>), qui permettent d'utiliser de telles solutions dans les math\u00e9matiques de streaming de grandes donn\u00e9es.<\/p>\n

<\/p>\n

Une autre pr\u00e9sentation que fera Cliff \u2014 L'exp\u00e9rience de la m\u00e9moire transactionnelle mat\u00e9rielle Azul<\/a><\/noindex>. Une autre partie de sa biographie \u2014 dix ans de travail chez Azul<\/noindex>, o\u00f9 il a mis \u00e0 jour et am\u00e9lior\u00e9 de nombreuses choses dans le mat\u00e9riel et la pile technologique d'Azul : compilateurs JIT, runtime, mod\u00e8le de threads, gestion des erreurs, gestion de la pile, interruptions mat\u00e9rielles, chargement de classes, et ainsi de suite \u2014 vous voyez ce que je veux dire.<\/p>\n

<\/p>\n

La partie la plus int\u00e9ressante a commenc\u00e9 lorsqu'ils ont cr\u00e9\u00e9 le mat\u00e9riel pour les grandes entreprises \u2014 un superordinateur pour ex\u00e9cuter Java. C'\u00e9tait une pi\u00e8ce assez innovante, sp\u00e9cifiquement con\u00e7ue pour Java, qui a des exigences particuli\u00e8res \u2014 barri\u00e8res m\u00e9moire pour lecture pour un ramasse-miettes \u00e0 faible pause, tableaux avec v\u00e9rification de limites, appels virtuels\u2026 L'une des technologies les plus int\u00e9ressantes \u2014 la m\u00e9moire transactionnelle mat\u00e9rielle. Tout le L1 de chacun des 864 c\u0153urs pouvait participer \u00e0 une \u00e9criture transactionnelle, ce qui est particuli\u00e8rement important pour la gestion des verrous en Java (les blocs synchronis\u00e9s peuvent fonctionner en parall\u00e8le tant qu'il n'y a pas de conflit r\u00e9el en m\u00e9moire). Mais la belle id\u00e9e a \u00e9t\u00e9 confront\u00e9e \u00e0 la dure r\u00e9alit\u00e9 \u2014 et dans cette pr\u00e9sentation, Cliff expliquera pourquoi le HTM et le STM ne conviennent pas tr\u00e8s bien aux besoins pratiques des calculs multithreads.<\/p>\n

<\/p>\n

Michael Scott \u2014 Structures de donn\u00e9es doubles<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 Michael Scott<\/a><\/noindex> \u2014 professeur en Informatique \u00e0 l'Universit\u00e9 de Rochester, avec laquelle son destin l'a li\u00e9 depuis 34 ans<\/noindex>, et \u00e0 l'Universit\u00e9 du Wisconsin\u2013Madison, il a \u00e9t\u00e9 doyen pendant cinq ans. Il m\u00e8ne des recherches dans le domaine de la programmation parall\u00e8le et distribu\u00e9e ainsi que dans la conception de langages, et enseigne cela aux \u00e9tudiants.<\/p>\n

<\/p>\n

Le monde entier conna\u00eet Michael gr\u00e2ce \u00e0 son manuel \u00abProgramming Language Pragmatics\u00bb<\/a><\/noindex>, dont la derni\u00e8re \u00e9dition est sortie relativement r\u00e9cemment \u2014 en 2015. Son travail \u00abAlgorithms for scalable synchronization on shared-memory multiprocessors\u00bb<\/a><\/noindex> a re\u00e7u a re\u00e7u le prix Dijkstra<\/a><\/noindex> comme l'une des \u0153uvres les plus reconnues dans le domaine du calcul distribu\u00e9 et est disponible<\/a><\/noindex> dans la biblioth\u00e8que en ligne de l'Universit\u00e9 de Rochester. Vous pouvez \u00e9galement le conna\u00eetre comme l'auteur de l'algorithme de Michael-Scott dans \u00abSimple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms\u00bb<\/a><\/noindex>.<\/p>\n

<\/p>\n

En ce qui concerne le monde de Java, c'est un cas particulier : avec Doug Lea, il a d\u00e9velopp\u00e9 ces algorithmes non bloquants et les files d'attente synchrones, sur lesquels reposent les biblioth\u00e8ques Java. C'est exactement ce dont traitera le discours d'ouverture \u00abStructures de donn\u00e9es doubles\u00bb \u2014 l'int\u00e9gration de ces structures dans Java SE 6 a permis d'am\u00e9liorer les performances par dix java.util.concurrent.ThreadPoolExecutor<\/code>. Si vous \u00eates d\u00e9j\u00e0 curieux de savoir ce que sont ces fameuses \u00abStructures de donn\u00e9es doubles\u00bb, il existe un travail correspondant<\/a><\/noindex>. <\/p>\n

<\/p>\n

Maurice Herlihy \u2014 Blockchains et l'avenir de l'informatique distribu\u00e9e<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 Maurice Herlihy<\/a><\/noindex> \u2014 laur\u00e9at de deux prix Dijkstra. Le premier \u2014 pour son travail sur \u00abWait-Free Synchronization\u00bb<\/a><\/noindex> (Universit\u00e9 Brown), et le second, plus r\u00e9cent \u2014 \u00abTransactional Memory: Architectural Support for Lock-Free Data Structures\u00bb<\/a><\/noindex> (Universit\u00e9 Virginia Tech). Le prix Dijkstra est attribu\u00e9 pour des travaux dont l'importance et l'impact ont \u00e9t\u00e9 visibles pendant au moins dix ans, et il est clair que Maurice est l'un des sp\u00e9cialistes les plus connus dans ce domaine. Actuellement, il est professeur \u00e0 l'Universit\u00e9 Brown et poss\u00e8de de nombreuses r\u00e9alisations dignes d'un long paragraphe.<\/p>\n

<\/p>\n

Lors de ce discours de cl\u00f4ture, Maurice parlera de la th\u00e9orie et de la pratique des syst\u00e8mes distribu\u00e9s bas\u00e9s sur les blockchains du point de vue des classiques de l'informatique distribu\u00e9e et de la mani\u00e8re dont cela simplifie de nombreux probl\u00e8mes connexes. Il s'agit d'une conf\u00e9rence strictement li\u00e9e au th\u00e8me \u2014 pas du tout sur le buzz du minage, mais plut\u00f4t sur comment nos connaissances peuvent \u00eatre \u00e9tonnamment efficaces et pertinentes pour diverses t\u00e2ches.<\/p>\n

<\/p>\n

En juillet 2017, Maurice est d\u00e9j\u00e0 venu en Russie pour l'\u00e9cole SPTDC, a particip\u00e9 au meetup JUG.ru, et vous pouvez regarder l'enregistrement sur YouTube :<\/p>\n

\n

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

Programme principal<\/h2>\n

<\/p>\n

Voici un aper\u00e7u des pr\u00e9sentations incluses dans le programme. Certaines sont d\u00e9crites en d\u00e9tail, d'autres de mani\u00e8re plus concise. Les descriptions longues concernent principalement les pr\u00e9sentations en anglais, qui n\u00e9cessitent des r\u00e9f\u00e9rences \u00e0 des travaux scientifiques, des terminologies sur Wikip\u00e9dia, etc. Vous pouvez voir la liste compl\u00e8te sur le site de la conf\u00e9rence<\/a><\/noindex>. La liste sur le site sera mise \u00e0 jour et compl\u00e9t\u00e9e. <\/p>\n

<\/p>\n

Leslie Lamport \u2014 Q & A<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 Leslie Lamport est l'auteur d'ouvrages fondamentaux en informatique distribu\u00e9e. \u00abLaTeX\u00bb<\/a><\/noindex> signifie \u00abLamport TeX\u00bb. C'est lui qui a introduit pour la premi\u00e8re fois, en 1979, le concept 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.<\/p>\n

<\/p>\n

C'est la partie du programme au format le plus inhabituel, car il ne s'agit m\u00eame pas d'une pr\u00e9sentation, mais d'une session de questions et r\u00e9ponses. Lorsque une grande partie du public est d\u00e9j\u00e0 familiaris\u00e9e (ou peut le devenir) avec divers travaux bas\u00e9s sur \u00abla th\u00e9orie de Lamport\u00bb, ses propres articles et pr\u00e9sentations, il est crucial d'utiliser tout le temps disponible pour une communication directe.<\/p>\n

<\/p>\n

L'id\u00e9e est simple : vous regardez sur YouTube deux pr\u00e9sentations : \u00abProgramming Should Be More Than Coding\u00bb<\/a><\/noindex> et \u00abSi vous n'\u00e9crivez pas un programme, n'utilisez pas un langage de programmation\u00bb<\/a><\/noindex> et vous pr\u00e9parez au moins une question, pendant que Leslie r\u00e9pond.<\/p>\n

<\/p>\n

Nous avons d\u00e9j\u00e0 transform\u00e9 la premi\u00e8re de ces deux vid\u00e9os en article de hub<\/a><\/noindex>. Si vous n'avez pas une heure pour regarder la vid\u00e9o, vous pouvez rapidement lire tout cela sous forme de texte.<\/p>\n

<\/p>\n

\u00c0 noter : il y a beaucoup plus de vid\u00e9os avec Leslie Lamport sur YouTube. Par exemple, il existe un excellent cours sur TLA+<\/a><\/noindex>. Une version hors ligne de tout ce cours est disponible sur la page d'accueil de l'auteur<\/a><\/noindex>, et sur YouTube, il l'a transf\u00e9r\u00e9e pour un visionnage plus pratique sur les appareils mobiles.<\/p>\n

<\/p>\n

Martin Kleppmann \u2014 Synchronisation des donn\u00e9es entre les appareils des utilisateurs pour une collaboration distribu\u00e9e<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 Martin Kleppmann est chercheur \u00e0 l'Universit\u00e9 de Cambridge, travaillant sur les CRDT et la v\u00e9rification formelle des algorithmes. Le livre de Martin \u00abDesigning Data-Intensive Applications\u00bb<\/noindex>, publi\u00e9 en 2017, a rencontr\u00e9 un grand succ\u00e8s et est devenu un best-seller dans le domaine du stockage et du traitement des donn\u00e9es. Kevin Scott, CTO chez Microsoft, a un jour d\u00e9clar\u00e9<\/a><\/noindex>: \u00abCe livre devrait \u00eatre obligatoire pour les ing\u00e9nieurs d\u00e9veloppeurs. C'est une ressource rare qui allie th\u00e9orie et pratique, aidant les d\u00e9veloppeurs \u00e0 concevoir et \u00e0 mettre en \u0153uvre plus intelligemment l'infrastructure et les syst\u00e8mes de traitement des donn\u00e9es.\u00bb Quelque chose de similaire a \u00e9t\u00e9 dit par le cr\u00e9ateur de Kafka et CTO de Confluent, Jay Kreps.<\/p>\n

<\/p>\n

Avant de se lancer dans la recherche acad\u00e9mique, Martin a travaill\u00e9 dans l'industrie et cofond\u00e9 deux startups prosp\u00e8res :<\/p>\n

<\/p>\n