Tri gajnintoj de la Premio Dijkstra: kiel iris Hydra 2019 kaj SPTDC 2019

Tri gajnintoj de la Premio Dijkstra: kiel iris Hydra 2019 kaj SPTDC 2019

Plej lastatempe, de la 8-a ĝis la 12-a de julio, okazis samtempe du gravaj eventoj - la konferenco Hidro kaj lernejo SPTDC. En ĉi tiu afiŝo mi ŝatus reliefigi plurajn trajtojn, kiujn ni rimarkis dum la konferenco.

La plej granda fiereco de Hidro kaj la Lernejo estas la parolantoj.

  • Tri premiitoj Dijkstra Premioj: Leslie Lampport, Maurice Herlihy kaj Michael Scott. Krome, Maurice ricevis ĝin dufoje. Leslie Lampport ankaŭ ricevis Premio Turing — la plej prestiĝa ACM-premio en komputiko;
  • La kreinto de la Java JIT-kompililo estas Cliff Click;
  • Corutin-programistoj - Roman Elizarov (elizarov) kaj Nikita Koval (ndkoval) por Kotlin, kaj Dmitry Vyukov por Go;
  • Kontribuantoj al Kasandra (Alex Petrov), CosmosDB (Denis Rystsov), Yandex Database (Semyon Checherinda kaj Vladislav Kuznetsov);
  • Kaj multaj aliaj famaj homoj: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (C++-memormodelo), Pedro Ramalhete (atendado-libera datumstrukturoj), Alexey Zinoviev (ML), Dmitry Bugaichenko (grafanalizo).

Kaj ĉi tio jam estas Lernejo:

  • Brown University (Maurice Herlihy),
  • Universitato de Rochester (Michael Scott),
  • Universitato de Waterloo (Trevor Brown),
  • Universitato de Nanto (Achour Mostefaoui),
  • Universitato David Ben-Gurion de Negevo (Danny Hendler),
  • Universitato de Kalifornio ĉe Los-Anĝeleso (Eli Gafni),
  • Institut Polytechnique de Paris (Petr Kuznetsov),
  • Microsoft Research (Leslie Lampport),
  • VMware Research (Ittai Abraham).

Tri gajnintoj de la Premio Dijkstra: kiel iris Hydra 2019 kaj SPTDC 2019

Teorio kaj praktiko, scienco kaj produktado

Mi memorigu vin, ke la SPTDC-Lernejo estas malgranda evento por cent kaj duono da homoj; mondklasaj lumuloj kunvenas tie kaj parolas pri modernaj aferoj en la kampo de distribuita komputado. Hydra estas dutaga distribuita komputika konferenco okazigita paralele. Hidro havas pli da inĝenieristikfokuso, dum la Lernejo havas pli sciencan fokuson.

Unu el la celoj de la Hydra-konferenco estas kombini sciencajn kaj inĝenierajn principojn. Unuflanke, tio estas atingita per la elekto de raportoj en la programo: kune kun Lamport, Herlihy kaj Scott, estas multe pli aplikataj raportoj de Alex Petrov, kiu kontribuas al Cassandra, aŭ Roman Elizarov de JetBrains. Estas Martin Kleppman, kiu antaŭe konstruis kaj vendis noventreprenojn kaj nun studas CRDT ĉe Cambridge University. Sed la mirinda afero estas, ke Hydra kaj SPTDC estas tenataj unu apud la alia - ili havas malsamajn raportojn, sed komunan lokon por komunikado.

Tri gajnintoj de la Premio Dijkstra: kiel iris Hydra 2019 kaj SPTDC 2019

Mergado

Kvin tagoj de la Lernejo en vico estas tre granda evento kaj multe da laborŝarĝo, kaj por la partoprenantoj kaj la organizantoj. Ne ĉiuj atingis la lastajn tagojn. Estis tiuj, kiuj samtempe iris al Hidro kaj Lernejo, kaj por ili la lastaj tagoj montriĝis la plej eventoplenaj. Ĉio ĉi tiu tumulto estas kompensita per nekredeble profunda mergo. Ĉi tio ŝuldiĝas ne nur al la volumo, sed ankaŭ al la kvalito de la materialo. Ĉiuj raportoj kaj prelegoj ĉe ambaŭ aranĝoj ne estis planitaj por esti enkondukaj, do kien ajn vi iras, vi tuj plonĝas malproksimen kaj profunde, kaj oni ne ellasas vin ĝis la fino.

