Gwo fò tou won Kremlin nan bra Hydra: konferans sou enfòmatik paralèl ak distribiye Hydra 2020 nan Moskou

Ane pase a nan Saint Petersburg te gen premye konferans Hydra, dedye a sistèm paralèl ak distribye. Loreya yo te fè prezantasyon Dijkstra Prizes и Prim Turing (Leslie Lampport, Maurice Herlihy и Michael Scott), kreyatè konpilatè ak langaj pwogramasyon (C++, Go, Java, Kotlin), devlopè baz done distribiye (Cassandra, CosmosDB, Yandex Database), osi byen ke kreyatè ak chèchè nan algoritm ak estrikti done (CRDT, Paxos, tann -gratis estrikti done). An jeneral, nan pwen sa a ou ka deja pran yon vakans, minimize fenèt IDE a, louvri yon playlist sou YouTube ak pi bon rapò yo Hydra 2019 - epi kite pwogramasyon travay la tann yon ti kras.

An jeneral, yon konferans konsa pa janm rive, e kounye a, li pral rive ankò. Ankò ak rapò nan lang angle, paske pa gen pi bon lang pou pale sou paralèl ak distribye informatique. Ankò nan ete a, 10 ak 11 jiyè, paske oratè yo gen tan fè rechèch ak anseye, pou egzanp, nan inivèsite yo nan Cambridge, Rochester ak St Petersburg, ak lòt moman nan ane a pa pou yo.

Sepandan, tan sa a Hydra pral fèt nan Moskou, kote pifò nan patisipan yo konferans te vini ane pase a pou koute rapò sou konsansis distribiye ak memwa tranzaksyon. Nouvo Hydra a gen yon pwogram ki pi konplike, nouvo oratè ansanm ak ewo yo nan ane pase a, osi byen ke santi a deja abitye nan eksitasyon an nan paralèl Hardcore distribye nan mitan patisipan yo nan twa koulwa.

An nou imedyatman mete yon pil kat sou tab la ak jeneral Bizanten yo fè fas a - nou vle nouvo pwogram Hydra a pi detaye ak varye. Dènye fwa nou te grate ak yon zong, kounye a ann fouye pi laj ak pi fon. Men tèm Hydra 2020 yo ak yon diferans parapò ak ane pase a:

  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


Ki jan yo pale sou tout sa a nan pwogram nan nan yon konferans? Li sètènman pa pi senp pase tès linearizabilite operasyon yo sou yon nouvo magazen distribye klere lè l sèvi avèk Jepsen, men nou pral eseye.

Men kiyès ki deja nan pwogram nan:

Cindy Sridharan (Cindy Sridharan) - distribye pwomotè sistèm nan San Francisco, otè yon liv kout Obsèvabilite sistèm distribiye (pran kopi elektwonik gratis) ak popilè pòs blog la, kote gen yon sèl atik "Pi bon nan 2019 nan Tech Talks"ka sove ou nan yon koup de jou konje, men kite ou kontan. Nan Hydra 2020, Cindy pral di w kouman tès distribiye sistèm yo, menm si yo magazen eta.


Michael Scott (Michael Scott) - chèchè soti nan Inivèsite Rochester, li te ye nan tout devlopè Java kòm kreyatè a algoritm ki pa bloke ak ke moun kap kriye synchrone soti nan bibliyotèk estanda Java. Natirèlman, ak Pri Dijkstra pou "Algoritm pou senkronizasyon évolutive sou multiprosesè memwa pataje"ak pwòp Paj Wikipedia. Ane pase a, Michael te bay pi bon (dapre ou) rapò sou Hydra sou estrikti done doub, epi kounye a li pral pale sou pwojè Hodor и travay san danje ak memwa pataje, disponib nan pwosesis paralèl.


Heidi Howard (Heidi Howard) - chèchè nan University of Cambridge, li te ye pou kreye yon algorithm konsansis distribiye Paxos fleksib, osi byen ke travay sou jeneralize Flexible Paxos ak Paxos vit. Ane pase a, Heidi te di kijan li fonksyone ak travay Paxos fanmi algorithms (youn nan pi bon rapò), epi kounye a mwen pral eseye mache sou glas mens ant Paxos rayisab ak sipòtè Raft — epi pataje opinyon li sou ki algorithm ki pi bon.


Martin Kleppmann (Martin Kleppmann) se petèt yon chèchè menm pi popilè nan University of Cambridge, ak yon ansyen pwomotè gwo sistèm done, ki moun ki te ekri yon liv etonan klè ak Se poutèt sa inik sou sistèm distribiye "Designing done-entansif aplikasyon" Ane pase Martin pataje rezilta yo nan rechèch CRDT yo, ak sa nou pral di w kounye a nou pral anonse pita.


Nikita Koval (Nikita Koval) se yon devlopè koroutin nan ekip Kotlin, yon pwofesè nan yon kou sou pwogram milti-threaded nan ITMO, ak yon manm nan komite pwogram nan konferans Hydra la (wi, atik sa a se sou). Ane pase a Nikita te pale sou tès estrikti done milti-threaded sou platfòm JVM lè l sèvi avèk Lin-Tcheke, ak nan Hydra 2020 li ap di sou SegmentQueueSynchronizer - verifye lè l sèvi avèk Iris kad pou prouve Coq abstraksyon pou pwogram senkronizasyon primitif.


Swiv anons asynchrone nou yo: an total pral gen apeprè twa douzèn rapò nan konferans lan, nou pral di w sou rès la byento. Epitou, nan konferans lan pral gen zòn diskisyon kote li nesesè teste oratè yo ak kesyon nan youn oswa plizyè fil jiskaske yo rive nan yon konsansis jeneral.

Men, si w gen chans, Martin Kleppmann ap siyen liv ou a.

Wi, anvan konferans Hydra 2020, sètadi 6-9 jiyè, pral genyen SPTDC 2020 — twazyèm lekòl ete sou teyori ak pratik distribye informatique. Li pral ba ou sansasyon ki difisil pou jwenn nan yon konferans, kidonk nou pral pale sou Lekòl la nan yon pòs apa.

Ki sa ki kounye a? Premyèman, swiv nouvèl yo sou Habré ak sou rezo sosyal yo (Facebook, Vkontakte, Twitter).

Dezyèmman, si ou deja santi yon dezi irézistibl ale nan konferans lan, eksplore sit entènèt la, ou kapab deja achte tikè.

Twazyèmman, pa rate opòtinite pou pale ak komite pwogram konferans Hydra 2020 la nan kòmantè yo. Manm PC yo pral kontan pale avèk ou sou sijè pwochen konferans yo.

Na wè nan Hydra!

Sous: www.habr.com