Turnurile Kremlinului în brațele Hydra: conferință despre calculul paralel și distribuit Hydra 2020 la Moscova

Anul trecut la Sankt Petersburg a fost prima conferință Hydra, dedicat sistemelor paralele și distribuite. Laureații au făcut prezentări Premiul Dijkstra и Premiile Turing (Leslie Lampport, Maurice Herlihy и Michael Scott), creatori de compilatoare și limbaje de programare (C++, Go, Java, Kotlin), dezvoltatori de baze de date distribuite (Cassandra, CosmosDB, Yandex Database), precum și creatori și cercetători de algoritmi și structuri de date (CRDT, Paxos, așteptați -structuri de date libere) . În general, în acest moment vă puteți lua deja o vacanță, puteți minimiza fereastra IDE, puteți deschide o listă de redare pe YouTube cu cele mai bune reportaje Hydra 2019 - și lăsați programatorul de sarcini să aștepte puțin.

În general, o astfel de conferință nu a avut loc niciodată, iar acum se va întâmpla din nou. Din nou cu rapoarte în engleză, pentru că nu există un limbaj mai bun pentru a vorbi despre calculul paralel și distribuit. Din nou vara, 10 și 11 iulie, pentru că vorbitorii au timp să cerceteze și să predea, de exemplu, la universitățile din Cambridge, Rochester și Sankt Petersburg, iar alte perioade ale anului nu sunt pentru ei.

Cu toate acestea, de data aceasta Hydra va avea loc la Moscova, unde majoritatea participanților la conferință au venit anul trecut pentru a asculta rapoarte despre consensul distribuit și memoria tranzacțională. Noul Hydra prezintă un program mai complicat, difuzoare noi împreună cu eroii anului trecut, precum și sentimentul deja familiar al entuziasmului de hardcore paralel distribuit între participanți în trei săli.

Turnurile Kremlinului în brațele Hydra: conferință despre calculul paralel și distribuit Hydra 2020 la Moscova


Să punem imediat un pachet de cărți pe masă cu generalii bizantini cu fața în sus - vrem ca noul program al Hydra să fie mai detaliat și mai variat. Ultima dată când ne-am zgâriat cu unghia, acum să săpăm mai larg și mai adânc. Iată temele Hydra 2020 cu o diferență față de anul trecut:

  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

Cum să vorbim despre toate acestea în programul unei conferințe? Cu siguranță nu este mai simplu decât testarea liniarizării operațiunilor într-un magazin distribuit nou strălucitor folosind Jepsen, dar vom încerca.

Iată cine este deja în program:

Turnurile Kremlinului în brațele Hydra: conferință despre calculul paralel și distribuit Hydra 2020 la MoscovaCindy Sridharan (Cindy Sridharan) - dezvoltator de sisteme distribuite din San Francisco, autoarea unei cărți scurte Observabilitatea sistemelor distribuite (lua copie electronică gratuită) și populare post pe blog, unde există un singur articol „Cele mai bune din 2019 în Tech Talks„Te poate salva de câteva zile libere, dar te las fericit. La Hydra 2020, Cindy vă va spune cum testarea sistemelor distribuite, chiar dacă stochează starea.


Turnurile Kremlinului în brațele Hydra: conferință despre calculul paralel și distribuit Hydra 2020 la MoscovaMichael Scott (Michael Scott) - cercetător din Universitatea din Rochester, cunoscut de toți dezvoltatorii Java drept creator algoritmi neblocatori și cozi sincrone din Biblioteca Standard Java. Desigur, cu Premiul Dijkstra pentru „Algoritmi pentru sincronizare scalabilă pe multiprocesoare cu memorie partajată„și proprii Pagina Wikipedia. Anul trecut, Michael a dat cel mai bun (după tine) raport despre Hydra on structuri de date duale, iar acum va vorbi despre proiectul Hodor и lucru sigur cu memorie partajată, disponibil pentru procese paralele.


Turnurile Kremlinului în brațele Hydra: conferință despre calculul paralel și distribuit Hydra 2020 la MoscovaHeidi Howard (Heidi Howard) - cercetător de Universitatea din Cambridge, cunoscut pentru crearea unui algoritm de consens distribuit Paxos flexibil, precum și munca la generalizarea Flexible Paxos și Paxos rapid. Anul trecut, Heidi a povestit cum funcționează și cum funcționează Familia Paxos de algoritmi (unul dintre cele mai bune reportaje), iar acum voi încerca să merg pe gheață subțire între Iubitorii de Paxos și susținătorii Raftului — și împărtășește-i părerea despre ce algoritm este mai bun.


Turnurile Kremlinului în brațele Hydra: conferință despre calculul paralel și distribuit Hydra 2020 la MoscovaMartin Kleppmann (Martin Kleppmann) este poate un cercetător și mai faimos de la Universitatea din Cambridge și un fost dezvoltator de sisteme de date mari, care a scris o carte surprinzător de clară și, prin urmare, unică despre sistemele distribuite.Proiectarea aplicațiilor intensive în date" Anul trecut Martin a împărtășit rezultatele a cercetării lor CRDT și ceea ce vă vom spune acum vom anunta mai tarziu.


Turnurile Kremlinului în brațele Hydra: conferință despre calculul paralel și distribuit Hydra 2020 la MoscovaNikita Koval (Nikita Koval) este un dezvoltator de rutină în echipa Kotlin, profesor la un curs de programare multi-threaded la ITMO și membru al comitetului de program al conferinței Hydra (da, chiar despre cel despre care este vorba în acest articol). Anul trecut, Nikita a vorbit despre testarea structurilor de date multi-threaded pe platforma JVM folosind Lin-Check, iar la Hydra 2020 el va spune despre SegmentQueueSynchronizer - verificat folosind Cadrul irisului pentru doveditor Coq abstractizare pentru programarea primitivelor de sincronizare.


Urmăriți anunțurile noastre asincrone: în total vor fi aproximativ trei duzini de rapoarte la conferință, despre restul vă vom spune în curând. De asemenea, bineînțeles, la conferință vor exista zone de discuții în care este necesar să se testeze vorbitorii cu întrebări într-unul sau mai multe fire până se ajunge la un consens general.

Turnurile Kremlinului în brațele Hydra: conferință despre calculul paralel și distribuit Hydra 2020 la Moscova
Și dacă ai noroc, Martin Kleppmann îți va semna cartea.

Da, înainte de conferința Hydra 2020, și anume 6-9 iulie, va exista SPTDC 2020 — a treia școală de vară despre teoria și practica calculului distribuit. Vă va oferi senzații greu de obținut la o conferință, așa că vom vorbi despre Școală într-o postare separată.

Ce acum? În primul rând, urmăriți știrile de pe Habré și de pe rețelele de socializare (Facebook, Vkontakte, Twitter).

În al doilea rând, dacă simți deja o dorință irezistibilă de a participa la conferință, explorează site-ul, poți deja cumpăra bilete.

În al treilea rând, nu ratați ocazia de a discuta cu comitetul de program al conferinței Hydra 2020 în comentarii. Membrii PC vor fi bucuroși să vorbească cu dumneavoastră despre subiectele viitoare ale conferințelor.

Ne vedem la Hydra!

Sursa: www.habr.com

Adauga un comentariu