Exactly-Once and At-Most-Once Seman

Exactly-Once and At-Most-Once Semantics
Using locks for tasks (as with the case of master election) is not sufficient to avoid having
tasks executed multiple times because we can have, for example, the following succession
of events:
1. Master M1 assigns Task T1 to Worker W1.
2. W1 acquires the lock for T1, executes it, and releases the lock.
3. Master M1 suspects that W1 has crashed and reassigns Task T1 to worker W2.
4. W2 acquires the lock for T1, executes it, and releases the lock.
Here, the lock over T1 did not prevent the task from being executed twice because the
two workers did not interleave their steps when executing the task. To deal with cases
in which exactly-once or at-most-once semantics are required, an application relies on
mechanisms that are specific to its nature. For example, if application data has timestamps
and a task is supposed to modify application data, then a successful execution
of the task could be conditional on the timestamp values of the data it touches. The
application also needs the ability to roll back partial changes in the case that the application
state is not modified atomically; otherwise, it might end up with an inconsistent
state.
The bottom line is that we are having this discussion just to illustrate the difficulties
with implementing these kinds of semantics for applications. It is not within the scope
of this book to discuss in detail the implementation of such semantics

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

Chính xác-một lần và ngữ nghĩa tại hầu hết-một lầnBằng cách sử dụng ổ khóa cho nhiệm vụ (như với trường hợp của cuộc bầu cử tổng thể) là không đủ để tránh việcnhiệm vụ thực hiện nhiều lần vì chúng tôi có thể có, ví dụ, kế vị sausự kiện:1. tổng thể M1 đặt nhiệm vụ T1 công nhân W1.2. W1 mua lại khóa cho T1, thực hiện nó, và phát hành các khóa.3. chủ M1 nghi ngờ rằng W1 đã rơi và reassigns nhiệm vụ T1 cho nhân viên W2.4. W2 mua lại khóa cho T1, thực hiện nó, và phát hành các khóa.Ở đây, khóa trên T1 không ngăn cản việc đang được thực hiện hai lần vì cáchai công nhân đã không interleave bước của họ khi thực hiện nhiệm vụ. Để đối phó với trường hợptrong đó chính xác-một lần hoặc tại hầu hết-một lần ngữ nghĩa được yêu cầu, một ứng dụng dựa trêncơ chế cụ thể đối với bản chất của nó. Ví dụ, nếu dữ liệu ứng dụng có dấu thời gianvà một nhiệm vụ là nghĩa vụ phải sửa đổi dữ liệu ứng dụng, sau đó là một thực hiện thành côngcác nhiệm vụ có thể là điều kiện về giá trị dấu thời gian của dữ liệu nó chạm. Cácứng dụng cũng cần khả năng quay trở lại một phần thay đổi trong trường hợp mà các ứng dụngnhà nước chưa sửa đổi atomically; Nếu không, nó có thể kết thúc với một không phù hợpnhà nước.Điểm mấu chốt là rằng chúng tôi đang có cuộc thảo luận này chỉ để minh họa cho những khó khănvới việc thực hiện các loại ngữ nghĩa cho các ứng dụng. Nó không phải là trong phạm vicủa cuốn sách này để thảo luận chi tiết thực hiện những ngữ nghĩa

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

Chính xác-Once và At-Đa-Once Semantics
Sử dụng ổ khóa cho các nhiệm vụ (như với trường hợp của cuộc bầu cử tổng thể) là không đủ để tránh việc có
nhiệm vụ thực hiện nhiều lần bởi vì chúng ta có thể có, ví dụ, các tiếp sau
các sự kiện:
1. Thạc sĩ M1 giao nhiệm vụ T1 để Worker W1.
2. W1 mua khóa cho T1, thực hiện nó, và ra mắt khóa.
3. Thạc sĩ M1 nghi ngờ rằng W1 đã bị rơi và reassigns tác T1 cho nhân viên W2.
4. W2 mua khóa cho T1, thực hiện nó, và ra mắt khóa.
Ở đây, các khóa trên T1 đã không ngăn được các tác vụ từ được thực hiện hai lần vì
hai công nhân đã không xen vào các bước của họ khi thực hiện các nhiệm vụ. Để đối phó với các trường hợp
mà trong đó chính xác một lần hoặc ít-nhất-một lần ngữ nghĩa được yêu cầu, một ứng dụng dựa trên
các cơ chế cụ thể cho bản chất của nó. Ví dụ, nếu dữ liệu ứng dụng có nhãn thời gian
và một công việc là nghĩa vụ phải sửa đổi dữ liệu ứng dụng, sau đó thực thi thành công
các nhiệm vụ có thể có điều kiện vào các giá trị dấu thời gian của dữ liệu mà nó chạm vào. Các
ứng dụng cũng cần khả năng cuộn thay đổi lại một phần trong các trường hợp đơn
nhà nước không được sửa đổi nguyên tử; nếu không, nó có thể kết thúc với một trái
nhà nước.
Điểm mấu chốt là chúng ta đang có cuộc thảo luận này chỉ để minh họa cho những khó khăn
với việc thực hiện các loại ngữ nghĩa cho các ứng dụng. Nó không nằm trong phạm vi
của cuốn sách này để thảo luận chi tiết việc thực hiện các ngữ nghĩa như vậy