그것 레슬리 램포트 -분산 컴퓨팅의 기본 작업 저자이며 단어의 La 문자로도 그를 알 수 있습니다. LaTeX - "Lamport TeX". 1979년에 처음으로 개념을 도입한 사람은 바로 그 사람이었습니다. 일관된 일관성, 그리고 그의 기사 "다중 프로세스 프로그램을 올바르게 실행하는 다중 프로세서 컴퓨터를 만드는 방법" Dijkstra Award를 수상했습니다. 그에 대해 있습니다 위키피디아 기사, 더 흥미로운 링크를 얻을 수 있습니다. 발생 전 또는 문제 해결에 관심이 있는 경우 비잔틴 장군의 문제 (BFT), 그들은 Lamport가 모든 것의 배후에 있다는 것을 이해해야 합니다.

그리고 그는 곧 상트페테르부르크에서 11월 12-XNUMX일에 개최될 분산 컴퓨팅에 관한 새로운 회의인 Hydra에 참석할 예정입니다. 어떤 종류의 동물인지 봅시다.

히드라 2019

멀티스레딩과 같은 주제는 우리 컨퍼런스에서 항상 그래왔듯 가장 뜨거운 주제 중 하나입니다. 이 홀은 방금 버려졌지만 메모리 모델에 대해 이야기하는 사람이 무대에 나타나 멀티 스레드 가비지 수집 전에 발생합니다. -이미 천 명도 안 되는 사람들이 앉아서 주의 깊게 들을 수 있는 모든 공간을 차지합니다. 이 성공의 본질은 무엇입니까? 우리 모두가 분산 컴퓨팅을 구성할 수 있는 일종의 하드웨어를 손에 쥐고 있다는 사실 때문일까요? 아니면 우리가 그것을 진정한 가치로 적재할 능력이 없다는 것을 무의식적으로 이해하고 있는 것입니까? 한 상트페테르부르크 퀀텀(즉, 재무 양적 분석가이자 개발자)의 실제 이야기가 있습니다. 결국 컴퓨팅 클러스터를 손에 쥐게 되었고 그 전체 기능은 자신만 사용할 수 있습니다. 그리고 지금보다 몇 배나 더 큰 능력으로 업무를 수행해야 한다면 어떻게 하시겠습니까?

이러한 인기로 인해 성능 및 효율적인 컴퓨팅이라는 주제가 회의 프로그램 전체에 퍼지는 경향이 있습니다. 성과에 대한 보고서를 이틀 동안 작성할 수 있는 기간은 XNUMX/XNUMX, XNUMX/XNUMX입니까? 어떤 곳에서는 이러한 성장을 제한하는 인위적인 제한이 있습니다. 성능 외에도 새로운 웹 프레임워크, 일종의 데브옵스 또는 건축 우주 비행을 위한 여지가 여전히 있어야 합니다. 아니, 성능, 당신은 우리 모두를 통째로 먹지 않을 것입니다!

또는 반대 방향으로 가서 포기하고 정직하게 분산 컴퓨팅에 관한 회의를 만들 수 있습니다. 그리고 여기 있습니다, 히드라.

오늘날 모든 컴퓨팅이 어떤 식으로든 분산되어 있음을 솔직히 인정합시다. 멀티 코어 머신이든, 컴퓨팅 클러스터이든, 대규모 분산 서비스이든, 서로 동기화하면서 독립적인 계산을 병렬로 수행하는 많은 프로세스가 도처에 있습니다. 이론적으로 어떻게 작동하고 실제로 어떻게 작동하는지가 Hydra의 초점이 될 것입니다.

컨퍼런스 프로그램

이 프로그램은 현재 개발 중입니다. 여기에는 분산 시스템 이론의 창시자와 프로덕션에서 그들과 함께 작업하는 엔지니어의 보고서가 포함되어야 합니다.

예를 들어 Microsoft Research의 Leslie Lamport와 Brown University의 Maurice Herlihy의 참여에 대해 이미 알고 있습니다.

모리스 헐리히 - 매우 유명하고 존경받는 컴퓨터 과학 교수, 그에 대한 이야기도 있습니다. 위키백과 페이지, 링크 및 작업을 통해 이동할 수 있습니다. 거기에서 두 개의 Dijkstra 상을 볼 수 있습니다. "대기 없는 동기화", 그리고 두 번째, 더 최근 - "트랜잭션 메모리: 잠금 해제 데이터 구조를 위한 아키텍처 지원". 그건 그렇고, 링크는 SciHub로 연결되지 않지만 Brown University 및 Virginia Tech University로 연결되어 열어 읽을 수 있습니다.

Maurice는 "분산 컴퓨팅 관점에서 본 블록체인"이라는 기조연설을 진행할 예정입니다. 관심이 있으시면 St. Petersburg JUG에서 모리스의 보고서 녹음을 볼 수 있습니다. 그가 주제를 얼마나 명확하고 이해하기 쉽게 전달하는지 평가하십시오.

"이중 데이터 구조"라는 두 번째 기조 연설은 다음과 같습니다. 마이클 스콧 로체스터 대학에서. 그리고 맞춰보세요 - 그는 자신의 것도 가지고 있습니다 위키백과 페이지. 위스콘신에 있는 그는 University of Wisconsin-Madison에서 학장으로 일한 것으로 유명하며, 세계적으로는 Doug Lea와 함께 Java 라이브러리가 실행되는 논블로킹 알고리즘과 동기식 대기열을 개발한 사람입니다. 그는 "공유 메모리 멀티프로세서에서 확장 가능한 동기화를 위한 알고리즘"(예상대로, 그녀는 열려있다 University of Rochester의 온라인 도서관에서).

