Se Leslie Lamport on hajautetun tietojenkäsittelyn merkittävien teosten kirjoittaja, ja saatat tuntea hänet myös sanan La-kirjaimista LaTeX - "Lamport TeX". Hän esitteli konseptin ensimmäisenä vuonna 1979 peräkkäinen johdonmukaisuus, ja hänen artikkelinsa "Kuinka tehdä moniprosessoritietokone, joka suorittaa moniprosessiohjelmia oikein" sai Dijkstra-palkinnon (tarkemmin sanottuna vuonna 2000 palkintoa kutsuttiin vanhalla tavalla: "PODC Influential Paper Award"). Hänestä on juttua Wikipedian artikkeli, josta löydät mielenkiintoisempia linkkejä. Jos olet innostunut ongelmien ratkaisemisesta tapahtuu-ennen tai Bysantin kenraalien ongelmia (BFT), sinun on ymmärrettävä, että Lamport on kaiken tämän takana.

Hän tulee myös pian uuteen hajautetun laskennan konferenssiimme - Hydraan, joka pidetään 11.-12. Pietarissa. Katsotaan millainen eläin tämä on.

Hydra 2019

Aiheet, kuten multithreading, ovat konferensseissamme suosituimpia, ovat aina olleet. Juuri nyt tämä huone oli autio, mutta sitten lavalle ilmestyy henkilö, joka puhuu muistimallista, tapahtuu-ennen tai monisäikeinen roskakeräys ja - buumi! — jo noin tuhat ihmistä käyttää kaiken käytettävissä olevan tilan istuakseen ja kuunnellakseen tarkkaavaisesti. Mikä on tämän menestyksen ydin? Ehkä se johtuu siitä, että meillä kaikilla on jonkinlainen laitteisto, joka voi järjestää hajautetun laskennan? Vai ymmärrämmekö alitajuisesti kyvyttömyytemme ladata sitä niin kuin se ansaitsee? On tositarina yhdestä Pietarin kvantista (eli taloudellisesta kvantitatiivisesta analyytikkosta ja -kehittäjästä), joka sai haltuunsa laskentaklusterin, jonka koko tehoa vain hän yksin saattoi käyttää. Mitä tekisit, jos sinulla olisi kyky suorittaa tehtäväsi, joka olisi monta kertaa suurempi kuin nyt?

Tällaisen suosion ansiosta tuottavuuden ja tehokkaan tietojenkäsittelyn aihe on taipumus levitä koko konferenssin asialistalle. Kuinka monta kahden päivän raporteista voidaan tehdä suorituskyvystä - kolmasosa, kaksi kolmasosaa? Paikoin on keinotekoisia rajoituksia, jotka rajoittavat tätä kasvua: suorituskyvyn lisäksi pitää vielä olla tilaa uusille verkkokehyksille, jonkinlaisille devopeille tai arkkitehtoniselle astronautiikalle. Ei, suorituskyky, et syö meitä kaikkia kokonaisiksi!

Tai voit mennä päinvastaiseen suuntaan, luovuttaa ja tehdä rehellisesti konferenssin, jossa käsitellään kokonaan hajautettua tietojenkäsittelyä ja vain heitä. Ja tässä se on, Hydra.

Myönnetään rehellisesti, että nykyään kaikki laskelmat jakautuvat tavalla tai toisella. Olipa kyseessä moniytiminen kone, laskentaklusteri tai laajamittainen hajautettu palvelu, kaikkialla on monia prosesseja, jotka suorittavat itsenäisiä laskelmia rinnakkain synkronoiden keskenään. Hydra on omistettu sille, miten tämä toimii teoriassa ja miten se toimii käytännössä.

Konferenssin ohjelma

Ohjelma on tällä hetkellä suunnitteluvaiheessa. Sen tulisi sisältää raportteja hajautettujen järjestelmien teorioiden perustajilta ja niiden kanssa tuotannossa työskenteleviltä insinööreiltä.

