Abaphumelele amaBhaso eDijkstra abathathu: ihambe njani iHydra 2019 kunye neSPTDC 2019

Abaphumelele amaBhaso eDijkstra abathathu: ihambe njani iHydra 2019 kunye neSPTDC 2019

Kutshanje, ukususela ngoJulayi 8 ukuya kwi-12, iziganeko ezibini ezibalulekileyo zenzeke ngaxeshanye - inkomfa Hydra kunye nesikolo SPTDC. Kule post ndingathanda ukugqamisa izinto ezininzi esiziqapheleyo ngexesha lenkomfa.

Ibhongo elikhulu leHydra kunye neSikolo zizithethi.

  • Abathathu abawongwayo Ibhaso leDijkstra: ULeslie Lamport, uMaurice Herlihy noMichael Scott. Ngaphezu koko, uMaurice wayifumana kabini. ULeslie Lamport naye ufumene Imbasa yeTuring - elona bhaso le-ACM libalaseleyo kwisayensi yekhompyuter;
  • Umyili we-Java JIT compiler nguCliff Cofa;
  • Abaphuhlisi beCorutin - uRoman Elizarov (elizarov) kunye noNikita Koval (ndkoval) yeKotlin, kunye noDmitry Vyukov yeGo;
  • Abaxhasi beCassandra (u-Alex Petrov), iCosmosDB (iDenis Rystsov), i-Yandex Database (uSemyon Checherinda noVladislav Kuznetsov);
  • Kwaye abanye abantu abaninzi abadumileyo: uMartin Kleppmann (CRDT), uHeidi Howard (Paxos), u-Ori Lahav (imodeli yememori yeC ++), uPedro Ramalhete (izakhiwo zedatha zokulinda), u-Alexey Zinoviev (ML), uDmitry Bugaichenko (uhlalutyo lwegrafu).

Kwaye esi sele siSikolo:

  • IYunivesithi yaseBrown (iMaurice Herlihy),
  • IYunivesithi yaseRochester (uMichael Scott),
  • IYunivesithi yaseWaterloo (Trevor Brown),
  • IYunivesithi yaseNantes (Achour Mostefaoui),
  • IYunivesithi yaseDavid Ben-Gurion yaseNegev (uDanny Hendler),
  • IYunivesithi yaseCalifornia eLos Angeles (Eli Gafni),
  • Institut polytechnique de Paris (Petr Kuznetsov),
  • UPhando lukaMicrosoft (Leslie Lamport),
  • Uphando lweVMware (Itai Abraham).

Abaphumelele amaBhaso eDijkstra abathathu: ihambe njani iHydra 2019 kunye neSPTDC 2019

Ithiyori kunye nokusebenza, isayensi kunye nemveliso

Mandikukhumbuze ukuba iSikolo seSPTDC sisiganeko esincinci sabantu abakwikhulu elinesiqingatha abantu abaqaqambileyo behlabathi bahlanganisana apho kwaye bathethe ngemiba yanamhlanje kwinkalo yokusasazwa kwekhompyutha. I-Hydra yinkomfa ye-computing yeentsuku ezimbini esasazwe ngaxeshanye. IHydra inogqaliselo lobunjineli ngakumbi, ngelixa iSikolo sijolise ngakumbi kwisayensi.

Enye yeenjongo zenkomfa yeHydra kukudibanisa imigaqo yenzululwazi kunye nobunjineli. Ngakolunye uhlangothi, oku kuphunyezwa ngokukhethwa kweengxelo kwinkqubo: kunye noLamport, uHerlihy noScott, kukho iingxelo ezininzi ezisetyenzisiweyo ngu-Alex Petrov, onegalelo kuCassandra, okanye u-Roman Elizarov waseJetBrains. Kukho uMartin Kleppman, owayesakha aze athengise izinto zokuqala kwaye ngoku ufunda iCRDT kwiYunivesithi yaseCambridge. Kodwa into epholileyo kukuba i-Hydra kunye ne-SPTDC zibanjwe ngapha nangapha - zineengxelo ezahlukeneyo, kodwa indawo eqhelekileyo yokunxibelelana.

