Abawine Imiklomelo emithathu ye-Dijkstra: ihambe kanjani i-Hydra 2019 kanye ne-SPTDC 2019

Abawine Imiklomelo emithathu ye-Dijkstra: ihambe kanjani i-Hydra 2019 kanye ne-SPTDC 2019

Muva nje, kusukela ngoJulayi 8 kuya ku-12, izenzakalo ezimbili ezibalulekile zenzeka ngesikhathi esisodwa - ingqungquthela Hydra kanye nesikole I-SPTDC. Kulokhu okuthunyelwe ngithanda ukugqamisa izici ezimbalwa esiziqaphele phakathi nengqungquthela.

Ukuziqhenya okukhulu kweHydra kanye neSikole izikhulumi.

  • Abanqobi abathathu Imiklomelo ye-Dijkstra: Leslie Lamport, Maurice Herlihy noMichael Scott. Ngaphezu kwalokho, uMaurice wayithola kabili. U-Leslie Lamport naye uthole Umklomelo weTuring - umklomelo ohlonishwa kakhulu we-ACM kusayensi yekhompyutha;
  • Umqambi we-Java JIT compiler nguCliff Click;
  • Abathuthukisi beCorutin - Roman Elizarov (elizarov) kanye noNikita Koval (ndkoval) ekaKotlin, noDmitry Vyukov ethi Hamba;
  • Abanikele kuCassandra (Alex Petrov), CosmosDB (Denis Rystsov), Yandex Database (Semyon Checherinda noVladislav Kuznetsov);
  • Futhi nabanye abantu abaningi abadumile: uMartin Kleppmann (CRDT), u-Heidi Howard (Paxos), u-Ori Lahav (imodeli yenkumbulo ye-C++), u-Pedro Ramalhete (izakhiwo zedatha zokulinda), u-Alexey Zinoviev (ML), u-Dmitry Bugaichenko (ukuhlaziywa kwegrafu).

Futhi lesi sekuyiSikole:

  • Inyuvesi yaseBrown (Maurice Herlihy),
  • IYunivesithi yaseRochester (uMichael Scott),
  • Inyuvesi yaseWaterloo (Trevor Brown),
  • Inyuvesi yaseNantes (Achour Mostefaoui),
  • UDavid Ben-Gurion University of the Negev (Danny Hendler),
  • Inyuvesi yaseCalifornia eLos Angeles (Eli Gafni),
  • Isikhungo se-polytechnique de Paris (Petr Kuznetsov),
  • Ucwaningo lweMicrosoft (Leslie Lamport),
  • Ucwaningo lwe-VMware (Ittai Abraham).

Abawine Imiklomelo emithathu ye-Dijkstra: ihambe kanjani i-Hydra 2019 kanye ne-SPTDC 2019

Ithiyori nokwenza, isayensi nokukhiqiza

Ake nginikhumbuze ukuthi iSikole se-SPTDC siwumcimbi omncane wabantu abayikhulu nengxenye; izikhanyiso ezisezingeni lomhlaba zihlangana lapho futhi zikhulume ngezindaba zesimanje emkhakheni wekhompyutha esabalalisiwe. IHydra iyingqungquthela yezinsuku ezimbili yekhompiyutha esabalalisiwe ebanjwe ngesikhathi esifanayo. IHydra igxile kakhulu kwezobunjiniyela, kuyilapho iSikole sigxile kakhulu kwezesayensi.

Enye yezinhloso zengqungquthela yakwaHydra ukuhlanganisa imigomo yesayensi nobunjiniyela. Ngakolunye uhlangothi, lokhu kufinyelelwa ngokukhethwa kwemibiko ohlelweni: kanye no-Lamport, u-Herlihy no-Scott, kunemibiko eminingi esetshenzisiwe ka-Alex Petrov, onikela kuCassandra, noma u-Roman Elizarov we-JetBrains. Kukhona uMartin Kleppman, owakha futhi adayise iziqalo futhi manje ufunda i-CRDT eNyuvesi yaseCambridge. Kodwa into epholile ukuthi i-Hydra ne-SPTDC zibanjwe eceleni - zinemibiko ehlukene, kodwa indawo evamile yokuxhumana.

