Il s'agit de Leslie Lampport - l'auteur des travaux fondamentaux en informatique distribuée, et vous pouvez également le connaître par les lettres La dans le mot La TeX - «Lamport TeX». C'est la première fois qu'il introduit le concept de cohérence cohérente en 1979, et son article «Comment faire un ordinateur multiprocesseur qui exécute correctement des programmes multiprocessus» remporte le prix Dijkstra (plus précisément, en 2000, le prix était appelé à l'ancienne: «PODC Influential Paper Award "). Il y a un article sur Wikipédia à son sujet où vous pouvez obtenir des liens plus intéressants. Si vous êtes ravi de résoudre des problèmes survenus avant ou des problèmes des généraux byzantins (BFT), alors vous devez comprendre que Lamport est derrière tout cela.

Il viendra également à notre nouvelle conférence sur l'informatique distribuée - Hydra, qui se tiendra du 11 au 12 juillet à Saint-Pétersbourg. Voyons de quel genre de bête il s'agit.

Hydra 2019

Des sujets comme le multithreading sont parmi les plus populaires lors de nos conférences, ils ont toujours été comme ça. Elle était juste déserte dans cette pièce, mais ici un homme apparaît sur la scène pour parler du modèle de mémoire, de la collecte des ordures avant ou multi-thread et - boom! - déjà moins d'un millier de personnes prennent tout l'espace disponible pour s'asseoir et écouter attentivement. Quelle est l'essence de ce succès? Peut-être dans le fait que nous avons tous entre nos mains une sorte de matériel qui peut organiser l'informatique distribuée? Ou est-ce que nous comprenons inconsciemment notre incapacité à le charger à sa vraie valeur? Il y a une histoire réelle d'un quantum de Saint-Pétersbourg (c'est-à-dire un analyste et développeur quantitatif financier), entre les mains d'un cluster informatique, dont seul lui seul peut utiliser toute la puissance. Et que feriez-vous si vous aviez le pouvoir d'accomplir vos tâches plusieurs fois plus que maintenant?

En raison de cette popularité, le thème des performances et de l'informatique efficace a tendance à se répandre tout au long du programme de la conférence. Combien des deux jours de présentations peuvent être faits sur la performance - un tiers, deux tiers? Dans certains endroits, il y a 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 devoop ou d'astronautique architecturale. Aucune performance, vous ne nous mangerez pas tous!

Ou vous pouvez aller dans le sens inverse, abandonner et faire honnêtement une conférence qui sera entièrement consacrée à l'informatique distribuée et uniquement à leur sujet. Et la voici, Hydra.

Admettons honnêtement qu'aujourd'hui tous les calculs sont en quelque sorte distribués. Qu'il s'agisse d'une machine multicœur, d'un cluster de calcul ou d'un service distribué à grande échelle - partout, de nombreux processus effectuent simultanément des calculs indépendants et se synchronisent les uns avec les autres. Hydra sera consacrée à la façon dont cela est organisé en théorie et fonctionne dans la pratique.

Programme de la conférence

Le programme est actuellement en cours de formation. Il devrait inclure des rapports des fondateurs des théories des systèmes distribués et des ingénieurs travaillant avec eux sur la prod.

Par exemple, la participation de Leslie Lamport de Microsoft Research et de Maurice Herlihy de Brown University est désormais connue.

Maurice Herlichi est un professeur d'informatique très célèbre et respecté, à son sujet il y a aussi une page Wikipedia où vous pouvez parcourir les liens et les travaux. Vous pouvez y voir jusqu'à deux prix Dijkstra, le premier pour le travail de synchronisation sans attente et le deuxième, plus récent, Mémoire transactionnelle: Support architectural pour les structures de données sans verrouillage . Soit dit en passant, les liens ne mènent même pas à SciHub, mais à Brown University et Virginia Tech University, vous pouvez ouvrir et lire.

Maurice est sur le point de tenir une conférence intitulée "Blockchains d'un point de vue informatique distribué". Si vous êtes intéressé, vous pouvez jeter un œil à l'enregistrement du rapport de Maurice du St. Petersburg JUG. Évaluez la clarté et la clarté avec laquelle il transmet le sujet.

Le deuxième discours, intitulé «Dual Data Structures», sera lu par Michael Scott de l'Université de Rochester. Et devinez quoi - il a aussi sa propre page Wikipedia . Au Wisconsin, il est connu pour son travail de doyen à l'Université Wisconsin-Madison, et dans le monde, il est la personne qui, avec Doug Lea, a développé ces algorithmes non bloquants et ces files d'attente synchrones exécutant des bibliothèques Java. Il a reçu son prix Dijkstra trois ans après Herliha, pour son travail «Algorithmes pour une synchronisation évolutive sur des multiprocesseurs à mémoire partagée» (comme il se doit, il est ouvertement dans la bibliothèque en ligne de l'Université de Rochester).

Il reste encore beaucoup de temps jusqu'à la mi-juillet. Nous parlerons du reste des conférenciers et de leurs sujets à mesure que le programme sera clarifié et approchera de juillet.

En général, la question se pose - pourquoi faisons-nous Hydra en été? Après tout, c'est une saison morte, des vacances. Le problème est que parmi les locuteurs il y a des professeurs d'université, et tout autre temps leur est pris. Nous ne pouvions tout simplement pas choisir d'autres dates.

Domaines de discussion

Lors d'autres conférences, il arrive que l'orateur lise ce qui est nécessaire et quitte immédiatement. Les participants n'ont même pas le temps de le chercher - après tout, sans interruption, le prochain rapport commence. C'est très douloureux, surtout si des personnes aussi importantes que Lamport, Herlichi et Scott sont présentes, et que vous allez en fait à la conférence uniquement 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 une zone de discussion spéciale équipée d'au moins un tableau blanc avec un marqueur, et vous disposez d'une assez grande marge de temps. Officiellement, l'orateur promet d'être présent au moins tout le temps entre les rapports. En réalité, ces zones de discussion peuvent s'étirer pendant des heures (selon le désir et l'endurance de l'orateur).

Quant à Lamport, si j'ai bien compris, il veut convaincre le plus de gens possible que TLA + est une bonne chose. ( Article Wikipedia sur TLA + ). Ce sera peut-être une bonne occasion pour les ingénieurs d'apprendre quelque chose de nouveau et d'utile. Leslie offre cette option - toute personne intéressée peut voir ses conférences passées et venir avec des questions. Autrement dit, au lieu d'un discours, il peut y avoir une session de questions-réponses spécialisée, puis une zone de discussion. J'ai googlé un peu et trouvé un excellent cours TLA + (officiellement dupliqué par une liste de lecture YouTube ) et une conférence d'une heure «Penser au-dessus du code» avec Microsoft Faculty Summit.

Si vous avez perçu tous ces gens comme des noms en granit de Wikipédia et sur les couvertures de livres - il est temps de les rencontrer en direct! Communiquez et posez des questions auxquelles les pages d'articles scientifiques ne répondront pas, mais leurs auteurs se feront un plaisir de contacter.

Appel à communications

Ce n'est un secret pour personne que beaucoup de ceux qui lisent l'article ne sont pas opposés à dire quelque chose d'assez intéressant. D'un point de vue technique, d'un point de vue scientifique - de tout. 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 voulez jouer à côté de Lamport, c'est tout à fait possible. Pour devenir conférencier, vous devez suivre le lien , lire attentivement tout ce qu'il contient et le faire selon les instructions.

Soyez calme, dès que vous vous joindrez au processus, ils vous aideront. Le comité de programme a la capacité d'aider avec le rapport lui-même, son essence et sa conception. Le coordinateur aidera à gérer les problèmes d'organisation, etc.

Une attention particulière à la photo avec les dates. Juillet est une date assez lointaine pour le participant, et l'orateur doit commencer à agir 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, des billets de conférence - avec une remise de 20% .

L'école d'été sur la pratique et la théorie de l'informatique distribuée (SPTDC) est une école qui offre un large éventail de cours sur les aspects pratiques et théoriques des systèmes distribués, dispensés par des spécialistes 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 la mémoire non volatile;
• Calculabilité distribuée
• Apprentissage automatique distribué;
• Réplication de machine d'état et Paxos;
• Tolérance aux pannes byzantine;
• Bases algorithmiques des blockchains.

Les orateurs 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 Gurion);
• Achour Mostefaoui (Université de Nantes).

Vous pouvez regarder librement la playlist des précédents rapports scolaires sur YouTube:

Prochaines étapes

Le programme de la conférence est toujours en cours d'élaboration. Suivez l'actualité sur Habré ou sur les réseaux sociaux ( fb , vk , twitter ).

Si vous croyez vraiment en la conférence (ou si vous souhaitez utiliser le prix de départ spécial, comme on dit «Early Bird»), vous pouvez aller sur le site Web et acheter des billets .

Rencontrez-moi à Hydra!