Ang mga tore sa Kremlin sa bukton sa Hydra: komperensya sa managsama ug gipang-apod-apod nga pag-compute Hydra 2020 sa Moscow

Sa miaging tuig sa St. Petersburg didto unang komperensya sa Hydra, gipahinungod sa parallel ug distributed nga mga sistema. Ang mga mananaog naghimog mga presentasyon Mga premyo sa Dijkstra и Mga awards sa Turing (Leslie Lampor, Maurice Herlihy и Michael Scott), mga tiglalang sa mga compiler ug programming language (C++, Go, Java, Kotlin), mga developers sa gipang-apod-apod nga mga database (Cassandra, CosmosDB, Yandex Database), ingon man mga tiglalang ug tigdukiduki sa mga algorithm ug mga istruktura sa datos (CRDT, Paxos, paghulat -walay bayad nga mga istruktura sa datos). Sa kinatibuk-an, sa niini nga punto mahimo ka na nga magbakasyon, mamenosan ang bintana sa IDE, magbukas sa usa ka playlist sa YouTube nga adunay ang labing maayo nga mga taho Hydra 2019 - ug tugoti ang task scheduler nga maghulat gamay.

Sa kinatibuk-an, ang ingon nga komperensya wala pa mahitabo, ug karon kini mahitabo pag-usab. Pag-usab uban sa mga taho sa English, tungod kay wala'y mas maayo nga pinulongan nga hisgutan mahitungod sa parallel ug distributed computing. Pag-usab sa ting-init, Hulyo 10 ug 11, tungod kay ang mga mamumulong adunay panahon sa pagsiksik ug pagtudlo, pananglitan, sa mga unibersidad sa Cambridge, Rochester ug St. Petersburg, ug ang ubang mga panahon sa tuig dili alang kanila.

Bisan pa, niining higayona ang Hydra ipahigayon sa Moscow, diin kadaghanan sa mga partisipante sa komperensya mianhi sa miaging tuig aron maminaw sa mga taho bahin sa gipang-apod-apod nga consensus ug transactional memory. Ang bag-ong Hydra nagpakita sa usa ka mas komplikado nga programa, bag-ong mga mamumulong uban sa mga bayani sa miaging tuig, ingon man ang pamilyar na nga pagbati sa kahinam sa parallel hardcore nga gipang-apod-apod sa mga partisipante sa tulo ka mga hawanan.

Atong ibutang dayon ang usa ka deck sa mga kard sa lamesa nga ang mga heneral sa Byzantine nga nag-atubang - gusto namon nga ang programa sa bag-ong Hydra mahimong mas detalyado ug lainlain. Kaniadto nga nagkurit ta gamit ang lansang, karon mas lapad ug mas lawom ang pagkalot. Ania ang mga tema sa Hydra 2020 nga adunay kalainan sa miaging tuig:

  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


Giunsa paghisgot kining tanan sa programa sa usa ka komperensya? Kini siguradong dili labi ka yano kaysa pagsulay sa linearizability sa mga operasyon sa usa ka sinaw nga bag-ong gipang-apod-apod nga tindahan gamit ang Jepsen, pero atong sulayan.

Ania kung kinsa ang naa sa programa:

Cindy Sridharan (Cindy Sridharan) - nag-apod-apod sa mga developer sa sistema gikan sa San Francisco, tagsulat sa usa ka mubo nga libro Pag-obserbar sa mga Sistema nga Gipanagtag (kuhaa libre nga electronic nga kopya) ug popular post sa blog, diin adunay usa lamang ka artikulo “Labing maayo sa 2019 sa Tech Talks"makaluwas kanimo gikan sa pipila ka mga adlaw nga bakasyon, apan biyaan ka nga malipayon. Sa Hydra 2020, isulti kanimo ni Cindy kung giunsa pagsulay nga gipang-apod-apod nga mga sistema, bisan kung nagtipig sila sa estado.


