Recording the global state of a dis

Recording the global state of a distributed system on-the-fly is an important paradigm when one is interested in analyzing, testing, or verifying properties associated with distributed executions. Unfortunately, the lack of both a glob- ally shared memory and a global clock in a distributed system, added to the fact that message transfer delays in these systems are finite but unpredictable, makes this problem non-trivial.
This chapter first defines consistent global states (also called consistent snapshots) and discusses issues which have to be addressed to compute con- sistent distributed snapshots. Then several algorithms to determine on-the-fly such snapshots are presented for several types of networks (according to the properties of their communication channels, namely, FIFO, non-FIFO, and causal delivery).

Kết quả (Việt) 1:

Ghi âm nhà nước toàn cầu của một hệ thống phân phối on-the-fly là một mô hình quan trọng khi một quan tâm đến phân tích, kiểm tra hoặc xác nhận tính chất liên quan đến phân phối xử tử. Thật không may, cả hai thiếu một đồng minh glob chia sẻ bộ nhớ và một chiếc đồng hồ toàn cầu trong một hệ thống phân phối, thêm vào một thực tế rằng thông điệp chuyển sự chậm trễ trong các hệ thống này là hữu hạn nhưng không thể đoán trước, làm cho vấn đề này không nhỏ.Chương này lần đầu tiên định nghĩa phù hợp toàn cầu kỳ (tiếng Anh thường gọi là ảnh chụp nhanh nhất quán) và thảo luận về vấn đề đó phải được giải quyết để tính toán con-sistent phân phối ảnh chụp nhanh. Sau đó một số thuật toán để xác định on-the-fly như ảnh chụp nhanh được trình bày cho một số loại mạng (theo các thuộc tính của giao tiếp kênh, cụ thể là, FIFO,-FIFO, và quan hệ nhân quả giao hàng của họ).

Kết quả (Việt) 2:

Ghi lại trạng thái toàn cầu của một hệ thống phân phối trên-the-fly là một mô hình quan trọng khi có ai quan tâm trong việc phân tích, kiểm nghiệm, hoặc xác minh tài sản gắn liền với hành phân phối. Thật không may, thiếu cả một đồng minh chia sẻ bộ nhớ glob- và một đồng hồ toàn cầu trong một hệ thống phân phối, thêm vào thực tế rằng sự chậm trễ chuyển giao thông trong các hệ thống này là hữu hạn nhưng không thể đoán trước, làm cho vấn đề này không tầm thường.
Chương này đầu tiên xác định phù hợp toàn cầu trạng thái (còn gọi là ảnh chụp nhanh nhất quán) và thảo luận về các vấn đề đó phải được giải quyết để tính sistent con- snapshots phân phối. Sau đó, một số thuật toán để xác định on-the-fly bức ảnh chụp như được trình bày cho một số loại mạng (theo tính chất của các kênh thông tin liên lạc của họ, cụ thể là, FIFO, không FIFO, và giao hàng nhân quả).