Cam kết hai pha ngăn chặn lỗi thứ hai như thế nào?

Question

Tôi đang nghiên cứu cách cam kết hai pha hoạt động trên một giao dịch phân tán. Đó là sự hiểu biết của tôi rằng trong phần cuối của giai đoạn, điều phối viên giao dịch yêu cầu mỗi nút cho dù nó đã sẵn sàng để cam kết hay chưa. Nếu mọi người đồng ý, thì nó bảo họ hãy tiếp tục và cam kết.

Điều gì ngăn cản lỗi sau?

1. Tất cả các nút trả lời rằng họ sẵn sàng cam kết
2. Giao dịch điều phối viên nói với họ để "đi trước và cam kết", nhưng một trong các nút tai nạn trước khi nhận thông điệp này
3. Tất cả khác các nút cam kết thành công, nhưng bây giờ giao dịch phân phối bị hỏng
4. Đó là sự hiểu biết của tôi rằng khi nút bị hỏng quay trở lại, giao dịch của nó sẽ được khôi phục (vì nó không bao giờ nhận được thông báo cam kết)

Tôi giả sử mỗi nút đang chạy một cơ sở dữ liệu bình thường không biết gì về giao dịch được phân phối. Tôi đã bỏ lỡ cái gì?

Answer 1

Tổng kết của tất cả mọi người câu trả lời:

1. Người ta không thể sử dụng cơ sở dữ liệu bình thường với các giao dịch phân tán. Cơ sở dữ liệu phải hỗ trợ rõ ràng một điều phối viên giao dịch.

2. Các nút không được hướng dẫn để quay lại vì một số nút đã cam kết. Điều gì xảy ra là khi nút bị hỏng quay trở lại, điều phối viên giao dịch yêu cầu nó thực hiện lại.

Answer 2

No. Điểm 4 không chính xác. Mỗi nút ghi trong lưu trữ ổn định mà nó đã có thể cam kết hoặc khôi phục giao dịch, do đó nó sẽ có thể thực hiện theo lệnh ngay cả trên các sự cố. Khi nút bị hỏng quay trở lại, nó phải nhận ra rằng nó có một giao dịch trong trạng thái trước cam kết, phục hồi bất kỳ khóa liên quan hoặc điều khiển khác, và sau đó cố gắng liên hệ với trang điều phối để thu thập trạng thái giao dịch.

Sự cố chỉ xảy ra nếu nút bị lỗi không bao giờ quay lại (sau đó mọi thứ khác cho rằng giao dịch là OK hoặc sẽ xảy ra khi nút bị lỗi quay lại).

Answer 3

Hai giai đoạn cam kết không phải là dễ dàng và chỉ được thiết kế để hoạt động trong 99% các trường hợp thời gian.

"Giao thức giả định rằng có bộ nhớ ổn định ở mỗi nút có nhật ký ghi trước, không có nút nào bị treo vĩnh viễn, dữ liệu trong nhật ký ghi trước không bao giờ bị mất hoặc bị hỏng trong sự cố và bất kỳ hai nút có thể giao tiếp với nhau. "

http://en.wikipedia.org/wiki/Two-phase_commit_protocol

Answer 4

Không, họ không được hướng dẫn để quay trở lại vì trong kịch bản poster ban đầu, một số các nút đã cam kết. Điều gì xảy ra là khi nút bị rơi trở nên có sẵn, điều phối viên giao dịch yêu cầu nó thực hiện lại.

Vì nút phản hồi tích cực trong giai đoạn "chuẩn bị", cần phải có khả năng "cam kết", ngay cả khi nó trở lại sau sự cố.

Answer 5

Có nhiều cách để tấn công các vấn đề với cam kết hai pha. Hầu như tất cả chúng đều biến thành một biến thể của thuật toán cam kết ba pha Paxos. Mike Burrows, người đã thiết kế dịch vụ khóa Chubby tại Google dựa trên Paxos, nói rằng có hai loại thuật toán cam kết được phân phối - "Paxos và những thuật toán không chính xác" - trong bài giảng tôi đã thấy.

Một điều mà nút bị lỗi có thể thực hiện, khi nó làm lại, được gọi là "Tôi chưa bao giờ nghe nói về giao dịch này, nó có nên được cam kết không?" với điều phối viên, điều này sẽ cho biết phiếu bầu là gì.

Hãy nhớ rằng đây là một ví dụ về vấn đề tổng quát hơn: nút bị lỗi có thể bỏ lỡ nhiều giao dịch trước khi khôi phục. Vì vậy, điều cực kỳ quan trọng là khi phục hồi nó nên nói chuyện với điều phối viên hoặc một bản sao khác trước khi tự cung cấp. Nếu bản thân nút không thể biết được nó có bị hỏng hay không, thì mọi thứ trở nên liên quan nhiều hơn nhưng vẫn có thể xử lý được.

Nếu bạn sử dụng hệ thống đại biểu để đọc cơ sở dữ liệu, tính không thống nhất sẽ được che dấu (và được biết đến chính cơ sở dữ liệu).