ProHoster > Blog > башкаруу > Гидра колундагы Кремль мунаралары: Москвадагы Hydra 2020 параллелдүү жана бөлүштүрүлгөн эсептөө боюнча конференция
Гидра колундагы Кремль мунаралары: Москвадагы Hydra 2020 параллелдүү жана бөлүштүрүлгөн эсептөө боюнча конференция
Өткөн жылы Санкт-Петербургда болгон биринчи Hydra конференциясы, параллелдүү жана бөлүштүрүлгөн системаларга арналган. Лауреаттар доклад жасашты Dijkstra сыйлыгы и Тюринг сыйлыктары (Лесли Лэмпорт, Морис Херлихи и Майкл Скотт), компиляторлорду жана программалоо тилдерин (C++, Go, Java, Kotlin) жаратуучулар, бөлүштүрүлгөн маалымат базаларын иштеп чыгуучулар (Cassandra, CosmosDB, Yandex Database), ошондой эле алгоритмдерди жана маалымат структураларын (CRDT, Paxos, күтө тур) жаратуучулар жана изилдөөчүлөр - акысыз маалымат структуралары). Жалпысынан алганда, бул учурда сиз эс алып, IDE терезесин кичирейтип, YouTube'да ойнотмо тизмесин ачсаңыз болот. мыкты отчеттор Hydra 2019 - жана тапшырма пландоочуга бир аз күтө туруңуз.
Негизинен мындай конференция болгон эмес, эми дагы болот. Дагы англис тилиндеги отчеттор менен, анткени параллелдүү жана бөлүштүрүлгөн эсептөөлөр жөнүндө сүйлөшө турган жакшы тил жок. Кайра жайында, 10 жана 11-июлда, анткени баяндамачылар изилдөө жана окутуу үчүн убакыт бар, мисалы, Кембридж, Рочестер жана Санкт-Петербург университеттеринде, жана жылдын башка мезгили алар үчүн эмес.
Бирок бул жолу Гидра Москвада өтөт, конференциянын катышуучуларынын көбү өткөн жылы бөлүштүрүлгөн консенсус жана транзакциялык эстутум боюнча отчетторду угуу үчүн келишкен. Жаңы Hydra бир кыйла татаал программаны, өткөн жылдын баатырлары менен бирге жаңы спикерлерди, ошондой эле үч залда катышуучулар арасында бөлүштүрүлгөн параллелдүү хардкордун толкундануусунун мурунтан эле тааныш сезимин камтыйт.
Келгиле, дароо карталардын палубасын үстөлдүн үстүнө Византия генералдарын карап көрөлү - биз жаңы Hydra программасынын кеңири жана ар түрдүү болушун каалайбыз. Өткөндө тырмак менен тырмап алганбыз, эми кененирээк, тереңирээк казалы. Бул жерде Hydra 2020 темалары өткөн жылга салыштырмалуу айырмаланат:
Мына ушунун бардыгы женунде бир конференциянын программасында кантип айтууга болот? Бул, албетте, колдонуу менен жаркыраган жаңы бөлүштүрүлгөн дүкөндө операциялардын сызыктуулугун текшерүүдөн жөнөкөй эмес. Jepsen, бирок аракет кылабыз.
Никита Коваль (Никита Коваль) - Котлин командасынын корутинди иштеп чыгуучусу, ITMOдагы көп агымдуу программалоо боюнча курстун окутуучусу жана Hydra конференциясынын программалык комитетинин мүчөсү (ооба, бул макалада дал ошол). Өткөн жылы Никита көп жиптүү маалымат структураларын JVM платформасында сынап көрүү жөнүндө айткан Lin-Check, жана Hydra 2020 ал айтып SegmentQueueSynchronizer жөнүндө - колдонуу менен текшерилген Iris алкагы үчүн prover Coq синхрондоштуруу примитивдерин программалоо үчүн абстракция.
Биздин асинхрондук кулактандырууларыбызга көз салыңыз: конференцияда жалпысынан үч ондогон баяндамалар болот, калгандары тууралуу жакында айтабыз. Ошондой эле, албетте, конференцияда жалпы консенсуска жеткенге чейин бир же бир нече темадагы суроолор менен баяндамачыларды сынап көрүү зарыл болгон талкуу зоналары болот.
Эгер бактыңыз болсо, Мартин Клеппман китебиңизге кол коет.
Ооба, Hydra 2020 конференциясына чейин, тактап айтканда 6-9-июлда болот SPTDC 2020 — бөлүштүрүлгөн эсептөөнүн теориясы жана практикасы боюнча үчүнчү жайкы мектеп. Бул сизге конференцияда алуу кыйын болгон сезимдерди берет, ошондуктан биз Мектеп жөнүндө өзүнчө постто сүйлөшөбүз.
Эми эмне болот? Биринчиден, Habré жана социалдык тармактардагы жаңылыктарга көз салыңыз (Facebook, VKontakte, Twitter).
Экинчиден, эгер сиз конференцияга катышууну каалап жаткан болсоңуз, анда веб-сайтты изилдеп көрүңүз билеттерди сатып алуу.
Үчүнчүдөн, комментарийлерде Hydra 2020 конференциясынын программалык комитети менен баарлашуу мүмкүнчүлүгүн колдон чыгарбаңыз. ЖК мүчөлөрү сиз менен келечектеги конференциянын темалары жөнүндө сүйлөшүүгө кубанычта болушат.