Kullat e Kremlinit në krahët e Hidrës: konferencë mbi llogaritjen paralele dhe të shpërndarë Hydra 2020 në Moskë

Vitin e kaluar në Shën Petersburg kishte Konferenca e parë e Hidrës, dedikuar sistemeve paralele dhe të shpërndara. Laureatët bënë prezantime Çmimet Dijkstra и Çmimet Turing (Leslie Lamport, Maurice Herlihy и Michael Scott), krijuesit e përpiluesve dhe gjuhëve programuese (C++, Go, Java, Kotlin), zhvilluesit e bazave të të dhënave të shpërndara (Cassandra, CosmosDB, Yandex Database), si dhe krijuesit dhe studiuesit e algoritmeve dhe strukturave të të dhënave (CRDT, Paxos, prisni -Strukturat e të dhënave pa pagesë) . Në përgjithësi, në këtë pikë ju tashmë mund të bëni një pushim, të minimizoni dritaren IDE, të hapni një listë dëgjimi në YouTube me raportet më të mira Hydra 2019 - dhe lëreni programuesin e detyrave të presë pak.

Në përgjithësi, një konferencë e tillë nuk ka ndodhur kurrë dhe tani do të ndodhë përsëri. Përsëri me raporte në anglisht, sepse nuk ka gjuhë më të mirë për të folur për llogaritjen paralele dhe të shpërndarë. Përsëri në verë, 10 dhe 11 korrik, sepse folësit kanë kohë të hulumtojnë dhe japin mësim, për shembull, në universitetet e Kembrixhit, Roçesterit dhe Shën Petersburgut, dhe periudhat e tjera të vitit nuk janë për ta.

Megjithatë, këtë herë Hydra do të mbahet në Moskë, ku shumica e pjesëmarrësve të konferencës erdhën vitin e kaluar për të dëgjuar raporte mbi konsensusin e shpërndarë dhe kujtesën transaksionale. Hydra e re përmban një program më të ndërlikuar, folës të rinj së bashku me heronjtë e vitit të kaluar, si dhe ndjenjën tashmë të njohur të eksitimit të hardcore paralele të shpërndarë midis pjesëmarrësve në tre salla.

Kullat e Kremlinit në krahët e Hidrës: konferencë mbi llogaritjen paralele dhe të shpërndarë Hydra 2020 në Moskë


Le të vendosim menjëherë një kuvertë letrash në tryezë me gjeneralët bizantinë përballë - ne duam që programi i ri i Hidrës të jetë më i detajuar dhe i larmishëm. Herën e fundit që gërvishtëm me thonj, tani le të gërmojmë më gjerë dhe më thellë. Këtu janë temat Hydra 2020 me një ndryshim në krahasim me vitin e kaluar:

  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

Si të flasim për të gjitha këto në programin e një konference? Sigurisht që nuk është më e thjeshtë sesa testimi i linearizimit të operacioneve në një dyqan të ri me shkëlqim të shpërndarë duke përdorur Jepsen, por ne do të përpiqemi.

Ja kush është tashmë në program:

Kullat e Kremlinit në krahët e Hidrës: konferencë mbi llogaritjen paralele dhe të shpërndarë Hydra 2020 në MoskëCindy Sridharan (Cindy Sridharan) - zhvillues i sistemeve të shpërndara nga San Francisko, autor i një libri të shkurtër Vëzhgueshmëria e Sistemeve të Shpërndara (merr kopje elektronike falas) dhe popullore blog, ku ka vetëm një artikull "Më të mirat e 2019-ës në Bisedimet Tech"Mund t'ju shpëtojë nga disa ditë pushimi, por ju lë të lumtur. Në Hydra 2020, Cindy do t'ju tregojë se si testoni sistemet e shpërndara, edhe nëse ato ruajnë gjendjen.


Kullat e Kremlinit në krahët e Hidrës: konferencë mbi llogaritjen paralele dhe të shpërndarë Hydra 2020 në MoskëMichael Scott (Michael Scott) - studiues nga Universiteti i Rochester, i njohur për të gjithë zhvilluesit e Java si krijuesi i algoritme jo bllokuese dhe rradhë sinkrone nga Biblioteka Standarde Java. Sigurisht, me çmimin Dijkstra për "Algoritme për sinkronizim të shkallëzuar në multiprocesorët me memorie të përbashkët"dhe vet Faqja e Wikipedias. Vitin e kaluar, Michael dha raportin më të mirë (sipas jush) për Hydra on strukturat e dyfishta të të dhënave, dhe tani ai do të flasë për projekti Hodor и punë e sigurt me memorie të përbashkët, në dispozicion të proceseve paralele.


