Гидра құшағындағы Кремль мұнаралары: Мәскеудегі 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

Осының барлығын бір конференция бағдарламасында қалай айтуға болады? Бұл, әрине, жылтыр жаңа таратылған дүкендегі операциялардың сызықтылығын тексеруден оңай емес. Джепсен, бірақ тырысамыз.

Бағдарламада кімдер бар:

Гидра құшағындағы Кремль мұнаралары: Мәскеудегі Hydra 2020 параллельді және бөлінген есептеулер бойынша конференцияСинди Шридхаран (Синди Сридхаран) - Сан-Францискодан келген таратылған жүйелерді әзірлеуші, қысқа кітаптың авторы Бөлінген жүйелердің бақылау мүмкіндігі (алу тегін электронды көшірме) және танымал блог, мұнда бір ғана мақала бар «Tech Talks бойынша 2019 жылдың үздіктері«Сізді екі күндік демалыстан құтқара алады, бірақ сізді бақытты қалдырады. Hydra 2020-де Синди сізге мұны қалай істеу керектігін айтады бөлінген жүйелерді сынау, олар күйді сақтаса да.


Гидра құшағындағы Кремль мұнаралары: Мәскеудегі Hydra 2020 параллельді және бөлінген есептеулер бойынша конференцияМайкл Скотт (Майкл Скотт) - зерттеуші Рочестер университеті, жасаушысы ретінде барлық Java әзірлеушілеріне белгілі блокталмаған алгоритмдер және синхронды кезектер Java стандартты кітапханасынан. Әрине, «Дейкстра сыйлығымен»Ортақ жадты мультипроцессорларда масштабталатын синхрондау алгоритмдері«және меншік Википедия беті. Өткен жылы Майкл Hydra on туралы ең жақсы (сіздің пікіріңізше) есеп берді қос деректер құрылымдары, ал енді ол туралы айтатын болады Ходор жобасы и ортақ жадымен қауіпсіз жұмыс, параллельді процестерге қол жетімді.


Гидра құшағындағы Кремль мұнаралары: Мәскеудегі Hydra 2020 параллельді және бөлінген есептеулер бойынша конференцияХайди Ховард (Хейди Ховард) - зерттеуші -дан Кембридж университеті, бөлінген консенсус алгоритмін жасау үшін белгілі Икемді Paxos, сонымен қатар Flexible Paxos және жалпылау бойынша жұмыс Жылдам Паксо. Өткен жылы Хайди оның қалай жұмыс істейтінін және жұмыс істейтінін айтты Paxos алгоритмдер тобы (ең жақсы есептердің бірі), енді мен арасындағы жұқа мұзбен жүруге тырысамын Paxos әуесқойлары және Рафт жақтастары — және қай алгоритм жақсы екендігі туралы өз пікірімен бөлісіңіз.


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


Гидра құшағындағы Кремль мұнаралары: Мәскеудегі Hydra 2020 параллельді және бөлінген есептеулер бойынша конференцияНикита Коваль (Никита Коваль) - Котлин командасының корутин әзірлеушісі, ITMO-да көп ағынды бағдарламалау курсының оқытушысы және Hydra конференциясының бағдарламалық комитетінің мүшесі (иә, дәл осы мақала туралы). Өткен жылы Никита JVM платформасында көп ағынды деректер құрылымдарын сынау туралы айтты Lin-Check, және Hydra 2020-де ол дейді SegmentQueueSynchronizer туралы - пайдалану арқылы тексерілді Ирис шеңбері үшін провер Кок синхрондау примитивтерін бағдарламалауға арналған абстракция.


Біздің асинхронды хабарландыруларымызды қадағалаңыз: конференцияда барлығы үш ондаған баяндама болады, қалғаны туралы жақын арада айтамыз. Сондай-ақ, әрине, конференцияда пікірталас аймақтары болады, онда жалпы консенсусқа жеткенге дейін бір немесе бірнеше тақырыптар бойынша спикерлерді сұрақтармен сынау қажет.

Гидра құшағындағы Кремль мұнаралары: Мәскеудегі Hydra 2020 параллельді және бөлінген есептеулер бойынша конференция
Ал егер сәттілік болса, Мартин Клеппман кітабыңызға қол қояды.

Иә, Hydra 2020 конференциясына дейін, атап айтқанда 6-9 шілдеде болады SPTDC 2020 — үлестірілген есептеулер теориясы мен тәжірибесі бойынша үшінші жазғы мектеп. Бұл сізге конференцияда қабылдау қиынға соғатын сенсациялар береді, сондықтан біз мектеп туралы бөлек постта айтатын боламыз.

Енді ше? Біріншіден, Хабредегі және әлеуметтік желілердегі жаңалықтарды бақылаңыз (Facebook, ВКонтакте, Twitter).

Екіншіден, егер сізде конференцияға қатысуға деген шексіз ықылас болса, веб-сайтты зерттеңіз, сіз қазірдің өзінде жасай аласыз билеттерді сатып алу.

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

Гидрада кездескенше!

Ақпарат көзі: www.habr.com

пікір қалдыру