Abaphumelele amaBhaso eDijkstra abathathu: ihambe njani iHydra 2019 kunye neSPTDC 2019

Ukuntywiliselwa

Iintsuku ezintlanu zeSikolo zilandelelana ngumcimbi omkhulu kakhulu kunye nomsebenzi omningi, kubathathi-nxaxheba kunye nabaququzeleli. Asinguye wonke umntu ofikelele kwimihla yokugqibela. Kwakukho abo baya eHydra naseSikolweni ngaxeshanye, kwaye kubo iintsuku zokugqibela zajika zaba zezona ziganeko. Yonke le ngxubusho igutyungelwe kukuntywiliselwa okunzulu ngokumangalisayo. Oku akubangelwa kuphela kumthamo, kodwa kunye nomgangatho wezinto eziphathekayo. Zonke iingxelo kunye neentetho kuyo yomibini iminyhadala yayingacwangciswanga ukuba ibe yintshayelelo, ke naphi na apho uya khona, ngokukhawuleza untywila kude nanzulu, kwaye awuvunyelwa ukuba uhambe kude kube sekupheleni.

Ewe, okuninzi kuxhomekeke kulungiselelo lokuqala lomthathi-nxaxheba. Kwakukho umzuzu ohlekisayo xa amaqela amabini abantu kwipaseji ngokuzimeleyo axoxa ngengxelo kaHeidi Howard: kwabanye kwakubonakala kuqhelekile ngokupheleleyo, ngelixa abanye, ngokuchaseneyo, bacinga nzulu ngobomi. Kuyathakazelisa ukuba ngokutsho kwabathathi-nxaxheba beekomiti zeprogram (abanqwenela ukuhlala bengaziwa), iingxelo ze-Hydra kunye neentetho zeSikolo kwiziganeko zabo zinokuba zifanelekile. Ngokomzekelo, ukuba umncinci we-PHP weza kwinkomfa ye-PHP ukuze afunde ubomi, kuya kuba yinto encinci yokucinga ukuba unolwazi olunzulu malunga nabangaphakathi be-Zend Engine. Apha, izithethi azizange zondle abancinci, kodwa ngokukhawuleza zachaza inqanaba elithile lolwazi kunye nokuqonda. Ewe, eneneni, inqanaba labathathi-nxaxheba abasebenzisa iinkqubo ezisasazwayo kunye nokubhala iinkozo zexesha lokubaleka liphezulu kakhulu, oku kunengqiqo. Ngokujonga indlela abasabela ngayo abathathi-nxaxheba, kwakulula kakhulu ukukhetha ingxelo esekelwe kwinqanaba kunye nesihloko.

Ukuba sithetha ngeengxelo ezithile, zonke zazilungile ngendlela yazo. Ngokujonga oko abantu bakutshoyo noko kunokubonwa kwifomu yengxelo, enye yeengxelo ezipholileyo kwesi sikolo yaba "Nonblocking data izakhiwo" UMichael Scott, uqwenge wonke umntu, unereyithingi engaqhelekanga malunga ne-4.9.

Abaphumelele amaBhaso eDijkstra abathathu: ihambe njani iHydra 2019 kunye neSPTDC 2019

I-Metaconference

Kwakudala ngaphambi kokuqala kweHydra kunye neSikolo, uRuslan I-ARG89 kucingelwa ukuba kuya kubakho uhlobo oluthile lwe "meta-conference" - inkomfa yeenkomfa, apho bonke abathathi-nxaxheba abaphezulu beminye iminyhadala baya kufakwa kuyo ngokuzenzekelayo, njengokungathi kumgodi omnyama. Kwaye kwenzeka! Umzekelo, phakathi kwabafundi beSikolo kwaqatshelwa URuslan Cheremin evela kwiDeutscheBank, ingcali eyaziwayo kwi-multithreading.

Abaphumelele amaBhaso eDijkstra abathathu: ihambe njani iHydra 2019 kunye neSPTDC 2019

