세 명의 Dijkstra Prize 수상자: Hydra 2019 및 SPTDC 2019의 진행 과정

가장 최근에는 8월 12일부터 XNUMX일까지 두 가지 중요한 행사가 동시에 열렸습니다. 히드라 그리고 학교 SPTDC. 이번 포스팅에서는 컨퍼런스 중에 발견한 몇 가지 기능을 강조하고 싶습니다.

Hydra와 School의 가장 큰 자부심은 스피커입니다.

• 세 명의 수상자 다익스트라 상: 레슬리 램포트, 모리스 헐리히, 마이클 스콧. 게다가 모리스는 그것을 두 번이나 받았습니다. 레슬리 램포트(Leslie Lamport)도 받았습니다. 튜링 상 — 컴퓨터 과학 분야에서 가장 권위 있는 ACM 상입니다.
• Java JIT 컴파일러의 창시자는 Cliff Click입니다.
• Corutin 개발자 - Roman Elizarov(엘리자로프) 및 니키타 코발(엔드코발) Kotlin의 경우, Dmitry Vyukov는 Go의 경우;
• Cassandra(Alex Petrov), CosmosDB(Denis Rystsov), Yandex Database(Semyon Checherinda 및 Vladislav Kuznetsov)의 기여자;
• 그리고 다른 많은 유명한 사람들: Martin Kleppmann(CRDT), Heidi Howard(Paxos), Ori Lahav(C++ 메모리 모델), Pedro Ramalhete(대기 없는 데이터 구조), Alexey Zinoviev(ML), Dmitry Bugaichenko(그래프 분석).

그리고 여긴 이미 학교야:

• 브라운대학교(Maurice Herlihy),
• 로체스터 대학교(마이클 스콧),
• 워털루 대학교(트레버 브라운),
• 낭트대학교(Achour Mostefaoui),
• 네게브의 데이비드 벤구리온 대학교(대니 헨들러),
• 캘리포니아 대학교 로스앤젤레스 캠퍼스(Eli Gafni),
• 파리 폴리테크닉 연구소(Petr Kuznetsov),
• 마이크로소프트 리서치(Leslie Lamport),
• VMware Research(이타이 아브라함).

이론과 실제, 과학과 생산

SPTDC 학교는 XNUMX명을 위한 소규모 행사이며, 세계적 수준의 유명 인사들이 그곳에 모여 분산 컴퓨팅 분야의 현대적 문제에 대해 이야기한다는 점을 상기시켜 드립니다. Hydra는 이틀 동안 동시에 개최되는 분산 컴퓨팅 컨퍼런스입니다. Hydra는 엔지니어링에 더 중점을 두고 있으며 School은 과학에 더 중점을 두고 있습니다.

Hydra 회의의 목표 중 하나는 과학과 공학 원리를 결합하는 것입니다. 한편으로 이는 프로그램에서 보고서를 선택하여 달성됩니다. Lamport, Herlihy 및 Scott과 함께 Cassandra에 기여한 Alex Petrov 또는 JetBrains의 Roman Elizarov가 적용한 보고서가 훨씬 더 많습니다. 스타트업을 만들고 판매하던 마틴 클레프만(Martin Kleppman)이 있는데, 지금은 케임브리지 대학에서 CRDT를 공부하고 있습니다. 하지만 멋진 점은 Hydra와 SPTDC가 나란히 개최된다는 것입니다. 보고서는 서로 다르지만 의사소통을 위한 공통 장소입니다.

담금

연속 XNUMX일간의 학교 행사는 참가자와 주최자 모두에게 매우 큰 행사이자 많은 업무량입니다. 모든 사람이 마지막 날까지 살아남은 것은 아닙니다. 히드라와 학교를 동시에 다니는 사람들도 있었는데, 그들에게는 마지막 날이 가장 다사다난한 날이었다. 이 모든 소란은 엄청나게 깊은 몰입으로 상쇄됩니다. 이는 양뿐만 아니라 재료의 품질 때문이기도 합니다. 두 행사의 모든 보고서와 강의는 입문용으로 계획된 것이 아니었기 때문에 어디를 가든지 즉시 깊고 깊게 뛰어들고 끝까지 놓칠 수 없습니다.

