97d3668 · rachel/specter

Commit Detail

Commit 97d3668

Author: Rachel Chen <rachel@chens.email> 2022-08-07 14:25:59 -0700
Parents: cb29ec8
Tree: 2c3a62c

spec/chord_kv: introduces Lease Acquire/Renew/Release

This commit introduces new APIs to chord.KV interface, and allowing a
caller to hold a lease for a specific lease name, with time-to-live auto
expiring leases.

TODO: grab a monitonic clock from the time package somehow

Files changed

16 files changed+2 added~14 modified

Mchord/local_kv.go

Mchord/local_rpc_test.go

Mchord/local_rpc.go

Mchord/local_trace.go

Mchord/remote_test.go

Mchord/remote.go

Akv/lease_test.go

Mspec/chord/errors.go

Mspec/chord/kv.go

Mspec/mocks/vnode.go

Mspec/proto/kv.proto

Mspec/protocol/kv_vtproto.pb.go

Mspec/protocol/kv.pb.go