munaaradaha Kremlin ee gacmaha Hydra: shir ku saabsan isbarbardhigga iyo qaybinta xisaabinta Hydra 2020 ee Moscow

Sannadkii hore ee St. Petersburg waxaa jiray shirkii ugu horeeyay Hydra, oo loogu talagalay nidaamyada isbarbar-dhigga iyo qaybsan. Abaalmarintu waxay sameeyeen bandhigyo Abaalmarinta Dijkstra и Abaalmarinta Turing (Leslie Lamport, Maurice Herlihy и Michael Scott), abuurayaasha isku-dubaridyada iyo luqadaha barnaamijyada (C ++, Go, Java, Kotlin), soo-saareyaasha xogta la qaybiyay (Cassandra, CosmosDB, Yandex Database), iyo sidoo kale abuurayaasha iyo cilmi-baarayaasha algorithms iyo qaab-dhismeedka xogta (CRDT, Paxos, sug -qaababka xogta bilaashka ah) . Guud ahaan, meeshan waxaad mar hore qaadan kartaa fasax, yaree daaqadda IDE, ku fur liiska heesaha YouTube-ka wararka ugu wanaagsan Hydra 2019 - oo ha yara sugo jadwalaha hawsha.

Guud ahaan shirkan oo kale marna ma dhicin, haddana wuu soo laaban doonaa. Mar labaad oo leh warbixino Ingiriisi ah, sababtoo ah ma jiro luuqad ka fiican oo looga hadlo xisaabinta barbar-dhigga iyo qaybinta. Mar labaad xagaaga, Luulyo 10-keeda iyo 11-keeda, sababtoo ah dadka ku hadlaa waxay haystaan ​​wakhti ay ku baaraan oo wax ku dhigaan, tusaale ahaan, jaamacadaha Cambridge, Rochester iyo St. Petersburg, iyo wakhtiyada kale ee sanadka iyaga maaha.

Si kastaba ha ahaatee, markan Hydra waxaa lagu qaban doonaa Moscow, halkaas oo inta badan ka qaybgalayaasha shirku ay yimaadeen sannadkii hore si ay u dhagaystaan ​​warbixinno ku saabsan heshiis la qaybiyay iyo xusuusta macaamilka. Hydra cusub waxaa ku jira barnaamij aad u adag, ku hadla cusub oo ay weheliyaan geesiyaashii sannadkii hore, iyo sidoo kale dareenka hore loo yaqaan ee xamaasadda hardcore barbar socda qaybiyay ka qaybgalayaasha saddex hoolal.

munaaradaha Kremlin ee gacmaha Hydra: shir ku saabsan isbarbardhigga iyo qaybinta xisaabinta Hydra 2020 ee Moscow


Aynu isla markiiba miiska saarno kaadhadhka sagxadda ah oo ay ku wajahan yihiin jeneraalada Byzantine - waxaan rabnaa in barnaamijka Hydra cusub uu noqdo mid faahfaahsan oo kala duwan. Markii ugu dambeysay waxaan ku xoqnay ciddi, hadda aan sii qoto dheereyno oo qoto dheer. Waa kuwan mawduucyada Hydra 2020 oo leh faraq u dhexeeya sannadkii hore:

  Parallel systems:
* Algorithms & data structures
* Memory models
* Compilers, runtime
* Memory reclamation
* Testing & verification
* Hardware issues
* Non-volatile memory
* Transactional memory
* Scheduling algorithms & implementations
* Heterogeneous computing: CPU, GPU, FPGA, etc.
* Performance analysis, debugging, & optimization

  Distributed systems:
* Distributed computing
* Distributed machine learning/deep learning
* State machine replication & consensus
* Fault tolerance & resilience
* Testing & verification
* Hardware issues
* Blockchain & Byzantine fault tolerance
* Distributed databases, NewSQL
* Distributed stream processing
* Scheduling algorithms & implementations
* Cluster management systems
* Security
* Performance analysis, debugging, & optimization
* Peer-to-peer, gossip protocols
* Internet of things

Sida looga hadlo waxaas oo dhan barnaamijka hal shir? Dhab ahaantii kama fududa in la tijaabiyo toosnaanta hawlgallada ee dukaan cusub oo dhalaalaya oo la qaybiyey iyadoo la isticmaalayo Jepsen, laakiin waan isku dayi doonaa.

Waa kan cidda horay ugu jirtay barnaamijka:

munaaradaha Kremlin ee gacmaha Hydra: shir ku saabsan isbarbardhigga iyo qaybinta xisaabinta Hydra 2020 ee MoscowCindy Sridharan (Cindy Sridharan) - soo-saare nidaamyada qaybiyay oo ka yimid San Francisco, qoraa buug gaaban Daawashada Nidaamyada Qaybsan (qaado koobi elektaroonik ah oo bilaash ah) oo caan ah boostada blog, halkaas oo uu jiro hal maqaal oo kaliya "Waxa ugu Wanaagsan 2019 ee Wadahadallada Farsamada"Waxay kaa badbaadin kartaa dhawr maalmood oo fasax ah, laakiin waxay kaa tagtaa farxad. Hydra 2020, Cindy ayaa kuu sheegi doonta sida tijaabi nidaamyada qaybiyey, xitaa haddii ay kaydiyaan gobolka.


