github.com/coocood/badger@v1.5.1-0.20200528065104-c02ac3616d04/surf/builder.go (about) 1 package surf 2 3 // Builder is builder of SuRF. 4 type Builder struct { 5 sparseStartLevel uint32 6 valueSize uint32 7 totalCount int 8 9 // LOUDS-Sparse bitvecs 10 lsLabels [][]byte 11 lsHasChild [][]uint64 12 lsLoudsBits [][]uint64 13 14 // LOUDS-Dense bitvecs 15 ldLabels [][]uint64 16 ldHasChild [][]uint64 17 ldIsPrefix [][]uint64 18 19 // suffix 20 hashSuffixLen uint32 21 realSuffixLen uint32 22 suffixes [][]uint64 23 suffixCounts []uint32 24 25 // value 26 values [][]byte 27 valueCounts []uint32 28 29 // prefix 30 hasPrefix [][]uint64 31 prefixes [][][]byte 32 33 nodeCounts []uint32 34 isLastItemTerminator []bool 35 } 36 37 // NewBuilder returns a new SuRF builder. 38 func NewBuilder(valueSize uint32, hashSuffixLen, realSuffixLen uint32) *Builder { 39 return &Builder{ 40 valueSize: valueSize, 41 hashSuffixLen: hashSuffixLen, 42 realSuffixLen: realSuffixLen, 43 } 44 } 45 46 // Build returns the SuRF for added kv pairs. 47 // The bitsPerKeyHint is a size hint used when determine how many levels can use the dense-loudes format. 48 // The dense-loudes format is faster than sparse-loudes format, but may consume more space. 49 func (b *Builder) Build(keys, vals [][]byte, bitsPerKeyHint int) *SuRF { 50 b.totalCount = len(keys) 51 b.buildNodes(keys, vals, 0, 0, 0) 52 b.determineCutoffLevel(bitsPerKeyHint) 53 b.buildDense() 54 55 surf := new(SuRF) 56 surf.ld.Init(b) 57 surf.ls.Init(b) 58 return surf 59 } 60 61 // buildNodes is recursive algorithm to bulk building SuRF nodes. 62 // * We divide keys into groups by the `key[depth]`, so keys in each group shares the same prefix 63 // * If depth larger than the length if the first key in group, the key is prefix of others in group 64 // So we should append `labelTerminator` to labels and update `b.isLastItemTerminator`, then remove it from group. 65 // * Scan over keys in current group when meets different label, use the new sub group call buildNodes with level+1 recursively 66 // * If all keys in current group have the same label, this node can be compressed, use this group call buildNodes with level recursively. 67 // * If current group contains only one key constract suffix of this key and return. 68 func (b *Builder) buildNodes(keys, vals [][]byte, prefixDepth, depth, level int) { 69 b.ensureLevel(level) 70 nodeStartPos := b.numItems(level) 71 72 groupStart := 0 73 if depth >= len(keys[groupStart]) { 74 b.lsLabels[level] = append(b.lsLabels[level], labelTerminator) 75 b.isLastItemTerminator[level] = true 76 b.insertSuffix(keys[groupStart], level, depth) 77 b.insertValue(vals[groupStart], level) 78 b.moveToNextItemSlot(level) 79 groupStart++ 80 } 81 82 for groupEnd := groupStart; groupEnd <= len(keys); groupEnd++ { 83 if groupEnd < len(keys) && keys[groupStart][depth] == keys[groupEnd][depth] { 84 continue 85 } 86 87 if groupEnd == len(keys) && groupStart == 0 && groupEnd-groupStart != 1 { 88 // node at this level is one-way node, compress it to next node 89 b.buildNodes(keys, vals, prefixDepth, depth+1, level) 90 return 91 } 92 93 b.lsLabels[level] = append(b.lsLabels[level], keys[groupStart][depth]) 94 b.moveToNextItemSlot(level) 95 if groupEnd-groupStart == 1 { 96 b.insertSuffix(keys[groupStart], level, depth) 97 b.insertValue(vals[groupStart], level) 98 } else { 99 setBit(b.lsHasChild[level], b.numItems(level)-1) 100 b.buildNodes(keys[groupStart:groupEnd], vals[groupStart:groupEnd], depth+1, depth+1, level+1) 101 } 102 103 groupStart = groupEnd 104 } 105 106 // check if current node contains compressed path. 107 if depth-prefixDepth > 0 { 108 prefix := keys[0][prefixDepth:depth] 109 setBit(b.hasPrefix[level], b.nodeCounts[level]) 110 b.insertPrefix(prefix, level) 111 } 112 setBit(b.lsLoudsBits[level], nodeStartPos) 113 114 b.nodeCounts[level]++ 115 if b.nodeCounts[level]%wordSize == 0 { 116 b.hasPrefix[level] = append(b.hasPrefix[level], 0) 117 } 118 } 119 120 func (b *Builder) buildDense() { 121 var level int 122 for level = 0; uint32(level) < b.sparseStartLevel; level++ { 123 b.initDenseVectors(level) 124 if b.numItems(level) == 0 { 125 continue 126 } 127 128 var nodeID uint32 129 if b.isTerminator(level, 0) { 130 setBit(b.ldIsPrefix[level], 0) 131 } else { 132 b.setLabelAndHasChildVec(level, nodeID, 0) 133 } 134 135 var pos uint32 136 numItems := b.numItems(level) 137 for pos = 1; pos < numItems; pos++ { 138 if b.isStartOfNode(level, pos) { 139 nodeID++ 140 if b.isTerminator(level, pos) { 141 setBit(b.ldIsPrefix[level], nodeID) 142 continue 143 } 144 } 145 b.setLabelAndHasChildVec(level, nodeID, pos) 146 } 147 } 148 } 149 150 func (b *Builder) ensureLevel(level int) { 151 if level >= b.treeHeight() { 152 b.addLevel() 153 } 154 } 155 156 func (b *Builder) suffixLen() uint32 { 157 return b.hashSuffixLen + b.realSuffixLen 158 } 159 160 func (b *Builder) treeHeight() int { 161 return len(b.nodeCounts) 162 } 163 164 func (b *Builder) numItems(level int) uint32 { 165 return uint32(len(b.lsLabels[level])) 166 } 167 168 func (b *Builder) addLevel() { 169 b.lsLabels = append(b.lsLabels, []byte{}) 170 b.lsHasChild = append(b.lsHasChild, []uint64{}) 171 b.lsLoudsBits = append(b.lsLoudsBits, []uint64{}) 172 b.hasPrefix = append(b.hasPrefix, []uint64{}) 173 b.suffixes = append(b.suffixes, []uint64{}) 174 b.suffixCounts = append(b.suffixCounts, 0) 175 b.values = append(b.values, []byte{}) 176 b.valueCounts = append(b.valueCounts, 0) 177 b.prefixes = append(b.prefixes, [][]byte{}) 178 179 b.nodeCounts = append(b.nodeCounts, 0) 180 b.isLastItemTerminator = append(b.isLastItemTerminator, false) 181 182 level := b.treeHeight() - 1 183 b.lsHasChild[level] = append(b.lsHasChild[level], 0) 184 b.lsLoudsBits[level] = append(b.lsLoudsBits[level], 0) 185 b.hasPrefix[level] = append(b.hasPrefix[level], 0) 186 } 187 188 func (b *Builder) moveToNextItemSlot(level int) { 189 if b.numItems(level)%wordSize == 0 { 190 b.lsHasChild[level] = append(b.lsHasChild[level], 0) 191 b.lsLoudsBits[level] = append(b.lsLoudsBits[level], 0) 192 } 193 } 194 195 func (b *Builder) insertSuffix(key []byte, level, depth int) { 196 if level >= b.treeHeight() { 197 b.addLevel() 198 } 199 suffix := constructSuffix(key, uint32(depth)+1, b.realSuffixLen, b.hashSuffixLen) 200 201 suffixLen := b.suffixLen() 202 pos := b.suffixCounts[level] * suffixLen 203 if pos == uint32(len(b.suffixes[level])*wordSize) { 204 b.suffixes[level] = append(b.suffixes[level], 0) 205 } 206 wordID := pos / wordSize 207 offset := pos % wordSize 208 remain := wordSize - offset 209 b.suffixes[level][wordID] |= suffix << offset 210 if suffixLen > remain { 211 b.suffixes[level] = append(b.suffixes[level], suffix>>remain) 212 } 213 b.suffixCounts[level]++ 214 } 215 216 func (b *Builder) insertValue(value []byte, level int) { 217 b.values[level] = append(b.values[level], value[:b.valueSize]...) 218 b.valueCounts[level]++ 219 } 220 221 func (b *Builder) insertPrefix(prefix []byte, level int) { 222 b.prefixes[level] = append(b.prefixes[level], append([]byte{}, prefix...)) 223 } 224 225 func (b *Builder) determineCutoffLevel(bitsPerKeyHint int) { 226 height := b.treeHeight() 227 if height == 0 { 228 return 229 } 230 231 sizeHint := uint64(b.totalCount * bitsPerKeyHint) 232 suffixSize := uint64(b.totalCount) * uint64(b.suffixLen()) 233 var prefixSize uint64 234 for _, l := range b.prefixes { 235 for _, p := range l { 236 prefixSize += uint64(len(p)) * 8 237 } 238 } 239 for _, nc := range b.nodeCounts { 240 prefixSize += uint64(nc) 241 } 242 243 var level int 244 // Begins from last level to make the height of dense levels as large as possible. 245 for level = height - 1; level > 0; level-- { 246 ds := b.denseSizeNoSuffix(level) 247 ss := b.sparseSizeNoSuffix(level) 248 sz := ds + ss + suffixSize + prefixSize 249 if sz <= sizeHint { 250 break 251 } 252 } 253 b.sparseStartLevel = uint32(level) 254 } 255 256 func (b *Builder) denseSizeNoSuffix(level int) uint64 { 257 var total uint64 258 for l := 0; l < level; l++ { 259 total += uint64(2 * denseFanout * b.nodeCounts[l]) 260 if l > 0 { 261 total += uint64(b.nodeCounts[l-1]) 262 } 263 } 264 return total 265 } 266 267 func (b *Builder) sparseSizeNoSuffix(level int) uint64 { 268 var total uint64 269 height := b.treeHeight() 270 for l := level; l < height; l++ { 271 n := uint64(len(b.lsLabels[l])) 272 total += n*8 + 2*n 273 } 274 return total 275 } 276 277 func (b *Builder) setLabelAndHasChildVec(level int, nodeID, pos uint32) { 278 label := b.lsLabels[level][pos] 279 setBit(b.ldLabels[level], nodeID*denseFanout+uint32(label)) 280 if readBit(b.lsHasChild[level], pos) { 281 setBit(b.ldHasChild[level], nodeID*denseFanout+uint32(label)) 282 } 283 } 284 285 func (b *Builder) initDenseVectors(level int) { 286 vecLength := b.nodeCounts[level] * (denseFanout / wordSize) 287 prefixVecLen := b.nodeCounts[level] / wordSize 288 if b.nodeCounts[level]%wordSize != 0 { 289 prefixVecLen++ 290 } 291 292 b.ldLabels = append(b.ldLabels, make([]uint64, vecLength)) 293 b.ldHasChild = append(b.ldHasChild, make([]uint64, vecLength)) 294 b.ldIsPrefix = append(b.ldIsPrefix, make([]uint64, prefixVecLen)) 295 } 296 297 func (b *Builder) isStartOfNode(level int, pos uint32) bool { 298 return readBit(b.lsLoudsBits[level], pos) 299 } 300 301 func (b *Builder) isTerminator(level int, pos uint32) bool { 302 label := b.lsLabels[level][pos] 303 return (label == labelTerminator) && !readBit(b.lsHasChild[level], pos) 304 }