Dynamic specification auditing for a distributed system

摘要

A distributed system may implement dynamic specification auditing. A specification for a distributed system may be maintained in a machine readable format. Specification assertion agents corresponding to different components of the distributed system may request and receive the specification in order to verify whether tasks performed by the respective component satisfy the specification. The specification assertion agents may then send assertions of the success or failure of the component to be stored in order to verify compliance with specification. Various reports may be generated which identify failures or components in the distributed system that are not reporting assertions.

主权项

1. A distributed system, comprising:
a data store configured to maintain a specification for the distributed system in a machine-readable format; a data store configured to maintain assertions indicating whether a portion of the specification is met or is not met; a plurality of computing nodes configured to implement a plurality of different distributed system components that together implement a distributed, network-based service, wherein a respective specification assertion agent is implemented for each of the plurality of different distributed system components; one or more computing nodes configured to implement a dynamic specification manager; the dynamic specification manager, configured to:
for each of a plurality of requests from different ones of the respective specification assertion agents for the plurality of different system components:
access the data store maintaining the specification;send at least some of the specification to each of the different ones of the respective specification assertion agents;from each of the different ones of the respective assertion agents, receive one or more assertions that indicate that a corresponding portion of the specification is met or is not met in the performance of the at least one respective task at the respective distributed system component for the distributed system; andstore the received one or more assertions from each of the different ones of the respective assertion agents in order to verify compliance with the specification.