Kremlin shongwe mumaoko eHydra: musangano wakafanana uye wakagovera komputa Hydra 2020 muMoscow.

Gore rakapera muSt yekutanga Hydra musangano, yakatsaurirwa kune yakafanana uye yakagoverwa masisitimu. Vakabudirira vakaita mharidzo Dijkstra Prizes ΠΈ Turing awards (Leslie Lamport, Maurice Herlihy ΠΈ Michael Scott), vagadziri vevagadziri uye mitauro yekuronga (C ++, Go, Java, Kotlin), vagadziri veakagoverwa dhatabhesi (Cassandra, CosmosDB, Yandex Database), pamwe nevagadziri uye vaongorori vealgorithms uye data zvimiro (CRDT, Paxos, mirira. -yemahara data zvimiro) . Kazhinji, panguva ino unogona kutora zororo, kuderedza IDE hwindo, vhura playlist paYouTube ne mishumo yakanakisisa Hydra 2019 - uye rega mugadziri webasa amirire zvishoma.

Kazhinji, musangano wakadaro hauna kumboitika, uye zvino zvichaitika zvakare. Zvakare nemishumo muChirungu, nekuti hapana mutauro uri nani wekutaura nezve parallel uye distributed computing. Zvakare muzhizha, Chikunguru 10 uye 11, nokuti vakurukuri vane nguva yekutsvakurudza nekudzidzisa, somuenzaniso, kumayunivhesiti eCambridge, Rochester neSt.

Zvisinei, panguva ino Hydra ichaitwa muMoscow, uko vazhinji vevatori vechikamu vemusangano vakauya gore rapfuura kuzoteerera mishumo pamusoro pekubvumirana kwakagoverwa uye ndangariro yekutengeserana. Iyo Hydra itsva inoratidzira chirongwa chakaomesesa, vatauri vatsva pamwe nemagamba egore rapfuura, pamwe nekunzwa kwagara kujaira kwekunakidzwa kweparallel hardcore yakagoverwa pakati pevatori vechikamu muhoro nhatu.

Kremlin shongwe mumaoko eHydra: musangano wakafanana uye wakagovera komputa Hydra 2020 muMoscow.


Ngatiisei dhidhi remakadhi patafura nevakuru veByzantine vakatarisa kumusoro - tinoda kuti chirongwa chitsva cheHydra chive chakatsanangurwa uye chakasiyana. Nguva yatakambokwenya nechigunwe, zvino ngatichembei tiwedzere nekudzika. Heano iwo maHydra 2020 themes ane akasiyana hama kune gore rapfuura:

  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

Maitiro ekutaura nezve zvese izvi muchirongwa chemusangano mumwe? Izvo hazvisi nyore pane kuyedza iyo linearizability yekushanda pane inopenya nyowani yakaparadzirwa chitoro uchishandisa. Jepsen, asi tichaedza.

Heino avo vatova muchirongwa:

Kremlin shongwe mumaoko eHydra: musangano wakafanana uye wakagovera komputa Hydra 2020 muMoscow.Cindy Sridharan (Cindy Sridharan) - akagovera masisitimu ekuvandudza kubva kuSan Francisco, munyori webhuku pfupi Distributed Systems Observability (tora kopi yemahara yemagetsi) uye yakakurumbira blog, pane chinyorwa chimwe chete β€œZvakanakisa zve2019 muTech Talks"inogona kukuponesa kubva pamazuva mashoma, asi kukusiya uchifara. PaHydra 2020, Cindy achakuudza kuti sei bvunzo dzakaparadzirwa masisitimu, kunyangwe vakachengeta nyika.


Kremlin shongwe mumaoko eHydra: musangano wakafanana uye wakagovera komputa Hydra 2020 muMoscow.Michael Scott (Michael Scott) - muongorori kubva University of Rochester, inozivikanwa kune vese vanogadzira Java semugadziri we non-blocking algorithms uye synchronous queues kubva kuJava Standard Library. Ehe, neDijkstra Mubairo we "Algorithms ye scalable synchronization pane yakagovaniswa-memory multiprocessors"uye muridzi Wikipedia peji. Gore rapfuura, Michael akapa zvakanakisa (maererano newe) mushumo paHydra pa mbiri data zvimiro, uye zvino achataura nezvazvo chirongwa Hodor ΠΈ basa rakachengeteka rine ndangariro dzakagoverana, inowanikwa kune nzira dzakafanana.


