SPTDC 2020 - 분산 컴퓨팅의 실습 및 이론에 관한 세 번째 학교

이론은 당신이 모든 것을 알고 있지만 아무것도 효과가 없을 때입니다.
연습은 모든 것이 작동하지만 아무도 그 이유를 모르는 것입니다.
분산 시스템, 이론과 실습이 결합됩니다.
아무것도 작동하지 않으며 아무도 이유를 모릅니다.

비문의 농담이 완전히 넌센스임을 증명하기 위해 우리는 SPTDC(School on Practice and Theory of Distributed Computing)를 세 번째로 개최합니다. 학교의 역사, 공동 창립자 인 Petr Kuznetsov와 Vitaly Aksyonov, SPTDC 조직에 JUG Ru Group의 참여에 대해 이미 말한 하브르에서. 그러므로 오늘은 2020년 학교에 관한 것, 강의와 강사에 관한 것, 그리고 학교와 학회의 차이점에 관한 것입니다.

SPTDC 학교는 6년 9월 2020일부터 XNUMX일까지 모스크바에서 개최됩니다.

모든 강의는 영어로 진행됩니다. 강의 주제: 지속적인 동시 컴퓨팅, 분산 시스템을 위한 암호화 도구, 합의 프로토콜을 검증하기 위한 공식 방법, 대규모 시스템의 일관성, 분산 기계 학습.

사진 속 캐릭터의 군대 계급이 무엇인지 즉시 짐작하셨습니까? 나는 당신을 좋아합니다.

강사 및 강의

니르 샤빗 (Nir Shavit)은 MIT와 텔아비브 대학의 교수이며 훌륭한 책의 공동 저자입니다. 멀티 프로세서 프로그래밍 기술, 소유자 다익스트라 상 개발 및 구현을 위해 소프트웨어 트랜잭션 메모리 (STM) 및 괴델상 대수 토폴로지를 공유 메모리 컴퓨팅 시뮬레이션에 적용한 공로, 회사 공동 설립자 신경 마법, 기존 CPU에 대한 빠른 기계 학습 알고리즘을 생성하며 물론 자체 위키백과 페이지 대담하고 무더운 사진으로. Nir는 이미 2017년에 우리 학교에 참여하여 차단 기술에 대한 철저한 검토를 제공했습니다(일부 1, 일부 2). 올해 Nir가 무엇을 이야기할지 아직 알 수 없지만 최첨단 과학의 소식을 기대합니다.


마이클 스콧 (Michael Scott)은 로체스터 대학교, 모든 Java 개발자에게 제작자로 알려진 비차단 알고리즘 및 동기식 대기열 Java 표준 라이브러리에서. 물론 Dijkstra의 디자인 어워드와 함께 공유 메모리 컴퓨팅을 위한 동기화 알고리즘 그리고 소유 위키백과 페이지. 작년에 Michael은 우리 학교에서 논블로킹 데이터 구조에 대한 강의를 했습니다(일부 1, 일부 2). 올해 그는 말할 것이다 프로그래밍에 대해 비 휘발성 기억 장치 (NVM)은 "일반" 랜덤 액세스 메모리(DRAM)에 비해 프로그램 복잡성과 메모리 오버헤드를 줄입니다.


이딧 케이다르 (Idit Keidar) - Technion의 교수 및 소유주 허쉬 지수 약 40 (매우, 매우 많이) 이백 과학 기사 분산 컴퓨팅, 멀티스레딩 및 내결함성 분야에서. Eidit은 처음으로 우리 학교에 참여합니다. 강의하다 분산 데이터 웨어하우스 작업의 기본 측면(분산 메모리 에뮬레이션, 합의 개발 및 구성 변경)에 대해 설명합니다.


로드리고 로드리게스 (Rodrigo Rodrigues) - Técnico 교수, 실험실 구성원 이네스아이디 그리고 저자 연구 작업 분산 시스템 분야에서. 올해 우리 학교 Rodrigo에서 말할 것이다 분산 데이터 웨어하우스의 일관성 및 격리에 대해 설명하고 다음을 사용하여 분석할 것입니다. CAP 정리 여러 가지 일관성 및 격리 모델의 실행 가능성.


첸 칭 (Jing Chen)은 Stony Brook에 있는 뉴욕주립대학교의 교수이며 저자입니다. 연구 작업 블록체인 분야의 선두 과학자 알고리즘 — 전적으로 기반 합의 알고리즘을 사용하는 회사 및 블록체인 플랫폼 스테이크의 증거. 올해 우리 학교에서 Chen은 알고랜드 블록체인과 그 흥미로운 속성을 달성하는 방법에 대해 이야기할 것입니다. 네트워크 컴퓨팅 리소스를 요구하지 않고, 거래 내역을 분할할 수 없으며, 블록체인에 추가된 후 거래 처리의 종료를 보장합니다.