물론 많은 것은 참가자의 초기 준비에 달려 있습니다. 복도에 있던 두 그룹의 사람들이 독립적으로 하이디 하워드의 보고서에 대해 토론하는 재미있는 순간이 있었습니다. 어떤 사람들에게는 그것이 완전히 평범해 보였고, 다른 사람들에게는 삶에 대해 깊이 생각했습니다. (익명을 원한) 프로그램 위원회 참가자들에 따르면 Hydra의 보고서와 학교 행사에서의 강의가 과대평가될 수 있다는 점이 흥미롭습니다. 예를 들어, PHP 후배가 인생을 배우기 위해 PHP 컨퍼런스에 왔다면, 그가 Zend 엔진의 내부에 대해 깊은 지식을 가지고 있다고 가정하는 것은 약간 경솔할 것입니다. 여기서 화자들은 후배들에게 숟가락으로 떠먹여주는 것이 아니라 어느 정도의 지식과 이해를 즉각 암시했다. 실제로 분산 시스템을 운영하고 런타임 커널을 작성하는 참여자의 수준이 매우 높다는 것은 논리적입니다. 참가자들의 반응을 보면 수준과 주제에 따라 보고서를 선택하는 것이 꽤 쉬웠습니다.

구체적인 보도를 말하자면, 다 나름대로 좋았다. 사람들이 말하는 내용과 피드백 양식에서 볼 수 있는 내용으로 판단할 때 학교에서 가장 멋진 보고서 중 하나는 다음과 같습니다. "비차단 데이터 구조" 마이클 스콧(Michael Scott), 그는 모두를 찢어버렸고, 그의 평점은 약 4.9 정도였습니다.

메타컨퍼런스

히드라와 학교가 시작되기 오래 전, 루슬란 ARG89 일종의 "메타 컨퍼런스", 즉 다른 이벤트의 모든 최고 참가자가 마치 블랙홀에 빠지는 것처럼 자동으로 빨려 들어가는 컨퍼런스 컨퍼런스가 있을 것이라고 가정했습니다. 그래서 그런 일이 일어났습니다! 예를 들어, 학교의 학생들 사이에서 주목을 받았습니다. 루슬란 체레민 멀티스레딩 분야의 유명한 전문가인 DeutscheBank의 제품입니다.

그리고 히드라 멤버들 중 주목을 받은 것은 바딤 체스코 (인큐보) 그리고 안드레이 판인 (아팡인) Odnoklassniki 회사에서. (동시에 Vadim은 Martin Kleppman과의 두 번의 훌륭한 인터뷰에도 도움을 주었습니다. 하브르를 위한 하나, 다른 하나는 온라인 방송 시청자용). 회원들이 있었어요 DotNext 프로그램 위원회, 유명한 연사 Anatoly Kulakov와 Igor Labutin. Javist가 있었다 드미트리 알렉산드로 и 블라디미르 이바노프. 일반적으로 이러한 사람들은 DotNext의 dotnetists, Joker의 javaists 등 완전히 다른 위치에서 볼 수 있습니다. 그래서 그들은 히드라 보고서에 나란히 앉아 버프에 대한 문제를 함께 논의합니다. 프로그래밍 언어와 기술에 의한 약간 인위적인 구분이 사라지면 주제 영역의 특징이 드러납니다. 동적 런타임 전문가는 다른 런타임 전문가와 통신하고, 분산 컴퓨팅 이론 연구원은 다른 연구원과 열띤 논쟁을 벌이고, 데이터베이스 엔진 엔지니어는 화이트보드를 가득 채웁니다. .

