set default number of GMs when sptp is not available

facebook / time

Meta's Time libraries

Apache License 2.0

592 stars 74 forks source link

set default number of GMs when sptp is not available #358

Closed leoleovich closed 3 months ago

leoleovich commented 3 months ago

Summary: When sptp is not available, fbclock is unable to read the status and the list of GMs. And because of that it will not update the linearizability results (and stats).

This diff:

Abstracts stats to a separate package
Merges concept of "broken" and "failed" tests (we never use "broken" anyway)
In the event of sptp unavailability will declare tests "failed"

Reviewed By: abulimov

Differential Revision: D57863417

facebook-github-bot commented 3 months ago

This pull request was exported from Phabricator. Differential Revision: D57863417

facebook-github-bot commented 3 months ago

This pull request has been merged in facebook/time@e7b9170e350b35282d3140e7aae5db770c2db449.