Twa gayan Dijkstra Prize: ki jan Hydra 2019 ak SPTDC 2019 te ale

Twa gayan Dijkstra Prize: ki jan Hydra 2019 ak SPTDC 2019 te ale

Pi resamman, soti nan 8 Jiyè a 12, de evènman enpòtan te pran plas ansanm - konferans lan Idra ak lekòl SPTDC. Nan pòs sa a mwen ta renmen mete aksan sou plizyè karakteristik ke nou remake pandan konferans la.

Pi gwo fyète Hydra ak Lekòl la se moun kap pale yo.

  • Twa loreya Dijkstra Prizes: Leslie Lampport, Maurice Herlihy ak Michael Scott. Anplis, Maurice te resevwa li de fwa. Leslie Lampport te resevwa tou Prim Turing — prim ACM ki pi prestijye nan syans enfòmatik;
  • Kreyatè Java JIT du se Cliff Click;
  • Devlopè Corutin - Roman Elizarov (elizarov) ak Nikita Koval (ndkoval) pou Kotlin, ak Dmitry Vyukov pou Go;
  • Kontribye Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Yandex Database (Semyon Checherinda ak Vladislav Kuznetsov);
  • Ak anpil lòt moun ki pi popilè: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (modèl memwa C++), Pedro Ramalhete (estrikti done san rete tann), Alexey Zinoviev (ML), Dmitry Bugaichenko (analiz graf).

E sa se deja Lekol:

  • Brown University (Maurice Herlihy),
  • Inivèsite Rochester (Michael Scott),
  • Inivèsite Waterloo (Trevor Brown),
  • University of Nantes (Achour Mostefaoui),
  • David Ben-Gurion University of the Negev (Danny Hendler),
  • Inivèsite Kalifòni nan Los Angeles (Eli Gafni),
  • Enstiti Polytechnique de Paris (Petr Kuznetsov),
  • Microsoft Research (Leslie Lampport),
  • VMware Research (Ittai Abraham).

Twa gayan Dijkstra Prize: ki jan Hydra 2019 ak SPTDC 2019 te ale

Teyori ak pratik, syans ak pwodiksyon

Kite m raple w ke Lekòl SPTDC a se yon ti evènman pou yon santèn moun ak demi; limyè mondyal yo rasanble la epi pale sou pwoblèm modèn nan domèn enfòmatik distribiye. Hydra se yon konferans enfòmatik distribiye de jou ki te fèt an paralèl. Hydra gen yon konsantre plis jeni, pandan y ap Lekòl la gen yon konsantre plis syantifik.

Youn nan objektif konferans Hydra se konbine prensip syantifik ak jeni. Sou yon bò, sa a se reyalize pa seleksyon an nan rapò nan pwogram nan: ansanm ak Lamport, Herlihy ak Scott, gen anpil plis aplike rapò pa Alex Petrov, ki moun ki kontribye nan Cassandra, oswa Roman Elizarov soti nan JetBrains. Gen Martin Kleppman, ki te konn konstwi ak vann startups e kounye a ap etidye CRDT nan Cambridge University. Men, bagay la fre se ke Hydra ak SPTDC yo fèt kòt a kòt - yo gen rapò diferan, men yon kote komen pou kominikasyon.

Twa gayan Dijkstra Prize: ki jan Hydra 2019 ak SPTDC 2019 te ale

Immersion

Senk jou nan lekòl la nan yon ranje se yon evènman trè gwo ak anpil kantite travay, tou de pou patisipan yo ak òganizatè yo. Se pa tout moun ki te rive nan dènye jou yo. Te gen moun ki te ale nan Hydra ak Lekòl an menm tan, ak pou yo dènye jou yo te tounen vin pi evènman an. Tout meli melo sa a konpanse pa yon imèsyon ekstrèmman pwofon. Sa a se akòz pa sèlman nan volim nan, men tou, nan bon jan kalite a nan materyèl la. Tout rapò ak konferans nan tou de evènman yo pa te planifye yo dwe entwodiksyon, kidonk kèlkeswa kote ou ale, ou imedyatman plonje byen lwen ak gwo twou san fon, epi yo pa kite ale jouk nan fen anpil.

