Dit is Leslie Lamport is the author of foundational works in distributed computing, and you may also know him from the letters La in the word LaTeX — “Lamport TeX”. He was the first to introduce the concept of sequential consistency, and his paper “How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs” won the Dijkstra prize (actually, in 2000, the award was still called the “PODC Influential Paper Award”). There is an article about him on Wikipedia, where you can find a few more interesting links. If you are fascinated by solving problems on happens-before or byzantine generals (BFT), you should understand that Lamport is behind all of this.

And he will soon come to our new conference on distributed computing — Hydra, which will take place on July 11-12 in St. Petersburg. Let’s see what kind of beast it is.

Hydra 2019

Topics like multithreading are among the most popular at our conferences, and they always have been. Just a moment ago, this hall was empty, but now a person appears on stage talking about memory models, happens-before, or multithreaded garbage collection, and boom! — nearly a thousand people occupy all available space to sit and listen attentively. What is the essence of this success? Maybe it’s because we all have some hardware capable of organizing distributed computing? Or because we subconsciously understand our inability to load it to its full potential? Here’s a real story about a quantum trader from St. Petersburg (that is, a financial quantitative analyst and developer) who ended up with a computational cluster, the full power of which he can use all by himself. What would you do if you gained computing power many times greater than what you have now to perform your tasks?

Due to this popularity, the topic of performance and efficient computing tends to spread throughout the conference program. How many of the two days of talks could be dedicated to performance — a third, two-thirds? In some places, there are artificial constraints that limit this expansion: besides performance, there must also be room left for new web frameworks, for some DevOps, or architectural astronautics. No, performance, you will not devour us all whole!

Maar we kunnen ook de tegenovergestelde weg inslaan, ons overgeven en een conferentie organiseren die geheel en solely over gedistribueerde berekeningen gaat. En hier is hij, Hydra.

Laten we eerlijk zijn, op dit moment zijn alle berekeningen op de een of andere manier gedistribueerd. Of het nu een multicore machine, een rekencampus of een grootschalige gedistribueerde service is, overal zijn er talloze processen die onafhankelijk van elkaar parallelle berekeningen uitvoeren en met elkaar synchroniseren. Dit is wat in theorie is ingericht en in de praktijk werkt, en dat is waar Hydra aan gewijd zal zijn.

Programma van de conferentie

Het programma is momenteel in ontwikkeling. Het zal presentaties bevatten van de grondleggers van de theorieën van gedistribueerde systemen en ingenieurs die met hen in de praktijk werken.

Bijvoorbeeld, het is al bekend dat Leslie Lamport van Microsoft Research en Maurice Herlihy van Brown University deelnemen.

Maurice Herlihy is een zeer bekende en gerespecteerde professor in Computer Science, er is ook een pagina op Wikipedia, waar je door de links en werken kunt bladeren. Daar kun je zelfs twee Dijkstra-prijzen opmerken, de eerste voor het werk over «Wait-Free Synchronization», en de tweede, meer recent, — «Transactional Memory: Architectural Support for Lock-Free Data Structures». Overigens, de links leiden niet eens naar SciHub, maar naar Brown University en Virginia Tech University, je kunt ze openen en lezen.

Maurice gaat een keynote geven met de titel «Blockchains from a distributed computing perspective». Als je geïnteresseerd bent, kun je de opname van Maurice' presentatie van de Petersburgse JUG bekijken. Evalueer hoe duidelijk en begrijpelijk hij het onderwerp overbrengt.

De tweede keynote met de titel «Dual Data Structures» zal worden gegeven door Michael Scott van de University of Rochester. En raad eens, hij heeft ook zijn eigen pagina op Wikipedia. Hij is in Wisconsin bekend door zijn werk als decaan aan de Wisconsin-Madison Universiteit, en in de wereld is hij degene die samen met Doug Lea die niet-blokkerende algoritmen en synchronisatiequeues heeft ontwikkeld die de Java-bibliotheken aandrijven. Hij ontving zijn Dijkstra-prijs drie jaar na Herlihy, voor het werk «Algorithms for scalable synchronization on shared-memory multiprocessors» (zoals het hoort, is het openbaar beschikbaar in de online bibliotheek van de University of Rochester).

Er is nog genoeg tijd tot half juli. Over de andere spreker en hun onderwerpen zullen we vertellen naarmate het programma verder wordt verduidelijkt en we dichter bij juli komen.

In feite rijst de vraag — waarom doen we Hydra in de zomer? Het is tenslotte een dood seizoen, vakantietijd. Het probleem is dat er universiteitsdocenten onder de sprekers zijn, en op elk ander moment zijn ze druk bezet. We konden gewoon geen andere data kiezen.

Discussie zones