보고서에서 C++ 메모리 모델에 따르면 OpenJDK 개발자는 맨 앞줄에 앉아 있었습니다. (적어도 저는 그들을 눈으로 봤지만 Python주의자는 아니었습니다. 아마도 Python주의자도 거기에 있었을 것입니다.) 사실 이 보고서에는 Shipilevsky와 같은 내용이 있습니다... Ori는 정확히 똑같은 것을 말하지는 않지만 주의 깊게 보면 유사점을 발견할 수 있습니다. 최신 C++ 표준에서 일어난 모든 일에도 불구하고, 허공 값과 같은 문제는 여전히 수정되지 않았으므로 그러한 보고서에 가서 "바리케이드 반대편에 있는" 사람들이 어떻게 지내는지 들어볼 수 있습니다. 이러한 문제를 해결하려고 노력하면서 발견된 솔루션에 대한 접근 방식에 깊은 인상을 받을 수 있습니다(Ori에는 수정 옵션 중 하나가 있습니다).

프로그램 위원회와 커뮤니티 엔진에 많은 참여자가 있었습니다. 모두가 종교 간 문제를 해결하고 다리를 건설하고 연결을 얻었습니다. 나는 이것을 가능한 한 어디에서나 사용했으며, 예를 들어 Alexander Borgardt의 의견에 동의했습니다. 모스크바 C++ 사용자 그룹 C++의 액터와 비동기성에 관한 본격적인 기사를 함께 작성합니다.

사진 속 : Leonid Talalaev (이탈랄, 왼쪽) 및 Oleg Anastasyev (멍청이, 오른쪽), Odnoklassniki의 주요 개발자

불 토론 구역 및 버프

컨퍼런스에는 항상 주제와 발표자를 아는 참가자가 있습니다(때로는 발표자보다 더 나은 경우도 있습니다. 예를 들어 참가자 중에 일부 기술의 핵심 개발자가 있는 경우). Hydra에는 매우 전문적인 참가자가 많이있었습니다. 예를 들어, Alex Petrov 주변의 어느 시점에서 카산드라에 대해서, 너무 많은 사람들이 형성되어 모든 사람에게 대답할 수 없었습니다. 어느 순간 알렉스는 순순히 옆으로 밀리고 질문으로 찢기 시작했지만, 떨어지는 깃발은 서클에서 유명한 Rust 개발자에 의해 주워졌습니다. 타일러 닐리 그리고 부하의 균형을 완벽하게 맞추었습니다. 내가 타일러에게 온라인 인터뷰에 대한 도움을 요청했을 때 그는 "언제 시작하나요? "라고만 물었습니다.

때때로 토론의 정신이 보고서에까지 침투했습니다. Nikita Koval은 보고서를 여러 섹션으로 나누어 갑작스러운 Q&A 세션을 조직했습니다.

그리고 그 반대로 멀티스레딩을 위한 BOF에서는 비휘발성 메모리에 대해 기억하고 이 bof에 끌렸습니다. 페드로 라말헤테 수석 전문가로서 그는 모든 사람에게 모든 것을 설명했습니다. 즉, 비휘발성 메모리는 가까운 미래에 우리에게 위협이 되지 않습니다. 그런데 이 Bof의 호스트 중 한 명은 다음과 같습니다. 블라디미르 시트니코프, 엄청나게 많은 컨퍼런스의 프로그램 위원회에서 활동하고 있는 사람입니다... 지금 당장은 한 번에 다섯 명 정도 되는 것 같습니다. "현실 세계의 현대 CS"에 대한 다음 버프에서 그들은 NVM에 대해서도 논의했고 완전히 스스로 이 문제에 이르렀습니다.

