Den Leslie Lamport - författaren till grundläggande verk inom distribuerad datoranvändning, och du kan också känna honom genom bokstäverna La i ordet LaTeX - "Lamport TeX". Det var han som för första gången, redan 1979, introducerade konceptet konsekvent konsistens, och hans artikel "Hur man gör en multiprocessordator som korrekt kör multiprocessprogram" fick Dijkstra Award (närmare bestämt, år 2000 hette priset på det gamla sättet: "PODC Influential Paper Award"). Det finns om honom Wikipedia-artikel, där du kan få fler intressanta länkar. Om du är entusiastisk över att lösa problem på händer-före eller de bysantinska generalernas problem (BFT), de måste förstå att Lamport ligger bakom det hela.

Och han kommer snart till vår nya konferens om distribuerad datoranvändning - Hydra, som kommer att hållas 11-12 juli i St. Petersburg. Låt oss se vad det är för djur.

Hydra2019

Ämnen som multithreading är några av de hetaste ämnena på våra konferenser, och har alltid varit det. Den här salen låg precis öde, men så dyker det upp en person på scenen som pratar om minnesmodellen, händer-före eller flertrådig sophämtning och - bom! – redan under tusen personer upptar allt tillgängligt utrymme för att sitta ner och lyssna noga. Vad är kärnan i denna framgång? Kanske det faktum att vi alla har någon form av hårdvara som kan organisera distribuerad datoranvändning? Eller är det så att vi undermedvetet förstår vår oförmåga att ladda den till dess verkliga värde? Det finns en verklig historia om en kvant i St. Petersburg (det vill säga en finansiell kvantitativ analytiker och utvecklare), som slutade med ett datorkluster i sina händer, vars fulla kraft bara kan användas av honom ensam. Och vad skulle du göra om du fick utföra dina uppgifter med många gånger större kapacitet än nu?

På grund av denna popularitet tenderar ämnet prestanda och effektiv datoranvändning att spridas över konferensprogrammet. Hur många av de två dagarnas rapporter kan göras om prestanda - en tredjedel, två tredjedelar? På vissa ställen finns det konstgjorda restriktioner som begränsar denna tillväxt: förutom prestanda måste det fortfarande finnas utrymme för nya webbramverk, för någon form av devops eller arkitektonisk astronautik. Nej, prestanda, du kommer inte att äta oss alla hela!

Eller så kan du gå motsatt väg, ge upp och ärligt talat göra en konferens som helt kommer att handla om distribuerad datoranvändning och bara om dem. Och här är den, Hydra.

Låt oss ärligt erkänna att idag är all datoranvändning distribuerad på ett eller annat sätt. Oavsett om det är en flerkärnig maskin, ett datorkluster eller en storskalig distribuerad tjänst, finns det många processer överallt som utför oberoende beräkningar parallellt och synkroniserar med varandra. Hur det fungerar i teorin och hur det fungerar i praktiken kommer att stå i fokus för Hydra.

Konferensprogram

Programmet är för närvarande under utveckling. Den bör innehålla rapporter från grundarna av teorierna om distribuerade system och ingenjörer som arbetar med dem i produktionen.

Till exempel vet vi redan om deltagandet av Leslie Lamport från Microsoft Research och Maurice Herlihy från Brown University.

Maurice Herlihy - en mycket känd och respekterad professor i datavetenskap, det finns också en historia om honom Wikipedia sida, där du kan gå igenom länkarna och verken. Där kan du lägga märke till så många som två Dijkstra-priser, den första för arbete med "Väntefri synkronisering", och den andra, nyare - "Transaktionsminne: arkitektoniskt stöd för låsfria datastrukturer". Länkarna leder förresten inte ens till SciHub, men till Brown University och Virginia Tech University kan du öppna och läsa.

Maurice kommer att vara värd för en keynote som heter "Blockkedjor från ett distribuerat datorperspektiv". Om du är intresserad kan du ta en titt på inspelningen av Maurices rapport från St Petersburg JUG. Utvärdera hur tydligt och förståeligt han förmedlar ämnet.

Den andra keynoten som kallas "Dual Data Structures" kommer att läsa Michael Scott från University of Rochester. Och gissa vad - han har sin egen också Wikipedia sida. Hemma i Wisconsin är han känd för sitt arbete som dekan vid University of Wisconsin-Madison, och i världen är han mannen som tillsammans med Doug Lea utvecklat de där icke-blockerande algoritmerna och synkrona köerna som Java-bibliotek körs på . Han fick sitt Dijkstra-pris tre år efter Herlihy, för sitt arbete "Algorithms for scalable synchronization on shared-memory multiprocessors" (som förväntat, hon lägger sig öppen på onlinebiblioteket vid University of Rochester).

