Ndị mmeri Dijkstra atọ: ka Hydra 2019 na SPTDC 2019 siri gaa

Ndị mmeri Dijkstra atọ: ka Hydra 2019 na SPTDC 2019 siri gaa

Na nso nso a, site na Julaị 8 ruo 12, ihe omume abụọ dị ịrịba ama mere n'otu oge - ogbako ahụ Hydra na ụlọ akwụkwọ SPTDC. Na post a, ọ ga-amasị m ịkọwapụta ọtụtụ atụmatụ anyị hụrụ n'oge ọgbakọ ahụ.

Nnukwu mpako nke Hydra na ụlọ akwụkwọ bụ ndị na-ekwu okwu.

  • Ndị mmeri atọ Dijkstra Prize: Leslie Lamport, Maurice Herlihy na Michael Scott. Ọzọkwa, Maurice natara ya ugboro abụọ. Leslie Lamport nyekwara aka Turing Award - ihe nrite ACM kacha ewu ewu na sayensị kọmputa;
  • Onye okike nke Java JIT compiler bụ Cliff Click;
  • Ndị mmepe Corutin - Roman Elizarov (elizarov) na Nikita Koval (ndkoval) maka Kotlin, na Dmitry Vyukov maka Go;
  • Ndị nyere aka na Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Yandex Database (Semyon Checherinda na Vladislav Kuznetsov);
  • Na ọtụtụ ndị ọzọ a ma ama: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (C ++ ebe nchekwa nlereanya), Pedro Ramalhete (free data owuwu), Alexey Zinoviev (ML), Dmitry Bugaichenko (graph analysis).

Nke a bụkwa ụlọ akwụkwọ:

  • Mahadum Brown (Maurice Herlihy),
  • Mahadum nke Rochester (Michael Scott),
  • Mahadum nke Waterloo (Trevor Brown),
  • Mahadum nke Nantes (Achour Mostefaoui),
  • David Ben-Gurion University nke Negev (Danny Hendler),
  • Mahadum California na Los Angeles (Eli Gafni),
  • Ụlọ akwụkwọ Polytechnique de Paris (Petr Kuznetsov),
  • Nyocha Microsoft (Leslie Lamport),
  • Nyocha VMware (Ittai Abraham).

Ndị mmeri Dijkstra atọ: ka Hydra 2019 na SPTDC 2019 siri gaa

Theory na omume, sayensị na mmepụta

Ka m chetara gị na ụlọ akwụkwọ SPTDC bụ obere ihe omume maka otu narị mmadụ na ọkara; Hydra bụ ọgbakọ mgbakọ kọmputa ekesara ụbọchị abụọ n'otu n'otu. Hydra nwere nlebara anya injinia karịa, ebe ụlọ akwụkwọ ahụ nwere nlebara anya sayensị karịa.

Otu n'ime ebumnuche nke ọgbakọ Hydra bụ ijikọ ụkpụrụ sayensị na injinia. N'otu aka ahụ, a na-enweta nke a site na nhọrọ nke akụkọ na mmemme: yana Lamport, Herlihy na Scott, enwere akụkọ ndị ọzọ etinyere na Alex Petrov, onye na-enye aka na Cassandra, ma ọ bụ Roman Elizarov sitere na JetBrains. Enwere Martin Kleppman, onye na-ewu ma na-ere mmalite ma na-agụ CRDT ugbu a na Mahadum Cambridge. Ma ihe dị mma bụ na a na-ejide Hydra na SPTDC n'akụkụ - ha nwere akụkọ dị iche iche, mana ebe a na-ahụkarị maka nkwurịta okwu.

Ndị mmeri Dijkstra atọ: ka Hydra 2019 na SPTDC 2019 siri gaa

Nmikpu

