ovo Leslie Lamport - autor temeljnih djela iz distribuiranog računarstva, a možete ga znati i po slovima La u riječi LaTeX - "Lamport TeX". Upravo je on prvi put, još 1979. godine, uveo koncept dosljedna dosljednost, i njegov članak "Kako napraviti višeprocesorsko računalo koje ispravno izvršava višeprocesne programe" dobio nagradu Dijkstra (točnije, 2000. nagrada se zvala na stari način: "PODC Influential Paper Award"). Ima o njemu Članak na Wikipediji, gdje možete pronaći još neke zanimljive poveznice. Ako ste uzbuđeni oko rješavanja problema na događajima-prije ili problemi bizantskih generala (BFT), moraju shvatiti da Lamport stoji iza svega.

A uskoro dolazi i na našu novu konferenciju o distribuiranom računalstvu - Hydra, koja će se održati 11. i 12. srpnja u St. Da vidimo kakva je to životinja.

Hidra 2019

Teme poput multithreadinga neke su od najtoplijih tema na našim konferencijama, uvijek su bile. Ova dvorana je bila samo pusta, ali onda se na pozornici pojavljuje osoba koja govori o modelu memorije, događajima prije ili multi-threaded sakupljanju smeća i - bum! - već ispod tisuću ljudi zauzima sav raspoloživi prostor da sjedne i pažljivo sluša. Što je bit ovog uspjeha? Možda činjenica da svi imamo u rukama neku vrstu hardvera sposobnog za organiziranje distribuiranog računalstva? Ili podsvjesno razumijemo našu nesposobnost da ga napunimo njegovom istinskom vrijednošću? Postoji stvarna priča o jednom peterburškom kvantu (odnosno financijskom kvantitativnom analitičaru i programeru), koji je završio s računalnim klasterom u rukama čiju punu snagu može koristiti samo on sam. A što biste učinili da svoje zadatke morate izvršavati s višestruko većim kapacitetima nego sada?

Zbog te popularnosti, tema o performansama i učinkovitom računalstvu ima tendenciju širenja kroz program konferencije. Koliko se od dva dana izvješća može napraviti o učinku - jedna trećina, dvije trećine? Ponegdje postoje umjetna ograničenja koja ograničavaju taj rast: osim performansi, još uvijek mora biti mjesta za nove web frameworke, za neku vrstu devopsa ili arhitektonske astronautike. Ne, performanse, nećeš nas sve pojesti cijele!

Ili možete ići obrnutim putem, odustati i pošteno napraviti konferenciju koja će se u potpunosti baviti distribuiranim računalstvom i samo njima. I evo je, Hydra.

Iskreno priznajmo da je danas svo računalstvo na ovaj ili onaj način distribuirano. Bilo da se radi o stroju s više jezgri, računalnim klasterima ili velikim distribuiranim uslugama, posvuda postoje mnogi procesi koji paralelno izvode neovisne izračune, međusobno se sinkronizirajući. Kako to funkcionira u teoriji i kako funkcionira u praksi bit će fokus Hydre.

Program konferencije

Program je trenutno u razvoju. Treba sadržavati izvješća utemeljitelja teorija distribuiranih sustava i inženjera koji s njima rade u proizvodnji.

Na primjer, već znamo za sudjelovanje Leslie Lamport iz Microsoft Researcha i Mauricea Herlihyja sa Sveučilišta Brown.

Maurice Herlihy - vrlo poznat i cijenjen profesor informatike, o njemu također postoji priča stranica Wikipedije, gdje možete pregledati linkove i djela. Tu se mogu primijetiti čak dvije Dijkstra nagrade, prve za rad "Sinkronizacija bez čekanja", i drugi, noviji - "Transakcijska memorija: Arhitektonska podrška za strukture podataka bez zaključavanja". Usput, linkovi čak i ne vode na SciHub, nego na Sveučilište Brown i Sveučilište Virginia Tech, možete otvoriti i pročitati.

Maurice će održati uvodno predavanje pod nazivom "Blockchains iz perspektive distribuiranog računalstva". Zainteresirani mogu pogledati snimku Mauriceove reportaže iz peterburškog JUGA. Ocijenite koliko jasno i razumljivo prenosi temu.

Drugi uvod pod nazivom "Dvostruke strukture podataka" glasit će Michael Scott sa Sveučilišta u Rochesteru. I pogodite - i on ima svoju stranica Wikipedije. Kod kuće u Wisconsinu poznat je po svom radu dekana na Sveučilištu Wisconsin-Madison, a u svijetu je čovjek koji je zajedno s Dougom Leom razvio one neblokirajuće algoritme i sinkrone redove na kojima se vrte Java biblioteke . Dobio je nagradu Dijkstra tri godine nakon Herlihyja, za svoj rad "Algoritmi za skalabilnu sinkronizaciju na multiprocesorima s dijeljenom memorijom" (kao što se očekivalo, ona leži otvorena u online knjižnici Sveučilišta u Rochesteru).

