Kremlin yees nyob rau hauv caj npab ntawm Hydra: lub rooj sib tham ntawm parallel thiab faib xam Hydra 2020 hauv Moscow

Xyoo tas los hauv St. Petersburg muaj thawj lub rooj sib tham Hydra, mob siab rau rau parallel thiab faib tshuab. Laureates tau nthuav tawm Dijkstra nqi zog и Turing khoom plig (Leslie Lamport, Maurice Herlihy и Michael Scott), tus tsim ntawm compilers thiab programming lus (C++, Go, Java, Kotlin), cov neeg tsim khoom ntawm cov ntaub ntawv faib (Cassandra, CosmosDB, Yandex Database), nrog rau cov tsim thiab cov kws tshawb fawb ntawm algorithms thiab cov qauv ntaub ntawv (CRDT, Paxos, tos. -dawb cov ntaub ntawv qauv). Feem ntau, ntawm lub sijhawm no koj tuaj yeem so so, txo qis IDE qhov rai, qhib ib daim ntawv teev npe hauv YouTube nrog cov ntaub ntawv zoo tshaj plaws Hydra 2019 - thiab cia tus neeg ua haujlwm teem sijhawm tos me ntsis.

Feem ntau, kev sib tham zoo li no yeej tsis tau tshwm sim, thiab tam sim no nws yuav tshwm sim dua. Ib zaug ntxiv nrog cov lus ceeb toom ua lus Askiv, vim tias tsis muaj lus zoo dua los tham txog kev sib luag thiab kev faib xam. Ib zaug ntxiv nyob rau lub caij ntuj sov, Lub Xya Hli 10 thiab 11th, vim hais tias cov neeg hais lus muaj sij hawm los tshawb fawb thiab qhia, piv txwv li, hauv cov tsev kawm qib siab hauv Cambridge, Rochester thiab St. Petersburg, thiab lwm lub sijhawm ntawm lub xyoo tsis yog rau lawv.

Txawm li cas los xij, lub sijhawm no Hydra yuav muaj nyob hauv Moscow, qhov twg feem ntau ntawm cov neeg tuaj koom lub rooj sab laj tuaj xyoo tas los los mloog cov lus ceeb toom ntawm kev pom zoo sib faib thiab kev nco txog kev hloov pauv. Hydra tshiab nta ib qho kev pab cuam ntau dua, cov neeg hais lus tshiab nrog rau cov phab ej ntawm xyoo tas los, nrog rau cov kev paub dhau los ntawm kev zoo siab ntawm kev sib tw hardcore faib ntawm cov neeg koom hauv peb chav.

Cia tam sim ntawd muab ib lub lawj ntawm daim npav rau ntawm lub rooj nrog Byzantine cov thawj coj ntsib - peb xav kom Hydra qhov kev pabcuam tshiab kom ntxaws thiab ntau yam. Lub sijhawm dhau los peb khawb nrog tus ntiv tes, tam sim no cia peb khawb qhov dav thiab tob dua. Nov yog cov ntsiab lus Hydra 2020 nrog qhov sib txawv ntawm tus txheeb ze rau xyoo tas los:

  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


Yuav ua li cas tham txog txhua yam no hauv qhov kev pab cuam ntawm ib lub rooj sab laj? Nws yeej tsis yooj yim dua li kev sim cov linearizability ntawm kev ua haujlwm ntawm lub khw muag khoom ci tshiab siv Jepsen, tab sis peb yuav sim.

Ntawm no yog leej twg twb nyob rau hauv qhov kev pab cuam:

Cindy Sridharan (Cindy Sridharan) - tus tsim tawm cov txheej txheem faib los ntawm San Francisco, tus sau phau ntawv luv Distributed Systems Observability (noj pub dawb hauv hluav taws xob) thiab nrov blog ncej, qhov twg tsuas muaj ib tsab xov xwm "Qhov zoo tshaj plaws ntawm 2019 hauv Tech Talks" tuaj yeem cawm koj ntawm ob peb hnub so, tab sis cia koj zoo siab. Ntawm Hydra 2020, Cindy yuav qhia koj li cas xeem faib systems, txawm tias lawv khaws lub xeev.