Natirèlman, anpil depann sou preparasyon inisyal la nan patisipan an. Te gen yon moman komik lè de gwoup moun nan koridò a poukont yo te diskite sou rapò Heidi Howard: pou kèk moun li te sanble konplètman òdinè, pandan ke lòt moun, okontrè, te panse pwofondman sou lavi. Li enteresan ke dapre patisipan yo nan komite pwogram yo (ki te vle rete anonim), rapò Hydra ak konferans Lekòl la nan evènman yo ta ka twò kalifye. Pou egzanp, si yon PHP jinyò te vini nan yon konferans PHP pou aprann lavi, li ta yon ti kras gratèl sipoze ke li gen konesans pwofon sou entèn yo nan Zend Engine. Isit la, moun ki pale yo pa t 'kiyè-manje jinyò yo, men imedyatman implique yon sèten nivo konesans ak konpreyansyon. Oke, tout bon, nivo patisipan yo ki opere sistèm distribye ak ekri nwayo ègzekutabl trè wo, sa a se lojik. Jije pa reyaksyon patisipan yo, li te byen fasil yo chwazi yon rapò ki baze sou nivo a ak sijè.

Si nou pale sou rapò espesifik, yo tout te bon nan pwòp fason yo. Jije pa sa moun di ak sa ki ka wè nan fòm fidbak la, youn nan rapò ki pi fre nan Lekòl la te "Estrikti done ki pa bloke" Michael Scott, li jis chire tout moun apa, li gen yon evalyasyon nòmal nan alantou 4.9.

Twa gayan Dijkstra Prize: ki jan Hydra 2019 ak SPTDC 2019 te ale

Metakonferans

Lontan anvan kòmansman Hydra ak Lekòl la, Ruslan ARG89 sipoze ke ta gen yon kalite "meta-konferans" - yon konferans nan konferans, kote tout patisipan yo tèt nan lòt evènman yo ta otomatikman aspire nan li, tankou si nan yon twou nwa. Se konsa li te rive! Pou egzanp, nan mitan elèv yo nan Lekòl la li te remake Ruslan Cheremin soti nan DeutscheBank, yon espesyalis byen koni nan multithreading.

Twa gayan Dijkstra Prize: ki jan Hydra 2019 ak SPTDC 2019 te ale

Ak nan manm Hydra yo te remake Vadim Tsesko (enkibi) ak Andrey Pangin (apangin) soti nan konpayi an Odnoklassniki. (An menm tan an, Vadim te ede nou tou fè de entèvyou ekselan ak Martin Kleppman - youn pou Habr, ak lòt la pou telespektatè emisyon sou entènèt la). Te gen manm Komite Pwogram DotNext, oratè pi popilè Anatoly Kulakov ak Igor Labutin. Nan Javis la te genyen Dmitri Alexandrov и Vladimir Ivanov. Anjeneral ou wè moun sa yo nan kote konplètman diferan - dotnetists sou DotNext, javaists sou Joker, ak sou sa. Se konsa, yo chita kòt a kòt nan rapò Hydra ak ansanm diskite sou pwoblèm sou amater yo. Lè divizyon sa a yon ti jan atifisyèl nan langaj pwogramasyon ak teknoloji disparèt, karakteristik yo nan matyè a parèt: espesyalis dinamik ègzekutabl kominike ak lòt runtimers, distribye chèchè teyori enfòmatik diskite cho ak lòt chèchè, enjenyè motè baz done foule whiteboard la, ak sou sa. .

