Vatatu Vahwina Mubairo weDijkstra: mafambiro akaita Hydra 2019 uye SPTDC 2019

Vatatu Vahwina Mubairo weDijkstra: mafambiro akaita Hydra 2019 uye SPTDC 2019

Munguva pfupi yapfuura, kubva munaChikunguru 8 kusvika 12, zviitiko zviviri zvakakosha zvakaitika panguva imwe chete - musangano Hydra uye chikoro SPTDC. Mune ino post ndinoda kuratidza akati wandei maficha atakaona panguva yemusangano.

Kudada kukuru kweHydra neChikoro ndivo vatauri.

  • Vatatu vakahwina mubairo Dijkstra Prizes: Leslie Lamport, Maurice Herlihy naMichael Scott. Uyezve, Maurice akarigamuchira kaviri. Leslie Lamport akagamuchirawo Turing Award - mubairo wakakurumbira weACM musainzi yekombuta;
  • Mugadziri weJava JIT compiler ndiCliff Click;
  • Vagadziri veCorutin - Roman Elizarov (elizarov) naNikita Koval (ndkoval) yaKotlin, naDmitry Vyukov yeGo;
  • Vanopa kuCassandra (Alex Petrov), CosmosDB (Denis Rystsov), Yandex Database (Semyon Checherinda naVladislav Kuznetsov);
  • Uye vamwe vanhu vazhinji vane mukurumbira: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (C ++ memory model), Pedro Ramalhete (kumirira-yemahara data zvimiro), Alexey Zinoviev (ML), Dmitry Bugaichenko (kuongororwa kwegirafu).

Uye ichi chatova Chikoro:

  • Brown University (Maurice Herlihy),
  • Yunivhesiti yeRochester (Michael Scott)
  • Yunivhesiti yeWaterloo (Trevor Brown),
  • Yunivhesiti yeNantes (Achour Mostefaoui),
  • David Ben-Gurion University yeNegev (Danny Hendler),
  • Yunivhesiti yeCalifornia kuLos Angeles (Eli Gafni),
  • Institut polytechnique de Paris (Petr Kuznetsov),
  • Microsoft Research (Leslie Lamport),
  • VMware Research (Ittai Abraham).

Vatatu Vahwina Mubairo weDijkstra: mafambiro akaita Hydra 2019 uye SPTDC 2019

Dzidziso uye maitiro, sainzi uye kugadzira

Rega ndikuyeuchidze kuti Chikoro cheSPTDC chiitiko chidiki chevanhu zana nehafu; zvivheneko zvepasi rose zvinoungana ipapo uye votaura nezvenyaya dzemazuva ano mumunda wekugoverwa komputa. Hydra musangano wemazuva maviri wakagovaniswa wekombuta wakaitwa wakafanana. Hydra ine yakawedzera huinjiniya yakatarisana, nepo Chikoro chine yakawedzera kutarisisa kwesainzi.

Chimwe chezvinangwa zvemusangano weHydra kubatanidza misimboti yesainzi neinjiniya. Kune rumwe rutivi, izvi zvinowanikwa nekusarudzwa kwemishumo muchirongwa: pamwe chete naLamport, Herlihy naScott, kune mishumo yakawanda yakashandiswa naAlex Petrov, anopa Cassandra, kana Roman Elizarov kubva kuJetBrains. Kune Martin Kleppman, aimbovaka nekutengesa zvekutanga uye ari kudzidza CRDT paCambridge University. Asi chinhu chinotonhorera ndechekuti Hydra neSPTDC vanobatwa padivi padivi - vane mishumo yakasiyana, asi inzvimbo yakajairika yekutaurirana.

Vatatu Vahwina Mubairo weDijkstra: mafambiro akaita Hydra 2019 uye SPTDC 2019

Kunyudzwa

Mazuva mashanu eChikoro mumutsara chiitiko chikuru kwazvo uye basa rakawanda, kune vatori vechikamu uye vanoronga. Haasi munhu wose akasvika mumazuva okupedzisira. Paiva nevaya vakaenda kuHydra neChikoro panguva imwe chete, uye kwavari mazuva ekupedzisira akazova ainyanya kuitika. Kupokana kwese uku kunodzikiswa nekunyudzwa kwakadzika kunoshamisa. Izvi zvinokonzerwa kwete chete nehuwandu, asiwo kune hutano hwezvinhu. Yese mishumo uye hurukuro pazviitiko zvese zviri zviviri hazvina kurongwa kuve sumo, saka kwese kwaunoenda, iwe unobva wanyura kure nekudzika, uye hauzoregirwe kusvika kumagumo.