Abawine Imiklomelo emithathu ye-Dijkstra: ihambe kanjani i-Hydra 2019 kanye ne-SPTDC 2019

Ukucwiliswa

Izinsuku ezinhlanu zeSikole zilandelana umcimbi omkhulu kakhulu nomsebenzi omningi, kubahlanganyeli nabahleli. Akuwona wonke umuntu ofinyelele ezinsukwini zokugcina. Kwakukhona abaya eHydra naseSikoleni ngesikhathi esisodwa, futhi kubo izinsuku zokugcina zaba yizigigaba kakhulu. Konke lokhu kuphikisana kuqedwa ukucwiliswa okujulile ngendlela emangalisayo. Lokhu akubangelwa kuphela umthamo, kodwa futhi izinga lempahla. Yonke imibiko nezinkulumo kuyo yomibili le micimbi bekungahleliwe ukuthi kube izethulo, ngakho-ke nomaphi lapho uya khona, utshuza ngokushesha ujule, futhi awudedelwa kuze kube sekupheleni.

Yebo, okuningi kuncike ekulungiseleleni kokuqala komhlanganyeli. Kube nomzuzu ohlekisayo lapho amaqembu amabili abantu ephaseji exoxa ngokuzimela ngombiko kaHeidi Howard: kwabanye kwakubonakala kujwayelekile ngokuphelele, kuyilapho abanye, ngokuphambene, becabanga ngokujulile ngokuphila. Kuyathakazelisa ukuthi ngokusho kwabahlanganyeli bamakomiti ohlelo (abafisa ukuhlala bengaziwa), imibiko ye-Hydra kanye nezinkulumo zeSikole emicimbini yabo zingase zifaneleke ngokweqile. Isibonelo, uma umncane we-PHP eza enkomfeni ye-PHP ukuze afunde ukuphila, kungaba ukuqubuka kancane ukucabanga ukuthi unolwazi olujulile mayelana nabangaphakathi be-Zend Engine. Lapha, izikhulumi azizange ziphakele izingane ezincane, kodwa ngokushesha zisho izinga elithile lolwazi nokuqonda. Yebo, ngempela, izinga labahlanganyeli abasebenzisa amasistimu asabalalisiwe futhi babhale izinhlamvu zesikhathi sokusebenza liphezulu kakhulu, lokhu kunengqondo. Uma sibheka ukusabela kwabahlanganyeli, bekulula kakhulu ukukhetha umbiko ngokusekelwe ezingeni nesihloko.

Uma sikhuluma ngemibiko ethize, zonke zazizinhle ngendlela yazo. Uma sibheka ukuthi abantu bathini nokuthi yini engabonwa efomini lempendulo, omunye wemibiko emnandi kakhulu eSikoleni kwaba "Izakhiwo zedatha ezingavimbeli" UMichael Scott, uvele wahlukanisa wonke umuntu, unesilinganiso esingajwayelekile esingaba ngu-4.9.

Abawine Imiklomelo emithathu ye-Dijkstra: ihambe kanjani i-Hydra 2019 kanye ne-SPTDC 2019

I-Metaconference

Kudala ngaphambi kokuqala kweHydra kanye neSikole, uRuslan I-ARG89 wacabanga ukuthi kuzoba khona uhlobo oluthile lwe- "meta-conference" - ingqungquthela yezingqungquthela, lapho bonke abahlanganyeli abaphezulu beminye imicimbi bezongena khona ngokuzenzakalelayo, njengokungathi bangene emgodini omnyama. Futhi kwenzeka! Isibonelo, phakathi kwabafundi beSikole kwaqashelwa URuslan Cheremin kusuka kuDeutscheBank, uchwepheshe owaziwayo ekufundweni okuningi.

Abawine Imiklomelo emithathu ye-Dijkstra: ihambe kanjani i-Hydra 2019 kanye ne-SPTDC 2019