Kwaye kwaqatshelwa amalungu eHydra Vadim Tsesko (iincubos) kunye UAndrey Pangin (apangin) ukusuka kwinkampani ye-Odnoklassniki. (Kwangaxeshanye, uVadim wasinceda ukuba senze udliwanondlebe oluhle noMartin Kleppman - enye kaHabr, kunye nenye yeyababukeli bosasazo lwe-intanethi). Kwakukho amalungu DotNext Programme Committee, izithethi ezidumileyo u-Anatoly Kulakov kunye no-Igor Labutin. KwiJavist kwakukho NguDmitry Alexandrov и Vladimir Ivanov. Ngesiqhelo ubona aba bantu kwiindawo ezahlukeneyo ngokupheleleyo - dotnetists kwi DotNext, javaists kwi Joker, njalo njalo. Kwaye ke bahlala ecaleni kwiingxelo ze-Hydra kwaye kunye baxoxa ngeengxaki kwii-buffs. Xa olu lwahlulo luncinci ngolwimi lwenkqubo kunye nobuchwepheshe lunyamalala, iimpawu zommandla wesifundo ziyavela: iingcali zexesha lokubaleka zinxibelelana nabanye abagijimi, abaphandi abasasazwa ngethiyori yekhompyuter baphikisana ngokushushu nabanye abaphandi, iinjineli zedatha zigcwala ibhodi emhlophe, njalo njalo. .

Kwingxelo ngokwemodeli yememori yeC ++ abaphuhlisi be-OpenJDK babehleli kumqolo ongaphambili (ubuncinci ndibazi ngokubona, kodwa hayi iiPythonists, mhlawumbi iiPythonists zazikhona nazo). Enyanisweni, kukho into ethi Shipilevsky kule ngxelo ... I-Ori ayithethi into efanayo, kodwa ukujonga ngokucophelela kunokubona ukuhambelana. Nasemva kwayo yonke into eyenzekileyo kwimigangatho yeC ++ yamva nje, iingxaki ezinje ngexabiso lomoya omncinci bezingekalungiswa, kwaye ke unokuya kwingxelo enjalo kwaye umamele indlela abantu “kwelinye icala le-barricade”. uzama ukulungisa ezi ngxaki, Njengoko beqiqa, umntu unokuchukunyiswa ziindlela zesisombululo esifunyenweyo (iOri inokhetho olunye lolungiso).

Bekukho abathathi-nxaxheba abaninzi kwiikomiti zenkqubo kunye neenjini zoluntu. Wonke umntu wasombulula iingxaki zabo zokumanyanisa iinkolo, wakha iibhulorho, wafumana unxibelelwano. Ndasebenzisa oku naphi na apho ndikwazi, kwaye, umzekelo, savumelana Alexander Borgardt ukusuka Iqela labasebenzisi baseMoscow C++ kunye bhala inqaku elipheleleyo malunga nabadlali kunye ne-asynchrony kwi-C ++.

Abaphumelele amaBhaso eDijkstra abathathu: ihambe njani iHydra 2019 kunye neSPTDC 2019

Kwifoto: uLeonid Talalaev (ltalal, ekhohlo) kunye no-Oleg Anastasyev (m0nstermind, ekunene), abaphuhlisi abakhokelayo kwi-Odnoklassniki

Iindawo zengxoxo zomlilo kunye nee-buffs

Kwiinkomfa kusoloko kukho abathathi-nxaxheba abasaziyo isifundo kunye nezithethi (kwaye ngamanye amaxesha nokuba ngcono kunezithethi-umzekelo, xa umphuhlisi wesiseko seteknoloji ethile ephakathi kwabathathi-nxaxheba). Kwakukho uninzi lwabathathi-nxaxheba abaziingcali kakhulu kwiHydra. Ngokomzekelo, ngaxa lithile malunga no-Alex Petrov uxelela malunga noCassandra, kwayilwa abantu abaninzi kangangokuba akazange akwazi ukuphendula wonke umntu. Ngaxa lithile, uAlex watyhalelwa kakuhle ecaleni kwaye waqala ukukrazulwa yimibuzo, kodwa iflegi ewayo yathatyathwa ngumphuhlisi owaziwayo weRust kwizangqa. Tyler Neely kwaye ulinganise umthwalo ngokugqibeleleyo. Xa ndacela uncedo kuTyler kudliwanondlebe olukwi-intanethi, konke awakubuzayo yayikukuba, “Siqala nini?”

