kvstore.go 15 KB

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