Namalungu eHydra aqashelwe Vadim Tsesko (incubi) futhi U-Andrey Pangin (i-apangin) evela enkampanini ye-Odnoklassniki. (Ngaso leso sikhathi, u-Vadim wasisiza ukuba senze izingxoxo ezimbili ezinhle kakhulu noMartin Kleppman - eyodwa kaHabr, kanti enye ingeyababukeli bokusakazwa ku-inthanethi). Kwakukhona amalungu DotNext Program Committee, izikhulumi ezidumile u-Anatoly Kulakov no-Igor Labutin. AmaJavist ayekhona UDmitry Alexandrov ΠΈ UVladimir Ivanov. Ngokuvamile ubona laba bantu ezindaweni ezihluke ngokuphelele - ama-dotnetists ku-DotNext, ama-javaists ku-Joker, njalonjalo. Ngakho-ke bahlala eduze kwemibiko ye-Hydra futhi ndawonye baxoxe ngezinkinga kuma-buffs. Lapho lokhu kuhlukaniswa okuncane okwenziwe ngezilimi zohlelo nobuchwepheshe kunyamalala, izici zendawo yesifundo ziyavela: ochwepheshe abashukumisayo besikhathi sokusebenza baxhumana nabanye abasebenzisa isikhathi, abacwaningi bethiyori yekhompiyutha abasabalalisiwe baphikisana kakhulu nabanye abacwaningi, onjiniyela besizindalwazi bagcwala ibhodi elimhlophe, nokunye. .

Embikweni ngokuya ngemodeli yenkumbulo ye-C++ abathuthukisi be-OpenJDK babehlezi phambili (okungenani ngibazi ngokubona, kodwa hhayi amaPythonists, mhlawumbe amaPythonists ayekhona). Eqinisweni, kukhona okuthile ngakho uShipilevsky kulo mbiko ... U-Ori akasho into efanayo, kodwa ukubheka ngokucophelela kungathola ukufana. Ngisho nangemva kwakho konke okwenzekile ezindinganisweni zakamuva ze-C++, izinkinga ezinjengamanani omoya omncane bezingakalungiswa, ngakho-ke ungaya embikweni onjalo futhi ulalele ukuthi abantu β€œngakolunye uhlangothi lwe-barricade” banjani. uzama ukulungisa lezi zinkinga, Njengoba becabanga, umuntu angahlatshwa umxhwele izindlela zesixazululo esitholiwe (i-Ori inokhetho olulodwa lokulungisa).

Bekunenqwaba yababambe iqhaza emakomitini ezinhlelo nasezinjinini zomphakathi. Wonke umuntu waxazulula izinkinga zabo zokuxuba izinkolo, wakha amabhuloho, futhi wathola ukuxhumana. Ngasebenzisa lokhu nomaphi lapho ngikwazi, futhi, isibonelo, savumelana Alexander Borgardt kusukela Iqembu labasebenzisi be-C++ laseMoscow ndawonye bhalani indatshana enezinga eligcwele mayelana nabalingisi kanye ne-asynchrony ku-C++.

Abawine Imiklomelo emithathu ye-Dijkstra: ihambe kanjani i-Hydra 2019 kanye ne-SPTDC 2019

Esithombeni: Leonid Talalaev (ltalal, kwesokunxele) no-Oleg Anastasyev (m0nstermind, kwesokudla), onjiniyela abahamba phambili e-Odnoklassniki

Izindawo zezingxoxo zomlilo kanye nama-buffs

Ezingqungqutheleni kuhlale kukhona abahlanganyeli abasaziyo isihloko kanye nezikhulumi (futhi ngezinye izikhathi kangcono nakakhulu kunezikhulumi - isibonelo, lapho umthuthukisi womgogodla wobunye ubuchwepheshe ephakathi kwabahlanganyeli). Kwakukhona abahlanganyeli abaningi abangochwepheshe kuHydra. Ngokwesibonelo, ngesinye isikhathi emhlabeni Alex Petrov etshela mayelana noCassandra, kwakha abantu abaningi kangangokuthi wayengakwazi ukuphendula wonke umuntu. Ngesinye isikhathi, u-Alex waphushelwa eceleni kahle futhi waqala ukudabuka ngemibuzo, kodwa ifulegi eliwayo lathathwa umthuthukisi owaziwayo we-Rust emibuthanweni. Tyler Neely futhi walinganisela umthwalo ngokuphelele. Lapho ngicela usizo lukaTyler ngengxoxo eku-inthanethi, konke akubuza ukuthi, β€œSiqala nini?”