Abaphumelele amaBhaso eDijkstra abathathu: ihambe njani iHydra 2019 kunye neSPTDC 2019

Ngamanye amaxesha, umoya wengxoxo wada wangena kwiingxelo: U-Nikita Koval uququzelele iseshoni ye-Q & A ngokukhawuleza, eyahlula ingxelo ibe ngamacandelo amaninzi.

Kwaye ngokuchaseneyo, kwi-BOF yokuphonononga okuninzi bakhumbula malunga nememori engaguqukiyo, baye batsalwa kule bof. Pedro Ramalhete njengengcali eyintloko, kwaye wachaza yonke into kuwo wonke umntu (ngokufutshane, imemori engaguqukiyo ayisisongelo kuthi kungekudala). Enye yemikhosi yale bof, ngendlela, yayiyiyo UVladimir Sitnikov, okhonza kwiikomiti zeprogram zenani elithile eliphambeneyo leenkomfa ... kubonakala ngathi zihlanu ngexesha ngoku. Kwi-buff elandelayo malunga ne-"Modern CS kwihlabathi lokwenyani" baye baxoxa nge-NVM kwaye beza kule nto ngokupheleleyo.

Abaphumelele amaBhaso eDijkstra abathathu: ihambe njani iHydra 2019 kunye neSPTDC 2019

Ndinokwabelana ngombono obalaseleyo ukuba nabo babandakanyeka ngokuthe ngqo ebalini abanokuthi baqaphele. U-Eli Gafni wadlala ngokuhlwa ngosuku lokuqala lweSikolo, kwaye ngosuku olulandelayo wahlala kwaye waqala ukunyathela iLamport, kwaye ngaphandle kwakubonakala ngathi lo mdlalo kwaye u-Eli wayengonelanga. Ukuba olu luhlobo oluthile lwetroli oluzimisele ukukhupha ingqondo kaLeslie. Enyanisweni, inyaniso yeyokuba baphantse babe ngabahlobo abasenyongweni, bebengabahlobo iminyaka emininzi, yaye oku kukuthetha nje ngobuhlobo. Oko kukuthi, i-joke yasebenza - bonke abantu abajikelezayo bawela kuyo, bayithatha ngexabiso lobuso.

Abaphumelele amaBhaso eDijkstra abathathu: ihambe njani iHydra 2019 kunye neSPTDC 2019

Ngokwahlukileyo, ndingathanda ukuqaphela ukuba lungakanani uthando kunye nomzamo owenziwe zizithethi kule nto. Omnye wema kwindawo yengxoxo de kwaba ngumzuzu wokugqibela, phantse iiyure. Ikhefu laphela kudala, ingxelo yaqala, yaphela, ikhefu elilandelayo laqala - kwaye NguDmitry Vyukov waqhubeka ephendula imibuzo. Ibali elinomdla lenzekile kum- ndithathe uCliff Cofa ngokumangalisayo, andizange ndifumane nje ingcaciso ecacileyo nesengqiqweni yaloo ngxoxo ixhokonxayo malunga nokunqongophala kweemvavanyo. kwizinto ezithile kwi-H2O, kodwa ndifumene uphononongo olupheleleyo lwayo ulwimi olutsha AA. Andizange ndibuze oku: Ndibuze nje ukuba ungakufunda ntoni nge-AA (kwaye kwavela ukuba ungamamela ipodcast), yaye endaweni yoko uCliff wachitha isiqingatha seyure ethetha ngolwimi yaye ehlola ukuba oko wayekuthetha kwakuqondwa ngokufanelekileyo kusini na. Iyamangalisa. Kufuneka sibhale i-habrapost malunga ne-AA. Enye into engaqhelekanga yayibukele inkqubo yokuhlaziywa kwesicelo sokutsala e-Kotlin. Yimvakalelo yomlingo ngokwenene xa uhamba kumaqela eengxoxo ahlukeneyo, izithethi ezahlukeneyo, kwaye ungene kwihlabathi elitsha. Le yinto ekwinqanaba "Apho, Akho" nguRadiohead.

