ovo Leslie Lamport je autor temeljnih radova u distribuiranom računarstvu, a možda ga poznajete i po slovima La u riječi LaTeX - "Lamport TeX". On je prvi, davne 1979. godine, uveo koncept , i njegov članak dobio Dijkstra nagradu (tačnije, 2000. nagrada se zvala na stari način: “PODC Influential Paper Award”). Ima o njemu , gdje možete dobiti još nekoliko zanimljivih linkova. Ako ste uzbuđeni zbog rješavanja problema na desi-prije ili (BFT), onda morate shvatiti da Lamport stoji iza svega ovoga.
Uskoro će doći i na našu novu konferenciju o distribuiranom računarstvu - Hydra, koja će se održati od 11. do 12. jula u Sankt Peterburgu. Da vidimo kakva je ovo životinja.
Hydra2019
Teme poput multithreadinga su među najpopularnijim na našim konferencijama, oduvijek su bile. Upravo je ova prostorija bila pusta, ali onda se na pozornici pojavljuje osoba koja priča o modelu pamćenja, dešava se-prije ili višestruko odlaganje smeća i - bum! — već oko hiljadu ljudi zauzima sav raspoloživi prostor da sjedne i pažljivo sluša. Šta je suština ovog uspeha? Možda zato što svi imamo pri ruci neku vrstu hardvera koji može organizirati distribuirano računanje? Ili podsvjesno razumijemo svoju nesposobnost da ga učitamo kako zaslužuje? Postoji prava priča o jednom kvantu iz Sankt Peterburga (tj. finansijskom kvantitativnom analitičaru i programeru), koji se našao u posjedu računarskog klastera čiju je punu snagu samo on mogao koristiti. Šta biste radili da imate kapacitet da obavljate svoje zadatke koji je višestruko veći nego što je sada?
Zbog takve popularnosti, tema produktivnosti i efikasnog računarstva ima tendenciju da se proširi na dnevni red konferencije. Koliko se od dva dana izvještaja može napraviti o učinku - trećina, dvije trećine? Na nekim mjestima postoje vještačka ograničenja koja ograničavaju ovaj rast: osim performansi, još uvijek mora postojati prostor za nove web okvire, za neku vrstu devopsa ili arhitektonske astronautike. Ne, performanse, nećete nas sve pojesti cijele!
Ili možete krenuti suprotnim putem, odustati i pošteno napraviti konferenciju koja će u potpunosti biti o distribuiranom računarstvu i samo o njima. I evo ga, Hidra.
Iskreno priznajmo da su danas svi proračuni raspoređeni na ovaj ili onaj način. Bilo da se radi o višejezgrenoj mašini, računarskom klasteru ili distribuiranoj usluzi velikih razmera, svuda postoji mnogo procesa koji paralelno izvode nezavisne proračune, sinhronizujući se jedni s drugima. Hydra će biti posvećena tome kako ovo funkcionira u teoriji i kako funkcionira u praksi.
Program konferencije
Program je trenutno u fazi formiranja. Trebalo bi da sadrži izvještaje osnivača teorija distribuiranih sistema i inženjera koji s njima rade u proizvodnji.
Na primjer, već je poznato učešće Leslie Lamport iz Microsoft Research-a i Mauricea Herlihyja sa Univerziteta Brown.
Maurice Herlihy - veoma poznati i cenjeni profesor računarstva, postoje podaci i o njemu , gdje možete pretraživati linkove i radove. Tu se mogu uočiti dvije Dijkstra nagrade, prva za rad na njoj , a drugi, noviji - . Usput, linkovi ne vode čak ni do SciHub, već do Brown University i Virginia Tech University, možete otvoriti i pročitati.
Maurice će održati predavanje pod nazivom “Blockchains iz perspektive distribuiranog računarstva”. Ako ste zainteresovani, možete pogledati snimak Mauriceovog izveštaja iz JUG-a iz Sankt Peterburga. Procijenite koliko jasno i razumljivo prenosi temu.
Drugi glavni govor pod nazivom “Dual Data Structures” će glasiti Michael Scott sa Univerziteta u Rochesteru. A pogodite šta - i on ima svoju . Kod kuće u Wisconsinu poznat je po svom radu kao dekan na Univerzitetu Wisconsin-Madison, a u svijetu je čovjek koji je, zajedno sa Dougom Leom, razvio neblokirajuće algoritme i sinhrone redove na kojima Java biblioteke rad. Dobio je Dijkstra nagradu tri godine nakon Herlihyja, za svoj rad “Algoritmi za skalabilnu sinhronizaciju na multiprocesorima sa zajedničkom memorijom” (kao što se očekivalo, u online biblioteci Univerziteta u Rochesteru).
Do sredine jula ima još dosta vremena. O preostalim govornicima i njihovim temama ćemo vam pričati dok budemo usavršavali program i približavali se julu.
Generalno, postavlja se pitanje - zašto radimo Hydra ljeti? Uostalom, ovo je niska sezona, praznici. Problem je što među govornicima ima univerzitetskih nastavnika, a svako drugo vrijeme im je zauzeto. Jednostavno nismo mogli izabrati druge datume.
Područja za diskusiju
Na drugim konferencijama se dešava da govornik pročita šta je trebalo i odmah ode. Učesnici nemaju vremena ni da ga traže - uostalom, sljedeći izvještaj počinje gotovo bez intervala. Ovo je jako bolno, pogotovo ako su prisutni važni ljudi poput Lamporta, Herlihyja i Scotta, a vi zapravo idete na konferenciju samo da biste ih upoznali i razgovarali o nečemu.
Rešili smo ovaj problem. Odmah nakon svog izvještaja, govornik odlazi u poseban prostor za diskusiju, opremljen barem bijelom pločom sa markerom, a vi imate dosta vremena. Formalno, govornik obećava da će biti tu barem tokom cijele pauze između izlaganja. U stvarnosti, ova područja diskusije može rastegnuti satima (u zavisnosti od želje i izdržljivosti govornika).
Što se tiče Lamporta, ako sam dobro razumio, on želi da uvjeri što više ljudi u to - Ovo je dobra stvar. (). Možda će ovo biti dobra prilika za inženjere da nauče nešto novo i korisno. Leslie nudi ovu opciju - oni koji su zainteresovani mogu pogledati njegova prošla predavanja i doći sa pitanjima. Odnosno, umjesto uvodne riječi, mogla bi biti specijalizirana sesija pitanja i odgovora, a zatim i zona za diskusiju. Malo sam proguglao i našao odličnu. (zvanično nazvano ) i jednosatno predavanje sa Microsoft Faculty Summit.
Ako ste sve ove ljude doživljavali kao imena izlivena u granitu sa Wikipedije i na koricama knjiga, vrijeme je da ih upoznate lično! Razgovarajte i postavljajte pitanja na koja stranice naučnih članaka neće odgovoriti, ali će se njihovi autori rado javiti.
Poziv za radove
Nije tajna da mnogi od onih koji sada čitaju članak nisu skloni reći nam nešto prilično zanimljivo. Sa inženjerske tačke gledišta, sa naučne tačke gledišta - sa bilo koje tačke gledišta. Distribuirano računarstvo je vrlo široka i duboka tema u kojoj ima mjesta za svakoga.
Ako želite da se takmičite sa Lamportom, to je sasvim moguće. Da biste postali govornik, trebate , pažljivo pročitajte sve tamo i učinite prema uputama.
Budite sigurni, čim se pridružite procesu, oni će vam pomoći. Programski odbor ima dovoljno kapaciteta da pomogne u samom izvještaju, njegovoj suštini i dizajnu. Koordinator će vam pomoći da riješite organizacione probleme i tako dalje.
Posebno obratite pažnju na sliku sa datumima. Jul je prilično dalek datum za učesnika, ali govornik sada treba da počne da glumi.
SPTDC škola
Konferencija će se održati na istoj lokaciji kao i škola SPTDC, tako da će za sve koji kupe ulaznicu za školu ulaznice za konferenciju biti 20% popusta.
je škola koja nudi širok spektar kurseva o praktičnim i teorijskim aspektima distribuiranih sistema, koje predaju priznati stručnjaci iz relevantne oblasti.
Škola će se održavati na engleskom jeziku, pa ovako izgleda lista obrađenih tema:
- Istovremene strukture podataka: ispravnost i efikasnost;
- Algoritmi za nepromjenjivu memoriju;
- Distribuirana izračunljivost;
- Distribuirano strojno učenje;
- Replikacija državnog stroja i Paxos;
- vizantijska tolerancija grešaka;
- Algoritamske osnove blockchaina.
Govoriće sledeći govornici:
- Leslie Lamport (Microsoft);
- Maurice Herlihy (Brown univerzitet);
- Michael Scott (Univerzitet u Rochesteru);
- Dan Alistarh (IST Austrija);
- Trevor Brown (Univerzitet Waterloo);
- Eli Gafni (UCLA);
- Danny Hendler (Univerzitet Ben Gurion);
- Achour Mostefaoui (Univerzitet u Nantu).
Na YouTube-u možete slobodno pogledati izvještaje prethodne škole:
Sljedeći koraci
Program konferencije je još u izradi. Pratite vijesti na Habréu ili na društvenim mrežama (, , ).
Ako zaista vjerujete u konferenciju (ili želite iskoristiti specijalnu ulaznu cijenu, tzv. “Early Bird”), možete otići na web stranicu i .
Vidimo se u Hidri!
izvor: www.habr.com