index.go 5.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259
  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. "sort"
  17. "sync"
  18. "github.com/google/btree"
  19. "go.uber.org/zap"
  20. )
  21. type index interface {
  22. Get(key []byte, atRev int64) (rev, created revision, ver int64, err error)
  23. Range(key, end []byte, atRev int64) ([][]byte, []revision)
  24. Revisions(key, end []byte, atRev int64) []revision
  25. Put(key []byte, rev revision)
  26. Tombstone(key []byte, rev revision) error
  27. RangeSince(key, end []byte, rev int64) []revision
  28. Compact(rev int64) map[revision]struct{}
  29. Keep(rev int64) map[revision]struct{}
  30. Equal(b index) bool
  31. Insert(ki *keyIndex)
  32. KeyIndex(ki *keyIndex) *keyIndex
  33. }
  34. type treeIndex struct {
  35. sync.RWMutex
  36. tree *btree.BTree
  37. lg *zap.Logger
  38. }
  39. func newTreeIndex(lg *zap.Logger) index {
  40. return &treeIndex{
  41. tree: btree.New(32),
  42. lg: lg,
  43. }
  44. }
  45. func (ti *treeIndex) Put(key []byte, rev revision) {
  46. keyi := &keyIndex{key: key}
  47. ti.Lock()
  48. defer ti.Unlock()
  49. item := ti.tree.Get(keyi)
  50. if item == nil {
  51. keyi.put(ti.lg, rev.main, rev.sub)
  52. ti.tree.ReplaceOrInsert(keyi)
  53. return
  54. }
  55. okeyi := item.(*keyIndex)
  56. okeyi.put(ti.lg, rev.main, rev.sub)
  57. }
  58. func (ti *treeIndex) Get(key []byte, atRev int64) (modified, created revision, ver int64, err error) {
  59. keyi := &keyIndex{key: key}
  60. ti.RLock()
  61. defer ti.RUnlock()
  62. if keyi = ti.keyIndex(keyi); keyi == nil {
  63. return revision{}, revision{}, 0, ErrRevisionNotFound
  64. }
  65. return keyi.get(ti.lg, atRev)
  66. }
  67. func (ti *treeIndex) KeyIndex(keyi *keyIndex) *keyIndex {
  68. ti.RLock()
  69. defer ti.RUnlock()
  70. return ti.keyIndex(keyi)
  71. }
  72. func (ti *treeIndex) keyIndex(keyi *keyIndex) *keyIndex {
  73. if item := ti.tree.Get(keyi); item != nil {
  74. return item.(*keyIndex)
  75. }
  76. return nil
  77. }
  78. func (ti *treeIndex) visit(key, end []byte, f func(ki *keyIndex)) {
  79. keyi, endi := &keyIndex{key: key}, &keyIndex{key: end}
  80. ti.RLock()
  81. clone := ti.tree.Clone()
  82. ti.RUnlock()
  83. clone.AscendGreaterOrEqual(keyi, func(item btree.Item) bool {
  84. if len(endi.key) > 0 && !item.Less(endi) {
  85. return false
  86. }
  87. f(item.(*keyIndex))
  88. return true
  89. })
  90. }
  91. func (ti *treeIndex) Revisions(key, end []byte, atRev int64) (revs []revision) {
  92. if end == nil {
  93. rev, _, _, err := ti.Get(key, atRev)
  94. if err != nil {
  95. return nil
  96. }
  97. return []revision{rev}
  98. }
  99. ti.visit(key, end, func(ki *keyIndex) {
  100. if rev, _, _, err := ki.get(ti.lg, atRev); err == nil {
  101. revs = append(revs, rev)
  102. }
  103. })
  104. return revs
  105. }
  106. func (ti *treeIndex) Range(key, end []byte, atRev int64) (keys [][]byte, revs []revision) {
  107. if end == nil {
  108. rev, _, _, err := ti.Get(key, atRev)
  109. if err != nil {
  110. return nil, nil
  111. }
  112. return [][]byte{key}, []revision{rev}
  113. }
  114. ti.visit(key, end, func(ki *keyIndex) {
  115. if rev, _, _, err := ki.get(ti.lg, atRev); err == nil {
  116. revs = append(revs, rev)
  117. keys = append(keys, ki.key)
  118. }
  119. })
  120. return keys, revs
  121. }
  122. func (ti *treeIndex) Tombstone(key []byte, rev revision) error {
  123. keyi := &keyIndex{key: key}
  124. ti.Lock()
  125. defer ti.Unlock()
  126. item := ti.tree.Get(keyi)
  127. if item == nil {
  128. return ErrRevisionNotFound
  129. }
  130. ki := item.(*keyIndex)
  131. return ki.tombstone(ti.lg, rev.main, rev.sub)
  132. }
  133. // RangeSince returns all revisions from key(including) to end(excluding)
  134. // at or after the given rev. The returned slice is sorted in the order
  135. // of revision.
  136. func (ti *treeIndex) RangeSince(key, end []byte, rev int64) []revision {
  137. keyi := &keyIndex{key: key}
  138. ti.RLock()
  139. defer ti.RUnlock()
  140. if end == nil {
  141. item := ti.tree.Get(keyi)
  142. if item == nil {
  143. return nil
  144. }
  145. keyi = item.(*keyIndex)
  146. return keyi.since(ti.lg, rev)
  147. }
  148. endi := &keyIndex{key: end}
  149. var revs []revision
  150. ti.tree.AscendGreaterOrEqual(keyi, func(item btree.Item) bool {
  151. if len(endi.key) > 0 && !item.Less(endi) {
  152. return false
  153. }
  154. curKeyi := item.(*keyIndex)
  155. revs = append(revs, curKeyi.since(ti.lg, rev)...)
  156. return true
  157. })
  158. sort.Sort(revisions(revs))
  159. return revs
  160. }
  161. func (ti *treeIndex) Compact(rev int64) map[revision]struct{} {
  162. available := make(map[revision]struct{})
  163. if ti.lg != nil {
  164. ti.lg.Info("compact tree index", zap.Int64("revision", rev))
  165. } else {
  166. plog.Printf("store.index: compact %d", rev)
  167. }
  168. ti.Lock()
  169. clone := ti.tree.Clone()
  170. ti.Unlock()
  171. clone.Ascend(func(item btree.Item) bool {
  172. keyi := item.(*keyIndex)
  173. //Lock is needed here to prevent modification to the keyIndex while
  174. //compaction is going on or revision added to empty before deletion
  175. ti.Lock()
  176. keyi.compact(ti.lg, rev, available)
  177. if keyi.isEmpty() {
  178. item := ti.tree.Delete(keyi)
  179. if item == nil {
  180. if ti.lg != nil {
  181. ti.lg.Panic("failed to delete during compaction")
  182. } else {
  183. plog.Panic("store.index: unexpected delete failure during compaction")
  184. }
  185. }
  186. }
  187. ti.Unlock()
  188. return true
  189. })
  190. return available
  191. }
  192. // Keep finds all revisions to be kept for a Compaction at the given rev.
  193. func (ti *treeIndex) Keep(rev int64) map[revision]struct{} {
  194. available := make(map[revision]struct{})
  195. ti.RLock()
  196. defer ti.RUnlock()
  197. ti.tree.Ascend(func(i btree.Item) bool {
  198. keyi := i.(*keyIndex)
  199. keyi.keep(rev, available)
  200. return true
  201. })
  202. return available
  203. }
  204. func (ti *treeIndex) Equal(bi index) bool {
  205. b := bi.(*treeIndex)
  206. if ti.tree.Len() != b.tree.Len() {
  207. return false
  208. }
  209. equal := true
  210. ti.tree.Ascend(func(item btree.Item) bool {
  211. aki := item.(*keyIndex)
  212. bki := b.tree.Get(item).(*keyIndex)
  213. if !aki.equal(bki) {
  214. equal = false
  215. return false
  216. }
  217. return true
  218. })
  219. return equal
  220. }
  221. func (ti *treeIndex) Insert(ki *keyIndex) {
  222. ti.Lock()
  223. defer ti.Unlock()
  224. ti.tree.ReplaceOrInsert(ki)
  225. }