Abawine Imiklomelo emithathu ye-Dijkstra: ihambe kanjani i-Hydra 2019 kanye ne-SPTDC 2019

Kwesinye isikhathi, umoya wezingxoxo uze ungene embikweni: U-Nikita Koval uhlele iseshini ye-Q&A engazelelwe, ehlukanisa umbiko waba izigaba ezimbalwa.

Futhi ngokuphambene nalokho, ku-BOF yokufaka imicu eminingi bakhumbula ngenkumbulo engaguquki, badonsekela kulokhu Pedro Ramalhete njengochwepheshe oyinhloko, futhi wachaza konke kuwo wonke umuntu (ngamafuphi, inkumbulo engaguquki ayiyona ingozi kithi esikhathini esizayo esiseduze). Omunye wabaphathi baleli bof, ngendlela, kwaba UVladimir Sitnikov, okhonza emakomitini ohlelo ezinye zezingqungquthela ezingasile... kubonakala sengathi ziyisihlanu ngesikhathi njengamanje. Engxoxweni elandelayo mayelana ne-"Modern CS emhlabeni wangempela" baphinde baxoxisana nge-NVM futhi beza kulokhu bebodwa.

Abawine Imiklomelo emithathu ye-Dijkstra: ihambe kanjani i-Hydra 2019 kanye ne-SPTDC 2019

Ngingabelana ngokuqonda okukhulu okungenzeka ukuthi ngisho nalabo ababandakanyeka ngokuqondile endabeni abakubonanga. U-Eli Gafni wenza kusihlwa ngosuku lokuqala lweSikole, futhi ngakusasa wahlala futhi waqala ukunyathela i-Lamport, futhi ngaphandle kwakubonakala sengathi lo mdlalo futhi u-Eli wayengenele. Ukuthi lolu uhlobo oluthile lwe-troll oluzimisele ukukhipha ubuchopho bukaLeslie. Eqinisweni, iqiniso liwukuthi cishe bangabangane abakhulu, sebeneminyaka eminingi bengabangane, futhi lokhu kuwukubhuqana nje kobungane. Okusho ukuthi, ihlaya lasebenza - bonke abantu abaseduze bawa ngenxa yalo, bayithatha njengento ebonakalayo.

Abawine Imiklomelo emithathu ye-Dijkstra: ihambe kanjani i-Hydra 2019 kanye ne-SPTDC 2019

Ngokwehlukana, ngingathanda ukuphawula ukuthi lungakanani uthando nomzamo izikhulumi eziwufaka kulokhu. Othile wama endaweni yezingxoxo kwaze kwaba umzuzu wokugcina, cishe amahora amaningi. Ikhefu laphela kudala, umbiko waqala, waphela, kwaqala ikhefu elilandelayo - futhi UDmitry Vyukov waqhubeka ephendula imibuzo. Indaba ethokozisayo nayo yenzeke kimi - ngemva kokumangala u-Cliff Click, angitholanga nje incazelo ecacile nenengqondo yaleyo ngxoxo evusa inkanuko mayelana nokuntuleka kwezivivinyo. ngezinto ezithile ku-H2O, kodwa futhi uthole isibuyekezo sayo esigcwele ulimi olusha AA. Angikaze ngikucele lokhu: ngisanda kubuza ukuthi yini ongayifunda nge-AA (kuvele ukuthi ungalalela i-podcast), futhi esikhundleni salokho uCliff wachitha isigamu sehora ekhuluma ngolimi futhi ehlola ukuthi ayekusho kuqondwa kahle yini. Kuyamangalisa. Sidinga ukubhala i-habrapost mayelana ne-AA. Okunye okuhlangenwe nakho okungajwayelekile kwakuwukubuka inqubo yokubuyekezwa kwesicelo sokudonsa e-Kotlin. Kuwumuzwa omlingo ngempela uma ungena emaqenjini ezingxoxo ahlukene, izikhulumi ezihlukene, futhi ungene ezweni elisha lonke. Lokhu kuyinto esezingeni "Lapho, Lapho" nguRadiohead.

