Torres del Kremlin als braços d'Hydra: conferència sobre informàtica paral·lela i distribuïda Hydra 2020 a Moscou

L'any passat a Sant Petersburg hi va haver primera conferència Hydra, dedicat a sistemes paral·lels i distribuïts. Els premiats van fer presentacions Premi Dijkstra и Premis Turing (Leslie Lampport, Maurice Herlihy и Michael Scott), creadors de compiladors i llenguatges de programació (C++, Go, Java, Kotlin), desenvolupadors de bases de dades distribuïdes (Cassandra, CosmosDB, Yandex Database), així com creadors i investigadors d'algorismes i estructures de dades (CRDT, Paxos, wait). -estructures de dades lliures). En general, en aquest moment ja podeu prendre vacances, minimitzar la finestra IDE, obrir una llista de reproducció a YouTube amb els millors reportatges Hydra 2019 - i deixeu que el programador de tasques esperi una mica.

En general, una conferència d'aquest tipus no ha passat mai, i ara tornarà a passar. De nou amb informes en anglès, perquè no hi ha millor llenguatge per parlar de computació paral·lela i distribuïda. De nou a l'estiu, els dies 10 i 11 de juliol, perquè els ponents tenen temps per investigar i ensenyar, per exemple, a les universitats de Cambridge, Rochester i Sant Petersburg, i altres èpoques de l'any no són per a ells.

Tanmateix, aquesta vegada Hydra se celebrarà a Moscou, on la majoria dels participants a la conferència van venir l'any passat per escoltar informes sobre consens distribuït i memòria transaccional. El nou Hydra compta amb un programa més complex, nous ponents juntament amb els herois de l'any passat, així com la sensació ja familiar de l'emoció del hardcore paral·lel distribuït entre els participants en tres sales.

Torres del Kremlin als braços d'Hydra: conferència sobre informàtica paral·lela i distribuïda Hydra 2020 a Moscou


Posem immediatament una baralla de cartes sobre la taula amb els generals bizantins cap amunt; volem que el nou programa d'Hydra sigui més detallat i variat. L'última vegada que ens vam ratllar amb una ungla, ara anem a cavar més ample i a fons. Aquests són els temes d'Hydra 2020 amb una diferència respecte a l'any passat:

  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

Com parlar de tot això en el programa d'una conferència? Sens dubte, no és més senzill que provar la linearització de les operacions en una botiga distribuïda nova i brillant mitjançant Jepsen, però ho intentarem.

Aquí teniu qui ja està al programa:

Torres del Kremlin als braços d'Hydra: conferència sobre informàtica paral·lela i distribuïda Hydra 2020 a MoscouCindy Sridharan (Cindy Sridharan) - desenvolupadora de sistemes distribuïts de San Francisco, autora d'un llibre breu Observabilitat de sistemes distribuïts (agafar còpia electrònica gratuïta) i popular bloc, on només hi ha un article "El millor del 2019 a Tech Talks"Et pot estalviar un parell de dies de descans, però et deixarà feliç. A Hydra 2020, la Cindy t'explicarà com prova sistemes distribuïts, fins i tot si emmagatzemen l'estat.


Torres del Kremlin als braços d'Hydra: conferència sobre informàtica paral·lela i distribuïda Hydra 2020 a MoscouMichael Scott (Michael Scott) - investigador de Universitat de Rochester, conegut per tots els desenvolupadors de Java com el creador algorismes sense bloqueig i cues sincròniques de la biblioteca estàndard de Java. Això sí, amb el Premi Dijkstra per “Algorismes per a la sincronització escalable en multiprocessadors de memòria compartida"i propi Pàgina de la Viquipèdia. L'any passat, Michael va donar el millor (segons tu) informe sobre Hydra on estructures de dades duals, i ara en parlarà projecte Hodor и treball segur amb memòria compartida, disponible per a processos paral·lels.


Torres del Kremlin als braços d'Hydra: conferència sobre informàtica paral·lela i distribuïda Hydra 2020 a MoscouHeidi Howard (Heidi Howard) - investigador d' Universitat de Cambridge, conegut per crear un algorisme de consens distribuït Paxos flexibles, així com treballar en la generalització de Paxos flexibles i Paxos ràpids. L'any passat, la Heidi va explicar com funciona i funciona Família d'algorismes Paxos (un dels millors reportatges), i ara intentaré caminar sobre gel prim entre ells Amants dels paxos i seguidors del Raft — i comparteix la seva opinió sobre quin algorisme és millor.


Torres del Kremlin als braços d'Hydra: conferència sobre informàtica paral·lela i distribuïda Hydra 2020 a MoscouMartin Kleppmann (Martin Kleppmann) és potser un investigador encara més famós de la Universitat de Cambridge i un antic desenvolupador de sistemes de big data, que va escriure un llibre sorprenentment clar i, per tant, únic sobre sistemes distribuïts ".Disseny d'aplicacions intensives en dades" L'any passat Martin compartit els resultats de la seva investigació CRDT, i el que us explicarem ara anunciarem més endavant.


Torres del Kremlin als braços d'Hydra: conferència sobre informàtica paral·lela i distribuïda Hydra 2020 a MoscouNikita Koval (Nikita Koval) és un desenvolupador de corrutines de l'equip de Kotlin, professor d'un curs sobre programació multifils a ITMO i membre del comitè de programa de la conferència Hydra (sí, del mateix que tracta aquest article). L'any passat, Nikita va parlar de provar estructures de dades multifils a la plataforma JVM Lin-Check, i a Hydra 2020 ell ho diré sobre SegmentQueueSynchronizer - verificat amb Marc d'iris per provador Coq abstracció per a la programació de primitives de sincronització.


Seguiu els nostres anuncis asíncrons: en total hi haurà unes tres dotzenes d'informes a la conferència, aviat us explicarem la resta. També, òbviament, a les jornades hi haurà zones de debat on cal posar a prova els ponents amb preguntes en un o diversos fils fins a arribar a un consens general.

Torres del Kremlin als braços d'Hydra: conferència sobre informàtica paral·lela i distribuïda Hydra 2020 a Moscou
I si tens sort, Martin Kleppmann signarà el teu llibre.

Sí, abans de la conferència Hydra 2020, concretament del 6 al 9 de juliol, hi haurà SPTDC 2020 — la tercera escola d'estiu sobre teoria i pràctica de la computació distribuïda. Et donarà sensacions difícils d'aconseguir en una conferència, així que parlarem de l'Escola en un post a part.

Ara què? En primer lloc, seguiu les notícies a Habré i a les xarxes socials (Facebook, VKontakte, Twitter).

En segon lloc, si ja sents un desig irresistible d'assistir a la conferència, explora el lloc web, ja pots comprar bitllets.

En tercer lloc, no perdeu l'oportunitat de xerrar amb el comitè del programa de conferències Hydra 2020 als comentaris. Els membres del PC estaran encantats de parlar amb vosaltres sobre temes futurs de la conferència.

Ens veiem a Hydra!

Font: www.habr.com

Afegeix comentari