index.go 4.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219
  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. )
  20. type index interface {
  21. Get(key []byte, atRev int64) (rev, created revision, ver int64, err error)
  22. Range(key, end []byte, atRev int64) ([][]byte, []revision)
  23. Put(key []byte, rev revision)
  24. Tombstone(key []byte, rev revision) error
  25. RangeSince(key, end []byte, rev int64) []revision
  26. Compact(rev int64) map[revision]struct{}
  27. Equal(b index) bool
  28. Insert(ki *keyIndex)
  29. KeyIndex(ki *keyIndex) *keyIndex
  30. }
  31. type treeIndex struct {
  32. sync.RWMutex
  33. tree *btree.BTree
  34. }
  35. func newTreeIndex() index {
  36. return &treeIndex{
  37. tree: btree.New(32),
  38. }
  39. }
  40. func (ti *treeIndex) Put(key []byte, rev revision) {
  41. keyi := &keyIndex{key: key}
  42. ti.Lock()
  43. defer ti.Unlock()
  44. item := ti.tree.Get(keyi)
  45. if item == nil {
  46. keyi.put(rev.main, rev.sub)
  47. ti.tree.ReplaceOrInsert(keyi)
  48. return
  49. }
  50. okeyi := item.(*keyIndex)
  51. okeyi.put(rev.main, rev.sub)
  52. }
  53. func (ti *treeIndex) Get(key []byte, atRev int64) (modified, created revision, ver int64, err error) {
  54. keyi := &keyIndex{key: key}
  55. ti.RLock()
  56. defer ti.RUnlock()
  57. if keyi = ti.keyIndex(keyi); keyi == nil {
  58. return revision{}, revision{}, 0, ErrRevisionNotFound
  59. }
  60. return keyi.get(atRev)
  61. }
  62. func (ti *treeIndex) KeyIndex(keyi *keyIndex) *keyIndex {
  63. ti.RLock()
  64. defer ti.RUnlock()
  65. return ti.keyIndex(keyi)
  66. }
  67. func (ti *treeIndex) keyIndex(keyi *keyIndex) *keyIndex {
  68. if item := ti.tree.Get(keyi); item != nil {
  69. return item.(*keyIndex)
  70. }
  71. return nil
  72. }
  73. func (ti *treeIndex) Range(key, end []byte, atRev int64) (keys [][]byte, revs []revision) {
  74. if end == nil {
  75. rev, _, _, err := ti.Get(key, atRev)
  76. if err != nil {
  77. return nil, nil
  78. }
  79. return [][]byte{key}, []revision{rev}
  80. }
  81. keyi := &keyIndex{key: key}
  82. endi := &keyIndex{key: end}
  83. ti.RLock()
  84. defer ti.RUnlock()
  85. ti.tree.AscendGreaterOrEqual(keyi, func(item btree.Item) bool {
  86. if len(endi.key) > 0 && !item.Less(endi) {
  87. return false
  88. }
  89. curKeyi := item.(*keyIndex)
  90. rev, _, _, err := curKeyi.get(atRev)
  91. if err != nil {
  92. return true
  93. }
  94. revs = append(revs, rev)
  95. keys = append(keys, curKeyi.key)
  96. return true
  97. })
  98. return keys, revs
  99. }
  100. func (ti *treeIndex) Tombstone(key []byte, rev revision) error {
  101. keyi := &keyIndex{key: key}
  102. ti.Lock()
  103. defer ti.Unlock()
  104. item := ti.tree.Get(keyi)
  105. if item == nil {
  106. return ErrRevisionNotFound
  107. }
  108. ki := item.(*keyIndex)
  109. return ki.tombstone(rev.main, rev.sub)
  110. }
  111. // RangeSince returns all revisions from key(including) to end(excluding)
  112. // at or after the given rev. The returned slice is sorted in the order
  113. // of revision.
  114. func (ti *treeIndex) RangeSince(key, end []byte, rev int64) []revision {
  115. ti.RLock()
  116. defer ti.RUnlock()
  117. keyi := &keyIndex{key: key}
  118. if end == nil {
  119. item := ti.tree.Get(keyi)
  120. if item == nil {
  121. return nil
  122. }
  123. keyi = item.(*keyIndex)
  124. return keyi.since(rev)
  125. }
  126. endi := &keyIndex{key: end}
  127. var revs []revision
  128. ti.tree.AscendGreaterOrEqual(keyi, func(item btree.Item) bool {
  129. if len(endi.key) > 0 && !item.Less(endi) {
  130. return false
  131. }
  132. curKeyi := item.(*keyIndex)
  133. revs = append(revs, curKeyi.since(rev)...)
  134. return true
  135. })
  136. sort.Sort(revisions(revs))
  137. return revs
  138. }
  139. func (ti *treeIndex) Compact(rev int64) map[revision]struct{} {
  140. available := make(map[revision]struct{})
  141. var emptyki []*keyIndex
  142. plog.Printf("store.index: compact %d", rev)
  143. // TODO: do not hold the lock for long time?
  144. // This is probably OK. Compacting 10M keys takes O(10ms).
  145. ti.Lock()
  146. defer ti.Unlock()
  147. ti.tree.Ascend(compactIndex(rev, available, &emptyki))
  148. for _, ki := range emptyki {
  149. item := ti.tree.Delete(ki)
  150. if item == nil {
  151. plog.Panic("store.index: unexpected delete failure during compaction")
  152. }
  153. }
  154. return available
  155. }
  156. func compactIndex(rev int64, available map[revision]struct{}, emptyki *[]*keyIndex) func(i btree.Item) bool {
  157. return func(i btree.Item) bool {
  158. keyi := i.(*keyIndex)
  159. keyi.compact(rev, available)
  160. if keyi.isEmpty() {
  161. *emptyki = append(*emptyki, keyi)
  162. }
  163. return true
  164. }
  165. }
  166. func (a *treeIndex) Equal(bi index) bool {
  167. b := bi.(*treeIndex)
  168. if a.tree.Len() != b.tree.Len() {
  169. return false
  170. }
  171. equal := true
  172. a.tree.Ascend(func(item btree.Item) bool {
  173. aki := item.(*keyIndex)
  174. bki := b.tree.Get(item).(*keyIndex)
  175. if !aki.equal(bki) {
  176. equal = false
  177. return false
  178. }
  179. return true
  180. })
  181. return equal
  182. }
  183. func (ti *treeIndex) Insert(ki *keyIndex) {
  184. ti.Lock()
  185. defer ti.Unlock()
  186. ti.tree.ReplaceOrInsert(ki)
  187. }