Nó Leslie Lamport - tác giả của các công trình cơ bản về điện toán phân tán, và bạn cũng có thể biết anh ấy qua các chữ cái La trong từ LaTeX - "Lamport TeX". Chính ông là người đầu tiên, vào năm 1979, đưa ra khái niệm , và bài báo của anh ấy đã nhận được Giải thưởng Dijkstra (chính xác hơn là vào năm 2000, giải thưởng được gọi theo cách cũ: "Giải thưởng Bài viết có ảnh hưởng của PODC"). Có về anh ấy , nơi bạn có thể nhận được một số liên kết thú vị hơn. Nếu bạn hào hứng với việc giải quyết các vấn đề xảy ra trước hoặc (BFT), họ cần hiểu rằng Lamport đứng đằng sau tất cả.
Và anh ấy sẽ sớm đến dự hội nghị mới của chúng tôi về điện toán phân tán - Hydra, sẽ được tổ chức vào ngày 11-12 tháng XNUMX tại St. Hãy xem đó là loại động vật nào nhé.
thủy lực 2019
Các chủ đề như đa luồng là một số chủ đề nóng nhất tại các hội nghị của chúng tôi, luôn luôn như vậy. Nó chỉ vắng vẻ trong hội trường này, nhưng sau đó một người xuất hiện trên sân khấu, nói về mô hình bộ nhớ, bộ sưu tập rác xảy ra trước hoặc đa luồng và - bùm! - đã có dưới một nghìn người chiếm hết chỗ trống để ngồi xuống và lắng nghe cẩn thận. Bản chất của sự thành công này là gì? Có lẽ thực tế là tất cả chúng ta đều có trong tay một số loại phần cứng có khả năng tổ chức điện toán phân tán? Hay là trong tiềm thức chúng ta hiểu rằng chúng ta không thể tải nó đúng giá trị của nó? Có một câu chuyện thực tế về một lượng tử St. Petersburg (nghĩa là một nhà phân tích và phát triển định lượng tài chính), người đã kết thúc với một cụm máy tính trong tay, chỉ một mình anh ta có thể sử dụng toàn bộ sức mạnh của nó. Và bạn sẽ làm gì nếu phải thực hiện nhiệm vụ của mình với năng lực lớn gấp nhiều lần hiện tại?
Do sự phổ biến này, chủ đề về hiệu suất và tính toán hiệu quả có xu hướng lan rộng trong chương trình hội nghị. Có bao nhiêu trong hai ngày báo cáo có thể được thực hiện về hiệu suất - một phần ba, hai phần ba? Ở một số nơi, có những hạn chế nhân tạo hạn chế sự phát triển này: ngoài hiệu suất, vẫn phải có chỗ cho các khung web mới, cho một số loại nhà phát triển hoặc kiến trúc du hành vũ trụ. Không, hiệu suất, bạn sẽ không ăn tất cả chúng tôi!
Hoặc bạn có thể đi theo hướng ngược lại, từ bỏ và thành thật tổ chức một hội nghị hoàn toàn về điện toán phân tán và chỉ về chúng. Và nó đây, Hydra.
Hãy thành thật thừa nhận rằng ngày nay tất cả máy tính đều được phân phối theo cách này hay cách khác. Cho dù đó là máy đa lõi, cụm máy tính hay dịch vụ phân tán quy mô lớn, có nhiều quy trình ở mọi nơi thực hiện các phép tính độc lập song song, đồng bộ hóa với nhau. Cách nó hoạt động trên lý thuyết và cách nó hoạt động trong thực tế sẽ là trọng tâm của Hydra.
Chương trình hội nghị
Chương trình hiện đang được phát triển. Nó nên bao gồm các báo cáo từ những người sáng lập lý thuyết về hệ thống phân tán và các kỹ sư làm việc với họ trong quá trình sản xuất.
Ví dụ, chúng ta đã biết về sự tham gia của Leslie Lamport từ Microsoft Research và Maurice Herlihy từ Đại học Brown.
Maurice Herlihy - một giáo sư Khoa học máy tính rất nổi tiếng và được kính trọng, cũng có một câu chuyện về ông , nơi bạn có thể xem qua các liên kết và tác phẩm. Ở đó, bạn có thể nhận thấy có tới hai giải thưởng Dijkstra, giải thưởng đầu tiên cho công việc trên , và thứ hai, gần đây hơn - . Nhân tiện, các liên kết thậm chí không dẫn đến SciHub, nhưng đến Đại học Brown và Đại học Công nghệ Virginia, bạn có thể mở và đọc.
Maurice sẽ tổ chức một bài phát biểu quan trọng có tên "Blockchain từ góc độ điện toán phân tán". Nếu quan tâm, bạn có thể xem bản ghi âm báo cáo của Maurice từ JUG St. Petersburg. Đánh giá xem anh ấy truyền đạt chủ đề rõ ràng và dễ hiểu như thế nào.
Bài phát biểu thứ hai có tên "Cấu trúc dữ liệu kép" sẽ đọc Micheal Scott từ Đại học Rochester. Và đoán xem - anh ấy cũng có của riêng mình . Tại quê nhà Wisconsin, ông được biết đến với công việc là trưởng khoa tại Đại học Wisconsin-Madison, và trên thế giới, ông là người đã cùng với Doug Lea phát triển các thuật toán không chặn và hàng đợi đồng bộ mà các thư viện Java chạy trên đó. . Anh ấy đã nhận được Giải thưởng Dijkstra của mình ba năm sau Herlihy, cho công trình "Các thuật toán để đồng bộ hóa khả năng mở rộng trên bộ đa xử lý bộ nhớ dùng chung" (như mong đợi, tại thư viện trực tuyến của Đại học Rochester).
Vẫn còn rất nhiều thời gian cho đến giữa tháng Bảy. Chúng tôi sẽ cho bạn biết về các diễn giả khác và chủ đề của họ khi chúng tôi tinh chỉnh chương trình và đến gần tháng Bảy.
Nói chung, câu hỏi được đặt ra - tại sao chúng ta làm Hydra vào mùa hè? Rốt cuộc, đây là mùa giảm giá, ngày lễ. Vấn đề là có những giáo viên đại học trong số các diễn giả, và bất kỳ thời gian nào khác họ đều bận. Chúng tôi không thể chọn những ngày khác.
khu vực thảo luận
Tại các hội nghị khác, diễn giả đọc những gì cần thiết và bỏ đi ngay lập tức. Những người tham gia thậm chí không có thời gian để tìm kiếm nó - sau tất cả, báo cáo tiếp theo bắt đầu gần như không có khoảng cách. Nó rất đau, đặc biệt là khi những người quan trọng như Lamport, Herlihy và Scott có mặt và bạn thực sự đến hội nghị chỉ để gặp họ và nói về điều gì đó.
Chúng tôi đã giải quyết vấn đề này. Ngay sau báo cáo của mình, diễn giả đi đến một khu vực thảo luận đặc biệt được trang bị ít nhất một bảng trắng có bút dạ và bạn có khá nhiều thời gian. Về mặt hình thức, diễn giả hứa sẽ có mặt ít nhất trong thời gian nghỉ giữa các báo cáo. Trên thực tế, những lĩnh vực thảo luận này có thể kéo dài hàng giờ liền (tùy theo ý muốn và sức chịu đựng của người nói).
Về phần Lamport, nếu tôi hiểu không lầm, anh ấy muốn thuyết phục càng nhiều người càng tốt rằng - Đây là một điều tốt. (). Có lẽ đây sẽ là cơ hội tốt để các kỹ sư học hỏi những điều mới mẻ và hữu ích. Leslie cung cấp tùy chọn này - bất kỳ ai quan tâm có thể xem các bài giảng trước đây của anh ấy và đặt câu hỏi. Đó là, thay vì một bài phát biểu quan trọng, có thể có một phiên hỏi đáp chuyên biệt và sau đó là một khu vực thảo luận khác. Tôi googled một chút và tìm thấy một cái tuyệt vời (chính thức mệnh danh ) và một giờ thuyết trình với Hội nghị thượng đỉnh của Khoa Microsoft.
Nếu bạn coi tất cả những người này là những cái tên được đúc bằng đá granit từ Wikipedia và trên bìa sách, thì đã đến lúc gặp họ trực tiếp! Trò chuyện và đặt câu hỏi mà các trang của bài báo khoa học sẽ không trả lời, nhưng tác giả của chúng sẽ vui lòng liên hệ.
Báo cáo
Không có gì bí mật khi nhiều người hiện đang đọc bài báo không ác cảm với việc tự mình kể một điều gì đó đủ thú vị. Từ quan điểm kỹ thuật, từ quan điểm khoa học, từ bất kỳ quan điểm nào. Điện toán phân tán là một chủ đề rất rộng và sâu, nơi có chỗ cho tất cả mọi người.
Nếu muốn chơi bên cạnh Lamport, điều đó hoàn toàn có thể. Để trở thành một diễn giả, bạn cần , đọc kỹ mọi thứ ở đó và làm theo hướng dẫn.
Hãy bình tĩnh, ngay khi bạn kết nối với quy trình, bạn sẽ được trợ giúp. Ủy ban chương trình có đủ nguồn lực để trợ giúp về bản thân báo cáo, bản chất và thiết kế của nó. Điều phối viên sẽ giúp bạn giải quyết các vấn đề về tổ chức, v.v.
Đặc biệt chú ý đến hình ảnh với ngày tháng. Tháng XNUMX là một ngày khá xa đối với người tham gia và người nói cần bắt đầu hành động ngay bây giờ.
trường SPTĐC
Hội nghị sẽ được tổ chức trên cùng một địa điểm với trường SPTDC, vì vậy đối với tất cả những ai mua vé cho trường, vé hội nghị - với chiết khấu 20%.
- một trường cung cấp một loạt các khóa học về các khía cạnh thực tế và lý thuyết của các hệ thống phân tán, được giảng dạy bởi các chuyên gia được công nhận trong lĩnh vực liên quan.
Trường học sẽ được tổ chức bằng tiếng Anh, vì vậy đây là danh sách các chủ đề được đề cập:
- Cấu trúc dữ liệu đồng thời: tính chính xác và hiệu quả;
- Các thuật toán cho bộ nhớ không bay hơi;
- Khả năng tính toán phân tán;
- học máy phân tán;
- Sao chép máy nhà nước và Paxos;
- khả năng chịu lỗi của Byzantine;
- Khái niệm cơ bản về thuật toán của chuỗi khối.
Các diễn giả sau đây sẽ phát biểu:
- Leslie Lamport (Microsoft);
- Maurice Herlihy (Đại học Brown);
- Michael Scott (Đại học Rochester);
- Dan Alistarh (IST Áo);
- Trevor Brown (Đại học Waterloo);
- Eli Gafni (UCLA);
- Danny Hendler (Đại học Ben Gurion);
- Achour Mostefaoui (Đại học Nantes).
với các báo cáo của trường trước đây có thể được xem miễn phí trên YouTube:
Bước tiếp theo
Chương trình hội nghị vẫn đang được hình thành. Theo dõi tin tức trên Habré hoặc trên các mạng xã hội (, , ).
Nếu bạn thực sự tin tưởng vào hội nghị (hoặc muốn tận dụng mức giá khởi điểm đặc biệt, như người ta nói, "Early Bird") - bạn có thể truy cập trang web và .
Hẹn gặp lại bạn tại Hydra!
Nguồn: www.habr.com