Zvechokwadi, zvakawanda zvinoenderana nekugadzirira kwekutanga kwemutori wechikamu. Pakave nenguva inosetsa apo mapoka maviri evanhu mukoridho akakurukura akazvimirira mushumo waHeidi Howard: kune vamwe zvaiita sechinhu chakajairika chose, nepo vamwe, pane kudaro, vaifunga zvakadzama nezveupenyu. Zvinonakidza kuti maererano nevatori vechikamu vemakomiti epurogiramu (avo vaida kuramba vasingazivikanwe), mishumo yeHydra uye hurukuro dzeChikoro pazviitiko zvavo zvingave zvakanyanyisa. Semuenzaniso, kana PHP junior akauya kumusangano wePHP kuti adzidze hupenyu, zvingava kukurumidza kufunga kuti ane ruzivo rwakadzama pamusoro pevashandi veZend Engine. Pano, vatauri havana kudyisa vechidiki, asi pakarepo vakareva imwe nhanho yeruzivo nekunzwisisa. Zvakanaka, chokwadi, nhanho yevatori vechikamu vanoshandisa masisitimu akagoverwa uye kunyora runtime kernels yakakwira zvakanyanya, izvi zvine musoro. Tichitarisa nekuita kwevatori vechikamu, zvaive nyore kusarudza mushumo zvichienderana nedanho uye musoro.

Kana tikataura nezve mishumo chaiyo, vese vaive vakanaka munzira yavo. Tichitarisa nezvinotaurwa nevanhu uye zvinoonekwa kubva pafomu remhinduro, mumwe wemishumo yaitonhorera paChikoro yaive "Nonblocking data structures" Michael Scott, akangobvarura munhu wese, ane chiyero chisina kujairika chinosvika 4.9.

Vatatu Vahwina Mubairo weDijkstra: mafambiro akaita Hydra 2019 uye SPTDC 2019

Metaconference

Nguva refu isati yatanga Hydra uye Chikoro, Ruslan ARG89 vaifungidzira kuti pachave nerumwe rudzi rwe "meta-conference" - musangano wemisangano, apo vese vatori vechikamu vepamusoro vezvimwe zviitiko vaizongopinzwa mairi, sekunge mugomba dema. Uye ndizvo zvakaitika! Semuenzaniso, pakati pevadzidzi veChikoro chakaonekwa Ruslan Cheremin kubva kuDeutscheBank, nyanzvi inozivikanwa mukuverengera zvakawanda.

Vatatu Vahwina Mubairo weDijkstra: mafambiro akaita Hydra 2019 uye SPTDC 2019

Uye yenhengo dzeHydra dzakaonekwa Vadim Tsesko (incubos) uye Andrey Pangin (apangin) kubva kukambani yeOdnoklassniki. (Panguva imwecheteyo, Vadim akatibatsirawo kuita hurukuro mbiri dzakanaka naMartin Kleppman - imwe yaHabr, uye imwe yevaoni venhepfenyuro yepamhepo). Paive nenhengo DotNext Chirongwa Komiti, vatauri vakakurumbira Anatoly Kulakov naIgor Labutin. VaJavist vaivapo Dmitry Alexandrov ΠΈ Vladimir Ivanov. Kazhinji unoona vanhu ava munzvimbo dzakasiyana zvachose - dotnetists paDotNext, javaists paJoker, zvichingodaro. Uye saka vanogara padivi padivi paHydra mishumo uye pamwe chete vanokurukura matambudziko pane iyo buffs. Kana uku kumwe kukamukana mumitauro yekuronga uye matekinoroji kuchinyangarika, maficha enzvimbo yenyaya anobuda: nyanzvi dzenguva yekumhanya dzinotaurirana nevamwe vanomhanya, vakagovera computing theory vaongorori vanopokana zvakanyanya nevamwe vaongorori, mainjiniya edatabase anozadza bhodhi, zvichingodaro. .

