Saddexda ku guuleystay abaalmarinta Dijkstra: sida Hydra 2019 iyo SPTDC 2019 u dhaceen

Saddexda ku guuleystay abaalmarinta Dijkstra: sida Hydra 2019 iyo SPTDC 2019 u dhaceen

Dhowaan, 8-dii ilaa 12-kii Luulyo, laba dhacdo oo muhiim ah ayaa isku mar dhacay - shirka Hydra iyo dugsiga SPTDC. Maqaalkan waxaan jeclaan lahaa inaan ku iftiimiyo dhowr arrimood oo aan ogaanay intii uu shirku socday.

Hanka ugu weyn ee Hydra iyo Dugsiga waa kuwa hadlaya.

  • Saddex abaalmarin Abaalmarinta Dijkstra: Leslie Lamport, Maurice Herlihy iyo Michael Scott. Intaa waxaa dheer, Maurice ayaa helay laba jeer. Leslie Lamport sidoo kale way heshay Abaalmarinta Turing - Abaalmarinta ACM ee ugu sharafta badan sayniska kombiyuutarka;
  • Abuuraha Java JIT compiler waa Cliff Click;
  • Horumarinta Corutin - Roman Elizarov (elizaroviyo Nikita Koval (ndkoval) Kotlin, iyo Dmitry Vyukov ee Go;
  • Wax ku darsaday Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Yandex Database (Semyon Checherinda iyo Vladislav Kuznetsov);
  • Iyo dad kale oo badan oo caan ah: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (model xusuusta C ++), Pedro Ramalhete (qaab-dhismeedka xogta sugi-free), Alexey Zinoviev (ML), Dmitry Bugaichenko (garaafka falanqaynta).

Oo kani waa horeba Iskuul:

  • Jaamacadda Brown (Maurice Herlihy),
  • Jaamacadda Rochester (Michael Scott),
  • Jaamacadda Waterloo (Trevor Brown),
  • Jaamacadda Nantes (Achour Mostefaoui),
  • David Ben-Gurion University ee Negev (Danny Hendler),
  • Jaamacadda California ee Los Angeles (Eli Gafni),
  • Machadka Polytechnique de Paris (Petr Kuznetsov),
  • Cilmi-baarista Microsoft (Leslie Lamport),
  • Cilmi-baarista VMware (Itai Abraham).

Saddexda ku guuleystay abaalmarinta Dijkstra: sida Hydra 2019 iyo SPTDC 2019 u dhaceen

Aragtida iyo ku-dhaqanka, sayniska iyo wax-soo-saarka

Aan ku xasuusiyo in dugsiga SPTDC uu yahay dhacdo yar oo ay ku nool yihiin boqol iyo badh qof, waxaa halkaas isugu yimi waxgarad heer caalami ah oo ka hadlaya arrimo casri ah oo dhinaca kombuyuutarada la qaybiyey. Hydra waa shir xisaabeed la qaybiyey laba maalmood oo barbar socda. Hydra waxay leedahay diiradda injineernimada oo dheeraad ah, halka dugsigu leeyahay diiradda sayniska dheeraad ah.

Mid ka mid ah yoolalka shirka Hydra waa in la isku daro mabaadi'da sayniska iyo injineernimada. Dhinaca kale, tan waxaa lagu gaaraa xulashada warbixinnada barnaamijka: oo ay weheliyaan Lamport, Herlihy iyo Scott, waxaa jira warbixinno badan oo lagu dabaqay Alex Petrov, oo gacan ka geysta Cassandra, ama Roman Elizarov oo ka socda JetBrains. Waxaa jira Martin Kleppman, oo hore u dhisi jiray oo iibin jiray shirkado bilaw ah oo hadda CRDT ka baranaya Jaamacadda Cambridge. Laakiin waxa ugu fiican ayaa ah in Hydra iyo SPTDC ay isku hayaan - waxay leeyihiin warbixino kala duwan, laakiin meel caadi ah oo isgaarsiineed.

Saddexda ku guuleystay abaalmarinta Dijkstra: sida Hydra 2019 iyo SPTDC 2019 u dhaceen

Imika

Shanta maalmood ee dugsiga oo isku xigta waa dhacdo aad u weyn iyo shaqo badan, labadaba ka qaybgalayaasha iyo qabanqaabiyeyaasha. Qof kastaa ma gaadhin maalmaha ugu dambeeya. Waxaa jiray kuwo isku mar wada tagay Hydra iyo School, iyaga ayaa maalmihii u dambeeyay u noqday kuwii ugu dhacdooyinka badnaa. Waxaas oo dhan buuqa waxa ka saaray quusitaan qoto dheer oo cajiib ah. Tani waxay sabab u tahay ma aha oo kaliya mugga, laakiin sidoo kale tayada alaabta. Dhammaan warbixinada iyo muxaadarooyinka labada dhacdo looma qorshayn in ay noqdaan kuwo hordhac ah, markaa meel kasta oo aad tagto, waxa aad isla markiiba quusinaysaa meel fog oo qoto dheer, lagumana sii daynayo ilaa aakhirka.

Dabcan, wax badan ayaa ku xiran diyaarinta bilowga ah ee kaqeybgalaha. Waxaa jirtay daqiiqad qosol leh markii laba kooxood oo dad ah oo wadada ku sugnaa ay si madax-banaan uga wada hadleen warbixinta Heidi Howard: qaar waxay u muuqatay mid caadi ah, halka kuwa kale, liddi ku ah, ay si qoto dheer uga fikireen nolosha. Waxa xiiso leh in marka loo eego ka qaybgalayaasha guddiyada barnaamijka (kuwaas oo rabey in aan la magacaabin), warbixinnada Hydra iyo casharrada dugsiga ee munaasabadahooda laga badbadiyey. Tusaale ahaan, haddii da'da yar ee PHP uu u yimid shirka PHP si uu u barto nolosha, waxay noqon doontaa wax yar oo degdeg ah si loo qaato inuu aqoon qoto dheer u leeyahay gudaha Zend Engine. Halkan, dadka hadlayaa ma ay quudin da'yarta, laakiin waxay isla markiiba muujiyeen heer aqoon iyo faham gaar ah. Hagaag, runtii, heerka ka qaybgalayaasha ee ku shaqeeya nidaamyada la qaybiyay oo qora kernels runtime waa mid aad u sarreeya, tani waa macquul. Marka la eego falcelinta ka qaybgalayaasha, aad bay u fududayd in la doorto warbixin ku salaysan heerka iyo mawduuca.

Haddii aan ka hadalno warbixinno gaar ah, dhammaantood waxay ahaayeen kuwo ku wanaagsan qaabkooda. Marka la eego waxay dadku sheegaan iyo waxa laga arki karo foomka jawaab celinta, mid ka mid ah warbixinnada ugu quruxda badan ee Dugsiga ayaa ahaa "qaababka xogta aan xannibin" Michael Scott, qof walba wuu kala jeexjeexay, wuxuu leeyahay qiime aan caadi ahayn oo ku dhow 4.9.

Saddexda ku guuleystay abaalmarinta Dijkstra: sida Hydra 2019 iyo SPTDC 2019 u dhaceen

Metaconference

Muddo dheer ka hor bilowga Hydra iyo Dugsiga, Ruslan ARG89 Waxa loo malaynayay in uu jiro nooc ka mid ah "shirka meta" - shir shirar, halkaas oo dhammaan ka qaybgalayaasha ugu sarreeya ee dhacdooyinka kale si toos ah loogu nuugi doono, sida haddii god madow la geliyo. Sidaas ayayna ku dhacday! Tusaale ahaan, ardayda Dugsiga dhexdiisa ayaa laga dareemay Ruslan Cheremin oo ka socda DeutscheBank, oo ah khabiir caan ah oo ku takhasusay wax-ku-haynta badan.

Saddexda ku guuleystay abaalmarinta Dijkstra: sida Hydra 2019 iyo SPTDC 2019 u dhaceen

Iyo xubnaha Hydra waa la dareemay Vadim Tsesko (incubi) iyo Andrey Pangin (apangin) oo ka socda shirkadda Odnoklassniki. (Isla mar ahaantaana, Vadim wuxuu kaloo naga caawiyay inaan laba wareysi oo heer sare ah la yeesho Martin Kleppman - mid Habr, iyo kan kale ee daawadayaasha baahinta internetka). Waxaa jiray xubno Guddiga Barnaamijka DotNext, ku hadla caanka ah Anatoly Kulakov iyo Igor Labutin. Waxaa jiray reer Javis Dmitry Alexandrov ΠΈ Vladimir Ivanov. Caadi ahaan waxaad dadkan ku arkaysaa meelo kala duwan - dotnetists on DotNext, javaists on Joker, iyo wixii la mid ah. Waxayna si wadajir ah u fariisteen warbixinnada Hydra waxayna si wada jir ah uga wada hadlayaan dhibaatooyinka ka jira buffs-ka. Marka qaybtan yar ee macmalka ah ee luuqadaha barnaamijyada iyo teknoolajiyada ay meesha ka baxdo, sifooyinka goobta mawduuca ayaa soo baxaya: khabiiro runtime firfircoon waxay la xiriiraan runtimers kale, cilmi-baarayaasha aragtida xisaabinta ee la qaybiyay ayaa si kulul ula dooday cilmi-baarayaasha kale, injineerada xogta ayaa buux dhaafiyay sabuuradaha, iyo wixii la mid ah. .

Marka warbixinta sida ku cad qaabka xusuusta C++ horumarinta OpenJDK waxay fadhiyeen safka hore (ugu yaraan waxaan ku aqaan aragga, laakiin ma aha Pythonists, laga yaabee in Pythonists ay sidoo kale joogeen). Dhab ahaantii, waxaa jira wax si Shipilevsky warbixintan ... Ori si sax ah uma sheego wax la mid ah, laakiin fiirin taxaddar leh ayaa ogaan kara isbarbardhigga. Xitaa ka dib wax kasta oo ku dhacay heerarkii ugu dambeeyay ee C ++, dhibaatooyinka sida ka baxsan qiyamka hawada khafiifka ah wali lama hagaajin, sidaas darteed waxaad aadi kartaa warbixintan oo aad dhageysatid sida dadka "dhinaca kale ee barriga" ay yihiin isku dayaya in la xaliyo dhibaatooyinkan, Sida ay sabab u yihiin, mid ka mid ah ayaa la dhacsan kara hababka xal la helay (Ori waxa uu leeyahay mid ka mid ah fursadaha hagaajinta).

Waxaa jiray ka qaybgalayaal badan oo ka mid ah guddiyada barnaamijka iyo matoorada bulshada. Qof kastaa wuxuu xalliyey mashaakilaadkooda diimaha, waxay dhisteen buundooyin, waxayna heleen xiriiro. Waxaan tan u isticmaalay meel kasta oo aan awoodo, iyo, tusaale ahaan, waxaan ku heshiinnay Alexander Borgardt Kooxda Isticmaalaha ee Moscow C++ wadajir u qor maqaal buuxa oo ku saabsan jilayaasha iyo asynchrony gudaha C++.

Saddexda ku guuleystay abaalmarinta Dijkstra: sida Hydra 2019 iyo SPTDC 2019 u dhaceen

Sawirka: Leonid Talalaev (ltaal, bidix) iyo Oleg Anastasyev (m0nster maskaxda, midig), hormuudka horumarinta Odnoklassniki

Aagagga doodda dabka iyo buffs

Shirarka waxaa had iyo jeer ka qaybqaatayaal aqoon u leh mawduuca iyo sidoo kale kuwa ku hadla (iyo mararka qaarkood xitaa ka fiican kuwa ku hadla - tusaale ahaan, marka horumarinta xudunta tiknoolajiyada qaar ka mid ah ka qaybgalayaasha). Waxaa jiray dad badan oo sidaan oo kale ah oo khabiir ku ah Hydra. Tusaale ahaan, mararka qaar agagaarka Alex Petrov u sheegaya ku saabsan Cassandra, dad aad u badan ayaa samaysmay ilaa uu qof walba u jawaabi waayay. Mar mar, Alex ayaa si habsami leh loogu riixay dhinaca oo bilaabay in lagu jeexjeexo su'aalo, laakiin calankii dhacayay waxaa kor u qaaday horumariye Rust oo si fiican loo yaqaan oo wareegyada Tyler Neely oo si fiican u dheelli tiray culayska. Markii aan waydiistay Tyler in uu iga caawiyo waraysi online ah, waxa uu waydiiyay waxa ay ahayd, "Goorma ayaan bilaabaynaa?"

Saddexda ku guuleystay abaalmarinta Dijkstra: sida Hydra 2019 iyo SPTDC 2019 u dhaceen

Mararka qaarkood, ruuxa dooda ayaa xitaa soo dhex galay warbixinnada: Nikita Koval ayaa abaabulay kulan su'aalo iyo jawaabo degdeg ah, iyada oo warbixinta u qaybisay qaybo badan.

Taas beddelkeeda, BOF ee isku-xidhka badan waxay xasuusteen xusuusta aan xasilloonayn, waxay soo jiidatay bof-kan. Pedro Ramalhete isaga oo ah madaxa takhasuska sare, oo wax walba u sharaxay qof walba (marka la soo koobo, xusuusta aan xasilloonayn maaha mid khatar nagu ah mustaqbalka dhow). Mid ka mid ah martigaliyayaasha bof-kan, jidka, wuxuu ahaa Vladimir Sitnikov, kuwaas oo ka shaqeeya guddiyada barnaamijka ee tiro waalan oo shirar ah ... waxay u egtahay shan mar hadda. Buff-ka xiga ee ku saabsan "Modern CS ee adduunka dhabta ah" waxay sidoo kale ka wada hadleen NVM oo tan si buuxda u yimaadeen.

Saddexda ku guuleystay abaalmarinta Dijkstra: sida Hydra 2019 iyo SPTDC 2019 u dhaceen

Waxaan la wadaagi karaa aragti sare oo xitaa kuwa sida tooska ah ugu lugta leh sheekada laga yaabo inaysan dareemin. Eli Gafni waxa uu soo bandhigay fiidnimadii maalinta koowaad ee Dugsiga, maalintii xigtayna wuu iska joogay oo waxa uu bilaabay in uu Lamport gaaf-wareego, bannaankaba waxa ay u muuqatay in ay tani ciyaar tahay, Celina kuma filna. Taasi waa nooc ka mid ah roogaga kuwaas oo u dejiyay inay ka saaraan maskaxda Leslie. Dhab ahaantii, xaqiiqadu waxay tahay in ay ku dhow yihiin saaxiibada ugu fiican, waxay ahaayeen saaxiibo sanado badan, tanina waa uun saaxiibtinimada noocaas ah. Taasi waa, kaftanka ayaa shaqeeyay - dhammaan dadka ku xeeran ayaa ku dhacay, waxay u qaateen qiimo.

Saddexda ku guuleystay abaalmarinta Dijkstra: sida Hydra 2019 iyo SPTDC 2019 u dhaceen

Dhanka kale, waxaan jeclaan lahaa inaan xuso inta jacaylka iyo dadaalka ay dadka hadlayaa galiyeen arrintan. Qof ayaa istaagay aagga dooda ilaa daqiiqaddii u dambaysay, ku dhawaad ​​saacado. Fasaxdu waxay dhammaatay wakhti dheer ka hor, warbixintu waxay bilaabatay, dhammaatay, fasaxii xigay ayaa bilaabmay - iyo Dmitry Vyukov Isaga oo sii watay ka jawaabista su'aalaha. Sheeko xiiso leh ayaa sidoo kale igu dhacday - anigoo la yaabay Cliff Click, kaliya ma helin sharraxaad cad oo macquul ah oo ku saabsan doodda kicinta ah ee ku saabsan imtixaan la'aanta. waxyaalaha qaarkood ee H2O, laakiin sidoo kale waxay heshay dib u eegis buuxda luqad cusub AA. Waligay ma waydiisan tan: Waxaan waydiiyay waxaad ka akhriyi karto AA (waxaa soo baxday inaad dhagaysan karto POST), beddelkeedana Cliff waxa uu qaatay nus saac ka hadalka luqadda oo uu hubinayay in waxa uu sheegayo si sax ah loo fahmay. Cajiib. Waxaan u baahanahay inaan ka qorno habrapost ku saabsan AA. Khibrad kale oo aan caadi ahayn ayaa ahayd daawashada habka dib u eegista codsiga jiidista ee Kotlin. Runtii waa dareen sixir ah marka aad dhex gasho kooxo wada xaajoodyo kala duwan, ku hadla oo kala duwan, oo aad dhex gasho adduun cusub oo dhan. Tani waa wax ku saabsan heerka "Halkaa, Halkaas" waxaa qoray Radiohead.

Saddexda ku guuleystay abaalmarinta Dijkstra: sida Hydra 2019 iyo SPTDC 2019 u dhaceen

Luqadda Ingiriiska

Hydra 2019 waa shirkeenii ugu horeeyay ee luuqada ugu weyni tahay Ingiriisi. Tani waxay keenaysaa faa'iidooyinkeeda iyo caqabadaheeda labadaba. Faa'iidada muuqata ayaa ah in dadku aysan kaliya ka iman shirka Ruushka, sidaas darteed ka qaybgalayaasha waxaad la kulmi kartaa injineerada Yurub iyo saynisyahano ka socda England. Dadka hadlaya ayaa keena ardaydooda. Guud ahaan, dadka hadlaya ee muhiimka ah waxay leeyihiin dhiirigelin aad u badan si ay u aadaan shirkan oo kale. Bal qiyaas in aad tahay qof ku hadlaya shir af-ruush ah oo dhamaystiran: waxaad bixisay warbixintaadii, difaacday aagga doodda, ka dibna waa maxay? U safar magaalada oo arag meelaha dalxiiska? Dhab ahaantii, kuwa ku hadla runta caanka ah waxay hore u arkeen wax kasta oo adduunka ah, ma rabaan inay tagaan libaaxyo iyo buundooyin, way caajiseen. Haddii dhammaan warbixinadu ay ku qoran yihiin Ingiriisi, waxay ka qaybgeli karaan shirka si guud, madadaalo, ku biiraan goobaha doodaha, iyo wixii la mid ah. Jawigu aad buu ugu fiican yahay kuwa hadlaya.

Saddexda ku guuleystay abaalmarinta Dijkstra: sida Hydra 2019 iyo SPTDC 2019 u dhaceen

Khasaaraha muuqda ayaa ah in qof walba uusan ku qanacsanayn in Ingiriisi lagula hadlo. Kuwo badan ayaa si fiican u fahmaya, laakiin si liidata ayay u hadlaan. Guud ahaan, waxyaabaha caadiga ah ee siyaabo kala duwan loo xalliyo. Tusaale ahaan, meelaha doodaha qaarkood waxay ku bilowdeen Ruush, laakiin isla markiiba waxay u beddeleen Ingiriis markii ka qaybqaataha ugu horreeya ee Ingiriisiga ku hadla uu soo muuqday.

Aniga qudhaydu waxay ahayd inaan sameeyo furitaanka iyo xidhitaanka ku darida baahinta khadka tooska ah ee si gaar ah Ingiriisi oo aan ka qaybqaato dhowr waraysi oo duuban oo lala yeeshay khabiiro. Taasina waxay ii ahayd caqabad dhab ah oo aan la ilaawi doonin dhawaan. Mararka qaar Oleg Anastasyev (m0nster maskaxda) si fudud ii sheegay inaan la fadhiisto iyaga inta waraysigu socdo, aad baan uga gaabiyay inaan fahmo macnaha taasi.

Dhanka kale, waxaa aad loogu farxay in dadku ay su'aalo ku weydiiyaan warbixinnada iyagoo garaac ah. Ma aha oo kaliya kuwa ku hadla afka hooyo, laakiin qof walba guud ahaan, si fiican ayay u shaqeysay. Shirarka kale, waxaa badanaa la arkaa in dadku ay ka xishoodaan inay su'aalo ku weydiiyaan dhegeystayaasha iyagoo ku hadlaya Ingiriis jaban, oo kaliya waxay ku tuujin karaan wax ka baxsan goobta dooda. Tani gabi ahaanba way ka duwanayd halkan. Marka la eego, qaar ka mid ah Cliff Click ayaa dhammeeyey warbixintiisa wax yar ka hor, ka dib su'aaluhu waxay raaceen si isdaba-joog ah, sheekadu waxay u guurtay aagga doodda - iyada oo aan la joojin ama hakad lahayn. Isla sidaas oo kale ayaa khuseeysa kulanka Q&A ee Leslie Lamport; soo jeedinuhu si dhab ah uma baahna inuu weydiiyo su'aalihiisa, ka qaybgalayaashu waxay la yimaadeen wax walba.

Waxaa jiray dhammaan noocyada waxyaabo yaryar oo dad yar ay ogaadaan, laakiin way jiraan. Maadaama shirku yahay Ingiriisi, naqshadaynta waxyaabaha sida warqadaha iyo khariidadaha ayaa ah mid fudud oo kooban. Looma baahna in la nuqulo luuqadaha iyo naqshadeynta.

Kafiil-bixiyeyaasha iyo bandhigga

Maalgeliyayaashayada ayaa wax badan naga caawiyay abuurista shirka. Waad ku mahadsan tahay iyaga, had iyo jeer waxaa jiray wax la sameeyo inta lagu jiro nasashada.

Marka la joogo Deutsche Bank TechCenter Waxaad la sheekaysan kartaa injineerada nidaamyada dunta badan leh, waxaad ku xallin kartaa dhibaatooyinkooda madaxaaga, ku guulaysta abaalmarinno xusuus leh oo waxaad heli kartaa waqti fiican.

Saddexda ku guuleystay abaalmarinta Dijkstra: sida Hydra 2019 iyo SPTDC 2019 u dhaceen

Marka la joogo Contour Waxaan ka hadli karnaa nidaamkooda, labadaba furan iyo il furan: kaydka kaydka xusuusta ee la qaybiyey, log binary la qaybiyey, nidaamka orchestration adeeg yar, gaadiidka caalamiga ah ee telemetry, iyo wixii la mid ah. Dabcan, xujooyinka iyo tartamada, dhejisyada leh bisad binary ah iyo silica qarniyadii dhexe, hadiyado sida buuga Martin Kleppmann iyo tirooyinka LEGO.

Fadlan ogow in falanqaynta dhibaatooyinka Kontur ay hore u ahayd lagu daabacay HabrΓ©. Falanqaynta wanaagsan, eegno mudan.

Saddexda ku guuleystay abaalmarinta Dijkstra: sida Hydra 2019 iyo SPTDC 2019 u dhaceen

Kuwa doonaya waxay iibsan karaan dhammaan noocyada buugaag waxayna kala hadli karaan asxaabta. Dadweyne dhan ayaa isugu soo baxay fadhigii buug-gacmeedka!

Saddexda ku guuleystay abaalmarinta Dijkstra: sida Hydra 2019 iyo SPTDC 2019 u dhaceen

Natiijooyinka

Shirka Hydra iyo Dugsiga SPTDC waxay noo yihiin dhacdooyin aad muhiim ugu ah shirkadda qabanqaabada iyo dhammaan bulshadaba. Tani waa fursad aan ku eegno mustaqbalkayaga, horumarinta qaab-dhismeedka fikradeed midaysan oo lagaga hadlayo dhibaatooyinka casriga ah, iyo in si dhow loo eego tilmaamaha xiisaha leh. Multithreading waxay jirtay wakhti aad u dheer, laakiin waxay qaadatay toban sano oo dhan ka dib markii ugu horeysay ee processor-ka dhabta ah ee multi-core uu u muuqday ifafaale inuu noqdo mid baahsan. Waxa aan maqalnay warbixinnada toddobaadkan ma ahan warar soo daadanaya, balse waa waddada mustaqbal ifaya oo aan raaci doono sanadaha soo socda. Ma jiri doonto wax qaswadayaal ah Hydra soo socota ee qoraalkan, laakiin waxaad u rajayn kartaa wanaag. Haddii aad xiisaynayso arrimahan oo kale, waxaa laga yaabaa inaad rabto inaad hubiso dhacdooyinkayada kale, sida wadahadalada shirka hardcore Joker 2019 ama DotNext 2019 Moscow. Isku arka shirarka soo socda!

Saddexda ku guuleystay abaalmarinta Dijkstra: sida Hydra 2019 iyo SPTDC 2019 u dhaceen

Source: www.habr.com

Add a comment