It Leslie Lampport - Informatika banatuan oinarrizko lanen egilea, eta hitzaren La hizkiekin ere ezagutu dezakezu LaTeX - "Lamport TeX". Bera izan zen lehen aldiz, 1979an, kontzeptua aurkeztu zuena koherentzia koherentea, eta bere artikulua "Nola egin prozesadore anitzeko programak behar bezala exekutatzen dituen ordenagailu bat" Dijkstra saria jaso zuen (zehatzago esanda, 2000. urtean era zaharrean deitu zioten saria: "PODC Influential Paper Award"). Berari buruz dago Wikipediako artikulua, non esteka interesgarri gehiago lor ditzakezun. Arazoak konpontzeaz ilusioa bazara gertatzen-aurretik edo Bizantziar jeneralen arazoak (BFT), ulertu behar dute Lampport dagoela guztiaren atzean.

Eta laster etorriko da konputazio banatuari buruzko gure hitzaldi berrira - Hydra, uztailaren 11tik 12ra San Petersburgon ospatuko dena. Ea zer animalia den.

Hidra 2019

Multithreading bezalako gaiak gure kongresuetako gairik beroenetako batzuk dira, beti izan dira. Areto honetan hutsik zegoen, baina gero pertsona bat agertzen da eszenatokian, memoria-ereduari buruz hitz egiten, gertatu aurretik edo hari anitzeko zabor bilketa eta - boom! - dagoeneko mila pertsona baino gutxiagok okupatzen dute eskuragarri dagoen leku guztia eseri eta arretaz entzuteko. Zein da arrakasta honen funtsa? Agian, denok esku artean dugula informatika banatua antolatzeko gai den hardware motaren bat? Edo inkontzienteki ulertzen dugula hura kargatzeko dugun ezintasuna bere benetako balioan? San Petersburgo kuantiko baten benetako istorio bat dago (hau da, finantza-analista eta garatzaile kuantitatibo batena), eskuetan informatika-kluster bat izan zuena, zeinaren botere osoa berak bakarrik erabil dezakeena. Eta zer egingo zenuke zure zereginak orain baino ahalmen handiagoarekin beteko bazenitu?

Ospe hori dela eta, errendimenduaren eta informatika eraginkorren gaia kongresuaren programan zehar hedatu ohi da. Bi egunetako erreportajeetatik zenbat egin daitezke errendimenduari buruz - heren bat, bi heren? Leku batzuetan hazkunde hori mugatzen duten murrizketa artifizialak daude: errendimenduaz gain, oraindik ere lekua egon behar da web-esparru berrientzat, nolabaiteko devops edo astronautika arkitektonikoak egiteko. Ez, performance, ez gaituzu denok osorik jango!

Edo alderantziz joan zaitezke, amore eman eta zintzotasunez egin dezakezu konputazio banatuari buruz eta haiei buruz soilik izango den hitzaldi bat. Eta hemen dago, Hydra.

Zintzotasunez aitor dezagun gaur informatika guztia modu batera edo bestera banatuta dagoela. Nukleo anitzeko makina bat, informatika-kluster bat edo eskala handiko zerbitzu banatua izan, prozesu asko daude nonahi kalkulu independenteak paraleloki egiten dituztenak, elkarren artean sinkronizatuz. Teorian nola funtzionatzen duen eta praktikan nola funtzionatzen duen izango da Hydraren ardatza.

Jardunaldien programa

Gaur egun programa garatzen ari da. Sistema banatuen teorien sortzaileen eta haiekin produkzioan lan egiten duten ingeniarien txostenak sartu beharko lituzke.

Esaterako, Microsoft Research-eko Leslie Lampport eta Brown Unibertsitateko Maurice Herlihy-ren parte-hartzearen berri dugu dagoeneko.

Maurice Herlihy - Informatikako irakasle oso famatu eta errespetatua, berari buruzko istorio bat ere badago Wikipedia orria, non estekak eta lanak pasa ditzakezu. Bertan bi Dijkstra sari antzeman daitezke, lehenengoa lanagatik "Itxaron gabeko sinkronizazioa", eta bigarrena, berriagoa - "Memoria transakzionala: blokeorik gabeko datu-egituretarako euskarri arkitektonikoa". Bide batez, estekek ez dute SciHub-era eramaten, baina Brown Unibertsitatera eta Virginia Tech Unibertsitatera ireki eta irakurri dezakezu.

Maurice-k "Blockchains-ak informatika banatuaren ikuspegitik" izeneko hitzaldia hartuko du. Interesa baduzu, San Petersburgoko JUGetik Mauriceren txostenaren grabazioari begirada bat eman dezakezu. Gaia zein argi eta modu ulergarrian transmititzen duen baloratu.

"Datu-egitura bikoitzak" izeneko bigarren hitzaldia irakurriko da Michael Scott Rochester-eko Unibertsitatetik. Eta asmatu zer - berak ere badu berea Wikipedia orria. Wisconsin-en etxean, Wisconsin-Madison-eko Unibertsitateko dekano gisa egindako lanagatik da ezaguna, eta munduan bera da, Doug Learekin batera, Java liburutegiek exekutatzen dituzten blokeorik gabeko algoritmo eta ilara sinkrono horiek garatu zituen gizona. . Herlihy-ren ondoren Dijkstra saria jaso zuen, "Algorithms for scaleble synchronization on shared-memory multiprocessors" lanagatik (espero bezala, zabalik dago Rochester-eko Unibertsitateko lineako liburutegian).

Oraindik denbora asko dago uztailaren erdialdera arte. Beste hizlari batzuk eta haien gaiak kontatuko dizkizugu egitaraua hobetu eta uztailera hurbildu ahala.

