Awọn ile-iṣọ Kremlin ni awọn apa ti Hydra: apejọ lori afiwe ati pinpin iširo Hydra 2020 ni Moscow

Odun to koja ni St akọkọ Hydra alapejọ, igbẹhin si ni afiwe ati pinpin awọn ọna šiše. Laureates ṣe awọn ifarahan Awọn ẹbun Dijkstra и Turing Awards (Leslie Lamport, Maurice Herlihy и Michael ScottAwọn olupilẹṣẹ ti awọn olupilẹṣẹ ati awọn ede siseto (C ++, Go, Java, Kotlin), awọn olupilẹṣẹ ti awọn apoti isura infomesonu ti a pin (Cassandra, CosmosDB, Yandex Database), ati awọn olupilẹṣẹ ati awọn oniwadi ti awọn algoridimu ati awọn ẹya data (CRDT, Paxos, duro -ọfẹ data ẹya). Ni gbogbogbo, ni aaye yii o le gba isinmi tẹlẹ, dinku window IDE, ṣii akojọ orin kan lori YouTube pẹlu ti o dara ju iroyin Hydra 2019 - ati jẹ ki oluṣeto iṣẹ duro diẹ.

Ni gbogbogbo, iru apejọ kan ko tii ṣẹlẹ, ati ni bayi yoo ṣẹlẹ lẹẹkansi. Lẹẹkansi pẹlu awọn iroyin ni English, nitori ko si ede ti o dara julọ lati sọrọ nipa iṣiro ti o jọra ati pinpin. Lẹẹkansi ninu ooru, Keje 10th ati 11th, nitori awọn agbọrọsọ ni akoko lati ṣe iwadi ati kọni, fun apẹẹrẹ, ni awọn ile-ẹkọ giga ti Cambridge, Rochester ati St. Petersburg, ati awọn akoko miiran ti ọdun kii ṣe fun wọn.

Sibẹsibẹ, ni akoko yii Hydra yoo waye ni Moscow, nibiti ọpọlọpọ awọn alapejọ apejọ wa ni ọdun to koja lati tẹtisi awọn iroyin lori ipinnu pinpin ati iranti iṣowo. Hydra tuntun ṣe ẹya eto intricate diẹ sii, awọn agbohunsoke tuntun pẹlu awọn akikanju ti ọdun to kọja, bakanna bi rilara ti o mọ tẹlẹ ti idunnu ti hardcore parallel pin laarin awọn olukopa ni awọn gbọngàn mẹta.

Jẹ ki a gbe dekini ti awọn kaadi lẹsẹkẹsẹ sori tabili pẹlu awọn gbogbogbo Byzantine ti nkọju si oke - a fẹ ki eto Hydra tuntun jẹ alaye diẹ sii ati iyatọ. Ni akoko ikẹhin ti a fi eekanna ika, ni bayi jẹ ki a ma wà gbooro ati jinle. Eyi ni awọn akori Hydra 2020 pẹlu iyatọ kan si ọdun to kọja:

  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


Bawo ni lati sọrọ nipa gbogbo eyi ninu eto apejọ kan? Dajudaju ko rọrun ju idanwo laini ti awọn iṣẹ ṣiṣe lori ile itaja ti o pin kaakiri ti o ni didan nipa lilo Jepsenṣugbọn a yoo gbiyanju.

Eyi ni ẹniti o ti wa tẹlẹ ninu eto naa:

Cindy Sridharan (Cindy Sridharan) - olupilẹṣẹ awọn ọna ṣiṣe pinpin lati San Francisco, onkọwe ti iwe kukuru kan Pinpin Systems Observability (gba free itanna daakọ) ati ki o gbajumo bulọọgi, níbi tí àpilẹ̀kọ kan wà “Ti o dara julọ ti 2019 ni Awọn ijiroro Tekinoloji"le gba ọ là kuro ni isinmi ọjọ meji, ṣugbọn jẹ ki o dun. Ni Hydra 2020, Cindy yoo sọ fun ọ bii igbeyewo pin awọn ọna šiše, paapa ti o ba ti won fipamọ ipinle.


Michael Scott (Michael Scott) - oluwadi lati University of Rochester, mọ si gbogbo Java Difelopa bi awọn Eleda ti aligoridimu ti kii-ìdènà ati awọn ila amuṣiṣẹpọ lati Java Standard Library. Nitoribẹẹ, pẹlu ẹbun Dijkstra fun “Awọn alugoridimu fun mimuuṣiṣẹpọ ti iwọn lori awọn alapọpọ-iranti iranti pinpin"ati ti ara Oju-iwe Wikipedia. Ni ọdun to kọja, Michael fun ijabọ ti o dara julọ (ni ibamu si ọ) lori Hydra lori meji data ẹya, ati nisisiyi o yoo sọrọ nipa ise agbese Hodor и ailewu iṣẹ pẹlu pín iranti, wa si awọn ilana ti o jọra.


Heidi Howard (Heidi Howard) oniwadi ati bẹbẹ lọ University of Cambridge, mọ fun ṣiṣẹda a pin ipohunpo alugoridimu Paxos rọ, bi daradara bi sise lori generalizing Rọ Paxos ati Paxos iyara. Ni ọdun to kọja, Heidi sọ bi o ṣe n ṣiṣẹ ati ṣiṣẹ Paxos ebi ti aligoridimu (ọkan ninu awọn ti o dara ju iroyin), ati bayi Emi yoo gbiyanju lati rin lori tinrin yinyin laarin Awọn ololufẹ Paxos ati awọn olufowosi Raft - ati pin ero rẹ lori kini algorithm dara julọ.


Martin Kleppmann (Martin Kleppmann) boya paapaa oniwadi olokiki diẹ sii lati Ile-ẹkọ giga ti Kamibiriji, ati olupilẹṣẹ iṣaaju ti awọn eto data nla, ti o kọ iyalẹnu iyalẹnu ati nitorinaa iwe alailẹgbẹ lori awọn eto pinpin.Ṣiṣeto Awọn ohun elo Ikilọ Data" Odun to koja Martin pín awọn esi ti iwadi CRDT wọn, ati ohun ti a yoo sọ fun ọ ni bayi a yoo kede nigbamii.


Nikita Koval (Nikita Koval) jẹ olupilẹṣẹ coroutine kan lori ẹgbẹ Kotlin, olukọ ti ẹkọ kan lori siseto-asapo pupọ ni ITMO, ati ọmọ ẹgbẹ ti igbimọ eto ti apejọ Hydra (bẹẹni, ọkan gan-an ti nkan yii jẹ nipa). Ni ọdun to kọja Nikita sọrọ nipa idanwo awọn ẹya data ti ọpọlọpọ-asapo lori pẹpẹ JVM nipa lilo Lin-Ṣayẹwo, ati ni Hydra 2020 oun yoo sọ nipa SegmentQueueSynchronizer - wadi nipa lilo Iris ilana fun prover Coq abstraction fun siseto amuṣiṣẹpọ primitives.


Tẹle awọn ikede asynchronous wa: lapapọ awọn ijabọ mejila mẹta yoo wa ni apejọ, a yoo sọ fun ọ nipa iyoku laipẹ. Paapaa, dajudaju, ni apejọ apejọ awọn agbegbe ijiroro yoo wa nibiti o jẹ dandan lati ṣe idanwo awọn agbohunsoke pẹlu awọn ibeere ni ọkan tabi pupọ awọn okun titi ti ifọkanbalẹ gbogbogbo yoo fi de.

Ati pe ti o ba ni orire, Martin Kleppmann yoo fowo si iwe rẹ.

Bẹẹni, ṣaaju apejọ Hydra 2020, eyun Oṣu Keje ọjọ 6-9, yoo wa SPTDC ọdun 2020 - awọn kẹta ooru ile-iwe lori yii ati asa ti pin iširo. Yoo fun ọ ni awọn ifamọra ti o nira lati gba ni apejọ kan, nitorinaa a yoo sọrọ nipa Ile-iwe ni ifiweranṣẹ lọtọ.

Kini bayi? Ni akọkọ, tẹle awọn iroyin lori Habré ati lori awọn nẹtiwọọki awujọ (Facebook, Vkontakte, twitter).

Ni ẹẹkeji, ti o ba ti ni rilara ifẹ ti ko ni idiwọ lati lọ si apejọ naa, ṣawari oju opo wẹẹbu naa, o le tẹlẹ ra tiketi.

Kẹta, maṣe padanu aye lati iwiregbe pẹlu igbimọ eto apejọ Hydra 2020 ninu awọn asọye. Inu awọn ọmọ ẹgbẹ PC yoo dun lati ba ọ sọrọ nipa awọn akọle apejọ iwaju.

Wo e ni Hydra!

orisun: www.habr.com