Suppose the local state of Account

Suppose the local state of Account A is recorded at time t0 to show $600 and the local state of Account B and channels C12 and C21 are recorded at time t2 to show $120, $50, and $80, respectively. Then the recorded global state shows $850 in the system. An extra $50 appears in the system. The reason for the inconsistency is that Account A’s state was recorded before the $50 transfer to Account B using channel C12 was initiated, whereas channel C12’s state was recorded after the $50 transfer was initiated.
This simple example shows that recording a consistent global state of a distributed system is not a trivial task. Recording activities of individual components must be coordinated appropriately. This chapter addresses the fundamental issue of recording a consistent global state in distributed com- puting systems.
Next section presents the system model and a formal definition of the notion of consistent global state. The subsequent sections present algo- rithms to record such global states under various communication models such as FIFO communication channels, non-FIFO communication channels, and causal delivery of messages. These algorithms are called snapshot recording algorithms.

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

Cho rằng nhà nước địa phương của tài khoản A được ghi lại tại thời gian t0 cho $600 và nhà nước địa phương của tài khoản B và kênh C12 và C21 được ghi lại tại thời gian t2 Hiển thị $120, $50 và $80, tương ứng. Sau đó ghi lại nhà nước toàn cầu cho thấy $850 trong hệ thống. Một phụ $50 xuất hiện trong hệ thống. Lý do cho sự không thống nhất là rằng tài khoản của một bang đã được ghi lại trước khi chuyển về $50 vào tài khoản B bằng cách sử dụng kênh mà C12 đã được khởi xướng, trong khi kênh C12 bang đã được ghi lại sau khi việc chuyển giao $50 đã được khởi xướng.Ví dụ đơn giản này cho thấy rằng ghi âm một nhà nước toàn cầu phù hợp của một hệ thống phân phối không phải là một nhiệm vụ tầm thường. Ghi lại các hoạt động của mỗi thành phần phải được phối hợp một cách thích hợp. Chương này địa chỉ vấn đề cơ bản của ghi âm một nhà nước toàn cầu phù hợp trong phân phối com - đặt hệ thống.Tiếp theo phần trình bày các mô hình hệ thống và một định nghĩa chính thức của các khái niệm của nhà nước toàn cầu phù hợp. Các phần tiếp theo trình bày algo-rithms để ghi lại như vậy kỳ toàn cầu theo mô hình truyền thông khác nhau chẳng hạn như FIFO kênh truyền thông, kênh-FIFO truyền thông và quan hệ nhân quả phân phối các tin nhắn. Các thuật toán danh xưng trong tiếng Pháp là ảnh chụp ghi âm thuật toán.

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

Giả sử nhà nước địa phương của tài khoản A được ghi nhận tại thời điểm t0 để hiển thị $ 600 và nhà nước địa phương của tài khoản B và kênh C12 và C21 được ghi nhận tại thời điểm t2 để hiển thị $ 120, $ 50, và $ 80, tương ứng. Sau đó, các nhà nước toàn cầu ghi lại cho thấy $ 850 trong hệ thống. An thêm $ 50 xuất hiện trong hệ thống. Lý do cho sự không thống nhất là nhà nước Tài khoản A đã được ghi trước khi chuyển $ 50 đến Tài Khoản B sử dụng kênh C12 đã được bắt đầu, trong khi nhà nước kênh C12 đã được ghi sau khi chuyển $ 50 đã được bắt đầu.
Ví dụ đơn giản cho thấy ghi một nhà nước toàn cầu phù hợp của một hệ thống phân phối không phải là một công việc tầm thường. Hoạt động ghi âm các thành phần riêng lẻ phải được phối hợp một cách thích hợp. Chương này đề cập đến các vấn đề cơ bản của ghi một nhà nước toàn cầu nhất quán trong hệ thống puting ty phân phối.
Phần tiếp theo trình bày mô hình hệ thống và một định nghĩa chính thức về khái niệm nhà nước toàn cầu nhất quán. Các phần tiếp theo trình bày algo- rithms để ghi lại trạng thái toàn cầu đó theo mô hình truyền thông khác nhau như kênh FIFO truyền thông, các kênh truyền thông không FIFO, và giao hàng nhân quả của thông điệp. Các thuật toán được gọi là thuật toán ghi ảnh chụp.