Tliet rebbieħa tal-Premju Dijkstra: kif marru Hydra 2019 u SPTDC 2019

Tliet rebbieħa tal-Premju Dijkstra: kif marru Hydra 2019 u SPTDC 2019

Aktar reċentement, mit-8 sat-12 ta' Lulju, saru żewġ avvenimenti sinifikanti fl-istess ħin - il-konferenza Hydra u l-iskola SPTDC. F'din il-kariga nixtieq nenfasizza diversi karatteristiċi li ndunajna waqt il-konferenza.

L-akbar kburija ta’ Hydra u l-Iskola huma l-kelliema.

  • Tliet rebbieħa Premjijiet Dijkstra: Leslie Lampport, Maurice Herlihy u Michael Scott. Barra minn hekk, Maurice irċievaha darbtejn. Irċeviet ukoll Leslie Lampport Premju Turing — l-aktar premju ACM prestiġjuż fix-xjenza tal-kompjuter;
  • Il-kreatur tal-kompilatur Java JIT huwa Cliff Click;
  • Iżviluppaturi Corutin - Roman Elizarov (elizarov) u Nikita Koval (ndkoval) għal Kotlin, u Dmitry Vyukov għal Go;
  • Kontributuri għal Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Yandex Database (Semyon Checherinda u Vladislav Kuznetsov);
  • U ħafna nies famużi oħra: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (mudell tal-memorja C++), Pedro Ramalhete (strutturi tad-dejta mingħajr stennija), Alexey Zinoviev (ML), Dmitry Bugaichenko (analiżi tal-grafika).

U din hija diġà Skola:

  • Università Brown (Maurice Herlihy),
  • Università ta' Rochester (Michael Scott),
  • Università ta' Waterloo (Trevor Brown),
  • Università ta' Nantes (Achour Mostefaoui),
  • David Ben-Gurion Università tan-Negev (Danny Hendler),
  • Università ta’ Kalifornja f’Los Angeles (Eli Gafni),
  • Institut polytechnique de Paris (Petr Kuznetsov),
  • Microsoft Research (Leslie Lampport),
  • Riċerka VMware (Ittai Abraham).

Tliet rebbieħa tal-Premju Dijkstra: kif marru Hydra 2019 u SPTDC 2019

Teorija u prattika, xjenza u produzzjoni

Ħa nfakkarkom li l-Iskola SPTDC hija avveniment żgħir għal mitt ruħ u nofs; luminarji ta’ klassi dinjija jinġabru hemm u jitkellmu dwar kwistjonijiet moderni fil-qasam tal-kompjuters distribwit. Hydra hija konferenza tal-kompjuters mqassma ta' jumejn li ssir b'mod parallel. Hydra għandha aktar fokus fuq l-inġinerija, filwaqt li l-Iskola għandha fokus aktar xjentifiku.

Wieħed mill-għanijiet tal-konferenza Hydra huwa li tgħaqqad il-prinċipji xjentifiċi u tal-inġinerija. Min-naħa waħda, dan jinkiseb bl-għażla tar-rapporti fil-programm: flimkien ma 'Lamport, Herlihy u Scott, hemm rapporti ferm aktar applikati minn Alex Petrov, li jikkontribwixxi għal Cassandra, jew Roman Elizarov minn JetBrains. Hemm Martin Kleppman, li kien jibni u jbigħ startups u issa qed jistudja CRDT fl-Università ta’ Cambridge. Iżda l-ħaġa friska hija li Hydra u SPTDC jinżammu ħdejn xulxin - għandhom rapporti differenti, iżda post komuni għall-komunikazzjoni.

Tliet rebbieħa tal-Premju Dijkstra: kif marru Hydra 2019 u SPTDC 2019

Immersjoni

Ħames ijiem wara xulxin tal-Iskola hija avveniment kbir ħafna u ħafna xogħol, kemm għall-parteċipanti kif ukoll għall-organizzaturi. Mhux kulħadd għamilha għall-aħħar jiem. Kien hemm min mar l-Idra u l-Iskola fl-istess ħin, u għalihom l-aħħar jiem irriżultaw li kienu l-aktar mimlija. Dan it-taħwid kollu huwa kkumpensat minn immersjoni oerhört profonda. Dan huwa dovut mhux biss għall-volum, iżda wkoll għall-kwalità tal-materjal. Ir-rapporti u l-lekċers kollha fiż-żewġ avvenimenti ma kinux ippjanati li jkunu introduttorji, għalhekk kull fejn tmur, immedjatament tgħaddas ’il bogħod u fil-fond, u ma titħalliex tmur sal-aħħar nett.