Esimerkiksi Microsoft Researchin Leslie Lamportin ja Brownin yliopiston Maurice Herlihyn osallistuminen on jo tiedossa.

Maurice Herlihy - erittäin kuuluisa ja arvostettu tietojenkäsittelytieteen professori, hänestä on myös tietoa Wikipedian sivu, jossa voit selata linkkejä ja teoksia. Siellä voit huomata kaksi Dijkstra-palkintoa, ensimmäinen työstä "Odotusvapaa synkronointi"ja toinen, uudempi - "Transaktionaalinen muisti: arkkitehtoninen tuki lukitsemattomille tietorakenteille". Muuten, linkit eivät edes johda SciHubiin, vaan Brownin yliopistoon ja Virginia Tech Universityyn, voit avata ja lukea.

Maurice pitää pääpuheenvuoron nimeltä "Blockchains hajautetun laskennan näkökulmasta". Jos olet kiinnostunut, voit katsoa tallennetta Mauricen raportista Pietarin KANNUSTA. Arvioi, kuinka selkeästi ja ymmärrettävästi hän välittää aiheen.

Toinen pääpuheenvuoro nimeltä "Dual Data Structures" luetaan Michael Scott Rochesterin yliopistosta. Ja arvaa mitä - hänellä on myös omansa Wikipedian sivu. Kotona Wisconsinissa hänet tunnetaan työstään dekaanina Wisconsin-Madisonin yliopistossa, ja maailmassa hän on mies, joka yhdessä Doug Lean kanssa kehitti ei-esto-algoritmit ja synkroniset jonot, joilla Java-kirjastot toimivat. tehdä työtä. Hän sai Dijkstra-palkinnon kolme vuotta Herlihyn jälkeen työstään "Algoritms skaalautuvaan synkronointiin jaetun muistin moniprosessoreissa" (kuten odotettiin, hän valehtelee avoimesti Rochesterin yliopiston verkkokirjastossa).

Heinäkuun puoliväliin on vielä paljon aikaa. Kerromme teille jäljellä olevista puhujista ja heidän aiheistaan, kun tarkennamme ohjelmaa ja lähestymme heinäkuuta.

Yleisesti herää kysymys - miksi teemme Hydraa kesällä? Loppujen lopuksi tämä on sesonkiajan ulkopuolella, lomat. Ongelmana on, että puhujien joukossa on yliopiston opettajia, ja mikä tahansa muu aika on heille kiireistä. Emme yksinkertaisesti voineet valita muita päivämääriä.

Keskustelualueet

Muissa konferensseissa käy niin, että puhuja luki mitä tarvitsi ja lähti heti. Osallistujilla ei ole aikaa edes etsiä sitä - loppujen lopuksi seuraava raportti alkaa melkein ilman taukoa. Tämä on erittäin tuskallista, varsinkin jos läsnä on tärkeitä ihmisiä, kuten Lamport, Herlihy ja Scott, ja olet itse asiassa menossa konferenssiin vain tavataksesi heidät ja keskustellaksesi jostain.

Olemme ratkaisseet tämän ongelman. Välittömästi esityksensä jälkeen puhuja menee erityiselle keskustelualueelle, joka on varustettu vähintään tussitaululla, ja sinulla on melko paljon aikaa. Muodollisesti puhuja lupaa olla paikalla ainakin koko esitysten välisen tauon ajan. Todellisuudessa nämä keskustelualueet voida venytä tuntikausia (kaiuttajan halusta ja kestävyydestä riippuen).