Nan rapò a dapre modèl memwa C++ devlopè OpenJDK yo te chita nan premye ranje (omwen mwen konnen yo pa je, men se pa Pythonists yo, petèt Pythonists yo te la tou). An reyalite, gen yon bagay konsa Shipilevsky nan rapò sa a... Ori pa di egzakteman menm bagay la, men yon gade atansyon ka detekte paralèl. Menm apre tout sa ki te pase nan dènye estanda C++ yo, pwoblèm tankou soti nan valè lè mens yo te toujou pa fiks, epi konsa ou ta ka ale nan yon rapò sa yo epi koute ki jan moun "sou lòt bò a nan barikad la" yo ye. ap eseye ranje pwoblèm sa yo, Kòm yo rezone, yon moun ta ka enpresyone pa apwòch yo nan solisyon an yo te jwenn (Ori gen youn nan opsyon yo ranje).

Te gen anpil patisipan nan komite pwogram ak motè kominote yo. Tout moun te rezoud pwoblèm entèrelijyon yo, te bati pon, epi akeri koneksyon. Mwen te itilize sa a tout kote mwen te kapab, epi, pou egzanp, nou te dakò ak Alexander Borgardt soti nan Moskou C++ Itilizatè Gwoup ansanm ekri yon atik konplè sou aktè ak asynchrony nan C++.

Twa gayan Dijkstra Prize: ki jan Hydra 2019 ak SPTDC 2019 te ale

Nan foto a: Leonid Talalaev (ltalal, agoch) ak Oleg Anastasyev (m0nstermind, adwat), dirijan devlopè nan Odnoklassniki

Zòn diskisyon dife ak amater

Nan konferans toujou gen patisipan ki konnen sijè a kòm byen ke moun kap pale yo (e pafwa menm pi bon pase moun kap pale yo - pou egzanp, lè yon pwomotè nan nwayo a nan kèk teknoloji se nan mitan patisipan yo). Te gen yon anpil nan patisipan sa yo trè ekspè sou Hydra. Pou egzanp, nan kèk pwen alantou Alex Petrov di sou Cassandra, anpil moun te fòme ke li pa t 'kapab reponn tout moun. Nan kèk pwen, Alex te san pwoblèm pouse sou bò a epi yo te kòmanse chire ak kesyon, men drapo a tonbe te ranmase pa yon byen li te ye Rust devlopè nan sèk yo. Tyler Neely ak balanse chaj la parfe. Lè mwen te mande Tyler èd ak entèvyou sou entènèt la, tout sa li te mande se, "Kilè nou kòmanse?"

Twa gayan Dijkstra Prize: ki jan Hydra 2019 ak SPTDC 2019 te ale

Pafwa, lespri diskisyon an menm te kraze nan rapò yo: Nikita Koval te òganize yon sesyon Q&A toudenkou, divize rapò a an plizyè seksyon.

Ak vis vèrsa, sou BOF pou milti-threading yo sonje sou memwa ki pa temèt, yo te atire bof sa a. Pedro Ramalhete kòm espesyalis an chèf, epi li te eksplike tout bagay pou tout moun (nan ti bout tan, memwa ki pa temèt se pa yon menas pou nou nan fiti prè). Youn nan lame yo nan bof sa a, nan chemen an, te Vladimir Sitnikov, ki moun ki sèvi nan komite pwogram yo nan kèk nimewo fou nan konferans ... li sanble tankou senk nan yon moman kounye a. Nan pwochen buff sou "Modern CS nan mond reyèl la" yo te diskite tou sou NVM epi yo te vin nan sa a konplètman poukont yo.

Twa gayan Dijkstra Prize: ki jan Hydra 2019 ak SPTDC 2019 te ale

Mwen ka pataje yon super-insight ke menm moun ki patisipe dirèkteman nan istwa a ta ka pa te remake. Eli Gafni te fè nan aswè premye jou lekòl la, e nan demen li te rete epi li te kòmanse trole Lamport, e soti deyò a te sanble ke sa a te jwèt ak Eli te ensifizan. Ke sa a se yon kalite trol ki mete deyò nan sèvo Leslie a. An reyalite, reyalite a se ke yo prèske pi bon zanmi yo, yo te zanmi pou anpil ane, ak sa a se jis sa yo plezi zanmitay. Sa se, blag la te travay - tout moun ki alantou yo te tonbe pou li, te pran li nan valè nominal.