Naturalment, ħafna jiddependi fuq il-preparazzjoni inizjali tal-parteċipant. Kien hemm mument umoristiċi meta żewġ gruppi ta 'nies fil-kuritur iddiskutew b'mod indipendenti r-rapport ta' Heidi Howard: għal xi wħud deher kompletament ordinarju, filwaqt li oħrajn, għall-kuntrarju, ħasbu fil-fond dwar il-ħajja. Interessanti li skont il-parteċipanti tal-kumitati tal-programm (li xtaqu jibqgħu anonimi), ir-rapporti ta’ Hydra u l-lectures tal-Iskola fl-avvenimenti tagħhom jistgħu jkunu kwalifikati żżejjed. Pereżempju, jekk junior PHP jasal għal konferenza PHP biex jitgħallem il-ħajja, ikun ftit raxx li wieħed jassumi li għandu għarfien profond dwar l-intern ta 'Zend Engine. Hawnhekk, il-kelliema ma tawx mgħarfa lis-żgħażagħ, iżda immedjatament implikaw ċertu livell ta 'għarfien u fehim. Ukoll, tabilħaqq, il-livell ta 'parteċipanti li joperaw sistemi distribwiti u jiktbu kernels runtime huwa għoli ħafna, dan huwa loġiku. Meta wieħed jiġġudika mir-reazzjoni tal-parteċipanti, kien pjuttost faċli li tagħżel rapport ibbażat fuq il-livell u s-suġġett.

Jekk nitkellmu dwar rapporti speċifiċi, kollha kienu tajbin bil-mod tagħhom. Meta wieħed jiġġudika minn dak li jgħidu n-nies u dak li jista’ jidher mill-formola tal-feedback, wieħed mill-aktar rapporti cool fl-Iskola kien "Istrutturi tad-dejta li ma jimblukkawx" Michael Scott, huwa biss Tore kulħadd barra, huwa għandu klassifikazzjoni anormali ta 'madwar 4.9.

Tliet rebbieħa tal-Premju Dijkstra: kif marru Hydra 2019 u SPTDC 2019

Metakonferenza

Ferm qabel il-bidu ta 'Hydra u l-Iskola, Ruslan ARG89 assuma li jkun hemm xi tip ta '"meta-konferenza" - konferenza ta' konferenzi, fejn il-parteċipanti ewlenin kollha ta 'avvenimenti oħra jkunu awtomatikament miġbudin fiha, bħallikieku ġo toqba sewda. U hekk ġara! Pereżempju, fost l-istudenti tal-Iskola kien innutat Ruslan Cheremin minn DeutscheBank, speċjalista magħruf fil-multithreading.

Tliet rebbieħa tal-Premju Dijkstra: kif marru Hydra 2019 u SPTDC 2019

U tal-membri Hydra ġew innutati Vadim Tsesko (incubi) U Andrey Pangin (apangin) mill-kumpanija Odnoklassniki. (Fl-istess ħin, Vadim għenna wkoll nagħmlu żewġ intervisti eċċellenti ma’ Martin Kleppman - wieħed għal Habr, u l-oħra għat-telespettaturi tax-xandira onlajn). Kien hemm membri Kumitat tal-Programm DotNext, kelliema famużi Anatoly Kulakov u Igor Labutin. Tal-Javist kien hemm Dmitry Alexandrov и Vladimir Ivanov. Normalment tara dawn in-nies f'postijiet kompletament differenti - dotnetists fuq DotNext, javaists fuq Joker, eċċ. U għalhekk joqogħdu ħdejn xulxin fir-rapporti ta 'Hydra u flimkien jiddiskutu problemi fuq il-buffs. Meta din id-diviżjoni kemmxejn artifiċjali bil-lingwi u t-teknoloġiji tal-ipprogrammar tisparixxi, joħorġu l-karatteristiċi tal-qasam tas-suġġett: speċjalisti dinamiċi tal-runtime jikkomunikaw ma 'runtimers oħra, riċerkaturi tat-teorija tal-kompjuters distribwiti jargumentaw bis-sħana ma' riċerkaturi oħra, inġiniera tal-magni tad-database jgħamlu l-whiteboard, eċċ. .

