Detta Leslie Lamport â författaren till grundlĂ€ggande verk inom distribuerad databehandling, och du kanske kĂ€nner igen honom frĂ„n bokstĂ€verna La i ordet LaTeX â "Lamport TeX". Det var han som först, redan 1979, införde begreppet , och hans artikel fick Dijkstra-priset (egentligen kallades priset sĂ„ 2000: "PODC Influential Paper Award"). Det finns en , dĂ€r man kan hitta nĂ„gra fler intressanta lĂ€nkar. Om du Ă€r fascinerad av problem som hĂ€nder-före eller (BFT), mĂ„ste du förstĂ„ att allt detta har Lamport bakom sig.
Och han kommer snart till vĂ„r nya konferens om distribuerad databehandling â Hydra, som Ă€ger rum 11-12 juli i Sankt Petersburg. LĂ„t oss se vad detta Ă€r för nĂ„got.
Hydra 2019
Ămnen som mĂ„ngtrĂ„dighet Ă€r nĂ„gra av de mest populĂ€ra pĂ„ vĂ„ra konferenser, och har alltid varit det. Det var nyss tomt i denna lokal, men plötsligt stĂ„r en person pĂ„ scenen och pratar om minnesmodeller, happens-before eller mĂ„ngtrĂ„dig skrĂ€ploggning â och plötsligt! â nĂ€stan tusen personer fyller hela tillgĂ€ngliga utrymmet för att sĂ€tta sig ner och lyssna noga. Vad Ă€r hemligheten bakom denna framgĂ„ng? Kan det vara sĂ„ att vi alla har nĂ„gon typ av hĂ„rdvara som kan organisera distribuerad databehandling? Eller att vi undermedvetet förstĂ„r vĂ„r oförmĂ„ga att utnyttja den fullt ut? Det finns en verklig historia om en kvant frĂ„n Sankt Petersburg (alltsĂ„ en finansiell kvantanalytiker och utvecklare), vars hĂ€nder hade ett datorkluster vars fulla kapacitet endast han kan anvĂ€nda. Vad skulle du göra om du fick resurser som var flera gĂ„nger större Ă€n vad du har nu för att utföra dina uppgifter?
Tack vare denna popularitet sprider sig Ă€mnet prestanda och effektiva berĂ€kningar i programmet för konferenser. Hur mĂ„nga av de tvĂ„ dagarna med förelĂ€sningar kan handla om prestanda â en tredjedel, tvĂ„ tredjedelar? PĂ„ vissa hĂ„ll finns det artificiella begrĂ€nsningar som begrĂ€nsar detta utvidgande: förutom prestanda mĂ„ste det finnas utrymme för nya webb-ramverk, nĂ„got DevOps eller arkitektonisk astronautik. Nej, prestanda, du kommer inte att Ă€ta upp oss alla helt!
Men kan gÄ en annan vÀg, ge upp och Àrligt hÄlla en konferens som helt handlar om distribuerad databehandling och endast om det. HÀr Àr Hydra.
LĂ„t oss Ă€rligt erkĂ€nna att alla berĂ€kningar idag pĂ„ nĂ„got sĂ€tt Ă€r distribuerade. Oavsett om det Ă€r en flerprocessormaskin, en berĂ€kningskluster eller en stor distribuerad tjĂ€nst â överallt finns det mĂ„nga processer som parallellt utför oberoende berĂ€kningar och synkroniserar med varandra. Det Ă€r detta som kommer att behandlas bĂ„de teoretiskt och praktiskt pĂ„ Hydra.
Konferensprogrammet
Programmet Àr för nÀrvarande under utarbetande. Det kommer att innehÄlla föredrag frÄn grundarna av teorierna om distribuerade system och ingenjörer som arbetar med dem i produktionsmiljö.
Till exempel Àr det redan bekant att Leslie Lamport frÄn Microsoft Research och Maurice Herlihy frÄn Brown University kommer att delta.
Maurice Herlihy Ă€r en mycket kĂ€nd och respekterad professor i datavetenskap, och han har ocksĂ„ en , dĂ€r man kan gĂ„ igenom lĂ€nkar och arbeten. DĂ€r kan ni se hela tvĂ„ Dijkstra-priser, det första för arbetet om , och det andra, mer aktuella, â . För övrigt leder lĂ€nkarna inte ens till SciHub, utan till Brown University och Virginia Tech University, man kan öppna och lĂ€sa.
Maurice planerar att hÄlla ett keynote-tal med titeln «Blockchains from a distributed computing perspective». Om det Àr intressant kan ni titta pÄ inspelningen av Maurices förelÀsning frÄn JUG i Sankt Petersburg. Bedöm hur klart och tydligt han presenterar Àmnet.
Det andra keynote-talet med titeln «Dual Data Structures» kommer att hĂ„llas av Michael Scott frĂ„n University of Rochester. Och gissa vad â han har ocksĂ„ en egen . I Wisconsin Ă€r han kĂ€nd för sitt arbete som dekan vid Wisconsin-Madison universitet, och allmĂ€nt Ă€r han personen som tillsammans med Doug Lea utvecklade de icke-blockerande algoritmer och synkrona köer som anvĂ€nds av Java-bibliotek. Han fick sitt Dijkstra-pris tre Ă„r efter Herlihy för arbetet «Algorithms for scalable synchronization on shared-memory multiprocessors» (som sig bör, i Rochester University online-bibliotek).
Det Àr fortfarande gott om tid fram till mitten av juli. Vi kommer att berÀtta om de andra talarna och deras Àmnen allt eftersom programmet klarnar och vi nÀrmar oss juli.
Det vĂ€cker faktiskt frĂ„gan â varför gör vi Hydra pĂ„ sommaren? Det Ă€r ju dödsĂ€song, semester. Problemet Ă€r att bland talarna finns universitetslĂ€rare, och under annan tid Ă€r de upptagna. Vi kunde helt enkelt inte vĂ€lja nĂ„gra andra datum.
Diskussionszoner
PĂ„ andra konferenser kan det hĂ€nda att talaren lĂ€ser upp vad som krĂ€vs och sedan genast försvinner. Deltagarna har inte ens tid att leta efter dem â för nĂ€sta föredrag börjar nĂ€stan utan uppehĂ„ll. Det Ă€r mycket smĂ€rtsamt, speciellt om viktiga personer som Lamport, Hurley och Scott Ă€r nĂ€rvarande, och du faktiskt gĂ„r pĂ„ konferensen bara för att trĂ€ffa dem och diskutera nĂ„got.
Vi har löst det problemet. Direkt efter sin presentation gÄr talaren till en speciell diskussionszon, utrustad med Ätminstone en whiteboard, och du har en ganska stor mÀngd tid. Formellt lovar talaren att vara dÀr i alla fall hela pausen mellan presentationerna. I verkligheten strÀcker sig dessa diskussionszoner kan i timmar (beroende pÄ talarens vilja och uthÄllighet).
NĂ€r det gĂ€ller Lamport, om jag förstĂ„tt rĂ€tt, vill han övertyga sĂ„ mĂ„nga som möjligt om att â det Ă€r en bra sak. (). Detta kan vara en bra möjlighet för ingenjörer att lĂ€ra sig nĂ„got nytt och anvĂ€ndbart. Leslie föreslĂ„r en sĂ„dan möjlighet â de som Ă€r intresserade kan kolla hans tidigare förelĂ€sningar och komma med frĂ„gor. IstĂ€llet för en keynote kan det bli en specialiserad Q&A-session, och sedan en diskussionszon. Jag gjorde en snabb googling och hittade en utmĂ€rkt (officiellt duplicerad ) och en timmes förelĂ€sning frĂ„n Microsoft Faculty Summit.
Om du sett alla dessa personer som inristade namn i granit frĂ„n Wikipedia och pĂ„ bokomslag â Ă€r det dags att trĂ€ffa dem personligen! Prata och stĂ€lla frĂ„gor som sidorna i vetenskapliga artiklar inte kommer att svara pĂ„, men vars författare gĂ€rna kommer att vara tillgĂ€ngliga.
Call for Papers
Det Ă€r ingen hemlighet att mĂ„nga av dem som lĂ€ser denna artikel sjĂ€lva gĂ€rna vill berĂ€tta nĂ„got tillrĂ€ckligt intressant. FrĂ„n ett ingenjörsperspektiv, frĂ„n ett vetenskapligt â frĂ„n vilket perspektiv som helst. Distribuerad databehandling Ă€r ett mycket brett och djupt Ă€mne, dĂ€r det finns plats för alla.
Om du vill tala bredvid Lamport, Àr det helt möjligt. För att bli talare behöver du , lÀs noggrant allt dÀr och följ instruktionerna.
Var lugn, sÄ snart du ansluter till processen kommer du att fÄ hjÀlp. Programkommittén har tillrÀckliga resurser för att stödja dig med sjÀlva presentationen, dess innehÄll och formatet. Koordinatorn hjÀlper dig med organisatoriska frÄgor och sÄ vidare.
LÀgg sÀrskild vikt vid bilden med datum. Juli Àr ett ganska avlÀgset datum för deltagaren, och talaren mÄste börja agera redan nu.
SPTDC-skolan
Konferensen kommer att hÄllas pÄ samma plats som SPTDC-skolan, sÄ för alla som köper biljett till skolan blir biljetterna till konferensen med 20% rabatt.
â en skola som erbjuder ett brett utbud av kurser om praktiska och teoretiska aspekter av distribuerade system, ledda av erkĂ€nda specialister inom omrĂ„det.
Skolan kommer att hÄllas pÄ engelska, sÄ hÀr ser listan över diskussionsÀmnen ut:
- Samtida datastrukturer: korrekthet och effektivitet;
- Algoritmer för icke-flyktigt minne;
- Distribuerad berÀkningsbarhet;
- Distribuerad maskininlÀrning;
- State-machine replikering och Paxos;
- Byzantinska fel-tolerans;
- Algoritmiska grunder för blockkedjor.
Följande talare kommer att delta:
- 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).
med presentationer frÄn den tidigare skolan kan fritt ses pÄ YouTube:
Följande steg
Konferensprogrammet Àr fortfarande under utarbetande. HÄll utkik efter nyheter pÄ Habré eller i sociala medier (, , ).
Om du verkligen tror pĂ„ konferensen (eller vill utnyttja den speciella startkostnaden, det som kallas "Early Bird") â kan du gĂ„ till webbplatsen och .
Vi ses pÄ Hydra!
KĂ€lla: habr.com
