Förra året i St Petersburg fanns det , tillägnad parallella och distribuerade system. Pristagarna gjorde presentationer и (, и ), skapare av kompilatorer och programmeringsspråk (C++, Go, Java, Kotlin), utvecklare av distribuerade databaser (Cassandra, CosmosDB, Yandex Database), såväl som skapare och forskare av algoritmer och datastrukturer (CRDT, Paxos, vänta -fria datastrukturer). I allmänhet kan du vid det här laget redan ta semester, minimera IDE-fönstret, öppna en spellista på YouTube med Hydra 2019 - och låt uppgiftsschemaläggaren vänta lite.
I allmänhet har en sådan konferens aldrig hänt, och nu kommer det att hända igen. Återigen med rapporter på engelska, eftersom det inte finns något bättre språk att prata om parallell och distribuerad datoranvändning. Återigen på sommaren, 10 och 11 juli, eftersom talarna har tid att forska och undervisa, till exempel vid universiteten i Cambridge, Rochester och St. Petersburg, och andra tider på året är inte för dem.
Men denna gång kommer Hydra att hållas i Moskva, dit de flesta av konferensdeltagarna kom förra året för att lyssna på rapporter om distribuerad konsensus och transaktionsminne. Nya Hydra har ett mer intrikat program, nya talare tillsammans med förra årets hjältar, såväl som den redan välbekanta känslan av spänningen av parallell hardcore fördelad bland deltagarna i tre salar.
Låt oss genast lägga en kortlek på bordet med de bysantinska generalerna uppåt - vi vill att det nya Hydras program ska vara mer detaljerat och varierat. Förra gången vi kliade med en nagel, låt oss nu gräva bredare och djupare. Här är Hydra 2020-teman med en skillnad i förhållande till förra å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
Hur pratar man om allt detta i programmet för en konferens? Det är verkligen inte enklare än att testa linjäriserbarheten av operationer i en skinande ny distribuerad butik med , men vi ska försöka.
Här är vem som redan är med i programmet:
(Cindy Sridharan) - distribuerade systemutvecklare från San Francisco, författare till en kort bok (ta ) och populära , där det bara finns en artikel ""kan rädda dig från ett par lediga dagar, men lämna dig glad. På Hydra 2020 kommer Cindy att berätta hur , även om de lagrar tillstånd.
Michael Scott (Michael Scott) - forskare från , känd för alla Java-utvecklare som skaparen av från Java Standard Library. Naturligtvis med Dijkstra-priset för ""och äger . Förra året gav Michael den bästa (enligt dig) rapporten om Hydra på , och nu ska han prata om и , tillgänglig för parallella processer.
(Heidi Howard) - av , känd för att skapa en distribuerad konsensusalgoritm , samt arbete med att generalisera Flexible Paxos och . Förra året berättade Heidi hur det fungerar och fungerar (en av de bästa rapporterna), och nu ska jag försöka gå på tunn is emellan — och dela hans åsikt om vilken algoritm som är bättre.
(Martin Kleppmann) är kanske en ännu mer känd forskare från University of Cambridge, och en före detta utvecklare av big data-system, som skrev en förvånansvärt tydlig och därför unik bok om distribuerade system "" Förra året Martin av deras CRDT-forskning, och vad vi kommer att berätta för dig nu .
(Nikita Koval) är en coroutine-utvecklare i Kotlin-teamet, lärare i en kurs i flertrådsprogrammering på ITMO och medlem i programkommittén för Hydra-konferensen (ja, just den som denna artikel handlar om). Förra året pratade Nikita om att testa flertrådiga datastrukturer på JVM-plattformen med hjälp av , och på Hydra 2020 han om SegmentQueueSynchronizer - verifierad med för abstraktion för programmering av synkroniseringsprimitiver.
Följ våra asynkrona tillkännagivanden: totalt kommer det att finnas cirka tre dussin rapporter på konferensen, vi kommer att berätta om resten snart. På konferensen kommer det naturligtvis också att finnas diskussionszoner där det är nödvändigt att testa talarna med frågor i en eller flera trådar tills en allmän konsensus uppnås.
Och om du har tur signerar Martin Kleppmann din bok.
Ja, innan Hydra 2020-konferensen, nämligen 6-9 juli, kommer det att finnas — den tredje sommarskolan om teori och praktik för distribuerad datoranvändning. Det kommer att ge dig upplevelser som är svåra att få på en konferens, så vi kommer att prata om Skolan i ett separat inlägg.
Och nu då? Följ först nyheterna på Habré och på sociala nätverk (, , ).
För det andra, om du redan känner en oemotståndlig önskan att delta i konferensen, utforska webbplatsen, du kan redan .
För det tredje, missa inte möjligheten att chatta med Hydra 2020-konferensens programkommitté i kommentarerna. PC-medlemmar kommer gärna att prata med dig om framtida konferensämnen.
Vi ses på Hydra!
Källa: will.com