크리스티안 카신 (Christian Cachin)은 베른 대학교 교수, 데이터 보호 분야 연구 그룹 책임자, 책 "의 공동 저자"입니다.안정적이고 안전한 분산 프로그래밍 소개”, 블록체인 플랫폼 개발자 하이퍼 레더 직물 (그녀에 대한 하브레에 게시) 및 저자 연구 작업 분산 시스템의 암호화 및 보안 분야에서. 올해 우리 학교 기독교에서 강의하다 분산 컴퓨팅을 위한 암호화 도구에 대한 네 부분: 대칭 및 비대칭 암호화 및 공유 키 암호화, 의사 난수 및 검증 가능한 난수 생성.


마르코 부콜리치 (Marko Vukolic)는 IBM Research의 연구원이며 저자입니다. 작품 Hyperledger Fabric의 블록체인 및 개발자입니다. 우리는 Marco가 올해 우리 학교에서 무엇에 대해 이야기할지 아직 알지 못하지만 블록체인 분야에서 그의 최신 개발에 대해 배우기를 희망합니다: 연구 성능 저하 최대 100대의 시스템 클러스터에 대한 분산 합의 프로토콜, 브로드캐스트 미르 프로토콜 글로벌 질서와 비잔틴 내결함성 또는 블록리스 블록체인 스트림체인트랜잭션 처리 시간 최소화.


프라사드 자얀티 (Prasad Jayanti)는 다트머스 대학의 교수로 엘리트 계층의 일부입니다. 아이비 리그, 그리고 저자 연구 작업 멀티스레드 알고리즘 분야에서 올해 우리 학교 Prasad에서 강의하다 다양한 옵션을 구현하기 위한 스레드 동기화 및 알고리즘에 대해 뮤텍스: 비휘발성 메모리 모델에서 인터럽트 또는 복원 기능이 있고 별도의 읽기 및 쓰기 작업이 있습니다.


알렉세이 고츠만 (Alexey Gotsman)은 IMDEA의 교수이자 저자입니다. 연구 작업 알고리즘의 프로그램 검증 분야에서. Alexey가 올해 우리 학교에서 무엇을 강의할지 아직 알 수 없지만 소프트웨어 검증과 분산 시스템의 교차점에서 주제를 기대하고 있습니다.

왜 이것이 회의가 아니라 학교입니까?

첫째, 강사는 학문적 형식으로 말하고 각각의 큰 강의에서 두 쌍을 읽습니다. "한 시간 반-휴식-한 시간 반 더." 대학을 졸업하고 10시간 동안의 컨퍼런스 강연과 XNUMX분 분량의 YouTube 동영상을 습관화한 이 작업은 까다로울 수 있습니다. 좋은 강사는 세 시간을 모두 흥미롭게 만들겠지만 각자 뇌의 가소성에 책임이 있다.

유용한 힌트: 학교 강의 비디오 녹화 연습 2017 년 과 2019 년. 안녕, 일해-안녕하세요, 비잔틴 장군.

둘째, 강사는 과학적 연구에 초점을 맞추고 기초에 대해 이야기합니다. 분산 시스템 및 병렬 컴퓨팅, 최첨단 과학 뉴스. 당신의 목표가 무언가를 빠르게 코딩하고 다음 날 방과 후 뜨거운 추격으로 프로덕션에 배포하는 것이라면 이 또한 어려울 수 있습니다.

유용한 힌트: 다음에서 학교 강사의 연구 논문을 찾으십시오. Google 학술 검색 и arXiv.org. 과학 논문 읽기를 즐긴다면 학교도 즐거울 것입니다.

셋째, SPTDC 2020 학교는 분산 시스템 및 병렬 컴퓨팅에 관한 회의가 있기 때문에 회의가 아닙니다. 히드라 2020. 최근 Habré에 다음과 같은 게시물이 있었습니다. 프로그램 검토. 작년에 SPTDC와 Hydra는 같은 사이트에서 동시에 열렸습니다. 올해는 날짜가 겹치지 않으므로 시간과 관심을 두고 서로 경쟁하지 않습니다.

유용한 팁: Hydra 회의 프로그램을 확인하고 방과 후 회의 참석도 고려하십시오. 좋은 한 주가 될 것입니다.

학교에 가는 방법?

• 6년 9월 2020일부터 11월 XNUMX일까지의 날짜를 달력에 적으십시오(방과 후 Hydra 회의에 참석하려면 XNUMX월 XNUMX일까지).
• 마음을 먹고 준비하십시오.
• 티켓 선택 그리고 학교에 가십시오.

출처 : habr.com