This repository has been archived by the owner on Mar 29, 2022. It is now read-only.
This repository has been archived by the owner on Mar 29, 2022. It is now read-only.
Demo: Race condition between demo Primary & Secondary in timeserver attestation validation #93
Open
Description
The following message is produced occasionally on the demo Secondary during normal operation in the demo, if the demo Primary and Secondary are involved in continuously looping, asymmetric updates:
Timeserver attestation from Primary does not check out: This Secondary's nonce was not found. Not updating this Secondary's time this cycle.
This is not a particularly important event, as it can occur that the Secondary doesn't update its time occasionally, but I want to ensure that there isn't a problematic race condition here. I would have expected the design to systematically avoid this.