Imibhoshongo ye-Kremlin ezandleni ze-Hydra: ingqungquthela ehambisanayo futhi esabalalisa ikhompiyutha ye-Hydra 2020 eMoscow

Ngonyaka odlule eSt. Petersburg kwakukhona inkomfa yokuqala Hydra, enikezelwe kumasistimu ahambisanayo nasatshalaliswayo. Abaphumelele izindondo benze izethulo Imiklomelo ye-Dijkstra и Turing imiklomelo (Leslie Lamport, UMaurice Herlihy и UMichael Scott), abadali babadidiyeli nezilimi zokuhlela (C++, Go, Java, Kotlin), abathuthukisi bemininingwane esabalalisiwe (i-Cassandra, i-CosmosDB, i-Yandex Database), kanye nabadali nabacwaningi bama-algorithms nezakhiwo zedatha (CRDT, Paxos, linda -izakhiwo zedatha zamahhala) . Ngokuvamile, kuleli qophelo usungakwazi kakade ukuthatha iholidi, unciphise iwindi le-IDE, uvule uhlu lwadlalwayo ku-YouTube nge imibiko engcono kakhulu I-Hydra 2019 - futhi uvumele umhleli womsebenzi alinde kancane.

Ngokuvamile, ingqungquthela enjalo ayikaze yenzeke, futhi manje izophinde yenzeke. Futhi ngemibiko ngesiNgisi, ngoba alukho ulimi olungcono lokukhuluma nge- parallel and distributed computing. Futhi ehlobo, ngoJulayi 10 no-11, ngoba izikhulumi zinesikhathi sokucwaninga nokufundisa, isibonelo, emanyuvesi aseCambridge, eRochester naseSt.

Nokho, kulokhu Hydra izobanjelwa eMoscow, lapho iningi labahlanganyeli bengqungquthela lafika ngonyaka odlule ukuzolalela imibiko mayelana nokuvumelana esabalalisiwe kanye nenkumbulo yokuthengiselana. I-Hydra entsha inohlelo oluyinkimbinkimbi, izikhulumi ezintsha kanye namaqhawe angonyaka odlule, kanye nomuzwa osuvele ujwayelekile wesasasa lama-parallel hardcore asatshalaliswe kubahlanganyeli emahholo amathathu.

Imibhoshongo ye-Kremlin ezandleni ze-Hydra: ingqungquthela ehambisanayo futhi esabalalisa ikhompiyutha ye-Hydra 2020 eMoscow


Masibeke ngokushesha idekhi yamakhadi etafuleni ojenene baseByzantine bebheke phezulu - sifuna uhlelo olusha lweHydra lunemininingwane eminingi futhi luhluke. Ngesikhathi sokugcina siklwebha ngozipho, manje ake simbe sijule futhi sijule. Nazi izindikimba ze-Hydra 2020 ezinezihlobo ezihlukile zonyaka odlule:

  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

Ungakhuluma kanjani ngakho konke lokhu ohlelweni lwenkomfa eyodwa? Impela akulula njengokuhlola umugqa wokusebenza esitolo esisha esisabalalisiwe esicwebezelayo sisebenzisa Jepsen, kodwa sizozama.

Nangu osevele esohlelweni:

Imibhoshongo ye-Kremlin ezandleni ze-Hydra: ingqungquthela ehambisanayo futhi esabalalisa ikhompiyutha ye-Hydra 2020 eMoscowCindy Sridharan (Cindy Sridharan) - umthuthukisi wezinhlelo osabalalisiwe ovela eSan Francisco, umbhali wencwadi emfushane Ukubonwa Kwezinhlelo Ezisatshalalisiwe (thatha ikhophi ye-elekthronikhi yamahhala) futhi idumile iposi lebhulogi, lapho kunesihloko esisodwa kuphela “Okuhamba phambili kwango-2019 ku-Tech Talks"ingakusindisa ezinsukwini ezimbalwa zokuphumula, kodwa ikushiye ujabule. KwaHydra 2020, uCindy uzokutshela ukuthi kanjani ukuhlola amasistimu asabalalisiwe, noma begcina isimo.


Imibhoshongo ye-Kremlin ezandleni ze-Hydra: ingqungquthela ehambisanayo futhi esabalalisa ikhompiyutha ye-Hydra 2020 eMoscowUMichael Scott (UMichael Scott) - umcwaningi ovela University of Rochester, eyaziwa yibo bonke abathuthukisi be-Java njengomdali we ama-algorithms angavimbeli kanye nolayini abavumelanayo kusuka ku-Java Standard Library. Yebo, ngomklomelo we-Dijkstra we-“Ama-algorithms okuvumelanisa okulinganiswayo kuma-multiprocessors enkumbulo eyabiwe"futhi umnikazi Ikhasi le-Wikipedia. Ngonyaka odlule, uMichael unikeze okuhle kakhulu (ngokusho kwakho) umbiko ngeHydra on izakhiwo zedatha ezimbili, futhi manje uzokhuluma ngakho iphrojekthi Hodor и umsebenzi ophephile onenkumbulo eyabiwe, etholakala ezinqubweni ezifanayo.