Oro har, galdera sortzen da: zergatik egiten dugu Hydra udan? Azken finean, hau kanpoko denboraldia da, oporrak. Arazoa da hizlarien artean unibertsitateko irakasleak daudela, eta beste edozein ordu lanpetuta dago haientzat. Beste data batzuk ezin izan ditugu aukeratu.

Eztabaida guneak

Beste hitzaldi batzuetan gertatzen da hizlariak beharrezkoa dena irakurri eta berehala alde egitea. Parte-hartzaileek ez dute hura bilatzeko denborarik ere; azken finean, hurrengo txostena ia hutsunerik gabe hasten da. Min handia ematen du, batez ere Lamport, Herlihy eta Scott bezalako pertsona garrantzitsuak presente daudenean eta konferentziara joaten zarenean haiekin ezagutzera eta zerbaiti buruz hitz egiteko.

Arazo hau konpondu dugu. Bere txostena egin eta berehala, hizlaria gutxienez errotulagailu batekin hornitutako eztabaida gune berezi batera doa, eta denbora dezente duzu. Formalki, txostenen arteko atsedenaldian behintzat bertan egongo dela agintzen du hizlariak. Egia esan, eztabaida gune horiek ahal luzatu orduak (hizlariaren nahiaren eta iraupenaren arabera).

Lamport-i dagokionez, ondo ulertzen badut, ahalik eta jende gehien konbentzitu nahi du TLA+ - Hau gauza ona da. (TLA+-ri buruzko artikulua Wikipedian). Beharbada, aukera ona izango da ingeniarientzat zerbait berria eta erabilgarria ikasteko. Lesliek aukera hau eskaintzen du: interesa duenak bere iraganeko hitzaldiak ikusi eta galderak egin ditzake. Hau da, hitzaldi baten ordez, egon daiteke, nolabait, galdera-erantzun saio espezializatu bat, eta gero beste eztabaida gune bat. Pixka bat Googlen bilatu nuen eta bikain bat aurkitu nuen TLA+ ikastaroa (ofizialki bikoiztua erreprodukzio zerrenda youtuben) eta ordubeteko hitzaldia "Kodearen gainetik pentsatzen" Microsoft Faculty Summit-ekin.

Pertsona hauek guztiak Wikipediako granitoan eta liburuen azaletan egindako izenak zirela pentsatu bazenuen, bada garaia zuzenean ezagutzeko! Txateatu eta artikulu zientifikoen orrialdeek erantzungo ez dituzten galderak egin, baina haien egileak pozik jarriko dira harremanetan.

Papers deialdia

Ez da sekretua orain artikulua irakurtzen ari diren horietako asko ez direla nahikoa interesgarria den zerbait kontatzeko beraiek. Ingeniaritzaren ikuspuntutik, ikuspuntu zientifikotik, edozein ikuspuntutik. Informatika banatua oso gai zabala eta sakona da, non guztientzako lekua dagoen.

Lamport-ekin batera jokatu nahi baduzu, guztiz posible da. Hizlari izateko, behar duzu jarraitu esteka, irakurri arretaz bertan dagoen guztia eta egin argibideen arabera.

Lasai egon, prozesura konektatu bezain pronto, lagunduko zaituzte. Programa-batzordeak baliabide nahikoak ditu txostena bera, bere funtsa eta diseinuan laguntzeko. Koordinatzaileak antolakuntza-gaiak eta abar jorratzen lagunduko dizu.

Arreta berezia jarri datak dituen argazkiari. Uztaila data urrun samarra da parte-hartzailearentzat, eta hizlariak orain hasi behar du antzezten.

SPTDC eskola

Hitzaldia SPTDC ikastetxearen gune berean egingo da, beraz, eskolarako sarrera erosten duten guztientzat, hitzaldirako sarrerak - % 20eko deskontuarekin.

Banatutako Konputazioaren Praktika eta Teoriari buruzko Udako Eskola (SPTDС) - Sistema banatuen alderdi praktiko eta teorikoei buruzko ikastaro sorta zabala ematen duen ikastetxea, dagokion arloko aditu aitortuek ematen dituztenak.

Eskola ingelesez egingo da, beraz, hona hemen landutako gaien zerrenda:

• Datu-egiturak aldi berean: zuzentasuna eta eraginkortasuna;
• Memoria ez-hegazkorrarako algoritmoak;
• Banatutako Konputagarritasuna;
• ikaskuntza automatikoa banatua;
• Estatu-makina erreplikazioa eta Paxoak;
• Bizantziar akats-tolerantzia;
• Blockchains-en oinarri algoritmikoak.

Hizlari hauek arituko dira:

• Leslie Lampport (Microsoft);
• Maurice Herlihy (Brown Unibertsitatea);
• Michael Scott (Rochester-eko Unibertsitatea);
• Dan Alistarh (IST Austria);
• Trevor Brown (Waterlooko Unibertsitatea);
• Eli Gafni (UCLA);
• Danny Hendler (Ben Gurion Unibertsitatea);
• Achour Mostefaoui (Nanteseko Unibertsitatea).

erreprodukzio-zerrenda aurreko ikastetxeko txostenekin libreki ikus daitezke YouTube-n:

Hurrengo urratsak

Jardunaldien egitaraua osatzen ari da oraindik. Jarraitu albisteak Habré-n edo sare sozialetan (fb, vk, twitter).

Konferentzian benetan sinesten baduzu (edo hasierako prezio bereziaz aprobetxatu nahi baduzu, esaten den bezala, "Early Bird") - gunera joan zaitezke eta txartelak erostea.

Hydran ikusiko gara!

Iturria: www.habr.com