Kreml Tierm an de Waffen vun Hydra: Konferenz iwwer parallel a verdeelt Computing Hydra 2020 zu Moskau

Lescht Joer zu Sankt Petersburg gouf et éischt Hydra Konferenz, gewidmet fir parallel a verdeelt Systemer. Laureate hunn Presentatiounen gemaach Dijkstra Präisser и Turing Auszeechnunge (Leslie Lamport, Maurice Herlihy и Michael Scott), Creatoren vu Compileren a Programméierungssproochen (C++, Go, Java, Kotlin), Entwéckler vu verdeelt Datenbanken (Cassandra, CosmosDB, Yandex Datebank), souwéi Creatoren a Fuerscher vun Algorithmen an Datestrukturen (CRDT, Paxos, wait -gratis Datestrukturen). Am Allgemengen, op dësem Punkt kënnt Dir schonn eng Vakanz huelen, d'IDE-Fënster minimiséieren, eng Playlist op YouTube opmaachen mat déi bescht Rapporten Hydra 2019 - a loosst den Task Scheduler e bëssen waarden.

Am Allgemengen ass esou eng Konferenz ni geschitt, an elo wäert et erëm geschéien. Erëm mat Berichter op Englesch, well et gëtt keng besser Sprooch iwwer parallel a verdeelt Informatik ze schwätzen. Nach eng Kéier am Summer, den 10. an 11. Juli, well d'Spriecher Zäit hunn fir ze fuerschen an ze léieren, zum Beispill op den Universitéite vu Cambridge, Rochester a St. Petersburg, an aner Zäite vum Joer sinn net fir si.

Allerdéngs wäert Hydra dës Kéier zu Moskau ofgehale ginn, wou déi meescht vun de Konferenz Participanten d'lescht Joer koumen fir Berichter iwwer verdeelt Konsens an Transaktiounsgediechtnes ze lauschteren. Déi nei Hydra huet e méi komplizéierte Programm, nei Spriecher zesumme mat den Helden vum leschte Joer, wéi och dat scho vertraute Gefill vun der Opreegung vum parallelen Hardcore, deen ënner de Participanten an dräi Säll verdeelt ass.

Kreml Tierm an de Waffen vun Hydra: Konferenz iwwer parallel a verdeelt Computing Hydra 2020 zu Moskau


Loosst eis direkt en Deck vu Kaarten op den Dësch leeën mat de byzantinesche Genereel no uewen - mir wëllen datt den neie Hydra Programm méi detailléiert a variéiert ass. Déi leschte Kéier hu mer mat engem Fangerneel gekräizt, elo gräife mer méi breet a méi déif. Hei sinn d'Hydra 2020 Themen mat engem Ënnerscheed par rapport zu d'lescht Joer:

  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

Wéi iwwer all dëst am Programm vun enger Konferenz ze schwätzen? Et ass sécher net méi einfach wéi d'Lineariséierung vun den Operatiounen an engem glänzenden neie verdeelte Geschäft ze testen Jepsen, mee mir probéieren.

Hei ass wien schonn um Programm steet:

Kreml Tierm an de Waffen vun Hydra: Konferenz iwwer parallel a verdeelt Computing Hydra 2020 zu MoskauCindy Sridharan (Cindy Sridharan) - verdeelt Systementwéckler vu San Francisco, Auteur vun engem kuerze Buch Verdeelt Systemer Observabilitéit (huelen fräi elektronesch Kopie) a populär Blog Post, wou et nëmmen een Artikel gëtt“Bescht vun 2019 an Tech Talks"kann Iech vun e puer Deeg fräi retten, awer loosst Iech glécklech. Bei Hydra 2020 wäert d'Cindy Iech soen wéi Test verdeelt Systemer, och wann se Buttek Staat.


Kreml Tierm an de Waffen vun Hydra: Konferenz iwwer parallel a verdeelt Computing Hydra 2020 zu MoskauMichael Scott (Michael Scott) - Fuerscher aus Universitéit vu Rochester, bekannt fir all Java Entwéckler als Ersteller vun Net-blockéierend Algorithmen a Synchronschlaangen aus der Java Standard Library. Natierlech mam Dijkstra Präis fir “Algorithmen fir skalierbar Synchroniséierung op gemeinsame Memory Multiprocessors"an eegen Wikipedia Säit. D'lescht Joer huet de Michael dee beschten (no Dir) Bericht iwwer Hydra op duebel Datestrukturen, an elo wäert hien iwwer schwätzen Projet Hodor и sécher Aarbecht mat gemeinsame Erënnerung, verfügbar fir parallel Prozesser.