Det är fortfarande mycket tid kvar till mitten av juli. Vi kommer att berätta om andra talare och deras ämnen när vi förfinar programmet och närmar oss juli.

Generellt uppstår frågan - varför gör vi Hydra på sommaren? Detta är trots allt lågsäsong, semester. Problemet är att det finns universitetsprofessorer bland talarna, och all annan tid är upptagen för dem. Vi kunde helt enkelt inte välja andra datum.

Diskussionszoner

Vid andra konferenser händer det att talaren läser vad som behövs och omedelbart gick. Deltagarna hinner inte ens leta efter det – nästa rapport börjar trots allt nästan utan lucka. Det gör väldigt ont, speciellt när viktiga personer som Lamport, Herlihy och Scott är där, och man faktiskt går till konferensen bara för att träffa dem och prata om något.

Vi har löst detta problem. Direkt efter sin rapport går talaren till ett särskilt diskussionsområde utrustat med åtminstone en whiteboardtavla med en markör, och du har ganska mycket tid på dig. Formellt lovar talaren att vara där åtminstone under pausen mellan rapporterna. I verkligheten är dessa diskussionsområden kan sträck ut i timmar i sträck (beroende på talarens önskan och uthållighet).

När det gäller Lamport, om jag förstår det rätt, vill han övertyga så många som möjligt om det TLA+ - det här är bra. (Artikel om TLA+ på Wikipedia). Kanske kommer detta att vara en bra chans för ingenjörer att lära sig något nytt och användbart. Leslie erbjuder detta alternativ - den som är intresserad kan titta på hans tidigare föreläsningar och komma med frågor. Det vill säga, istället för en keynote kan det så att säga finnas en specialiserad frågestund och sedan ytterligare en diskussionszon. Jag googlade lite och hittade en jättebra TLA+ kurs (officiellt dubbad spellista på youtube) och en timmes föreläsning "Tänker över koden" med Microsoft Faculty Summit.

Om du tänkte på alla dessa människor som namn gjutna i granit från Wikipedia och på bokomslag, är det dags att träffa dem live! Chatta och ställ frågor som sidorna i vetenskapliga artiklar inte kommer att besvara, men deras författare tar gärna kontakt.

Ring för papper

Det är ingen hemlighet att många av dem som nu läser artikeln inte är emot att berätta något tillräckligt intressant själva. Ur en ingenjörssynpunkt, från en vetenskaplig synvinkel, från vilken synvinkel som helst. Distribuerad datoranvändning är ett väldigt brett och djupt ämne, där det finns plats för alla.

Om du vill spela tillsammans med Lamport är det fullt möjligt. För att bli talare behöver du följ länken, läs noggrant allt där och gör det enligt instruktionerna.

Var lugn, så fort du ansluter till processen kommer du att få hjälp. Programnämnden har tillräckliga resurser för att hjälpa till med själva rapporten, dess väsen och utformning. Samordnaren hjälper dig att hantera organisatoriska frågor och så vidare.

Var särskilt uppmärksam på bilden med datum. Juli är ett ganska avlägset datum för deltagaren, och talaren måste börja agera nu.

SPTDC skola

Konferensen kommer att hållas på samma plats som SPTDC-skolan, så för alla som köper biljett till skolan, konferensbiljetter - 20% rabatt.

Summer School on Practice and Theory of Distributed Computing (SPDTC) - en skola som tillhandahåller ett brett utbud av kurser om de praktiska och teoretiska aspekterna av distribuerade system, som undervisas av erkända experter inom det relevanta området.

Skolan kommer att hållas på engelska, så här är listan över ämnen som behandlas:

• Samtidiga datastrukturer: korrekthet och effektivitet;
• Algoritmer för icke-flyktigt minne;
• Distribuerad beräkningsbarhet;
• distribuerad maskininlärning;
• State-machine replikering och Paxos;
• bysantinsk feltolerans;
• Algoritmiska grunder för blockkedjor.

Följande talare kommer att tala:

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

Spellista med rapporterna från den tidigare skolan kan fritt ses på YouTube:

Nästa steg

Konferensprogrammet håller fortfarande på att utformas. Följ nyheterna på Habré eller i sociala nätverk (fb, vk, Twitter).

Om du verkligen tror på konferensen (eller vill dra nytta av det speciella startpriset, som man säger, "Early Bird") - kan du gå in på sajten och köpa biljetter.

Vi ses på Hydra!

Källa: will.com