XNUMX월 중순까지는 아직 시간이 많이 남아있습니다. 프로그램을 다듬고 XNUMX월이 다가오면 다른 연사와 주제에 대해 알려드리겠습니다.

일반적으로 여름에 Hydra를 만드는 이유는 무엇입니까? 결국 이것은 비수기, 휴일입니다. 문제는 연사 중에 대학 교수가 있고, 다른 시간은 그들에게 바쁘다는 것입니다. 다른 날짜를 선택할 수 없었습니다.

토론 영역

다른 회의에서는 연사가 필요한 것을 읽고 즉시 떠났습니다. 참가자들은 그것을 찾을 시간조차 없습니다. 결국 다음 보고서는 거의 공백없이 시작됩니다. 특히 Lamport, Herlihy 및 Scott과 같은 중요한 사람들이 거기에 있고 실제로 그들을 만나서 무언가에 대해 이야기하기 위해 실제로 회의에 갈 때 많이 아픕니다.

우리는 이 문제를 해결했습니다. 보고 직후 연사는 적어도 마커가 있는 화이트보드가 있는 특별 토론 공간으로 이동하며 당신에게는 꽤 많은 시간이 있습니다. 공식적으로 연사는 적어도 보고 사이의 휴식 시간 동안 거기에 있을 것을 약속합니다. 실제로 이러한 논의 영역은 수 몇 시간 동안 계속 스트레칭하십시오 (연사의 욕구와 인내에 따라 다름).

Lamport에 관해서는, 내가 올바르게 이해한다면 그는 가능한 한 많은 사람들에게 TLA+ - 이것은 좋은 일입니다. (Wikipedia의 TLA+ 관련 기사). 아마도 이것은 엔지니어에게 새롭고 유용한 것을 배울 수 있는 좋은 기회가 될 것입니다. Leslie는 이 옵션을 제공합니다. 관심 있는 사람은 누구든지 그의 지난 강의를 보고 질문을 할 수 있습니다. 즉, 기조 연설 대신 전문적인 Q&A 세션과 또 다른 토론 영역이 있을 수 있습니다. 구글링 좀 하다가 좋은거 찾았다 TLA+ 과정 (공식적으로 더빙 유튜브 재생목록) 및 XNUMX시간 강의 "코드 이상으로 생각하기" Microsoft Faculty Summit과 함께.

이 모든 사람들을 Wikipedia와 책 표지에 있는 화강암에 새겨진 이름으로 생각했다면 이제 그들을 라이브로 만날 시간입니다! 과학 기사의 페이지에서 답변하지 않는 질문을 채팅하고 물어보십시오. 그러나 저자는 기꺼이 연락할 것입니다.

논문에 대한 전화

지금 이 기사를 읽고 있는 많은 사람들이 자신이 충분히 흥미로운 것을 말하는 것을 싫어하지 않는다는 것은 비밀이 아닙니다. 공학적 관점에서, 과학적 관점에서, 어떤 관점에서든. 분산 컴퓨팅은 모두를 위한 장소가 있는 매우 광범위하고 깊은 주제입니다.

Lamport와 함께 플레이하고 싶다면 전적으로 가능합니다. 스피커가 되려면 다음이 필요합니다. 링크를 따라, 거기의 모든 것을주의 깊게 읽고 지침에 따라 수행하십시오.

침착하십시오. 프로세스에 연결하자마자 도움이 될 것입니다. 프로그램 위원회는 보고서 자체, 본질 및 설계를 도울 수 있는 충분한 자원을 가지고 있습니다. 코디네이터는 조직 문제 등을 처리하는 데 도움을 줄 것입니다.

날짜가 있는 그림에 특별한 주의를 기울이십시오. XNUMX월은 참가자에게 다소 먼 날짜이며 화자는 지금 행동을 시작해야 합니다.

SPTDC 학교

회의는 SPTDC 학교와 같은 장소에서 열리므로 학교 티켓을 구매하는 모든 사람에게 회의 티켓- 20 % 할인.

분산 컴퓨팅 이론 및 실습에 관한 여름 학교(SPTDС) - 관련 분야에서 인정받는 전문가가 가르치는 분산 시스템의 실용적이고 이론적인 측면에 대한 다양한 과정을 제공하는 학교입니다.

학교는 영어로 진행되므로 다루는 주제 목록은 다음과 같습니다.

• 동시 데이터 구조: 정확성 및 효율성;
• 비휘발성 메모리 알고리즘
• 분산 계산 가능성;
• 분산 기계 학습;
• 상태 머신 복제 및 Paxos
• 비잔틴 내결함성;
• 블록체인의 알고리즘 기초.

다음 연사가 연설할 예정입니다.

• 레슬리 램포트(마이크로소프트);
• Maurice Herlihy(브라운 대학);
• Michael Scott(로체스터 대학교);
• Dan Alistarh(IST 오스트리아);
• 트레버 브라운(워털루 대학교);
• 엘리 가프니(UCLA);
• 대니 헨들러(Ben Gurion University);
• Achour Mostefaoui(낭트 대학교).

재생 목록 이전 학교의 보고서는 YouTube에서 자유롭게 볼 수 있습니다.

다음 단계

회의 프로그램은 아직 구성 중입니다. Habré 또는 소셜 네트워크(fb, vk, 트위터).

회의를 정말로 믿는다면 (또는 "Early Bird"라고 말하는 특별 시작 가격을 이용하고 싶다면) 사이트로 이동하여 구매 티켓.

하이드라에서 만나요!

출처 : habr.com