Az elosztott rendszerek elméletének megalapítói a hidra karjaiban

Az elosztott rendszerek elméletének megalapítói a hidra karjaibanEzt Leslie Lamport - az elosztott számítástechnika alapműveinek szerzője, akit a szó La betűiről is ismerhet LaTeX - "Lamport TeX". Ő volt az, aki először, még 1979-ben vezette be a koncepciót következetes következetesség, és a cikkét "Hogyan készítsünk többprocesszoros számítógépet, amely megfelelően hajtja végre a többfolyamatos programokat" megkapta a Dijkstra-díjat (pontosabban 2000-ben a díjat a régi módon hívták: "PODC Influential Paper Award"). Van róla szó Wikipédia cikk, ahol érdekesebb linkeket kaphat. Ha izgatott a problémák megoldása a történések előtt vagy a bizánci tábornokok problémái (BFT), meg kell érteniük, hogy Lamport áll az egész mögött.

És hamarosan eljön az elosztott számítástechnikával foglalkozó új konferenciánkra, a Hydra-ra, amelyet július 11-12-én rendeznek meg Szentpéterváron. Lássuk, milyen állatról van szó.

Hidra 2019

Az olyan témák, mint a multithreading, a konferenciaink egyik legforróbb témája, mindig is az volt. Ez a terem csak kihalt volt, de ekkor megjelenik egy ember a színpadon, aki az emlékmodellről beszél, történik-előtte vagy többszálú szemétszedés és - bumm! - már ezer alatt elfoglalják az összes rendelkezésre álló helyet, hogy leüljenek és figyelmesen hallgassanak. Mi ennek a sikernek a lényege? Talán az a tény, hogy mindannyiunk kezében van valamilyen hardver, amely képes megszervezni az elosztott számítástechnikát? Vagy tudat alatt megértjük, hogy képtelenek vagyunk betölteni a valódi értékét? Valóságos történet egy szentpétervári kvantumról (vagyis egy pénzügyi kvantitatív elemzőről és fejlesztőről), aki végül egy számítástechnikai klaszterrel került a kezébe, amelynek teljes erejét csak ő tudja használni. És mit tenne, ha feladatait a jelenleginél sokszorosabb kapacitással kellene ellátnia?

Ennek a népszerűségnek köszönhetően a teljesítmény és a hatékony számítástechnika témája általában elterjedt a konferencia programjában. A két napból hány jelentés készülhet a teljesítményről – egyharmada, kétharmada? Egyes helyeken mesterséges megszorítások korlátozzák ezt a növekedést: a teljesítményen kívül még helyet kell hagyni az új webes keretrendszereknek, valamiféle devopoknak vagy építészeti asztronautikának. Nem, teljesítmény, nem eszel meg minket egészben!

Vagy megteheti az ellenkezőjét, feladja, és őszintén szervez egy konferenciát, amely teljes egészében az elosztott számítástechnikáról fog szólni, és csak róluk. És itt van, Hydra.

Valljuk be őszintén, hogy ma minden számítástechnika így vagy úgy elosztott. Legyen szó többmagos gépről, számítástechnikai fürtről vagy nagyszabású elosztott szolgáltatásról, mindenhol sok olyan folyamat működik, amely párhuzamosan, egymással szinkronizálva végez független számításokat. Hogyan működik ez elméletben és hogyan működik a gyakorlatban, az lesz a Hydra fókuszában.

Konferencia programja

A program jelenleg fejlesztés alatt áll. Tartalmaznia kell az elosztott rendszerek elméleteinek megalapítóitól és a termelésben velük dolgozó mérnököktől származó jelentéseket.

Például Leslie Lamport, a Microsoft Research és Maurice Herlihy, a Brown Egyetem részvételéről már tudunk.

Az elosztott rendszerek elméletének megalapítói a hidra karjaiban Maurice Herlihy - egy nagyon híres és tekintélyes számítástechnikai professzor, van róla történet is Wikipédia oldal, ahol átnézheti a linkeket és a munkákat. Ott akár két Dijkstra-díjat is észrevehet, az elsőt a munkáért "Várakozás nélküli szinkronizálás", és a második, újabb - "Tranzakciós memória: Architektúra támogatása zárolásmentes adatstruktúrákhoz". A linkek egyébként nem is a SciHub-ra vezetnek, hanem a Brown Egyetemre és a Virginia Tech Egyetemre, meg lehet nyitni és olvasni.

Maurice lesz a házigazdája a "Blockchains az elosztott számítástechnika perspektívájából" című vitaindító előadásának. Akit érdekel, megtekintheti Maurice riportjának felvételét a szentpétervári JUG-ból. Értékelje, mennyire világosan és érthetően közvetíti a témát.

Az elosztott rendszerek elméletének megalapítói a hidra karjaibanA második vitaindító, a "Kettős adatszerkezetek" lesz olvasható Michael Scott a Rochesteri Egyetemről. És képzeld el – neki is megvan a sajátja Wikipédia oldal. Otthon, Wisconsinban a University of Wisconsin-Madison dékáni munkájáról ismert, és a világon ő az az ember, aki Doug Leával együtt kifejlesztette azokat a nem blokkoló algoritmusokat és szinkron sorokat, amelyeken a Java-könyvtárak futnak. . A Dijkstra-díjat három évvel Herlihy után kapta "Algoritms for Scalable synchronization on Shared-memory multiprocessors" című munkájáért (a várakozásoknak megfelelően, nyitva fekszik a Rochesteri Egyetem online könyvtárában).