Twa gayan Dijkstra Prize: ki jan Hydra 2019 ak SPTDC 2019 te ale

Separeman, mwen ta renmen remake konbyen lanmou ak efò oratè yo mete nan sa. Yon moun te kanpe nan zòn diskisyon an jiska dènye minit, prèske pou èdtan. Repo a te fini yon bon bout tan de sa, rapò a te kòmanse, te fini, pwochen repo a te kòmanse - ak Dmitri Vyukov kontinye reponn kesyon yo. Yon istwa enteresan te rive m tou - lè m te pran Cliff Click pa sipriz, mwen te resevwa non sèlman yon eksplikasyon klè ak rezonab sou diskisyon pwovokan sa a sou mank de tès yo. pou sèten bagay nan H2O, men tou te resevwa yon revizyon konplè sou li nouvo lang AA. Mwen pa janm mande sa a: mwen jis mande sa ou ka li sou AA (li te tounen soti ou ka koute podcast), epi pito Cliff te pase yon demi èdtan ap pale sou lang nan epi tcheke si sa l t ap di a te byen konprann. Bèl bagay. Nou bezwen ekri yon habrapost sou AA. Yon lòt eksperyans etranj te gade pwosesis revizyon demann rale nan Kotlin. Se vre wi: yon santiman majik lè ou mache nan diferan gwoup diskisyon, diferan oratè, epi yo plonje nan yon tout nouvo mond. Sa a se yon bagay sou nivo "There, There" pa Radiohead.

Twa gayan Dijkstra Prize: ki jan Hydra 2019 ak SPTDC 2019 te ale

Angle lang

Hydra 2019 se premye konferans nou an kote lang prensipal la se angle. Sa a pote tou de avantaj li yo ak defi li yo. Yon avantaj evidan se ke moun pa sèlman vini nan konferans lan soti nan Larisi, kidonk nan mitan patisipan yo ou ka rankontre enjenyè soti nan Ewòp ak syantis soti nan Angletè. Oratè pote elèv yo. An jeneral, oratè enpòtan yo gen plis motivasyon pou yo ale nan yon konferans konsa. Imajine ke ou se yon oratè nan yon konferans ki pale konplètman Ris: ou te bay rapò ou a, defann zòn nan diskisyon, ak Lè sa a, kisa? Vwayaje nan vil la epi wè kote touris yo? An reyalite, moun ki pale reyèlman popilè yo te deja wè ase nan tout bagay nan mond lan, yo pa vle ale wè lyon ak drawbridge, yo ap anwiye. Si tout rapò yo an Angle, yo ka patisipe nan konferans lan sou yon baz jeneral, pran plezi, rantre nan zòn diskisyon, elatriye. Atmosfè a se byen zanmitay anvè moun ki pale yo.

Twa gayan Dijkstra Prize: ki jan Hydra 2019 ak SPTDC 2019 te ale

Dezavantaj nan evidan se ke se pa tout moun ki konfòtab kominike nan lang angle. Anpil konprann byen, men pale mal. An jeneral, bagay òdinè ki te rezoud nan diferan fason. Pa egzanp, kèk zòn diskisyon yo te kòmanse nan Ris, men imedyatman chanje an angle lè premye patisipan ki pale angle parèt.

Mwen menm mwen te oblije fè enklizyon ouvèti ak fèmen nan emisyon an sou entènèt sèlman an angle epi patisipe nan yon koup nan entèvyou sou dosye ak ekspè. Ak sa a se te yon defi reyèl pou mwen ki pa pral bliye byento. Nan kèk pwen Oleg Anastasyev (m0nstermind) tou senpleman te di m 'rete chita ak yo pandan entèvyou a, epi mwen te twò dousman konprann sa sa vle di.