Michael Scott (Michael Scott) - tus kws tshawb fawb los ntawm University of Rochester, paub rau txhua tus neeg tsim tawm Java ua tus tsim non-blocking algorithms thiab synchronous queues los ntawm Java Standard Library. Tau kawg, nrog Dijkstra nqi zog rau "Algorithms rau scalable synchronization ntawm kev sib koom-nco multiprocessors"thiab tus kheej Wikipedia nplooj. Xyoo tas los, Michael tau muab qhov zoo tshaj plaws (raws li koj) tshaj tawm ntawm Hydra rau dual cov ntaub ntawv qauv, thiab tam sim no nws yuav tham txog project Hodor и kev nyab xeeb ua haujlwm nrog kev nco sib koom, muaj rau cov txheej txheem sib luag.


Heidi Howard (Heidi Howard) - tus kws tshawb fawb los ntawm University of Cambridge, paub txog kev tsim ib qho kev pom zoo algorithm Hloov Paxos, nrog rau kev ua haujlwm ntawm generalizing Flexible Paxos thiab Fast Paxos. Xyoo tas los, Heidi tau hais tias nws ua haujlwm thiab ua haujlwm li cas Paxos tsev neeg ntawm algorithms (ib qho ntawm cov ntawv ceeb toom zoo tshaj plaws), thiab tam sim no kuv yuav sim taug kev ntawm cov dej khov nyias ntawm Paxos lovers thiab Raft cov neeg txhawb nqa - thiab qhia nws txoj kev xav txog qhov twg algorithm zoo dua.


Martin Kleppmann (Martin Kleppmann) tej zaum yog ib tus kws tshawb fawb nto moo tshaj plaws los ntawm University of Cambridge, thiab yav dhau los tus tsim tawm ntawm cov ntaub ntawv loj, uas tau sau ib qho kev xav tsis thoob thiab yog li ntawd cov phau ntawv tshwj xeeb ntawm kev faib khoom "Tsim cov ntaub ntawv-Intensive Applications" Xyoo tas los Martin qhia cov txiaj ntsig ntawm lawv cov kev tshawb fawb CRDT, thiab peb yuav qhia koj li cas tam sim no peb yuav tshaj tawm tom qab.


Nikita Koob (Nikita Koval) yog tus tsim tawm coroutine ntawm pab pawg Kotlin, tus kws qhia ntawv ntawm kev kawm ntawm ntau txoj xov xwm kev ua haujlwm ntawm ITMO, thiab ib tus tswv cuab ntawm pawg neeg pab cuam ntawm Hydra lub rooj sib tham (yog, qhov kawg ntawm tsab xov xwm no yog hais txog). Xyoo tas los Nikita tau tham txog kev sim ntau cov ntaub ntawv xov xwm ntawm JVM platform siv Lin-Check, thiab ntawm Hydra 2020 nws yuav qhia txog SegmentQueueSynchronizer - txheeb xyuas siv Iris moj khaum rau prover Coq abstraction rau programming synchronization primitives.


Ua raws li peb cov lus tshaj tawm asynchronous: nyob rau hauv tag nrho yuav muaj txog peb lub kaum os cov lus ceeb toom ntawm lub rooj sib tham, peb yuav qhia koj txog qhov seem sai sai no. Tsis tas li ntawd, tau kawg, ntawm lub rooj sib tham yuav muaj cov chaw sib tham uas yuav tsum tau sim cov neeg hais lus nrog cov lus nug hauv ib lossis ob peb xov kom txog thaum muaj kev pom zoo dav dav.

Thiab yog tias koj muaj hmoo, Martin Kleppmann yuav kos npe rau koj phau ntawv.

Yog lawm, ua ntej Hydra 2020 lub rooj sib tham, uas yog Lub Xya Hli 6-9, yuav muaj SPTDC 2020 - lub tsev kawm ntawv lub caij ntuj sov thib peb ntawm kev xav thiab kev xyaum ntawm kev faib xam. Nws yuav muab cov kev xav uas nyuaj rau koj tau txais ntawm lub rooj sib tham, yog li peb yuav tham txog Lub Tsev Kawm Ntawv hauv ib qho kev tshaj tawm.

Tam sim no dab tsi? Ua ntej, ua raws cov xov xwm ntawm Habre thiab hauv social networks (Facebook, Вконтакте, Twitter).

Qhov thib ob, yog tias koj twb xav tias muaj kev xav tsis tuaj yeem tuaj koom lub rooj sib tham, tshawb xyuas lub vev xaib, koj tuaj yeem ua tau yuav daim pib.

Thib peb, tsis txhob plam lub sijhawm los tham nrog Pawg Neeg Saib Xyuas Kev Sib Tham Hydra 2020 hauv cov lus. PC cov tswv cuab yuav zoo siab nrog koj tham txog lub rooj sib tham yav tom ntej.

Pom koj ntawm Hydra!

Tau qhov twg los: www.hab.com