kvstore.go 15 KB

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