Nan lòt men an, li te trè bèl ke moun te poze kesyon nan rapò yo ak yon bang. Se pa sèlman moun ki pale natif natal, men tout moun an jeneral, li te travay byen. Nan lòt konferans, li souvan wè ke moun yo jennen poze kesyon nan men odyans lan nan lang angle kase, epi yo ka sèlman peze yon bagay soti nan zòn nan diskisyon. Sa a te konplètman diferan isit la. Relativman pale, kèk Cliff Click te fini rapò li yo yon ti kras pi bonè, epi apre sa kesyon yo te swiv nan yon sekans kontinyèl, konvèsasyon an te deplase nan zòn nan diskisyon - san poz gòch oswa entèripsyon. Menm bagay la tou aplike nan sesyon Q&A Leslie Lamport a; prezantatè a pratikman pa t 'gen poze kesyon li yo, patisipan yo te vini ak tout bagay.

Te gen tout kalite ti bagay ke kèk moun remake, men yo egziste. Akòz lefèt ke konferans lan se nan lang angle, konsepsyon an nan bagay sa yo tankou feyè ak kat se pi lejè ak pi kout. Pa gen okenn nesesite pou kopi lang ak dezord konsepsyon an.

Sponsors ak egzibisyon

Sponsor nou yo te ede nou anpil nan kreye konferans lan. Mèsi a yo, te toujou gen yon bagay yo fè pandan repo.

Nan kanpe la Deutsche Bank TechCenter ou ta ka chat ak enjenyè nan sistèm milti-threaded, rezoud pwoblèm yo soti nan tèt ou, genyen prim memorab epi jis gen yon bon moman.

Twa gayan Dijkstra Prize: ki jan Hydra 2019 ak SPTDC 2019 te ale

Nan kanpe la Kontou nou ta ka pale sou pwòp sistèm yo, tou de louvri ak sous louvri: yon baz done distribye nan memwa, yon log binè distribye, yon sistèm òkestrasyon mikwosèvis, yon transpò inivèsèl pou telemetri, ak sou sa. Ak nan kou, pezeul ak konpetisyon, avek stickers son ak yon chat binè ak soufrans Mwayennaj yo, kado tankou liv Martin Kleppmann a ak figi LEGO.

Tanpri sonje ke analiz pwoblèm Kontur la deja pibliye sou Habré. Bon analiz, vo yon gade.

Twa gayan Dijkstra Prize: ki jan Hydra 2019 ak SPTDC 2019 te ale

Moun ki te vle te kapab achte tout kalite liv epi diskite sou yo ak kòlèg li yo. Tout yon foul moun te rasanble pou sesyon otograf la!

Twa gayan Dijkstra Prize: ki jan Hydra 2019 ak SPTDC 2019 te ale

Rezilta

Konferans Hydra ak Lekòl SPTDC yo se evènman trè enpòtan pou nou kòm konpayi òganizasyon an ak pou tout kominote a. Sa a se yon chans gade nan avni nou an, devlope yon fondasyon konseptyèl inifye pou diskite sou pwoblèm modèn, epi pran yon gade pi pre nan direksyon ki enteresan. Multithreading te alantou pou yon tan trè lontan, men li te pran yon dekad antye apre premye processeur a vrèman milti-nwayo parèt pou fenomèn nan vin gaye toupatou. Sa nou te tande semèn sa a nan rapò yo se pa yon nouvèl eprèv, men wout la nan yon avni briyan ke nou pral swiv nan ane kap vini yo. Pa pral gen okenn spoiler pou pwochen Hydra nan pòs sa a, men ou ka espere pou pi bon an. Si w enterese nan pwoblèm tankou sa yo, ou ta ka vle tcheke lòt evènman nou yo, tankou diskou konferans hardcore. Djokèr 2019 oswa DotNext 2019 Moskou. Nap wè nan pwochen konferans yo!

Twa gayan Dijkstra Prize: ki jan Hydra 2019 ak SPTDC 2019 te ale

Sous: www.habr.com

Add nouvo kòmantè