Deuxfleurs/garage
41
56
Fork 73
Code Issues 99 Pull requests 14 Releases 30 Wiki Activity

WIP: K2V PollRange (old proposal, abandonned) #467

Closed
lx wants to merge 3 commits from k2v-watch-range into main
pull from: k2v-watch-range
merge into: Deuxfleurs:main
Conversation 0 Commits 3 Files changed 16 +354 -95
lx commented 2023-01-05 12:12:31 +00:00
Owner
Copy link

This PR is the first proposal of an implementation of PollRange for K2V.

The hard part with implementing this new endpoint is that we need to define a "seen marker" type, which is compact enough but yet transmits enough information so that items that have already been seen will not be retransmitted upon further PollRange call, but most importantly, that items will never be missed, which could happen for example if they arrive out of order at the various storage nodes (because we do not have something like causal-order delivery).

In this first proposal, we wanted to emulate causal order delivery by having a history table where nodes store all the operations they do in order, so that we can define the possible results of PollRange as prefixes of this operation sequence, and thus the seen marker is just an integer per node (the most compact thing that can be done). The downside is that the entire history has to be stored and managed (transmitted between nodes; garbage collected after some time), which makes this solution very inefficient in the case of frequent K2V inserts.

This proposal is mostly abandonned in favor of the version 2, which reports the cost on the caller of PollRange with a bigger "seen marker" type, but no further storage complexity on the server side (except making k2v timestamps globally increasing on each node).

  • Update Rust toolchain to 1.65.0 to make (modest) use of GATs
  • K2V History table
    • Change structure to be based on K2VItem
  • Update K2V insertion procedure to also write history entries
  • Range subscriptions
  • Poll range RPC
  • Poll range API endpoint
    • Spec
    • Impl
This PR is the first proposal of an implementation of PollRange for K2V. The hard part with implementing this new endpoint is that we need to define a "seen marker" type, which is compact enough but yet transmits enough information so that items that have already been seen will not be retransmitted upon further PollRange call, but most importantly, that items **will never be missed**, which could happen for example if they arrive out of order at the various storage nodes (because we do not have something like causal-order delivery). In this first proposal, we wanted to emulate causal order delivery by having a history table where nodes store all the operations they do in order, so that we can define the possible results of PollRange as prefixes of this operation sequence, and thus the seen marker is just an integer per node (the most compact thing that can be done). The downside is that the entire history has to be stored and managed (transmitted between nodes; garbage collected after some time), which makes this solution very inefficient in the case of frequent K2V inserts. This proposal is mostly abandonned in favor of the version 2, which reports the cost on the caller of PollRange with a bigger "seen marker" type, but no further storage complexity on the server side (except making k2v timestamps globally increasing on each node). - [x] Update Rust toolchain to 1.65.0 to make (modest) use of GATs - [x] K2V History table - [ ] Change structure to be based on `K2VItem` - [x] Update K2V insertion procedure to also write history entries - [x] Range subscriptions - [ ] Poll range RPC - [ ] Poll range API endpoint - [ ] Spec - [ ] Impl
lx added 1 commit 2023-01-05 12:12:32 +00:00
K2V history and preparation for range watch
Some checks failed
continuous-integration/drone/push Build is failing
Details
continuous-integration/drone/pr Build is failing
Details
49b5d18554
lx force-pushed k2v-watch-range from 7a23def61f to b337895fce 2023-01-09 12:21:48 +00:00 Compare
lx force-pushed k2v-watch-range from 96232d5ff9 to 32715d462e 2023-01-09 14:00:06 +00:00 Compare
lx closed this pull request 2023-01-11 10:20:47 +00:00
lx changed title from WIP: K2V PollRange to WIP: K2V PollRange (old proposal, abandonned) 2023-01-11 10:20:56 +00:00
Some checks are pending
continuous-integration/drone/pr Build is failing
Details
continuous-integration/drone/push Build was killed
Details
ci/woodpecker/pr/debug
Required

Pull request closed

Please reopen this pull request to perform a merge.
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels   
action
check-aws
The behaviour should be checked against AWS S3

  
action
discussion-needed
We need to discuss if the feature is desirable and/or better specify the envisioned behavior or technical implementation

  
action
for-external-contributors
Core team does not plan working on this in the near future however an external contribution will be reviewed & merged

  
action
for-newcomers
An issue that should be newcomer friendly.

  
action
more-info-needed
More information is needed to investigate this issue

  
action
need-funding
This issue represents lots of work, we need to find money to pay our core team work

  
action
triage-required
It's not very clear what we want to do with this issue yet, more thoughts is required

  
kind
correctness
Issues of theoretical correctness that may impact edge-case scenarios

  
kind
ideas
For abstract ideas/proposal to make Garage better, to better communicate our not yet achieved aims

  
kind
improvement
Feature requests that do not fall in other categories

  
kind
performance
Deceptive performance observed OR idea to improve performances

  
kind
testing
Functional tests, integration tests, Jepsen, etc.

  
kind
usability
Propositions to make Garage easier to operate, by improving error reporting, CLI, etc.

  
kind
wrong-behavior
Unintended behavior

  
prio
critical
Could impact integrity or availability of production clusters

  
prio
low
For issues that we don't want to spend time on until made absolutely necessary

  
scope
admin-api
Issues concerning the administration API

  
scope
background-healing
Background healing covers repair tasks, anti-entropy, merkle trees, etc. ; everything related to replicating data appropriately.

  
scope
build
Issues with Nix, Drone, Rust Compiler, etc.

  
scope
documentation

  
scope
k8s
Kubernetes related, including Helm Charts

  
scope
layout
Linked to the cluster layout and storage management

  
scope
metadata
Metadata Engine (LMDB, sqlite, etc.)

  
scope
ops
Operations related to operations/maintenance issue, tooling related (like CLI missing info ; impossible, too dangerous, too complicated migration, etc.)

  
scope
rpc
Linked to RPC

  
scope
s3-api
Related to the S3 API (especially compatibility issues).

  
scope
security
Cryptography-related, auth-related, authorization-related issues

  
scope
telemetry
OpenTelemetry (traces, metrics, etc.)

No labels
action
check-aws
action
discussion-needed
action
for-external-contributors
action
for-newcomers
action
more-info-needed
action
need-funding
action
triage-required
kind
correctness
kind
ideas
kind
improvement
kind
performance
kind
testing
kind
usability
kind
wrong-behavior
prio
critical
prio
low
scope
admin-api
scope
background-healing
scope
build
scope
documentation
scope
k8s
scope
layout
scope
metadata
scope
ops
scope
rpc
scope
s3-api
scope
security
scope
telemetry
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: Deuxfleurs/garage#467
No description provided.
Delete branch "k2v-watch-range"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?