Ụbọchị ise nke Ụlọ Akwụkwọ n'usoro bụ nnukwu ihe omume na nnukwu ọrụ, ma maka ndị sonyere na ndị nhazi. Ọ bụghị mmadụ niile mere ya n'oge ikpeazụ. Enwere ndị na-aga Hydra na ụlọ akwụkwọ n'otu oge, na maka ha ụbọchị ikpeazụ tụgharịrị bụrụ ihe kachasị eme. A na-ewepụ mkpasu iwe a niile site na nmikpu miri emi na-enweghị atụ. Nke a bụ n'ihi na ọ bụghị naanị na olu, kamakwa n'ịdị mma nke ihe. Akuko niile na nkuzi na emume abuo ahu emebeghi ka ewebata ya, ya mere, ebe obula igara, miri na miri ozugbo, a gaghị ahapụkwa gị ruo ọgwụgwụ.

N'ezie, ọtụtụ ihe na-adabere na nkwadebe mbụ nke onye so na ya. Enwere oge na-atọ ọchị mgbe ndị mmadụ abụọ nọ na paseeji ahụ kwurịtara onwe ha banyere akụkọ Heidi Howard: nye ụfọdụ ọ dị ka ihe nkịtị, ebe ndị ọzọ, n'ụzọ megidere nke ahụ, chebaara echiche banyere ndụ. Ọ bụ ihe na-adọrọ mmasị na dị ka ndị sonyere na kọmitii mmemme (ndị chọrọ ka a na-amaghị aha), akụkọ Hydra na nkuzi Ụlọ Akwụkwọ na mmemme ha nwere ike ịkacha mma. Dịka ọmụmaatụ, ọ bụrụ na onye obere PHP bịara na ogbako PHP ka ọ mụta ndụ, ọ ga-abụ ntakịrị ọkụ ọkụ iche na o nwere ihe ọmụma miri emi banyere internals nke Zend Engine. N'ebe a, ndị na-ekwu okwu emeghị nri ndị na-eto eto, ma ozugbo gosipụtara ọkwa ụfọdụ nke ihe ọmụma na nghọta. Ọfọn, n'ezie, ọkwa nke ndị sonyere na-arụ ọrụ nkesa usoro na-ede kernels na-agba ọsọ dị elu nke ukwuu, nke a bụ ihe ezi uche dị na ya. N'ikpe ikpe site na mmeghachi omume nke ndị sonyere, ọ dị nnọọ mfe ịhọrọ akụkọ dabere na ọkwa na isiokwu.

Ọ bụrụ na anyị na-ekwu maka akụkọ ụfọdụ, ha niile dị mma n'ụzọ nke aka ha. Na-ekpe ikpe site n'ihe ndị mmadụ na-ekwu na ihe a pụrụ ịhụ site na nzaghachi nzaghachi, otu n'ime akụkọ kacha mma na Ụlọ Akwụkwọ bụ "Ụdị data anaghị egbochi" Michael Scott, ọ dọwara onye ọ bụla, o nwere ọkwa na-adịghị mma nke gburugburu 4.9.

Ndị mmeri Dijkstra atọ: ka Hydra 2019 na SPTDC 2019 siri gaa

Metaconference

Ogologo oge tupu mmalite nke Hydra na Ụlọ Akwụkwọ, Ruslan ARG89 chere na a ga-enwe ụdị “meta-conference” - ọgbakọ ọgbakọ, ebe ndị niile sonyere na mmemme ndị ọzọ ga-abanye na ya ozugbo, dị ka a ga-asị na ọ bụ n'ime oghere ojii. Ya mere, o mere! Dịka ọmụmaatụ, n'etiti ụmụ akwụkwọ nke Ụlọ Akwụkwọ ahụ, a hụrụ ya Ruslan Cheremin sitere na DeutscheBank, ọkachamara ama ama na multithreading.

Ndị mmeri Dijkstra atọ: ka Hydra 2019 na SPTDC 2019 siri gaa

