Các tính chất ACID

Một phần của tài liệu Cơ bản về hệ điều hành (Trang 106 - 107)

Các tính chất ACID liên quan tr−ớc hết tới mục tiêu trong suốt đồng thời của hệ phân tán. Đoạn 2.2 đã giới thiệu trong suốt đồng thời là tính chất cho phép chia xẻ các đối t−ợng mà không gặp trở ngại. Về cảm giác, thực hiện giao dịch có vị trí nh− khoảng tới hạn. Tuy nhiên, các thao tác từ các giao dịch khác nhau là đ−ợc xen kẽ (theo một cách đảm bảo) nhằm tăng tính đồng thời. Nói thêm, giao dịch có các tính chất bổ sung:

• Tính nguyên tử (A: Atom): Hoặc tất cả thao tác đ−ợc thực hiện hoặc không một thao tác nào trong giao dịch đ−ợc thực hiện bất chấp lỗi.

• Tính nhất quán (C: Consistency): Thực hiện trộn xen kẽ các giao dịch t−ơng đ−ơng với thực hiện tuần tự các giao dịch đó theo thứ tự nào đó.

• Tính cô lập (I: Isolation): Kết quả thực hiện bộ phận giao dịch ch−a hoàn thiện đ−ợc che dấu đối với các giao dịch khác tr−ớc khi giao dịch đ−ợc cam kết thành công.

• Tính bền vững (D: Durability): Hệ thống đảm bảo rằng kết quả thực hiện giao dịch đã cam kết đ−ợc l−u giữ lâu dài, ngay cả khi xuất hiện lỗi sau cam kết.

Do cả bốn tính chất này quan hệ với tính nhất quán nên trong nhiều tr−ờng hợp, th−ờng gọi tính chất thứ hai là tính thi hành dãy để phân biệt với các tính chất khác. Tính nguyên tử cho tính nhất quán của đối t−ợng khi nhân bản hay phân hoạch. Vi phạm sự cô lập thì thấy đ−ợc cái không bao giờ xẩy ra, còn vi phạm tính bền vững thì lại không thấy đ−ợc cái thực tế xảy ra. Cả hai điều này là không nhất quán về trạng thái hệ thống. Bảo đảm các tính chất ACID đòi hỏi các QT thành phần cộng tác thực hiện giao dịch. Gọi QT khởi tạo giao dịch là bộ phối hợp và các QT còn lại là thành viên. Bộ phối hợp bắt đầu giao dịch bằng một đa phân phát yêu cầu tới các thành viên. Giao dịch kết thúc bằng cam kết hoặc hủy bỏ giao dịch tùy thuộc vào các tính chất ACID có đ−ợc đảm bảo hay không. Mọi thành viên phải tán thành quyết định cuối cùng. Một giải pháp cho đòi hỏi tính nguyên tử của giao dịch là cần th−ờng xuyên ngăn cản thao tác của mỗi thành viên cho đến khi đã chắc chắn hoặc đ−ợc thông báo là mọi thành viên khác đã sẵn sàng làm thao tác đó. Kỹ thuật này t−ơng tự nh− hai giai đoạn (nhận và phân phát TĐ) trong giao thức hai pha đối với đa phân phát thứ tự toàn bộ trong đoạn 4.1.5. Giao thức cam kết hai pha đối với giao dịch nguyên tử cho cách thức để đạt đ−ợc tính nguyên tử, tính cô lập và tính bền vững.

Một phần của tài liệu Cơ bản về hệ điều hành (Trang 106 - 107)