Den Leslie Lamport - forfatteren av grunnleggende verk innen distribuert databehandling, og du kan også kjenne ham ved bokstavene La i ordet LaTeX - "Lamport TeX". Det var han som for første gang, tilbake i 1979, introduserte konseptet , og artikkelen hans mottok Dijkstra-prisen (mer presist, i 2000 het prisen på gamlemåten: "PODC Influential Paper Award"). Det er om ham , hvor du kan få flere interessante lenker. Hvis du er spent på å løse problemer på skjer-før eller (BFT), de må forstå at Lamport står bak det hele.
Og han kommer snart til vår nye konferanse om distribuert databehandling - Hydra, som arrangeres 11.-12. juli i St. Petersburg. La oss se hva slags dyr det er.
Hydra2019
Emner som multithreading er noen av de heteste temaene på våre konferanser, og har alltid vært det. Det var akkurat øde i denne salen, men så dukker det opp en person på scenen som snakker om minnemodellen, skjer-før eller flertråds søppeloppsamling og – bom! – allerede under tusen personer opptar all tilgjengelig plass til å sette seg ned og lytte nøye. Hva er essensen av denne suksessen? Kanskje det faktum at vi alle har en slags maskinvare i stand til å organisere distribuert databehandling? Eller er det slik at vi ubevisst forstår vår manglende evne til å laste den til sin sanne verdi? Det er en virkelig historie om en St. Petersburg-kvante (det vil si en finansiell kvantitativ analytiker og utvikler), som endte opp med en dataklynge i hendene, hvis fulle kraft bare kan brukes av ham alene. Og hva ville du gjort hvis du fikk utført oppgavene dine med mange ganger større kapasitet enn nå?
På grunn av denne populariteten har temaet ytelse og effektiv databehandling en tendens til å spre seg over konferanseprogrammet. Hvor mange av de to dagene med rapporter kan lages om ytelse - en tredjedel, to tredjedeler? Noen steder er det kunstige begrensninger som begrenser denne veksten: i tillegg til ytelse må det fortsatt være rom for nye nettrammeverk, for en slags devops eller arkitektonisk astronautikk. Nei, ytelse, du vil ikke spise oss alle hele!
Eller du kan gå motsatt vei, gi opp og helt ærlig lage en konferanse som utelukkende vil handle om distribuert databehandling og kun om dem. Og her er den, Hydra.
La oss ærlig innrømme at i dag er all databehandling på en eller annen måte distribuert. Enten det er en flerkjernemaskin, en dataklynge eller en distribuert tjeneste i stor skala, er det mange prosesser overalt som utfører uavhengige beregninger parallelt og synkroniserer med hverandre. Hvordan det fungerer i teorien og hvordan det fungerer i praksis vil være Hydras fokus.
Konferanseprogram
Programmet er for tiden under utvikling. Den bør inneholde rapporter fra grunnleggerne av teoriene om distribuerte systemer og ingeniører som arbeider med dem i produksjonen.
For eksempel vet vi allerede om deltakelsen til Leslie Lamport fra Microsoft Research og Maurice Herlihy fra Brown University.
Maurice Herlihy - en veldig kjent og respektert professor i informatikk, det er også en historie om ham , hvor du kan gå over lenkene og verkene. Der kan du legge merke til så mange som to Dijkstra-priser, den første for arbeid med , og den andre, nyere - . Linkene fører forresten ikke engang til SciHub, men til Brown University og Virginia Tech University kan du åpne og lese.
Maurice skal være vertskap for en keynote kalt "Blockchains from a distributed computing perspective". Hvis du er interessert, kan du ta en titt på opptaket av Maurices rapport fra St. Petersburg JUG. Vurder hvor tydelig og forståelig han formidler temaet.
Den andre keynote kalt "Dual Data Structures" vil lese Michael Scott fra University of Rochester. Og gjett hva - han har sin egen også . Hjemme i Wisconsin er han kjent for sitt arbeid som dekan ved University of Wisconsin-Madison, og i verden er han mannen som sammen med Doug Lea utviklet de ikke-blokkerende algoritmene og synkrone køene som Java-biblioteker kjører på . Han mottok sin Dijkstra-pris tre år etter Herlihy, for sitt arbeid "Algorithms for scalable synchronization on shared-memory multiprocessors" (som forventet, på nettbiblioteket til University of Rochester).
Det er fortsatt mye tid til midten av juli. Vi vil fortelle deg om andre foredragsholdere og deres emner når vi finpusser programmet og nærmer oss juli.
Generelt oppstår spørsmålet - hvorfor lager vi Hydra om sommeren? Tross alt er dette lavsesongen, høytider. Problemet er at det er universitetsprofessorer blant foredragsholderne, og enhver annen tid er travel for dem. Vi kunne bare ikke velge andre datoer.
Diskusjonssoner
På andre konferanser hender det at foredragsholderen leste det som er nødvendig og umiddelbart gikk. Deltakerne har ikke engang tid til å lete etter det – tross alt begynner neste rapport nesten uten hull. Det gjør veldig vondt, spesielt når viktige personer som Lamport, Herlihy og Scott er der, og du faktisk drar på konferansen bare for å møte dem og snakke om noe.
Vi har løst dette problemet. Umiddelbart etter rapporten hans går foredragsholderen til et spesielt diskusjonsområde utstyrt med minst en tavle med tusj, og du har ganske mye tid. Formelt sett lover foredragsholderen å være der i hvert fall i pausen mellom rapportene. I virkeligheten er disse diskusjonsområdene kan strekk i timevis (avhengig av ønsket og utholdenheten til høyttaleren).
Når det gjelder Lamport, hvis jeg forstår det rett, vil han overbevise så mange som mulig om det - Dette er en god ting. (). Kanskje vil dette være en god sjanse for ingeniører til å lære noe nytt og nyttig. Leslie tilbyr dette alternativet - den som er interessert kan se hans tidligere forelesninger og komme med spørsmål. Det vil si at i stedet for en keynote, kan det så å si være en spesialisert Q&A-sesjon, og deretter en annen diskusjonssone. Jeg googlet litt og fant en flott en (offisielt kalt ) og en times forelesning med Microsoft Faculty Summit.
Hvis du tenkte på alle disse menneskene som navn støpt i granitt fra Wikipedia og på bokomslag, er det på tide å møte dem live! Chat og still spørsmål som sidene til vitenskapelige artikler ikke vil svare på, men forfatterne deres tar gjerne kontakt.
Call for Papers
Det er ingen hemmelighet at mange av de som nå leser artikkelen ikke er uvillige til å fortelle noe interessant nok selv. Fra et ingeniørmessig synspunkt, fra et vitenskapelig synspunkt, fra ethvert synspunkt. Distribuert databehandling er et veldig bredt og dypt tema, hvor det er plass til alle.
Hvis du vil spille sammen med Lamport, er det fullt mulig. For å bli foredragsholder trenger du , les nøye alt der og gjør det i henhold til instruksjonene.
Vær rolig, så snart du kobler deg til prosessen, vil du bli hjulpet. Programkomiteen har tilstrekkelige ressurser til å hjelpe med selve rapporten, dens essens og utforming. Koordinatoren vil hjelpe deg med å håndtere organisatoriske spørsmål og så videre.
Vær spesielt oppmerksom på bildet med datoene. Juli er en ganske fjern dato for deltakeren, og foredragsholderen må begynne å handle nå.
SPTDC skole
Konferansen vil bli holdt på samme sted med SPTDC-skolen, så for alle som kjøper billett til skolen, konferansebilletter - med 20% rabatt.
- en skole som tilbyr et bredt spekter av kurs om de praktiske og teoretiske aspektene ved distribuerte systemer, som undervises av anerkjente eksperter på det aktuelle feltet.
Skolen vil holdes på engelsk, så her er listen over emner som dekkes:
- Samtidige datastrukturer: korrekthet og effektivitet;
- Algoritmer for ikke-flyktig minne;
- Distribuert beregningsevne;
- distribuert maskinlæring;
- State-maskin replikering og Paxos;
- bysantinsk feiltoleranse;
- Algoritmisk grunnleggende om blokkjeder.
Følgende foredragsholdere vil holde tale:
- Leslie Lamport (Microsoft);
- Maurice Herlihy (Brown University);
- Michael Scott (University of Rochester);
- Dan Alistarh (IST Østerrike);
- Trevor Brown (University of Waterloo);
- Eli Gafni (UCLA);
- Danny Hendler (Ben Gurion University);
- Achour Mostefaoui (Universitetet i Nantes).
med rapportene fra den forrige skolen kan fritt ses på YouTube:
De neste trinnene
Konferanseprogrammet er fortsatt under utforming. Følg nyhetene på Habré eller i sosiale nettverk (, , ).
Hvis du virkelig tror på konferansen (eller ønsker å dra nytte av den spesielle startprisen, som de sier "Early Bird") - kan du gå til nettstedet og .
Vi sees på Hydra!
Kilde: www.habr.com