Tính nhất quán trong định lý ACID và CAP, chúng có giống nhau không?


18

Theo hiểu biết của tôi, tính nhất quán trong ACID là đảm bảo tính toàn vẹn dữ liệu.

Tuy nhiên, tính nhất quán trong CAP có nghĩa là dữ liệu có thể xuất hiện nhanh chóng trong hệ thống phân tán.

Điều đó có nghĩa là: chúng không phải là cùng một khái niệm?

Câu trả lời:


18

Chúng không thực sự giống nhau, vì phạm vi của dữ liệu

AXIT

MŨ LƯỠI TRAI

  • Tính nhất quán (Tất cả các nút có cùng dữ liệu thông qua tính nhất quán cuối cùng)
  • khả dụng
  • Dung sai phân vùng: hệ thống tiếp tục hoạt động mặc dù mất tin nhắn tùy ý hoặc lỗi một phần của hệ thống

TÓM TẮC

  • ACID giải quyết tính nhất quán dữ liệu của một nút riêng lẻ
  • CAP giải quyết thống nhất dữ liệu trên toàn cụm

1
Cuối cùng. Cuối cùng nên được in đậm, Rolando. Đó là người phá vỡ thỏa thuận :) Chúc mừng năm mới!
Phil

3

Định lý CAP : chỉ định rằng một hệ thống phân tán có thể cung cấp hai dịch vụ (ví dụ: Tính khả dụng và Dung sai phân vùng) nhưng không bao giờ có ba. Ví dụ: nếu một dịch vụ cung cấp Tính khả dụng và Phân vùng thì nó không bao giờ có thể đảm bảo Tính nhất quán, không phải ngay lập tức, do đó Tính nhất quán cuối cùng được sử dụng, cho phép cơ sở hạ tầng thay đổi giữa sự không nhất quán và nhất quán, tuy nhiên, tại một thời điểm, sớm hay muộn, cơ sở hạ tầng sẽ trở nên nhất quán , dẫn đến sự thống nhất cuối cùng. Các dịch vụ đám mây hoạt động theo kiểu như vậy và Simple DB của Amazon sử dụng tính nhất quán cuối cùng.

Các tính năng ACID thường được áp dụng cho các DB quan hệ. Nếu bạn muốn áp dụng ACID theo kiểu phân tán (DB phân tán), ACID sử dụng 2PC (cam kết hai pha) để buộc tính nhất quán giữa các phân vùng. Tuy nhiên, vì ACID cung cấp tính nhất quán và phân vùng, áp dụng định lý CAP cho (môi trường phân tán), điều này có nghĩa là tính khả dụng bị xâm phạm.

Bởi vì điều này, BASE (Có sẵn về cơ bản, trạng thái mềm, cuối cùng phù hợp) được sử dụng có thể cung cấp các mức độ mở rộng không thể có được với ACID.

Hi vọng điêu nay co ich.


-1

Về tính nhất quán trong định lý CAP Julian Brown viết trong bài viết của mình ( http://www.julianbrowne.com/article/brewers-cap-theorem ):

Một dịch vụ phù hợp hoạt động đầy đủ hoặc hoàn toàn không. Gilbert và Lynch sử dụng từ "nguyên tử" thay vì nhất quán trong chứng minh của họ, điều này có ý nghĩa hơn về mặt kỹ thuật bởi vì, nói đúng ra, tính nhất quán là C trong ACID khi áp dụng cho các thuộc tính lý tưởng của giao dịch cơ sở dữ liệu và có nghĩa là dữ liệu sẽ không bao giờ được duy trì phá vỡ một số ràng buộc đặt trước. Nhưng nếu bạn coi đó là một ràng buộc đặt trước của các hệ thống phân tán mà nhiều giá trị cho cùng một dữ liệu không được phép thì tôi nghĩ rằng sự rò rỉ trong trừu tượng đã được cắm (cộng với, nếu Brewer đã sử dụng từ nguyên tử, thì nó sẽ được gọi là AAP định lý và tất cả chúng ta sẽ ở trong bệnh viện mỗi lần chúng ta cố gắng phát âm nó).

Do đó, C trong CAP sẽ tương ứng với A trong ACID.

Với Gilbert và Lynch , ông đề cập đến bài viết "Seth Gilbert và Nancy Lynch: phỏng đoán của nhà sản xuất bia và tính khả thi của các dịch vụ web phù hợp, có sẵn, phân vùng"


1
Tính nhất quán của CAP áp dụng cho một hệ thống phân tán, trong khi ACID trừu tượng hóa chính nó từ mức đó của kiến ​​trúc hệ thống. Tính nhất quán của CAP có thể cần thiết cho việc thực hiện nguyên tử ACID, nhưng nó không giống nhau.
mustaccio

Vì Brewer, anh ta tự đặt định lý CAP của mình liên quan đến ACID ( people.eecs.ber siêu.edu / ~ brewer / cs262b-2004 / PODC -keynote.pdf ) cả hai.
trắng_gecko
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.