To Leslie Lamport je avtor temeljnih del na področju porazdeljenega računalništva, morda pa ga poznate tudi po črki La v besedi LaTeX - "Lamport TeX". On je prvi, leta 1979, predstavil koncept , in njegov članek prejel nagrado Dijkstra (natančneje, leta 2000 se je nagrada imenovala po starem: “PODC Influential Paper Award”). Obstaja o njem , kjer lahko dobite še nekaj zanimivih povezav. Če vas navdušuje reševanje problemov on happens-before oz (BFT), potem morate razumeti, da za vsem tem stoji Lamport.
Kmalu bo prišel tudi na našo novo konferenco o porazdeljenem računalništvu - Hydra, ki bo 11. in 12. julija v St. Poglejmo, kakšna žival je to.
Hidra 2019
Teme, kot je večnitnost, so vedno med najbolj priljubljenimi na naših konferencah. Ravno zdaj je bila ta soba zapuščena, potem pa se na odru pojavi oseba, ki govori o spominskem modelu, zgodi se prej ali večnitno zbiranje smeti in - bum! — že približno tisoč ljudi zasede ves razpoložljiv prostor, da se usede in pozorno posluša. Kaj je bistvo tega uspeha? Mogoče zato, ker imamo vsi pri roki nekakšno strojno opremo, ki lahko organizira porazdeljeno računalništvo? Ali pa podzavestno razumemo svojo nezmožnost, da bi ga naložili, kot si zasluži? Obstaja resnična zgodba o nekem peterburškem kvantu (torej finančnem kvantitativnem analitiku in razvijalcu), ki se je znašel v lasti računalniškega grozda, katerega polno moč je lahko uporabljal le on sam. Kaj bi storili, če bi imeli zmogljivosti za opravljanje nalog, ki bi bile večkrat večje kot zdaj?
Zaradi takšne priljubljenosti se tema produktivnosti in učinkovitega računalništva širi po dnevnem redu konference. Koliko od dveh dni je mogoče poročati o uspešnosti – tretjino, dve tretjini? Ponekod obstajajo umetne omejitve, ki omejujejo to rast: poleg zmogljivosti mora biti še prostor za nova spletna ogrodja, za nekakšen devops ali arhitekturno astronavtiko. Ne, predstava, ne boš nas vseh pojedel!
Lahko pa greš obratno, obupaš in pošteno narediš konferenco, ki bo v celoti namenjena porazdeljenemu računalništvu in samo njim. In tukaj je, Hydra.
Iskreno priznajmo, da so danes vsi izračuni razdeljeni na tak ali drugačen način. Ne glede na to, ali gre za večjedrni stroj, računalniško gručo ali obsežno porazdeljeno storitev, je povsod veliko procesov, ki vzporedno izvajajo neodvisne izračune in se med seboj sinhronizirajo. Hydra bo posvečena temu, kako to deluje v teoriji in kako v praksi.
Program konference
Program je trenutno v fazi oblikovanja. Vsebovati mora poročila utemeljiteljev teorij porazdeljenih sistemov in inženirjev, ki z njimi delajo v proizvodnji.
Tako je na primer že znana udeležba Leslie Lamport iz Microsoft Research in Mauricea Herlihyja z Brown University.
Maurice Herlihy - zelo znan in cenjen profesor računalništva, obstajajo tudi informacije o njem , kjer lahko brskate po povezavah in delih. Tam lahko opazite dve nagradi Dijkstra, prvo za delo na , in drugi, novejši - . Mimogrede, povezave sploh ne vodijo do SciHuba, ampak do Univerze Brown in Univerze Virginia Tech, lahko odprete in preberete.
Maurice bo imel osrednjo besedo z naslovom "Blockchains z vidika porazdeljenega računalništva." Če vas zanima, si lahko ogledate posnetek Mauriceovega poročanja iz peterburškega JUGA. Ocenite, kako jasno in razumljivo podaja temo.
Drugi osrednji govor z naslovom "Dvojne podatkovne strukture" se bo glasil Michael Scott z Univerze v Rochesterju. In veš kaj – tudi on ima svojega . Doma v Wisconsinu je znan po svojem delu dekana na Univerzi Wisconsin-Madison, v svetu pa je človek, ki je skupaj z Dougom Lea razvil neblokirne algoritme in sinhrone čakalne vrste, na katerih javanske knjižnice delo. Nagrado Dijkstra je prejel tri leta za Herlihyjem za svoje delo "Algoritmi za razširljivo sinhronizacijo na multiprocesorjih s skupnim pomnilnikom" (kot je bilo pričakovano, v spletni knjižnici Univerze v Rochesterju).
Do sredine julija je še veliko časa. Ko izpopolnimo program in se bližamo juliju, vam bomo povedali o preostalih govorcih in njihovih temah.
Na splošno se postavlja vprašanje - zakaj izvajamo Hidro poleti? Konec koncev je to nizka sezona, počitnice. Težava je v tem, da so med govorniki univerzitetni učitelji, zanje pa je vsak drug čas zaseden. Enostavno nismo mogli izbrati drugih datumov.
Področja razprave
Na drugih konferencah se zgodi, da je govornik prebral, kar je moral, in takoj odšel. Udeleženci sploh nimajo časa, da bi ga iskali - navsezadnje se naslednje poročilo začne skoraj brez presledka. To je zelo boleče, še posebej, če so prisotni pomembni ljudje, kot so Lamport, Herlihy in Scott, vi pa greste na konferenco samo zato, da bi se srečali z njimi in se o nečem pogovorili.
Ta problem smo rešili. Govornik takoj po svojem poročilu odide v poseben prostor za razpravo, opremljen vsaj s tablo z označevalcem, in imate kar nekaj časa. Formalno govorec obljublja, da bo zraven vsaj v celotnem premoru med predstavitvami. V resnici so ta področja razprave lahko raztezati ure in ure (odvisno od želje in vzdržljivosti govorca).
Lamport pa, če prav razumem, želi prepričati čim več ljudi, da - to je dobra stvar. (). Morda bo to dobra priložnost za inženirje, da se naučijo nekaj novega in koristnega. Leslie ponuja to možnost - tisti, ki jih zanima, si lahko ogledajo njegova pretekla predavanja in pridejo z vprašanji. To pomeni, da bi lahko namesto osrednjega govora obstajala posebna seja vprašanj in odgovorov, nato pa tudi cona za razprave. Nekaj sem googlal in našel super. (uradno sinhronizirano ) in enourno predavanje z vrha Microsoftove fakultete.
Če ste vse te ljudi dojemali kot imena, ulita v granit iz Wikipedije in na platnicah knjig, je čas, da jih osebno spoznate! Klepetajte in postavljajte vprašanja, na katera strani znanstvenih člankov ne bodo odgovorile, bodo pa njihovi avtorji z veseljem navezali stik.
Pokliči za dokumente
Ni skrivnost, da mnogi od tistih, ki zdaj berejo članek, ne želijo povedati nekaj zelo zanimivega. Z inženirskega vidika, z znanstvenega vidika - s katerega koli vidika. Porazdeljeno računalništvo je zelo široka in globoka tema, kjer je prostor za vsakogar.
Če želite tekmovati z Lamportom, je to povsem mogoče. Če želite postati govorec, potrebujete , natančno preberite vse tam in storite v skladu z navodili.
Bodite prepričani, takoj ko se pridružite procesu, vam bodo pomagali. Programski odbor ima zadostne zmogljivosti, da pomaga pri samem poročilu, njegovem bistvu in oblikovanju. Koordinator vam bo pomagal rešiti organizacijska vprašanja in tako naprej.
Posebno pozornost posvetite sliki z datumi. Julij je za udeleženca precej oddaljen datum, vendar mora govornik začeti delovati zdaj.
Šola SPTDC
Konferenca bo potekala na istem mestu kot šola SPTDC, zato bodo za vse, ki bodo kupili vstopnico za šolo, vstopnice za konferenco z 20% popusta.
je šola, ki ponuja široko paleto tečajev o praktičnih in teoretičnih vidikih porazdeljenih sistemov, ki jih poučujejo priznani strokovnjaki na ustreznem področju.
Šola bo potekala v angleškem jeziku, takole izgleda seznam obravnavanih tem:
- Konkurentne podatkovne strukture: pravilnost in učinkovitost;
- Algoritmi za obstojni pomnilnik;
- Porazdeljena izračunljivost;
- Porazdeljeno strojno učenje;
- Replikacija državnega stroja in Paxos;
- bizantinska toleranca napak;
- Algoritemske osnove verig blokov.
Govorili bodo naslednji govorci:
- Leslie Lamport (Microsoft);
- Maurice Herlihy (Univerza Brown);
- Michael Scott (Univerza v Rochestru);
- Dan Alistarh (IST Avstrija);
- Trevor Brown (Univerza Waterloo);
- Eli Gafni (UCLA);
- Danny Hendler (Univerza Ben Gurion);
- Achour Mostefaoui (Univerza v Nantesu).
Poročila prejšnje šole si lahko brezplačno ogledate na YouTubu:
Naslednji koraki
Program konference je še v nastajanju. Spremljajte novice na Habréju ali na družbenih omrežjih (, , ).
Če resnično verjamete v konferenco (ali želite izkoristiti posebno ceno vstopnine, tako imenovano »Early Bird«), lahko obiščete spletno stran in .
Se vidimo v Hydri!
Vir: www.habr.com