kvstore.go 15 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636
  1. // Copyright 2015 CoreOS, Inc.
  2. //
  3. // Licensed under the Apache License, Version 2.0 (the "License");
  4. // you may not use this file except in compliance with the License.
  5. // You may obtain a copy of the License at
  6. //
  7. // http://www.apache.org/licenses/LICENSE-2.0
  8. //
  9. // Unless required by applicable law or agreed to in writing, software
  10. // distributed under the License is distributed on an "AS IS" BASIS,
  11. // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  12. // See the License for the specific language governing permissions and
  13. // limitations under the License.
  14. package storage
  15. import (
  16. "encoding/binary"
  17. "errors"
  18. "log"
  19. "math"
  20. "math/rand"
  21. "sync"
  22. "time"
  23. "github.com/coreos/etcd/lease"
  24. "github.com/coreos/etcd/pkg/schedule"
  25. "github.com/coreos/etcd/storage/backend"
  26. "github.com/coreos/etcd/storage/storagepb"
  27. "golang.org/x/net/context"
  28. )
  29. var (
  30. keyBucketName = []byte("key")
  31. metaBucketName = []byte("meta")
  32. // markedRevBytesLen is the byte length of marked revision.
  33. // The first `revBytesLen` bytes represents a normal revision. The last
  34. // one byte is the mark.
  35. markedRevBytesLen = revBytesLen + 1
  36. markBytePosition = markedRevBytesLen - 1
  37. markTombstone byte = 't'
  38. consistentIndexKeyName = []byte("consistent_index")
  39. scheduledCompactKeyName = []byte("scheduledCompactRev")
  40. finishedCompactKeyName = []byte("finishedCompactRev")
  41. ErrTxnIDMismatch = errors.New("storage: txn id mismatch")
  42. ErrCompacted = errors.New("storage: required revision has been compacted")
  43. ErrFutureRev = errors.New("storage: required revision is a future revision")
  44. ErrCanceled = errors.New("storage: watcher is canceled")
  45. )
  46. // ConsistentIndexGetter is an interface that wraps the Get method.
  47. // Consistent index is the offset of an entry in a consistent replicated log.
  48. type ConsistentIndexGetter interface {
  49. // ConsistentIndex returns the consistent index of current executing entry.
  50. ConsistentIndex() uint64
  51. }
  52. type store struct {
  53. mu sync.Mutex // guards the following
  54. ig ConsistentIndexGetter
  55. b backend.Backend
  56. kvindex index
  57. le lease.Lessor
  58. currentRev revision
  59. // the main revision of the last compaction
  60. compactMainRev int64
  61. tx backend.BatchTx
  62. txnID int64 // tracks the current txnID to verify txn operations
  63. changes []storagepb.KeyValue
  64. fifoSched schedule.Scheduler
  65. stopc chan struct{}
  66. }
  67. // NewStore returns a new store. It is useful to create a store inside
  68. // storage pkg. It should only be used for testing externally.
  69. func NewStore(b backend.Backend, le lease.Lessor, ig ConsistentIndexGetter) *store {
  70. s := &store{
  71. b: b,
  72. ig: ig,
  73. kvindex: newTreeIndex(),
  74. le: le,
  75. currentRev: revision{main: 1},
  76. compactMainRev: -1,
  77. fifoSched: schedule.NewFIFOScheduler(),
  78. stopc: make(chan struct{}),
  79. }
  80. if s.le != nil {
  81. s.le.SetRangeDeleter(s)
  82. }
  83. tx := s.b.BatchTx()
  84. tx.Lock()
  85. tx.UnsafeCreateBucket(keyBucketName)
  86. tx.UnsafeCreateBucket(metaBucketName)
  87. tx.Unlock()
  88. s.b.ForceCommit()
  89. if err := s.restore(); err != nil {
  90. // TODO: return the error instead of panic here?
  91. panic("failed to recover store from backend")
  92. }
  93. return s
  94. }
  95. func (s *store) Rev() int64 {
  96. s.mu.Lock()
  97. defer s.mu.Unlock()
  98. return s.currentRev.main
  99. }
  100. func (s *store) FirstRev() int64 {
  101. s.mu.Lock()
  102. defer s.mu.Unlock()
  103. return s.compactMainRev
  104. }
  105. func (s *store) Put(key, value []byte, lease lease.LeaseID) int64 {
  106. id := s.TxnBegin()
  107. s.put(key, value, lease)
  108. s.txnEnd(id)
  109. putCounter.Inc()
  110. return int64(s.currentRev.main)
  111. }
  112. func (s *store) Range(key, end []byte, limit, rangeRev int64) (kvs []storagepb.KeyValue, rev int64, err error) {
  113. id := s.TxnBegin()
  114. kvs, rev, err = s.rangeKeys(key, end, limit, rangeRev)
  115. s.txnEnd(id)
  116. rangeCounter.Inc()
  117. return kvs, rev, err
  118. }
  119. func (s *store) DeleteRange(key, end []byte) (n, rev int64) {
  120. id := s.TxnBegin()
  121. n = s.deleteRange(key, end)
  122. s.txnEnd(id)
  123. deleteCounter.Inc()
  124. return n, int64(s.currentRev.main)
  125. }
  126. func (s *store) TxnBegin() int64 {
  127. s.mu.Lock()
  128. s.currentRev.sub = 0
  129. s.tx = s.b.BatchTx()
  130. s.tx.Lock()
  131. s.saveIndex()
  132. s.txnID = rand.Int63()
  133. return s.txnID
  134. }
  135. func (s *store) TxnEnd(txnID int64) error {
  136. err := s.txnEnd(txnID)
  137. if err != nil {
  138. return err
  139. }
  140. txnCounter.Inc()
  141. return nil
  142. }
  143. // txnEnd is used for unlocking an internal txn. It does
  144. // not increase the txnCounter.
  145. func (s *store) txnEnd(txnID int64) error {
  146. if txnID != s.txnID {
  147. return ErrTxnIDMismatch
  148. }
  149. s.tx.Unlock()
  150. if s.currentRev.sub != 0 {
  151. s.currentRev.main += 1
  152. }
  153. s.currentRev.sub = 0
  154. dbTotalSize.Set(float64(s.b.Size()))
  155. s.mu.Unlock()
  156. return nil
  157. }
  158. func (s *store) TxnRange(txnID int64, key, end []byte, limit, rangeRev int64) (kvs []storagepb.KeyValue, rev int64, err error) {
  159. if txnID != s.txnID {
  160. return nil, 0, ErrTxnIDMismatch
  161. }
  162. return s.rangeKeys(key, end, limit, rangeRev)
  163. }
  164. func (s *store) TxnPut(txnID int64, key, value []byte, lease lease.LeaseID) (rev int64, err error) {
  165. if txnID != s.txnID {
  166. return 0, ErrTxnIDMismatch
  167. }
  168. s.put(key, value, lease)
  169. return int64(s.currentRev.main + 1), nil
  170. }
  171. func (s *store) TxnDeleteRange(txnID int64, key, end []byte) (n, rev int64, err error) {
  172. if txnID != s.txnID {
  173. return 0, 0, ErrTxnIDMismatch
  174. }
  175. n = s.deleteRange(key, end)
  176. if n != 0 || s.currentRev.sub != 0 {
  177. rev = int64(s.currentRev.main + 1)
  178. } else {
  179. rev = int64(s.currentRev.main)
  180. }
  181. return n, rev, nil
  182. }
  183. func (s *store) compactBarrier(ctx context.Context, ch chan struct{}) {
  184. if ctx == nil || ctx.Err() != nil {
  185. s.mu.Lock()
  186. select {
  187. case <-s.stopc:
  188. default:
  189. f := func(ctx context.Context) { s.compactBarrier(ctx, ch) }
  190. s.fifoSched.Schedule(f)
  191. }
  192. s.mu.Unlock()
  193. return
  194. }
  195. close(ch)
  196. }
  197. func (s *store) Compact(rev int64) (<-chan struct{}, error) {
  198. s.mu.Lock()
  199. defer s.mu.Unlock()
  200. if rev <= s.compactMainRev {
  201. ch := make(chan struct{})
  202. f := func(ctx context.Context) { s.compactBarrier(ctx, ch) }
  203. s.fifoSched.Schedule(f)
  204. return ch, ErrCompacted
  205. }
  206. if rev > s.currentRev.main {
  207. return nil, ErrFutureRev
  208. }
  209. start := time.Now()
  210. s.compactMainRev = rev
  211. rbytes := newRevBytes()
  212. revToBytes(revision{main: rev}, rbytes)
  213. tx := s.b.BatchTx()
  214. tx.Lock()
  215. tx.UnsafePut(metaBucketName, scheduledCompactKeyName, rbytes)
  216. tx.Unlock()
  217. // ensure that desired compaction is persisted
  218. s.b.ForceCommit()
  219. keep := s.kvindex.Compact(rev)
  220. ch := make(chan struct{})
  221. var j = func(ctx context.Context) {
  222. if ctx.Err() != nil {
  223. s.compactBarrier(ctx, ch)
  224. return
  225. }
  226. if !s.scheduleCompaction(rev, keep) {
  227. s.compactBarrier(nil, ch)
  228. return
  229. }
  230. close(ch)
  231. }
  232. s.fifoSched.Schedule(j)
  233. indexCompactionPauseDurations.Observe(float64(time.Since(start) / time.Millisecond))
  234. return ch, nil
  235. }
  236. func (s *store) Hash() (uint32, error) {
  237. s.b.ForceCommit()
  238. return s.b.Hash()
  239. }
  240. func (s *store) Commit() { s.b.ForceCommit() }
  241. func (s *store) Restore(b backend.Backend) error {
  242. s.mu.Lock()
  243. defer s.mu.Unlock()
  244. close(s.stopc)
  245. s.fifoSched.Stop()
  246. s.b = b
  247. s.kvindex = newTreeIndex()
  248. s.currentRev = revision{main: 1}
  249. s.compactMainRev = -1
  250. s.tx = b.BatchTx()
  251. s.txnID = -1
  252. s.fifoSched = schedule.NewFIFOScheduler()
  253. s.stopc = make(chan struct{})
  254. return s.restore()
  255. }
  256. func (s *store) restore() error {
  257. min, max := newRevBytes(), newRevBytes()
  258. revToBytes(revision{main: 1}, min)
  259. revToBytes(revision{main: math.MaxInt64, sub: math.MaxInt64}, max)
  260. // restore index
  261. tx := s.b.BatchTx()
  262. tx.Lock()
  263. _, finishedCompactBytes := tx.UnsafeRange(metaBucketName, finishedCompactKeyName, nil, 0)
  264. if len(finishedCompactBytes) != 0 {
  265. s.compactMainRev = bytesToRev(finishedCompactBytes[0]).main
  266. log.Printf("storage: restore compact to %d", s.compactMainRev)
  267. }
  268. // TODO: limit N to reduce max memory usage
  269. keys, vals := tx.UnsafeRange(keyBucketName, min, max, 0)
  270. for i, key := range keys {
  271. var kv storagepb.KeyValue
  272. if err := kv.Unmarshal(vals[i]); err != nil {
  273. log.Fatalf("storage: cannot unmarshal event: %v", err)
  274. }
  275. rev := bytesToRev(key[:revBytesLen])
  276. // restore index
  277. switch {
  278. case isTombstone(key):
  279. s.kvindex.Tombstone(kv.Key, rev)
  280. if lease.LeaseID(kv.Lease) != lease.NoLease {
  281. err := s.le.Detach(lease.LeaseID(kv.Lease), []lease.LeaseItem{{Key: string(kv.Key)}})
  282. if err != nil && err != lease.ErrLeaseNotFound {
  283. log.Fatalf("storage: unexpected Detach error %v", err)
  284. }
  285. }
  286. default:
  287. s.kvindex.Restore(kv.Key, revision{kv.CreateRevision, 0}, rev, kv.Version)
  288. if lease.LeaseID(kv.Lease) != lease.NoLease {
  289. if s.le == nil {
  290. panic("no lessor to attach lease")
  291. }
  292. err := s.le.Attach(lease.LeaseID(kv.Lease), []lease.LeaseItem{{Key: string(kv.Key)}})
  293. // We are walking through the kv history here. It is possible that we attached a key to
  294. // the lease and the lease was revoked later.
  295. // Thus attaching an old version of key to a none existing lease is possible here, and
  296. // we should just ignore the error.
  297. if err != nil && err != lease.ErrLeaseNotFound {
  298. panic("unexpected Attach error")
  299. }
  300. }
  301. }
  302. // update revision
  303. s.currentRev = rev
  304. }
  305. _, scheduledCompactBytes := tx.UnsafeRange(metaBucketName, scheduledCompactKeyName, nil, 0)
  306. scheduledCompact := int64(0)
  307. if len(scheduledCompactBytes) != 0 {
  308. scheduledCompact = bytesToRev(scheduledCompactBytes[0]).main
  309. if scheduledCompact <= s.compactMainRev {
  310. scheduledCompact = 0
  311. }
  312. }
  313. tx.Unlock()
  314. if scheduledCompact != 0 {
  315. s.Compact(scheduledCompact)
  316. log.Printf("storage: resume scheduled compaction at %d", scheduledCompact)
  317. }
  318. return nil
  319. }
  320. func (s *store) Close() error {
  321. close(s.stopc)
  322. s.fifoSched.Stop()
  323. return nil
  324. }
  325. func (a *store) Equal(b *store) bool {
  326. if a.currentRev != b.currentRev {
  327. return false
  328. }
  329. if a.compactMainRev != b.compactMainRev {
  330. return false
  331. }
  332. return a.kvindex.Equal(b.kvindex)
  333. }
  334. // range is a keyword in Go, add Keys suffix.
  335. func (s *store) rangeKeys(key, end []byte, limit, rangeRev int64) (kvs []storagepb.KeyValue, curRev int64, err error) {
  336. curRev = int64(s.currentRev.main)
  337. if s.currentRev.sub > 0 {
  338. curRev += 1
  339. }
  340. if rangeRev > curRev {
  341. return nil, s.currentRev.main, ErrFutureRev
  342. }
  343. var rev int64
  344. if rangeRev <= 0 {
  345. rev = curRev
  346. } else {
  347. rev = rangeRev
  348. }
  349. if rev <= s.compactMainRev {
  350. return nil, 0, ErrCompacted
  351. }
  352. _, revpairs := s.kvindex.Range(key, end, int64(rev))
  353. if len(revpairs) == 0 {
  354. return nil, curRev, nil
  355. }
  356. for _, revpair := range revpairs {
  357. start, end := revBytesRange(revpair)
  358. _, vs := s.tx.UnsafeRange(keyBucketName, start, end, 0)
  359. if len(vs) != 1 {
  360. log.Fatalf("storage: range cannot find rev (%d,%d)", revpair.main, revpair.sub)
  361. }
  362. var kv storagepb.KeyValue
  363. if err := kv.Unmarshal(vs[0]); err != nil {
  364. log.Fatalf("storage: cannot unmarshal event: %v", err)
  365. }
  366. kvs = append(kvs, kv)
  367. if limit > 0 && len(kvs) >= int(limit) {
  368. break
  369. }
  370. }
  371. return kvs, curRev, nil
  372. }
  373. func (s *store) put(key, value []byte, leaseID lease.LeaseID) {
  374. rev := s.currentRev.main + 1
  375. c := rev
  376. oldLease := lease.NoLease
  377. // if the key exists before, use its previous created and
  378. // get its previous leaseID
  379. grev, created, ver, err := s.kvindex.Get(key, rev)
  380. if err == nil {
  381. c = created.main
  382. ibytes := newRevBytes()
  383. revToBytes(grev, ibytes)
  384. _, vs := s.tx.UnsafeRange(keyBucketName, ibytes, nil, 0)
  385. var kv storagepb.KeyValue
  386. if err = kv.Unmarshal(vs[0]); err != nil {
  387. log.Fatalf("storage: cannot unmarshal value: %v", err)
  388. }
  389. oldLease = lease.LeaseID(kv.Lease)
  390. }
  391. ibytes := newRevBytes()
  392. revToBytes(revision{main: rev, sub: s.currentRev.sub}, ibytes)
  393. ver = ver + 1
  394. kv := storagepb.KeyValue{
  395. Key: key,
  396. Value: value,
  397. CreateRevision: c,
  398. ModRevision: rev,
  399. Version: ver,
  400. Lease: int64(leaseID),
  401. }
  402. d, err := kv.Marshal()
  403. if err != nil {
  404. log.Fatalf("storage: cannot marshal event: %v", err)
  405. }
  406. s.tx.UnsafeSeqPut(keyBucketName, ibytes, d)
  407. s.kvindex.Put(key, revision{main: rev, sub: s.currentRev.sub})
  408. s.changes = append(s.changes, kv)
  409. s.currentRev.sub += 1
  410. if oldLease != lease.NoLease {
  411. if s.le == nil {
  412. panic("no lessor to detach lease")
  413. }
  414. err = s.le.Detach(oldLease, []lease.LeaseItem{{Key: string(key)}})
  415. if err != nil {
  416. panic("unexpected error from lease detach")
  417. }
  418. }
  419. if leaseID != lease.NoLease {
  420. if s.le == nil {
  421. panic("no lessor to attach lease")
  422. }
  423. err = s.le.Attach(leaseID, []lease.LeaseItem{{Key: string(key)}})
  424. if err != nil {
  425. panic("unexpected error from lease Attach")
  426. }
  427. }
  428. }
  429. func (s *store) deleteRange(key, end []byte) int64 {
  430. rrev := s.currentRev.main
  431. if s.currentRev.sub > 0 {
  432. rrev += 1
  433. }
  434. keys, revs := s.kvindex.Range(key, end, rrev)
  435. if len(keys) == 0 {
  436. return 0
  437. }
  438. for i, key := range keys {
  439. s.delete(key, revs[i])
  440. }
  441. return int64(len(keys))
  442. }
  443. func (s *store) delete(key []byte, rev revision) {
  444. mainrev := s.currentRev.main + 1
  445. ibytes := newRevBytes()
  446. revToBytes(revision{main: mainrev, sub: s.currentRev.sub}, ibytes)
  447. ibytes = appendMarkTombstone(ibytes)
  448. kv := storagepb.KeyValue{
  449. Key: key,
  450. }
  451. d, err := kv.Marshal()
  452. if err != nil {
  453. log.Fatalf("storage: cannot marshal event: %v", err)
  454. }
  455. s.tx.UnsafeSeqPut(keyBucketName, ibytes, d)
  456. err = s.kvindex.Tombstone(key, revision{main: mainrev, sub: s.currentRev.sub})
  457. if err != nil {
  458. log.Fatalf("storage: cannot tombstone an existing key (%s): %v", string(key), err)
  459. }
  460. s.changes = append(s.changes, kv)
  461. s.currentRev.sub += 1
  462. ibytes = newRevBytes()
  463. revToBytes(rev, ibytes)
  464. _, vs := s.tx.UnsafeRange(keyBucketName, ibytes, nil, 0)
  465. kv.Reset()
  466. if err = kv.Unmarshal(vs[0]); err != nil {
  467. log.Fatalf("storage: cannot unmarshal value: %v", err)
  468. }
  469. if lease.LeaseID(kv.Lease) != lease.NoLease {
  470. err = s.le.Detach(lease.LeaseID(kv.Lease), []lease.LeaseItem{{Key: string(kv.Key)}})
  471. if err != nil {
  472. log.Fatalf("storage: cannot detach %v", err)
  473. }
  474. }
  475. }
  476. func (s *store) getChanges() []storagepb.KeyValue {
  477. changes := s.changes
  478. s.changes = make([]storagepb.KeyValue, 0, 128)
  479. return changes
  480. }
  481. func (s *store) saveIndex() {
  482. if s.ig == nil {
  483. return
  484. }
  485. tx := s.tx
  486. // TODO: avoid this unnecessary allocation
  487. bs := make([]byte, 8)
  488. binary.BigEndian.PutUint64(bs, s.ig.ConsistentIndex())
  489. // put the index into the underlying backend
  490. // tx has been locked in TxnBegin, so there is no need to lock it again
  491. tx.UnsafePut(metaBucketName, consistentIndexKeyName, bs)
  492. }
  493. func (s *store) ConsistentIndex() uint64 {
  494. // TODO: cache index in a uint64 field?
  495. tx := s.b.BatchTx()
  496. tx.Lock()
  497. defer tx.Unlock()
  498. _, vs := tx.UnsafeRange(metaBucketName, consistentIndexKeyName, nil, 0)
  499. if len(vs) == 0 {
  500. return 0
  501. }
  502. return binary.BigEndian.Uint64(vs[0])
  503. }
  504. // appendMarkTombstone appends tombstone mark to normal revision bytes.
  505. func appendMarkTombstone(b []byte) []byte {
  506. if len(b) != revBytesLen {
  507. log.Panicf("cannot append mark to non normal revision bytes")
  508. }
  509. return append(b, markTombstone)
  510. }
  511. // isTombstone checks whether the revision bytes is a tombstone.
  512. func isTombstone(b []byte) bool {
  513. return len(b) == markedRevBytesLen && b[markBytePosition] == markTombstone
  514. }
  515. // revBytesRange returns the range of revision bytes at
  516. // the given revision.
  517. func revBytesRange(rev revision) (start, end []byte) {
  518. start = newRevBytes()
  519. revToBytes(rev, start)
  520. end = newRevBytes()
  521. endRev := revision{main: rev.main, sub: rev.sub + 1}
  522. revToBytes(endRev, end)
  523. return start, end
  524. }