Jis Leslie Lamport - pagrindinių paskirstytojo skaičiavimo darbų autorius, taip pat galite jį pažinti pagal raides La žodyje LaTeX – „Lamport TeX“. Būtent jis pirmą kartą, dar 1979 m., pristatė šią koncepciją nuoseklus nuoseklumas, ir jo straipsnis „Kaip sukurti daugiaprocesorių kompiuterį, kuris tinkamai vykdytų kelių procesų programas“ gavo Dijkstra apdovanojimą (tiksliau, 2000 m. apdovanojimas vadinosi senai: „PODC Influential Paper Award“). Yra apie jį Vikipedijos straipsnis, kur rasite įdomesnių nuorodų. Jei džiaugiatės, kaip išspręsti iškilusias problemas – prieš arba Bizantijos generolų problemos (BFT), jie turi suprasti, kad už viso to stovi Lamportas.

Netrukus jis atvyks į mūsų naują paskirstyto skaičiavimo konferenciją „Hydra“, kuri vyks liepos 11-12 dienomis Sankt Peterburge. Pažiūrėkime, koks tai gyvūnas.

„Hydra 2019“

Tokios temos kaip kelių gijų kūrimas yra vienos iš karščiausių temų mūsų konferencijose, visada buvo. Šioje salėje buvo tiesiog apleista, bet tada scenoje pasirodo žmogus, kalbantis apie atminties modelį, atsitinka-prieš arba daugiasriegis šiukšlių surinkimas ir - bum! – jau mažiau nei tūkstantis žmonių užima visą laisvą erdvę atsisėsti ir atidžiai klausytis. Kokia šios sėkmės esmė? Galbūt tai, kad visi turime savo rankose kokią nors techninę įrangą, galinčią organizuoti paskirstytą skaičiavimą? O gal mes nesąmoningai suprantame savo nesugebėjimą įkrauti jo tikrąją vertę? Yra tikra istorija apie vieną Sankt Peterburgo kvantą (tai yra finansų kiekybinį analitiką ir kūrėją), kurio rankose atsidūrė skaičiavimo klasteris, kurio visa galia gali išnaudoti tik jis vienas. O ką darytumėte, jei savo užduotis atliktumėte daug kartų didesniu pajėgumu nei dabar?

Dėl šio populiarumo našumo ir efektyvaus skaičiavimo tema yra linkusi plisti visoje konferencijos programoje. Kiek iš dviejų dienų ataskaitų galima parengti apie našumą – trečdalį, du trečdalius? Kai kuriose vietose yra dirbtinių apribojimų, kurie riboja šį augimą: be našumo, vis dar turi būti vietos naujoms žiniatinklio sistemoms, tam tikriems devopams ar architektūrinei astronautikai. Ne, pasirodymas, mūsų visų nesuvalgysi!

Arba galite eiti priešingu keliu, pasiduoti ir sąžiningai surengti konferenciją, kuri bus tik apie paskirstytą kompiuteriją ir tik apie juos. Ir štai, Hidra.

Nuoširdžiai pripažinkime, kad šiandien visa kompiuterija yra vienaip ar kitaip paskirstyta. Nesvarbu, ar tai kelių branduolių įrenginys, ar skaičiavimo klasteris, ar plataus masto paskirstyta paslauga, visur yra daug procesų, kurie lygiagrečiai atlieka nepriklausomus skaičiavimus, sinchronizuojasi vienas su kitu. „Hydra“ dėmesio centre bus tai, kaip tai veikia teoriškai ir kaip tai veikia praktiškai.

Konferencijos programa

Šiuo metu programa kuriama. Tai turėtų apimti paskirstytų sistemų teorijų kūrėjų ir su jomis gamyboje dirbančių inžinierių ataskaitas.

Pavyzdžiui, jau žinome apie Leslie Lamport iš „Microsoft Research“ ir Maurice'o Herlihy iš Browno universiteto dalyvavimą.

Morisas Herlihy – labai garsus ir gerbiamas informatikos profesorius, apie jį taip pat yra pasakojimas Vikipedijos puslapis, kur galite peržiūrėti nuorodas ir darbus. Čia galite pastebėti net du Dijkstra apdovanojimus, pirmąjį už darbą „Sinchronizavimas be laukimo“, o antrasis, naujesnis - „Transakcinė atmintis: architektūrinis neužrakinimo duomenų struktūrų palaikymas“. Beje, nuorodos veda net ne į SciHub, o į Brown University ir Virginia Tech University, galite atsidaryti ir skaityti.

Maurice'as surengs pagrindinį pranešimą „Blockchains iš paskirstytos kompiuterijos perspektyvos“. Susidomėję galite pasižiūrėti Maurice'o reportažo įrašą iš Sankt Peterburgo JUG. Įvertinkite, kaip aiškiai ir suprantamai jis perteikia temą.

Bus perskaitytas antrasis pagrindinis pranešimas, pavadintas „Dvigubo duomenų struktūros“. Maiklas Skotas iš Ročesterio universiteto. Ir spėk ką – jis irgi turi savo Vikipedijos puslapis. Namuose Viskonsine jis yra žinomas dėl savo darbo dekanu Viskonsino-Madisono universitete, o pasaulyje jis yra žmogus, kuris kartu su Doug Lea sukūrė tuos neblokuojančius algoritmus ir sinchronines eiles, kuriomis veikia Java bibliotekos. . Jis gavo Dijkstra premiją praėjus trejiems metams po Herlihy už darbą „Algoritmai keičiamo dydžio sinchronizavimui bendrosios atminties daugiaprocesoriuose“ (kaip ir tikėtasi, ji guli atvira Ročesterio universiteto internetinėje bibliotekoje).

