| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273 |
- // Copyright 2015 CoreOS, Inc.
- //
- // Licensed under the Apache License, Version 2.0 (the "License");
- // you may not use this file except in compliance with the License.
- // You may obtain a copy of the License at
- //
- // http://www.apache.org/licenses/LICENSE-2.0
- //
- // Unless required by applicable law or agreed to in writing, software
- // distributed under the License is distributed on an "AS IS" BASIS,
- // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- // See the License for the specific language governing permissions and
- // limitations under the License.
- package lease
- import (
- "encoding/binary"
- "fmt"
- "math"
- "sync"
- "time"
- "github.com/coreos/etcd/lease/leasepb"
- "github.com/coreos/etcd/pkg/idutil"
- "github.com/coreos/etcd/storage/backend"
- )
- const (
- // NoLease is a special LeaseID representing the absence of a lease.
- NoLease = LeaseID(0)
- )
- var (
- minLeaseTerm = 5 * time.Second
- leaseBucketName = []byte("lease")
- )
- type LeaseID int64
- // DeleteableRange defines an interface with DeleteRange method.
- // We define this interface only for lessor to limit the number
- // of methods of storage.KV to what lessor actually needs.
- //
- // Having a minimum interface makes testing easy.
- type DeleteableRange interface {
- DeleteRange(key, end []byte) (int64, int64)
- }
- // a lessor is the owner of leases. It can grant, revoke,
- // renew and modify leases for lessee.
- // TODO: use clockwork for testability.
- type lessor struct {
- mu sync.Mutex
- // TODO: probably this should be a heap with a secondary
- // id index.
- // Now it is O(N) to loop over the leases to find expired ones.
- // We want to make Grant, Revoke, and FindExpired all O(logN) and
- // Renew O(1).
- // FindExpired and Renew should be the most frequent operations.
- leaseMap map[LeaseID]*lease
- // A DeleteableRange the lessor operates on.
- // When a lease expires, the lessor will delete the
- // leased range (or key) from the DeleteableRange.
- dr DeleteableRange
- // backend to persist leases. We only persist lease ID and expiry for now.
- // The leased items can be recovered by iterating all the keys in kv.
- b backend.Backend
- idgen *idutil.Generator
- }
- func NewLessor(lessorID uint8, b backend.Backend, dr DeleteableRange) *lessor {
- l := &lessor{
- leaseMap: make(map[LeaseID]*lease),
- b: b,
- dr: dr,
- idgen: idutil.NewGenerator(lessorID, time.Now()),
- }
- l.initAndRecover()
- return l
- }
- // Grant grants a lease that expires at least after TTL seconds.
- // TODO: when lessor is under high load, it should give out lease
- // with longer TTL to reduce renew load.
- func (le *lessor) Grant(ttl int64) *lease {
- // TODO: define max TTL
- expiry := time.Now().Add(time.Duration(ttl) * time.Second)
- expiry = minExpiry(time.Now(), expiry)
- id := LeaseID(le.idgen.Next())
- le.mu.Lock()
- defer le.mu.Unlock()
- l := &lease{id: id, ttl: ttl, expiry: expiry, itemSet: make(map[leaseItem]struct{})}
- if _, ok := le.leaseMap[id]; ok {
- panic("lease: unexpected duplicate ID!")
- }
- le.leaseMap[id] = l
- l.persistTo(le.b)
- return l
- }
- // Revoke revokes a lease with given ID. The item attached to the
- // given lease will be removed. If the ID does not exist, an error
- // will be returned.
- func (le *lessor) Revoke(id LeaseID) error {
- le.mu.Lock()
- defer le.mu.Unlock()
- l := le.leaseMap[id]
- if l == nil {
- return fmt.Errorf("lease: cannot find lease %x", id)
- }
- for item := range l.itemSet {
- le.dr.DeleteRange([]byte(item.key), nil)
- }
- delete(le.leaseMap, l.id)
- l.removeFrom(le.b)
- return nil
- }
- // Renew renews an existing lease. If the given lease does not exist or
- // has expired, an error will be returned.
- // TODO: return new TTL?
- func (le *lessor) Renew(id LeaseID) error {
- le.mu.Lock()
- defer le.mu.Unlock()
- l := le.leaseMap[id]
- if l == nil {
- return fmt.Errorf("lease: cannot find lease %x", id)
- }
- expiry := time.Now().Add(time.Duration(l.ttl) * time.Second)
- l.expiry = minExpiry(time.Now(), expiry)
- return nil
- }
- // Attach attaches items to the lease with given ID. When the lease
- // expires, the attached items will be automatically removed.
- // If the given lease does not exist, an error will be returned.
- func (le *lessor) Attach(id LeaseID, items []leaseItem) error {
- le.mu.Lock()
- defer le.mu.Unlock()
- l := le.leaseMap[id]
- if l == nil {
- return fmt.Errorf("lease: cannot find lease %x", id)
- }
- for _, it := range items {
- l.itemSet[it] = struct{}{}
- }
- return nil
- }
- // findExpiredLeases loops all the leases in the leaseMap and returns the expired
- // leases that needed to be revoked.
- func (le *lessor) findExpiredLeases() []*lease {
- le.mu.Lock()
- defer le.mu.Unlock()
- leases := make([]*lease, 0, 16)
- now := time.Now()
- for _, l := range le.leaseMap {
- if l.expiry.Sub(now) <= 0 {
- leases = append(leases, l)
- }
- }
- return leases
- }
- // get gets the lease with given id.
- // get is a helper fucntion for testing, at least for now.
- func (le *lessor) get(id LeaseID) *lease {
- le.mu.Lock()
- defer le.mu.Unlock()
- return le.leaseMap[id]
- }
- func (le *lessor) initAndRecover() {
- tx := le.b.BatchTx()
- tx.Lock()
- tx.UnsafeCreateBucket(leaseBucketName)
- _, vs := tx.UnsafeRange(leaseBucketName, int64ToBytes(0), int64ToBytes(math.MaxInt64), 0)
- // TODO: copy vs and do decoding outside tx lock if lock contention becomes an issue.
- for i := range vs {
- var lpb leasepb.Lease
- err := lpb.Unmarshal(vs[i])
- if err != nil {
- tx.Unlock()
- panic("failed to unmarshal lease proto item")
- }
- id := LeaseID(lpb.ID)
- le.leaseMap[id] = &lease{
- id: id,
- ttl: lpb.TTL,
- // itemSet will be filled in when recover key-value pairs
- expiry: minExpiry(time.Now(), time.Now().Add(time.Second*time.Duration(lpb.TTL))),
- }
- }
- tx.Unlock()
- le.b.ForceCommit()
- }
- type lease struct {
- id LeaseID
- ttl int64 // time to live in seconds
- itemSet map[leaseItem]struct{}
- // expiry time in unixnano
- expiry time.Time
- }
- func (l lease) persistTo(b backend.Backend) {
- key := int64ToBytes(int64(l.id))
- lpb := leasepb.Lease{ID: int64(l.id), TTL: int64(l.ttl)}
- val, err := lpb.Marshal()
- if err != nil {
- panic("failed to marshal lease proto item")
- }
- b.BatchTx().Lock()
- b.BatchTx().UnsafePut(leaseBucketName, key, val)
- b.BatchTx().Unlock()
- }
- func (l lease) removeFrom(b backend.Backend) {
- key := int64ToBytes(int64(l.id))
- b.BatchTx().Lock()
- b.BatchTx().UnsafeDelete(leaseBucketName, key)
- b.BatchTx().Unlock()
- }
- type leaseItem struct {
- key string
- }
- // minExpiry returns a minimal expiry. A minimal expiry is the larger on
- // between now + minLeaseTerm and the given expectedExpiry.
- func minExpiry(now time.Time, expectedExpiry time.Time) time.Time {
- minExpiry := time.Now().Add(minLeaseTerm)
- if expectedExpiry.Sub(minExpiry) < 0 {
- expectedExpiry = minExpiry
- }
- return expectedExpiry
- }
- func int64ToBytes(n int64) []byte {
- bytes := make([]byte, 8)
- binary.BigEndian.PutUint64(bytes, uint64(n))
- return bytes
- }
|