Litora tsa Kremlin matsohong a Hydra: kopano e mabapi le komporo ea Hydra 2020 e tšoanang le e abiloeng Moscow

Selemong se fetileng St. Petersburg ho ne ho e-na le seboka sa pele sa Hydra, e inehetseng ho litsamaiso tse tšoanang le tse ajoang. Bahapi ba ile ba fana ka lipuo Likhau tsa Dijkstra и Likhau tsa Turing (Leslie Lamport, Maurice Herlihy и Michael Scott), baqapi ba likhokahano le lipuo tsa lenaneo (C++, Go, Java, Kotlin), baetsi ba li-database tse ajoang (Cassandra, CosmosDB, Yandex Database), hammoho le baqapi le bafuputsi ba li-algorithms le libopeho tsa data (CRDT, Paxos, ema -mahala data meaho) . Ka kakaretso, ka nako ena u se u ka nka matsatsi a phomolo, fokotsa fensetere ea IDE, bula lenane la lipina ho YouTube ka. litlaleho tse molemo ka ho fetisisa Hydra 2019 - 'me u tlohelle mohlophisi oa mesebetsi a eme hanyane.

Ka kakaretso, seboka se joalo ha se e-s'o ka se etsahala, 'me joale se tla etsahala hape. Hape ka litlaleho tsa Senyesemane, hobane ha ho na puo e molemo ho feta ho bua ka computing e tšoanang le e ajoang. Hape lehlabuleng, la 10 Phupu le la 11, hobane libui li na le nako ea ho etsa lipatlisiso le ho ruta, ka mohlala, liunivesithing tsa Cambridge, Rochester le St. Petersburg, 'me linako tse ling tsa selemo ha li bakeng sa bona.

Leha ho le joalo, lekhetlong lena Hydra e tla tšoareloa Moscow, moo boholo ba barupeluoa ba kopano ba tlileng selemong se fetileng ho tla mamela litlaleho tse mabapi le tumellano e ajoang le mohopolo oa transaction. Hydra e ncha e na le lenaneo le rarahaneng ho feta, libui tse ncha hammoho le bahale ba selemong se fetileng, hammoho le maikutlo a seng a ntse a tloaelehile a thabo ea parallel hardcore e ajoang har'a barupeluoa liholong tse tharo.

Litora tsa Kremlin matsohong a Hydra: kopano e mabapi le komporo ea Hydra 2020 e tšoanang le e abiloeng Moscow


Ha re behe hang-hang mokato oa likarete tafoleng le balaoli ba Byzantine ba shebile holimo - re batla hore lenaneo le lecha la Hydra le be le lintlha tse ngata le tse fapaneng. Nakong e fetileng ha re ne re ngoapa ka lenala la monoana, joale a re chekeng ka bophara le ho teba. Mona ke lihlooho tsa Hydra 2020 tse nang le kamano e fapaneng le ea selemo se fetileng:

  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

Joang ho bua ka sena sohle lenaneong la seboka se le seng? Ka sebele ha ho bonolo ho feta ho lekola hore na ts'ebetso e sebetsa joang lebenkeleng le lecha le benyang le ajoang le sebelisa. Jepsen, empa re tla leka.

Mona ke ba seng ba le lenaneong:

Litora tsa Kremlin matsohong a Hydra: kopano e mabapi le komporo ea Hydra 2020 e tšoanang le e abiloeng MoscowCindy Sridharan (Cindy Sridharan) - moqapi oa litsamaiso o phatlalalitsoeng ho tsoa San Francisco, sengoli sa buka e khuts'oane Distributed Systems Observability (nka kopi ea mahala ea elektroniki) le tse ratoang poso ea blog, moo ho nang le sehlooho se le seng feela “Tse molemo ka ho fetisisa tsa 2019 ho Tech Talks"e ka u pholosa matsatsing a 'maloa a phomolo, empa ea u siea u thabile. Ho Hydra 2020, Cindy o tla u joetsa hore na joang liteko ajoa litsamaiso, leha ba boloka naha.


Litora tsa Kremlin matsohong a Hydra: kopano e mabapi le komporo ea Hydra 2020 e tšoanang le e abiloeng MoscowMichael Scott (Michael Scott) - mofuputsi ho tloha Univesithi ea Rochester, e tsejoang ke bahlahisi bohle ba Java e le moetsi oa li-algorithms tse sa thibeleng le mela e lumellanang ho tsoa ho Java Standard Library. Ehlile, ka Moputso oa Dijkstra oa "Li-algorithms tsa ho hokahanya ha scalable ho li-multiprocessor tsa memori e arolelanoang"le ea hae Leqephe la Wikipedia. Selemong se fetileng, Michael o fane ka tlaleho e ntle ka ho fetisisa (ho ea ka uena) ka Hydra ka likarolo tse peli tsa data, 'me joale o tla bua ka morero Hodor и mosebetsi o bolokehileng o nang le mohopolo o arolelanoeng, e fumanehang lits'ebetsong tse bapileng.