Kompreneble, multe dependas de la komenca preparado de la partoprenanto. Estis amuza momento, kiam du grupoj da homoj en la koridoro sendepende diskutis pri la raporto de Heidi Howard: al kelkaj ĝi ŝajnis tute ordinara, dum aliaj, male, profunde pensis pri la vivo. Estas interese, ke laŭ la partoprenantoj de la programkomitatoj (kiuj deziris resti anonimaj), la raportoj de Hydra kaj la prelegoj de la Lernejo ĉe iliaj aranĝoj povus esti trokvalifikitaj. Ekzemple, se PHP-junulo venus al PHP-konferenco por lerni vivon, estus iom senpripense supozi, ke li havas profundan scion pri la interno de Zend Engine. Ĉi tie, la parolantoj ne kulermanĝis la junulojn, sed tuj implicis certan nivelon de scio kaj kompreno. Nu, efektive, la nivelo de partoprenantoj, kiuj funkciigas distribuitajn sistemojn kaj skribas rultempajn kernojn, estas tre alta, tio estas logika. Juĝante laŭ la reago de la partoprenantoj, estis sufiĉe facile elekti raporton laŭ la nivelo kaj temo.

Se ni parolas pri specifaj raportoj, ili ĉiuj estis bonaj laŭ sia maniero. Juĝante laŭ tio, kion homoj diras kaj kio videblas el la sugesta formularo, unu el la plej bonegaj raportoj ĉe la Lernejo estis "Neblokaj datumstrukturoj" Michael Scott, li ĵus disŝiris ĉiujn, li havas nenormalan rangigon de ĉirkaŭ 4.9.

Tri gajnintoj de la Premio Dijkstra: kiel iris Hydra 2019 kaj SPTDC 2019

Metakonferenco

Long antaŭ la komenco de Hidro kaj la Lernejo, Ruslan ARG89 supozis, ke estos ia "meta-konferenco" - konferenco de konferencoj, kie ĉiuj pintaj partoprenantoj de aliaj aranĝoj estos aŭtomate suĉitaj en ĝin, kvazaŭ en nigran truon. Kaj tiel okazis! Ekzemple, inter la lernantoj de la Lernejo oni rimarkis Ruslan Ĉeremin de DeutscheBank, konata specialisto pri multfadenado.

Tri gajnintoj de la Premio Dijkstra: kiel iris Hydra 2019 kaj SPTDC 2019

Kaj de la Hidro-anoj estis rimarkitaj Vadim Tsesko (incubi) kaj Andrej Pangin (apangin) de la kompanio Odnoklassniki. (Samtempe, Vadim ankaŭ helpis nin fari du bonegajn intervjuojn kun Martin Kleppman - unu por Habr, kaj la alia por spektantoj de la reta elsendo). Estis membroj DotNext Programa Komitato, famaj parolantoj Anatoly Kulakov kaj Igor Labutin. De la javisto estis Dmitrij Aleksandrov и Vladimir Ivanov. Kutime oni vidas ĉi tiujn homojn en tute malsamaj lokoj - dotnetistoj ĉe DotNext, javaistoj ĉe Joker ktp. Kaj tiel ili sidas flank-al-flanke ĉe Hydra-raportoj kaj kune diskutas problemojn pri la amatoroj. Kiam ĉi tiu iom artefarita divido en programlingvoj kaj teknologioj malaperas, la trajtoj de la temo ekaperas: dinamikaj runtime-specialistoj komunikas kun aliaj rultimistoj, distribuitaj komputikaj teoriesploristoj varme kverelas kun aliaj esploristoj, datumbazaj motorinĝenieroj amasigas la blanktabulon, ktp. .

