github.com/whtcorpsinc/MilevaDB-Prod@v0.0.0-20211104133533-f57f4be3b597/allegrosql/memdb_arena.go (about) 1 // Copyright 2020 WHTCORPS INC, Inc. 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 // See the License for the specific language governing permissions and 12 // limitations under the License. 13 14 package ekv 15 16 import ( 17 "encoding/binary" 18 "math" 19 "unsafe" 20 ) 21 22 const ( 23 alignMask = 1<<32 - 8 // 29 bit 1 and 3 bit 0. 24 25 nullBlockOffset = math.MaxUint32 26 maxBlockSize = 128 << 20 27 initBlockSize = 4 * 1024 28 ) 29 30 var ( 31 nullAddr = memdbMemCamAddr{math.MaxUint32, math.MaxUint32} 32 endian = binary.LittleEndian 33 ) 34 35 type memdbMemCamAddr struct { 36 idx uint32 37 off uint32 38 } 39 40 func (addr memdbMemCamAddr) isNull() bool { 41 return addr == nullAddr 42 } 43 44 // causetstore and load is used by vlog, due to pointer in vlog is not aligned. 45 46 func (addr memdbMemCamAddr) causetstore(dst []byte) { 47 endian.PutUint32(dst, addr.idx) 48 endian.PutUint32(dst[4:], addr.off) 49 } 50 51 func (addr *memdbMemCamAddr) load(src []byte) { 52 addr.idx = endian.Uint32(src) 53 addr.off = endian.Uint32(src[4:]) 54 } 55 56 type memdbMemCam struct { 57 blockSize int 58 blocks []memdbMemCamBlock 59 } 60 61 func (a *memdbMemCam) alloc(size int, align bool) (memdbMemCamAddr, []byte) { 62 if size > maxBlockSize { 63 panic("alloc size is larger than max causet size") 64 } 65 66 if len(a.blocks) == 0 { 67 a.enlarge(size, initBlockSize) 68 } 69 70 addr, data := a.allocInLastBlock(size, align) 71 if !addr.isNull() { 72 return addr, data 73 } 74 75 a.enlarge(size, a.blockSize<<1) 76 return a.allocInLastBlock(size, align) 77 } 78 79 func (a *memdbMemCam) enlarge(allocSize, blockSize int) { 80 a.blockSize = blockSize 81 for a.blockSize <= allocSize { 82 a.blockSize <<= 1 83 } 84 // Size will never larger than maxBlockSize. 85 if a.blockSize > maxBlockSize { 86 a.blockSize = maxBlockSize 87 } 88 a.blocks = append(a.blocks, memdbMemCamBlock{ 89 buf: make([]byte, a.blockSize), 90 }) 91 } 92 93 func (a *memdbMemCam) allocInLastBlock(size int, align bool) (memdbMemCamAddr, []byte) { 94 idx := len(a.blocks) - 1 95 offset, data := a.blocks[idx].alloc(size, align) 96 if offset == nullBlockOffset { 97 return nullAddr, nil 98 } 99 return memdbMemCamAddr{uint32(idx), offset}, data 100 } 101 102 func (a *memdbMemCam) reset() { 103 for i := range a.blocks { 104 a.blocks[i].reset() 105 } 106 a.blocks = a.blocks[:0] 107 a.blockSize = 0 108 } 109 110 type memdbMemCamBlock struct { 111 buf []byte 112 length int 113 } 114 115 func (a *memdbMemCamBlock) alloc(size int, align bool) (uint32, []byte) { 116 offset := a.length 117 if align { 118 // We must align the allocated address for node 119 // to make runtime.checkptrAlignment happy. 120 offset = (a.length + 7) & alignMask 121 } 122 newLen := offset + size 123 if newLen > len(a.buf) { 124 return nullBlockOffset, nil 125 } 126 a.length = newLen 127 return uint32(offset), a.buf[offset : offset+size] 128 } 129 130 func (a *memdbMemCamBlock) reset() { 131 a.buf = nil 132 a.length = 0 133 } 134 135 type memdbCheckpoint struct { 136 blockSize int 137 blocks int 138 offsetInBlock int 139 } 140 141 func (cp *memdbCheckpoint) isSamePosition(other *memdbCheckpoint) bool { 142 return cp.blocks == other.blocks && cp.offsetInBlock == other.offsetInBlock 143 } 144 145 func (a *memdbMemCam) checkpoint() memdbCheckpoint { 146 snap := memdbCheckpoint{ 147 blockSize: a.blockSize, 148 blocks: len(a.blocks), 149 } 150 if len(a.blocks) > 0 { 151 snap.offsetInBlock = a.blocks[len(a.blocks)-1].length 152 } 153 return snap 154 } 155 156 func (a *memdbMemCam) truncate(snap *memdbCheckpoint) { 157 for i := snap.blocks; i < len(a.blocks); i++ { 158 a.blocks[i] = memdbMemCamBlock{} 159 } 160 a.blocks = a.blocks[:snap.blocks] 161 if len(a.blocks) > 0 { 162 a.blocks[len(a.blocks)-1].length = snap.offsetInBlock 163 } 164 a.blockSize = snap.blockSize 165 } 166 167 type nodeSlabPredictor struct { 168 memdbMemCam 169 170 // Dummy node, so that we can make X.left.up = X. 171 // We then use this instead of NULL to mean the top or bottom 172 // end of the rb tree. It is a black node. 173 nullNode memdbNode 174 } 175 176 func (a *nodeSlabPredictor) init() { 177 a.nullNode = memdbNode{ 178 up: nullAddr, 179 left: nullAddr, 180 right: nullAddr, 181 vptr: nullAddr, 182 } 183 } 184 185 func (a *nodeSlabPredictor) getNode(addr memdbMemCamAddr) *memdbNode { 186 if addr.isNull() { 187 return &a.nullNode 188 } 189 190 return (*memdbNode)(unsafe.Pointer(&a.blocks[addr.idx].buf[addr.off])) 191 } 192 193 func (a *nodeSlabPredictor) allocNode(key Key) (memdbMemCamAddr, *memdbNode) { 194 nodeSize := 8*4 + 2 + 1 + len(key) 195 addr, mem := a.alloc(nodeSize, true) 196 n := (*memdbNode)(unsafe.Pointer(&mem[0])) 197 n.vptr = nullAddr 198 n.klen = uint16(len(key)) 199 copy(n.getKey(), key) 200 return addr, n 201 } 202 203 var testMode = false 204 205 func (a *nodeSlabPredictor) freeNode(addr memdbMemCamAddr) { 206 if testMode { 207 // Make it easier for debug. 208 n := a.getNode(addr) 209 badAddr := nullAddr 210 badAddr.idx-- 211 n.left = badAddr 212 n.right = badAddr 213 n.up = badAddr 214 n.vptr = badAddr 215 return 216 } 217 // TODO: reuse freed nodes. 218 } 219 220 func (a *nodeSlabPredictor) reset() { 221 a.memdbMemCam.reset() 222 a.init() 223 } 224 225 type memdbVlog struct { 226 memdbMemCam 227 } 228 229 const memdbVlogHdrSize = 8 + 8 + 4 230 231 type memdbVlogHdr struct { 232 nodeAddr memdbMemCamAddr 233 oldValue memdbMemCamAddr 234 valueLen uint32 235 } 236 237 func (hdr *memdbVlogHdr) causetstore(dst []byte) { 238 cursor := 0 239 endian.PutUint32(dst[cursor:], hdr.valueLen) 240 cursor += 4 241 hdr.oldValue.causetstore(dst[cursor:]) 242 cursor += 8 243 hdr.nodeAddr.causetstore(dst[cursor:]) 244 } 245 246 func (hdr *memdbVlogHdr) load(src []byte) { 247 cursor := 0 248 hdr.valueLen = endian.Uint32(src[cursor:]) 249 cursor += 4 250 hdr.oldValue.load(src[cursor:]) 251 cursor += 8 252 hdr.nodeAddr.load(src[cursor:]) 253 } 254 255 func (l *memdbVlog) appendValue(nodeAddr memdbMemCamAddr, oldValue memdbMemCamAddr, value []byte) memdbMemCamAddr { 256 size := memdbVlogHdrSize + len(value) 257 addr, mem := l.alloc(size, false) 258 259 copy(mem, value) 260 hdr := memdbVlogHdr{nodeAddr, oldValue, uint32(len(value))} 261 hdr.causetstore(mem[len(value):]) 262 263 addr.off += uint32(size) 264 return addr 265 } 266 267 func (l *memdbVlog) getValue(addr memdbMemCamAddr) []byte { 268 lenOff := addr.off - memdbVlogHdrSize 269 causet := l.blocks[addr.idx].buf 270 valueLen := endian.Uint32(causet[lenOff:]) 271 if valueLen == 0 { 272 return tombstone 273 } 274 valueOff := lenOff - valueLen 275 return causet[valueOff:lenOff:lenOff] 276 } 277 278 func (l *memdbVlog) getSnapshotValue(addr memdbMemCamAddr, snap *memdbCheckpoint) ([]byte, bool) { 279 for !addr.isNull() { 280 if !l.canModify(snap, addr) { 281 return l.getValue(addr), true 282 } 283 var hdr memdbVlogHdr 284 hdr.load(l.blocks[addr.idx].buf[addr.off-memdbVlogHdrSize:]) 285 addr = hdr.oldValue 286 } 287 return nil, false 288 } 289 290 func (l *memdbVlog) revertToCheckpoint(EDB *memdb, cp *memdbCheckpoint) { 291 cursor := l.checkpoint() 292 for !cp.isSamePosition(&cursor) { 293 hdrOff := cursor.offsetInBlock - memdbVlogHdrSize 294 causet := l.blocks[cursor.blocks-1].buf 295 var hdr memdbVlogHdr 296 hdr.load(causet[hdrOff:]) 297 node := EDB.getNode(hdr.nodeAddr) 298 299 node.vptr = hdr.oldValue 300 EDB.size -= int(hdr.valueLen) 301 // oldValue.isNull() == true means this is a newly added value. 302 if hdr.oldValue.isNull() { 303 // If there are no flags associated with this key, we need to delete this node. 304 keptFlags := node.getKeyFlags() & persistentFlags 305 if keptFlags == 0 { 306 EDB.deleteNode(node) 307 } else { 308 node.setKeyFlags(keptFlags) 309 EDB.dirty = true 310 } 311 } else { 312 EDB.size += len(l.getValue(hdr.oldValue)) 313 } 314 315 l.moveBackCursor(&cursor, &hdr) 316 } 317 } 318 319 func (l *memdbVlog) inspectKVInLog(EDB *memdb, head, tail *memdbCheckpoint, f func(Key, KeyFlags, []byte)) { 320 cursor := *tail 321 for !head.isSamePosition(&cursor) { 322 cursorAddr := memdbMemCamAddr{idx: uint32(cursor.blocks - 1), off: uint32(cursor.offsetInBlock)} 323 hdrOff := cursorAddr.off - memdbVlogHdrSize 324 causet := l.blocks[cursorAddr.idx].buf 325 var hdr memdbVlogHdr 326 hdr.load(causet[hdrOff:]) 327 node := EDB.allocator.getNode(hdr.nodeAddr) 328 329 // Skip older versions. 330 if node.vptr == cursorAddr { 331 value := causet[hdrOff-hdr.valueLen : hdrOff] 332 f(node.getKey(), node.getKeyFlags(), value) 333 } 334 335 l.moveBackCursor(&cursor, &hdr) 336 } 337 } 338 339 func (l *memdbVlog) moveBackCursor(cursor *memdbCheckpoint, hdr *memdbVlogHdr) { 340 cursor.offsetInBlock -= (memdbVlogHdrSize + int(hdr.valueLen)) 341 if cursor.offsetInBlock == 0 { 342 cursor.blocks-- 343 if cursor.blocks > 0 { 344 cursor.offsetInBlock = l.blocks[cursor.blocks-1].length 345 } 346 } 347 } 348 349 func (l *memdbVlog) canModify(cp *memdbCheckpoint, addr memdbMemCamAddr) bool { 350 if cp == nil { 351 return true 352 } 353 if int(addr.idx) > cp.blocks-1 { 354 return true 355 } 356 if int(addr.idx) == cp.blocks-1 && int(addr.off) > cp.offsetInBlock { 357 return true 358 } 359 return false 360 }