Kreml Tierm an de Waffen vun Hydra: Konferenz iwwer parallel a verdeelt Computing Hydra 2020 zu MoskauHeidi Howard (Heidi Howard) - Fuerscher aus Universitéit vu Cambridge, bekannt fir e verdeelt Konsens Algorithmus ze kreéieren Flexibel Paxos, souwéi Aarbecht op generalizing Flexibel Paxos an Schnell Paxos. D'lescht Joer huet d'Heidi erzielt wéi et funktionnéiert a funktionnéiert Paxos Famill vun Algorithmen (ee vun de beschte Rapporten), an elo wäert ech probéieren op dënn Äis tëscht Spadséiergank Paxos Liebhaber a Raft Supporter - an deelt seng Meenung iwwer wéi eng Algorithmus besser ass.


Kreml Tierm an de Waffen vun Hydra: Konferenz iwwer parallel a verdeelt Computing Hydra 2020 zu MoskauMartin Kleppmann (Martin Kleppmann) ass vläicht en nach méi berühmte Fuerscher vun der University of Cambridge, an e fréieren Entwéckler vu Big Data Systemer, deen en iwwerraschend kloer an dofir eenzegaarteg Buch iwwer verdeelt Systemer geschriwwen huet.Design vun Daten-intensiv Uwendungen" Lescht Joer Martin huet d'Resultater gedeelt vun hirer CRDT Fuerschung, a wat mir Iech elo soen wäerte mir spéider matdeelen.


Kreml Tierm an de Waffen vun Hydra: Konferenz iwwer parallel a verdeelt Computing Hydra 2020 zu MoskauNikita Koval (Nikita Koval) ass e Coroutine Entwéckler am Kotlin Team, en Enseignant vun engem Cours iwwer Multi-threaded Programméierung bei ITMO, a Member vum Programmkomitee vun der Hydra Konferenz (jo, dee selwechten iwwer dësen Artikel ass). D'lescht Joer huet Nikita geschwat iwwer Multi-threaded Datestrukturen op der JVM Plattform ze testen Lin-Check, an op Hydra 2020 hien soen iwwer SegmentQueueSynchronizer - verifizéiert benotzt Iris Kader fir prover Coq Abstraktioun fir programméiere Synchroniséierung Primitiv.


Follegt eis asynchronen Ukënnegung: am Ganzen ginn et ongeféier dräi Dose Berichter op der Konferenz, mir soen Iech geschwënn iwwer de Rescht. Och natierlech ginn et op der Konferenz Diskussiounszonen, wou et néideg ass, d'Spriecher mat Froen an engem oder e puer Threads ze testen, bis zum allgemenge Konsens erreecht gëtt.

Kreml Tierm an de Waffen vun Hydra: Konferenz iwwer parallel a verdeelt Computing Hydra 2020 zu Moskau
A wann Dir Gléck hutt, ënnerschreift de Martin Kleppmann Äert Buch.

Jo, virun der Hydra 2020 Konferenz, nämlech 6-9 Juli, gëtt et SPTDC 2020 - déi drëtt Summerschoul iwwer d'Theorie an d'Praxis vum verdeelte Informatik. Et wäert Iech Sensatiounen ginn, déi schwéier op enger Konferenz ze kréien, also wäerte mir iwwer d'Schoul an engem separaten Post schwätzen.

Waat elo? Als éischt, befollegt d'Noriichten op Habré an op sozialen Netzwierker (Facebook, Vkontakte, Twitter).

Zweetens, wann Dir schonn en irresistible Wonsch fillt op der Konferenz deelzehuelen, entdeckt d'Websäit, Dir kënnt et scho maachen kafen Ticketen.

Drëttens, verpasst net d'Geleeënheet fir mam Hydra 2020 Konferenzprogramm Comité an de Kommentaren ze chatten. PC Memberen wäerten frou mat Iech iwwer zukünfteg Konferenz Themen ze schwätzen.

Bis zu Hydra!

Source: will.com

Setzt e Commentaire