Skip to content
This repository has been archived by the owner on Nov 15, 2023. It is now read-only.

Implementer's Guide: Allow the watermark to always land on the relay parent #1689

Merged
1 commit merged into from
Sep 10, 2020

Conversation

pepyakin
Copy link
Contributor

@pepyakin pepyakin commented Sep 8, 2020

Closes #1671

The HRMP watermark can now land not only on an entry in the digest but also on the relay-parent block.

First, it fixes a problem that there is no way to satisfy the following two rules if there is no pending messages

  1. The candidate needs to always move the watermark
  2. However, the watermark can only land on a digest.

Implication of these changes is that the watermark now can point on a block where no messages were sent to the para (i.e. no entry in digest). Don't see why this could be a problem.

@pepyakin pepyakin added the A0-please_review Pull request needs code review. label Sep 8, 2020
@pepyakin pepyakin added this to the Grosvenor milestone Sep 8, 2020
@pepyakin pepyakin added B0-silent Changes should not be mentioned in any release notes C1-low PR touches the given topic and has a low impact on builders. labels Sep 8, 2020
@pepyakin
Copy link
Contributor Author

pepyakin commented Sep 8, 2020

bot merge

@ghost
Copy link

ghost commented Sep 8, 2020

Checks failed; merge aborted.

@pepyakin
Copy link
Contributor Author

bot merge

@ghost
Copy link

ghost commented Sep 10, 2020

Waiting for commit status.

@ghost ghost merged commit d04e449 into master Sep 10, 2020
@ghost ghost deleted the ser-watermark-no-pending branch September 10, 2020 15:55
ordian added a commit that referenced this pull request Sep 10, 2020
* master:
  Allow the watermark to always land on the relay parent (#1689)
  Limit the maximum size of a downward message (#1690)
  Add deb and RPM repository config and documentation (#1676)
  Collator protocol subsystem (#1659)
@burdges
Copy link
Contributor

burdges commented Sep 12, 2020

It's not impossible we'd want this to be the block before the relay parent or even further, and to forbid reading messages further ahead than this limit. It'd address the pipelined version of the bug this OPR fixes: You could be blocked because you needed to advance your watermark, but you cannot obtain them message yet. We'll see what shakes out, but I wanted to caution that acting upon messages too fast could create problems.

This pull request was closed.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
A0-please_review Pull request needs code review. B0-silent Changes should not be mentioned in any release notes C1-low PR touches the given topic and has a low impact on builders.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Implementer's Guide: XCMP/HRMP watermark in case of no pending messages
3 participants