modules/accordare-stav-producer) là một producer Go thuộc freezing path, có thể cài đặt độc lập, dành cho mạch kiểm toán SAV Named Version có giới hạn. Nó giữ cho ý định trước thay đổi và việc khôi phục ghi thêm luôn bền vững, xác thực các peer cục bộ của mình, và chỉ gửi đúng ứng viên an toàn được chấp nhận bởi bộ từ vựng đóng của nó. Bản thân nó không phải là cơ quan ghi thêm STAV.
Mô hình ý định, kết quả, khôi phục
Producer tuân theo mô hình ba bước cho mọi thao tác thay đổi được kiểm toán:1
Ý định trước thay đổi
Ghi nhận ý định đã nêu của bên gọi một cách bền vững trước khi bất kỳ thay đổi nào có thể quan sát được. Producer từ chối các ứng viên nằm ngoài bộ từ vựng đóng của nó.
2
Kết quả cuối cùng
Sau khi thao tác thay đổi hoàn tất hoặc thất bại, ghi lại chính xác kết quả để bản kiểm toán phản ánh thực tế, không phải một trạng thái được mong đợi.
3
Khôi phục có giới hạn
Khi bị gián đoạn, producer thực hiện khôi phục có giới hạn cho luồng ghi thêm mà không tự tạo ra một đối soát hay âm thầm loại bỏ ý định.
Ranh giới
- Bộ từ vựng của producer là đóng. Nó chỉ chấp nhận các ứng viên kiểm toán SAV Named Version.
- Producer thuộc freezing path. Nó không được trở thành phụ thuộc của hot path.
- Producer xác thực các peer cục bộ; nó không xác thực các bên gọi từ xa.
Các surface liên quan
STAV
Cơ quan ghi thêm niêm phong các bản ghi kiểm toán.
SSIAG
Ủy quyền cho thao tác thay đổi mà producer kiểm toán.
SAV
Ngữ nghĩa kết hợp Named Version mà mạch này kiểm toán.
Lệnh vector của qxctl
Ngữ pháp Accordare đã được phê chuẩn sẽ có dưới dạng
qxctl accord ... khi được triển khai.