Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

BlockFetch client QC properties fail when peers are connected with a channel with delay #2622

Open
coot opened this issue Sep 21, 2020 · 0 comments
Open

BlockFetch client QC properties fail when peers are connected with a channel with delay #2622

coot opened this issue Sep 21, 2020 · 0 comments
Labels
block-fetch Issues related to block fetch component. testing

Comments

@coot
Copy link
Contributor

coot commented Sep 21, 2020 •
edited

The following two properties:

  • prop_blockFetchStaticWithOverlap
  • prop_blockFetchStaticWithoutOverlap

are failing if both client and server channels have a constant delay (even if it is set to 0). The failing predicate is tracePropertyInFlight: reqsInFlight ≠ 0.
@coot coot added block-fetch Issues related to block fetch component. testing labels Sep 21, 2020
@coot coot changed the title prop_blockFetchStaticWithOverlap and prop_blockFetchStaticWithoutOverlap fail when peers are connected with a channel with delay BlockFetch client QC properties fail when peers are connected with a channel with delay Sep 21, 2020
coot added a commit that referenced this issue Sep 22, 2020
@coot
block-fetch properties: introduced channel delay
22cd423 
Thanks to this I discovered isuee #2622.
coot added a commit that referenced this issue Sep 22, 2020
@coot
block-fetch properties: introduced channel delay
a83e053 
Thanks to this I discovered isuee #2622.
coot added a commit that referenced this issue Sep 23, 2020
@coot
block-fetch properties: introduced channel delay
a0e2605 
Thanks to this I discovered isuee #2622.
coot added a commit that referenced this issue Sep 23, 2020
@coot
block-fetch properties: introduced channel delay
735aad8 
Thanks to this I discovered isuee #2622.
coot added a commit that referenced this issue Sep 29, 2020
@coot
block-fetch properties: introduced channel delay
59fda17 
Thanks to this I discovered isuee #2622.
coot added a commit that referenced this issue Oct 6, 2020
@coot
block-fetch properties: introduced channel delay
2637289 
Thanks to this I discovered isuee #2622.
coot added a commit that referenced this issue Oct 12, 2020
@coot
block-fetch properties: introduced channel delay
e2564b8 
Thanks to this I discovered isuee #2622.
coot added a commit that referenced this issue Oct 13, 2020
@coot
block-fetch properties: introduced channel delay
ab32fd5 
Thanks to this I discovered isuee #2622.
coot added a commit that referenced this issue Oct 15, 2020
@coot
block-fetch properties: introduced channel delay
f0efeb8 
Thanks to this I discovered isuee #2622.
coot added a commit that referenced this issue Oct 19, 2020
@coot
block-fetch properties: introduced channel delay
61ad322 
Thanks to this I discovered isuee #2622.
coot added a commit that referenced this issue Oct 23, 2020
@coot
block-fetch properties: introduced channel delay
938e6f7 
Thanks to this I discovered isuee #2622.
@coot coot removed the networking label Dec 18, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
block-fetch Issues related to block fetch component. testing
Projects
Ouroboros Network
Status: No status
Milestone
No milestone
Development

No branches or pull requests
2 participants
@coot @nfrisby