Hydra의 품에 안긴 크렘린 탑: 모스크바에서 열린 Hydra 2020 병렬 및 분산 컴퓨팅에 관한 회의

작년에 상트페테르부르크에서는 첫 번째 하이드라 회의, 병렬 및 분산 시스템 전용입니다. 수상자 발표 다익스트라 상 и 튜링상 (레슬리 램포트, 모리스 헐리히 и 마이클 스콧), 컴파일러 및 프로그래밍 언어(C++, Go, Java, Kotlin) 창시자, 분산 데이터베이스 개발자(Cassandra, CosmosDB, Yandex Database), 알고리즘 및 데이터 구조 창시자 및 연구원(CRDT, Paxos, wait) -자유 데이터 구조) . 일반적으로 이 시점에서는 이미 휴가를 보내고, IDE 창을 최소화하고, YouTube에서 재생 목록을 열 수 있습니다. 최고의 보고서 Hydra 2019 - 작업 스케줄러가 조금 기다리도록 합니다.

일반적으로 그러한 회의는 한 번도 일어난 적이 없으며 이제 다시 일어날 것입니다. 다시 영어로 된 보고서와 함께, 병렬 및 분산 컴퓨팅에 대해 이야기하는 데 이보다 더 좋은 언어는 없기 때문입니다. 여름에도 10월 11일과 XNUMX일, 예를 들어 연사들은 캠브리지 대학, 로체스터 대학, 상트 페테르부르크 대학에서 연구하고 가르칠 시간이 있지만 일년 중 다른 시간에는 그들을 위한 시간이 없기 때문입니다.

하지만 이번에 Hydra는 모스크바에서 개최됩니다, 컨퍼런스 참가자 대부분이 작년에 분산 합의 및 트랜잭션 메모리에 대한 보고서를 듣기 위해 왔습니다. 새로운 Hydra는 더욱 복잡한 프로그램, 작년의 영웅들과 함께 새로운 스피커, XNUMX개 홀의 참가자들 사이에 분산된 병렬 하드코어의 흥분에 대한 이미 익숙한 느낌을 특징으로 합니다.

비잔틴 장군이 위를 향하게 하여 즉시 테이블 위에 카드 한 벌을 올려 봅시다. 우리는 새로운 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


한 회의 프로그램에서 이 모든 것에 대해 어떻게 이야기합니까? 다음을 사용하여 빛나는 새 분산 저장소에서 작업의 선형성을 테스트하는 것보다 결코 간단하지 않습니다. 젭센, 하지만 시도해 보겠습니다.

이미 프로그램에 참여하고 있는 사람은 다음과 같습니다.

신디 스리다란 (Cindy Sridharan) - 샌프란시스코 출신 분산 시스템 개발자, 단편집 저자 분산 시스템 관찰성 (가져가다 무료 전자 사본) 인기가 많음 블로그, 기사가 하나만 있는 경우 "2019년 최고의 기술 토크"며칠 동안의 휴가를 절약할 수 있지만 행복하게 해줄 수 있습니다. Hydra 2020에서 Cindy가 알려드릴 내용은 다음과 같습니다. 분산 시스템 테스트, 상태를 저장하더라도 마찬가지입니다.


마이클 스콧 (Michael Scott) - 연구원 로체스터 대학, 모든 Java 개발자에게 제작자로 알려진 비차단 알고리즘 및 동기식 대기열 Java 표준 라이브러리에서. 물론, Dijkstra 상을 수상한 “공유 메모리 다중 프로세서에서 확장 가능한 동기화를 위한 알고리즘"그리고 소유 위키백과 페이지. 작년에 Michael은 Hydra에 관해 (당신 말에 따르면) 최고의 보고서를 냈습니다. 이중 데이터 구조, 이제 그는 다음에 대해 이야기 할 것입니다 프로젝트 호도르 и 공유 메모리로 안전한 작업, 병렬 프로세스에 사용할 수 있습니다.


하이디 하워드 (하이디 하워드) - 연구원 으로 캠브리지 대학, 분산 합의 알고리즘을 만드는 것으로 알려져 있음 유연한 팩소스, 그리고 유연한 Paxos를 일반화하는 작업과 패스트 팍소스. 작년에 Heidi는 그것이 어떻게 작동하고 작동하는지 말했습니다. Paxos 알고리즘 제품군 (최고의 보고서 중 하나) 이제 나는 사이의 얇은 얼음 위를 걸어 보겠습니다. Paxos 애호가 및 Raft 지지자 — 그리고 어떤 알고리즘이 더 나은지에 대한 그의 의견을 공유합니다.


마틴 클레프만 (Martin Kleppmann)은 아마도 케임브리지 대학의 훨씬 더 유명한 연구원이자 분산 시스템에 대한 놀랍도록 명확하고 독특한 책을 쓴 전직 빅 데이터 시스템 개발자일 것입니다.데이터 집약적인 애플리케이션 설계" 작년에 마틴 결과를 공유했습니다 CRDT 연구 내용과 지금 알려드릴 내용 나중에 발표하겠습니다.


니키타 코발 (Nikita Koval)은 Kotlin 팀의 코루틴 개발자이자 ITMO의 멀티스레드 프로그래밍 과정 교사이자 Hydra 컨퍼런스의 프로그램 위원회 회원입니다(예, 이 기사에서 다루고 있는 바로 그 컨퍼런스입니다). 작년에 Nikita는 다음을 사용하여 JVM 플랫폼에서 다중 스레드 데이터 구조를 테스트하는 방법에 대해 이야기했습니다. 린체크, 그리고 Hydra 2020에서 그는 말할 것이다 SegmentQueueSynchronizer 정보 - 다음을 사용하여 확인됨 아이리스 프레임워크 에 증명자 콕 동기화 프리미티브 프로그래밍을 위한 추상화.


비동기식 발표를 따르십시오. 컨퍼런스에는 전체적으로 약 XNUMX개의 보고서가 있을 예정이며 나머지에 대해서는 곧 알려드리겠습니다. 또한, 물론 컨퍼런스에는 일반적인 합의에 도달할 때까지 하나 또는 여러 스레드의 질문으로 발표자를 테스트해야 하는 토론 영역이 있을 것입니다.

운이 좋다면 마틴 클레프만(Martin Kleppmann)이 당신의 책에 사인을 해줄 것입니다.

예, Hydra 2020 컨퍼런스 이전, 즉 6월 9~XNUMX일에 SPTDDC 2020 — 분산 컴퓨팅의 이론과 실제에 관한 세 번째 여름 학교입니다. 컨퍼런스에서 느끼기 힘든 감동을 선사할 테니 학교에 대한 이야기는 따로 포스팅하겠습니다.

지금은 무엇입니까? 먼저 Habré 및 소셜 네트워크에서 뉴스를 팔로우하세요(페이스북, Vkontakte, 트위터).

둘째, 이미 컨퍼런스에 참석하고 싶은 참을 수 없는 욕구를 느낀다면 웹사이트를 탐색해 보세요. 구매 티켓.

셋째, 댓글로 Hydra 2020 컨퍼런스 프로그램 위원회와 대화할 수 있는 기회를 놓치지 마세요. PC 회원들은 향후 컨퍼런스 주제에 관해 기꺼이 귀하와 대화를 나눌 것입니다.

하이드라에서 만나요!

출처 : habr.com