Michael Scott (Michael Scott) - tigdukiduki gikan sa University of Rochester, nailhan sa tanang Java developers isip tiglalang non-blocking algorithms ug synchronous queues gikan sa Java Standard Library. Siyempre, uban sa Dijkstra Prize alang sa "Algorithm para sa scalable synchronization sa shared-memory multiprocessors"ug iyaha panid sa Wikipedia. Sa miaging tuig, Michael mihatag sa labing maayo (sumala kanimo) report sa Hydra sa doble nga istruktura sa datos, ug karon iyang hisgotan proyekto Hodor и luwas nga trabaho nga adunay gipaambit nga memorya, magamit sa parallel nga mga proseso.


Heidi Howard (Heidi Howard) - tigdukiduki gikan sa University of Cambridge, nailhan sa paghimo sa usa ka distributed consensus algorithm Flexible nga Paxos, ingon man ang pagtrabaho sa pag-generalize sa Flexible Paxos ug Paspas nga Paxos. Sa miaging tuig, gisultihan ni Heidi kung giunsa kini molihok ug molihok Pamilya sa mga algorithm sa Paxos (usa sa labing kaayo nga mga taho), ug karon ako mosulay sa paglakaw sa nipis nga yelo taliwala Mga mahigugmaon sa Paxos ug mga tigpaluyo sa Raft - ug ipaambit ang iyang opinyon kung unsang algorithm ang mas maayo.


Martin Kleppmann (Martin Kleppmann) tingali usa ka labi ka bantog nga tigdukiduki gikan sa Unibersidad sa Cambridge, ug usa ka kanhi developer sa dagkong mga sistema sa datos, nga nagsulat usa ka katingad-an nga tin-aw ug busa talagsaon nga libro sa gipang-apod-apod nga mga sistema "Pagdesinyo sa Data-Intensive nga mga Aplikasyon" Sa miaging tuig Martin gipaambit ang mga resulta sa ilang panukiduki sa CRDT, ug unsa ang among isulti kanimo karon atong ipahibalo unya.


Nikita Koval (Nikita Koval) usa ka coroutine developer sa Kotlin team, usa ka magtutudlo sa usa ka kurso sa multi-threaded programming sa ITMO, ug usa ka miyembro sa komite sa programa sa komperensya sa Hydra (oo, ang usa nga bahin sa kini nga artikulo). Sa miaging tuig si Nikita naghisgot bahin sa pagsulay sa multi-threaded nga mga istruktura sa datos sa JVM nga plataporma nga gigamit Lin-Check, ug sa Hydra 2020 siya mosulti bahin sa SegmentQueueSynchronizer - gipamatud-an gamit Iris nga balangkas alang sa prover Coq abstraction alang sa programming synchronization primitives.


Sunda ang among asynchronous nga mga pahibalo: sa kinatibuk-an adunay mga tulo ka dosena nga mga taho sa komperensya, isulti namo kanimo ang mahitungod sa uban sa dili madugay. Usab, siyempre, sa komperensya adunay mga diskusyon nga mga lugar diin kinahanglan nga sulayan ang mga mamumulong nga adunay mga pangutana sa usa o daghang mga hilo hangtod maabot ang usa ka kinatibuk-ang consensus.

Ug kung swerte ka, pirmahan ni Martin Kleppmann ang imong libro.

Oo, sa wala pa ang komperensya sa Hydra 2020, nga mao ang Hulyo 6-9, adunay SPTDC 2020 - ang ikatulo nga eskwelahan sa ting-init sa teorya ug praktis sa distributed computing. Maghatag kini kanimo mga sensasyon nga lisud makuha sa usa ka komperensya, mao nga hisgutan namon ang bahin sa Eskwelahan sa usa ka lahi nga post.

Unsa karon? Una, sunda ang balita sa Habré ug sa mga social network (Facebook, Вконтакте, Twitter).

Ikaduha, kung gibati na nimo ang dili mapugngan nga tinguha nga motambong sa komperensya, pagsuhid sa website, mahimo na nimo pagpalit og mga tiket.

Ikatulo, ayaw palabya ​​​​ang higayon nga makig-chat sa komite sa programa sa komperensya sa Hydra 2020 sa mga komento. Ang mga miyembro sa PC malipay nga makigsulti kanimo bahin sa umaabot nga mga hilisgutan sa komperensya.

Magkita ta sa Hydra!

Source: www.habr.com