modules/accordare-stav-producer) je samostatně instalovatelný producent v Go na mrazivé cestě pro ohraničený auditní okruh pojmenovaných verzí (Named Version) SAV. Udržuje trvalý záměr před změnou i obnovu připojování, autentizuje své lokální protějšky a odesílá pouze přesného bezpečného kandidáta, kterého připouští jeho uzavřený slovník. Sám není autoritou pro připojování do STAV.
Vzor záměr, výsledek, obnova
Producent se u každé auditované změny řídí tříkrokovým vzorem:1
Záměr před změnou
Trvale zaznamená uvedený záměr volajícího dříve, než se jakákoli změna stane pozorovatelnou. Producent odmítá kandidáty mimo svůj uzavřený slovník.
2
Konečný výsledek
Po dokončení nebo selhání změny zachytí přesný výsledek, aby audit odrážel skutečnost, nikoli vytoužený stav.
3
Ohraničená obnova
Při přerušení provede producent ohraničenou obnovu proudu připojování, aniž by si vymýšlel rekonciliaci nebo potichu zahazoval záměr.
Hranice
- Slovník producenta je uzavřený. Přijímá pouze kandidáty auditu pojmenovaných verzí SAV.
- Producent běží na mrazivé cestě. Nesmí se stát závislostí hot path.
- Producent autentizuje lokální protějšky; vzdálené volající neautentizuje.
Související povrchy
STAV
Autorita pro připojování, která zapečeťuje auditní záznamy.
SSIAG
Autorizuje změnu, kterou producent audituje.
SAV
Sémantika kompozice pojmenovaných verzí, kterou tento okruh audituje.
Příkazy vektorů v qxctl
Ratifikovaná gramatika Accordare bude po implementaci dostupná jako
qxctl accord ....