C'est Leslie Lamport — auteur des travaux fondamentaux sur le calcul distribué, et vous pouvez aussi le connaître à travers les lettres La dans le mot LaTeX — «Lamport TeX». C'est lui qui a introduit pour la première fois, en 1979, le concept de , et son article a reçu le prix Dijkstra (en fait, en 2000, le prix s'appelait encore par l'ancien nom : «PODC Influential Paper Award»). Il existe , où vous pouvez trouver d'autres liens intéressants. Si vous êtes passionné par la résolution de problèmes comme happens-before ou (BFT), vous devez comprendre que tout cela est lié à Lamport.
Et il va bientôt venir à notre nouvelle conférence sur le calcul distribué — Hydra, qui aura lieu les 11 et 12 juillet à Saint-Pétersbourg. Voyons de quoi il s'agit.
Hydra 2019
Les sujets comme la programmation multithreadée sont parmi les plus populaires lors de nos conférences, ils l'ont toujours été. Il y a à peine quelques instants, la salle était vide, mais voilà qu'un homme monte sur scène pour parler du modèle de mémoire, happens-before ou du ramassage des ordures multithreadé et — boom ! — presque mille personnes occupent tout l'espace disponible pour s'asseoir et écouter attentivement. Quelle est la clé de ce succès ? Peut-être parce que nous avons tous entre les mains du matériel capable de réaliser des calculs distribués ? Ou parce que nous comprenons inconsciemment notre incapacité à en tirer pleinement parti ? Il existe une vraie histoire d'un quant de Saint-Pétersbourg (c'est-à-dire un analyste quantitatif financier et développeur) qui a eu à sa disposition un cluster de calcul, dont toute la puissance ne peut être utilisée que par lui. Que feriez-vous si vous obteniez pour vos tâches des capacités de calcul plusieurs fois supérieures à celles que vous avez actuellement ?
Grâce à cette popularité, le sujet de la performance et des calculs efficaces a tendance à se répandre dans le programme des conférences. Combien de présentations sur deux jours peuvent être faites sur la performance — 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 !
Il est possible de prendre le chemin inverse, de capituler et de faire honnêtement une conférence entièrement dédiée aux calculs distribués. Et la voilà, Hydra.
Soyons honnêtes, de nos jours, tous les calculs sont d'une manière ou d'une autre distribués. Que ce soit sur une machine multicœur, un cluster de calcul ou un service distribué à grande échelle, il y a toujours de nombreux processus qui effectuent des calculs indépendants en parallèle, tout en se synchronisant les uns avec les autres. Hydra sera dédiée à la théorie de leur fonctionnement et à leur mise en pratique.
Programme de la conférence
Le programme est actuellement en cours de formation. Il devrait inclure des présentations des fondateurs des théories des systèmes distribués et des ingénieurs qui travaillent avec eux en production.
Par exemple, il est déjà connu que Leslie Lamport de Microsoft Research et Maurice Herlihy de l'Université Brown participeront.
Maurice Herlihy est un professeur très connu et respecté en informatique, pour lequel il existe également une , où vous pouvez explorer les liens et ses travaux. Vous y remarquerez même deux prix Dijkstra, le premier pour son travail sur , et le second, plus récent — . À propos, les liens mènent même pas à SciHub, mais à l'Université Brown et à l'Université Virginia Tech, on peut les ouvrir et les lire.
Maurice prévoit de donner un keynote intitulé «Blockchains from a distributed computing perspective». Si cela vous intéresse, vous pouvez regarder l'enregistrement de sa présentation au JUG de Saint-Pétersbourg. Évaluez à quel point il communique clairement et efficacement le sujet.
Le deuxième keynote, intitulé «Dual Data Structures», sera présenté par Michael Scott de l'Université de Rochester. Et devinez quoi — il a aussi sa . Dans son Wisconsin, il est connu pour son travail en tant que doyen à l'Université Wisconsin-Madison, et dans le monde académique, c'est la personne qui, avec Doug Lea, a développé ces algorithmes non bloquants et files d'attente synchrones sur lesquels reposent les bibliothèques Java. Il a reçu son prix Dijkstra trois ans après Herlihy, pour son travail «Algorithms for scalable synchronization on shared-memory multiprocessors» (comme il se doit, dans la bibliothèque en ligne de l'Université de Rochester).
Il reste encore beaucoup de temps jusqu'à mi-juillet. Nous raconterons davantage sur les autres intervenants et leurs sujets au fur et à mesure que le programme sera précisé et que juillet approchera.
En fait, la question se pose : pourquoi faisons-nous la Hydra en été ? C'est la saison morte, les congés. Le problème, c'est qu'il y a des enseignants universitaires parmi les conférenciers, et à tout autre moment, ils sont déjà occupés. Nous ne pouvions tout simplement pas choisir d'autres dates.
Zones de discussion
Lors d'autres conférences, il arrive qu'un intervenant fasse sa présentation et s'en aille immédiatement. Les participants n'ont même pas le temps de le chercher - car la suivante commence presque sans interruption. C'est très douloureux, surtout s'il y a des personnes importantes comme Lamport, Hurley et Scott, et que vous êtes en réalité là pour les rencontrer et discuter avec eux.
Avec nous, ce problème est résolu. Juste après sa présentation, l'intervenant se rend dans une zone de discussion spéciale, équipée d'au moins un tableau blanc, et vous avez un temps considérable. Formellemement, l'intervenant promet d'y rester au moins tout le temps de la pause entre les présentations. En réalité, ces zones de discussion contiennent peuvent s'étendre sur des heures (cela dépend du désir et de l'endurance de l'intervenant).
En ce qui concerne Lamport, si j'ai bien compris, il veut convaincre le plus de monde possible que est une bonne chose. (). Cela pourrait ê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 anciennes conférences et venir avec des questions. Donc, au lieu d'un keynote, il pourrait y avoir une sorte de session Q&A spécialisée, suivie d'une zone de discussion. J'ai un peu cherché et trouvé un excellent (officiellement doublé ) et une conférence d'une heure au Microsoft Faculty Summit.
Si vous considériez toutes ces personnes comme des noms figés dans la pierre provenant de Wikipédia 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épondre, mais dont les auteurs seront ravis d'échanger.
Appel à contributions
Il n'est pas secret que beaucoup de ceux qui lisent actuellement cet article sont également prêts à partager quelque chose d'assez intéressant. D'un point de vue technique, scientifique - de n'importe quel type. Le calcul distribué est un sujet très vaste et profond, où tout le monde a sa place.
Si vous souhaitez intervenir à côté de Lamport, c'est tout à fait possible. Pour devenir conférencier, il suffit de , lisez-le attentivement et agissez conformément aux instructions.
Restez calme, une fois que vous vous engagerez dans le processus, vous recevrez de l'aide. Le comité de programme a suffisamment de ressources pour vous assister tant sur le contenu de la présentation que sur sa rédaction et sa mise en forme. Le coordinateur vous aidera à vous occuper des questions organisationnelles, etc.
Faites particulièrement attention à l'image avec les dates. Juillet est une date assez éloignée pour un participant, mais le conférencier doit commencer à agir dès maintenant.
École SPTDC
La conférence se déroulera au même endroit 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%.
— une école offrant une large gamme de cours sur les aspects pratiques et théoriques des systèmes distribués, dispensés par des spécialistes reconnus dans leur domaine.
L'école se déroulera en anglais, voici à quoi ressemble la liste des sujets abordés :
- Structures de données concurrentes : correction et efficacité ;
- Algorithmes pour la mémoire non volatile ;
- Calculabilité distribuée ;
- Apprentissage automatique distribué ;
- Réplication de machines à états et Paxos ;
- Tolérance aux pannes byzantines ;
- Principes algorithmiques des blockchains.
Les conférenciers seront :
- Leslie Lamport (Microsoft) ;
- Maurice Herlihy (Université de 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).
des présentations de l'ancienne école est disponible sur YouTube :
Prochaines étapes
Le programme de la conférence est encore en cours de formation. Suivez les nouvelles sur Habr ou sur les réseaux sociaux (, , ).
Si vous croyez vraiment en la conférence (ou si vous souhaitez profiter du tarif spécial de lancement que l'on appelle « Early Bird ») — vous pouvez visiter le site et .
Rendez-vous sur Hydra !
Source : habr.com