Na ndị òtù Hydra ka a hụrụ Vadim Tsesko (incubos) na Andrey Pangin (Apangin) sitere na ụlọ ọrụ Odnoklassniki. (N'otu oge ahụ, Vadim nyekwara anyị aka ime ajụjụ ọnụ abụọ mara mma na Martin Kleppman - otu maka Habr, na nke ọzọ maka ndị na-ekiri mgbasa ozi n'ịntanetị). E nwere ndị otu Kọmiti mmemme DotNext, ndị ọkà okwu a ma ama Anatoly Kulakov na Igor Labutin. N'ime ndị Javis e nwere Dmitry Alexandrov и Vladimir Ivanov. Ọtụtụ mgbe, ị na-ahụ ndị a n'ebe dị iche iche - dotnetists na DotNext, javaists na Joker, na ndị ọzọ. Ya mere, ha na-anọdụ ala n'akụkụ na akụkọ Hydra na ọnụ na-ekwurịta nsogbu na buffs. Mgbe nkewa a dị ntakịrị site na asụsụ mmemme na teknụzụ na-apụ n'anya, njirimara nke mpaghara isiokwu a na-apụta: ndị ọkachamara na-agba ọsọ oge na-ekwurịta okwu na ndị ọzọ na-agba ọsọ, ndị na-eme nchọpụta kọmputa na-arụrịta ụka nke ọma na ndị nchọpụta ndị ọzọ, ndị injinia nchekwa data na-agbakọta na whiteboard, na ihe ndị ọzọ. .

Na akụkọ dị ka C++ ebe nchekwa ihe nlereanya ndị mmepe OpenJDK nọ ọdụ n'ahịrị n'ihu (ma ọ dịkarịa ala, amaara m ha n'anya, mana ọ bụghị ndị Pythonists, ikekwe ndị Pythonists nọkwa ebe ahụ). N'ezie, enwere ihe dị otú ahụ Shipilevsky na akụkọ a ... Ori adịghị ekwu kpọmkwem otu ihe ahụ, ma nlezianya anya nwere ike ịchọpụta ihe yiri ya. Ọbụlagodi mgbe ihe niile mere na ụkpụrụ C ++ kachasị ọhụrụ, a ka edozibeghị nsogbu ndị dị ka ụkpụrụ ikuku dị mkpa, yabụ ị nwere ike ịga na akụkọ dị otú ahụ ma gee ntị ka ndị mmadụ “n'akụkụ nke ọzọ nke mgbochi” dị. na-agbalị idozi nsogbu ndị a, Dị ka ha na-eche, otu onye nwere ike masịrị ya na-eru nso na ngwọta achọtara (Ori nwere otu n'ime mmezi nhọrọ).

Enwere ọtụtụ ndị sonyere na kọmitii mmemme na injin obodo. Onye ọ bụla doziri nsogbu n'etiti okpukpe ha, wuo àkwà mmiri, ma nweta njikọ. M na-eji nke a ebe ọ bụla m nwere ike, na, dịka ọmụmaatụ, anyị kwenyere na Alexander Borgardt si Ndị ọrụ Moscow C++ ọnụ dee akụkọ zuru oke gbasara ndị na-eme ihe nkiri na asynchrony na C++.

Ndị mmeri Dijkstra atọ: ka Hydra 2019 na SPTDC 2019 siri gaa

Na foto: Leonid Talalaevtalal, aka ekpe) na Oleg Anastasyev (m0nuche, aka nri), na-eduga ndị mmepe na Odnoklassniki

Mpaghara mkparịta ụka ọkụ na buffs

Na ogbako, a na-enwekarị ndị na-eso ya maara isiokwu yana ndị na-ekwu okwu (na mgbe ụfọdụ ọbụna karịa ndị na-ekwu okwu - dịka ọmụmaatụ, mgbe onye mmepụta nke isi nke nkà na ụzụ ụfọdụ so na ndị sonyere). Enwere ọtụtụ ndị sonyere na Hydra nke ukwuu. Dịka ọmụmaatụ, n'oge ụfọdụ gburugburu Alex Petrov na-agwa banyere Cassandra, ọtụtụ mmadụ malitere nke na ọ pụghị ịza onye ọ bụla. N'oge ụfọdụ, a kpaliri Alex nke ọma n'akụkụ wee malite ịjụ ya ajụjụ, ma onye na-emepụta nchara a ma ama na gburugburu ahụ welitere ọkọlọtọ ahụ dara ada. Tyler Neely ma dozie ibu ahụ nke ọma. Mgbe m jụrụ Tyler maka enyemaka na ajụjụ ọnụ n'ịntanetị, ihe ọ jụrụ bụ, "Olee mgbe anyị ga-amalite?"

