Stofnendur kenningarinnar um dreifð kerfi í örmum hýdrunnar

Stofnendur kenningarinnar um dreifð kerfi í örmum hýdrunnarÞað Leslie Lamport er höfundur fræðandi verka í dreifðri tölvuvinnslu og þú gætir líka þekkt hann með stöfunum La í orðinu LaTeX - "Lamport TeX". Það var hann sem fyrst, aftur árið 1979, kynnti hugmyndina stöðugt samræmi, og grein hans „Hvernig á að búa til fjölgjörva tölvu sem keyrir fjölvinnsluforrit rétt“ hlaut Dijkstra-verðlaunin (nánar tiltekið, árið 2000 hétu verðlaunin á sinn gamla máta: „PODC Influential Paper Award“). Það er um hann Wikipedia grein, þar sem þú getur fengið fleiri áhugaverða tengla. Ef þú ert spenntur fyrir því að leysa vandamál á gerist-fyrir eða vandamál býsanska hershöfðingjanna (BFT), þá hlýturðu að skilja að Lamport stendur á bak við þetta allt.

Hann mun einnig fljótlega koma á nýju ráðstefnuna okkar um dreifða tölvunotkun - Hydra, sem verður 11.-12. júlí í St. Pétursborg. Við skulum sjá hvers konar dýr þetta er.

Hydra2019

Efni eins og fjölþráður eru meðal þeirra vinsælustu á ráðstefnum okkar, hafa alltaf verið. Nú rétt í þessu var þetta herbergi í eyði, en svo birtist maður á sviðinu sem talar um minnislíkanið, gerist-áður eða margþráða sorphirðu og - búmm! — þegar um þúsund manns taka allt laust pláss til að setjast niður og hlusta vel. Hver er kjarninn í þessum árangri? Kannski er það vegna þess að við höfum öll einhvers konar vélbúnað við höndina sem getur skipulagt dreifða tölvuvinnslu? Eða er það þannig að við skiljum ómeðvitað vanhæfni okkar til að hlaða því eins og það á skilið? Það er sönn saga um einn St. Pétursborgarmagn (þ.e. fjármálamagnfræðing og þróunaraðila), sem fann sjálfan sig í eigu tölvuklasans, sem aðeins hann einn gat notað til fulls. Hvað myndir þú gera ef þú hefðir getu til að sinna verkefnum þínum sem væri margfalt meiri en nú?

Vegna slíkra vinsælda hefur umræðuefnið framleiðni og skilvirka tölvuvinnslu tilhneigingu til að dreifast um dagskrá ráðstefnunnar. Hversu marga af tveimur dögum skýrslna er hægt að gera um frammistöðu - þriðjung, tvo þriðju? Sums staðar eru tilbúnar takmarkanir sem takmarka þennan vöxt: auk frammistöðu verður enn að vera pláss fyrir nýja veframma, fyrir einhvers konar devops eða byggingargeimfara. Nei, frammistaða, þú munt ekki éta okkur öll heil!

Eða þú getur farið þveröfuga leið, gefist upp og í heiðarleika haldið ráðstefnu sem snýst eingöngu um dreifða tölvumál og aðeins um þær. Og hér er það, Hydra.

Við skulum hreinskilnislega viðurkenna að í dag dreifast allir útreikningar á einn eða annan hátt. Hvort sem um er að ræða fjölkjarna vél, tölvuklasa eða dreifða þjónustu í stórum stíl, þá eru mörg ferli alls staðar sem framkvæma sjálfstæða útreikninga samhliða og samstilla hvert við annað. Hydra verður varið í hvernig þetta virkar í orði og hvernig það virkar í reynd.

Dagskrá ráðstefnunnar

Námið er nú á mótunarstigi. Það ætti að innihalda skýrslur frá stofnendum kenninga um dreifð kerfi og verkfræðingum sem vinna með þau í framleiðslu.

Til dæmis er þátttaka Leslie Lamport frá Microsoft Research og Maurice Herlihy frá Brown háskóla þegar þekkt.

