Kreml minoralari Hydra quchog'ida: Moskvada Hydra 2020 parallel va taqsimlangan hisoblash bo'yicha konferentsiya

O'tgan yili Sankt-Peterburgda bor edi birinchi Hydra konferentsiyasi, parallel va taqsimlangan tizimlarga bag'ishlangan. Laureatlar taqdimot qildilar Dijkstra mukofoti и Turing mukofotlari (Lesli Lemport, Maurice Herlihy и Maykl Skott), kompilyatorlar va dasturlash tillarini yaratuvchilar (C++, Go, Java, Kotlin), taqsimlangan ma'lumotlar bazalarini ishlab chiquvchilar (Cassandra, CosmosDB, Yandex Database), shuningdek, algoritmlar va ma'lumotlar tuzilmalarini (CRDT, Paxos, kutish) yaratuvchilari va tadqiqotchilari. -bepul ma'lumotlar tuzilmalari). Umuman olganda, siz allaqachon ta'tilga chiqishingiz, IDE oynasini minimallashtirishingiz, YouTube-da pleylistni ochishingiz mumkin. eng yaxshi hisobotlar Hydra 2019 - va vazifalarni rejalashtiruvchini biroz kuting.

Umuman olganda, bunday anjuman hech qachon bo'lmagan, endi ham bo'ladi. Yana ingliz tilida hisobotlar bilan, chunki parallel va taqsimlangan hisoblash haqida gapirish uchun yaxshiroq til yo'q. Yana yozda, 10 va 11 iyul kunlari, chunki ma'ruzachilar tadqiqot va dars berishga vaqtlari bor, masalan, Kembrij, Rochester va Sankt-Peterburg universitetlarida va yilning boshqa vaqtlari ular uchun emas.

Biroq, bu safar Hydra Moskvada o'tkaziladi, bu erda konferentsiya ishtirokchilarining aksariyati o'tgan yili taqsimlangan konsensus va tranzaksiya xotirasi bo'yicha hisobotlarni tinglash uchun kelgan. Yangi Hydra yanada murakkab dastur, o'tgan yil qahramonlari bilan birga yangi ma'ruzachilar, shuningdek, uchta zalda ishtirokchilar o'rtasida taqsimlangan parallel hardkor hayajonining allaqachon tanish tuyg'usini o'z ichiga oladi.

Kreml minoralari Hydra quchog'ida: Moskvada Hydra 2020 parallel va taqsimlangan hisoblash bo'yicha konferentsiya


Keling, darhol Vizantiya generallarini tepaga qaratgan holda stol ustiga kartalar to'plamini qo'yaylik - biz yangi Hydra dasturining batafsilroq va xilma-xil bo'lishini xohlaymiz. Oxirgi marta biz tirnoq bilan tirnalgan edik, endi kengroq va chuqurroq qazaylik. Mana Hydra 2020 mavzulari o'tgan yilga nisbatan farqli:

  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

Bularning barchasi haqida bitta konferentsiya dasturida qanday gapirish mumkin? Bu, albatta, yangi tarqatilgan do'konda operatsiyalarning chiziqliligini sinab ko'rishdan oson emas. jepsen, lekin biz harakat qilamiz.

Dasturda allaqachon kimlar bor:

Kreml minoralari Hydra quchog'ida: Moskvada Hydra 2020 parallel va taqsimlangan hisoblash bo'yicha konferentsiyaSindi Sridxaran (Sindi Sridxaran) - San-Fransiskodagi taqsimlangan tizimlar ishlab chiqaruvchisi, qisqa kitob muallifi Taqsimlangan tizimlarning kuzatilishi (oling bepul elektron nusxasi) va mashhur blog yozuvi, bu erda faqat bitta maqola bor "Tech Talksda 2019 yilning eng yaxshilari"Sizni bir necha kunlik dam olishdan qutqarishi mumkin, lekin sizni baxtli qoldiring. Hydra 2020-da Sindi sizga qanday qilib aytib beradi tarqatilgan tizimlarni sinovdan o'tkazish, ular davlatni saqlasa ham.


Kreml minoralari Hydra quchog'ida: Moskvada Hydra 2020 parallel va taqsimlangan hisoblash bo'yicha konferentsiyaMaykl Skott (Maykl Skott) - tadqiqotchi Rochester universiteti, barcha Java dasturchilariga yaratuvchisi sifatida tanilgan bloklanmaydigan algoritmlar va sinxron navbatlar Java standart kutubxonasidan. Albatta, Dijkstra mukofoti bilan "Umumiy xotirali multiprotsessorlarda kengaytiriladigan sinxronizatsiya algoritmlari"va egasi Vikipediya sahifasi. O'tgan yili Maykl Hydra haqida eng yaxshi (sizga ko'ra) hisobot berdi ikki tomonlama ma'lumotlar tuzilmalari, va endi u haqida gapiradi Hodor loyihasi и umumiy xotira bilan xavfsiz ishlash, parallel jarayonlar uchun mavjud.