Mitä tulee Lamportiin, jos ymmärrän oikein, hän haluaa vakuuttaa siitä mahdollisimman monet ihmiset TLA+ - Tämä on hyvä asia. (Artikkeli TLA+:sta Wikipediassa). Ehkä tämä on hyvä tilaisuus insinööreille oppia jotain uutta ja hyödyllistä. Leslie tarjoaa tämän vaihtoehdon – kiinnostuneet voivat seurata hänen aiempia luentojaan ja tulla esittämään kysymyksiä. Eli pääpuheenvuoron sijaan voisi olla erikoistunut Q&A-istunto ja sitten myös keskustelualue. Googlasin ja löysin hyvän. TLA+ kurssi (virallisesti dubattu soittolista YouTubessa) ja tunnin mittainen luento "Thinking Above the Code" Microsoft Faculty Summitista.

Jos ymmärsit kaikki nämä ihmiset Wikipediasta ja kirjojen kansista graniitista valettuina niminä, on aika tavata heidät henkilökohtaisesti! Keskustele ja kysy kysymyksiä, joihin tieteellisten artikkelien sivut eivät vastaa, mutta niiden kirjoittajat ottavat mielellään yhteyttä.

Call for Papers

Ei ole mikään salaisuus, että monet niistä, jotka nyt lukevat artikkelia, eivät halua kertoa meille jotain varsin mielenkiintoista. Teknisestä näkökulmasta, tieteellisestä näkökulmasta - mistä tahansa näkökulmasta. Hajautettu laskenta on erittäin laaja ja syvällinen aihe, jossa on tilaa kaikille.

Jos haluat kilpailla Lamportin rinnalla, se on täysin mahdollista. Tarvitset puhujaksi tullaksesi seuraa linkkiä, lue kaikki siellä oleva huolellisesti ja tee ohjeiden mukaan.

Voit olla varma, että heti kun liityt prosessiin, he auttavat sinua. Ohjelmakomitealla on riittävät valmiudet auttaa itse raportin, sen olemuksen ja suunnittelun kanssa. Koordinaattori auttaa sinua selvittämään organisaatioon liittyviä kysymyksiä ja niin edelleen.

Kiinnitä erityistä huomiota kuvaan, jossa on päivämäärät. Heinäkuu on osallistujalle melko kaukainen päivämäärä, mutta puhujan täytyy alkaa toimia nyt.

SPTDC koulu

Konferenssi pidetään samalla paikalla kuin SPTDC-koulu, joten kaikille kouluun lipun ostaville liput konferenssiin 20%: n alennuksella.

Summer School on Practice and Theory of Distributed Computing (SPTDC) on koulu, joka tarjoaa laajan valikoiman kursseja hajautettujen järjestelmien käytännön ja teoreettisista näkökohdista, ja niitä opettavat alan tunnustetut asiantuntijat.

Koulu pidetään englanniksi, joten luettelo käsitellyistä aiheista näyttää tältä:

• Samanaikaiset tietorakenteet: oikeellisuus ja tehokkuus;
• Algoritmit haihtumattomalle muistille;
• Hajautettu laskettavuus;
• Hajautettu koneoppiminen;
• valtion-kone replikointi ja Paxos;
• Bysantin vikasietoisuus;
• Lohkoketjujen algoritmiset perusteet.

Seuraavat puhujat puhuvat:

• Leslie Lamport (Microsoft);
• Maurice Herlihy (Brown University);
• Michael Scott (Rochesterin yliopisto);
• Dan Alistarh (IST Itävalta);
• Trevor Brown (Waterloon yliopisto);
• Eli Gafni (UCLA);
• Danny Hendler (Ben Gurion University);
• Achour Mostefaoui (Nantesin yliopisto).

soittolista Voit vapaasti katsoa edellisen koulun raportteja YouTubesta:

РЎР »РµРґСѓСЋС ‰ РёРµ С € Р ° РіРё

Konferenssin ohjelma on vielä kesken. Seuraa uutisia Habressa tai sosiaalisessa mediassa (fb, vk, viserrys).

Jos todella uskot konferenssiin (tai haluat hyödyntää erityistä sisäänpääsyhintaa, ns. "Early Bird"), voit siirtyä verkkosivustolle ja osta lippuja.

Nähdään Hydrassa!

Lähde: will.com