ProHoster > Blog > administratë > Kullat e Kremlinit në krahët e Hidrës: konferencë mbi llogaritjen paralele dhe të shpërndarë Hydra 2020 në Moskë
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.
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:
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.
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.
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.
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ë.
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.