Kremlo-turoj en la brakoj de Hidro: konferenco pri paralela kaj distribuita komputado Hydra 2020 en Moskvo

Pasintjare en Peterburgo estis unua Hydra konferenco, dediĉita al paralelaj kaj distribuitaj sistemoj. Premiitoj faris prezentojn Dijkstra Premioj и Turing-premioj (Leslie Lampport, Maurice Herlihy и Michael Scott), kreintoj de kompililoj kaj programlingvoj (C++, Go, Java, Kotlin), programistoj de distribuitaj datumbazoj (Cassandra, CosmosDB, Yandex Database), same kiel kreintoj kaj esploristoj de algoritmoj kaj datumstrukturoj (CRDT, Paxos, atendu). -liberaj datumstrukturoj). Ĝenerale, ĉe ĉi tiu punkto vi jam povas preni feriojn, minimumigi la IDE-fenestron, malfermi ludliston en Jutubo per la plej bonaj raportoj Hydra 2019 - kaj lasu la taskoplanilon atendi iomete.

Ĝenerale tia konferenco neniam okazis, kaj nun ĝi denove okazos. Denove kun raportoj en la angla, ĉar ne ekzistas pli bona lingvo por paroli pri paralela kaj distribuita komputado. Denove somere, la 10-an kaj 11-an de julio, ĉar la prelegantoj havas tempon por esplori kaj instrui, ekzemple, en la universitatoj de Kembriĝo, Roĉestro kaj Sankt-Peterburgo, kaj aliaj tempoj de la jaro ne estas por ili.

Tamen ĉi-foje Hydra okazos en Moskvo, kie la plej multaj el la konferencaj partoprenantoj venis pasintjare por aŭskulti raportojn pri distribuita konsento kaj transakcia memoro. La nova Hydra prezentas pli komplikan programon, novajn parolantojn kune kun la herooj de la pasinta jaro, kaj ankaŭ la jam konatan senton de la ekscito de paralela hardcore distribuita inter la partoprenantoj en tri salonoj.

Kremlo-turoj en la brakoj de Hidro: konferenco pri paralela kaj distribuita komputado Hydra 2020 en Moskvo


Ni tuj metu karton sur la tablon kun la bizancaj generaloj supren - ni volas, ke la programo de la nova Hidro estu pli detala kaj varia. Lastan fojon ni gratis per ungo, nun ni fosu pli larĝe kaj profunde. Jen la temoj de Hydra 2020 kun diferenco rilate al la pasinta jaro:

  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

Kiel paroli pri ĉio ĉi en la programo de unu konferenco? Certe ne estas pli simpla ol provi la liniigeblecon de operacioj sur brila nova distribuita vendejo uzante Jepsen, sed ni provos.

Jen kiu jam estas en la programo:

Kremlo-turoj en la brakoj de Hidro: konferenco pri paralela kaj distribuita komputado Hydra 2020 en MoskvoCindy Sridharan (Cindy Sridharan) - distribuita sistemprogramisto de San Francisco, verkinto de mallonga libro Observeblo de Distribuitaj Sistemoj (prenu senpaga elektronika kopio) kaj populara blogo, kie estas nur unu artikolo "Plej bona de 2019 en Tech Talks"povas savi vin de kelkaj libertagoj, sed lasi vin feliĉa. Ĉe Hydra 2020, Cindy rakontos al vi kiel testi distribuitajn sistemojn, eĉ se ili konservas staton.


Kremlo-turoj en la brakoj de Hidro: konferenco pri paralela kaj distribuita komputado Hydra 2020 en MoskvoMichael Scott (Michael Scott) - esploristo de Universitato de Rochester, konata al ĉiuj Java programistoj kiel la kreinto de ne-blokaj algoritmoj kaj sinkronaj vostoj de la Java Norma Biblioteko. Kompreneble, kun la Dijkstra Premio por “Algoritmoj por skalebla sinkronigo sur komunaj memoraj multprocesoroj"kaj propra Vikipedia paĝo. Pasintjare, Mikaelo donis la plej bonan (laŭ vi) raporton pri Hydra pri duoblaj datumstrukturoj, kaj nun li parolos pri projekto Hodor и sekura laboro kun komuna memoro, havebla al paralelaj procezoj.


