Kreml turnar í faðmi Hydra: ráðstefna um hliðstæða og dreifða tölvu Hydra 2020 í Moskvu

Í fyrra í Pétursborg var fyrsta Hydra ráðstefnan, tileinkað samhliða og dreifðum kerfum. Verðlaunahafar fluttu erindi Dijkstra verðlaunin и Turing verðlaun (Leslie Lamport, Maurice Herlihy и Michael Scott), höfundar þýðenda og forritunarmála (C++, Go, Java, Kotlin), hönnuðir dreifðra gagnagrunna (Cassandra, CosmosDB, Yandex Database), sem og höfundar og rannsakendur reiknirit og gagnabyggingar (CRDT, Paxos, bíddu -frjáls gagnauppbygging). Almennt, á þessum tímapunkti geturðu nú þegar tekið frí, lágmarkað IDE gluggann, opnað lagalista á YouTube með bestu skýrslurnar Hydra 2019 - og leyfðu verkefnaáætluninni að bíða aðeins.

Almennt séð hefur slík ráðstefna aldrei átt sér stað og nú mun hún gerast aftur. Aftur með skýrslur á ensku, vegna þess að það er ekkert betra tungumál til að tala um samhliða og dreifða tölvuvinnslu. Aftur í sumar, 10. og 11. júlí, vegna þess að fyrirlesarar hafa tíma til að rannsaka og kenna, til dæmis við háskólana í Cambridge, Rochester og St. Petersburg, og aðrir tímar ársins eru ekki fyrir þá.

Hins vegar verður Hydra haldin í Moskvu að þessu sinni, þar sem flestir fundarmenn komu á síðasta ári til að hlusta á skýrslur um dreifða samstöðu og viðskiptaminni. Nýja Hydra býður upp á flóknari dagskrá, nýja hátalara ásamt hetjum síðasta árs, auk hinnar kunnuglegu tilfinningu um spennu samhliða harðkjarna sem dreift er meðal þátttakenda í þremur sölum.

Við skulum strax leggja spilastokk á borðið með býsanska hershöfðingjana snúa upp - við viljum að nýja Hydra prógrammið verði ítarlegra og fjölbreyttara. Síðast þegar við klóruðum okkur með nögl, nú skulum við grafa víðar og dýpra. Hér eru Hydra 2020 þemu með mun miðað við síðasta ár:

  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


Hvernig á að tala um allt þetta í dagskrá einnar ráðstefnu? Það er vissulega ekki einfaldara en að prófa línurhæfni aðgerða í glansandi nýrri dreifðri verslun með Jepsen, en við reynum.

Hér er hverjir eru þegar í dagskránni:

Cindy Sridharan (Cindy Sridharan) - dreifð kerfisframleiðandi frá San Francisco, höfundur stuttrar bókar Dreifð kerfi athuganleiki (taka ókeypis rafrænt eintak) og vinsæl bloggfærsla, þar sem aðeins er ein grein “Besta árið 2019 í Tech Talks„getur bjargað þér frá fríi í nokkra daga, en skilið þig ánægðan. Á Hydra 2020 mun Cindy segja þér hvernig prófa dreifð kerfi, jafnvel þótt þeir geymi ástand.


Michael Scott (Michael Scott) - rannsakandi frá Háskólinn í Rochester, þekktur af öllum Java forriturum sem skapari ólokandi reiknirit og samstilltar biðraðir frá Java Standard Library. Auðvitað, með Dijkstra verðlaununum fyrir “Reiknirit fyrir stigstærða samstillingu á fjölgjörvum með sameiginlegu minni"og eiga Wikipedia síða. Í fyrra gaf Michael bestu (samkvæmt þér) skýrsluna um Hydra á tvöfalt gagnaskipulag, og nú mun hann tala um verkefni Hodor и örugg vinna með sameiginlegu minni, í boði fyrir samhliða ferli.


Heidi Howard (Heidi Howard) - rannsakanda á University of Cambridge, þekkt fyrir að búa til dreifða samstöðu reiknirit Sveigjanlegur Paxos, auk vinnu við að alhæfa Flexible Paxos og Hratt Paxos. Í fyrra sagði Heidi hvernig þetta virkar og virkar Paxos fjölskylda reiknirit (ein besta skýrslan), og nú mun ég reyna að ganga á þunnum ís á milli Paxos elskendur og Raft stuðningsmenn - og deila skoðun sinni á því hvaða reiknirit er betra.


Martin Kleppmann (Martin Kleppmann) er kannski enn frægari vísindamaður frá háskólanum í Cambridge, og fyrrverandi þróunaraðili stórgagnakerfa, sem skrifaði furðu skýra og því einstaka bók um dreifð kerfi "Hönnun gagnafrekra forrita" Í fyrra Martin deildi niðurstöðunum af CRDT rannsóknum þeirra og það sem við munum segja þér núna við tilkynnum síðar.


Nikita Koval (Nikita Koval) er hönnuður í Kotlin teyminu, kennari á námskeiði um fjölþráða forritun hjá ITMO og meðlimur í dagskrárnefnd Hydra ráðstefnunnar (já, einmitt þann sem þessi grein fjallar um). Á síðasta ári talaði Nikita um að prófa fjölþráða gagnastrúktúr á JVM pallinum með því að nota Lin-Check, og á Hydra 2020 hann mun segja um SegmentQueueSynchronizer - staðfest með því að nota Íris rammi í prófastur Coq útdráttur fyrir forritun samstillingar frumstæðna.


Fylgdu ósamstilltum tilkynningum okkar: alls verða um þrjátíu skýrslur á ráðstefnunni, við munum segja þér frá restinni fljótlega. Einnig verða að sjálfsögðu umræðusvæði á ráðstefnunni þar sem nauðsynlegt er að prófa fyrirlesarana með spurningum í einum eða fleiri þráðum þar til almenn samstaða næst.

Og ef þú ert heppinn mun Martin Kleppmann árita bókina þína.

Já, fyrir Hydra 2020 ráðstefnuna, nefnilega 6.-9. júlí, verður það SPTDC 2020 — þriðji sumarskólinn um kenningu og framkvæmd dreifðrar tölvunar. Það mun gefa þér tilfinningar sem erfitt er að fá á ráðstefnu, svo við munum tala um skólann í sérstakri færslu.

Hvað nú? Fyrst skaltu fylgjast með fréttum á Habré og á samfélagsmiðlum (Facebook, Vkontakte, twitter).

Í öðru lagi, ef þú finnur nú þegar ómótstæðilega löngun til að sækja ráðstefnuna, skoðaðu vefsíðuna, þú getur nú þegar kaupa miða.

Í þriðja lagi, ekki missa af tækifærinu til að spjalla við Hydra 2020 ráðstefnudagskrárnefndina í athugasemdunum. PC meðlimir munu vera fúsir til að ræða við þig um framtíðarráðstefnuefni.

Sjáumst á Hydra!

Heimild: www.habr.com