Pamushumo maererano neC ++ memory model ivo vanogadzira OpenJDK vaive vakagara mumutsara wepamberi (zvirinani ini ndinovaziva nekuona, asi kwete maPythonists, pamwe maPythonists aivepowo). Kutaura zvazviri, pane chimwe chinhu saka Shipilevsky mumushumo uyu ... Ori haatauri chinhu chimwe chete, asi kunyatsotarisa kunogona kuona kufanana. Kunyangwe mushure mezvese zvakaitika mune yazvino C ++ zviyero, matambudziko akadai sekunze kwemhepo yakaonda maitiro akange asati agadziriswa, uye saka iwe unogona kuenda kumushumo wakadaro uye unoteerera kuti vanhu "kune rimwe divi rebarricade" vari sei. kuyedza kugadzirisa matambudziko aya, Sezvo vachifunga, munhu anogona kufadzwa nemaitiro emhinduro inowanikwa (Ori ine imwe yesarudzo dzekugadzirisa).

Paive nevazhinji vatori vechikamu mumakomiti ehurongwa uye injini dzenharaunda. Munhu wose akagadzirisa zvinetso zvavo zvezvitendero zvakasiyana, akavaka mabhiriji, uye akawana kubatanidza. Ndakashandisa izvi pose pandaikwanisa, uye, somuenzaniso, takabvumirana naAlexander Borgardt kubva Moscow C++ User Group pamwechete nyora yakazara-chinyorwa nezvevatambi uye asynchrony muC++.

Vatatu Vahwina Mubairo weDijkstra: mafambiro akaita Hydra 2019 uye SPTDC 2019

Pamufananidzo: Leonid Talalaev (ltalal, kuruboshwe) naOleg Anastasyev (m0nstermind, kurudyi), vanotungamira vanogadzira paOdnoklassniki

Moto hurukuro nzvimbo uye buffs

Pamisangano pane nguva dzose vatori vechikamu vanoziva nyaya pamwe nevatauri (uye dzimwe nguva zviri nani kudarika vatauri - somuenzaniso, apo mugadziri wepakati peimwe teknolojia ari pakati pevatori vechikamu). Paive nevazhinji vakadai vane hunyanzvi vatori vechikamu paHydra. Somuenzaniso, pane imwe nguva yakapoteredza Alex Petrov achitaura nezvaCassandra, vanhu vakawanda vakaumba zvekuti akatadza kupindura munhu wese. Pane imwe nguva, Alex akasundidzirwa padivi uye akatanga kubvarurwa nemibvunzo, asi mureza waidonha wakanhongwa neanozivikanwa anogadzira Rust mumadenderedzwa. Tyler Neely uye akaenzanisa mutoro wacho zvakakwana. Pandakabvunza Tyler kuti abatsirwe nekubvunzurudzwa kwepamhepo, zvese zvaakabvunza ndezvekuti, "Tinotanga riini?"

Vatatu Vahwina Mubairo weDijkstra: mafambiro akaita Hydra 2019 uye SPTDC 2019

Dzimwe nguva, mweya wenhaurirano wakatombopinda mumishumo: Nikita Koval akaronga musangano wakaerekana weQ&A, achikamura mushumo muzvikamu zvakati wandei.

Uye zvakapesana, paBOF yekuverengera-tambo vakarangarira nezve-isina-volatile ndangariro, vakakweverwa kune iyi bof. Pedro Ramalhete semukuru wenyanzvi, uye akatsanangura zvese kumunhu wese (muchidimbu, chiyeuchidzo chisina kusimba hachisi kutyisidzira kwatiri munguva pfupi iri kutevera). Imwe yemauto eiyi bof, nenzira, yaive Vladimir Sitnikov, uyo anoshanda pamakomiti epurogiramu yeimwe nhamba inopenga yemisangano ... inoratidzika semashanu panguva ikozvino. Pane inotevera buff nezve "Modern CS munyika chaiyo" vakakurukurawo NVM uye vakauya kune izvi zvachose vari voga.

Vatatu Vahwina Mubairo weDijkstra: mafambiro akaita Hydra 2019 uye SPTDC 2019

Ndinogona kugovera nzwisiso yepamusoro iyo kunyangwe avo vanobatanidzwa zvakananga munyaya vanogona kunge vasina kucherechedza. Eli Gafni akaita manheru ezuva rokutanga reChikoro, uye zuva rakatevera akagara akatanga kutsika-tsika Lamport, uye kubva kunze zvaiita sokuti uyu waiva mutambo uye Eri akanga asina kukwana. Kuti iyi imhando ye troll yakatanga kutora pfungwa dzaLeslie. Kutaura zvazviri, chokwadi ndechokuti vanenge vari shamwari dzepamwoyo, vave vari shamwari kwemakore akawanda, uye izvi zvinongodaro. Kureva, joke rakashanda - vanhu vose vakaripoteredza vakawira nokuda kwayo, vakaitora pamutengo chaiwo.