Ĉe la raporto laŭ la C++-memormodelo la programistoj de OpenJDK sidis en la unua vico (almenaŭ mi konas ilin videble, sed ne la Pythonists, eble ankaŭ la Pythonists estis tie). Fakte, estas io do Ŝipilevskij en ĉi tiu raporto... Ori ne rakontas ĝuste la samon, sed zorgema rigardo povas detekti paralelojn. Eĉ post ĉio, kio okazis en la plej novaj C++-normoj, problemoj kiel el maldikaj valoroj ankoraŭ ne estis solvitaj, kaj do vi povus iri al tia raporto kaj aŭskulti kiel homoj "ĉe la alia flanko de la barikado" estas. provante ripari ĉi tiujn problemojn, Kiel ili rezonas, oni povus esti imponita de la aliroj al la trovita solvo (Ori havas unu el la riparopcioj).

Estis multaj partoprenantoj en programaj komitatoj kaj komunumaj motoroj. Ĉiuj solvis siajn interreligiajn problemojn, konstruis pontojn kaj akiris ligojn. Mi uzis ĉi tion ĉie, kie mi povis, kaj, ekzemple, ni konsentis kun Alexander Borgardt de Moskva C++ Uzantgrupo kune verku plenskalan artikolon pri aktoroj kaj malsinkronio en C++.

Tri gajnintoj de la Premio Dijkstra: kiel iris Hydra 2019 kaj SPTDC 2019

En la foto: Leonid Talalaev (ltalal, maldekstre) kaj Oleg Anastasyev (m0nsmind, dekstra), gvidaj programistoj ĉe Odnoklassniki

Fajraj diskutzonoj kaj buffs

En konferencoj ĉiam estas partoprenantoj, kiuj konas la temon same kiel la prelegantojn (kaj foje pli bone ol la prelegantoj - ekzemple, kiam inter la partoprenantoj troviĝas ellaboranto de la kerno de iu teknologio). Estis multaj tiaj tre spertaj partoprenantoj pri Hidro. Ekzemple, en iu momento ĉirkaŭ Alex Petrov rakontante pri Kasandra, tiom da homoj formiĝis, ke li ne povis respondi al ĉiuj. En iu momento, Alex estis glate puŝita flanken kaj komencis esti ŝirita per demandoj, sed la falanta flago estis prenita de konata Rust-programisto en la cirkloj. Tyler Neely kaj ekvilibrigis la ŝarĝon perfekte. Kiam mi petis Tyler helpon pri la interreta intervjuo, li demandis nur: "Kiam ni komencos?"

Tri gajnintoj de la Premio Dijkstra: kiel iris Hydra 2019 kaj SPTDC 2019

Foje, la spirito de diskutado eĉ trarompiĝis en la raportojn: Nikita Koval organizis subitan sesion pri demandoj kaj respondoj, dividante la raporton en plurajn sekciojn.

Kaj inverse, sur BOF por multfadenado ili memoris pri nevolatila memoro, ili estis altiritaj al ĉi tiu bof Pedro Ramalhete kiel la ĉefspecialisto, kaj li klarigis ĉion al ĉiuj (mallonge, nevolatila memoro ne estas minaco por ni en proksima estonteco). Unu el la gastigantoj de ĉi tiu bof, cetere, estis Vladimir Sitnikov, kiu servas en la programaj komitatoj de iu freneza nombro da konferencoj... ŝajnas kiel kvin samtempe. Ĉe la sekva bufo pri "Moderna CS en reala mondo" ili ankaŭ diskutis pri NVM kaj venis al ĉi tio tute memstare.

Tri gajnintoj de la Premio Dijkstra: kiel iris Hydra 2019 kaj SPTDC 2019

Mi povas dividi super-komprenon, kiun eĉ tiuj rekte implikitaj en la rakonto eble ne rimarkis. Eli Gafni koncertis vespere de la unua tago de la Lernejo, kaj la sekvan tagon li restis kaj komencis troli Lamporton, kaj de ekstere ŝajnis, ke tio estas ludo kaj Eli estas neadekvata. Ke ĉi tio estas ia trolo, kiu komencis elpreni la cerbon de Leslie. Fakte, la fakto estas, ke ili estas preskaŭ plej bonaj amikoj, ili estas amikoj dum multaj jaroj, kaj ĉi tio estas nur tia amika petolo. Tio estas, la ŝerco funkciis – ĉiuj homoj ĉirkaŭe enamiĝis, prenis ĝin laŭvalore.

