Ez Leslie Lamport — a szerzője a disztribúlt számítástechnika alapvető műveinek, és talán a La betűkről ismerhetik. LaTeX — „Lamport TeX”. Ő vezette be először, még 1979-ben, a fogalmat, , és a cikkét Dijkstra-díjat kapott (pontosabban 2000-ben a díjat még a régi néven hívták: „PODC Influential Paper Award”). Róla olvashatnak , ahol további érdekes linkekre is szert tehetnek. Ha lelkesedik a happens-before vagy (BFT) iránt, akkor tisztában kell lennie azzal, hogy mindez mögött Lamport áll.
És hamarosan eljön a mi új disztribúlt számítástechnikai konferenciánkra — Hydra, amely július 11-12-én lesz Szentpéterváron. Nézzük csak, miről is van szó.
Hydra 2019
Az olyan témák, mint a párhuzamos feldolgozás, mindig is a legnépszerűbbek voltak a konferenciáinkon. Most még üres volt ez a terem, de aztán a színpadon megjelent valaki, aki a memória modellezéséről, a happens-before jelenségről vagy a párhuzamos szemétgyűjtésről beszél, és — bum! — máris ezer ember foglalja el az összes szabad helyet, hogy üljenek és figyelmesen hallgassák. Mi ennek a sikernek a lényege? Talán az, hogy mindannyiunknak van olyan hardvere, amely képes disztribúlt számítást végezni? Vagy az, hogy tudat alatt felismerjük a képességeink határait? Van egy valós történet egy szentpétervári kvantáról (azaz pénzügyi kvantitatív elemzőről és fejlesztőről), aki egy olyan számítási klasztert birtokolt, amelynek teljes kapacitását csak ő tudja kihasználni. Mit tennél, ha olyan erőforrásokra tennél szert, amelyek többszörösei annak, amivel most rendelkezel?
Akkora népszerűség miatt a teljesítmény és a hatékony számítások témája a konferenciák programjában terjed. Hány előadást lehet tartani a teljesítményről két napon át — egy harmadot, két harmadot? Néhány helyen mesterséges korlátozások vannak, amelyek gátolják a téma bővülését: a teljesítmény mellett mindig van helye új webkeretrendszereknek, valamilyen DevOps-nak vagy architekturális űrrepülőgépnek. Nem, teljesítmény, nem fogod megenni az összesünket!
Lehetne a másik irányba is menni, feladni, és tisztességesen megtartani a konferenciát, amely teljes egészében a kiosztott számításokkal foglalkozik, és csak azokkal. És íme, a Hídra.
Legyünk őszinték, hogy napjainkban minden számítás valamilyen formában kiosztott. Legyen az többmagos gép, számítási klaszter vagy nagy léptékű kiosztott szolgáltatás — mindenhol számos folyamat fut párhuzamosan, független számításokat végezve, szinkronizálva egymással. Arról, hogyan van ez elméletben és hogyan működik a gyakorlatban, a Hydra fog szólni.
A konferencia programja
A program jelenleg kialakítás alatt áll. Olyan előadásoknak kell helyet adniuk, amelyek kiosztott rendszerek elméletével foglalkozó megalapozóktól és azok gyakorlatban dolgozó mérnökeitől származnak.
Például már most ismert Leslie Lamport részvétele a Microsoft Research-től és Maurice Herlihy a Brown Egyetemről.
Maurice Herlihy — nagyon ismert és megbecsült Computer Science professzor, róla is van , ahol végignézheti a linkeket és munkákat. Ott észreveheti, hogy két Dijkstra-díjat is kapott, az elsőt a című munkáért, és a másodikat, ami frissebb — . Érdekesség, hogy a linkek nem is a SciHub-ra vezetnek, hanem a Brown Egyetemre és a Virginia Tech Egyetemre, nyugodtan megnyithatja és olvashatja őket.
Maurice egy „Blockchains from a distributed computing perspective” című keynote-t fog tartani. Ha érdekes, megnézheti Maurice előadását a Szentpéterváron megrendezett JUG-on. Értékelje, mennyire világosan és érthetően adja át a témát.
A második keynote-t a „Dual Data Structures” címmel Michael Scott fogja tartani a Rochester Egyetemről. És találja ki mit — neki is van saját . Wisconsinban a Wisconsin-Madison Egyetem dékánjaként ismert, míg a világban ő az, aki Doug Lea-val együtt kifejlesztette azokat a nem blokkoló algoritmusokat és szinkronizáló sorokat, amelyekre a Java könyvtárak működnek. A Dijkstra-díját három évvel Herlihy után kapta, a "Algorithms for scalable synchronization on shared-memory multiprocessors" (ahogy kell, a Rochesteri Egyetem online könyvtárában).
Július közepéig még sok idő van hátra. A további előadókról és témáikról akkor fogunk beszélni, amikor a program véglegesítése és júliushoz közelítés megtörténik.
Valójában felmerül a kérdés, hogy miért csináljuk a Hidra-t nyáron? Hiszen ez a holtidény, szabadságok ideje. A probléma az, hogy az előadók között vannak egyetemi tanárok, és bármikor máshol elfoglaltak. Egyszerűen nem tudtunk más időpontokat választani.
Vitakörök
Más konferenciákon előfordul, hogy az előadó elmondja, amit kell, és azonnal távozik. A résztvevőknek még idejük sincs megkeresni őt –hiszen szinte megszakítás nélkül kezdődik a következő előadás. Ez nagyon fájó, különösen, ha olyan fontos emberek vannak jelen, mint Lamport, Herlihy és Scott, és valójában azért mész a konferenciára, hogy találkozz velük és megbeszélj valamit.
Nálunk ezt a problémát megoldottuk. Közvetlenül az előadása után az előadó egy külön vitakörbe megy, amely legalább egy táblával van felszerelve, és elegendő idő áll rendelkezésre. Formálisan az előadó megígéri, hogy legalább az összes szünet időtartama alatt ott lesz. A valóságban ezek a vitakörök lehet órákig tarthatnak (az előadó kedvétől és állóképességétől függ).
Ami Lamportot illeti, ha jól értettem, minél több embernek szeretné bebizonyítani, hogy — ez egy jó dolog. (). Lehet, hogy ez jó lehetőség lesz a mérnökök számára, hogy valami újat és hasznosat tanuljanak. Leslie azt javasolja, hogy aki érdeklődik, nézze meg a korábbi előadásait, és jöjjön kérdésekkel. Tehát a keynote helyett egyfajta szakmai kérdezz-felelek szekció lehet, és utána még egy vitakör is. Egy kicsit rákerestem, és találtam egy nagyszerű (hivatalosan megosztva ) és egy órás előadást a Microsoft Faculty Summit-on.
Ha eddig ezeket az embereket a Wikipédián és könyvborítókon kőbe vésett nevekként nézted – most van itt az idő, hogy élőben találkozz velük! Beszélgess velük és tedd fel azokat a kérdéseket, amelyekre a tudományos cikkek oldala nem ad választ, de szerzőik szívesen kapcsolatba lépnek.
Papers benyújtása
Nem titok, hogy sokan közülük, akik most olvassák a cikket, maguk is szívesen mondanának valami elég érdekeset. Mérnöki szempontból, tudományosan – bármilyen téren. A disztribúciónak széles és mély témája van, ahol mindenki számára van hely.
Ha szeretnél Lamport mellett előadni, az teljesen lehetséges. Ahhoz, hogy előadó lehess, szükséges , figyelmesen olvassa el és cselekedjen az utasítások szerint.
Legyen nyugodt, amint csatlakozik a folyamathoz, segíteni fognak. A programbizottság elegendő képességgel rendelkezik, hogy segítsen a beszámolóval, annak tartalmával és formázásával kapcsolatban. A koordinátor segít eligibilitási és egyéb szervezési kérdésekben.
Különös figyelmet fordítson a dátumokat jelölő képre. Július egy elég távoli dátum a résztvevők számára, a beszélőnek azonban már most cselekednie kell.
SPTDC Iskola
A konferencia az SPTDC iskolával egy helyszínen zajlik, ezért mindazok, akik iskolai jegyet vásárolnak, konferencia-jegyeket kapnak 20%-os kedvezménnyel.
— olyan iskola, ktorá széleskörű kurzusokat kínál a megosztott rendszerek gyakorlati és elméleti aspektusairól, amelyeket elismert szakemberek vezetnek a megfelelő területen.
Az iskola angol nyelven zajlik, ezért így néz ki a tárgyalt témák listája:
- Párhuzamos adatszerkezetek: helyesség és hatékonyság;
- Algoritmusok nem volatilis memóriához;
- Megosztott számíthatóság;
- Megosztott gépi tanulás;
- Állapotgép replikáció és Paxos;
- Bizánci hibaállóság;
- Algoritmikus alapok blokkláncokhoz.
A következő előadók fognak fellépni:
- Leslie Lamport (Microsoft);
- Maurice Herlihy (Brown University);
- Michael Scott (Rochesteri Egyetem);
- Dan Alistarh (IST Austria);
- Trevor Brown (Waterloo Egyetem);
- Eli Gafni (UCLA);
- Danny Hendler (Ben Gurion Egyetem);
- Achour Mostefaoui (Nantes-i Egyetem).
az előző iskola előadásaival szabadon megtekinthető a YouTube-on:
Következő lépések
A konferencia programja még mindig formálódik. Kövesse a híreket a Habr-on vagy a közösségi médiában (, , ).
Ha tényleg hisz a konferenciában (vagy kihasználni kívánja a speciális korai kedvezményes árat, ami "Early Bird" néven ismert) — át lehet lépni a weboldalra és .
Találkozunk a Hydrán!
Forrás: habr.com
