Der Kreml thront in den Armen von Hydra: Konferenz über paralleles und verteiltes Rechnen Hydra 2020 in Moskau

Letztes Jahr gab es in St. Petersburg erste Hydra-Konferenz, speziell für parallele und verteilte Systeme. Die Preisträger hielten Vorträge Dijkstra-Preis и Turing-Auszeichnungen (Leslie Lamport, Maurice Herlihy и Michael Scott), Entwickler von Compilern und Programmiersprachen (C++, Go, Java, Kotlin), Entwickler verteilter Datenbanken (Cassandra, CosmosDB, Yandex Database) sowie Entwickler und Forscher von Algorithmen und Datenstrukturen (CRDT, Paxos, Wait -freie Datenstrukturen). Im Allgemeinen können Sie zu diesem Zeitpunkt bereits Urlaub machen, das IDE-Fenster minimieren und mit eine Playlist auf YouTube öffnen die besten Berichte Hydra 2019 – und lassen Sie den Aufgabenplaner etwas warten.

Im Allgemeinen hat eine solche Konferenz noch nie stattgefunden, und jetzt wird sie wieder stattfinden. Wieder mit Berichten auf Englisch, denn es gibt keine bessere Sprache, um über paralleles und verteiltes Rechnen zu sprechen. Wieder im Sommer, 10. und 11. Juli, weil die Referenten Zeit zum Forschen und Lehren haben, zum Beispiel an den Universitäten Cambridge, Rochester und St. Petersburg, und andere Zeiten im Jahr nichts für sie sind.

Diesmal wird Hydra jedoch in Moskau stattfinden, wohin die meisten Konferenzteilnehmer letztes Jahr kamen, um sich Berichte über verteilten Konsens und Transaktionsgedächtnis anzuhören. Die neue Hydra bietet ein komplexeres Programm, neue Redner mit den Helden des letzten Jahres sowie das bereits bekannte Gefühl der Spannung von Parallel-Hardcore, verteilt auf die Teilnehmer in drei Hallen.

Der Kreml thront in den Armen von Hydra: Konferenz über paralleles und verteiltes Rechnen Hydra 2020 in Moskau


Legen wir sofort ein Kartenspiel mit den byzantinischen Generälen nach oben auf den Tisch – wir möchten, dass das Programm der neuen Hydra detaillierter und abwechslungsreicher wird. Als wir das letzte Mal mit dem Fingernagel gekratzt haben, wollen wir jetzt weiter und tiefer graben. Hier sind die Hydra 2020-Themen mit einem Unterschied zum letzten Jahr:

  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

Wie kann man all dies im Programm einer Konferenz besprechen? Es ist sicherlich nicht einfacher, als die Linearisierbarkeit von Vorgängen in einem glänzenden neuen verteilten Geschäft zu testen jepsen, aber wir werden es versuchen.

Hier ist, wer bereits am Programm teilnimmt:

Der Kreml thront in den Armen von Hydra: Konferenz über paralleles und verteiltes Rechnen Hydra 2020 in MoskauCindy Sridharan (Cindy Sridharan) – Entwicklerin verteilter Systeme aus San Francisco, Autorin eines kurzen Buches Beobachtbarkeit verteilter Systeme (nehmen kostenlose elektronische Kopie) und beliebt Blog, wo es nur einen Artikel gibt „Das Beste von 2019 in Tech Talks„Kann Ihnen ein paar freie Tage ersparen, macht Sie aber glücklich.“ Auf der Hydra 2020 verrät Ihnen Cindy, wie es geht Testen Sie verteilte Systeme, auch wenn sie den Status speichern.


Der Kreml thront in den Armen von Hydra: Konferenz über paralleles und verteiltes Rechnen Hydra 2020 in MoskauMichael Scott (Michael Scott) – Forscher aus Universität von Rochester, allen Java-Entwicklern als Ersteller bekannt nicht blockierende Algorithmen und synchrone Warteschlangen aus der Java-Standardbibliothek. Natürlich mit dem Dijkstra-Preis für „Algorithmen für skalierbare Synchronisation auf Shared-Memory-Multiprozessoren„und besitzen Wikipedia-Seite. Letztes Jahr hat Michael den (Ihrer Meinung nach) besten Bericht über Hydra verfasst Duale Datenstrukturen, und jetzt wird er darüber reden Projekt Hodor и Sicheres Arbeiten mit Shared Memory, für parallele Prozesse verfügbar.


