Iinqaba zaseKremlin ezingalweni zeHydra: inkomfa ehambelanayo kunye nokusasazwa kwekhompyuter yeHydra 2020 eMoscow

Kunyaka ophelileyo eSt inkomfa yokuqala Hydra, ezinikezelwe kwiinkqubo ezihambelanayo nezisasazwayo. Abaphumelele iimbasa benza iintetho Ibhaso leDijkstra и Amabhaso eTuring (Leslie Lamport, UMaurice Herlihy и UMichael Scott), abaqulunqi abaqulunqi kunye neelwimi zeprogram (C ++, Hamba, iJava, iKotlin), abaphuhlisi beenkcukacha ezisasazwayo (iCassandra, iCosmosDB, iYandex Database), kunye nabaqulunqi kunye nabaphandi be-algorithms kunye nolwakhiwo lwedatha (CRDT, Paxos, linda -izakhiwo zedatha zasimahla) . Ngokubanzi, ngeli xesha ungathatha iholide, unciphise ifestile ye-IDE, vula uluhlu lokudlala kuYouTube nge. ezona ngxelo zibalaseleyo IHydra 2019-kwaye uvumele umcwangcisi ukuba alinde kancinci.

Ngokubanzi, inkomfa enjalo ayizange yenzeke, kwaye ngoku iya kwenzeka kwakhona. Kwakhona ngeengxelo ngesiNgesi, kuba alukho ulwimi olulunge ngakumbi onokuthetha ngalo ngecomputing ehambelanayo nesasazwe. Kwakhona ehlotyeni, ngoJulayi 10 kunye ne-11, kuba izithethi zinexesha lokuphanda nokufundisa, umzekelo, kwiiyunivesithi zaseCambridge, eRochester naseSt.

Nangona kunjalo, ngeli xesha i-Hydra iya kubanjelwa eMoscow, apho uninzi lwabathathi-nxaxheba benkomfa beza kunyaka odlulileyo ukuphulaphula iingxelo malunga nokusabalalisa ukuvumelana kunye nememori yokuthengiselana. I-Hydra entsha inenkqubo entsonkothileyo ngakumbi, izithethi ezitsha kunye namagorha onyaka ophelileyo, kunye nemvakalelo esele iqhelekile yochulumanco lwe-hardcore efanayo esabiwe phakathi kwabathathi-nxaxheba kwiiholo ezintathu.

Masibeke ngokukhawuleza idekhi yamakhadi etafileni kunye neenjengele zaseByzantine zijonge phezulu - sifuna inkqubo entsha yeHydra ibe neenkcukacha ngakumbi kwaye yahluke. Ukugqibelana kwethu sikrwempa ngozipho, ngoku masigrumbe banzi sijule. Nantsi imixholo yeHydra 2020 enesalamane esahlukileyo kunyaka ophelileyo:

  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


Indlela yokuthetha ngayo yonke le nto kwiprogram yenkomfa enye? Ngokuqinisekileyo akukho lula kunokuvavanya ulungelelwaniso lwemisebenzi kwivenkile eshinyeneyo esasazwayo kusetyenziswa. Jepsen, kodwa siza kuzama.

Nanku osele ekwinkqubo:

Cindy Sridharan (Cindy Sridharan) - usasazo lomphuhlisi weenkqubo ovela eSan Francisco, umbhali wencwadi emfutshane IiNkqubo ezisasaziweyo zokuQwalasela (thatha ikopi ye-elektroniki yasimahla) kwaye idumile iposti yebhlog, apho kukho inqaku elinye kuphela “Eyona nto ingcono ngo-2019 kwiiNtetho zobuChwephesha"Ingakusindisa kwiintsuku ezimbalwa, kodwa ndikushiye wonwabile. KwiHydra 2020, uCindy uya kukuxelela ukuba njani iinkqubo ezisasazwayo zovavanyo, nokuba bagcina ilizwe.