Fir-rapport skond il-mudell tal-memorja C++ l-iżviluppaturi OpenJDK kienu bilqiegħda fil-filliera ta 'quddiem (mill-inqas nafhom mill-vista, iżda mhux il-Pythonists, forsi l-Pythonists kienu hemm ukoll). Fil-fatt, hemm xi ħaġa hekk Shipilevsky f'dan ir-rapport... Ori ma jgħidx eżattament l-istess ħaġa, iżda ħarsa bir-reqqa tista 'tiskopri paralleli. Anke wara dak kollu li ġara fl-aħħar standards C++, problemi bħal valuri ta 'l-arja rqiqa għadhom ma ġewx iffissati, u għalhekk tista' tmur għal rapport bħal dan u tisma 'kif in-nies "fuq in-naħa l-oħra tal-barrikata" huma jippruvaw jirranġaw dawn il-problemi, Kif jirraġunaw, wieħed jista 'jiġi impressjonat bl-approċċi għas-soluzzjoni misjuba (Ori għandha waħda mill-għażliet ta' tiffissa).

Kien hemm ħafna parteċipanti fil-kumitati tal-programmi u l-magni tal-komunità. Kulħadd solva l-problemi interreliġjużi tiegħu, bena pontijiet, u akkwista konnessjonijiet. Dan użajt kull fejn stajt, u, pereżempju, qbilna ma’ Alexander Borgardt minn Grupp ta' Utenti C++ ta' Moska flimkien jiktbu artiklu fuq skala sħiħa dwar atturi u asinkronija f'C++.

Tliet rebbieħa tal-Premju Dijkstra: kif marru Hydra 2019 u SPTDC 2019

Fir-ritratt: Leonid Talalaev (ltalal, ix-xellug) u Oleg Anastasyev (m0nstermind, dritt), żviluppaturi ewlenin f'Odnoklassniki

Żoni ta 'diskussjoni tan-nar u buffs