Do sredine srpnja ima još dosta vremena. Reći ćemo vam o drugim govornicima i njihovim temama kako budemo usavršavali program i približavali se srpnju.

Općenito, postavlja se pitanje - zašto Hidru pravimo ljeti? Uostalom, ovo je izvan sezone, praznici. Problem je što među govornicima ima i sveučilišnih profesora kojima je svako drugo vrijeme zauzeto. Jednostavno nismo mogli izabrati druge datume.

Zone za raspravu

Na drugim konferencijama događa se da govornik pročita što treba i odmah ode. Sudionici ga nemaju vremena ni tražiti - uostalom, sljedeći izvještaj počinje gotovo bez odmaka. Jako boli, pogotovo kada 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.

Riješili smo ovaj problem. Govornik odmah nakon izlaganja odlazi u posebno mjesto za raspravu opremljeno barem pločom s markerom, a vi imate dosta vremena. Formalno, govornik obećava da će biti prisutan barem u pauzi između izvješća. U stvarnosti, ova područja rasprave moći rastezati satima (ovisno o želji i izdržljivosti govornika).

Što se tiče Lamporta, ako sam dobro shvatio, on želi u to uvjeriti što više ljudi TLA+ - ovo je dobra stvar. (Članak o TLA+ na Wikipediji). Možda će ovo biti dobra prilika za inženjere da nauče nešto novo i korisno. Leslie nudi ovu opciju - tko je zainteresiran može pogledati njegova prošla predavanja i doći s pitanjima. To jest, umjesto uvodne riječi, može postojati, takoreći, specijalizirana sesija pitanja i odgovora, a zatim još jedna zona za raspravu. Malo sam guglala i našla super TLA+ tečaj (službeno sinkronizirano popis za reprodukciju na youtubeu) i sat predavanja "Razmišljanje iznad kodeksa" s Microsoft Faculty Summitom.

Ako ste sve te ljude smatrali imenima izlivenim u granitu s Wikipedije i s naslovnica knjiga, vrijeme je da ih upoznate uživo! Čavrljajte i postavljajte pitanja na koja stranice znanstvenih članaka neće odgovoriti, ali će njihovi autori rado stupiti u kontakt.

Nazovi za papire

Nije tajna da mnogi od onih koji sada čitaju članak nisu skloni sami ispričati nešto dovoljno zanimljivo. S inženjerske točke gledišta, sa znanstvene točke gledišta, s bilo koje točke gledišta. Distribuirano računalstvo vrlo je široka i duboka tema u kojoj ima mjesta za sve.

Ako želite igrati uz Lamporta, to je sasvim moguće. Da biste postali govornik, trebate slijedite vezu, pažljivo pročitajte sve tamo i učinite to prema uputama.

Budite mirni, čim se povežete s procesom, pomoći će vam se. Programski odbor ima dovoljno resursa da pomogne oko samog izvješća, njegove suštine i dizajna. Koordinator će vam pomoći riješiti organizacijska pitanja i tako dalje.

Posebno obratite pažnju na sliku s datumima. Srpanj je za sudionika prilično dalek datum, a govornik treba početi djelovati sada.

SPTDC škola

Konferencija će se održati na istom mjestu kao i SPTDC škola, pa za sve koji kupe ulaznicu za školu, konferencijske ulaznice - uz 20% popusta.

Ljetna škola o praksi i teoriji distribuiranog računarstva (SPTDS) - škola koja nudi širok raspon tečajeva o praktičnim i teoretskim aspektima distribuiranih sustava, koje predaju priznati stručnjaci u relevantnom području.

Škola će se održavati na engleskom jeziku pa evo popisa obrađenih tema:

• Konkurentne strukture podataka: ispravnost i učinkovitost;
• Algoritmi za trajnu memoriju;
• Distribuirana izračunljivost;
• distribuirano strojno učenje;
• Replikacija državnog stroja i Paxos;
• bizantska tolerancija na pogreške;
• Algoritamske osnove blockchaina.

Govorit će sljedeći govornici:

• Leslie Lamport (Microsoft);
• Maurice Herlihy (Sveučilište Brown);
• Michael Scott (Sveučilište Rochester);
• Dan Alistarh (IST Austrija);
• Trevor Brown (Sveučilište Waterloo);
• Eli Gafni (UCLA);
• Danny Hendler (Sveučilište Ben Gurion);
• Achour Mostefaoui (Sveučilište u Nantesu).

Plejlist s izvješćima prethodne škole možete besplatno pogledati na YouTubeu:

Sljedeći koraci

Program konferencije je još u izradi. Pratite vijesti na Habréu ili na društvenim mrežama (fb, vk, cvrkut).

Ako stvarno vjerujete u konferenciju (ili želite iskoristiti posebnu početnu cijenu, kako kažu, "Early Bird") - možete otići na stranicu i kupiti ulaznice.

Vidimo se u Hidri!

Izvor: www.habr.com