Dette Leslie Lamport – forfatter af grundlæggende værker inden for distribuerede computationer, og du kan muligvis også kende ham fra bogstaverne La i ordet LaTeX – "Lamport TeX". Det var ham, der først, tilbage i 1979, introducerede begrebet , og hans artikel modtog Dijkstra-prisen (mere præcist, i 2000 blev prisen kaldt det gamle navn: "PODC Influential Paper Award"). Der er , hvor man kan finde yderligere interessante links. Hvis du er begejstret for problemer som happens-before eller (BFT), så skal du forstå, at Lamport står bag alt dette.
Og han kommer snart til vores nye konference om distribuerede computationer – Hydra, som finder sted den 11. og 12. juli i Sankt Petersborg. Lad os se, hvad det er for et dyr.
Hydra 2019
Emner som multitrådning er nogle af de mest populære på vores konferencer, de har altid været det. Der var netop tomt i denne sal, men så dukker der en person op på scenen, som taler om hukommelsesmodeller, happens-before eller multitrådet skraldeopsamling, og – bam! – næsten tusind personer fylder al plads for at sidde og lytte opmærksomt. Hvad er hemmeligheden bag denne succes? Måske er det, fordi vi alle har noget hardware i hænderne, der kan organisere distribuerede computationer? Eller fordi vi ubevidst forstår vores manglende evne til at udnytte det fuldt ud? Der er en virkelig historie om en kvanteanalytiker fra Sankt Petersborg (dvs. en finansiel kvantitativ analytiker og udvikler), der havde et compute cluster i hænderne, hvis fulde kapacitet kun han kan udnytte. Hvad ville du gøre, hvis du fik adgang til beregningskraft mange gange større end det, du har nu?
Takket være denne popularitet har emnet om ydeevne og effektive computationer en tendens til at sprede sig i konferencens program. Hvor meget af de to dages præsentationer kan der laves om ydeevne – en tredjedel, to tredjedele? Nogle steder eksisterer der kunstige begrænsninger, der limiterer denne vækst: udover ydeevne skal der også være plads til nye web-frameworks, til noget DevOps eller arkitektonisk astronautik. Nej, ydeevne, du vil ikke spise os alle!
Eller man kan tage den modsatte vej, give op og ærligt lave en konference, der udelukkende handler om fordelt computing og kun om dette. Og her er den, Hydra.
Lad os ærligt erkende, at alle beregninger i dag på en eller anden måde er fordelte. Uanset om det er en multikernet maskine, et beregningscluster eller en stor skaleret distribueret tjeneste — der er mange processer, der udfører uafhængige beregninger parallelt, mens de synkroniserer med hinanden. Det, som dette handler om i teorien og fungerer i praksis, vil blive dedikeret til Hydra.
Konferenceprogrammet
Programmet er i øjeblikket under udarbejdelse. Det skal inkludere præsentationer fra grundlæggerne af teorierne om distribuerede systemer og ingeniører, der arbejder med dem i produktion.
For eksempel er det allerede nu kendt, at Leslie Lamport fra Microsoft Research og Maurice Herlihy fra Brown University deltager.
Maurice Herlihy er en meget anerkendt og respekteret professor i Computer Science, og der er også , hvor man kan skimme links og værker. Her kan man bemærke ikke mindre end to Dijkstra-priser, den første — for arbejdet med , og den anden, mere ny — . I øvrigt fører links ikke engang til SciHub, men til Brown University og Virginia Tech University, hvor de kan åbnes og læses.
Maurice planlægger at holde en keynote med titlen «Blockchains from a distributed computing perspective». Hvis det er interessant, kan man se optagelsen af Maurices præsentation fra JUG i St. Petersborg. Vurdér, hvor klart og forståeligt han formidler emnet.
Den anden keynote med titlen «Dual Data Structures» vil blive præsenteret af Michael Scott fra University of Rochester. Og gæt hvad — han har også sin egen . Derhjemme i Wisconsin er han kendt for at have arbejdet som dekan ved universitetet Wisconsin-Madison, og i den brede verden — er han personen, der sammen med Doug Lea udviklede de ikke-blokerende algoritmer og synkroniserede køer, som Java-bibliotekerne fungerer med. Han modtog sin Dijkstra-pris tre år efter Herlihy for arbejdet «Algorithms for scalable synchronization on shared-memory multiprocessors» (som det sig hør og bør, i online-biblioteket på Rochester University).
Der er stadig meget tid indtil midten af juli. Vi vil fortælle om de andre talere og deres emner, mens programmet bliver præciseret og vi nærmer os juli.
Generelt set opstår spørgsmålet - hvorfor laver vi Hydra om sommeren? Det er jo dødsæsonen, ferietid. Problemet er, at blandt talerne er der universitetlærere, og de har travlt på alle andre tidspunkter. Vi kunne simpelthen ikke vælge andre datoer.
Diskussionszoner
På andre konferencer kan det ske, at taleren læser det vigtige og så straks går. Deltagerne har ikke engang tid til at finde dem - for næsten uden pauser starter den næste præsentation. Det er svært, især hvis der er så vigtige personer til stede som Lamport, Hurley og Scott, og man faktisk går til konferencen kun for at møde dem og diskutere noget.
Vi har løst dette problem. Umiddelbart efter deres præsentation går taleren til en speciel diskussionszone, der er udstyret med mindst en tavle med marker, og I har en ret stor mængde tid. Formelt lover taleren at være der i det mindste hele pausen mellem præsentationerne. I virkeligheden kan disse diskussionszoner kan strække sig over timer (afhængigt af talerens lyst og udholdenhed).
Hvad angår Lamport, hvis jeg forstod det korrekt, ønsker han at overbevise så mange mennesker som muligt om, at er en god ting. (). Dette kan være en god mulighed for ingeniører til at lære noget nyt og nyttigt. Leslie tilbyder sådan en mulighed - dem der er interesseret, kan se hans tidligere forelæsninger og komme med spørgsmål. Det vil sige, at der i stedet for en keynote kan være en slags specialiseret Q&A session, og derefter også en diskussionszone. Jeg har lidt googlet og fundet et fremragende (officielt duplikeret ) og en time lang forelæsning fra Microsoft Faculty Summit.
Hvis du har set disse mennesker som nedskrevne navne i granit fra Wikipedia og på bogforsider - er det nu tid til at møde dem i virkeligheden! At kommunikere og stille spørgsmål, som siderne i videnskabelige artikler ikke besvarer, men hvis forfattere med glæde vil tage kontakt.
Call for Papers
Det er ingen hemmelighed, at mange af dem, der nu læser artiklen, også gerne vil fortælle noget, der er interessant. Fra et ingeniørperspektiv, fra et videnskabeligt - uanset hvad. Fordelt computing er et meget bredt og dybt emne, hvor der er plads til alle.
Hvis du ønsker at tale ved siden af Lamport, er det bestemt muligt. For at blive taler skal man , læs omhyggeligt alt der og følg instruktionerne.
Vær rolig, så snart du tilslutter dig processen, vil du få hjælp. Programkomitéen har de nødvendige ressourcer til at hjælpe med selve præsentationen, dens indhold og udformning. Koordinatoren vil hjælpe med organisatoriske spørgsmål osv.
Læg særlig vægt på billedet med datoerne. Juli er en ret fjern dato for deltageren, men præsentatoren skal begynde at handle nu.
SPTDC Skolen
Konferencen afholdes på samme sted som SPTDC skolen, derfor får alle, der køber billet til skolen, billetter til konferencen — med 20% rabat.
— en skole, der tilbyder et bredt udvalg af kurser om praktiske og teoretiske aspekter af distribuerede systemer, ledet af anerkendte specialister inden for det relevante område.
Skolen vil blive afholdt på engelsk, så her er en liste over emnerne, der vil blive behandlet:
- Konkurrence data strukturer: korrekthed og effektivitet;
- Algoritmer til ikke-flygtig hukommelse;
- Distribueret beregnelighed;
- Distribueret maskinlæring;
- Status-maskine replikation og Paxos;
- Byzantinske fejltolerance;
- Algorithmiske grundlag for blockchains.
Følgende talere vil deltage:
- Leslie Lamport (Microsoft);
- Maurice Herlihy (Brown University);
- Michael Scott (University of Rochester);
- Dan Alistarh (IST Østrig);
- Trevor Brown (University of Waterloo);
- Eli Gafni (UCLA);
- Danny Hendler (Ben Gurion University);
- Achour Mostefaoui (University of Nantes).
med præsentationer fra den tidligere skole kan ses frit på YouTube:
Næste skridt
Programmet for konferencen er stadig under udvikling. Hold øje med nyhederne på Habr eller i sociale medier (, , ).
Hvis du virkelig tror på konferencen (eller ønsker at benytte den specielle startpris, som kaldes "Early Bird") — kan du gå til hjemmesiden og .
Vi ses på Hydra!
Kilde: habr.com
