Hãy cùng xem cách đo lường tính đúng đắn của một hệ thống phân tán.
Correctness (Tính đúng đắn)
Chúng ta có thể định nghĩa tính đúng đắn của một hệ thống dựa trên các thuộc tính mà hệ thống đó phải thỏa mãn.
Measures of Correctness (các thước đo tính đúng đắn)
Các thước đo tính đúng đắn của hệ thống phân tán là hai thuộc tính mà chúng phải đáp ứng, bao gồm:
- Thuộc tính an toàn
- Thuộc tính sống
1. Safety (tính an toàn)
Thuộc tính an toàn định nghĩa những điều không bao giờ được phép xảy ra trong một hệ thống đúng đắn.
Nhiệt độ lò đang vượt quá giới hạn đã được quy định — điều này không được phép xảy ra.
2. Liveness (tính sống)
Thuộc tính sống định nghĩa những điều cuối cùng phải xảy ra trong một hệ thống đúng đắn.
Nhiệt độ lò cuối cùng sẽ đạt đến mức đã được chỉ định — điều đó bắt buộc phải xảy ra.
3. Ví dụ về một hệ thống đúng đắn
Nếu xét các thuộc tính đúng đắn của một lò nướng, ta có thể nói rằng “lò không vượt quá ngưỡng nhiệt độ tối đa” là một thuộc tính an toàn. Thuộc tính “lò cuối cùng sẽ đạt đến mức nhiệt độ mà chúng ta đã thiết lập bằng nút điều chỉnh” là một thuộc tính sống.
Tương tự như ví dụ này, trong các hệ thống phân tán, việc đảm bảo hệ thống thỏa mãn thuộc tính an toàn thường quan trọng hơn so với thuộc tính sống.
Trong các hệ thống phân tán, thuộc tính an toàn quan trọng hơn thuộc tính sống.
Trong suốt loạt bài này, sẽ ngày càng rõ ràng rằng tồn tại một sự căng thẳng vốn có giữa các thuộc tính an toàn và thuộc tính sống. Thực tế, như chúng ta sẽ thấy ở phần sau của loạt bài, có một số bài toán khiến việc thỏa mãn đồng thời cả hai loại thuộc tính này trở nên bất khả thi về mặt vật lý. Vì vậy, chúng ta cần chấp nhận đánh đổi một số thuộc tính sống để duy trì tính an toàn.