Fil-konferenzi dejjem ikun hemm parteċipanti li jafu s-suġġett kif ukoll il-kelliema (u xi drabi saħansitra aħjar mill-kelliema - per eżempju, meta żviluppatur tal-qalba ta 'xi teknoloġija jkun fost il-parteċipanti). Kien hemm ħafna parteċipanti esperti ħafna bħal dawn fuq Hydra. Per eżempju, f'xi punt madwar Alex Petrov javżak dwar Cassandra, tant nies iffurmaw li ma setax iwieġeb lil kulħadd. F'xi punt, Alex kien imbuttat bla xkiel lejn il-ġenb u beda jitqatta 'b'mistoqsijiet, iżda l-bandiera li taqa' ttieħdet minn żviluppatur magħruf Rust fiċ-ċrieki Tyler Neely u bbilanċjat it-tagħbija perfettament. Meta staqsejt lil Tyler għall-għajnuna fl-intervista onlajn, kulma staqsa kien, "Meta nibdew?"

Tliet rebbieħa tal-Premju Dijkstra: kif marru Hydra 2019 u SPTDC 2019

Xi drabi, l-ispirtu ta’ diskussjoni saħansitra daħal fir-rapporti: Nikita Koval organizza sessjoni ta’ Q&A f’daqqa, u qasmet ir-rapport f’diversi taqsimiet.

U viċi versa, fuq BOF għal multi-threading ftakru dwar memorja mhux volatili, inġibdu lejn dan il-bof Pedro Ramalhete bħala l-ispeċjalista ewlieni, u spjega kollox lil kulħadd (fil-qosor, memorja mhux volatili mhix theddida għalina fil-futur qarib). Wieħed mill-ospiti ta 'dan il-bof, mill-mod, kien Vladimir Sitnikov, li jservi fuq il-kumitati tal-programmi ta' xi numru miġnun ta' konferenzi... donnu qisu ħamsa kull darba bħalissa. Fil-buff li jmiss dwar "Modern CS fid-dinja reali" iddiskutew ukoll NVM u waslu għal dan kompletament waħedhom.

Tliet rebbieħa tal-Premju Dijkstra: kif marru Hydra 2019 u SPTDC 2019

Kapaċi naqsam super-għarfien li anke dawk involuti direttament fl-istorja forsi ma ndunawx. Eli Gafni għamel filgħaxija tal-ewwel jum tal-Iskola, u l-għada baqa’ u beda jħarbat lil Lamport, u minn barra deher li din kienet logħba u Eli ma kienx adegwat. Li dan huwa xi tip ta’ troll li ħarġet biex joħroġ il-moħħ ta’ Leslie. Fil-fatt, il-fatt hu li huma kważi l-aqwa ħbieb, ilhom ħbieb għal ħafna snin, u dan huwa biss tali banter amikevoli. Jiġifieri, iċ-ċajta ħadmet - in-nies kollha ta’ madwar waqgħu għaliha, ħaduha bħala valur nominali.

Tliet rebbieħa tal-Premju Dijkstra: kif marru Hydra 2019 u SPTDC 2019

Separatament, nixtieq ninnota kemm il-kelliema għamlu mħabba u sforz. Xi ħadd baqa’ fiż-żona tad-diskussjoni sal-aħħar minuta, kważi għal sigħat. Il-waqfa spiċċat żmien twil ilu, ir-rapport beda, spiċċa, beda l-waqfa li jmiss - u Dmitry Vyukov kompla jwieġeb il-mistoqsijiet. Ġratli wkoll storja interessanti - wara li ħadt lil Cliff Click b'sorpriża, irċivejt mhux biss spjegazzjoni ċara u raġonevoli ta' dik id-diskussjoni provokattiva dwar in-nuqqas ta' testijiet. għal ċerti affarijiet fl-H2O, iżda wkoll kisbu reviżjoni sħiħa tagħha lingwa ġdida AA. Qatt ma tlabt dan: staqsejt biss x’tista’ taqra dwar l-AA (irriżulta li tista’ tisma’ podcast), u minflok Cliff għamel nofs siegħa jitkellem dwar il-lingwa u jiċċekkja li dak li kien qed jgħid kien mifhum sew. Marvelous. Irridu niktbu habrapost dwar AA. Esperjenza oħra mhux tas-soltu kienet tara l-proċess ta 'reviżjoni tat-talba tal-ġibda f'Kotlin. Huwa tassew sensazzjoni maġika meta tidħol fi gruppi ta’ diskussjoni differenti, kelliema differenti, u tkun mitfugħ f’dinja kompletament ġdida. Din hija xi ħaġa fil-livell "There, There" ta' Radiohead.

Tliet rebbieħa tal-Premju Dijkstra: kif marru Hydra 2019 u SPTDC 2019

Ingliż

Hydra 2019 hija l-ewwel konferenza tagħna fejn il-lingwa ewlenija hija l-Ingliż. Dan iġib kemm il-vantaġġi kif ukoll l-isfidi tiegħu. Vantaġġ ovvju huwa li n-nies mhux biss jiġu għall-konferenza mir-Russja, għalhekk fost il-parteċipanti tista 'tiltaqa' ma 'inġiniera mill-Ewropa u xjenzati mill-Ingilterra. Kelliema jġibu lill-istudenti tagħhom. B'mod ġenerali, kelliema importanti għandhom ħafna aktar motivazzjoni biex imorru għal konferenza bħal din. Immaġina li int kelliem f'konferenza kompletament bil-lingwa Russa: tajt ir-rapport tiegħek, iddefendejt iż-żona tad-diskussjoni, u mbagħad xiex? Ivvjaġġa madwar il-belt u tara postijiet turistiċi? Fil-fatt, kelliema tassew popolari diġà raw biżżejjed minn kollox fid-dinja, ma jridux imorru jaraw l-iljuni u l-pontijiet li jdubu, huma bored. Jekk ir-rapporti kollha huma bl-Ingliż, jistgħu jipparteċipaw fil-konferenza fuq bażi ġenerali, jieħdu pjaċir, jissieħbu f'oqsma ta 'diskussjoni, eċċ. L-atmosfera hija pjuttost amikevoli lejn il-kelliema.

Tliet rebbieħa tal-Premju Dijkstra: kif marru Hydra 2019 u SPTDC 2019

L-iżvantaġġ ovvju huwa li mhux kulħadd huwa komdu jikkomunika bl-Ingliż. Ħafna jifhmu tajjeb, imma jitkellmu ħażin. B'mod ġenerali, affarijiet ordinarji li ġew solvuti b'modi differenti. Pereżempju, xi oqsma ta 'diskussjoni bdew bir-Russu, iżda immedjatament qalbu għall-Ingliż meta deher l-ewwel parteċipant li jitkellem bl-Ingliż.

Jien stess kelli nagħmel l-inklużjonijiet tal-ftuħ u tal-għeluq tax-xandira onlajn esklussivament bl-Ingliż u nipparteċipa fi ftit intervisti on-record ma' esperti. U din kienet sfida reali għalija li mhux se tinsa dalwaqt. F'xi punt Oleg Anastasyev (m0nstermind) sempliċement qaltli biex nibqa’ bilqiegħda magħhom waqt l-intervista, u kont bil-mod wisq biex nifhem dak li jfisser.

Min-naħa l-oħra, kien pjaċevoli ħafna li n-nies staqsew mistoqsijiet fir-rapporti b'bang. Mhux biss kelliema nattivi, iżda kulħadd b'mod ġenerali, ħadmet tajjeb. F'konferenzi oħra, ħafna drabi jidher li n-nies huma imbarazzati li jistaqsu mistoqsijiet mill-udjenza b'Ingliż miksur, u jistgħu biss jagħfas xi ħaġa fil-qasam tad-diskussjoni. Dan kien kompletament differenti hawn. Relattivament, xi Cliff Click temmew ir-rapporti tiegħu ftit qabel, u wara li l-mistoqsijiet segwew f'sekwenza kontinwa, il-konversazzjoni daħlet fiż-żona ta 'diskussjoni - mingħajr pawżi skomdi jew interruzzjonijiet. L-istess japplika għas-sessjoni Q&A ta’ Leslie Lamport; il-preżentatur prattikament ma kellux għalfejn jistaqsi l-mistoqsijiet tiegħu, il-parteċipanti ħarġu b’kollox.

Kien hemm kull xorta ta’ affarijiet żgħar li ftit nies jinnutaw, iżda jeżistu. Minħabba l-fatt li l-konferenza hija bl-Ingliż, id-disinn ta 'affarijiet bħal fuljetti u mapep huwa eħfef u aktar konċiż. M'hemmx għalfejn tidduplika l-lingwi u tħaffir id-disinn.

Sponsors u wirja

L-isponsors tagħna għenuna ħafna fil-ħolqien tal-konferenza. Bis-saħħa tagħhom, dejjem kien hemm xi tagħmel waqt il-waqfien.

Fl-istand Deutsche Bank TechCenter inti tista 'tkellem ma' inġiniera ta 'sistemi multi-threaded, issolvi l-problemi tagħhom minn rasek, tirbaħ premjijiet memorabbli u sempliċement tieħu ħin tajjeb.

Tliet rebbieħa tal-Premju Dijkstra: kif marru Hydra 2019 u SPTDC 2019

Fl-istand Kontorn nistgħu nitkellmu dwar is-sistemi tagħhom stess, kemm open source kif ukoll open source: database fil-memorja distribwita, log binarju distribwit, sistema ta 'orkestrazzjoni ta' mikroservizzi, trasport universali għat-telemetrija, eċċ. U ovvjament, puzzles u kompetizzjonijiet, stikers b'qattus binarju u l-Medju Evu tat-Tbatija, rigali bħall-ktieb ta 'Martin Kleppmann u figuri LEGO.

Jekk jogħġbok innota li l-analiżi tal-problemi tal-Kontur diġà hija ippubblikat fuq Habré. Analiżi tajba, ta 'min ħarsa.

Tliet rebbieħa tal-Premju Dijkstra: kif marru Hydra 2019 u SPTDC 2019

Dawk li xtaqu setgħu jixtru kull tip ta’ kotba u jiddiskutuhom mal-kollegi. Folla sħiħa nġabret għas-sessjoni tal-awtografi!

Tliet rebbieħa tal-Premju Dijkstra: kif marru Hydra 2019 u SPTDC 2019

Riżultati ta '

Il-Konferenza Hydra u l-Iskola SPTDC huma avvenimenti importanti ħafna għalina bħala l-kumpanija organizzattiva u għall-komunità kollha. Dan huwa ċans li nħarsu lejn il-futur tagħna, niżviluppaw qafas kunċettwali unifikat biex niddiskutu problemi moderni, u nagħtu ħarsa aktar mill-qrib lejn direzzjonijiet interessanti. Il-multithreading ilu jseħħ għal żmien twil ħafna, iżda ħa għaxar snin sħaħ wara li l-ewwel proċessur tassew multi-core deher biex il-fenomenu jinfirex. Dak li smajna fir-rapporti din il-ġimgħa mhix aħbar qasira, iżda t-triq għal futur sabiħ li se nsegwu fis-snin li ġejjin. Mhux se jkun hemm spoilers għall-Hydra li jmiss f'din il-kariga, iżda tista 'tama għall-aħjar. Jekk int interessat fi kwistjonijiet bħal dawn, tista' tkun trid tiċċekkja l-avvenimenti l-oħra tagħna, bħal taħditiet iebsin tal-konferenzi Joker 2019 jew DotNext 2019 Moska. Narawkom fil-konferenzi li jmiss!

Tliet rebbieħa tal-Premju Dijkstra: kif marru Hydra 2019 u SPTDC 2019

Sors: www.habr.com

Żid kumment