Tri gajnintoj de la Premio Dijkstra: kiel iris Hydra 2019 kaj SPTDC 2019

Aparte, mi ŝatus noti kiom da amo kaj penado la parolantoj metis en ĉi tion. Iu staris en la diskutejo ĝis la lasta minuto, preskaŭ dum horoj. La paŭzo finiĝis antaŭ longe, la raporto komenciĝis, finiĝis, komenciĝis la sekva paŭzo — kaj Dmitrij Vjukov daŭre respondis demandojn. Ankaŭ al mi okazis interesa rakonto - surprizinte Cliff Click, mi ricevis ne nur klaran kaj racian klarigon pri tiu provoka diskuto pri la manko de testoj. por certaj aferoj en H2O, sed ankaŭ ricevis plenan recenzon pri ĝi nova lingvo AA. Mi neniam petis ĉi tion: mi nur demandis, kion vi povas legi pri AA (montriĝis, ke vi povas aŭskulti podkasto), kaj anstataŭe Cliff pasigis duonhoron parolante pri la lingvo kaj kontrolante, ke tio, kion li diris, estas ĝuste komprenita. Mirinda. Ni devas skribi habrapost pri AA. Alia nekutima sperto estis spekti la procezon de revizio de tirpeto en Kotlin. Estas vere magia sento kiam vi eniras malsamajn diskutgrupojn, malsamajn parolantojn, kaj estas plonĝitaj en tute novan mondon. Ĉi tio estas io sur la nivelo "Tie, Tie" de Radiohead.

Tri gajnintoj de la Premio Dijkstra: kiel iris Hydra 2019 kaj SPTDC 2019

Angla

Hydra 2019 estas nia unua konferenco kie la ĉefa lingvo estas la angla. Ĉi tio alportas kaj ĝiajn avantaĝojn kaj ĝiajn defiojn. Evidenta avantaĝo estas, ke homoj ne nur venas al la konferenco el Rusio, do inter la partoprenantoj oni povas renkonti inĝenierojn el Eŭropo kaj sciencistojn el Anglio. Parolantoj alportas siajn studentojn. Ĝenerale, gravaj parolantoj havas multe pli da instigo por iri al tia konferenco. Imagu, ke vi estas preleganto en tute ruslingva konferenco: vi donis vian raporton, defendis la diskutejon, kaj poste kio? Vojaĝi ĉirkaŭ la urbo kaj vidi turismajn lokojn? Fakte, vere popularaj parolantoj jam sufiĉe vidis ĉion en la mondo, ili ne volas iri vidi leonojn kaj levpontojn, ili enuas. Se ĉiuj raportoj estas en la angla, ili povas ĝenerale partopreni la konferencon, amuziĝi, aliĝi al diskutejoj ktp. La etoso estas sufiĉe amika al la parolantoj.

Tri gajnintoj de la Premio Dijkstra: kiel iris Hydra 2019 kaj SPTDC 2019

La evidenta malavantaĝo estas, ke ne ĉiuj komfortas komuniki en la angla. Multaj komprenas bone, sed parolas malbone. Ĝenerale, ordinaraj aferoj, kiuj estis solvitaj en malsamaj manieroj. Ekzemple kelkaj diskutejoj komenciĝis en la rusa, sed tuj ŝanĝiĝis al la angla, kiam aperis la unua anglalingva partoprenanto.

Mi mem devis fari la komencajn kaj fermajn inkludojn de la reta elsendo ekskluzive en la angla kaj partopreni kelkajn registritajn intervjuojn kun fakuloj. Kaj ĉi tio estis vera defio por mi, kiu ne estos baldaŭ forgesita. Iam Oleg Anastasyev (m0nsmind) simple diris al mi, ke mi restu sidanta kun ili dum la intervjuo, kaj mi estis tro malrapida por kompreni kion tio signifas.