Abawine Imiklomelo emithathu ye-Dijkstra: ihambe kanjani i-Hydra 2019 kanye ne-SPTDC 2019

Ulimi lwesiNgisi

I-Hydra 2019 iyingqungquthela yethu yokuqala lapho ulimi oluyinhloko kuyisiNgisi. Lokhu kuletha kokubili izinzuzo zayo kanye nezinselele zayo. Inzuzo esobala ukuthi abantu abezi nje kuphela engqungqutheleni evela eRussia, ngakho-ke phakathi kwabahlanganyeli ungahlangana nonjiniyela abavela eYurophu kanye nososayensi baseNgilandi. Izikhulumi ziletha abafundi bazo. Ngokuvamile, izikhulumi ezibalulekile zinezisusa eziningi zokuya engqungqutheleni enjalo. Cabanga ukuthi uyisikhulumi engqungqutheleni yolimi lwesiRashiya ngokuphelele: unikeze umbiko wakho, wavikela indawo yezingxoxo, bese kuthiwani? Hamba uzungeze idolobha futhi ubone izindawo zezivakashi? Eqinisweni, izikhulumi ezidumile ngempela sezivele zibone ngokwanele kukho konke okusemhlabeni, azifuni ukuyobona amabhubesi namabhuloho, zinesithukuthezi. Uma yonke imibiko ingeyesiNgisi, bangabamba iqhaza engqungqutheleni ngokujwayelekile, bajabule, bajoyine izindawo zezingxoxo, nokunye. Umkhathi uvumela izikhulumi.

Abawine Imiklomelo emithathu ye-Dijkstra: ihambe kanjani i-Hydra 2019 kanye ne-SPTDC 2019

Ububi obusobala ukuthi akubona bonke abantu abakhululekile ukuxhumana ngesiNgisi. Abaningi baqonda kahle, kodwa bakhuluma kabi. Ngokuvamile, izinto ezivamile zaxazululwa ngezindlela ezahlukene. Isibonelo, ezinye izindawo zezingxoxo zaqala ngesiRashiya, kodwa zashintshela esiNgisini ngokushesha lapho kuvela umhlanganyeli wokuqala okhuluma isiNgisi.

Mina ngokwami ​​bekumele ngenze ukuvulwa nokuvala okufakiwe kokusakaza ku-inthanethi ngesiNgisi kuphela futhi ngibambe iqhaza ezingxoxweni ezimbalwa ezirekhodiwe nochwepheshe. Futhi lokhu kwakuyinselele yangempela kimi engingeke ngiyikhohlwe maduze. Ngesinye isikhathi u-Oleg Anastasyev (m0nstermind) wavele wangitshela ukuthi ngihlale nabo phakathi nengxoxo, futhi ngaphuza kakhulu ukuqonda ukuthi lokho kusho ukuthini.

Ngakolunye uhlangothi, bekumnandi kakhulu ukuthi abantu babuze imibuzo kumibiko ngokuqhuma. Hhayi nje izikhulumi zomdabu, kodwa wonke umuntu ngokuvamile, kusebenze kahle. Kwezinye izingqungquthela, kuvame ukubonakala ukuthi abantu banamahloni okubuza izethameli ngesiNgisi esiphukile, futhi bangakwazi ukukhama okuthile endaweni yezingxoxo. Lokhu kwakuhluke ngokuphelele lapha. Uma sikhuluma nje, uCliff Click othile uqede imibiko yakhe ngaphambi kwesikhathi, futhi ngemva kwalokho imibuzo yalandela ngokulandelana okuqhubekayo, ingxoxo yathuthela endaweni yengxoxo - ngaphandle kokuma kancane noma ukuphazamiseka. Okufanayo kuyasebenza naseseshini ye-Q&A kaLeslie Lamport; umethuli empeleni bekungadingeki abuze imibuzo yakhe, ababambiqhaza baqhamuke nakho konke.