Vatatu Vahwina Mubairo weDijkstra: mafambiro akaita Hydra 2019 uye SPTDC 2019

Takaparadzana, ndinoda kuona kuti rudo rwakakura sei uye simba rakaiswa nevatauri mune izvi. Mumwe munhu akamira munzvimbo yekurukurirano kutozosvikira paminiti yokupedzisira, anenge maawa. Kuputsika kwakapera kare kare, mushumo wakatanga, wakapera, zororo rinotevera rakatanga - uye Dmitry Vyukov akaramba achipindura mibvunzo. Nyaya inonakidza yakaitikawo kwandiri - ndatora Cliff Click nekushamisika, handina kuwana chete tsananguro yakajeka uye inonzwisisika yeiyi nhaurirano inotsamwisa pamusoro pekushaikwa kwemiedzo. kune zvimwe zvinhu muH2O, asi zvakare ndakawana ongororo yakazara yayo mutauro mutsva AA. Ini handina kumbobvunza izvi: Ini ndangobvunza zvaunogona kuverenga nezveAA (zvakazoitika iwe unogona kuteerera podcast), uye panzvimbo pezvo Cliff akapedza hafu yeawa achitaura nezvomutauro wacho uye achiongorora kuti zvaaitaura zvainzwisiswa zvakarurama here. Marvelous. Tinofanira kunyora habrapost nezveAA. Chimwe chiitiko chisina kujairika chaive chekutarisa kudhonza chikumbiro chekuongorora maitiro muKotlin. Iko kunzwa kwemashiripiti zvechokwadi kana iwe uchifamba mumapoka ekukurukurirana akasiyana, vatauri vakasiyana, uye vanonyudzwa munyika itsva. Ichi chinhu chiri padanho "Iko, Ikoko" neRadiohead.

Vatatu Vahwina Mubairo weDijkstra: mafambiro akaita Hydra 2019 uye SPTDC 2019

Chirungu

Hydra 2019 ndiyo musangano wedu wekutanga uko mutauro mukuru Chirungu. Izvi zvinounza zvose zviri zviviri zvakanakira uye zvinetso zvaro. Mukana uri pachena ndewekuti vanhu havangouye kumusangano kubva kuRussia, saka pakati pevatori vechikamu unogona kusangana nemainjiniya kubva kuEurope uye masayendisiti kubva kuEngland. Vatauri vanounza vadzidzi vavo. Kazhinji, vakurukuri vakakosha vane zvakawanda zvinokurudzira kuenda kumusangano wakadaro. Fungidzira kuti iwe uri mukurukuri pamusangano wemutauro wechiRussia wakakwana: iwe wakapa mushumo wako, wakadzivirira nzvimbo yekukurukurirana, uye chii? Famba uchitenderera neguta uye kuona nzvimbo dzevashanyi? Muchokwadi, vatauri vakakurumbira vakatoona zvakakwana zvezvose zviri munyika, havadi kuenda kunoona shumba uye mabhiriji, ivo vakafinhwa. Kana zvinyorwa zvese zviri muChirungu, vanogona kutora chikamu mumusangano pamwe chete, kufara, kupinda munzvimbo dzehurukuro, nezvimwe zvakadaro. Mamiriro ekunze ane hushamwari kune vatauri.

Vatatu Vahwina Mubairo weDijkstra: mafambiro akaita Hydra 2019 uye SPTDC 2019

Kuipa kuri pachena ndekwekuti havasi vese vakasununguka kutaura neChirungu. Vazhinji vanonzwisisa zvakanaka, asi vanotaura zvisina kunaka. Kazhinji, zvinhu zvakajairika izvo zvakagadziriswa nenzira dzakasiyana. Semuenzaniso, dzimwe nhaurirano dzakatanga muchiRussian, asi dzakabva dzachinjira kuChirungu pakabuda mutori wenhau wekutanga.

Ini pachangu ndaifanira kuvhura nekuvhara zvinosanganisirwa zvepamhepo kutepfenyura muChirungu chete uye kutora chikamu mune akati wandei e-rekodhi kubvunzurudzwa nenyanzvi. Uye iri rakanga riri denho chaiyoiyo kwandiri isingazokanganwiki nokukurumidza. Pane imwe nguva Oleg Anastasyev (m0nstermind) akangondiudza kuti ndigare navo panguva yebvunzurudzo, uye ndakanonoka kunzwisisa kuti zvairevei.

