Là tuyến tính tương đương với vấn đề đồng thuận?

Trong phần giới thiệu của bài viết này Đối tượng chia sẻ tuyến tính hóa cuối cùng (PODC'10) , các tác giả đã trình bày tuyên bố sau mà không cần tham khảo:

Tuy nhiên, tính tuyến tính có thể đạt được nếu và chỉ khi có thể giải quyết được sự đồng thuận.

Ở đây, tính tuyến tính là thuộc tính nhất quán được biết đến mạnh nhất của các đối tượng dùng chung, được đề xuất trong bài báo Tính tuyến tính: Điều kiện chính xác cho các đối tượng đồng thời .

Tôi bị nhầm lẫn về tuyên bố trên do các đối số sau đây:

Trong bài viết Chia sẻ bộ nhớ mạnh mẽ trong các hệ thống truyền tin nhắn (JACM95) , chúng tôi biết rằng tính tuyến tính có thể đạt được trong hệ thống chuyển tin nhắn không đồng bộ, trong khi chịu được một số ít sự cố trong quá trình:

Bất kỳ thuật toán chờ miễn phí nào dựa trên các thanh ghi đa người đọc, một người đọc đơn nguyên tử đều có thể được mô phỏng tự động trong các hệ thống truyền tin, với điều kiện là ít nhất phần lớn các bộ xử lý không bị lỗi và vẫn được kết nối.

Mặt khác, giấy không thể đồng thuận phân tán với quy trình một lỗi (JACM85) đã chứng minh kết quả không thể đạt được của sự đồng thuận ngay cả khi chỉ có một sự cố trong quá trình:

Vấn đề đồng thuận liên quan đến một hệ thống các quy trình không đồng bộ, một số trong đó có thể không đáng tin cậy. Vấn đề là để các quy trình đáng tin cậy đồng ý về giá trị nhị phân. Trong bài báo này, nó cho thấy rằng mọi giao thức cho vấn đề này đều có khả năng xảy ra lỗi, thậm chí chỉ với một quá trình bị lỗi.

Do đó, chúng ta có thể đi đến kết luận sau:

đồng thuận mạnh hơn tuyến tính?

Có gì sai với lập luận của tôi? Có một số tài liệu tham khảo trực tiếp cho kết luận tương đương ?

Điều bạn nhận được là "chúng tôi biết rằng tính tuyến tính có thể đạt được trong hệ thống chuyển tin nhắn không đồng bộ, trong khi chịu được một số ít sự cố trong quá trình." Chúng tôi không biết điều đó và thực tế là nó sai.

Những gì trích dẫn từ bài báo JACM95 cho thấy rằng các thanh ghi nhiều người đọc đơn có thể được thực hiện bằng cách sử dụng thông điệp truyền qua. Và chỉ có loại thanh ghi này, hoặc bất kỳ đối tượng nào khác có thể được thực hiện (được đưa ra một số ít sự cố) từ các thanh ghi đó. Điều này bao gồm ví dụ các thanh ghi đa người đọc (MWMR).

Ngược lại, tính tuyến tính không giới hạn ở các đối tượng có thể được thực hiện bằng các thanh ghi đa người đọc đơn. Một ví dụ về các đối tượng như vậy là những đối tượng hỗ trợ các hoạt động Đọc-Sửa đổi-Viết.

Trong thực tế như Attiya et al chỉ ra (Phần 7) các đối tượng như vậy không thể được thực hiện bằng các thanh ghi MWMR vì chúng cho phép giải quyết sự đồng thuận (xem đồng bộ hóa chờ của Herlihy) và do đó khả năng thực thi sẽ mâu thuẫn với kết quả FLP.