Гидрагийн тэврэлт дэх Кремлийн цамхаг: Москвад болж буй Hydra 2020 параллель ба тархсан тооцооллын бага хурал

Өнгөрсөн жил Санкт-Петербургт байсан анхны Hydra бага хурал, зэрэгцээ болон тархсан системд зориулагдсан. Шагнагчид илтгэл тавьсан Дийкстра шагнал и Тюринг шагналууд (Лесли Лампорт, Морис Херлихи и Майкл Скотт), хөрвүүлэгч, програмчлалын хэл (C++, Go, Java, Kotlin) бүтээгчид, тархсан мэдээллийн баазыг хөгжүүлэгчид (Cassandra, CosmosDB, Yandex Database), түүнчлэн алгоритм, өгөгдлийн бүтцийг бүтээгчид, судлаачид (CRDT, Paxos, хүлээх) -үнэгүй мэдээллийн бүтэц). Ерөнхийдөө энэ үед та аль хэдийн амралтаа авч, IDE цонхыг багасгаж, YouTube дээр тоглуулах жагсаалт нээх боломжтой. шилдэг тайлангууд Hydra 2019 - мөн даалгавар төлөвлөгчийг бага зэрэг хүлээгээрэй.

Ер нь ийм хурал болж байгаагүй, одоо ч болно. Дахин англи хэл дээрх тайлангууд, учир нь зэрэгцээ болон тархсан тооцооллын талаар ярих илүү хэл байхгүй. Дахин зун, долдугаар сарын 10, 11-нд, Учир нь илтгэгчид жишээлбэл, Кембриж, Рочестер, Санкт-Петербургийн их сургуулиудад судалгаа хийж, заах цаг зав гардаг бөгөөд жилийн бусад цаг нь тэдэнд зориулагдаагүй байдаг.

Гэсэн хэдий ч энэ удаад Hydra Москвад болно, Өнгөрсөн жил хуралд оролцогчдын ихэнх нь тархсан зөвшилцөл, гүйлгээний санах ойн талаархи тайланг сонсохоор ирсэн. Шинэ Hydra нь илүү төвөгтэй хөтөлбөр, өнгөрсөн жилийн баатруудын хамт шинэ чанга яригч, түүнчлэн гурван танхимд оролцогчдын дунд тархсан параллель хардкорын сэтгэл хөдлөлийн аль хэдийн танил болсон мэдрэмжийг агуулдаг.

Гидрагийн тэврэлт дэх Кремлийн цамхаг: Москвад болж буй Hydra 2020 параллель ба тархсан тооцооллын бага хурал


Византийн генералуудыг нэн даруй ширээн дээр тавиад, шинэ Гидрагийн хөтөлбөрийг илүү нарийвчилсан, олон талт болгохыг хүсч байна. Хамгийн сүүлд бид хумсаараа маажиж байсан бол одоо илүү өргөн, гүн ухаж үзье. Өнгөрсөн жилээс ялгаатай Hydra 2020 сэдвүүд энд байна:

  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

Энэ бүхнийг нэг чуулганы хөтөлбөрт хэрхэн ярих вэ? Энэ нь гялалзсан шинэ тархсан дэлгүүрийн үйл ажиллагааны шугаман байдлыг шалгахаас илүү хялбар зүйл биш юм. Жепсен, гэхдээ бид хичээх болно.

Хөтөлбөрт аль хэдийн орсон хүмүүс энд байна:

Гидрагийн тэврэлт дэх Кремлийн цамхаг: Москвад болж буй Hydra 2020 параллель ба тархсан тооцооллын бага хуралСинди Шридхаран (Синди Шридхаран) - Сан Францискогийн тархсан систем хөгжүүлэгч, богино хэмжээний номын зохиогч Тархсан системийн ажиглалт (авах үнэгүй цахим хуулбар) ба алдартай блог шуудан, энд зөвхөн нэг нийтлэл байна "Tech Talks дахь 2019 оны шилдэг"Чамайг хэдэн өдрийн амралтаас аварч чадна, гэхдээ чамайг аз жаргалтай байлгана. Hydra 2020 дээр Синди танд яаж хийхийг хэлэх болно тархсан системийг турших, тэд төлөвийг хадгалсан ч гэсэн.


Гидрагийн тэврэлт дэх Кремлийн цамхаг: Москвад болж буй Hydra 2020 параллель ба тархсан тооцооллын бага хуралМайкл Скотт (Майкл Скотт) - судлаач Рочестер хотын их сургууль, бүх Java хөгжүүлэгчид бүтээгч гэдгээрээ алдартай блоклохгүй алгоритмууд болон синхрон дараалал Java стандарт номын сангаас. Мэдээжийн хэрэг, Дижкстрагийн шагналаар "Хуваалцсан санах ойн олон процессор дээр өргөтгөх боломжтой синхрончлолын алгоритмууд"мөн эзэмшдэг Википедиа хуудас. Өнгөрсөн жил Майкл Hydra on-ийн талаар хамгийн сайн (таны хэлснээр) илтгэлийг өгсөн давхар өгөгдлийн бүтэц, одоо тэр ярих болно төсөл Ходор и хуваалцсан санах ойтой аюулгүй ажиллах, зэрэгцээ процессуудад ашиглах боломжтой.


