Kremlin torent uit in de armen van Hydra: conferentie over parallel en gedistribueerd computergebruik Hydra 2020 in Moskou

Vorig jaar in St. Petersburg eerste Hydra-conferentiegewijd aan parallelle en gedistribueerde systemen. Laureaten verzorgden presentaties Dijkstra-prijzen и Turing-onderscheidingen (Leslie Lamport, Maurice Herlihy и Michaël Scott), makers van compilers en programmeertalen (C++, Go, Java, Kotlin), ontwikkelaars van gedistribueerde databases (Cassandra, CosmosDB, Yandex Database), evenals makers en onderzoekers van algoritmen en datastructuren (CRDT, Paxos, wacht -vrije gegevensstructuren). Over het algemeen kunt u op dit moment al op vakantie gaan, het IDE-venster minimaliseren, een YouTube-afspeellijst openen met de beste rapporten Hydra 2019 - en laat de taakplanner even wachten.

Over het algemeen is er nog nooit zo'n conferentie geweest en nu zal het weer gebeuren. Wederom met rapporten in het Engels, omdat er geen betere taal is om over parallel en gedistribueerd computergebruik te praten. Weer in de zomer, 10 en 11 juli, omdat de sprekers tijd hebben om onderzoek te doen en les te geven, bijvoorbeeld aan de universiteiten van Cambridge, Rochester en St. Petersburg, en andere tijden van het jaar zijn niet voor hen weggelegd.

Deze keer wordt Hydra echter in Moskou gehouden, waar de meeste conferentiedeelnemers vorig jaar vandaan kwamen om te luisteren naar rapporten over gedistribueerde consensus en transactioneel geheugen. Op de nieuwe Hydra is er een ingewikkelder programma, nieuwe sprekers samen met de helden van het afgelopen jaar, evenals het al bekende gevoel van vreugde dat onder de deelnemers wordt verdeeld vanuit parallelle hardcore in drie zalen.

Kremlin torent uit in de armen van Hydra: conferentie over parallel en gedistribueerd computergebruik Hydra 2020 in Moskou


Laten we meteen een kaartspel op tafel leggen met de shirts van de Byzantijnse generaals omhoog - we willen dat het programma van de nieuwe Hydra gedetailleerder en gevarieerder wordt. De vorige keer krabden we met een vingernagel, nu gaan we breder en dieper graven. Hier zijn Hydra 2020-thema's met een verschil met vorig jaar:

  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

Hoe vertel je dit allemaal in het programma van één conferentie? Het is zeker niet eenvoudiger dan het testen van de lineariseerbaarheid van bewerkingen in een glanzende nieuwe gedistribueerde winkel met Jepsenmaar we zullen het proberen.

Dit is wie er op het programma staat:

Kremlin torent uit in de armen van Hydra: conferentie over parallel en gedistribueerd computergebruik Hydra 2020 in MoskouCindy Sridharan (Cindy Sridharan) is een ontwikkelaar van gedistribueerde systemen uit San Francisco, auteur van een kort boek Gedistribueerde systemen waarneembaarheid (nemen gratis elektronische kopie) en populair blog post, waar slechts één artikel "Het beste van 2019 in Tech Talks"Kan nog een paar vrije dagen wegwerken, maar blij vertrekken. Op Hydra 2020 laat Cindy je zien hoe gedistribueerde systemen testen, ook al slaan ze de status op.


Kremlin torent uit in de armen van Hydra: conferentie over parallel en gedistribueerd computergebruik Hydra 2020 in MoskouMichaël Scott (Michael Scott) - onderzoeker van University of Rochester, bij alle Java-ontwikkelaars bekend als de maker van niet-blokkerende algoritmen en synchrone wachtrijen uit de Java-standaardbibliotheek. Natuurlijk met de Dijkstra Prijs voor "Algoritmen voor schaalbare synchronisatie op multiprocessors met gedeeld geheugen» en bezit Wikipedia-pagina. Vorig jaar gaf Michael Hydra het beste (volgens jou) rapport over dubbele datastructurenen nu praten over het Hodor-project и veilig werken met gedeeld geheugenbeschikbaar voor parallelle processen.


Kremlin torent uit in de armen van Hydra: conferentie over parallel en gedistribueerd computergebruik Hydra 2020 in MoskouHeidi Howard (Heidi Howard) onderzoeker van University of Cambridge, bekend om het creëren van een gedistribueerd consensusalgoritme Flexibele Paxos, evenals werken aan de veralgemening van Flexible Paxos en Snelle Paxos. Vorig jaar vertelde Heidi hoe het werkt en hoe Paxos familie van algoritmen (een van de beste verslagen), en nu zal hij proberen om tussendoor op dun ijs te lopen Paxos-liefhebbers en Raft-supporters - en deel uw mening over welk algoritme beter is.


Kremlin torent uit in de armen van Hydra: conferentie over parallel en gedistribueerd computergebruik Hydra 2020 in MoskouMartin Kleppman (Martin Kleppmann) is misschien wel de bekendere onderzoeker aan de Universiteit van Cambridge, en een voormalige ontwikkelaar van big data-systemen, die een verbazingwekkend helder en daardoor uniek boek schreef over gedistribueerde systemen "Ontwerpen van data-intensieve applicaties". Maarten vorig jaar deelde de resultaten van hun onderzoek CRDT, en wat zal het nu vertellen - wij zal later bekend maken.


Kremlin torent uit in de armen van Hydra: conferentie over parallel en gedistribueerd computergebruik Hydra 2020 in MoskouNikita Koval (Nikita Koval) is ontwikkelaar van coroutines in het Kotlin-team, docent in een cursus over multithreaded programmeren bij ITMO en lid van de programmacommissie van de Hydra-conferentie (ja, die waar dit artikel over gaat). Vorig jaar sprak Nikita over het testen van multi-threaded datastructuren op het JVM-platform met behulp van lin-check, en op Hydra 2020 het zal het vertellen over SegmentQueueSynchronizer - geverifieerd met behulp van Iris kader voor Bewijs Coq abstractie voor het programmeren van synchronisatieprimitieven.


Volg onze asynchrone aankondigingen: er zullen ongeveer drie dozijn rapporten op de conferentie zijn, de rest zullen we u binnenkort vertellen. Natuurlijk zijn er ook discussiezones op de conferentie, waar je de sprekers moet testen met vragen in een of meerdere streams totdat er een algemene consensus is bereikt.

Kremlin torent uit in de armen van Hydra: conferentie over parallel en gedistribueerd computergebruik Hydra 2020 in Moskou
En als je geluk hebt, signeert Martin Kleppmann een boek voor je.

Ja, vóór de Hydra 2020-conferentie, namelijk op 6-9 juli, SPTDC 2020 — de derde zomerschool over de theorie en praktijk van gedistribueerde computers. Daar zul je sensaties vinden die moeilijk te krijgen zijn op de conferentie, dus we zullen het in een aparte post over de school hebben.

Wat nu? Volg eerst het nieuws op Habré en in sociale netwerken (Facebook, VKontakte, Twitter).

Ten tweede, als je al een onweerstaanbaar verlangen hebt gevoeld om de conferentie bij te wonen, bestudeer dan de site, daar kun je al kaartjes kopen.

Ten derde, mis de kans niet om te chatten met de Hydra 2020-conferentieprogrammacommissie in de commentaren. Leden van de PC gaan graag met u in gesprek over de onderwerpen van de komende conferentie.

Tot ziens bij Hydra!

Bron: www.habr.com

Voeg een reactie