Kremeljski stolpi v naročju Hydre: konferenca o vzporednem in porazdeljenem računalništvu Hydra 2020 v Moskvi

Lani v Sankt Peterburgu je bilo prva konferenca Hydra, namenjen vzporednim in porazdeljenim sistemom. Nagrajenci so imeli predstavitve Dijkstra nagrade и Turingove nagrade (Leslie Lamport, Maurice Herlihy и Michael Scott), ustvarjalci prevajalnikov in programskih jezikov (C++, Go, Java, Kotlin), razvijalci porazdeljenih baz podatkov (Cassandra, CosmosDB, Yandex Database), kot tudi ustvarjalci in raziskovalci algoritmov in podatkovnih struktur (CRDT, Paxos, čakaj -proste podatkovne strukture). Na splošno lahko na tej točki že vzamete dopust, minimizirate okno IDE, odprete seznam predvajanja na YouTubu z najboljša poročila Hydra 2019 - in naj načrtovalnik opravil malo počaka.

Na splošno take konference še ni bilo, zdaj pa se bo ponovila. Spet s poročili v angleščini, ker ni boljšega jezika za govor o vzporednem in porazdeljenem računalništvu. Ponovno poleti, 10. in 11. julija, saj imajo govorci čas za raziskovanje in poučevanje na primer na univerzah v Cambridgeu, Rochestru in St. Petersburgu, drugi letni časi pa niso zanje.

Vendar bo Hydra tokrat potekala v Moskvi, od koder je večina udeležencev konference lani prišla poslušat poročila o porazdeljenem konsenzu in transakcijskem pomnilniku. Novo Hydro odlikuje bolj zapleten program, novi govorci in junaki lanskega leta ter že znani občutek vznemirljivosti vzporednega hardcora, porazdeljenega med udeležence v treh dvoranah.

Kremeljski stolpi v naročju Hydre: konferenca o vzporednem in porazdeljenem računalništvu Hydra 2020 v Moskvi


Takoj dajmo na mizo komplet kart z bizantinskimi generali, obrnjenimi navzgor - želimo, da bo program nove Hidre bolj podroben in raznolik. Zadnjič smo praskali z nohtom, zdaj pa kopljemo širše in globlje. Tukaj so teme Hydra 2020 z razliko glede na lansko leto:

  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

Kako o vsem tem govoriti v programu ene konference? Zagotovo ni preprostejše od testiranja linearizabilnosti operacij na bleščeči novi distribuirani trgovini z uporabo jepsen, ampak bomo poskusili.

Evo, kdo je že v programu:

Kremeljski stolpi v naročju Hydre: konferenca o vzporednem in porazdeljenem računalništvu Hydra 2020 v MoskviCindy Sridharan (Cindy Sridharan) - razvijalec porazdeljenih sistemov iz San Francisca, avtor kratke knjige Opazljivost porazdeljenih sistemov (vzemi brezplačna elektronska kopija) in priljubljena objava v spletnem dnevniku, kjer je samo en člen "Najboljše v letu 2019 v Tech Talks"lahko vas reši pred nekaj prostimi dnevi, vendar vas pusti srečne. Na Hydra 2020 vam bo Cindy povedala, kako testirati porazdeljene sisteme, tudi če shranjujejo stanje.


Kremeljski stolpi v naročju Hydre: konferenca o vzporednem in porazdeljenem računalništvu Hydra 2020 v MoskviMichael Scott (Michael Scott) - raziskovalec iz University of Rochester, ki je vsem razvijalcem Jave znan kot ustvarjalec neblokirni algoritmi in sinhrone čakalne vrste iz standardne knjižnice Java. Seveda z nagrado Dijkstra za "Algoritmi za razširljivo sinhronizacijo na večprocesorjih s skupnim pomnilnikom"in lasten stran Wikipedije. Lansko leto je Michael podal najboljše (po vašem mnenju) poročilo o Hydri na dvojne podatkovne strukture, in zdaj bo govoril o projekt Hodor и varno delo s skupnim pomnilnikom, na voljo vzporednim procesom.


Kremeljski stolpi v naročju Hydre: konferenca o vzporednem in porazdeljenem računalništvu Hydra 2020 v MoskviHeidi Howard (Heidi Howard) - raziskovalec z dne University of Cambridge, znan po ustvarjanju algoritma porazdeljenega soglasja Prilagodljiv Paxos, kot tudi delo na posploševanju Fleksibilnega Paxosa in Hitri Paxos. Lani je Heidi povedala, kako deluje in deluje Družina algoritmov Paxos (ena najboljših reportaž), zdaj pa bom poskušal hoditi po tankem ledu med Ljubitelji Paxosa in podporniki Rafta — in deli svoje mnenje o tem, kateri algoritem je boljši.


Kremeljski stolpi v naročju Hydre: konferenca o vzporednem in porazdeljenem računalništvu Hydra 2020 v MoskviMartin Kleppmann (Martin Kleppmann) je morda še bolj znan raziskovalec z Univerze v Cambridgeu in nekdanji razvijalec sistemov velikih podatkov, ki je napisal presenetljivo jasno in zato edinstveno knjigo o porazdeljenih sistemih "Oblikovanje podatkovno intenzivnih aplikacij" Lani Martin delil rezultate njihove raziskave CRDT in kaj vam bomo zdaj povedali bomo objavili naknadno.


Kremeljski stolpi v naročju Hydre: konferenca o vzporednem in porazdeljenem računalništvu Hydra 2020 v MoskviNikita Koval (Nikita Koval) je razvijalec korutin v ekipi Kotlin, učitelj tečaja o večnitnem programiranju na ITMO in član programskega odbora konference Hydra (ja, prav tiste, o kateri govori ta članek). Lansko leto je Nikita govoril o testiranju večnitnih podatkovnih struktur na platformi JVM z uporabo Lin-Check, na Hydri 2020 pa ga bo povedal o SegmentQueueSynchronizer - preverjeno z uporabo Okvir šarenice za dokazilo Coq abstrakcija za programiranje sinhronizacijskih primitivov.


Sledite našim asinhronim napovedim: skupno bo na konferenci približno tri ducate poročil, o ostalih vam bomo povedali kmalu. Seveda bodo na konferenci tudi diskusijske cone, kjer je potrebno preizkušati govorce z vprašanji v eni ali več temah, dokler ne dosežemo splošnega soglasja.

Kremeljski stolpi v naročju Hydre: konferenca o vzporednem in porazdeljenem računalništvu Hydra 2020 v Moskvi
In če boste imeli srečo, vam bo Martin Kleppmann podpisal knjigo.

Da, pred konferenco Hydra 2020, in sicer od 6. do 9. julija, bo SPTDC 2020 — tretja poletna šola teorije in prakse porazdeljenega računalništva. Dala vam bo občutke, ki jih na konferenci težko dobite, zato bomo o Šoli govorili v ločenem prispevku.

Kaj zdaj? Najprej sledite novicam na Habréju in družbenih omrežjih (Facebook , Vkontakte, Twitter).

Drugič, če že čutite neustavljivo željo po udeležbi na konferenci, raziščite spletno stran, že lahko kupiti vstopnice.

Tretjič, ne zamudite priložnosti za klepet s programskim odborom konference Hydra 2020 v komentarjih. Člani PC-ja se bodo z veseljem pogovarjali z vami o prihodnjih temah konference.

Se vidimo v Hydri!

Vir: www.habr.com

Dodaj komentar