Stofnendur kenningarinnar um dreifð kerfi í örmum hýdrunnar Maurice Herlihy - mjög frægur og virtur prófessor í tölvunarfræði, það eru líka upplýsingar um hann Wikipedia síða, þar sem þú getur flett í gegnum tengla og verk. Þar má taka eftir tveimur Dijkstra verðlaunum, þau fyrstu fyrir vinnu við "Biðlaus samstilling", og annað, nýlegra - „Transactional Memory: Byggingarfræðilegur stuðningur við læsingarlausar gagnabyggingar“. Við the vegur, tenglarnir leiða ekki einu sinni til SciHub, en til Brown University og Virginia Tech University, þú getur opnað og lesið.

Maurice ætlar að halda aðaltónleika sem kallast „Blokkakeðjur frá dreifðu tölvusjónarhorni“. Ef þú hefur áhuga geturðu kíkt á upptöku af skýrslu Maurice frá St. Petersburg JUG. Metið hversu skýrt og skiljanlega hann miðlar efnið.

Stofnendur kenningarinnar um dreifð kerfi í örmum hýdrunnarÖnnur grunntónnin sem kallast „Tvöfalt gagnaskipulag“ mun lesa Michael Scott frá háskólanum í Rochester. Og veistu hvað - hann á líka sitt Wikipedia síða. Heima í Wisconsin er hann þekktur fyrir störf sín sem deildarforseti við háskólann í Wisconsin-Madison og í heiminum er hann maðurinn sem, ásamt Doug Lea, þróaði óblokkandi reiknirit og samstilltar biðraðir sem Java bókasöfn eru á. vinna. Hann hlaut Dijkstra-verðlaunin þremur árum á eftir Herlihy, fyrir verk sitt „Reiknirit fyrir stigstærð samstillingu á fjölgjörvum með sameiginlegu minni“ (eins og búist var við, hún lýgur opinskátt í netbókasafni háskólans í Rochester).

Enn er mikill tími fram í miðjan júlí. Við munum segja ykkur frá fyrirlesurunum sem eftir eru og viðfangsefni þeirra þegar við finnum dagskrána og nálgumst júlí.

Almennt vaknar spurningin - hvers vegna gerum við Hydra á sumrin? Enda er þetta lágtímabilið, frí. Vandamálið er að meðal fyrirlesara eru háskólakennarar og allir aðrir tímar eru annasamir hjá þeim. Við gátum einfaldlega ekki valið aðrar dagsetningar.

Umræðusvæði

Á öðrum ráðstefnum kemur það fyrir að ræðumaður las það sem hann þurfti og fór strax. Þátttakendur hafa ekki einu sinni tíma til að leita að því - þegar allt kemur til alls, byrjar næsta skýrsla nánast án millibils. Þetta er mjög sársaukafullt, sérstaklega ef mikilvægir einstaklingar eins og Lamport, Herlihy og Scott eru viðstaddir og þú ert í raun að fara á ráðstefnuna bara til að hitta þá og ræða eitthvað.

Við höfum leyst þetta vandamál. Strax að lokinni skýrslu sinni fer ræðumaður á sérstakt umræðusvæði, búið að minnsta kosti töflu með tússi, og þú hefur töluverðan tíma. Formlega lofar ræðumaður að vera viðstaddur að minnsta kosti allt hlé á milli kynninga. Í raun og veru eru þessi umræðusvæði getur teygja tímunum saman (fer eftir löngun og úthaldi ræðumanns).

Hvað Lamport varðar, ef ég skil rétt, þá vill hann sannfæra sem flesta um það TLA+ - þetta er gott mál. (Grein um TLA+ á Wikipedia). Kannski er þetta gott tækifæri fyrir verkfræðinga til að læra eitthvað nýtt og gagnlegt. Leslie býður upp á þennan möguleika - þeir sem hafa áhuga geta horft á fyrri fyrirlestra hans og komið með spurningar. Það er að segja að í stað grunntóns gæti verið sérhæfður spurninga- og svörunarfundur og síðan einnig umræðusvæði. Ég googlaði og fann frábæran. TLA+ námskeið (opinberlega kallaður lagalista á YouTube) og klukkutíma fyrirlestur „Hugsaðu umfram kóðann“ frá leiðtogafundi Microsoft deildar.