Kwakukhona zonke izinhlobo zezinto ezincane ezibonwa abantu abambalwa, kodwa zikhona. Ngenxa yokuthi ingqungquthela ingeyesiNgisi, ukwakheka kwezinto ezinjengamapheshana namamephu kulula futhi kufushane. Asikho isidingo sokuphinda izilimi futhi uhlanganise umklamo.

Abaxhasi kanye nombukiso

Abaxhasi bethu basisize kakhulu ekudaleni ingqungquthela. Ngenxa yabo, kwakuhlale kukhona okwenziwa ngesikhathi sekhefu.

Esitobhini I-Deutsche Bank TechCenter ungaxoxa nonjiniyela bezinhlelo ezinemicu eminingi, uxazulule izinkinga zabo ekhanda lakho, uwine imiklomelo ekhumbulekayo futhi ube nesikhathi esimnandi.

Abawine Imiklomelo emithathu ye-Dijkstra: ihambe kanjani i-Hydra 2019 kanye ne-SPTDC 2019

Esitobhini I-Contour singakhuluma ngezinhlelo zabo, kokubili umthombo ovulekile novulekile: isizindalwazi sememori esabalalisiwe, ilogi kanambambili esabalalisiwe, uhlelo lwe-microservice orchestration, ukuthutha kwendawo yonke ye-telemetry, njalonjalo. Futhi-ke, izindida kanye nemincintiswano, izitika ezinekati kanambambili kanye neNkathi Ephakathi Yokuhlupheka, izipho ezifana nencwadi kaMartin Kleppmann kanye nezibalo ze-LEGO.

Sicela uqaphele ukuthi ukuhlaziywa kwezinkinga ze-Kontur sekuvele ishicilelwe ku-HabrΓ©. Ukuhlaziya okuhle, kufanelekile ukubheka.

Abawine Imiklomelo emithathu ye-Dijkstra: ihambe kanjani i-Hydra 2019 kanye ne-SPTDC 2019

Abafisayo bebengathenga zonke izinhlobo zezincwadi baxoxe ngazo nozakwabo. Isixuku sonke sabuthana emhlanganweni we-autograph!

Abawine Imiklomelo emithathu ye-Dijkstra: ihambe kanjani i-Hydra 2019 kanye ne-SPTDC 2019

Imiphumela

IHydra Conference kanye neSPTDC School yimicimbi ebaluleke kakhulu kithina njengenkampani ehlelayo kanye nakuwo wonke umphakathi. Leli yithuba lokubheka ikusasa lethu, sithuthukise uhlaka lomqondo oluhlangene lokuxoxa ngezinkinga zesimanje, futhi sibhekisise izinkomba ezithakazelisayo. I-Multithreading kade yaba khona isikhathi eside kakhulu, kodwa kuthathe ishumi leminyaka lonke ngemuva kokuvela kwephrosesa yokuqala ye-multi-core ukuze lo mkhuba wande. Esikuzwe embikweni kuleli sonto akuzona izindaba ezidlulayo, kodwa indlela eya ekusasa eliqhakazile esizolilandela eminyakeni ezayo. Ngeke kube khona abaphangi be-Hydra elandelayo kulokhu okuthunyelwe, kodwa ungathemba okungcono kakhulu. Uma unentshisekelo ezindabeni ezifana nalezi, ungafuna ukuhlola eminye imicimbi yethu, njengezinkulumo zenkomfa eziqinile I-Joker 2019 noma DotNext 2019 eMoscow. Sobonana ezingqungqutheleni ezilandelayo!

Abawine Imiklomelo emithathu ye-Dijkstra: ihambe kanjani i-Hydra 2019 kanye ne-SPTDC 2019

Source: www.habr.com

Engeza amazwana