Imibhoshongo ye-Kremlin ezandleni ze-Hydra: ingqungquthela ehambisanayo futhi esabalalisa ikhompiyutha ye-Hydra 2020 eMoscowUHeidi Howard (UHeidi Howard) - umcwaningi kusuka ku I-University of Cambridge, eyaziwa ngokudala i-algorithm yokuvumelana esabalalisiwe I-Paxos eguquguqukayo, kanye nokusebenza ekwenzeni i-Flexible Paxos kanye Fast Paxos. Ngonyaka odlule, uHeidi utshele ukuthi kusebenza kanjani futhi kusebenza kanjani Umndeni wakwaPaxos wama-algorithms (omunye wemibiko engcono kakhulu), futhi manje ngizozama ukuhamba eqhweni elincanyana phakathi Abathandi bePaxos nabasekeli beRaft - futhi wabelane ngombono wakhe ngokuthi iyiphi i-algorithm engcono.


Imibhoshongo ye-Kremlin ezandleni ze-Hydra: ingqungquthela ehambisanayo futhi esabalalisa ikhompiyutha ye-Hydra 2020 eMoscowUMartin Kleppmann (UMartin Kleppmann) mhlawumbe ungumcwaningi odume nakakhulu ovela eNyuvesi yaseCambridge, kanye nomthuthukisi wangaphambili wezinhlelo ezinkulu zedatha, owabhala incwadi ecacile ngokumangalisayo futhi eyingqayizivele yezinhlelo ezisabalalisiwe "Ukudizayina Izinhlelo Zokusebenza Ezidinga Idatha" Ngonyaka odlule uMartin wabelane ngemiphumela ocwaningweni lwabo lwe-CRDT, kanye nalokho esizokutshela khona manje sizomemezela kamuva.


Imibhoshongo ye-Kremlin ezandleni ze-Hydra: ingqungquthela ehambisanayo futhi esabalalisa ikhompiyutha ye-Hydra 2020 eMoscowNikita Koval (U-Nikita Koval) ungumthuthukisi we-coroutine eqenjini le-Kotlin, uthisha wesifundo sezinhlelo ezinezintambo eziningi e-ITMO, futhi uyilungu lekomidi lezinhlelo zenkomfa ye-Hydra (yebo, yona kanye le ndatshana ekhuluma ngayo). Ngonyaka odlule u-Nikita wakhuluma ngokuhlola izakhiwo zedatha ezinemicu eminingi endaweni ye-JVM esebenzisa I-Lin-Check, futhi eHydra 2020 yena uzokutshela mayelana ne-SegmentQueueSynchronizer - iqinisekiswe kusetshenziswa Iris framework ngoba umzekeliso Coq ukukhishwa kwezinto zokuqala zokuvumelanisa izinhlelo.


Landela izimemezelo zethu ezivumelanayo: isiyonke kuzoba nemibiko ecishe ibe ngamashumi amathathu engqungqutheleni, sizokutshela ngokunye maduzane. Futhi-ke, engqungqutheleni kuzoba nezindawo zezingxoxo lapho kudingekile ukuhlola izikhulumi ngemibuzo emculweni owodwa noma eminingana kuze kube yilapho kufinyelelwa ukuvumelana okujwayelekile.

Imibhoshongo ye-Kremlin ezandleni ze-Hydra: ingqungquthela ehambisanayo futhi esabalalisa ikhompiyutha ye-Hydra 2020 eMoscow
Futhi uma unenhlanhla, uMartin Kleppmann uzosayina incwadi yakho.

Yebo, ngaphambi kwengqungquthela ye-Hydra 2020, okungukuthi ngoJulayi 6-9, izoba khona I-SPTDC 2020 - Isikole sesithathu sasehlobo ngethiyori kanye nokusebenza kwekhompyutha esabalalisiwe. Izokunikeza imizwa okunzima ukuyithola engqungqutheleni, ngakho-ke sizokhuluma ngeSikole kokuthunyelwe okuhlukile.

Yini manje? Okokuqala, landela izindaba ku-Habré nasezinkundleni zokuxhumana (Facebook, Вконтакте, Twitter).

Okwesibili, uma usuvele uzwa isifiso esingenakuvinjelwa sokuhambela ingqungquthela, hlola iwebhusayithi, usungakwazi kakade ukuthenga amathikithi.

Okwesithathu, ungaphuthelwa yithuba lokuxoxa nekomidi lohlelo lwengqungquthela ye-Hydra 2020 kumazwana. Amalungu e-PC azokujabulela ukukhuluma nawe ngezihloko zengqungquthela zesikhathi esizayo.

Sanibona eHydra!

Source: www.habr.com

Engeza amazwana