Гидрагийн тэврэлт дэх Кремлийн цамхаг: Москвад болж буй Hydra 2020 параллель ба тархсан тооцооллын бага хуралХайди Ховард (Хейди Ховард) - судлаач нь Кембрижийн их сургууль, тархсан зөвшилцлийн алгоритмыг бий болгодгоороо алдартай Уян хатан Paxos, түүнчлэн уян хатан Paxos болон ерөнхий ойлголт дээр ажиллах Хурдан Паксо. Өнгөрсөн жил Хайди хэрхэн ажилладаг, хэрхэн ажилладаг талаар ярьсан Паксосын гэр бүлийн алгоритм (хамгийн сайн тайлангийн нэг), одоо би нимгэн мөсөн дээр алхахыг хичээх болно Paxos хайрлагчид болон Raft дэмжигчид - аль алгоритм нь илүү дээр вэ гэсэн санал бодлоо хуваалцаарай.


Гидрагийн тэврэлт дэх Кремлийн цамхаг: Москвад болж буй Hydra 2020 параллель ба тархсан тооцооллын бага хуралМартин Клеппман (Мартин Клеппман) бол Кембрижийн Их Сургуулийн илүү алдартай судлаач бөгөөд том өгөгдлийн системийг хөгжүүлэгч асан бөгөөд тархсан системийн талаар гайхалтай ойлгомжтой, тиймээс өвөрмөц ном бичсэн "Өгөгдөл их шаарддаг программ зохиох" Өнгөрсөн жил Мартин үр дүнгээ хуваалцлаа Тэдний CRDT судалгаа, бид танд одоо юу хэлэх болно бид дараа нь зарлах болно.


Гидрагийн тэврэлт дэх Кремлийн цамхаг: Москвад болж буй Hydra 2020 параллель ба тархсан тооцооллын бага хуралНикита Коваль (Никита Коваль) бол Котлин багийн корутин хөгжүүлэгч, ITMO-ийн олон урсгалт програмчлалын курсын багш, Гидра бага хурлын хөтөлбөрийн хорооны гишүүн (тиймээ, энэ нийтлэлийн тухай). Өнгөрсөн жил Никита JVM платформ дээр олон урсгалтай өгөгдлийн бүтцийг турших тухай ярьсан Лин-Чек, мөн Hydra 2020 дээр тэр хэлэх болно SegmentQueueSynchronizer-ийн тухай - ашиглан баталгаажуулсан Цахилдаг хүрээ нь провер Кок програмчлалын синхрончлолын командуудад зориулсан хийсвэрлэл.


Манай асинхрон мэдэгдлүүдийг дагана уу: чуулганд нийтдээ гучин арав орчим илтгэл тавигдах болно, үлдсэнийг нь удахгүй танд хэлэх болно. Түүнчлэн, мэдээжийн хэрэг, бага хурлын үеэр илтгэгчдийг нэг буюу хэд хэдэн сэдвээр асуулт асууж, нийтлэг зөвшилцөлд хүрэх хүртэл шалгах шаардлагатай хэлэлцүүлгийн бүсүүд байх болно.

Гидрагийн тэврэлт дэх Кремлийн цамхаг: Москвад болж буй Hydra 2020 параллель ба тархсан тооцооллын бага хурал
Хэрэв та азтай бол Мартин Клепманн таны номонд гарын үсэг зурах болно.

Тийм ээ, Hydra 2020 бага хурлын өмнө, тухайлбал 6-р сарын 9-XNUMX-нд болно SPTDC 2020 — тархсан тооцооллын онол, практикийн зуны гуравдугаар сургууль. Энэ нь танд чуулган дээр авахад хэцүү сенсаци өгөх тул бид тусад нь нийтлэлд Сургуулийн тухай ярих болно.

Одоо яах вэ? Нэгдүгээрт, Habré болон нийгмийн сүлжээн дэх мэдээг дагаарай (Facebook-ийн, Вконтакте, Twitter).

Хоёрдугаарт, хэрэв та чуулганд оролцохыг үгүйсгэх аргагүй хүсэл эрмэлзэлтэй байгаа бол вэбсайтыг судалж үзээрэй, та аль хэдийн боломжтой тасалбар худалдаж авах.

Гуравдугаарт, сэтгэгдэл дээр Hydra 2020 хурлын хөтөлбөрийн хороотой ярилцах боломжийг бүү алдаарай. PC-ийн гишүүд тантай ирээдүйн хурлын сэдвүүдийн талаар ярихдаа баяртай байх болно.

Hydra-д уулзацгаая!

Эх сурвалж: www.habr.com

сэтгэгдэл нэмэх