Nekune rimwe divi, zvaifadza chaizvo kuti vanhu vaibvunza mibvunzo pamareports vachirova. Kwete chete vatauri venzvimbo, asi munhu wese zvake, akashanda nemazvo. Pane dzimwe misangano, zvinowanzoonekwa kuti vanhu vanonyara kubvunza mibvunzo kubva kune vateereri muChirungu chakaputsika, uye vanogona kungosvina chimwe chinhu munzvimbo yekukurukurirana. Izvi zvakanga zvakasiyana zvachose pano. Zvichienderana, mumwe Cliff Click akapedza mishumo yake kare, uye mushure meizvozvo mibvunzo yakatevera munhevedzano inoenderera, nhaurirano yakapinda munzvimbo yenhaurirano - pasina kumbomira kana kukanganisa. Izvi zvinoshandawo kuchikamu cheQ&A chaLeslie Lamport; muratidziri aisafanira kubvunza mibvunzo yake, vatori vechikamu vakauya nezvese.

Paive nemhando dzese dzezvinhu zvidiki zvinoonekwa nevanhu vashoma, asi zviripo. Nekuda kwekuti musangano uyu uri muchiRungu, magadzirirwo ezvinhu zvakaita semapepa nemamepu akareruka uye ane mapfupi. Iko hakuna chikonzero chekudzokorora mitauro uye kusanganisa dhizaini.

Vatsigiri uye kuratidzwa

Vatsigiri vedu vakatibatsira zvakanyanya mukugadzira musangano. Kutenda kwavari, paigara paine zvekuita panguva yekuzorora.

Pakumira Deutsche Bank TechCenter unogona kutaura nevainjiniya veakawanda-tambo masystem, kugadzirisa matambudziko avo kubva mumusoro mako, kuhwina mibairo isingakanganwiki uye kungova nenguva yakanaka.

Vatatu Vahwina Mubairo weDijkstra: mafambiro akaita Hydra 2019 uye SPTDC 2019

Pakumira Contour isu taigona kutaura nezve masystem avo, ese akavhurika uye akavhurika sosi: yakagoverwa mu-memory dhatabhesi, yakagoverwa mabhinari logi, microservice orchestration system, kutakura kwepasirese kune telemetry, zvichingodaro. Uye zvechokwadi, mapuzzle nemakwikwi, zvimiti zvine katsi bhinari uye Kutambura Middle Ages, zvipo zvakaita sebhuku raMartin Kleppmann uye LEGO manhamba.

Ndokumbira utarise kuti kuongororwa kwematambudziko eKontur kwatove rakabudiswa pana HabrΓ©. Kuongorora kwakanaka, kunofanirwa kutarisa.

Vatatu Vahwina Mubairo weDijkstra: mafambiro akaita Hydra 2019 uye SPTDC 2019

Avo vaishuvira vaigona kutenga marudzi ose emabhuku ndokuakurukura navanoshanda navo. Boka rose rakaungana kumusangano we autograph!

Vatatu Vahwina Mubairo weDijkstra: mafambiro akaita Hydra 2019 uye SPTDC 2019

Migumisiro

Iyo Hydra Musangano uye SPTDC Chikoro zviitiko zvakakosha kwazvo kwatiri sekambani inoronga uye kunharaunda yese. Uyu mukana wekutarisa mune ramangwana redu, gadzira yakabatana yemafungiro ekugadzirisa matambudziko emazuva ano, uye titarise zvakanyanya mafambiro anonakidza. Multithreading yanga iripo kwenguva yakareba, asi zvakatora makore gumi mushure mekunge yekutanga-yakawanda-yakakosha processor yaonekwa kuti chiitiko ichi chipararire. Zvatakanzwa svondo rino pamareports hadzisi nhau dzenguva pfupi, asi nzira yeramangwana rakajeka ratichatevera mumakore anotevera. Hapazove nevaparadzi veinotevera Hydra mune ino positi, asi iwe unogona kutarisira zvakanakisa. Kana iwe uchifarira nyaya dzakaita seizvi, ungangoda kutarisa zvimwe zviitiko zvedu, sehurukuro dzakaoma dzemusangano Joker 2019 kana DotNext 2019 Moscow. Tozoonana pamisangano inotevera!

Vatatu Vahwina Mubairo weDijkstra: mafambiro akaita Hydra 2019 uye SPTDC 2019

Source: www.habr.com

Voeg