Ef þú skynjaðir allt þetta fólk sem nöfn steypt í granít frá Wikipedia og á bókakápum, þá er kominn tími til að hitta það í eigin persónu! Spjallaðu og spyrðu spurninga sem síður vísindagreina munu ekki svara, en höfundar þeirra munu gjarnan hafa samband.

Hringja til Papers

Það er ekkert leyndarmál að margir af þeim sem eru að lesa greinina eru ekki ósáttir við að segja okkur nokkuð áhugavert. Frá verkfræðilegu sjónarhorni, frá vísindalegu sjónarhorni - frá hvaða sjónarhorni sem er. Dreifð tölvumál er mjög breitt og djúpt efni þar sem pláss er fyrir alla.

Ef þú vilt keppa við hlið Lamport er það alveg mögulegt. Til að verða hátalari þarftu fylgdu krækjunni, lestu allt þar vandlega og gerðu samkvæmt leiðbeiningunum.

Vertu viss um að um leið og þú tekur þátt í ferlinu munu þeir hjálpa þér. Dagskrárnefndin hefur næga burði til að aðstoða við skýrsluna sjálfa, kjarna hennar og hönnun. Umsjónarmaðurinn mun hjálpa þér að raða út skipulagsmálum og svo framvegis.

Takið sérstaklega eftir myndinni með dagsetningunum. Júlí er frekar fjarlæg dagsetning fyrir þátttakandann en ræðumaður þarf að byrja að leika núna.

Stofnendur kenningarinnar um dreifð kerfi í örmum hýdrunnar

SPTDC skóli

Ráðstefnan verður haldin á sama stað og SPTDC skólinn, þannig að fyrir alla sem kaupa miða í skólann verða miðar á ráðstefnuna með 20% afslætti.

Sumarskóli um framkvæmd og kenningu um dreifða tölvuvinnslu (SPDTC) er skóli sem býður upp á fjölbreytt úrval námskeiða um hagnýta og fræðilega þætti dreifkerfa, kennd af viðurkenndum sérfræðingum á viðkomandi sviði.

Skólinn verður haldinn á ensku, þannig að listinn yfir efni sem fjallað er um lítur út:

  • Samhliða uppbygging gagna: réttmæti og skilvirkni;
  • Reiknirit fyrir óstöðugt minni;
  • Dreifður reiknileiki;
  • Dreifð vélanám;
  • Ríkis-vél afritun og Paxos;
  • Býsanskt bilunarþol;
  • Algóritmísk grunnatriði blockchains.

Eftirtaldir fyrirlesarar taka til máls:

  • Leslie Lamport (Microsoft);
  • Maurice Herlihy (Brown University);
  • Michael Scott (háskólinn í Rochester);
  • Dan Alistarh (IST Austurríki);
  • Trevor Brown (háskólinn í Waterloo);
  • Eli Gafni (UCLA);
  • Danny Hendler (Ben Gurion háskólinn);
  • Achour Mostefaoui (háskólinn í Nantes).

lagalista Þú getur frjálslega horft á skýrslur fyrri skólans á YouTube:

Næstu skref

Dagskrá ráðstefnunnar er enn í mótun. Fylgstu með fréttum á Habré eða á samfélagsnetum (fb, vk, kvak).

Ef þú hefur virkilega trú á ráðstefnunni (eða vilt nýta sér sérstakt aðgangsverð, svokallað „Early Bird“), geturðu farið á vefsíðuna og kaupa miða.

Sjáumst á Hydra!

Heimild: www.habr.com

Bæta við athugasemd