UMichael Scott (UMichael Scott) - umphandi ovela KwiYunivesithi yaseRochester, eyaziwa kubo bonke abaphuhlisi beJava njengomdali ii-algorithms ezingathinteliyo kunye nemigca ehambelanayo ukusuka kwiThala leencwadi eliMgangatho weJava. Ewe, ngeBhaso leDijkstra "Ii-algorithms zolungelelwaniso olunokwehla kwi-multiprocessors yenkumbulo ekwabelwanayo"kwaye owakho Iphepha leWikipedia. Kunyaka ophelileyo, uMichael wanika eyona nto ingcono (ngokutsho kwakho) ingxelo ngeHydra izakhiwo zedatha ezimbini, kwaye ngoku uya kuthetha ngayo iprojekthi Hodor и umsebenzi okhuselekileyo ngenkumbulo ekwabelwana ngayo, ekhoyo kwiinkqubo ezihambelanayo.


UHeidi Howard (UHeidi Howard) umphandi из KwiYunivesithi yaseCambridge, eyaziwa ngokudala i-algorithm yemvumelwano esasazwayo I-Flexible Paxos, kunye nokusebenza ngokubanzi kwi-Flexible Paxos kunye Fast Paxos. Kunyaka ophelileyo, uHeidi uxelele indlela esebenza ngayo kwaye isebenza ngayo Paxos usapho algorithms (enye yeengxelo ezilungileyo kakhulu), kwaye ngoku ndiza kuzama ukuhamba kumkhenkce obhityileyo phakathi Abathandi bePaxos kunye nabaxhasi beRaft - kwaye wabelane ngoluvo lwakhe malunga nokuba yeyiphi i-algorithm engcono.


UMartin Kleppmann (UMartin Kleppmann) mhlawumbi umphandi odumileyo ngakumbi ovela kwiYunivesithi yaseCambridge, kunye nomphuhlisi wangaphambili weenkqubo ezinkulu zedatha, owabhala incwadi ecacileyo ngokumangalisayo kwaye ngoko ke eyodwa kwiinkqubo ezisasazwayo "Ukuyila ii-Data-Intensive Applications" Kunyaka ophelileyo uMartin wabelane ngeziphumo kuphando lwabo lweCRDT, kunye nento esiza kukuxelela yona ngoku siya kuxela kamva.


Nikita Koval (U-Nikita Koval) ungumqambi we-coroutine kwiqela le-Kotlin, utitshala wekhosi kwiprogram ye-multi-threaded kwi-ITMO, kunye nelungu lekomiti yeprogram yenkomfa ye-Hydra (ewe, eyona nto eli nqaku lithetha ngayo). Kunyaka ophelileyo uNikita wathetha ngokuvavanya izakhiwo zedatha ezinemisonto emininzi kwiqonga le-JVM usebenzisa Lin-Khangela, kwaye eHydra 2020 yena uya kuxela malunga neSegmentQueueSynchronizer - ingqinisiswe ngokusebenzisa Isakhelo se-Iris kuba umzekeliso Coq ungqamaniso longqamaniso lwenkqubo.


Landela izibhengezo zethu ze-asynchronous: lilonke kuya kubakho malunga neshumi elinesibini iingxelo kwinkomfa, siya kukuxelela malunga nokunye kungekudala. Kwakhona, ngokuqinisekileyo, kwinkomfa kuya kubakho imimandla yeengxoxo apho kuyimfuneko ukuvavanya izithethi ngemibuzo kwimicu enye okanye emininzi de kufike ukuvumelana ngokubanzi.

Kwaye ukuba unethamsanqa, uMartin Kleppmann uyakusayina incwadi yakho.

Ewe, phambi kwenkomfa yeHydra 2020, eyi-6-9 kaJulayi, kuya kubakho SPTDC 2020 - Isikolo sesithathu sasehlotyeni kwithiyori kunye nokusebenza kokusasazwa kwekhompyuter. Kuya kukunika iimvakalelo ekunzima ukuzifumana kwinkomfa, ngoko siya kuthetha ngeSikolo kwisithuba esahlukileyo.

Yintoni ngoku? Okokuqala, landela iindaba zikaHabré nakwiinethiwekhi zentlalo (Facebook, Vkontakte, Twitter).

Okwesibini, ukuba sele uziva unomnqweno ongathintekiyo wokuya kwinkomfa, hlola iwebhusayithi, unakho ukuthenga amatikiti.

Okwesithathu, ungaphuthelwa ithuba lokuncokola nekomiti yenkomfa ye-Hydra 2020 kwizimvo. Amalungu ePC aya kukuvuyela ukuthetha nawe malunga nezihloko zenkomfa ezizayo.

Ndiza kubona eHydra!

umthombo: www.habr.com