Гидра колундагы Кремль мунаралары: Москвадагы Hydra 2020 параллелдүү жана бөлүштүрүлгөн эсептөө боюнча конференция

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

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

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

Гидра колундагы Кремль мунаралары: Москвадагы Hydra 2020 параллелдүү жана бөлүштүрүлгөн эсептөө боюнча конференция


Келгиле, дароо карталардын палубасын үстөлдүн үстүнө Византия генералдарын карап көрөлү - биз жаңы Hydra программасынын кеңири жана ар түрдүү болушун каалайбыз. Өткөндө тырмак менен тырмап алганбыз, эми кененирээк, тереңирээк казалы. Бул жерде 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

Мына ушунун бардыгы женунде бир конференциянын программасында кантип айтууга болот? Бул, албетте, колдонуу менен жаркыраган жаңы бөлүштүрүлгөн дүкөндө операциялардын сызыктуулугун текшерүүдөн жөнөкөй эмес. Jepsen, бирок аракет кылабыз.

Бул жерде программада ким бар:

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


Гидра колундагы Кремль мунаралары: Москвадагы Hydra 2020 параллелдүү жана бөлүштүрүлгөн эсептөө боюнча конференцияМайкл Скотт (Майкл Скотт) - изилдөөчү Рочестер менен University, бардык Java иштеп чыгуучуларына жаратуучу катары белгилүү бөгөттөлбөгөн алгоритмдер жана синхрондук кезектер Java стандарттык китепканасынан. Албетте, Dijkstra сыйлыгы менен "Жалпы эс тутумдагы мультипроцессорлордо масштабдуу синхрондоштуруунун алгоритмдери"жана менчик Wikipedia баракчасы. Өткөн жылы Майкл Hydra боюнча эң мыкты (сизге ылайык) отчет берген кош маалымат структуралары, эми ал жөнүндө сүйлөшөт Hodor долбоору и жалпы эс менен коопсуз иштөө, параллелдүү процесстер үчүн жеткиликтүү.


Гидра колундагы Кремль мунаралары: Москвадагы Hydra 2020 параллелдүү жана бөлүштүрүлгөн эсептөө боюнча конференцияХайди Ховард (Хейди Ховард) - изилдөөчү чейин Кембридж University, бөлүштүрүлгөн консенсус алгоритмин түзүү үчүн белгилүү Ийкемдүү Paxos, ошондой эле ийкемдүү Paxos жана жалпылоо боюнча иш Fast Paxos. Өткөн жылы Хайди анын кантип иштээрин айтып берди Paxos алгоритмдердин үй-бүлөсү (эң жакшы отчеттордун бири), эми мен ортосунда жука муздун үстүндө басууга аракет кылам Paxos сүйүүчүлөрү жана Рафттын жактоочулары — жана кайсы алгоритм жакшыраак экендиги тууралуу өз оюн бөлүшүңүз.


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


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


Биздин асинхрондук кулактандырууларыбызга көз салыңыз: конференцияда жалпысынан үч ондогон баяндамалар болот, калгандары тууралуу жакында айтабыз. Ошондой эле, албетте, конференцияда жалпы консенсуска жеткенге чейин бир же бир нече темадагы суроолор менен баяндамачыларды сынап көрүү зарыл болгон талкуу зоналары болот.

Гидра колундагы Кремль мунаралары: Москвадагы Hydra 2020 параллелдүү жана бөлүштүрүлгөн эсептөө боюнча конференция
Эгер бактыңыз болсо, Мартин Клеппман китебиңизге кол коет.

Ооба, Hydra 2020 конференциясына чейин, тактап айтканда 6-9-июлда болот SPTDC 2020 — бөлүштүрүлгөн эсептөөнүн теориясы жана практикасы боюнча үчүнчү жайкы мектеп. Бул сизге конференцияда алуу кыйын болгон сезимдерди берет, ошондуктан биз Мектеп жөнүндө өзүнчө постто сүйлөшөбүз.

Эми эмне болот? Биринчиден, Habré жана социалдык тармактардагы жаңылыктарга көз салыңыз (Facebook, VKontakte, Twitter).

Экинчиден, эгер сиз конференцияга катышууну каалап жаткан болсоңуз, анда веб-сайтты изилдеп көрүңүз билеттерди сатып алуу.

Үчүнчүдөн, комментарийлерде Hydra 2020 конференциясынын программалык комитети менен баарлашуу мүмкүнчүлүгүн колдон чыгарбаңыз. ЖК мүчөлөрү сиз менен келечектеги конференциянын темалары жөнүндө сүйлөшүүгө кубанычта болушат.

Hydraда көрүшкөнчө!

Source: www.habr.com

Комментарий кошуу