Der Kreml thront in den Armen von Hydra: Konferenz über paralleles und verteiltes Rechnen Hydra 2020 in MoskauHeidi Howard (Heidi Howard) - Forscher von University of Cambridge, bekannt für die Erstellung eines verteilten Konsensalgorithmus Flexible Paxossowie Arbeiten zur Verallgemeinerung flexibler Paxos und Schnelle Paxos. Letztes Jahr hat Heidi erzählt, wie es funktioniert und funktioniert Paxos-Algorithmenfamilie (einer der besten Berichte), und jetzt werde ich versuchen, dazwischen auf dünnem Eis zu gehen Paxos-Liebhaber und Raft-Fans – und seine Meinung dazu mitteilen, welcher Algorithmus besser ist.


Der Kreml thront in den Armen von Hydra: Konferenz über paralleles und verteiltes Rechnen Hydra 2020 in MoskauMartin Kleppmann (Martin Kleppmann) ist vielleicht ein noch berühmterer Forscher der Universität Cambridge und ehemaliger Entwickler von Big-Data-Systemen, der ein überraschend klares und daher einzigartiges Buch über verteilte Systeme geschrieben hat.Entwerfen von datenintensiven Anwendungen" Letztes Jahr Martin teilte die Ergebnisse mit über ihre CRDT-Forschung und was wir Ihnen jetzt erzählen werden Wir werden es später bekannt geben.


Der Kreml thront in den Armen von Hydra: Konferenz über paralleles und verteiltes Rechnen Hydra 2020 in MoskauNikita Koval (Nikita Koval) ist Coroutine-Entwickler im Kotlin-Team, Dozent eines Kurses über Multithread-Programmierung am ITMO und Mitglied des Programmkomitees der Hydra-Konferenz (ja, genau die Konferenz, um die es in diesem Artikel geht). Letztes Jahr sprach Nikita über das Testen von Multithread-Datenstrukturen auf der JVM-Plattform mit Lin-Check, und bei Hydra 2020 er werde es erzählen über SegmentQueueSynchronizer – überprüft mit Iris-Rahmen für Prüfer Coq Abstraktion zur Programmierung von Synchronisationsprimitiven.


Verfolgen Sie unsere asynchronen Ankündigungen: Insgesamt wird es auf der Konferenz etwa drei Dutzend Berichte geben, über den Rest informieren wir Sie bald. Natürlich wird es auf der Konferenz auch Diskussionszonen geben, in denen es notwendig ist, die Redner mit Fragen in einem oder mehreren Streams zu testen, bis ein allgemeiner Konsens erreicht ist.

Der Kreml thront in den Armen von Hydra: Konferenz über paralleles und verteiltes Rechnen Hydra 2020 in Moskau
Und wenn Sie Glück haben, signiert Martin Kleppmann Ihr Buch.

Ja, vor der Hydra 2020-Konferenz, nämlich vom 6. bis 9. Juli, wird es eine geben SPTDC 2020 — die dritte Sommerschule zu Theorie und Praxis des verteilten Rechnens. Es wird Ihnen Eindrücke vermitteln, die auf einer Konferenz nur schwer zu erreichen sind, daher werden wir in einem separaten Beitrag über die Schule sprechen.

Was jetzt? Verfolgen Sie zunächst die Nachrichten auf Habré und in den sozialen Netzwerken (Facebook, Vkontakte, Twitter).

Zweitens: Wenn Sie bereits den unwiderstehlichen Wunsch verspüren, an der Konferenz teilzunehmen, können Sie die Website bereits erkunden Tickets kaufen.

Drittens: Verpassen Sie nicht die Gelegenheit, in den Kommentaren mit dem Programmkomitee der Hydra 2020-Konferenz zu chatten. PC-Mitglieder sprechen gerne mit Ihnen über zukünftige Konferenzthemen.

Wir sehen uns bei Hydra!

Source: habr.com

Kommentar hinzufügen