Aliflanke, estis tre agrable, ke homoj faris demandojn ĉe la raportoj kun bruego. Ne nur denaskuloj, sed ĉiuj ĝenerale, ĝi bone funkciis. Ĉe aliaj konferencoj, oni ofte vidas, ke homoj embarasas demandi demandojn de la spektantaro en rompita angla, kaj povas nur elpremi ion en la diskutejo. Ĉi tio estis tute malsama ĉi tie. Relative parolante, iu Cliff Klako iom pli frue finis siajn raportojn, kaj post tio la demandoj sekvis en kontinua sinsekvo, la konversacio moviĝis en la diskutejon – sen mallertaj paŭzoj aŭ interrompoj. La sama validas por la sesio pri demandoj kaj respondoj de Leslie Lamport; la prezentisto preskaŭ ne devis demandi siajn demandojn, la partoprenantoj elpensis ĉion.

Estis ĉiaj etaj aferoj, kiujn malmultaj homoj rimarkas, sed ili ekzistas. Pro la fakto ke la konferenco estas en la angla, la dezajno de tiaj aĵoj kiel flugfolioj kaj mapoj estas pli malpeza kaj pli konciza. Ne necesas duobligi lingvojn kaj malordigi la dezajnon.

Sponsoroj kaj ekspozicio

Niaj sponsoroj multe helpis nin en la kreado de la konferenco. Dank' al ili ĉiam estis io por fari dum paŭzoj.

Ĉe la stando Deutsche Bank TechCenter vi povus babili kun inĝenieroj de multfadenaj sistemoj, solvi iliajn problemojn el via kapo, gajni memorindajn premiojn kaj simple amuziĝi.

Tri gajnintoj de la Premio Dijkstra: kiel iris Hydra 2019 kaj SPTDC 2019

Ĉe la stando Konturo ni povus paroli pri siaj propraj sistemoj, kaj malfermitaj kaj malfermaj fontoj: distribuita en-memora datumbazo, distribuita binara protokolo, mikroserva orkestra sistemo, universala transporto por telemetrio ktp. Kaj kompreneble, enigmoj kaj konkursoj, glumarkoj kun binara kato kaj la Suferanta Mezepoko, donacoj kiel la libro de Martin Kleppmann kaj LEGO-figuroj.

Bonvolu noti, ke la analizo de Kontur-problemoj jam estas publikigita sur Habré. Bona analizo, valoras rigardi.

Tri gajnintoj de la Premio Dijkstra: kiel iris Hydra 2019 kaj SPTDC 2019

Tiuj, kiuj deziris, povis aĉeti ĉiajn librojn kaj diskuti ilin kun kolegoj. Tuta homamaso kolektiĝis por la aŭtografa sesio!

Tri gajnintoj de la Premio Dijkstra: kiel iris Hydra 2019 kaj SPTDC 2019

Rezultoj

La Hydra Konferenco kaj SPTDC School estas tre gravaj eventoj por ni kiel la organiza firmao kaj por la tuta komunumo. Ĉi tio estas ŝanco rigardi en nian estontecon, evoluigi unuecan koncipan kadron por diskuti modernajn problemojn, kaj rigardi pli detale interesajn direktojn. Multfadenado ekzistas de tre longa tempo, sed daŭris tutan jardekon post kiam la unua vere plurkerna procesoro aperis por ke la fenomeno disvastiĝis. Kion ni aŭdis ĉe la raportoj ĉi-semajne ne estas pasemaj novaĵoj, sed la vojo al brila estonteco, kiun ni sekvos en la venontaj jaroj. Ne estos spoilers pri la sekva Hydra en ĉi tiu afiŝo, sed vi povas esperi la plej bonan. Se vi interesiĝas pri tiaj aferoj, vi eble volas kontroli niajn aliajn eventojn, kiel malmolajn konferencajn paroladojn. Joker 2019DotNext 2019 Moskvo. Ĝis revido ĉe la venontaj konferencoj!

Tri gajnintoj de la Premio Dijkstra: kiel iris Hydra 2019 kaj SPTDC 2019

fonto: www.habr.com

Aldoni komenton