Abaphumelele amaBhaso eDijkstra abathathu: ihambe njani iHydra 2019 kunye neSPTDC 2019

Ulwimi lwesiNgesi

IHydra 2019 yinkomfa yethu yokuqala apho olona lwimi sisiNgesi. Oku kuzisa iingenelo zayo kunye nemingeni yayo. Inzuzo ecacileyo kukuba abantu abafiki kuphela kwinkomfa evela eRashiya, ngoko phakathi kwabathathi-nxaxheba unokudibana neenjineli ezivela eYurophu kunye nososayensi baseNgilani. Izithethi zizisa abafundi bazo. Ngokubanzi, izithethi ezibalulekileyo zinenkuthazo enkulu ngakumbi yokuya kwinkomfa enjalo. Khawucinge ukuba usisithethi kwinkomfa yolwimi lwesiRashiya ngokupheleleyo: unike ingxelo yakho, ukhusele indawo yengxoxo, kwaye yintoni? Hamba ujikeleze isixeko kwaye ubone iindawo zabakhenkethi? Enyanisweni, izithethi ezidumileyo sele zibone ngokwaneleyo kuyo yonke into ehlabathini, abafuni ukuya kubona iingonyama kunye neebhulorho zokutsala, banesithukuthezi. Ukuba zonke iingxelo zingesiNgesi, banokuthatha inxaxheba kwinkomfa ngokubanzi, ukuzonwabisa, ukujoyina iindawo zengxoxo, njalo njalo. Umoya unobubele kakhulu kwizithethi.

Abaphumelele amaBhaso eDijkstra abathathu: ihambe njani iHydra 2019 kunye neSPTDC 2019

Ukusilela okucacileyo kukuba ayinguye wonke umntu okhululekileyo ukunxibelelana ngesiNgesi. Abaninzi baqonda kakuhle, kodwa bathetha kakubi. Ngokubanzi, izinto eziqhelekileyo eziye zasonjululwa ngeendlela ezahlukeneyo. Ngokomzekelo, ezinye iindawo zengxoxo zaqala ngesiRashiya, kodwa ngoko nangoko zatshintshela kwisiNgesi xa kwavela umntu wokuqala othetha isiNgesi.

Mna ngokwam kuye kwafuneka ndenze ukuvulwa nokuvalwa kokubandakanywa kosasazo lwe-intanethi kuphela ngesiNgesi kwaye ndithathe inxaxheba kudliwano-ndlebe olukwirekhodi kunye neengcali. Yaye olu yayilucelomngeni lokwenene kum olungasayi kulibaleka kungekudala. Ngexesha elithile uOleg Anastasyev (m0nstermind) uvele wandixelela ukuba mandihlale nabo ngexesha lodliwano-ndlebe, kwaye ndacotha kakhulu ukuqonda ukuba kuthetha ukuthini oko.

Kwelinye icala, kwakumnandi kakhulu ukuba abantu babuze imibuzo kwiingxelo ngomsindo. Hayi nje izithethi zomthonyama, kodwa wonke umntu ngokubanzi, isebenze kakuhle. Kwezinye iinkomfa, kudla ngokubonwa ukuba abantu baneentloni ukubuza imibuzo kubaphulaphuli ngesiNgesi esaphukileyo, kwaye banokukhama into ethile kwindawo yengxoxo. Oku kwakwahluke ngokupheleleyo apha. Xa sithetha, abanye uCliff Cofa ugqibe ingxelo yakhe kwangethuba, kwaye emva koko imibuzo ilandele ngokulandelelana okuqhubekayo, incoko yafudukela kwindawo yengxoxo - ngaphandle kokunqumama okungathandekiyo okanye ukuphazamiseka. Kusebenza okufanayo kwiseshoni ye-Q & A kaLeslie Lamport umbonisi ngokuqhelekileyo akazange abuze imibuzo yakhe, abathathi-nxaxheba beza nayo yonke into.

