Det Leslie Lamport - forfatteren til grundlæggende værker inden for distribueret databehandling, og du kan også kende ham ved bogstaverne La i ordet LaTeX - "Lamport TeX". Det var ham, der for første gang, tilbage i 1979, introducerede konceptet , og hans artikel modtaget Dijkstra-prisen (mere præcist hed prisen i 2000 på gammel vis: "PODC Influential Paper Award"). Der er om ham , hvor du kan få nogle flere interessante links. Hvis du er spændt på at løse problemer på sker-før eller (BFT), de skal forstå, at Lamport står bag det hele.
Og han kommer snart til vores nye konference om distribueret computing - Hydra, som afholdes 11.-12. juli i St. Petersborg. Lad os se, hvad det er for et dyr.
Hydra 2019
Emner som multithreading er nogle af de hotteste emner på vores konferencer, og det har altid været det. Denne sal var lige øde, men så dukker der en person op på scenen, der taler om hukommelsesmodellen, sker-før eller multi-threaded skraldesamling og - bom! - allerede under tusind mennesker optager al den tilgængelige plads til at sætte sig ned og lytte godt efter. Hvad er essensen af denne succes? Måske det faktum, at vi alle har en eller anden form for hardware, der er i stand til at organisere distribueret computing? Eller er det, at vi ubevidst forstår vores manglende evne til at indlæse det til dets sande værdi? Der er en virkelig historie om en St. Petersborg-kvante (det vil sige en finansiel kvantitativ analytiker og udvikler), som endte med en computerklynge i sine hænder, hvis fulde kraft kun kan bruges af ham alene. Og hvad ville du gøre, hvis du kom til at udføre dine opgaver med mange gange større kapacitet end nu?
På grund af denne popularitet har emnet ydeevne og effektiv databehandling en tendens til at sprede sig over hele konferenceprogrammet. Hvor mange af de to dages rapporter kan laves om ydeevne - en tredjedel, to tredjedele? Nogle steder er der kunstige restriktioner, der begrænser denne vækst: Udover ydeevne skal der stadig være plads til nye web-frameworks, til en form for devops eller arkitektonisk astronautik. Nej, præstation, du vil ikke spise os alle hele!
Eller du kan gå den modsatte vej, give op og helt ærligt lave en konference, der udelukkende vil handle om distribueret databehandling og kun om dem. Og her er den, Hydra.
Lad os ærligt indrømme, at i dag er al databehandling på den ene eller anden måde distribueret. Uanset om det er en multi-core maskine, en computerklynge eller en distribueret service i stor skala, er der mange processer overalt, der udfører uafhængige beregninger parallelt, synkroniserede med hinanden. Hvordan det fungerer i teorien, og hvordan det fungerer i praksis, vil være Hydras fokus.
Konferenceprogram
Programmet er i øjeblikket under udvikling. Det bør omfatte rapporter fra grundlæggerne af teorierne om distribuerede systemer og ingeniører, der arbejder med dem i produktionen.
For eksempel kender vi allerede til deltagelse af Leslie Lamport fra Microsoft Research og Maurice Herlihy fra Brown University.
Maurice Herlihy - en meget berømt og respekteret professor i datalogi, der er også en historie om ham , hvor du kan gå over links og værker. Der kan du bemærke hele to Dijkstra-priser, den første for arbejdet med og den anden, nyere - . Linkene fører i øvrigt ikke engang til SciHub, men til Brown University og Virginia Tech University kan du åbne og læse.
Maurice vil være vært for en keynote kaldet "Blokkæder fra et distribueret computerperspektiv". Hvis du er interesseret, kan du tage et kig på optagelsen af Maurices rapport fra St. Petersborg JUG. Vurder, hvor klart og forståeligt han formidler emnet.
Den anden keynote kaldet "Dual Data Structures" vil læse Michael Scott fra University of Rochester. Og gæt hvad - han har også sin egen . Hjemme i Wisconsin er han kendt for sit arbejde som dekan ved University of Wisconsin-Madison, og i verden er han manden, der sammen med Doug Lea udviklede de der ikke-blokerende algoritmer og synkrone køer, som Java-biblioteker kører på . Han modtog sin Dijkstra-pris tre år efter Herlihy, for sit arbejde "Algorithms for scalable synchronization on shared-memory multiprocessors" (som forventet, på onlinebiblioteket ved University of Rochester).
Der er stadig lang tid til midten af juli. Vi vil fortælle dig om andre talere og deres emner, efterhånden som vi finpudser programmet og nærmer os juli.
Generelt opstår spørgsmålet - hvorfor laver vi Hydra om sommeren? Det er trods alt lavsæsonen, helligdage. Problemet er, at der er universitetsprofessorer blandt talerne, og enhver anden tid er travl for dem. Vi kunne bare ikke vælge andre datoer.
Diskussionszoner
Ved andre konferencer sker det, at taleren læste det nødvendige og straks gik. Deltagerne har ikke engang tid til at lede efter det – næste rapport begynder trods alt næsten uden hul. Det gør meget ondt, især når vigtige personer som Lamport, Herlihy og Scott er der, og man faktisk tager til konferencen bare for at møde dem og tale om noget.
Vi har løst dette problem. Umiddelbart efter sin rapport går taleren til et særligt diskussionsområde udstyret med mindst en whiteboardtavle med tusch, og du har ret meget tid. Formelt lover taleren at være der i hvert fald i pausen mellem rapporterne. I virkeligheden er disse diskussionsområder kan strække sig i timevis (afhængig af talerens ønske og udholdenhed).
Hvad angår Lamport, vil han, hvis jeg forstår det rigtigt, overbevise så mange mennesker som muligt om det - det er en god ting. (). Måske vil dette være en god chance for ingeniører til at lære noget nyt og nyttigt. Leslie tilbyder denne mulighed - den, der er interesseret, kan se hans tidligere foredrag og komme med spørgsmål. Det vil sige, at i stedet for en keynote kan der så at sige være en specialiseret Q&A-session og så endnu en diskussionszone. Jeg googlede lidt og fandt en fantastisk (officielt døbt ) og en times forelæsning med Microsoft Faculty Summit.
Hvis du tænkte på alle disse mennesker som navne støbt i granit fra Wikipedia og på bogomslag, er det tid til at møde dem live! Chat og stil spørgsmål, som siderne af videnskabelige artikler ikke vil besvare, men deres forfattere vil med glæde tage kontakt.
Indkaldelse af Papers
Det er ingen hemmelighed, at mange af dem, der nu læser artiklen, ikke er afvisende over for selv at fortælle noget interessant nok. Fra et ingeniørmæssigt synspunkt, fra et videnskabeligt synspunkt, fra ethvert synspunkt. Distributed computing er et meget bredt og dybt emne, hvor der er plads til alle.
Hvis du vil spille sammen med Lamport, er det fuldt ud muligt. For at blive foredragsholder har du brug for , læs omhyggeligt alt der og gør det i henhold til instruktionerne.
Vær rolig, så snart du forbinder dig med processen, vil du blive hjulpet. Programudvalget har tilstrækkelige ressourcer til at hjælpe med selve rapporten, dens essens og udformning. Koordinatoren hjælper dig med at håndtere organisatoriske spørgsmål og så videre.
Vær særlig opmærksom på billedet med datoerne. Juli er en temmelig fjern dato for deltageren, og taleren skal i gang med at handle nu.
SPTDC skole
Konferencen afholdes på samme sted med SPTDC-skolen, så for alle, der køber billet til skolen, konferencebilletter - med 20% rabat.
- en skole, der tilbyder en bred vifte af kurser om de praktiske og teoretiske aspekter af distribuerede systemer, som undervises af anerkendte eksperter inden for det relevante område.
Skolen vil foregå på engelsk, så her er listen over emner, der behandles:
- Samtidige datastrukturer: korrekthed og effektivitet;
- Algoritmer til ikke-flygtig hukommelse;
- Distribueret beregningsevne;
- distribueret maskinlæring;
- State-machine replikering og Paxos;
- byzantinsk fejltolerance;
- Algoritmiske grundlæggende principper for blockchains.
Følgende talere vil tale:
- 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 Universitetet);
- Achour Mostefaoui (Universitetet i Nantes).
med rapporterne fra den tidligere skole kan frit ses på YouTube:
Næste trin
Konferenceprogrammet er stadig under udarbejdelse. Følg nyhederne på Habré eller på sociale netværk (, , ).
Hvis du virkelig tror på konferencen (eller ønsker at drage fordel af den særlige startpris, som man siger, "Early Bird") - kan du gå til siden og .
Vi ses på Hydra!
Kilde: www.habr.com