Op andere conferenties gebeurt het soms dat de spreker zijn presentatie geeft en dan meteen vertrekt. De deelnemers hebben niet eens de tijd om hem te zoeken — want de volgende presentatie begint bijna zonder tussenpozen. Dit is erg pijnlijk, vooral als er zulke belangrijke mensen zoals Lamport, Herlihy en Scott aanwezig zijn, en je eigenlijk naar de conferentie gaat om hen te ontmoeten en iets te bespreken.

Bij ons is dit probleem opgelost. Direct na zijn presentatie gaat de spreker naar een speciale discussiezone, die minimaal is uitgerust met een whiteboard, en je hebt behoorlijk veel tijd. Formeel belooft de spreker daar te blijven tijdens de gehele pauze tussen presentaties. In de praktijk kunnen deze discussie-gebieden urenlang doorgaan (afhankelijk van de wensen en uithoudingsvermogen van de spreker). Wat Lamport betreft, als ik het goed heb begrepen, wil hij zoveel mogelijk mensen ervan overtuigen dat

TLA+ een goede zaak is. ( Artikel over TLA+ op Wikipedia). Misschien is dit een goede kans voor ingenieurs om iets nieuws en nuttigs te leren. Leslie stelt voor dat geïnteresseerden zijn eerdere lezingen kunnen bekijken en met vragen kunnen komen. In plaats van een keynote kan er een soort gespecialiseerde Q&A-sessie zijn, en daarna nog een discussiezone. Ik heb wat gegoogeld en vond een geweldigecursus over TLA+ (officieel gedupliceerd met een YouTube-afspeellijst ) en een uur durende lezing‘Thinking Above the Code’ van de Microsoft Faculty Summit. Als je deze mensen altijd hebt gezien als figuren uit Wikipedia en op boekomslagen — is dit het moment om hen persoonlijk te ontmoeten! Om te praten en vragen te stellen die niet worden beantwoord door wetenschappelijke artikelen, maar waarvan de auteurs graag contact willen opnemen.

Call for Papers

Het is geen geheim dat veel van degenen die dit artikel lezen, zelf ook graag iets interessants willen vertellen. Of het nu vanuit een ingenieurs- of wetenschappelijk oogpunt is — dit is een zeer breed en diepgaand onderwerp, waar ruimte is voor iedereen.

Het is geen geheim dat velen van degenen die dit artikel nu lezen zelf niet zouden aarzelen om iets interessants te vertellen. Of het nu vanuit een ingenieursoogpunt, vanuit de wetenschap of vanuit een andere invalshoek is — gedistribueerde berekeningen zijn een zeer breed en diep onderwerp waarin voor iedereen plaats is.

Als je naast Lamport wilt spreken, is dat heel goed mogelijk. Om spreker te worden, moet je op de link klikken, alles aandachtig lezen en de instructies opvolgen.

Wees gerust, zodra je betrokken bent bij het proces, zal men je helpen. Het programmeringscomité heeft voldoende mogelijkheden om je te ondersteunen met de presentatie, de inhoud en de opmaak. De coördinator zal helpen met organisatorische kwesties en dergelijke.

Let bijzonder op de afbeelding met de data. Juli is een verre datum voor deelnemers, en de spreker moet nu al beginnen met actie ondernemen.

SPTDC School

De conferentie vindt plaats op dezelfde locatie als de SPTDC School, dus voor iedereen die een ticket voor de school koopt, zijn de tickets voor de conferentie met 20% korting.

Summer School on Practice and Theory of Distributed Computing (SPTDC) is een school die een breed scala aan cursussen biedt over de praktische en theoretische aspecten van gedistribueerde systemen, gegeven door erkende specialisten op het betreffende gebied.

De school zal in het Engels worden gegeven, dus zo ziet de lijst van besproken onderwerpen eruit:

• Gelijktijdige datastructuren: correctheid en efficiëntie;
• Algoritmen voor niet-vluchtig geheugen;
• Gedistribueerde berekenbaarheid;
• Gedistribueerd machinaal leren;
• Replicatie van toestandsmachines en Paxos;
• Byzantijnse fouttolerantie;
• Algoritmische basisprincipes van blockchains.

De volgende sprekers zullen optreden:

• Leslie Lamport (Microsoft);
• Maurice Herlihy (Brown University);
• Michael Scott (University of Rochester);
• Dan Alistarh (IST Austria);
• Trevor Brown (University of Waterloo);
• Eli Gafni (UCLA);
• Danny Hendler (Ben Gurion University);
• Achour Mostefaoui (University of Nantes).

Afspeellijst met presentaties van de vorige school is vrij te bekijken op YouTube:

Volgende stappen

Het programma van de conferentie wordt nog steeds opgesteld. Houd het nieuws in de gaten op Habr of op sociale media (fb, vk, twitter).

Als je echt gelooft in de conferentie (of als je wilt profiteren van de speciale startprijs, wat 'Early Bird' wordt genoemd) — kun je naar de website gaan en tickets kopen.

Laten we elkaar ontmoeten op Hydra!

Bron: habr.com