Skip to content

replace prospective round machinery with catch-up rounds#53

Merged
rphmeier merged 15 commits intomasterfrom
rh-remove-prospective
Jun 27, 2019
Merged

replace prospective round machinery with catch-up rounds#53
rphmeier merged 15 commits intomasterfrom
rh-remove-prospective

Conversation

@rphmeier
Copy link
Copy Markdown
Contributor

@rphmeier rphmeier commented Mar 14, 2019

The existing process for catching up to the current round when behind followed these steps:

  • Watch for future commit messages
  • After a future commit, start a "prospective" round running in parallel to the best round we've currently got
  • If we see this prospective round conclude, we set our best round to be prospective + 1.

Replaces with catch-up rounds (#47). Logic for constructing and requesting catch-up rounds isn't yet implemented, but importing is done.

@rphmeier rphmeier changed the title remove prospective round machinery replace prospective round machinery with catch-up rounds Mar 18, 2019
Copy link
Copy Markdown

@marcio-diaz marcio-diaz left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me.

// no need to listen on a round anymore once the estimate is finalized.
//
// we map `None` to true because
// - rounds are not backgrounded when incomplete unless we've skipped forward
Copy link
Copy Markdown

@marcio-diaz marcio-diaz Mar 23, 2019

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Maybe assert this in the corresponding function.

@rphmeier
Copy link
Copy Markdown
Contributor Author

for v0.8

@andresilva
Copy link
Copy Markdown
Contributor

This has been integrated into substrate and should be ready for a final review now.

@rphmeier
Copy link
Copy Markdown
Contributor Author

Generally looks fine, but I'm worried about the stop_voting stuff breaking invariants. Since every round is basing off of an over estimate of the prior, as long as we follow the voting rules I don't think we can ever contradict what a future round has done legitimately.

@rphmeier rphmeier merged commit 31fe04b into master Jun 27, 2019
@rphmeier rphmeier deleted the rh-remove-prospective branch June 27, 2019 08:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants