dizze Leslie Lamport - de skriuwer fan fûnemintele wurken yn ferspraat computing, en jo kinne him ek kenne troch de letters La yn it wurd LaTeX - "Lamport TeX". It wie hy dy't foar it earst, werom yn 1979, it konsept yntrodusearre , en syn artikel krige de Dijkstrapriis (noch krekter, yn 2000 hiet de priis op de âlde manier: "PODC Influential Paper Award"). Der is oer him , wêr kinst krije wat mear nijsgjirrige keppelings. As jo binne optein oer it oplossen fan problemen op bart-foar of (BFT), se moatte begripe dat Lamport der efter sit.
En hy sil ynkoarten komme nei ús nije konferinsje oer ferdielde komputer - Hydra, dy't 11-12 july hâlden wurdt yn Sint Petersburg. Lit ús sjen wat foar bist it is.
Hydra 2019
Underwerpen lykas multithreading binne guon fan 'e waarmste ûnderwerpen op ús konferinsjes, hawwe altyd west. It wie krekt ferlitten yn dizze seal, mar dan ferskynt in persoan op it poadium, praten oer it ûnthâld model, bart-foar of multi-threaded garbage sammeljen en - boom! - al ûnder tûzen minsken nimme alle beskikbere romte yn om goed te sitten en te harkjen. Wat is de essinsje fan dit sukses? Miskien is it feit dat wy allegear in soarte fan hardware hawwe dy't by steat binne om ferdielde komputer te organisearjen? Of is it dat wy ûnbewust ús ûnfermogen begripe om it op syn wiere wearde te laden? Der is in echt ferhaal fan ien Sint-Petersburchskwantum (dat is in finansjele kwantitative analist en ûntwikkelder), dy't einige mei in kompjûterkluster yn 'e hannen, wêrfan de folsleine krêft allinich troch him allinich brûkt wurde kin. En wat soene jo dwaan as jo jo taken mei in protte kearen gruttere kapasiteiten moatte útfiere as no?
Troch dizze populariteit hat it ûnderwerp fan prestaasjes en effisjinte komputer de neiging te fersprieden oer it konferinsjeprogramma. Hoefolle fan 'e twa dagen rapporten kinne wurde makke oer prestaasjes - ien tredde, twa tredde? Op guon plakken binne der keunstmjittige beheiningen dy't dizze groei beheine: njonken prestaasjes moat der noch romte wêze foar nije webkaders, foar in soarte fan devops of arsjitektoanyske astronautika. Nee, prestaasje, jo sille ús net allegear folslein ite!
Of jo kinne de tsjinoerstelde manier gean, opjaan en earlik in konferinsje meitsje dy't folslein oer ferdield komputer sil gean en allinich oer har. En hjir is it, Hydra.
Litte wy earlik tajaan dat hjoed alle kompjûters op ien of oare manier ferdield is. Oft it is in multi-core masine, in kompjûter kluster, of in grutskalige ferspraat tsjinst, der binne in protte prosessen oeral dy't útfiere ûnôfhinklike berekkeningen yn parallel, syngronisearje mei elkoar. Hoe't it yn teory wurket en hoe't it yn 'e praktyk wurket, sil de fokus wêze fan Hydra.
Konferinsje programma
It programma is op it stuit yn ûntwikkeling. It moat rapporten befetsje fan 'e oprjochters fan' e teoryen fan ferspraat systemen en yngenieurs dy't wurkje mei har yn produksje.
Wy witte bygelyks al oer de dielname fan Leslie Lamport fan Microsoft Research en Maurice Herlihy fan Brown University.
Maurice Herlihy - in tige ferneamde en respektearre heechlearaar Computer Science, der is ek in ferhaal oer him , wêr kinne jo gean oer de keppelings en wurken. Dêr kinne jo wol twa Dijkstra-prizen fernimme, de earste foar wurk oan , en de twadde, mear resinte - . Trouwens, de keppelings liede net iens nei SciHub, mar nei Brown University en Virginia Tech University kinne jo iepenje en lêze.
Maurice sil in keynote hostje mei de namme "Blockchains út in ferspraat komputerperspektyf". As jo ynteressearre binne, kinne jo sjen nei de opname fan Maurice syn ferslach fan 'e Sint-Petersburch JUG. Evaluearje hoe dúdlik en begryplik hy it ûnderwerp oerbringt.
De twadde keynote neamd "Dual Data Structures" sil lêze Michael Scott fan 'e Universiteit fan Rochester. En riede wat - hy hat syn eigen ek . Thús yn Wisconsin is hy bekend om syn wurk as dekaan oan 'e Universiteit fan Wisconsin-Madison, en yn 'e wrâld is hy de man dy't tegearre mei Doug Lea dy net-blokkearjende algoritmen en syngroane wachtrijen ûntwikkele dêr't Java-biblioteken op rinne. . Hy krige syn Dijkstrapriis trije jier nei Herlihy, foar syn wurk "Algorithms for scalable synchronization on shared-memory multiprocessors" (lykas ferwachte, yn 'e online bibleteek fan' e Universiteit fan Rochester).
Der is noch in soad tiid oant heal july. Wy sille jo fertelle oer oare sprekkers en har ûnderwerpen as wy it programma ferfine en july oanpakke.
Yn 't algemien komt de fraach op - wêrom meitsje wy Hydra yn' e simmer? Dit is ommers it bûtenseizoen, fakânsjes. It probleem is dat der universitêre heechleararen ûnder de sprekkers binne, en elke oare tiid is drok foar harren. Wy koenen gewoan gjin oare datums kieze.
Diskusje sônes
Op oare konferinsjes komt it foar dat de sprekker foarlêst wat nedich is en daliks fuortgie. De dielnimmers hawwe net iens tiid om der nei te sykjen - it folgjende ferslach begjint ommers hast sûnder gat. It docht in protte sear, benammen as wichtige minsken lykas Lamport, Herlihy en Scott der binne, en jo eins nei de konferinsje geane gewoan om se te treffen en oer wat te praten.
Wy hawwe dit probleem oplost. Fuort nei syn ferslach giet de sprekker nei in spesjaal diskusjegebiet foarsjoen fan op syn minst in whiteboard mei in marker, en jo hawwe nochal in soad tiid. Formeel belooft de sprekker der yn elts gefal yn it skoft tusken de ferslaggen te wêzen. Yn werklikheid, dizze diskusje gebieten kinne oerenlang útrekkenje (ôfhinklik fan de winsk en it úthâldingsfermogen fan de sprekker).
Wat Lamport oangiet, as ik it goed begryp, wol hy dat safolle mooglik minsken oertsjûgje - dit is in goede saak. (). Miskien sil dit in goede kâns wêze foar yngenieurs om wat nij en nuttich te learen. Leslie biedt dizze opsje oan - wa't ynteressearre is, kin syn eardere lêzingen besjen en komme mei fragen. Dat is, yn stee fan in keynote, kin der as it wie in spesjalisearre Q&A sesje, en dan noch in diskusje sône. Ik googlede in bytsje en fûn in geweldige (offisjeel neisyngronisaasje ) en in oere lêzing mei Microsoft Faculty Summit.
As jo al dizze minsken tinke as nammen dy't yn graniten getten binne fan Wikipedia en op boekomslagen, is it tiid om se live te moetsjen! Petear en freegje fragen dy't de siden fan wittenskiplike artikels net sille beantwurdzje, mar har auteurs sille graach kontakt opnimme.
Call for Papers
It is gjin geheime dat in protte fan dyjingen dy't no it artikel lêze, net ôfkeare binne om sels wat ynteressant genôch te fertellen. Ut in technysk eachpunt, út in wittenskiplik eachpunt, út elk eachpunt. Distributed computing is in hiel breed en djip ûnderwerp, dêr't der in plak is foar elkenien.
As jo njonken Lamport wolle spielje, is it folslein mooglik. Om in sprekker te wurden, moatte jo , lês alles dêr foarsichtich en doch it neffens de ynstruksjes.
Wês kalm, sa gau as jo ferbine mei it proses, wurde jo holpen. De programmakommisje hat genôch middels om te helpen mei it rapport sels, syn essinsje en ûntwerp. De koördinator sil jo helpe by it omgean mei organisatoaryske problemen ensafuorthinne.
Jou spesjaal omtinken foar de foto mei de datums. July is in nochal fiere datum foar de dielnimmer, en de sprekker moat no begjinne mei aktearjen.
SPTDC Skoalle
De konferinsje sil hâlden wurde op deselde side mei de SPTDC-skoalle, dus foar elkenien dy't in kaartsje foar de skoalle keapet, konferinsjekaarten - mei 20% koarting.
- in skoalle dy't in breed oanbod fan kursussen leveret oer de praktyske en teoretyske aspekten fan ferdielde systemen, dy't wurde leard troch erkende saakkundigen op it relevante fjild.
De skoalle sil yn it Ingelsk hâlden wurde, dus hjir is de list mei behannele ûnderwerpen:
- Konkurrente gegevensstruktueren: korrektheid en effisjinsje;
- Algoritmen foar net-flechtich ûnthâld;
- Ferspraat berekkenberens;
- ferspraat masine learen;
- State-machine replikaasje en Paxos;
- Byzantynske skuld-tolerânsje;
- Algoritmyske basis fan blockchains.
De folgjende sprekkers sille prate:
- Leslie Lamport (Microsoft);
- Maurice Herlihy (Brown University);
- Michael Scott (Universiteit fan Rochester);
- Dan Alistarh (IST Eastenryk);
- Trevor Brown (Universiteit fan Waterloo);
- Eli Gafni (UCLA);
- Danny Hendler (Ben Gurion University);
- Achour Mostefaoui (Universiteit fan Nantes).
mei de ferslaggen fan 'e foarige skoalle kinne jo fergees besjen op YouTube:
Folgjende stappen
It konferinsjeprogramma wurdt noch foarme. Folgje it nijs op Habré of yn sosjale netwurken (, , ).
As jo echt leauwe yn 'e konferinsje (of wolle profitearje fan de spesjale startpriis, sa't se sizze, "Early Bird") - kinne jo gean nei de side en .
Oant sjen by Hydra!
Boarne: www.habr.com