Kreml-Türme in Hydras Umarmung: Hydra 2020 Parallel and Distributed Computing Conference

Die erste Hydra-Konferenz für parallele und verteilte Systeme fand im vergangenen Jahr in St. Petersburg statt . Präsentationen wurden von den Gewinnern des Dijkstra-Preises und des Turing-Preises ( Leslie Lampport , Maurice Herlichi und Michael Scott ), Entwicklern von Compilern und Programmiersprachen (C ++, Go, Java, Kotlin) und verteilten Datenbankentwicklern (Cassandra, CosmosDB, Yandex Database) gehalten Entwickler und Forscher von Algorithmen und Datenstrukturen (CRDT, Paxos, wartungsfreie Datenstrukturen). Im Allgemeinen können Sie an diesem Ort bereits Urlaub machen, das IDE-Fenster minimieren, eine YouTube-Wiedergabeliste mit den besten Hydra 2019- Berichten öffnen und den Taskplaner etwas warten lassen.

Im Allgemeinen hat es noch nie eine solche Konferenz gegeben, und jetzt wird es wieder passieren. Wieder mit Berichten in Englisch , weil es keine bessere Sprache gibt, um über paralleles und verteiltes Rechnen zu sprechen. Auch im Sommer vom 6. bis 9. Juli , weil die Referenten Zeit haben, beispielsweise an den Universitäten von Cambridge, Rochester und St. Petersburg zu studieren und zu lehren, und andere Zeiten des Jahres sind nichts für sie.

Die neue Hydra hat ein komplizierteres Programm, neue Sprecher zusammen mit den Helden des letzten Jahres sowie ein vertrautes Gefühl der Begeisterung, die unter den Teilnehmern vom parallelen Hardcore in drei Räumen verteilt wird.




Legen Sie sofort ein Kartenspiel mit den Hemden der byzantinischen Generäle auf den Tisch - wir möchten, dass das Programm der neuen Hydra detaillierter und vielfältiger wird. Als wir das letzte Mal mit einem Fingernagel gekratzt haben, werden wir jetzt breiter und tiefer graben. Hier sind die Hydra 2020-Themen mit Unterschieden zum letzten Jahr: Wie kann man im Programm einer Konferenz darüber sprechen? Dies ist sicherlich nicht einfacher als das Testen der Linearisierbarkeit von Operationen in einem neuen glänzenden verteilten Speicher mit Jepsen , aber wir werden es versuchen. Hier ist die bereits im Programm: Cindy Sridharan ist eine in San Francisco ansässige Entwicklerin verteilter Systeme, Autorin eines kleinen Buches Distributed Systems Observability ( kostenlose elektronische Kopie erhalten ) und eines beliebten Blogs

  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






, wo nur der Artikel „ Best of 2019 in Tech Talks “ ein paar Tage frei sparen kann, sie aber glücklich macht. Auf der Hydra 2020 wird Cindy darüber sprechen, wie verteilte Systeme getestet werden können , auch wenn sie den Status speichern.

Michael Scott ist ein Forscher an der Universität von Rochester , der allen Java-Entwicklern als Entwickler nicht blockierender Algorithmen und synchroner Warteschlangen aus der Standard-Java-Bibliothek bekannt ist. Natürlich mit dem Dijkstra-Preis für " Algorithmen zur skalierbaren Synchronisation auf Multiprozessoren mit gemeinsamem Speicher " und einer eigenen Wikipedia-Seite . Letztes Jahr hat Michael bei Hydra den besten (nach Ihren Schätzungen) Bericht über gemachtduale Datenstrukturen , und jetzt wird er über das Hodor-Projekt und die sichere Arbeit mit gemeinsam genutztem Speicher sprechen, die parallelen Prozessen zur Verfügung steht.

Heidi Howard ist eine Forscherin an der Universität von Cambridge , die dafür bekannt ist, einen verteilten Konsensalgorithmus für flexible Paxos zu entwickeln sowie flexible Paxos und schnelle Paxos zu verallgemeinern . Letztes Jahr sprach Heidi darüber, wie die Paxos-Algorithmusfamilie angeordnet ist und funktioniert (einer der besten Berichte), und jetzt wird sie versuchen, zwischen Paxos-Liebhabern und Raft-Anhängern auf dünnem Eis zu laufen - und ihre Meinung darüber zu teilen, welcher der Algorithmen besser ist.

Martin Kleppmann ist vielleicht sogar ein bekannter Forscher an der Universität von Cambridge und in der Vergangenheit ein Big-Data-Prozessor, der ein überraschend verständliches und daher einzigartiges Buch über verteilte Systeme mit dem Titel Designing Data-Intensive Applications geschrieben hat . Letztes Jahr teilte Martin die Ergebnisse seiner CRDT-Forschung mit und worüber er jetzt sprechen wird - wir werden es später bekannt geben .

Nikita Koval(Nikita Koval) ist ein Coroutine-Entwickler im Kotlin-Team, Lehrer des Multithread-Programmierkurses bei ITMO und Mitglied des Programmkomitees der Hydra-Konferenz (ja, derjenige, über den dieser Artikel berichtet). Im vergangenen Jahr sprach Nikita etwa auf der JVM - Plattform Multi-Threaded - Datenstrukturen zu testen Lin-Check , und auf Hydra 2020 er wird sprechen über SegmentQueueSynchronizer - eine Abstraktion von der verifizierten Iris Rahmen für die Coq Prover zur Programmierung Synchronisations Primitiven.

Folgen Sie unseren asynchronen Ankündigungen: Insgesamt wird es auf der Konferenz etwa drei Dutzend Berichte geben, wir werden bald über den Rest sprechen. Natürlich wird es auf der Konferenz auch Diskussionszonen geben, in denen Redner mit Fragen in einem oder mehreren Streams getestet werden müssen, bis ein Konsens erreicht ist.


Und wenn Sie Glück haben, signiert Ihnen Martin Kleppmann ein Buch.

Ja, parallel zur Hydra 2020-Konferenz vom 6. bis 9. Juli findet die SPTDC 2020 statt , die dritte Sommerschule für Theorie und Praxis des verteilten Rechnens. Darauf finden Sie Empfindungen, die auf der Konferenz schwer zu bekommen sind, daher werden wir in einem separaten Beitrag über die Schule sprechen.

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

Zweitens, wenn Sie bereits einen unwiderstehlichen Wunsch verspürt haben, an der Konferenz teilzunehmen - studieren Sie die Website, können Sie dort bereits Tickets kaufen .

Drittens sollten Sie die Gelegenheit nicht verpassen, in den Kommentaren mit dem Programmausschuss der Hydra 2020-Konferenz zu plaudern. PC-Mitglieder sprechen gerne mit Ihnen über die Themen der bevorstehenden Konferenz.

Triff mich bei Hydra!