Câu hỏi được gắn thẻ «dc.distributed-comp»

Lĩnh vực điện toán phân tán đã giảm đáng kể trong việc phát triển một lý thuyết toán học duy nhất để mô tả các thuật toán phân tán. Có một số 'mô hình' và khung tính toán phân tán đơn giản là không tương thích với nhau. Sự bùng …

41 big-picture  dc.distributed-comp 

Những năm 1980 đã tạo ra cả hai mô hình tính toán song song PRAM và BSP . Có vẻ như thời hoàng kim của cả hai người mẫu là vào cuối những năm 80 và đầu những năm 90. Những lĩnh vực này vẫn còn hoạt động về mặt …

30 ds.algorithms  dc.parallel-comp  dc.distributed-comp 

Lấy cảm hứng từ câu hỏi này , các vấn đề chính và các giải pháp hiện tại cần cải thiện trong lĩnh vực hệ thống phân tán (lý thuyết) là gì. Một cái gì đó như giao thức thành viên, thống nhất dữ liệu?

23 big-list  dc.distributed-comp 

Câu hỏi này đã được di chuyển từ Xác thực chéo vì nó có thể được trả lời trên Trao đổi ngăn xếp khoa học máy tính lý thuyết. Di cư 8 năm trước . Tôi có một vấn đề khá độc đáo để giải quyết và tôi hy vọng …

23 cr.crypto-security  dc.distributed-comp  st.statistics  privacy 

Trong điện toán phân tán, vấn đề đồng thuận dường như là một trong những chủ đề trọng tâm đã thu hút nghiên cứu chuyên sâu. Cụ thể, bài báo "Không thể đồng thuận phân tán với quy trình một lỗi" đã nhận được giải thưởng giấy ảnh hưởng PODC …

19 reference-request  big-picture  dc.distributed-comp 

Câu hỏi này được lấy cảm hứng từ một bình luận Jukka Suomela đưa ra cho một câu hỏi khác . Các ví dụ về các vấn đề tính toán hữu hạn lớn nhưng vô hạn cục bộ (và thuật toán) là gì? Nói cách khác, các ví dụ về …

14 dc.distributed-comp 

Tôi đang đọc bài báo "Fast Paxos" của Leslie Lamport và bị mắc kẹt với các bằng chứng chính xác của cả Paxos cổ điển và Paxos nhanh. Để thống nhất, giá trị vvv được chọn bởi điều phối viên trong giai đoạn2a2một2a ở vòng sẽ thỏa mãniTôii CP(v,i):CP(v,Tôi):CP(v,i): Đối …

13 ds.algorithms  dc.distributed-comp  proofs 

Tuần trước, tôi đã đọc lại bản thảo năm 1982 của Leslie Lamport về một hội nghị mà anh ấy đã đưa ra về các vấn đề đã giải quyết, các vấn đề chưa được giải quyết và các vấn đề không đồng thời . Bài báo có thể dễ …

13 reductions  dc.distributed-comp  concurrency 

Trong giấy bởi Kempe-Kleinberg-Tardos, Authors đề xuất một giải thuật tham lam dựa trên chức năng submodular để xác định nhất nút có ảnh hưởng trong một đồ thị, với các ứng dụng mạng xã hội.kkk Về cơ bản thuật toán diễn ra như sau: S= e m p t …

13 ds.algorithms  graph-theory  dc.distributed-comp  social-sciences  heuristics 

Có hai loại lỗi bộ xử lý chính trong các mô hình điện toán phân tán: (1) Lỗi sự cố: bộ xử lý dừng và không bao giờ khởi động lại. (2) Thất bại của Byzantine: bộ xử lý hành xử bất lợi, độc hại. Câu hỏi của tôi là: …

13 reference-request  dc.distributed-comp 

Vấn đề tin đồn trong các hệ thống phân tán là như sau. Ta có đồ thị với đỉnh. Mỗi đỉnh có một thông điệp phải được gửi đến tất cả các nút.n v m vGGGnnnvvvmvmvm_v Bây giờ, câu hỏi của tôi là trong bối cảnh của mô hình mạng …

13 reference-request  dc.distributed-comp 

Trong các hệ thống kiểm soát phiên bản phân tán (như Mercurial và Git ), cần phải so sánh hiệu quả các đồ thị chu kỳ có hướng (DAG). Tôi là một nhà phát triển Mercurial và chúng tôi sẽ rất thích nghe về công việc lý thuyết thảo luận …

11 cc.complexity-theory  dc.distributed-comp  directed-acyclic-graph 

Bối cảnh: Xử lý giao dịch đã là một chủ đề nghiên cứu truyền thống trong lý thuyết cơ sở dữ liệu. Ngày nay các giao dịch phân tán được phổ biến bởi các hệ thống lưu trữ phân tán quy mô lớn thường liên quan đến phân vùng dữ …

10 reference-request  big-list  dc.distributed-comp  db.databases 

Các thuật toán phân tán có khả năng phục hồi các thất bại có thể là xác định hoặc xác suất. Lấy ví dụ về vấn đề đồng thuận. Paxos mang tính quyết định theo nghĩa đưa ra giả định mà nó đưa ra, nó luôn hoạt động. Tóm lại, …

10 randomized-algorithms  dc.distributed-comp  fault-tolerance 

Trong Chương 13 "Đối tượng nguyên tử" của cuốn sách "Thuật toán phân tán" của Nancy Lynch, tính tuyến tính (còn được gọi là nguyên tử) được chứng minh là một đặc tính an toàn. Điều đó có nghĩa là, thuộc tính theo dõi tương ứng của nó là không …

10 reference-request  fl.formal-languages  dc.distributed-comp  concurrency