-
Notifications
You must be signed in to change notification settings - Fork 9.7k
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.
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
Lease support for linearizability tests : address review feedback #15093
Conversation
…ack. Signed-off-by: Geeta Gharpure <geetagh@amazon.com>
This PR addresses some of the feedback from #15080.
|
Codecov Report
@@ Coverage Diff @@
## main #15093 +/- ##
==========================================
- Coverage 74.73% 74.62% -0.12%
==========================================
Files 415 415
Lines 34341 34341
==========================================
- Hits 25665 25627 -38
- Misses 7046 7084 +38
Partials 1630 1630
Flags with carried forward coverage won't be shown. Click here to find out more.
📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM
Thanks @geetasg
state.KeyLeases[op.Key] = op.LeaseID | ||
state.Leases[op.LeaseID].Keys[op.Key] = leased | ||
} | ||
//nop here since lease wont be there |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
We already support multiple operations, so in theory it's possible that LeaseGrant
happens before PutWithLease
. But current implementation doesn't support standalone LeaseGrant
, which is executed along each PutWithLease
, so it's OK for now.
Lease support for linearizability tests : address review feedback
Signed-off-by: Geeta Gharpure geetagh@amazon.com