Iki liepos vidurio dar daug laiko. Apie kitus pranešėjus ir jų temas papasakosime tobulindami programą ir artėjant liepos mėnesiui.

Apskritai kyla klausimas – kodėl „Hydra“ gaminame vasarą? Juk tai ne sezonas, atostogos. Bėda ta, kad tarp pranešėjų yra universiteto profesorių, o bet koks kitas laikas jiems užimtas. Tiesiog negalėjome pasirinkti kitų datų.

Diskusijų zonos

Kitose konferencijose būna, kad pranešėjas perskaitė tai, ko reikia, ir iškart išeina. Dalyviai net nespėja jo ieškoti – juk kitas reportažas prasideda beveik be tarpo. Labai skaudu, ypač kai dalyvauja svarbūs žmonės, tokie kaip Lamportas, Herlihy ir Scottas, o jūs iš tikrųjų einate į konferenciją tik susitikti su jais ir apie ką nors pasikalbėti.

Mes išsprendėme šią problemą. Iš karto po pranešimo pranešėjas eina į specialią diskusijų zoną, kurioje yra bent lenta su žymekliu, ir jūs turite gana daug laiko. Formaliai pranešėjas žada būti bent per pertrauką tarp pranešimų. Iš tikrųjų šios diskusijų sritys galima ištempti valandų valandas (priklauso nuo kalbėtojo noro ir ištvermės).

Kalbant apie Lamportą, jei gerai suprantu, jis nori tuo įtikinti kuo daugiau žmonių TLA+ - tai geras dalykas. (Straipsnis apie TLA+ Vikipedijoje). Galbūt tai bus gera proga inžinieriams išmokti ko nors naujo ir naudingo. Leslie siūlo tokį variantą – kam įdomu, gali pasižiūrėti jo buvusias paskaitas ir ateiti su klausimais. Tai reiškia, kad vietoj pagrindinio pranešimo gali būti, tarsi, specializuota klausimų ir atsakymų sesija, o vėliau – kita diskusijų zona. Truputį paieškojau google ir radau puikų TLA+ kursas (oficialiai dubliuotas grojaraštis youtube) ir valandos paskaita „Mąstymas virš kodekso“ su „Microsoft“ fakulteto aukščiausiojo lygio susitikimu.

Jei apie visus šiuos žmones galvojote kaip apie vardus, išlietus iš granito iš Vikipedijos ir ant knygų viršelių, pats laikas su jais susipažinti gyvai! Pabendraukite ir užduokite klausimus, į kuriuos mokslinių straipsnių puslapiai neatsakys, tačiau jų autoriai mielai susisieks.

Kvietimas

Ne paslaptis, kad daugelis tų, kurie dabar skaito straipsnį, nemėgsta pasakyti ką nors pakankamai įdomaus. Inžineriniu požiūriu, moksliniu požiūriu, bet kokiu požiūriu. Paskirstytoji kompiuterija yra labai plati ir gili tema, kurioje vietos yra kiekvienam.

Jei norite žaisti kartu su Lamportu, tai visiškai įmanoma. Norint tapti kalbėtoju, reikia sekite nuorodą, atidžiai perskaitykite viską ten ir darykite pagal instrukcijas.

Būkite ramūs, kai tik prisijungsite prie proceso, jums padės. Programos komitetas turi pakankamai išteklių, kad padėtų pačiai ataskaitai, jos esmei ir dizainui. Koordinatorius padės išspręsti organizacinius klausimus ir pan.

Ypatingą dėmesį atkreipkite į paveikslėlį su datomis. Liepa – gana tolima data dalyviui, o pranešėjui reikia pradėti veikti dabar.

SPTDC mokykla

Konferencija vyks toje pačioje vietoje su SPTDC mokykla, todėl visiems, perkantiems bilietą į mokyklą, konferencijos bilietai - su 20% nuolaida.

Paskirstytojo skaičiavimo praktikos ir teorijos vasaros mokykla (SPTDС) - mokykla, teikianti platų kursų spektrą apie paskirstytų sistemų praktinius ir teorinius aspektus, kuriuos dėsto pripažinti atitinkamos srities ekspertai.

Mokykla vyks anglų kalba, todėl čia pateikiamas nagrinėjamų temų sąrašas:

• Lygiagrečios duomenų struktūros: teisingumas ir efektyvumas;
• Nelakiosios atminties algoritmai;
• Paskirstytasis skaičiavimas;
• paskirstytas mašininis mokymasis;
• Būsenos mašinos replikacija ir Paxos;
• Bizantijos gedimų tolerancija;
• Blockchain algoritminiai pagrindai.

Kalbės šie pranešėjai:

• Leslie Lamport („Microsoft“);
• Maurice'as Herlihy (Browno universitetas);
• Michaelas Scottas (Ročesterio universitetas);
• Danas Alistarhas (IST Austrija);
• Trevoras Brownas (Vaterlo universitetas);
• Eli Gafni (UCLA);
• Danny Hendleris (Ben Guriono universitetas);
• Achour Mostefaoui (Nanto universitetas).

grojaraštis su ankstesnės mokyklos ataskaitomis galima laisvai žiūrėti YouTube:

Kitas žingsnis

Konferencijos programa dar formuojama. Sekite naujienas Habré arba socialiniuose tinkluose (fb, vk, Twitter).

Jei tikrai tikite konferencija (arba norite pasinaudoti specialia pradine kaina, kaip sakoma „Early Bird“) – galite nueiti į svetainę ir pirkti bilietus.

Iki pasimatymo Hydra!

Šaltinis: www.habr.com