munaaradaha Kremlin ee gacmaha Hydra: shir ku saabsan isbarbardhigga iyo qaybinta xisaabinta Hydra 2020 ee MoscowMichael Scott (Michael Scott) - cilmi baare ka Jaamacadda Rochester, loo yaqaan dhammaan horumarinta Java sida abuuraha Algorithms-yada aan xannibin iyo safafka isku midka ah oo ka socda Maktabadda Heerka Java. Dabcan, oo leh abaalmarinta Dijkstra ee "Algorithms ee isku xidhka la miisaami karo ee hawl-wadeenada badan ee xusuusta la wadaago"oo leh bogga Wikipedia. Sannadkii hore, Michael wuxuu bixiyay warbixintii ugu wacnayd (sida aad adigu leedahay) ee Hydra qaab-dhismeedka xogta labada ah, oo hadda wuu ka hadli doonaa mashruuca Hodor и shaqo badbaado leh oo leh xusuusta la wadaago, diyaar u ah hababka barbar socda.


munaaradaha Kremlin ee gacmaha Hydra: shir ku saabsan isbarbardhigga iyo qaybinta xisaabinta Hydra 2020 ee MoscowHeidi Howard (Heidi Howard) - cilmi baare ka Jaamacadda Cambridge, oo caan ku ah abuurista algorithm la isku raacsan yahay oo la qaybiyey Paxos dabacsan, iyo sidoo kale ka shaqaynta guud ee Paxos Flexible iyo Fast Paxos. Sannadkii hore, Heidi wuxuu sheegay sida ay u shaqeyso iyo sida ay u shaqeyso Qoyska Paxos ee algorithms (mid ka mid ah warbixinnada ugu fiican), oo hadda waxaan isku dayi doonaa inaan ku socdo baraf khafiif ah oo u dhexeeya Paxos jecel iyo taageerayaasha Raft - oo la wadaag ra'yigiisa ku saabsan algorithm ka fiican.


munaaradaha Kremlin ee gacmaha Hydra: shir ku saabsan isbarbardhigga iyo qaybinta xisaabinta Hydra 2020 ee MoscowMartin Kleppmann (Martin Kleppmann) waxaa laga yaabaa inuu yahay cilmi-baare aad caan ah oo ka socda Jaamacadda Cambridge, iyo horumariye hore ee nidaamyada xogta waaweyn, kaasoo qoray buug si la yaab leh oo cad oo sidaas darteed buug gaar ah oo ku saabsan nidaamyada la qaybiyey "Naqshadeynta Codsiyada Degdegga ah ee Xogta" Sannadkii hore Martin la wadaagay natiijada ee cilmi-baaristooda CRDT, iyo waxa aan hadda kuu sheegi doono gadaal ayaan ka sheegi doonaa.


munaaradaha Kremlin ee gacmaha Hydra: shir ku saabsan isbarbardhigga iyo qaybinta xisaabinta Hydra 2020 ee MoscowNikita Koval (Nikita Koval) waa horumariye ka tirsan kooxda Kotlin, macalin koorso ku saabsan barnaamijyo taxane badan oo ITMO ah, iyo xubin ka tirsan guddiga barnaamijka ee shirka Hydra (haa, midda maqaalkani wuxuu ku saabsan yahay). Sannadkii hore Nikita wuxuu ka hadlay tijaabinta qaababka xogta isku dhafan ee madal JVM iyadoo la adeegsanayo Lin-Check, iyo Hydra 2020 isaga ayaa kuu sheegi doona ku saabsan SegmentQueueSynchronizer - la xaqiijiyay iyadoo la isticmaalayo Qaab dhismeedka iris si ay u maahmaah Coq abstraction for programming synchronization primitives.


Raac ogaysiisyadayada ismaandhaafka ah: guud ahaan waxa shirka ka soo bixi doona ilaa saddex iyo toban warbixinood, waxaanu idiin sheegi doonaa inta hadhay dhawaan. Sidoo kale, dabcan, shirka waxaa jiri doona goobo doodo ah oo ay lagama maarmaan tahay in dadka hadlaya lagu tijaabiyo su'aalo hal ama dhowr mawduuc ah ilaa laga gaarayo heshiis guud.

munaaradaha Kremlin ee gacmaha Hydra: shir ku saabsan isbarbardhigga iyo qaybinta xisaabinta Hydra 2020 ee Moscow
Haddii aad nasiib leedahay, Martin Kleppmann ayaa saxeexi doona buuggaaga.

Haa, kahor shirka Hydra 2020, kaas oo ah Luulyo 6-9, waxaa jiri doona SPTDC 2020 - dugsiga xagaaga saddexaad ee aragtida iyo dhaqanka xisaabinta qaybiyey. Waxay ku siin doontaa dareeno ay adag tahay inaad ka hesho shirka, markaa waxaan uga hadli doonaa dugsiga qoraal gaar ah.

Maxaa hadda? Marka hore, la soco wararka Habré iyo shabakadaha bulshada (Facebook, Вконтакте, Twitter).

Marka labaad, haddii aad horeba u dareentay rabitaan aan la adkaysan karin inaad ka qaybgasho shirka, baadh website-ka, waxaad hore u kari kartaa iibsashada tigidhada.

Saddex, ha lumin fursadda aad kula hadasho guddiga barnaamijka shirarka Hydra 2020 faallooyinka. Xubnaha PC ayaa ku farxi doona inay kaala hadlaan mawduucyada shirka mustaqbalka.

Ku arag Hydra!

Source: www.habr.com

Add a comment