Kremlin dorreak Hydraren besoetan: konputazio paralelo eta banatuari buruzko hitzaldia Hydra 2020 Moskun

Iaz San Petersburgon egon zen lehen Hydra konferentzia, sistema paraleloei eta banatuei eskainia. Saridunek aurkezpenak egin zituzten Dijkstra Sariak ΠΈ Turing sariak (Leslie Lampport, Maurice Herlihy ΠΈ Michael Scott), konpilatzaile eta programazio lengoaien sortzaileak (C++, Go, Java, Kotlin), datu-base banatuen garatzaileak (Cassandra, CosmosDB, Yandex Database), baita algoritmoen eta datu-egituren sortzaile eta ikertzaileak (CRDT, Paxos, itxaron). -Doako datu-egiturak) . Oro har, momentu honetan dagoeneko oporrak har ditzakezu, IDE leihoa minimizatu, YouTube-n erreprodukzio-zerrenda bat ireki dezakezu. erreportaje onenak Hydra 2019 - eta utzi zereginen programatzailea apur bat itxaron.

Oro har, ez da inoiz halako konferentziarik gertatu, eta orain berriro gertatuko da. Berriz ere ingelesezko txostenekin, ez baitago hizkuntza hoberik konputazio paralelo eta banatuari buruz hitz egiteko. Udan berriz, uztailaren 10ean eta 11n, hizlariek ikertzeko eta irakasteko denbora baitute, adibidez, Cambridge, Rochester eta San Petersburgoko unibertsitateetan, eta urteko beste garai batzuk ez dira beraientzat.

Hala ere, oraingoan Hydra Moskun ospatuko da, non biltzarreko parte-hartzaile gehienak iaz etorri ziren adostasun banatuari eta memoria transakzionalari buruzko txostenak entzutera. Hydra berriak egitarau korapilatsuagoa du, hizlari berriak iazko heroiekin batera, baita parte-hartzaileen artean hiru aretoetan banatutako hardcore paraleloaren zirrararen sentsazio ezaguna ere.

Kremlin dorreak Hydraren besoetan: konputazio paralelo eta banatuari buruzko hitzaldia Hydra 2020 Moskun


Jar dezagun berehala karta-sorta bat mahai gainean bizantziar jeneralak begira jarrita - Hydraren programa berria zehatzagoa eta anitzagoa izatea nahi dugu. Azken aldian azazkal batekin urratu genuen, orain zula gaitezen zabalago eta sakonago. Hona hemen Hydra 2020ko gaiak iazkoarekin alderatuta:

  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

Nola hitz egin horretaz guztia hitzaldi baten egitarauan? Zalantzarik gabe, ez da errazagoa denda banatu distiratsu berri batean eragiketen linealizagarritasuna probatzea baino. Jepsen, baina saiatuko gara.

Hona hemen nor den dagoeneko programan:

Kremlin dorreak Hydraren besoetan: konputazio paralelo eta banatuari buruzko hitzaldia Hydra 2020 MoskunCindy Sridharan (Cindy Sridharan) - San Frantziskoko sistema banatuen garatzailea, liburu labur baten egilea Sistema banatuen behagarritasuna (hartu doako kopia elektronikoa) eta herrikoia blog post, non artikulu bakarra dagoen "2019ko onena Tech Talks-en"Pare bat egun atsedenetatik salba dezakezu, baina pozik utzi zaitu. Hydra 2020-n, Cindyk nola esango dizu proba banatutako sistemak, egoera gordetzen badute ere.


Kremlin dorreak Hydraren besoetan: konputazio paralelo eta banatuari buruzko hitzaldia Hydra 2020 MoskunMichael Scott (Michael Scott) - ikertzailea Rochesterko Unibertsitatea, Java garatzaile guztiek sortzaile gisa ezagutzen dute blokeatzen ez diren algoritmoak eta ilara sinkronoak Java Standard Library-tik. Jakina, Dijkstra sariarekin β€œMemoria partekatuko multiprozesadoreetan sinkronizazio eskalagarrirako algoritmoak"eta propioa Wikipedia orria. Iaz, Michael-ek Hydra on-ri buruzko erreportaje onena (zuen arabera) eman zuen datu-egitura bikoitzak, eta orain buruz hitz egingo du Hodor proiektua ΠΈ memoria partekatuarekin lan segurua, prozesu paraleloetarako eskuragarri.