Kullat e Kremlinit në krahët e Hidrës: konferencë mbi llogaritjen paralele dhe të shpërndarë Hydra 2020 në MoskëHeidi Howard (Heidi Howard) - studiues nga Universiteti i Kembrixhit, i njohur për krijimin e një algoritmi të konsensusit të shpërndarë Paxos fleksibël, si dhe puna për përgjithësimin e Paxos Flexible dhe Paxos të shpejtë. Vitin e kaluar, Heidi tregoi se si funksionon dhe funksionon Familja e algoritmeve Paxos (një nga raportet më të mira), dhe tani do të përpiqem të eci në akull të hollë në mes Dashamirët e Paxos dhe mbështetësit e Raft — dhe ndani mendimin e tij se cili algoritëm është më i mirë.


Kullat e Kremlinit në krahët e Hidrës: konferencë mbi llogaritjen paralele dhe të shpërndarë Hydra 2020 në MoskëMartin Kleppmann (Martin Kleppmann) është ndoshta një studiues edhe më i famshëm nga Universiteti i Kembrixhit dhe një ish-zhvillues i sistemeve të të dhënave të mëdha, i cili shkroi një libër çuditërisht të qartë dhe për këtë arsye unik mbi sistemet e shpërndara "Projektimi i aplikacioneve me të dhëna intensive" Vitin e kaluar Martin ndau rezultatet të hulumtimit të tyre CRDT, dhe çfarë do t'ju tregojmë tani do ta njoftojme me vone.


Kullat e Kremlinit në krahët e Hidrës: konferencë mbi llogaritjen paralele dhe të shpërndarë Hydra 2020 në MoskëNikita Koval (Nikita Koval) është një zhvilluese e korutinës në ekipin Kotlin, një mësuese e një kursi mbi programimin me shumë fije në ITMO dhe një anëtar i komitetit të programit të konferencës Hydra (po, pikërisht për të cilin bëhet fjalë ky artikull). Vitin e kaluar Nikita foli për testimin e strukturave të të dhënave me shumë fije në platformën JVM duke përdorur Lin-Check, dhe në Hidra 2020 ai do ta tregoj rreth SegmentQueueSynchronizer - verifikuar duke përdorur Korniza e irisit për prover Coq abstraksioni për programimin e primitiveve të sinkronizimit.


Ndiqni njoftimet tona asinkrone: në total do të ketë rreth tre duzina raporte në konferencë, ne do t'ju tregojmë për pjesën tjetër së shpejti. Gjithashtu, natyrisht, në konferencë do të ketë zona diskutimi ku është e nevojshme të testohen folësit me pyetje në një ose disa tema derisa të arrihet një konsensus i përgjithshëm.

Kullat e Kremlinit në krahët e Hidrës: konferencë mbi llogaritjen paralele dhe të shpërndarë Hydra 2020 në Moskë
Dhe nëse jeni me fat, Martin Kleppmann do të nënshkruajë librin tuaj.

Po, para konferencës Hydra 2020, përkatësisht 6-9 korrik, do të ketë SPTDC 2020 — Shkolla e tretë verore mbi teorinë dhe praktikën e informatikës së shpërndarë. Do t'ju japë ndjesi që janë të vështira për t'u marrë në një konferencë, kështu që ne do të flasim për Shkollën në një postim të veçantë.

Po tani? Së pari, ndiqni lajmet në Habré dhe në rrjetet sociale (Facebook, Vkontakte, Twitter).

Së dyti, nëse tashmë ndjeni një dëshirë të parezistueshme për të marrë pjesë në konferencë, eksploroni faqen e internetit, tashmë mundeni blej bileta.

Së treti, mos e humbisni mundësinë për të biseduar me komitetin e programit të konferencës Hydra 2020 në komente. Anëtarët e PC-së do të jenë të lumtur të flasin me ju për temat e konferencës së ardhshme.

Shihemi në Hidra!

Burimi: www.habr.com

Shto një koment