이야기에 직접 관련된 사람들도 눈치 채지 못했을 수도 있는 초인적인 통찰력을 공유할 수 있습니다. Eli Gafni는 학교 첫날 저녁에 공연을 했고, 다음날 그는 머물면서 Lamport를 트롤링하기 시작했는데, 겉으로는 이것이 게임인 것처럼 보였고 Eli는 부적절했습니다. 이것은 레슬리의 뇌를 꺼내기 시작한 일종의 트롤이라는 것입니다. 사실, 그들은 거의 가장 친한 친구이고 수년 동안 친구였으며 이것은 정말 친근한 농담입니다. 즉, 농담이 효과가있었습니다. 주변의 모든 사람들이 그것에 빠져 액면 그대로 받아 들였습니다.

이와 별도로, 저는 연사들이 이 일에 얼마나 많은 사랑과 노력을 쏟았는지 주목하고 싶습니다. 누군가 마지막 순간까지 거의 몇 시간 동안 토론 공간에 서 있었습니다. 휴식은 오래 전에 끝났고 보고서가 시작되고 끝났고 다음 휴식이 시작되었습니다. 드미트리 뷰코프 질문에 계속 대답했다. 나에게도 흥미로운 이야기가 일어났습니다. Cliff Click을 놀라게 한 나는 테스트 부족에 대한 도발적인 토론에 대해 명확하고 합리적인 설명을 받았을 뿐만 아니라 H2O의 특정 것들에 대해에 대한 전체 리뷰도 받았습니다. 새로운 언어 AA. 나는 이것을 요청한 적이 없습니다. 단지 AA에 대해 무엇을 읽을 수 있는지 물었을 뿐입니다. 팟캐스트) 대신 Cliff는 언어에 대해 이야기하고 자신이 말하는 내용이 올바르게 이해되었는지 확인하는 데 XNUMX분을 보냈습니다. 기이. AA에 대한 하브라포스트를 작성해야 합니다. 또 다른 특이한 경험은 Kotlin에서 풀 요청 검토 프로세스를 지켜보는 것이었습니다. 다양한 토론 그룹, 다양한 연사에 참여하고 완전히 새로운 세계로 빠져드는 것은 정말 마법 같은 느낌입니다. 이건 뭔가 수준이네 라디오헤드의 '거기, 거기'.

영어

Hydra 2019는 주요 언어가 영어인 첫 번째 컨퍼런스입니다. 이는 장점과 과제를 동시에 가져옵니다. 분명한 이점은 사람들이 러시아에서만 회의에 참석하는 것이 아니라 참가자들 중에서 유럽의 엔지니어와 영국의 과학자를 만날 수 있다는 것입니다. 연사는 학생들을 데려옵니다. 일반적으로 중요한 연사들은 그러한 컨퍼런스에 참석하려는 동기가 훨씬 더 높습니다. 당신이 완전한 러시아어 회의의 연사라고 상상해보십시오. 당신은 보고서를 제출하고 토론 영역을 옹호했으며 그 다음에는 무엇을 했습니까? 도시를 여행하고 관광명소를 구경하시나요? 사실, 정말 인기 있는 연사들은 이미 세상의 모든 것을 충분히 보아서 사자와 도개교를 보러 가고 싶어하지 않고 지루합니다. 모든 보고서가 영어로 작성된 경우 일반 회의에 참여하고, 즐거운 시간을 보내고, 토론 영역에 참여하는 등의 작업을 할 수 있습니다. 분위기는 스피커에 대해 매우 우호적입니다.

명백한 단점은 모든 사람이 영어로 의사소통하는 것이 편안하지 않다는 것입니다. 많은 사람들이 잘 이해하지만 말을 잘 하지 못합니다. 일반적으로 다른 방법으로 해결되는 일반적인 것입니다. 예를 들어, 일부 토론 영역은 러시아어로 시작되었지만 영어를 사용하는 첫 번째 참가자가 등장하자 즉시 영어로 전환되었습니다.

나 자신은 온라인 방송의 개회식과 폐회식을 영어로만 포함시켜야 했고, 전문가들과의 현장 인터뷰에 몇 차례 참여해야 했습니다. 그리고 이것은 나에게 곧 잊혀지지 않을 진정한 도전이었습니다. 어느 시점에서 Oleg Anastasyev (멍청이) 인터뷰하는 동안 옆에 앉아 있으라고만 했고, 저는 너무 느려서 그게 무슨 뜻인지 이해하지 못했습니다.

