Lý thuyết là khi bạn biết mọi thứ nhưng không có gì hiệu quả.
Thực hành là khi mọi thứ hoạt động nhưng không ai biết tại sao.
hệ thống phân phối, lý thuyết và thực hành được kết hợp:
không có gì hoạt động và không ai biết tại sao.
Để chứng minh rằng trò đùa trong sử thi là hoàn toàn vô nghĩa, chúng tôi đang tổ chức SPTDC (trường về thực hành và lý thuyết về điện toán phân tán) lần thứ ba. Về lịch sử của trường, những người đồng sáng lập Petr Kuznetsov và Vitaly Aksyonov, cũng như sự tham gia của Tập đoàn JUG Ru trong tổ chức SPTDC, chúng tôi đã có nói trên Habr. Vì vậy, hôm nay là về trường học vào năm 2020, về các bài giảng và giảng viên, cũng như về sự khác biệt giữa trường học và hội nghị.
Trường SPTDC sẽ được tổ chức từ ngày 6 đến ngày 9 tháng 2020 năm XNUMX tại Moscow.
Tất cả các bài giảng sẽ bằng tiếng Anh. Chủ đề bài giảng: tính toán đồng thời liên tục, công cụ mã hóa cho hệ thống phân tán, phương pháp chính thức để xác minh giao thức đồng thuận, tính nhất quán trong hệ thống quy mô lớn, máy học phân tán.
Bạn có đoán ngay được quân hàm của các nhân vật trong hình là gì không? Tôi ngưỡng mộ bạn.
Giảng viên và bài giảng
Nir Shavit (Nir Shavit) là giáo sư tại Đại học MIT và Tel Aviv, đồng tác giả của một cuốn sách hay Nghệ thuật lập trình đa xử lý, người sở hữu Giải Dijkstra cho việc phát triển và thực hiện bộ nhớ giao dịch phần mềm (STM) và Giải Gödel cho công việc của mình về việc áp dụng cấu trúc liên kết đại số để mô phỏng điện toán bộ nhớ dùng chung, đồng sáng lập của công ty Ma thuật thần kinh, tạo ra các thuật toán học máy nhanh cho các CPU thông thường, và tất nhiên, có các thuật toán của riêng nó trang Wikipedia với nhiếp ảnh bảnh bao và oi bức. Nir đã tham gia vào trường của chúng tôi vào năm 2017, nơi anh ấy đã đưa ra đánh giá toàn diện về các kỹ thuật chặn (Phần 1, Phần 2). Chúng tôi chưa biết Nir sẽ nói về điều gì trong năm nay, nhưng chúng tôi hy vọng sẽ nhận được tin tức từ khoa học tiên tiến nhất.
Micheal Scott (Michael Scott) là một nhà nghiên cứu tại Đại học Rochester, được tất cả các nhà phát triển Java biết đến với tư cách là người tạo ra thuật toán không chặn và hàng đợi đồng bộ từ thư viện chuẩn Java. Tất nhiên, với Giải thưởng Thiết kế của Dijkstra thuật toán đồng bộ hóa cho tính toán bộ nhớ dùng chung và sở hữu trang Wikipedia. Năm ngoái, Michael đã có một bài giảng ở trường chúng tôi về cấu trúc dữ liệu không chặn (Phần 1, Phần 2). Năm nay anh ấy sẽ nói về lập trình sử dụng bộ nhớ không bay hơi (NVM), giúp giảm độ phức tạp của chương trình và chi phí bộ nhớ so với bộ nhớ truy cập ngẫu nhiên (DRAM) "thông thường".
Idit Keidar (Idit Keidar) - Giáo sư tại Technion và chủ sở hữu chỉ số Hirsch khoảng 40 (rất, rất nhiều) cho hai trăm bài báo khoa học trong lĩnh vực điện toán phân tán, đa luồng và khả năng chịu lỗi. Eidit lần đầu tiên tham gia vào trường của chúng tôi, nơi cô ấy giảng bài về các khía cạnh cơ bản của công việc của kho dữ liệu phân tán: mô phỏng bộ nhớ phân tán, phát triển đồng thuận và thay đổi cấu hình.
Rodrigo Rodríguez (Rodrigo Rodrigues) - giáo sư tại Técnico, thành viên của phòng thí nghiệm ID INESC và tác giả công việc nghiên cứu trong lĩnh vực hệ thống phân tán. Năm nay tại trường của chúng tôi Rodrigo sẽ nói về tính nhất quán và cách ly trong kho dữ liệu phân tán và cũng sẽ phân tích bằng cách sử dụng định lý CAP tính khả thi trong thực tế của một số mô hình nhất quán và biệt lập.
Trần Chính (Jing Chen) là giáo sư tại Đại học Bang New York ở Stony Brook, tác giả công việc nghiên cứu trong lĩnh vực blockchain và một nhà khoa học hàng đầu trong Algorand — một công ty và một nền tảng chuỗi khối sử dụng thuật toán đồng thuận hoàn toàn dựa trên Bằng chứng về cổ phần. Năm nay tại trường của chúng tôi, Chen sẽ nói về chuỗi khối Algorand và các cách để đạt được các đặc tính thú vị của nó: không yêu cầu tài nguyên máy tính mạng, không thể chia tách lịch sử giao dịch và đảm bảo kết thúc quá trình xử lý giao dịch sau khi được thêm vào chuỗi khối.
Christian Kashin (Christian Cachin) là giáo sư tại Đại học Bern, trưởng nhóm nghiên cứu trong lĩnh vực bảo vệ dữ liệu, đồng tác giả cuốn sách "Giới thiệu về lập trình phân tán đáng tin cậy và an toàn”, nhà phát triển nền tảng blockchain Vải Hyperledger (về cô ấy thậm chí là đăng trên Habre) và tác giả công việc nghiên cứu trong lĩnh vực mật mã và bảo mật trong các hệ thống phân tán. Năm nay tại trường Christian của chúng tôi giảng bài trong bốn phần về các công cụ mật mã cho điện toán phân tán: mật mã đối xứng và bất đối xứng, cũng như về mật mã khóa dùng chung, số giả ngẫu nhiên và tạo số ngẫu nhiên có thể kiểm chứng.
Marko Vukolic (Marko Vukolic) là nhà nghiên cứu tại IBM Research, tác giả công trình trong blockchain và nhà phát triển của Hyperledger Fabric. Chúng tôi chưa biết Marco sẽ nói gì ở trường của chúng tôi trong năm nay, nhưng chúng tôi hy vọng sẽ tìm hiểu về những phát triển mới nhất của anh ấy trong lĩnh vực blockchain: nghiên cứu suy giảm hiệu suất giao thức đồng thuận phân tán trên các cụm lên tới 100 máy, quảng bá giao thức Mir với trật tự toàn cầu và khả năng chịu lỗi Byzantine hoặc chuỗi khối không khối StreamChaingiảm thiểu thời gian xử lý giao dịch.
Prasad Jayanti (Prasad Jayanti) là giáo sư tại Đại học Dartmouth, thuộc giới thượng lưu giải đấu thường xuân, và tác giả công việc nghiên cứu trong lĩnh vực thuật toán đa luồng. Năm nay ở trường chúng tôi Prasad giảng bài về đồng bộ hóa luồng và thuật toán để triển khai các tùy chọn khác nhau câm: với các chức năng ngắt hoặc khôi phục trong các kiểu bộ nhớ cố định, và với các thao tác đọc và ghi riêng biệt.
Alexey Gotsman (Alexey Gotsman) là giáo sư tại IMDEA và là tác giả công việc nghiên cứu trong lĩnh vực kiểm định chương trình của thuật toán. Chúng tôi vẫn chưa biết Alexey sẽ giảng gì tại trường của chúng tôi trong năm nay, nhưng chúng tôi đang mong chờ một chủ đề giao thoa giữa xác minh phần mềm và hệ thống phân tán.
Tại sao đây là một trường học mà không phải là một hội nghị?
Đầu tiên, các giảng viên nói theo định dạng học thuật và đọc hai cặp trong mỗi bài giảng lớn: "một tiếng rưỡi - nghỉ giải lao - một tiếng rưỡi nữa." Sau nhiều năm ra trường, với thói quen nói chuyện hội nghị kéo dài hàng giờ và xem video YouTube dài 10 phút, điều này có thể khó khăn. Một giảng viên giỏi sẽ làm cho cả ba giờ trở nên thú vị, nhưng mọi người đều phải chịu trách nhiệm về tính linh hoạt của bộ não của chính họ.
Gợi ý hữu ích: Thực hành ghi hình các bài giảng ở trường trong 2017 năm và 2019 năm. Tạm biệt, công việc - xin chào, các tướng lĩnh Byzantine.
Thứ hai, các giảng viên tập trung vào nghiên cứu khoa học và nói về các nguyên tắc cơ bản hệ thống phân tán và tính toán song song, cũng như tin tức từ khoa học tiên tiến nhất. Nếu mục tiêu của bạn là nhanh chóng viết mã một cái gì đó và triển khai nó để sản xuất vào ngày hôm sau sau giờ học, thì điều này cũng có thể khó khăn.
Gợi ý hữu ích: Hãy tìm các bài nghiên cứu của các giảng viên trong trường tại Google Scholar и arXiv.org. Nếu bạn thích đọc các bài báo khoa học, bạn cũng sẽ thích trường học.
Thứ ba, trường SPTDC 2020 không phải là hội nghị, vì hội nghị về hệ thống phân tán và tính toán song song là thủy lực 2020. Gần đây trên Habré có một bài đăng với xem xét chương trình của nó. Năm ngoái, SPTDC và Hydra diễn ra đồng thời trên cùng một địa điểm. Năm nay chúng không trùng nhau về ngày tháng nên không tranh giành thời gian và sự chú ý của bạn với nhau.
Lời khuyên hữu ích: Hãy xem chương trình hội nghị Hydra và cân nhắc việc tham dự hội nghị sau giờ học. Đây sẽ là một tuần tốt lành.
Làm thế nào để đến trường?
- Viết các ngày từ ngày 6 tháng 9 đến ngày 2020 tháng 11 năm XNUMX vào lịch (hoặc tốt hơn là trước ngày XNUMX tháng XNUMX để đi dự hội nghị Hydra sau giờ học).
- Hãy can đảm, hãy sẵn sàng.
- Chọn vé và đi học.
Nguồn: www.habr.com