Litora tsa Kremlin matsohong a Hydra: kopano e mabapi le komporo ea Hydra 2020 e tšoanang le e abiloeng MoscowHeidi Howard (Heidi Howard) mofuputsi ho tswa Univesithi ea Cambridge, e tsebahalang ka ho theha algorithm ea tumellano e ajoang Flexible Paxos, hammoho le mosebetsi oa ho akaretsa Flexible Paxos le Fast Paxos. Selemong se fetileng, Heidi o boletse kamoo e sebetsang le ho sebetsa kateng Lelapa la Paxos la li-algorithms (e 'ngoe ea litlaleho tse ntle ka ho fetisisa),' me joale ke tla leka ho tsamaea holim'a leqhoa le tšesaane pakeng tsa Baratuoa ba Paxos le batšehetsi ba Raft - mme a arolelane maikutlo a hae mabapi le hore na ke algorithm efe e molemo.


Litora tsa Kremlin matsohong a Hydra: kopano e mabapi le komporo ea Hydra 2020 e tšoanang le e abiloeng MoscowMartin Kleppmann (Martin Kleppmann) mohlomong ke mofuputsi ea tummeng le ho feta ho tsoa Univesithing ea Cambridge, le mohlahisi oa mehleng oa lits'ebetso tse kholo tsa data, ea ngotseng buka e hlakileng ka mokhoa o makatsang le e ikhethang mabapi le litsamaiso tse ajoang "Ho Rala Lits'ebetso tse Kenyelletsang Lintlha" Selemong se fetileng Martin o arolelane liphetho mabapi le lipatlisiso tsa bona tsa CRDT, le seo re tla u bolella sona hona joale re tla phatlalatsa hamorao.


Litora tsa Kremlin matsohong a Hydra: kopano e mabapi le komporo ea Hydra 2020 e tšoanang le e abiloeng MoscowNikita Koval (Nikita Koval) ke moqapi oa li-coroutine sehlopheng sa Kotlin, mosuoe oa thupelo ea mananeo a mangata a ITMO, le setho sa komiti ea lenaneo la kopano ea Hydra (e, eona eo sehlooho sena se buang ka eona). Selemong se fetileng Nikita o buile ka ho leka meaho ea data e nang le likhoele tse ngata sethaleng sa JVM a sebelisa Lin-Check, mme ho Hydra 2020 eena e tla bolela mabapi le SegmentQueueSynchronizer - e netefalitsoeng ka ho sebelisoa Moralo oa iris etsoe poleloana Coq abstraction bakeng sa li-programme synchronization primitives.


Latela liphatlalatso tsa rona tsa asynchronous: ka kakaretso ho tla ba le litlaleho tse ka bang mashome a mararo kopanong, re tla u bolella ka tse ling haufinyane. Hape, ha e le hantle, kopanong ho tla ba le libaka tsa lipuisano moo ho hlokahalang ho leka libui ka lipotso ka khoele e le 'ngoe kapa tse' maloa ho fihlela ho fihleloa tumellano e akaretsang.

Litora tsa Kremlin matsohong a Hydra: kopano e mabapi le komporo ea Hydra 2020 e tšoanang le e abiloeng Moscow
Mme ha o le lehlohonolo, Martin Kleppmann o tla saena buka ya hao.

E, pele ho kopano ea Hydra 2020, e leng July 6-9, ho tla ba teng SPTDC 2020 - sekolo sa boraro sa lehlabula ka khopolo le tloaelo ea ho ajoa komporong. E tla u fa maikutlo ao ho leng thata ho a fumana kopanong, kahoo re tla bua ka Sekolo ka poso e arohaneng.

Ho thoe'ng joale? Taba ea pele, latela litaba tse mabapi le Habré le marang-rang a sechaba (Facebook, Vkontakte, Twitter).

Taba ea bobeli, haeba u se u ntse u ikutloa u e-na le takatso e ke keng ea qojoa ea ho ba teng sebokeng, hlahloba sebaka sa marang-rang, u se u ntse u ka khona ho reka litekete.

Taba ea boraro, u se ke oa fetoa ke monyetla oa ho qoqa le komiti ea lenaneo la kopano ea Hydra 2020 litlhalosong. Litho tsa PC li tla thabela ho bua le uena ka lihlooho tsa kopano e tlang.

Ke tla u bona Hydra!

Source: www.habr.com

Eketsa ka tlhaloso