Kreml minoralari Hydra quchog'ida: Moskvada Hydra 2020 parallel va taqsimlangan hisoblash bo'yicha konferentsiyaXeydi Xovard (Xeydi Xovard) - tadqiqotchi dan Kembrij universiteti, taqsimlangan konsensus algoritmini yaratish bilan mashhur Moslashuvchan Paxos, shuningdek, Flexible Paxos va umumiylashtirish ustida ishlash Tez Paxos. O'tgan yili Heidi uning qanday ishlashi va ishlashini aytdi Paxos algoritmlar oilasi (eng yaxshi hisobotlardan biri) va endi men o'rtada yupqa muz ustida yurishga harakat qilaman Paxosni sevuvchilar va Raft tarafdorlari - va qaysi algoritm yaxshiroq ekanligi haqida o'z fikrini o'rtoqlashing.


Kreml minoralari Hydra quchog'ida: Moskvada Hydra 2020 parallel va taqsimlangan hisoblash bo'yicha konferentsiyaMartin Kleppmann (Martin Kleppmann) - ehtimol Kembrij universitetining yanada mashhur tadqiqotchisi va katta ma'lumotlar tizimlarining sobiq ishlab chiqaruvchisi, taqsimlangan tizimlar haqida hayratlanarli darajada aniq va shuning uchun noyob kitob yozgan "Intensiv ma'lumotlarni talab qiladigan dasturlarni loyihalash" O'tgan yili Martin natijalar bilan o'rtoqlashdi ularning CRDT tadqiqotlari va biz sizga hozir nima aytib beramiz keyinroq e'lon qilamiz.


Kreml minoralari Hydra quchog'ida: Moskvada Hydra 2020 parallel va taqsimlangan hisoblash bo'yicha konferentsiyaNikita Koval (Nikita Koval) - Kotlin jamoasining korutin ishlab chiquvchisi, ITMOda ko'p bosqichli dasturlash kursi o'qituvchisi va Hydra konferentsiyasi dastur qo'mitasi a'zosi (ha, bu maqola aynan shu haqida). O'tgan yili Nikita JVM platformasida ko'p tarmoqli ma'lumotlar tuzilmalarini sinab ko'rish haqida gapirdi Lin-Check, va Hydra 2020 da u aytaman SegmentQueueSynchronizer haqida - yordamida tasdiqlangan Iris ramkasi uchun prover Coq Sinxronizatsiya primitivlarini dasturlash uchun abstraktsiya.


Bizning asinxron e'lonlarimizni kuzatib boring: konferentsiyada jami o'nga yaqin ma'ruzalar bo'ladi, qolganlari haqida tez orada aytib beramiz. Bundan tashqari, albatta, konferentsiyada umumiy konsensusga erishilgunga qadar ma'ruzachilarni bir yoki bir nechta mavzulardagi savollar bilan sinab ko'rish kerak bo'lgan muhokama zonalari bo'ladi.

Kreml minoralari Hydra quchog'ida: Moskvada Hydra 2020 parallel va taqsimlangan hisoblash bo'yicha konferentsiya
Agar omadingiz bo'lsa, Martin Kleppmann kitobingizga imzo qo'yadi.

Ha, Hydra 2020 konferentsiyasidan oldin, ya'ni 6-9 iyul kunlari bo'ladi SPTDC 2020 — taqsimlangan hisoblash nazariyasi va amaliyoti bo‘yicha uchinchi yozgi maktab. Bu sizga konferentsiyada olish qiyin bo'lgan sensatsiyalarni beradi, shuning uchun biz alohida postda Maktab haqida gaplashamiz.

Endi nima? Birinchidan, Habré va ijtimoiy tarmoqlardagi yangiliklarni kuzatib boring (Facebook, VKontakte, Twitter).

Ikkinchidan, agar siz allaqachon konferentsiyada qatnashish istagini his qilsangiz, veb-saytni o'rganib chiqing, siz allaqachon mumkin chiptalarni sotib olish.

Uchinchidan, sharhlarda Hydra 2020 konferentsiya dasturi qo'mitasi bilan suhbatlashish imkoniyatini qo'ldan boy bermang. Kompyuter a'zolari siz bilan kelajakdagi konferentsiya mavzulari haqida suhbatlashishdan xursand bo'lishadi.

Hydrada ko'rishguncha!

Manba: www.habr.com

a Izoh qo'shish