L'anno scorso a San Pietroburgo c'era , dedicato ai sistemi paralleli e distribuiti. I vincitori hanno fatto delle presentazioni и (, и ), creatori di compilatori e linguaggi di programmazione (C++, Go, Java, Kotlin), sviluppatori di database distribuiti (Cassandra, CosmosDB, Yandex Database), nonché creatori e ricercatori di algoritmi e strutture dati (CRDT, Paxos, wait strutture dati libere). In generale, a questo punto puoi già prenderti una vacanza, ridurre a icona la finestra dell'IDE, aprire una playlist su YouTube con Hydra 2019 - e lascia che il pianificatore delle attività aspetti un po'.
In generale, una conferenza del genere non è mai avvenuta e ora accadrà di nuovo. Ancora una volta con resoconti in inglese, perché non esiste linguaggio migliore per parlare di calcolo parallelo e distribuito. Anche in estate, il 10 e 11 luglio, perché i relatori hanno tempo per ricercare e insegnare, ad esempio, nelle università di Cambridge, Rochester e San Pietroburgo, e altri periodi dell'anno non fanno per loro.
Tuttavia, questa volta l'Hydra si terrà a Mosca, da dove la maggior parte dei partecipanti alla conferenza è venuta l'anno scorso per ascoltare rapporti sul consenso distribuito e sulla memoria transazionale. La nuova Hydra ha un programma più intricato, nuovi relatori insieme agli eroi dello scorso anno, oltre alla già familiare sensazione di eccitazione dell'hardcore parallelo distribuito tra i partecipanti in tre sale.
Mettiamo subito in tavola un mazzo di carte con i generali bizantini a faccia in su: vogliamo che il programma della nuova Hydra sia più dettagliato e vario. L'ultima volta che ci siamo grattati con un'unghia, ora scaviamo più in profondità. Ecco i temi Hydra 2020 con una differenza rispetto allo scorso anno:
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
Come parlare di tutto questo nel programma di una conferenza? Certamente non è più semplice che testare la linearizzabilità delle operazioni su un nuovo brillante negozio distribuito utilizzando , ma ci proveremo.
Ecco chi è già nel programma:
(Cindy Sridharan) - sviluppatrice di sistemi distribuiti di San Francisco, autrice di un breve libro (prendere ) e popolare , dove c’è un solo articolo “"può salvarti da un paio di giorni liberi, ma lasciarti felice. All'Hydra 2020, Cindy ti racconterà come , anche se memorizzano lo stato.
Michele Scotto (Michael Scott) - ricercatore di , noto a tutti gli sviluppatori Java come il creatore dalla libreria standard Java. Naturalmente, con il Premio Dijkstra per “"e possedere . L'anno scorso Michael ha fornito il miglior resoconto (secondo te) su Hydra , e ora ne parleremo и , disponibile per processi paralleli.
(Heidi Howard) - di , noto per aver creato un algoritmo di consenso distribuito , nonché lavorare sulla generalizzazione di Paxos flessibile e . L'anno scorso Heidi ha raccontato come funziona e funziona (uno dei migliori resoconti), e ora proverò a camminare sul ghiaccio sottile in mezzo – e condividi la sua opinione su quale algoritmo sia migliore.
(Martin Kleppmann) è forse un ricercatore ancora più famoso dell'Università di Cambridge, ed ex sviluppatore di sistemi big data, che ha scritto un libro sorprendentemente chiaro e quindi unico sui sistemi distribuiti"" L'anno scorso Martino della loro ricerca CRDT e cosa vi diremo ora .
(Nikita Koval) è uno sviluppatore coroutine del team Kotlin, insegnante di un corso sulla programmazione multi-thread presso ITMO e membro del comitato di programma della conferenza Hydra (sì, proprio quella di cui tratta questo articolo). L'anno scorso Nikita ha parlato del test delle strutture dati multi-thread sulla piattaforma JVM utilizzando , e all'Hydra 2020 lui su SegmentQueueSynchronizer - verificato utilizzando per astrazione per la programmazione delle primitive di sincronizzazione.
Seguite i nostri annunci asincroni: in totale ci saranno circa tre dozzine di relazioni al convegno, del resto vi racconteremo presto. Naturalmente alla conferenza ci saranno anche zone di discussione in cui sarà necessario mettere alla prova i relatori con domande in uno o più thread fino a raggiungere un consenso generale.
E se sei fortunato, Martin Kleppmann firmerà il tuo libro.
Sì, prima della conferenza Hydra 2020, precisamente dal 6 al 9 luglio, ci sarà — la terza scuola estiva sulla teoria e la pratica del calcolo distribuito. Ti regalerà sensazioni difficili da ottenere in una conferenza, per questo della Scuola parleremo in un post a parte.
E adesso? Innanzitutto seguite le notizie su Habré e sui social network (, , ).
In secondo luogo, se senti già un desiderio irresistibile di partecipare alla conferenza, esplora il sito, puoi già farlo .
Terzo, non perdere l’opportunità di chattare con il comitato del programma della conferenza Hydra 2020 nei commenti. I membri PC saranno felici di parlare con te degli argomenti della futura conferenza.
Ci vediamo all'Idra!
Fonte: habr.com