Il Leslie Lamport est l'auteur d'ouvrages fondateurs sur l'informatique distribuée, et vous le connaissez peut-être également par les lettres La dans le mot LaTeX - "Lamport TeX". C'est lui qui, le premier, en 1979, a introduit le concept , et son article a reçu le prix Dijkstra (plus précisément, en 2000, le prix s'appelait à son ancienne manière : « PODC Influential Paper Award »). Il y a à propos de lui , où vous pouvez obtenir des liens plus intéressants. Si vous êtes enthousiaste à l'idée de résoudre des problèmes qui se produisent avant ou (BFT), alors vous devez comprendre que Lamport est derrière tout cela.
Il viendra également bientôt à notre nouvelle conférence sur l'informatique distribuée - Hydra, qui aura lieu les 11 et 12 juillet à Saint-Pétersbourg. Voyons de quel genre d'animal il s'agit.
Hydra 2019
Des sujets tels que le multithreading sont parmi les plus populaires lors de nos conférences, et l'ont toujours été. À l'instant, cette salle était déserte, mais ensuite une personne apparaît sur scène et parle du modèle de mémoire, des événements antérieurs ou du garbage collection multi-thread et - boum ! — déjà un millier de personnes environ occupent tout l’espace disponible pour s’asseoir et écouter attentivement. Quelle est l’essence de ce succès ? Peut-être est-ce parce que nous disposons tous d’une sorte de matériel capable d’organiser l’informatique distribuée ? Ou est-ce que nous comprenons inconsciemment notre incapacité à le charger comme il le mérite ? Il existe une véritable histoire d'un quant de Saint-Pétersbourg (c'est-à-dire un analyste et développeur financier quantitatif), qui s'est retrouvé en possession d'un cluster informatique dont lui seul pouvait utiliser toute la puissance. Que feriez-vous si vous aviez une capacité d’exécution de vos tâches bien supérieure à celle d’aujourd’hui ?
En raison de cette popularité, le thème de la productivité et de l'informatique efficace a tendance à s'étendre à l'ordre du jour de la conférence. Combien de rapports sur deux jours peuvent être rédigés sur les performances - un tiers, deux tiers ? Dans certains endroits, il existe des restrictions artificielles qui limitent cette croissance : en plus des performances, il doit encore y avoir de la place pour de nouveaux frameworks Web, pour une sorte de devops ou d'astronautique architecturale. Non, performance, vous ne nous mangerez pas tous entiers !
Ou vous pouvez aller dans le sens inverse, abandonner et organiser honnêtement une conférence qui portera entièrement sur l'informatique distribuée et uniquement sur elle. Et voilà, Hydra.
Admettons honnêtement qu'aujourd'hui tous les calculs sont répartis d'une manière ou d'une autre. Qu’il s’agisse d’une machine multicœur, d’un cluster informatique ou d’un service distribué à grande échelle, il existe partout de nombreux processus qui effectuent des calculs indépendants en parallèle, en se synchronisant les uns avec les autres. Hydra se consacrera à la façon dont cela fonctionne en théorie et à la façon dont cela fonctionne dans la pratique.
Programme de la conférence
Le programme est actuellement en phase de formation. Il devrait inclure des rapports des fondateurs des théories des systèmes distribués et des ingénieurs travaillant avec eux en production.
Par exemple, la participation de Leslie Lamport de Microsoft Research et de Maurice Herlihy de l'Université Brown est déjà connue.
Maurice Herlihy - un professeur d'informatique très célèbre et respecté, il y a aussi des informations sur lui , où vous pourrez parcourir des liens et des ouvrages. Vous y remarquerez deux prix Dijkstra, le premier pour des travaux sur , et le second, plus récent - . À propos, les liens ne mènent même pas à SciHub, mais à l'Université Brown et à l'Université Virginia Tech, vous pouvez les ouvrir et les lire.
Maurice prononcera une conférence intitulée « Les blockchains du point de vue de l'informatique distribuée ». Si vous êtes intéressé, vous pouvez consulter l’enregistrement du rapport de Maurice du JUG de Saint-Pétersbourg. Évaluez dans quelle mesure il transmet le sujet de manière claire et compréhensible.
Le deuxième discours intitulé « Dual Data Structures » se lira Michel Scott de l'Université de Rochester. Et devinez quoi : il a aussi le sien . Chez lui dans le Wisconsin, il est connu pour son travail de doyen de l'Université du Wisconsin-Madison, et dans le monde, il est l'homme qui, avec Doug Lea, a développé les algorithmes non bloquants et les files d'attente synchrones sur lesquelles les bibliothèques Java travail. Il a reçu son prix Dijkstra trois ans après Herlihy, pour son travail « Algorithmes pour une synchronisation évolutive sur des multiprocesseurs à mémoire partagée » (comme prévu, dans la bibliothèque en ligne de l'Université de Rochester).
Il reste encore beaucoup de temps jusqu'à la mi-juillet. Nous vous parlerons des intervenants restants et de leurs sujets à mesure que nous peaufinons le programme et que nous nous rapprochons du mois de juillet.
En général, la question se pose : pourquoi faisons-nous Hydra en été ? Après tout, c'est la basse saison, les vacances. Le problème est que parmi les intervenants se trouvent des professeurs d’université et que tout autre moment est occupé pour eux. Nous ne pouvions tout simplement pas choisir d'autres dates.
Zones de discussion
Lors d'autres conférences, il arrive que l'orateur lise ce dont il avait besoin et s'en aille immédiatement. Les participants n’ont même pas le temps de le chercher : après tout, le rapport suivant commence presque sans intervalle. C'est très douloureux, surtout si des personnes importantes comme Lamport, Herlihy et Scott sont présentes et que vous allez en fait à la conférence juste pour les rencontrer et discuter de quelque chose.
Nous avons résolu ce problème. Immédiatement après son rapport, l'orateur se rend dans un espace de discussion spécial, équipé d'au moins un tableau blanc avec un marqueur, et vous disposez de beaucoup de temps. Formellement, l'orateur promet d'être présent au moins pendant toute la pause entre les présentations. En réalité, ces espaces de discussion boîte s'étirer pendant des heures (selon l'envie et l'endurance de l'orateur).
Quant à Lamport, si je comprends bien, il veut convaincre le plus grand nombre que - c'est une bonne chose. (). Ce sera peut-être une bonne occasion pour les ingénieurs d’apprendre quelque chose de nouveau et d’utile. Leslie propose cette option : ceux qui sont intéressés peuvent regarder ses conférences passées et poser des questions. Autrement dit, au lieu d'un discours d'ouverture, il pourrait y avoir une session de questions-réponses spécialisée, puis également une zone de discussion. J'ai fait quelques recherches sur Google et j'en ai trouvé un excellent. (officiellement surnommé ) et une conférence d'une heure du Sommet des professeurs de Microsoft.
Si vous considérez toutes ces personnes comme des noms gravés dans le granit sur Wikipédia et sur les couvertures de livres, il est temps de les rencontrer en personne ! Discutez et posez des questions auxquelles les pages d'articles scientifiques ne répondront pas, mais leurs auteurs se feront un plaisir de prendre contact.
Appel à communications
Ce n’est un secret pour personne que beaucoup de ceux qui lisent actuellement l’article n’hésitent pas à nous raconter quelque chose de très intéressant. D'un point de vue technique, d'un point de vue scientifique, de n'importe quel point de vue. L’informatique distribuée est un sujet très vaste et profond où il y a de la place pour tout le monde.
Si vous souhaitez concourir aux côtés de Lamport, c'est tout à fait possible. Pour devenir conférencier, il vous faut , lisez tout attentivement et faites selon les instructions.
Rassurez-vous, dès que vous rejoindrez la démarche, ils vous aideront. Le Comité du programme dispose de capacités suffisantes pour contribuer au rapport lui-même, à son essence et à sa conception. Le coordinateur vous aidera à régler les problèmes d'organisation, etc.
Portez une attention particulière à la photo avec les dates. Juillet est une date assez lointaine pour le participant, mais l'orateur doit commencer à agir dès maintenant.
École SPTDC
La conférence se tiendra sur le même site que l'école SPTDC, donc pour tous ceux qui achètent un billet pour l'école, les billets pour la conférence seront avec une réduction de 20%.
est une école qui propose un large éventail de cours sur les aspects pratiques et théoriques des systèmes distribués, dispensés par des experts reconnus dans le domaine concerné.
L'école se déroulera en anglais, voici donc à quoi ressemble la liste des sujets abordés :
- Structures de données concurrentes : exactitude et efficacité ;
- Algorithmes pour mémoire non volatile ;
- Calculabilité distribuée ;
- Apprentissage automatique distribué ;
- Réplication de machine à états et Paxos ;
- Tolérance aux fautes byzantine ;
- Bases algorithmiques des blockchains.
Les intervenants suivants prendront la parole :
- Leslie Lamport (Microsoft);
- Maurice Herlihy (Université Brown) ;
- Michael Scott (Université de Rochester) ;
- Dan Alistarh (IST Autriche) ;
- Trevor Brown (Université de Waterloo);
- Eli Gafni (UCLA) ;
- Danny Hendler (Université Ben Gourion) ;
- Achour Mostefaoui (Université de Nantes).
Vous pouvez regarder librement les rapports de l’école précédente sur YouTube :
Prochaines étapes
Le programme de la conférence est encore en cours d'élaboration. Suivez l'actualité sur Habré ou sur les réseaux sociaux (, , ).
Si vous croyez vraiment en la conférence (ou si vous souhaitez profiter du prix d'entrée spécial, appelé « Early Bird »), vous pouvez vous rendre sur le site Internet et .
Rendez-vous à Hydra !
Source: habr.com