Kremlin dorreak Hydraren besoetan: konputazio paralelo eta banatuari buruzko hitzaldia Hydra 2020 MoskunHeidi Howard (Heidi Howard) - ikertzailea - Cambridgeko Unibertsitatea, adostasun banatuko algoritmo bat sortzeagatik ezaguna Paxo malguak, baita Paxo Malguak orokortzeko lana eta Paxos azkarrak. Iaz, Heidik nola funtzionatzen duen eta nola funtzionatzen duen kontatu zuen Paxos algoritmoen familia (erreportaje onenetako bat), eta orain saiatuko naiz artean izotz mehean ibiltzen Paxos zaleak eta Raft aldekoak β€” eta partekatu bere iritzia zein den hobea den algoritmoari buruz.


Kremlin dorreak Hydraren besoetan: konputazio paralelo eta banatuari buruzko hitzaldia Hydra 2020 MoskunMartin Kleppmann (Martin Kleppmann) agian Cambridgeko Unibertsitateko ikertzaile are famatuagoa da, eta big data sistemen garatzaile ohia, sistema banatuei buruzko liburu harrigarri argia eta, beraz, bakarra idatzi duena.Datu-intentsiboko aplikazioak diseinatzea" Iaz Martin emaitzak partekatu ditu beren CRDT ikerketa, eta orain kontatuko dizueguna aurrerago iragarriko dugu.


Kremlin dorreak Hydraren besoetan: konputazio paralelo eta banatuari buruzko hitzaldia Hydra 2020 MoskunNikita Koval (Nikita Koval) Kotlin taldeko garatzaile garatzaile bat da, ITMOko hari anitzeko programazioari buruzko ikastaro bateko irakaslea eta Hydra konferentziako programa-batzordeko kidea (bai, artikulu hau berari buruz). Iaz Nikitak JVM plataforman hari anitzeko datu-egiturak probatzeari buruz hitz egin zuen Lin-Check, eta Hydra 2020n zuen esango SegmentQueueSynchronizer-i buruz - erabiliz egiaztatua Iris esparrua egiteko frogatzailea Coq sinkronizazio primitiboak programatzeko abstrakzioa.


Jarraitu gure iragarki asinkronoak: guztira hiru dozena bat txosten izango dira hitzaldian, gainerakoen berri laster emango dizuegu. Era berean, noski, hitzaldian eztabaida guneak egongo dira, non hizlariei galderak hari batean edo hainbatetan probatu behar diren adostasun orokor bat lortu arte.

Kremlin dorreak Hydraren besoetan: konputazio paralelo eta banatuari buruzko hitzaldia Hydra 2020 Moskun
Eta zortea baduzu, Martin Kleppmann-ek zure liburua sinatuko du.

Bai, Hydra 2020 konferentziaren aurretik, hots, uztailaren 6tik 9ra, egongo da SPTDC 2020 β€” Informatika banatuaren teoria eta praktikari buruzko hirugarren udako eskola. Hitzaldi batean lortzea zailak diren sentsazioak emango dizkizu, beraz, Eskolari buruz aparteko post batean hitz egingo dugu.

Orain zer? Lehenik eta behin, jarraitu HabrΓ©-n eta sare sozialetan albisteak (Facebook, Vkontakte, Twitter).

Bigarrenik, dagoeneko konferentziara joateko gogo ezinezkoa sentitzen baduzu, arakatu webgunea, dagoeneko egin dezakezu txartelak erostea.

Hirugarrenik, ez galdu Hydra 2020 kongresuen programaren batzordearekin hitz egiteko aukera iruzkinetan. PCko kideak pozik egongo dira zurekin hitz egiteko etorkizuneko kongresuaren gaiei buruz.

Hydran ikusiko gara!

Iturria: www.habr.com

Gehitu iruzkin berria