I fjor i St. Petersburg var det , dedikert til parallelle og distribuerte systemer. Prisvinnerne holdt presentasjoner и (, и ), skapere av kompilatorer og programmeringsspråk (C++, Go, Java, Kotlin), utviklere av distribuerte databaser (Cassandra, CosmosDB, Yandex Database), samt skapere og forskere av algoritmer og datastrukturer (CRDT, Paxos, vent) -frie datastrukturer). Generelt, på dette tidspunktet kan du allerede ta en ferie, minimere IDE-vinduet, åpne en spilleliste på YouTube med Hydra 2019 - og la oppgaveplanleggeren vente litt.
Generelt har en slik konferanse aldri skjedd, og nå vil det skje igjen. Igjen med rapporter på engelsk, fordi det ikke finnes noe bedre språk å snakke om parallell og distribuert databehandling. Igjen til sommeren, 10. og 11. juli, fordi foredragsholderne har tid til å forske og undervise, for eksempel ved universitetene i Cambridge, Rochester og St. Petersburg, og andre tider på året er ikke noe for dem.
Imidlertid vil Hydra denne gangen bli holdt i Moskva, hvor de fleste av konferansedeltakerne kom i fjor for å lytte til rapporter om distribuert konsensus og transaksjonsminne. Den nye Hydra har et mer intrikat program, nye høyttalere sammen med heltene fra fjoråret, samt den allerede kjente følelsen av spenningen til parallell hardcore fordelt blant deltakerne i tre saler.
La oss umiddelbart legge en kortstokk på bordet med de bysantinske generalene vendt opp - vi vil at det nye Hydras programmet skal være mer detaljert og variert. Sist gang vi klødde med en negl, la oss nå grave bredere og dypere. Her er Hydra 2020-temaene med en forskjell i forhold til fjoråret:
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
Hvordan snakke om alt dette i programmet til en konferanse? Det er absolutt ikke enklere enn å teste lineariserbarheten til operasjoner på en skinnende ny distribuert butikk ved å bruke , men vi prøver.
Her er hvem som allerede er med i programmet:
(Cindy Sridharan) - utvikler av distribuerte systemer fra San Francisco, forfatter av en kort bok (ta ) og populær , der det bare er én artikkel ""kan redde deg fra et par dager fri, men la deg være fornøyd. På Hydra 2020 vil Cindy fortelle deg hvordan , selv om de lagrer tilstand.
Michael Scott (Michael Scott) - forsker fra , kjent for alle Java-utviklere som skaperen av fra Java Standard Library. Selvfølgelig med Dijkstra-prisen for ""og eie . I fjor ga Michael den beste (ifølge deg) rapporten om Hydra på , og nå skal han snakke om и , tilgjengelig for parallelle prosesser.
(Heidi Howard) - av , kjent for å lage en distribuert konsensusalgoritme , samt arbeid med å generalisere Flexible Paxos og . I fjor fortalte Heidi hvordan det fungerer og fungerer (en av de beste rapportene), og nå skal jeg prøve å gå på tynn is mellom — og del hans mening om hvilken algoritme som er best.
(Martin Kleppmann) er kanskje en enda mer kjent forsker fra University of Cambridge, og en tidligere utvikler av store datasystemer, som skrev en overraskende tydelig og derfor unik bok om distribuerte systemer." I fjor Martin av deres CRDT-forskning, og hva vi vil fortelle deg nå .
(Nikita Koval) er en coroutine-utvikler på Kotlin-teamet, lærer på et kurs i flertrådsprogrammering ved ITMO, og medlem av programkomiteen til Hydra-konferansen (ja, nettopp den denne artikkelen handler om). I fjor snakket Nikita om å teste flertrådede datastrukturer på JVM-plattformen ved hjelp av , og på Hydra 2020 han om SegmentQueueSynchronizer - verifisert ved hjelp av for abstraksjon for programmering av synkroniseringsprimitiver.
Følg våre asynkrone kunngjøringer: totalt vil det være rundt tre dusin rapporter på konferansen, vi vil fortelle deg om resten snart. Også på konferansen vil det selvfølgelig være diskusjonssoner hvor det er nødvendig å teste foredragsholderne med spørsmål i en eller flere tråder inntil en generell konsensus er oppnådd.
Og er du heldig, signerer Martin Kleppmann boken din.
Ja, før Hydra 2020-konferansen, nemlig 6.-9. juli, vil det være — den tredje sommerskolen om teori og praksis for distribuert databehandling. Det vil gi deg opplevelser som er vanskelige å få på en konferanse, så vi vil snakke om skolen i et eget innlegg.
Hva nå? Følg først nyhetene på Habré og på sosiale nettverk (, , ).
For det andre, hvis du allerede føler et uimotståelig ønske om å delta på konferansen, kan du utforske nettstedet, det kan du allerede .
For det tredje, ikke gå glipp av muligheten til å chatte med Hydra 2020-konferanseprogramkomiteen i kommentarfeltet. PC-medlemmer vil gjerne snakke med deg om fremtidige konferansetemaer.
Vi sees på Hydra!
Kilde: www.habr.com