Ba sự kiện có thể xảy ra tại các máy chủ: gửi một sự thừa nhận (A), văn bản cho quá trình đầu ra (W), và đâm (C). Ba sự kiện có thể xảy ra trong sáu orderings khác nhau: AC (W), AWC, C (AW), C (WA), WAC, và WC (A), nơi các dấu ngoặc đơn được sử dụng để chỉ ra rằng không phải A hoặc W có thể làm theo C (tức là, một khi nó đã bị rơi, nó đã bị rơi). Hình 6-18 cho thấy tất cả tám tổ hợp của khách hàng và máy chủ các chiến lược và các chuỗi sự kiện có giá trị cho mỗi một. Chú ý rằng đối với mỗi chiến lược có một số chuỗi các sự kiện gây ra các giao thức để thất bại. Ví dụ, nếu khách hàng luôn luôn truyền lại, sự kiện AWC sẽ tạo ra một bản sao không bị phát hiện, mặc dù hai sự kiện khác làm việc đúng cách.
đang được dịch, vui lòng đợi..
