ĉi Leslie Lampport - la aŭtoro de fundamentaj verkoj en distribuita komputado, kaj vi povas koni lin ankaŭ per la literoj La en la vorto LaTeX - "Lamport TeX". Estis li, kiu unuafoje, jam en 1979, enkondukis la koncepton , kaj lia artikolo ricevis la Premion Dijkstra (pli precize, en 2000 la premio estis nomita en la malnova maniero: "PODC Influa Paper Award"). Estas pri li , kie vi povas akiri kelkajn pli interesajn ligilojn. Se vi estas ekscitita pri solvado de problemoj sur okazas-antaŭ aŭ (BFT), ili devas kompreni, ke Lampport estas malantaŭ ĉio.
Kaj li baldaŭ venos al nia nova konferenco pri distribuita komputado - Hidro, kiu okazos de la 11-a ĝis la 12-a de julio en Peterburgo. Ni vidu kia besto ĝi estas.
Hidro 2019
Temoj kiel multfadenado estas kelkaj el la plej varmaj temoj ĉe niaj konferencoj, ĉiam estis. Ĉi tiu halo estis ĵus senhoma, sed tiam aperas sur la scenejo persono parolanta pri la memormodelo, okazas-antaŭe aŭ plurfadena rubkolekto kaj - bum! — jam malpli ol mil homoj okupas la tutan disponeblan spacon por sidiĝi kaj atente aŭskulti. Kio estas la esenco de ĉi tiu sukceso? Eble la fakto, ke ni ĉiuj havas surmane ian aparataron kapablan organizi distribuitan komputadon? Aŭ ĉu ni subkonscie komprenas nian nekapablon ŝarĝi ĝin je ĝia vera valoro? Estas vera rakonto pri unu Sankt-Peterburga kvantumo (tio estas financa kvanta analizisto kaj programisto), kiu finiĝis kun komputika areto en siaj manoj, kies plena potenco povas esti uzata nur de li. Kaj kion vi farus se vi devus plenumi viajn taskojn kun kapabloj multe pli grandaj ol nun?
Pro ĉi tiu populareco, la temo de efikeco kaj efika komputado tendencas disvastiĝi tra la konferenca programo. Kiom da la du tagoj da raportoj povas esti faritaj pri agado - unu triono, du trionoj? Kelkloke ekzistas artefaritaj limigoj, kiuj limigas ĉi tiun kreskon: krom rendimento, ankoraŭ devas esti loko por novaj retaj kadroj, por iaj devopoj aŭ arkitektura astronaŭtiko. Ne, agado, vi ne tute manĝos nin ĉiujn!
Aŭ vi povas iri kontraŭan vojon, rezigni kaj honeste fari konferencon, kiu estos tute pri distribuita komputado kaj nur pri ili. Kaj jen ĝi estas, Hidro.
Ni sincere konfesu, ke hodiaŭ ĉiu komputado estas laŭ maniero aŭ alia distribuita. Ĉu ĝi estas multkerna maŝino, komputika areto aŭ grandskala distribuita servo, ekzistas multaj procezoj ĉie, kiuj realigas sendependajn kalkulojn paralele, sinkronigante unu kun la alia. Kiel ĝi funkcias en teorio kaj kiel ĝi funkcias praktike estos la fokuso de Hidro.
Konferenca programo
La programo estas nuntempe evoluanta. Ĝi devus inkluzivi raportojn de la fondintoj de la teorioj de distribuitaj sistemoj kaj inĝenieroj laborantaj kun ili en produktado.
Ekzemple, ni jam scias pri la partopreno de Leslie Lampport de Microsoft Research kaj Maurice Herlihy de Brown University.
Maurice Herlihy - tre fama kaj respektata profesoro pri Komputiko, estas ankaŭ rakonto pri li , kie vi povas trairi la ligilojn kaj verkojn. Tie oni povas rimarki eĉ du Dijkstra-premiojn, la unuajn pri laboro , kaj la dua, pli lastatempa - . Cetere, la ligiloj eĉ ne kondukas al SciHub, sed al Brown University kaj Virginia Tech University, vi povas malfermi kaj legi.
Maurice gastigos ĉefprelegon nomitan "Blokĉenoj de distribuita komputika perspektivo". Se interesiĝas, vi povas rigardi la registradon de la raporto de Maurice el la Sankt-Peterburga JUG. Taksi kiom klare kaj kompreneble li transdonas la temon.
Legos la dua ĉefprelego nomata "Dualaj Datumaj Strukturoj". Michael Scott de la Universitato de Roĉestro. Kaj divenu, — ankaŭ li havas la sian . Hejme en Viskonsino, li estas konata pro sia laboro kiel dekano ĉe la University of Wisconsin-Madison (Universitato de Wisconsin-Madison), kaj en la mondo li estas la viro kiu, kune kun Doug Lea, evoluigis tiujn ne-blokantajn algoritmojn kaj sinkronajn atendovicojn sur kiuj Java bibliotekoj funkcias. . Li ricevis sian Dijkstra-premion tri jarojn post Herlihy, pro sia laboro "Algoritmoj por skalebla sinkronigo sur komunaj memoraj multprocesoroj" (kiel atendite, ĉe la reta biblioteko de la Universitato de Roĉestro).
Estas ankoraŭ multe da tempo ĝis meze de julio. Ni rakontos al vi pri aliaj prelegantoj kaj iliaj temoj dum ni rafinas la programon kaj alproksimiĝas al julio.
Ĝenerale aperas la demando - kial ni faras Hydra somere? Post ĉio, ĉi tio estas la ekstersezono, ferioj. La problemo estas, ke estas universitataj profesoroj inter la parolantoj, kaj ajna alia tempo estas okupata por ili. Ni simple ne povis elekti aliajn datojn.
Diskutaj zonoj
En aliaj konferencoj, okazas, ke la preleganto legis tion, kio estas necesa kaj tuj foriris. La partoprenantoj eĉ ne havas tempon serĉi ĝin – finfine la sekva raporto komenciĝas preskaŭ sen manko. Ĝi doloras multe, precipe kiam gravaj homoj kiel Lamport, Herlihy kaj Scott estas tie, kaj vi efektive iras al la konferenco nur por renkonti ilin kaj paroli pri io.
Ni solvis ĉi tiun problemon. Tuj post sia raporto, la parolanto iras al speciala diskutejo ekipita per almenaŭ blanktabulo kun markilo, kaj vi havas sufiĉe da tempo. Formale, la parolanto promesas esti tie almenaŭ dum la paŭzo inter raportoj. En realeco, ĉi tiuj diskutejoj eble etendi dum horoj (depende de la deziro kaj eltenemo de la parolanto).
Pri Lamport, se mi bone komprenas, li volas konvinki tion kiel eble plej multajn homojn - ĉi tio estas bona afero. (). Eble ĉi tio estos bona ŝanco por inĝenieroj lerni ion novan kaj utilan. Leslie proponas ĉi tiun opcion - kiu ajn interesiĝas povas spekti siajn pasintajn prelegojn kaj veni kun demandoj. Tio estas, anstataŭ ĉefprelego, povas ekzisti kvazaŭ speciala sesio pri demandoj kaj respondoj, kaj poste alia diskutzono. Mi iomete guglos kaj trovis bonegan (oficiale sinkronigita ) kaj hora prelego kun Microsoft Faculty Summit.
Se vi pensis pri ĉiuj ĉi homoj kiel nomoj ĵetitaj en granito el Vikipedio kaj sur librokovriloj, estas tempo renkonti ilin vive! Babilu kaj faru demandojn, kiujn la paĝoj de sciencaj artikoloj ne respondos, sed iliaj aŭtoroj volonte kontaktos.
Voku Paperoj
Ne estas sekreto, ke multaj el tiuj, kiuj nun legas la artikolon, ne kontraŭas mem rakonti ion sufiĉe interesan. El inĝenieristiko, el scienca vidpunkto, el ajna vidpunkto. Distribuita komputado estas tre larĝa kaj profunda temo, kie estas loko por ĉiuj.
Se vi volas ludi kune kun Lampport, ĝi estas tute ebla. Por fariĝi parolanto, vi bezonas , atente legu ĉion tie kaj faru ĝin laŭ la instrukcioj.
Estu trankvila, tuj kiam vi konektos al la procezo, vi estos helpita. La programkomitato havas sufiĉajn rimedojn por helpi pri la raporto mem, ĝia esenco kaj dezajno. La kunordiganto helpos vin trakti organizajn aferojn ktp.
Atentu speciale la bildon kun la datoj. Julio estas sufiĉe malproksima dato por la partoprenanto, kaj la preleganto devas komenci agi nun.
SPTDC-lernejo
La konferenco okazos en la sama retejo kun la lernejo SPTDC, do por ĉiuj, kiuj aĉetas bileton por la lernejo, konferenketoj - kun 20% rabato.
- lernejo kiu disponigas larĝan gamon da kursoj pri la praktikaj kaj teoriaj aspektoj de distribuitaj sistemoj, kiuj estas instruitaj de agnoskitaj fakuloj en la koncerna kampo.
La lernejo okazos en la angla, do jen la listo de temoj pritraktitaj:
- Samtempaj datumstrukturoj: ĝusteco kaj efikeco;
- Algoritmoj por nevolatila memoro;
- Distribuita Komputileco;
- distribuita maŝinlernado;
- Ŝtat-maŝina reproduktado kaj Paxos;
- Bizanca mistoleremo;
- Algoritmaj bazoj de blokĉenoj.
La jenaj parolantoj parolos:
- Leslie Lampport (Mikrosofto);
- Maurice Herlihy (Bruna Universitato);
- Michael Scott (Universitato de Roĉestro);
- Dan Alistarh (IST Aŭstrio);
- Trevor Brown (Universitato de Waterloo);
- Eli Gafni (UCLA);
- Danny Hendler (Universitato Ben Gurion);
- Achour Mostefaoui (Universitato de Nanto).
kun la raportoj de la antaŭa lernejo estas libere rigardeblaj en Jutubo:
Sekvaj paŝoj
La konferenca programo ankoraŭ estas formita. Sekvu la novaĵojn ĉe Habré aŭ en sociaj retoj (, , ).
Se vi vere kredas je la konferenco (aŭ volas profiti la specialan komencan prezon, kiel oni diras, "Early Bird") - vi povas iri al la retejo kaj .
Ĝis revido ĉe Hydra!
fonto: www.habr.com