Kremlin torings in die arms van Hydra: konferensie oor parallelle en verspreide rekenaar Hydra 2020 in Moskou

Verlede jaar in St Petersburg was daar eerste Hydra-konferensie, toegewy aan parallelle en verspreide stelsels. Bekroondes het aanbiedings gedoen Dijkstra-pryse и Turing-toekennings (Leslie Lamport, Maurice Herlihy и Michael Scott), skeppers van samestellers en programmeertale (C++, Go, Java, Kotlin), ontwikkelaars van verspreide databasisse (Cassandra, CosmosDB, Yandex Database), sowel as skeppers en navorsers van algoritmes en datastrukture (CRDT, Paxos, wag -vrye datastrukture). Oor die algemeen kan jy op hierdie stadium reeds 'n vakansie neem, die IDE-venster minimaliseer, 'n snitlys op YouTube oopmaak met die beste verslae Hydra 2019 - en laat die taakskeduleerder 'n bietjie wag.

Oor die algemeen het so 'n konferensie nog nooit plaasgevind nie, en nou sal dit weer gebeur. Weereens met berigte in Engels, want daar is geen beter taal om oor parallelle en verspreide rekenaars te praat nie. Weer in die somer, 10 en 11 Julie, want die sprekers het tyd om navorsing te doen en te onderrig, byvoorbeeld by die universiteite van Cambridge, Rochester en St. Petersburg, en ander tye van die jaar is nie vir hulle nie.

Hydra sal egter hierdie keer in Moskou gehou word, waar die meeste van die konferensiedeelnemers verlede jaar gekom het om te luister na verslae oor verspreide konsensus en transaksionele geheue. Die nuwe Hydra beskik oor 'n meer ingewikkelde program, nuwe sprekers saam met die helde van verlede jaar, sowel as die reeds bekende gevoel van die opwinding van parallelle hardcore wat onder die deelnemers in drie sale versprei is.

Kremlin torings in die arms van Hydra: konferensie oor parallelle en verspreide rekenaar Hydra 2020 in Moskou


Kom ons sit dadelik 'n pak kaarte op die tafel met die Bisantynse generaals na bo - ons wil hê die nuwe Hydra se program moet meer gedetailleerd en gevarieerd wees. Laas toe ons met 'n vingernael gekrap het, kom ons grawe nou wyer en dieper. Hier is die Hydra 2020-temas met 'n verskil in verhouding tot verlede 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 om oor dit alles te praat in die program van een konferensie? Dit is beslis nie eenvoudiger as om die lineariseerbaarheid van bedrywighede op 'n blink nuwe verspreide winkel te toets met Jepsen, maar ons sal probeer.

Hier is wie reeds in die program is:

Kremlin torings in die arms van Hydra: konferensie oor parallelle en verspreide rekenaar Hydra 2020 in MoskouCindy Sridharan (Cindy Sridharan) - verspreide stelselontwikkelaar van San Francisco, skrywer van 'n kort boek Verspreide stelsels waarneembaarheid (neem gratis elektroniese kopie) en gewild blogpos, waar daar net een artikel is "Beste van 2019 in Tech Talks"kan jou red van 'n paar dae af, maar laat jou gelukkig. By Hydra 2020 sal Cindy jou vertel hoe toets verspreide stelsels, selfs al stoor hulle staat.


Kremlin torings in die arms van Hydra: konferensie oor parallelle en verspreide rekenaar Hydra 2020 in MoskouMichael Scott (Michael Scott) - navorser van Universiteit van Rochester, bekend aan alle Java-ontwikkelaars as die skepper van nie-blokkerende algoritmes en sinchrone toue van die Java Standard Library. Natuurlik, met die Dijkstra-prys vir “Algoritmes vir skaalbare sinchronisasie op multiverwerkers met gedeelde geheue"en eie Wikipedia-bladsy. Verlede jaar het Michael die beste (volgens jou) verslag oor Hydra op gelewer dubbele datastrukture, en nou sal hy praat oor projek Hodor и veilige werk met gedeelde geheue, beskikbaar vir parallelle prosesse.


Kremlin torings in die arms van Hydra: konferensie oor parallelle en verspreide rekenaar Hydra 2020 in MoskouHeidi Howard (Heidi Howard) - navorser van Universiteit van Cambridge, bekend vir die skep van 'n verspreide konsensus-algoritme Buigsame Paxos, asook werk aan die veralgemening van Buigsame Paxos en Vinnige Paxos. Verlede jaar het Heidi vertel hoe dit werk en werk Paxos familie van algoritmes (een van die beste verslae), en nou sal ek probeer om op dun ys tussenin te loop Paxos-liefhebbers en Raft-ondersteuners - en deel sy mening oor watter algoritme beter is.


Kremlin torings in die arms van Hydra: konferensie oor parallelle en verspreide rekenaar Hydra 2020 in MoskouMartin Kleppmann (Martin Kleppmann) is miskien 'n selfs meer bekende navorser van die Universiteit van Cambridge, en 'n voormalige ontwikkelaar van grootdatastelsels, wat 'n verbasend duidelike en dus unieke boek oor verspreide stelsels geskryf het.Ontwerp van data-intensiewe toepassings" Verlede jaar Martin het die resultate gedeel van hul CRDT-navorsing, en wat ons jou nou sal vertel ons sal later bekend maak.


Kremlin torings in die arms van Hydra: konferensie oor parallelle en verspreide rekenaar Hydra 2020 in MoskouNikita Koval (Nikita Koval) is 'n coroutine-ontwikkelaar op die Kotlin-span, 'n onderwyser van 'n kursus oor multi-threaded-programmering by ITMO, en 'n lid van die programkomitee van die Hydra-konferensie (ja, die einste een waaroor hierdie artikel handel). Verlede jaar het Nikita gepraat oor die toets van multi-draad datastrukture op die JVM-platform met behulp van Lin-Check, en by Hydra 2020 het hy sal vertel oor SegmentQueueSynchronizer - geverifieer met behulp van Iris raamwerk vir bewys Coq abstraksie vir programmering van sinchronisasie-primitiewe.


Volg ons asinchrone aankondigings: in totaal sal daar sowat drie dosyn verslae by die konferensie wees, ons sal jou binnekort van die res vertel. Ook sal daar natuurlik by die konferensie besprekingsones wees waar dit nodig is om die sprekers met vrae in een of meer drade te toets totdat 'n algemene konsensus bereik word.

Kremlin torings in die arms van Hydra: konferensie oor parallelle en verspreide rekenaar Hydra 2020 in Moskou
En as jy gelukkig is, teken Martin Kleppmann jou boek.

Ja, voor die Hydra 2020-konferensie, naamlik 6-9 Julie, sal daar wees SPTDC 2020 — die derde somerskool oor die teorie en praktyk van verspreide rekenaars. Dit sal jou sensasies gee wat moeilik is om by 'n konferensie te kry, daarom sal ons in 'n aparte pos oor die Skool praat.

Wat nou? Volg eerstens die nuus op Habré en op sosiale netwerke (Facebook, Vkontakte, Twitter).

Tweedens, as jy reeds 'n onweerstaanbare begeerte voel om die konferensie by te woon, verken die webwerf, jy kan reeds kaartjies koop.

Derdens, moenie die geleentheid mis om met die Hydra 2020-konferensieprogramkomitee in die kommentaar te gesels nie. PC-lede sal graag met jou praat oor toekomstige konferensie-onderwerpe.

Sien jou by Hydra!

Bron: will.com

Voeg 'n opmerking