Ndị mmeri Dijkstra atọ: ka Hydra 2019 na SPTDC 2019 siri gaa

Mgbe ụfọdụ, mmụọ nke mkparịta ụka ọbụna banyere na akụkọ: Nikita Koval haziri a na mberede Q&A nnọkọ, kewara akụkọ n'ime ọtụtụ ngalaba.

Na nke ọzọ, na BOF maka multi-threading ha chetara banyere ebe nchekwa na-adịghị agbanwe agbanwe, a dọtara ha na bof a. Pedro Ramalhete dị ka onye isi ọkachamara, ma kọwaara onye ọ bụla ihe niile (na nkenke, ebe nchekwa na-adịghị agbanwe agbanwe abụghị ihe egwu nye anyị n'ọdịnihu dị nso). Otu n'ime ndị ọbịa nke bof a, n'ụzọ, bụ Vladimir Sitnikov, onye na-eje ozi na kọmitii mmemme nke ụfọdụ ọnụ ọgụgụ nzuzu nke ọgbakọ ... ọ dị ka ise n'otu oge ugbu a. Na buff na-esote banyere "Modern CS na ụwa n'ezie" ha tụlekwara NVM wee bịa na nke a kpamkpam n'onwe ha.

Ndị mmeri Dijkstra atọ: ka Hydra 2019 na SPTDC 2019 siri gaa

Enwere m ike ịkọrọ nnukwu nghọta nke ọbụna ndị na-etinye aka na akụkọ ahụ nwere ike ọ gaghị achọpụta. Eli Gafni mere n'uhuruchi nke ụbọchị mbụ nke Ụlọ Akwụkwọ ahụ, n'echi ya ọ nọrọ wee malite ịgagharị Lamport, site n'èzí ọ dị ka nke a bụ egwuregwu na Eli erughị eru. Na nke a bụ ụfọdụ ụdị troll nke malitere iwepụ ụbụrụ Leslie. N’ezie, nke bụ́ eziokwu bụ na ọ fọrọ nke nta ka ọ bụrụ ezigbo ndị enyi ha, ha abụwo enyi ruo ọtụtụ afọ, nke a bụkwa nnọọ omume enyi. Ya bụ, njakịrị ahụ rụrụ ọrụ - ndị niile gbara ya gburugburu dara ya, were ya na ọnụ ahịa.

Ndị mmeri Dijkstra atọ: ka Hydra 2019 na SPTDC 2019 siri gaa

Iche iche, ọ ga-amasị m ịhụ otú ịhụnanya na mgbalị ndị ọkà okwu si tinye n'ime nke a. Otu onye guzoro n’ebe a na-akparịta ụka ruo nkeji ikpeazụ, ihe fọrọ nke nta ka ọ bụrụ awa. Nkwụsị ahụ kwụsịrị ogologo oge gara aga, akụkọ ahụ malitere, mechie, ezumike ọzọ malitere - na Dmitry Vyukov nọgidere na-aza ajụjụ. Otu akụkọ na-atọ ụtọ mekwara m - mgbe m were Cliff Click na mberede, enwetara m ọ bụghị naanị nkọwa doro anya na ezi uche maka mkparịta ụka ahụ na-akpali agụụ mmekọahụ banyere enweghị ule. maka ụfọdụ ihe na H2O, mana nwetakwara nyocha ya zuru oke asụsụ ọhụrụ AA. Ọ dịghị mgbe m jụrụ maka nke a: Ajụrụ m ihe ị nwere ike ịgụ gbasara AA (ọ tụgharịrị na ị nwere ike ige ntị pọdkastị), kama nke ahụ, Cliff ji ọkara awa na-ekwu banyere asụsụ ahụ ma chọpụta na a ghọtara ihe ọ na-ekwu nke ọma. Ijuanya. Anyị kwesịrị ide habrapost gbasara AA. Ahụmahụ ọzọ a na-adịghị ahụkebe bụ ikiri usoro nyocha arịrịọ na Kotlin. Ọ bụ mmetụta anwansi n'ezie mgbe ị na-abanye n'ime otu mkparịta ụka dị iche iche, ndị na-ekwu okwu dị iche iche, wee banye n'ime ụwa ọhụrụ. Nke a bụ ihe dị n'ogo "N'ebe ahụ, N'ebe ahụ" site na Radiohead.

Ndị mmeri Dijkstra atọ: ka Hydra 2019 na SPTDC 2019 siri gaa

Asụsụ Bekee

Hydra 2019 bụ ọgbakọ izizi anyị ebe a na-asụ Bekee. Nke a na-eweta ma uru ya na ihe ịma aka ya. Uru doro anya bụ na ọ bụghị nanị na ndị mmadụ na-abịa na ogbako site na Russia, ya mere, n'etiti ndị sonyere ị nwere ike izute ndị injinia si Europe na ndị ọkà mmụta sayensị si England. Ndị na-ekwu okwu na-ebute ụmụ akwụkwọ ha. N'ozuzu, ndị ọkà okwu dị mkpa nwere mkpali karịa ịga na ogbako dị otú ahụ. Were ya na ị bụ ọkà okwu na ogbako asụsụ Rọshịa kpamkpam: ị nyela akụkọ gị, gbachitere ebe a na-akparịta ụka, ma gịnị? Gagharịa n'obodo ahụ wee hụ ebe ndị njem nlegharị anya? N'ezie, n'ezie ndị ọkà okwu na-ewu ewu ahụworị ihe zuru ezu nke ihe niile dị n'ụwa, ha achọghị ịga hụ ọdụm na drawbridges, ha na-agwụ ike. Ọ bụrụ na akụkọ niile dị na Bekee, ha nwere ike isonye na ọgbakọ n'ozuzu, nwee anụrị, sonyere mpaghara mkparịta ụka, na ihe ndị ọzọ. Igwe ikuku dị nnọọ enyi n'ebe ndị ọkà okwu nọ.

Ndị mmeri Dijkstra atọ: ka Hydra 2019 na SPTDC 2019 siri gaa

Mwepu pụtara ìhè bụ na ọ bụghị onye ọ bụla nwere ahụ iru ala na-ekwurịta okwu na Bekee. Ọtụtụ na-aghọta nke ọma, ma na-ekwu okwu adịghị mma. N'ozuzu, ihe ndị nkịtị na-edozi n'ụzọ dị iche iche. Dịka ọmụmaatụ, ụfọdụ mpaghara mkparịta ụka malitere na Russian, ma ozugbo ọ gbanwere na Bekee mgbe onye mbụ na-asụ Bekee pụtara.

M onwe m ga-eme oghere na mmechi inclusions nke online agbasa ozi n'ikuku nanị na English na-ekere òkè na a di na nwunye nke na-ndekọ ajụjụ ọnụ na ndị ọkachamara. Na nke a bụụrụ m ezigbo ihe ịma aka nke na-agaghị echefu echefu n’oge na-adịghị anya. N'oge ụfọdụ Oleg Anastasyev (m0nuche) nanị gwara m ka mụ na ha nọrọ n’oge a na-agba ajụjụ ọnụ, ọ dịkwa m ngwa ngwa ịghọta ihe nke ahụ pụtara.

N'aka nke ọzọ, ọ bụ nnọọ obi ụtọ na ndị mmadụ ji ụda olu jụọ ajụjụ na akụkọ ahụ. Ọ bụghị naanị ndị na-asụ obodo, mana onye ọ bụla n'ozuzu ya, ọ na-arụ ọrụ nke ọma. N'ọgbakọ ndị ọzọ, a na-ahụtakarị na ihere na-eme ndị mmadụ ịjụ ndị na-ege ntị ajụjụ n'asụsụ Bekee gbajiri agbaji, na-enwekwa ike iwepụta naanị ihe na mpaghara mkparịta ụka. Nke a dị nnọọ iche ebe a. N'ikwu okwu n'otu n'otu, ụfọdụ Cliff Click gụchara akụkọ ya ntakịrị oge, ma mgbe nke ahụ gasịrị ajụjụ ndị ahụ sochiri n'usoro na-aga n'ihu, mkparịta ụka ahụ banyere n'ime mpaghara mkparịta ụka - na-enweghị nkwụsịtụ ma ọ bụ nkwụsịtụ. Otu ihe ahụ metụtara ajụjụ & A nnọkọ Leslie Lamport;

Enwere ụdị obere ihe niile mmadụ ole na ole na-ahụ, mana ha dị. N'ihi na ogbako ahụ dị na Bekee, nhazi nke ihe ndị dị ka mpempe akwụkwọ na maapụ dị mfe ma dị nkenke. Ọ dịghị mkpa ka ịmegharị asụsụ ma mebie nhazi ahụ.

Ndị nkwado na ihe ngosi

Ndị nkwado anyị nyeere anyị aka nke ukwuu n'ịmepụta ogbako. Ekele dịrị ha, a na-enwekarị ihe a ga-eme n'oge ezumike.

N'ebe nkwụnye Ụlọ ọrụ Deutsche Bank TechCenter Ị nwere ike ịkparịta ụka na ndị injinia nke sistemu ọtụtụ eriri, dozie nsogbu ha n'isi gị, nweta ihe nrite echefu echefu ma nwee ọmarịcha oge.

Ndị mmeri Dijkstra atọ: ka Hydra 2019 na SPTDC 2019 siri gaa

N'ebe nkwụnye Contour anyị nwere ike ikwu maka usoro nke ha, ma nke mepere emepe na nke mepere emepe: nchekwa data na-ekesa na ebe nchekwa, ndekọ ọnụọgụ abụọ na-ekesa, microservice orchestration system, ụgbọ njem zuru ụwa ọnụ maka telemetry, na ihe ndị ọzọ. Na n'ezie, mgbagwoju anya na asọmpi, akwụkwọ mmado nwere nwamba ọnụọgụ abụọ na nhụjuanya na-emepe emepe, onyinye dị ka akwụkwọ Martin Kleppmann na ọnụ ọgụgụ LEGO.

Biko mara na nyocha nke nsogbu Kontur adịlarị bipụtara na Habré. Nyocha dị mma, kwesịrị ile anya.

Ndị mmeri Dijkstra atọ: ka Hydra 2019 na SPTDC 2019 siri gaa

Ndị chọrọ nwere ike zụta ụdị akwụkwọ ọ bụla ma soro ndị ọrụ ibe kwurịta ya. Ìgwè mmadụ niile gbakọtara maka nnọkọ akpaaka!

Ndị mmeri Dijkstra atọ: ka Hydra 2019 na SPTDC 2019 siri gaa

Nsonaazụ

Nzukọ Hydra na Ụlọ Akwụkwọ SPTDC bụ ihe omume dị oke mkpa maka anyị dịka ụlọ ọrụ na-ahazi na maka obodo dum. Nke a bụ ohere ileba anya n'ọdịnihu anyị, mepụta usoro echiche dị n'otu maka ikwurịta nsogbu ọgbara ọhụrụ, ma lebakwuo anya na ntụziaka ndị na-adọrọ mmasị. Multithreading anọwo na gburugburu ruo ogologo oge, mana ọ were afọ iri ka ihe nrụpụta multi-core nke mbụ pụtara ka ihe ahụ wee gbasaa. Ihe anyị nụrụ na akụkọ a n'izu a abụghị akụkọ na-adịghị adịte aka, kama ọ bụ ụzọ na-eduga n'ọdịnihu dị mma nke anyị ga-eso na afọ ndị na-abịanụ. Agaghị enwe ndị na-emebi ihe maka Hydra na-esote na post a, mana ị nwere ike ịtụ anya ihe kacha mma. Ọ bụrụ na ị nwere mmasị na okwu dị ka ndị a, ị nwere ike ịchọ ịlele mmemme anyị ndị ọzọ, dị ka okwu ọgbakọ hardcore Egwu 2019 ma ọ bụ Ihe ọzọ 2019 Moscow. Hụ gị na ọgbakọ ndị ọzọ!

Ndị mmeri Dijkstra atọ: ka Hydra 2019 na SPTDC 2019 siri gaa

isi: www.habr.com

Tinye a comment