ProHoster > Blog > Ma'muriyat > Kreml minoralari Hydra quchog'ida: Moskvada Hydra 2020 parallel va taqsimlangan hisoblash bo'yicha konferentsiya
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.
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:
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.
Nikita 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.
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.