반면에 리포트에 질문을 던지는 사람들이 펑펑 터지는 모습은 매우 즐거웠습니다. 원어민뿐만 아니라 일반 사람들 모두가 잘 했어요. 다른 회의에서는 사람들이 청중에게 서투른 영어로 질문하는 것을 부끄러워하고 토론 영역에서만 뭔가를 짜낼 수 있는 것을 종종 볼 수 있습니다. 이곳은 완전히 달랐습니다. 상대적으로 말하면 일부 Cliff Click은 보고서를 조금 더 일찍 마쳤고 그 후 질문이 연속적으로 이어지면서 대화는 어색한 일시 중지나 중단 없이 토론 영역으로 이동했습니다. Leslie Lamport의 Q&A 세션에도 동일하게 적용됩니다. 발표자는 실제로 질문을 할 필요가 없었고 참가자들이 모든 것을 생각해냈습니다.

거의 눈에 띄지 않는 온갖 종류의 작은 것들이 있었지만 존재했습니다. 컨퍼런스가 영어로 진행되기 때문에 전단지, 지도 등의 디자인이 더욱 가볍고 간결해졌습니다. 언어를 복제하거나 디자인을 어수선하게 만들 필요가 없습니다.

후원 및 전시

우리 스폰서들이 컨퍼런스를 준비하는 데 많은 도움을 주었습니다. 덕분에 쉬는 시간에도 할 일이 늘 있었다.

스탠드에서 도이체방크 테크센터 멀티 스레드 시스템 엔지니어와 대화를 나누고, 문제를 머리 속에서 해결하고, 기억에 남는 상품을 획득하고 즐거운 시간을 보낼 수 있습니다.

스탠드에서 윤곽 오픈 소스와 오픈 소스 모두에서 분산형 인메모리 데이터베이스, 분산 바이너리 로그, 마이크로서비스 오케스트레이션 시스템, 원격 측정을 위한 범용 전송 등 자체 시스템에 대해 이야기할 수 있습니다. 물론, 퍼즐과 대회, 바이너리 고양이와 고통받는 중세 시대의 스티커, 마틴 클레프만(Martin Kleppmann)의 책과 레고 피규어 같은 선물도 있습니다.

Kontur 문제 분석은 이미 완료되었습니다. Habré에 게재됨. 좋은 분석이네요 볼만한 가치가 있습니다.

원하는 사람은 온갖 종류의 책을 구입하고 동료들과 토론할 수 있었습니다. 사인회를 위해 많은 사람들이 모였습니다!

결과

Hydra 컨퍼런스와 SPTDC 학교는 조직 회사로서 우리와 전체 커뮤니티를 위해 매우 중요한 행사입니다. 이는 우리의 미래를 내다보고, 현대 문제를 논의하기 위한 통일된 개념적 틀을 개발하며, 흥미로운 방향을 자세히 살펴보는 기회입니다. 멀티스레딩은 아주 오랫동안 존재해 왔지만, 이 현상이 널리 퍼지기까지는 최초의 진정한 멀티 코어 프로세서가 등장한 후 XNUMX년이 걸렸습니다. 이번 주 보고서에서 우리가 들은 것은 덧없는 뉴스가 아니라 앞으로 우리가 따라갈 밝은 미래로 가는 길입니다. 이 게시물에는 다음 Hydra에 대한 스포일러가 없지만 최선을 다할 수 있습니다. 이와 같은 문제에 관심이 있다면 하드코어 컨퍼런스 토크와 같은 다른 이벤트를 확인해 보세요. 조커 2019 또는 DotNext 2019 모스크바. 다음 컨퍼런스에서 뵙겠습니다!

출처 : habr.com