Sidste år i Sankt Petersborg var der , dedikeret til parallelle og distribuerede systemer. Prismodtagere lavede oplæg и (, и ), skabere af compilere og programmeringssprog (C++, Go, Java, Kotlin), udviklere af distribuerede databaser (Cassandra, CosmosDB, Yandex Database), såvel som skabere og forskere af algoritmer og datastrukturer (CRDT, Paxos, vent -frie datastrukturer). Generelt kan du på dette tidspunkt allerede tage en ferie, minimere IDE-vinduet, åbne en afspilningsliste på YouTube med Hydra 2019 - og lad opgaveplanlæggeren vente lidt.
Generelt har sådan en konference aldrig fundet sted, og nu vil det ske igen. Igen med rapporter på engelsk, fordi der ikke er noget bedre sprog at tale om parallel og distribueret computing. Igen om sommeren den 10. og 11. juli, fordi talerne har tid til at forske og undervise, for eksempel på universiteterne i Cambridge, Rochester og St. Petersburg, og andre tider på året er ikke noget for dem.
Denne gang bliver Hydra dog afholdt i Moskva, hvor de fleste af konferencedeltagerne kom sidste år for at lytte til rapporter om distribueret konsensus og transaktionshukommelse. Den nye Hydra byder på et mere indviklet program, nye højttalere sammen med heltene fra sidste år, samt den allerede velkendte følelse af spændingen ved parallel hardcore fordelt blandt deltagerne i tre haller.
Lad os straks lægge et sæt kort på bordet med de byzantinske generaler opad - vi ønsker, at det nye Hydras program skal være mere detaljeret og varieret. Sidste gang vi kradsede med en negl, lad os nu grave bredere og dybere. Her er Hydra 2020-temaerne med en forskel i forhold til sidste å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
Hvordan taler man om alt dette i programmet for én konference? Det er bestemt ikke nemmere end at teste lineariserbarheden af operationer på en skinnende ny distribueret butik vha. , men vi prøver.
Her er hvem der allerede er med i programmet:
(Cindy Sridharan) - udvikler af distribuerede systemer fra San Francisco, forfatter til en kort bog (tage ) og populær , hvor der kun er én artikel ""kan redde dig fra et par dages fri, men efterlade dig glad. Ved Hydra 2020 vil Cindy fortælle dig hvordan , selvom de lagrer tilstand.
Michael Scott (Michael Scott) - forsker fra , kendt af alle Java-udviklere som skaberen fra Java Standard Library. Selvfølgelig med Dijkstra-prisen for “"og egne . Sidste år gav Michael den bedste (ifølge dig) rapport om Hydra på , og nu vil han tale om и , tilgængelig for parallelle processer.
(Heidi Howard) - af , kendt for at skabe en distribueret konsensusalgoritme , samt arbejde med at generalisere Flexible Paxos og . Sidste år fortalte Heidi, hvordan det fungerer og virker (en af de bedste rapporter), og nu vil jeg prøve at gå på tynd is imellem - og del sin mening om, hvilken algoritme der er bedst.
(Martin Kleppmann) er måske en endnu mere berømt forsker fra University of Cambridge, og en tidligere udvikler af big data-systemer, som skrev en overraskende klar og derfor unik bog om distribuerede systemer." Sidste år Martin af deres CRDT-forskning, og hvad vi vil fortælle dig nu .
(Nikita Koval) er en coroutine-udvikler på Kotlin-teamet, underviser i et kursus i multi-threaded programmering hos ITMO og medlem af programudvalget for Hydra-konferencen (ja, netop den, denne artikel handler om). Sidste år talte Nikita om at teste multi-threaded datastrukturer på JVM platformen ved hjælp af , og på Hydra 2020 han om SegmentQueueSynchronizer - verificeret vha for abstraktion til programmering af synkroniseringsprimitiver.
Følg vores asynkrone meddelelser: I alt vil der være omkring tre dusin rapporter på konferencen, vi vil snart fortælle dig om resten. På konferencen vil der naturligvis også være diskussionszoner, hvor det er nødvendigt at teste oplægsholderne med spørgsmål i en eller flere tråde, indtil der er opnået generel konsensus.
Og hvis du er heldig, signerer Martin Kleppmann din bog.
Ja, inden Hydra 2020-konferencen, nemlig 6.-9. juli, vil der være — den tredje sommerskole om teori og praksis for distribueret databehandling. Det vil give dig fornemmelser, som er svære at få på en konference, så vi vil tale om Skolen i et separat indlæg.
Hvad nu? Følg først nyhederne på Habré og på sociale netværk (, , ).
For det andet, hvis du allerede føler et uimodståeligt ønske om at deltage i konferencen, så gå på opdagelse på hjemmesiden, det kan du allerede .
For det tredje, gå ikke glip af muligheden for at chatte med Hydra 2020-konferenceprogramudvalget i kommentarerne. PC-medlemmer vil med glæde tale med dig om fremtidige konferenceemner.
Vi ses på Hydra!
Kilde: www.habr.com