Kwakukho zonke iintlobo zezinto ezincinci ezibonwa ngabantu abambalwa, kodwa zikhona. Ngenxa yokuba le nkomfa ibhalwe ngesiNgesi, uyilo lwezinto ezifana namaphecana neemephu lukhaphukhaphu kwaye lufutshane. Akukho mfuneko yokuphinda iilwimi kwaye udibanise uyilo.

Abaxhasi kunye nomboniso

Abaxhasi bethu basinceda kakhulu ekudaleni inkomfa. Enkosi kubo, kwakusoloko kukho into eyenziwayo ngexesha lekhefu.

Kwindawo yokumisa IDeutsche Bank TechCenter ungancokola neenjineli zeenkqubo ezinemisonto emininzi, usombulule iingxaki zabo entlokweni yakho, uphumelele amabhaso angalibalekiyo kwaye ube nexesha elimnandi nje.

Abaphumelele amaBhaso eDijkstra abathathu: ihambe njani iHydra 2019 kunye neSPTDC 2019

Kwindawo yokumisa Icontour sinokuthetha malunga neenkqubo zabo, zombini umthombo ovulekileyo kunye nomthombo ovulekileyo: isiseko sedatha esabiweyo kwimemori, i-binary log esasazwayo, inkqubo ye-microservice orchestration system, i-universal transport for telemetry, njalo njalo. Kwaye ke, iipuzzles kunye nokhuphiswano, izitikha ezinekati yokubini kunye ne-Suffering Middle Ages, izipho ezifana nencwadi kaMartin Kleppmann kunye namanani e-LEGO.

Nceda qaphela ukuba uhlalutyo lweengxaki zeKontur sele lukhona ipapashwe kuHabré. Uhlalutyo oluhle, lufanelekile ukujonga.

Abaphumelele amaBhaso eDijkstra abathathu: ihambe njani iHydra 2019 kunye neSPTDC 2019

Abo babenqwenela ukuthenga zonke iintlobo zeencwadi baze baxubushe ngazo noogxa babo. Isihlwele sihlanganisene kwiseshoni ye-autograph!

Abaphumelele amaBhaso eDijkstra abathathu: ihambe njani iHydra 2019 kunye neSPTDC 2019

Iziphumo

INkomfa yeHydra kunye neSikolo se-SPTDC ziziganeko ezibaluleke kakhulu kuthi njengenkampani eququzelelayo kunye noluntu lonke. Eli lithuba lokujonga ikamva lethu, siphuhlise isakhelo esidityanisiweyo sokuxoxa ngeengxaki zale mihla, kwaye sijonge ngakumbi kwizalathiso ezinomdla. I-Multithreading sele ikhona ixesha elide kakhulu, kodwa ithathe ishumi leminyaka emva kokuba iprosesa yokuqala ye-multi-core yabonakala ukuba isenzeka ukuba yande. Esikuvileyo kwiingxelo kule veki ayizondaba zomzuzwana, koko yindlela eya kwikamva eliqaqambileyo esiza kulilandela kule minyaka izayo. Akusayi kubakho baphangi kwi-Hydra elandelayo kwesi sithuba, kodwa unokuba nethemba lokuhle. Ukuba unomdla kwimiba efana nale, unokufuna ukujonga eminye iminyhadala yethu, njengeentetho zenkomfa ezinzima Joker 2019 okanye DotNext 2019 eMoscow. Sibonane kwiinkomfa ezilandelayo!

Abaphumelele amaBhaso eDijkstra abathathu: ihambe njani iHydra 2019 kunye neSPTDC 2019

umthombo: www.habr.com

Yongeza izimvo