Július közepéig még sok idő van. A program finomítása és július közeledtével a többi előadóról és témáikról is beszámolunk.

Általában felmerül a kérdés - miért készítünk Hydrát nyáron? Hiszen ez a szezonon kívüli időszak, az ünnepek. A probléma az, hogy az előadók között vannak egyetemi tanárok, és minden más időpont elfoglalt számukra. Egyszerűen nem tudtunk más időpontot választani.

Vita zónák

Más konferenciákon előfordul, hogy az előadó elolvasta, amit kell, és azonnal elment. A résztvevőknek még keresgélni sincs idejük – elvégre szinte hézag nélkül kezdődik a következő riport. Nagyon fáj, különösen, ha olyan fontos emberek vannak ott, mint Lamport, Herlihy és Scott, és valójában csak azért mész el a konferenciára, hogy találkozz velük és beszélgess valamiről.

Megoldottuk ezt a problémát. Közvetlenül a beszámolója után az előadó egy speciális vitaterületre megy, amely legalább egy jelzőtáblával van felszerelve, és elég sok ideje van. Formálisan az előadó megígéri, hogy ott lesz legalább a beszámolók közötti szünetben. A valóságban ezek a vitaterületek tud hosszan tartó nyújtás (a beszélő vágyától és kitartásától függően).

Ami Lamportot illeti, ha jól értem, erről akar minél több embert meggyőzni TLA+ - ez jó dolog. (Cikk a TLA+-ról a Wikipédián). Talán ez jó lehetőség lesz a mérnökök számára, hogy valami újat és hasznosat tanuljanak. Leslie felkínálja ezt a lehetőséget – akit érdekel, megtekintheti korábbi előadásait, és jöhet kérdéseivel. Vagyis a vitaindító helyett lehet egy speciális kérdezz-felelek szekció, majd egy újabb vitazóna. Kicsit googleztam és találtam egy jót TLA+ tanfolyam (hivatalosan szinkronizálva lejátszási lista a youtube-on) és egy órás előadás "A kód felett gondolkodni" a Microsoft Faculty Summittal.

Ha ezekre az emberekre úgy gondolt, mint a Wikipédiából és a könyvek borítójára öntött gránitnevekre, itt az ideje, hogy élőben találkozzon velük! Csevegjen és tegyen fel kérdéseket, amelyekre a tudományos cikkek oldalai nem adnak választ, de szerzőik szívesen felveszik a kapcsolatot.

Call for Papers

Nem titok, hogy azok közül, akik most olvassák a cikket, sokan nem idegenkednek attól, hogy valami elég érdekeset meséljenek el. Mérnöki szempontból, tudományos szempontból, bármilyen szempontból. Az elosztott számítástechnika egy nagyon tág és mély téma, ahol mindenkinek megvan a helye.

Ha Lamport mellett akarsz játszani, ez teljesen lehetséges. Ahhoz, hogy előadó legyél, szükséged van rá kövesse a linket, figyelmesen olvass el mindent, és csináld az utasítások szerint.

Légy nyugodt, amint bekapcsolódsz a folyamatba, segíteni fognak. A programbizottság elegendő erőforrással rendelkezik ahhoz, hogy segítse magát a jelentést, annak lényegét és kialakítását. A koordinátor segít a szervezési kérdésekben és így tovább.

Különös figyelmet kell fordítani a dátumokkal ellátott képre. Július meglehetősen távoli dátum a résztvevő számára, és az előadónak most kell eljárnia.

Az elosztott rendszerek elméletének megalapítói a hidra karjaiban

SPTDC iskola

A konferencia az SPTDC iskolával azonos helyszínen kerül megrendezésre, így mindenkinek, aki jegyet vált az iskolába, konferenciajegyet - 20% kedvezménnyel.

Nyári iskola az elosztott számítástechnika gyakorlatáról és elméletéről (SPTDС) - olyan iskola, amely az elosztott rendszerek gyakorlati és elméleti vonatkozásairól szóló kurzusok széles skáláját kínálja, amelyeket az adott terület elismert szakértői oktatnak.

Az iskola angol nyelven zajlik majd, így itt a témakörök listája:

  • Párhuzamos adatszerkezetek: helyesség és hatékonyság;
  • Algoritmusok nem felejtő memóriához;
  • Elosztott kiszámíthatóság;
  • elosztott gépi tanulás;
  • Állapot-gép replikáció és Paxos;
  • bizánci hibatűrés;
  • A blokkláncok algoritmikus alapjai.

A következő előadók fognak felszólalni:

  • Leslie Lamport (Microsoft);
  • Maurice Herlihy (Brown Egyetem);
  • Michael Scott (Rochesteri Egyetem);
  • Dan Alistarh (IST Ausztria);
  • Trevor Brown (University of Waterloo);
  • Eli Gafni (UCLA);
  • Danny Hendler (Ben Gurion Egyetem);
  • Achour Mostefaoui (Nantesi Egyetem).

lejátszási lista az előző iskola beszámolóival szabadon megtekinthető a YouTube-on:

Következő lépések

A konferencia programja még alakul. Kövesse a híreket a Habrén vagy a közösségi oldalakon (fb, vk, twitter).

Ha nagyon hiszel a konferenciában (vagy szeretnél élni az akciós induló árat, ahogy mondani szokták: "Early Bird") - akkor menj az oldalra és jegyeket vásárolni.

Találkozunk a Hydrában!

Forrás: will.com

Hozzászólás