Kremlo-turoj en la brakoj de Hidro: konferenco pri paralela kaj distribuita komputado Hydra 2020 en MoskvoHeidi Howard (Heidi Howard) - esploristo el Universitato de Kembriĝo, konata pro kreado de distribuita konsenta algoritmo Fleksebla Paxos, same kiel laboro pri ĝeneraligo de Flexible Paxos kaj Rapida Paxos. Pasintjare, Heidi rakontis kiel ĝi funkcias kaj funkcias Paxos-familio de algoritmoj (unu el la plej bonaj raportoj), kaj nun mi provos marŝi sur maldika glacio inter Paxos-amantoj kaj Raft-subtenantoj — kaj dividu lian opinion pri kiu algoritmo estas pli bona.


Kremlo-turoj en la brakoj de Hidro: konferenco pri paralela kaj distribuita komputado Hydra 2020 en MoskvoMartin Kleppmann (Martin Kleppmann) estas eble eĉ pli fama esploristo de la Universitato de Kembriĝo, kaj iama programisto de grandaj datumsistemoj, kiu skribis surprize klaran kaj tial unikan libron pri distribuitaj sistemoj "Desegni Datum-intensajn Aplikojn" Pasintjare Martin konigis la rezultojn de ilia CRDT-esplorado, kaj kion ni rakontos al vi nun ni anoncos poste.


Kremlo-turoj en la brakoj de Hidro: konferenco pri paralela kaj distribuita komputado Hydra 2020 en MoskvoNikita Koval (Nikita Koval) estas korutina programisto en la Kotlin-teamo, instruisto de kurso pri plurfadena programado ĉe ITMO, kaj membro de la programa komitato de la Hydra-konferenco (jes, tiu ĉi artikolo mem temas). Pasintjare Nikita parolis pri testado de multfadenaj datumstrukturoj sur la JVM-platformo uzante Lin-Check, kaj ĉe Hidro 2020 li diros pri SegmentQueueSynchronizer - kontrolita uzante Iriso kadro por pruvanto Coq abstraktado por programado de sinkronigaj primitivuloj.


Sekvu niajn nesinkronajn anoncojn: entute estos ĉirkaŭ tri dekduoj da raportoj ĉe la konferenco, ni rakontos al vi pri la resto baldaŭ. Ankaŭ, kompreneble, ĉe la konferenco estos diskutzonoj, kie necesas testi la parolantojn per demandoj en unu aŭ pluraj fadenoj ĝis atingo de ĝenerala konsento.

Kremlo-turoj en la brakoj de Hidro: konferenco pri paralela kaj distribuita komputado Hydra 2020 en Moskvo
Kaj se vi bonŝancas, Martin Kleppmann subskribos vian libron.

Jes, antaŭ la konferenco Hydra 2020, nome 6-9 julio, estos SPTDC 2020 — la tria somerlernejo pri la teorio kaj praktiko de distribuita komputado. Ĝi donos al vi sentojn malfacile akireblajn ĉe konferenco, do ni parolos pri la Lernejo en aparta afiŝo.

Kio nun? Unue, sekvu la novaĵojn ĉe Habré kaj en sociaj retoj (Facebook, Вконтакте, Twitter).

Due, se vi jam sentas nerezisteblan deziron ĉeesti la konferencon, esploru la retejon, vi jam povas aĉeti biletojn.

Trie, ne maltrafu la ŝancon babili kun la komitato pri konferenca programo Hydra 2020 en la komentoj. Komputilaj membroj volonte parolos kun vi pri estontaj konferencaj temoj.

Ĝis revido ĉe Hydra!

fonto: www.habr.com

Aldoni komenton