Kremlin shongwe mumaoko eHydra: musangano wakafanana uye wakagovera komputa Hydra 2020 muMoscow.Heidi Howard (Heidi Howard) - muongorori kubva University of Cambridge, inozivikanwa nekugadzira yakagoverwa kubvumirana algorithm Flexible Paxos, pamwe nekushanda pane generalizing Flexible Paxos uye Fast Paxos. Gore rakapera, Heidi akataura kuti inoshanda sei uye inoshanda sei Paxos mhuri yealgorithms (imwe yemishumo yakanakisa), uye zvino ndichaedza kufamba pamusoro pechando chakaonda pakati Paxos vanoda uye vatsigiri veRaft - uye kugovera maonero ake pamusoro peiyo algorithm iri nani.


Kremlin shongwe mumaoko eHydra: musangano wakafanana uye wakagovera komputa Hydra 2020 muMoscow.Martin Kleppmann (Martin Kleppmann) angangove muongorori anotonyanya kuzivikanwa kubva kuYunivhesiti yeCambridge, uye aimbove mugadziri wemasisitimu makuru edata, akanyora bhuku rakajeka uye saka rakasiyana pane akagoverwa masisitimu "Kugadzira Data-Intensive Applications" Gore rakapera Martin vakagovana zvabuda yekutsvagisa kwavo kweCRDT, uye zvatichakuudza izvozvi tichazivisa gare gare.


Kremlin shongwe mumaoko eHydra: musangano wakafanana uye wakagovera komputa Hydra 2020 muMoscow.Nikita Koval (Nikita Koval) mugadziri wecoroutine pachikwata cheKotlin, mudzidzisi wekosi yeakawanda-tambo hurongwa kuITMO, uye nhengo yekomiti yechirongwa chemusangano weHydra (hongu, iyo chaiyo iyo chinyorwa ichi chiri pamusoro). Gore rapfuura Nikita akataura nezvekuyedza akawanda-akarukwa data zvimiro paJVM papuratifomu achishandisa Lin-Check, uye kuHydra 2020 iye achaudza nezveSegmentQueueSynchronizer - yakasimbiswa uchishandisa Iris framework nokuti chirevo Coq abstraction for programming synchronization primitives.


Tevedza zviziviso zvedu zveasynchronous: pakazara kuchave neanosvika gumi nemaviri mishumo pamusangano, isu tichakuudza nezve zvimwe munguva pfupi. Zvakare, chokwadika, pamusangano pachava nenzvimbo dzekurukurirano uko kunofanirwa kuedza vakurukuri nemibvunzo mune imwe kana akati wandei tambo kusvikira kubvumirana kukuru kwasvikwa.

Kremlin shongwe mumaoko eHydra: musangano wakafanana uye wakagovera komputa Hydra 2020 muMoscow.
Uye kana uine rombo rakanaka, Martin Kleppmann achasaina bhuku rako.

Ehe, pamberi pemusangano weHydra 2020, kureva Chikunguru 6-9, pachava SPTDC 2020 - chikoro chechitatu chezhizha pane dzidziso uye tsika yekuparadzira komputa. Ichakupa manzwiro akaoma kuwana pamusangano, saka isu tichataura nezve Chikoro mune yakaparadzana positi.

Chii zvino? Chekutanga, tevera nhau paHabrΓ© uye pasocial network (Facebook, Vkontakte, Twitter).

Chechipiri, kana iwe uchitonzwa chishuwo chisingadzivisiki chekuenda kumusangano, ongorora webhusaiti, watogona kutenga matikiti.

Chechitatu, usarasikirwa nemukana wekutaura neHydra 2020 musangano chirongwa komiti mune zvakataurwa. Nhengo dzePC dzichafara kutaura newe nezvenyaya dzemusangano wemangwana.

Ndokuona kuHydra!

Source: www.habr.com

Voeg