You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

684 lines
18 KiB

  1. package bolt
  2. import (
  3. "fmt"
  4. "io"
  5. "os"
  6. "sort"
  7. "strings"
  8. "time"
  9. "unsafe"
  10. )
  11. // txid represents the internal transaction identifier.
  12. type txid uint64
  13. // Tx represents a read-only or read/write transaction on the database.
  14. // Read-only transactions can be used for retrieving values for keys and creating cursors.
  15. // Read/write transactions can create and remove buckets and create and remove keys.
  16. //
  17. // IMPORTANT: You must commit or rollback transactions when you are done with
  18. // them. Pages can not be reclaimed by the writer until no more transactions
  19. // are using them. A long running read transaction can cause the database to
  20. // quickly grow.
  21. type Tx struct {
  22. writable bool
  23. managed bool
  24. db *DB
  25. meta *meta
  26. root Bucket
  27. pages map[pgid]*page
  28. stats TxStats
  29. commitHandlers []func()
  30. // WriteFlag specifies the flag for write-related methods like WriteTo().
  31. // Tx opens the database file with the specified flag to copy the data.
  32. //
  33. // By default, the flag is unset, which works well for mostly in-memory
  34. // workloads. For databases that are much larger than available RAM,
  35. // set the flag to syscall.O_DIRECT to avoid trashing the page cache.
  36. WriteFlag int
  37. }
  38. // init initializes the transaction.
  39. func (tx *Tx) init(db *DB) {
  40. tx.db = db
  41. tx.pages = nil
  42. // Copy the meta page since it can be changed by the writer.
  43. tx.meta = &meta{}
  44. db.meta().copy(tx.meta)
  45. // Copy over the root bucket.
  46. tx.root = newBucket(tx)
  47. tx.root.bucket = &bucket{}
  48. *tx.root.bucket = tx.meta.root
  49. // Increment the transaction id and add a page cache for writable transactions.
  50. if tx.writable {
  51. tx.pages = make(map[pgid]*page)
  52. tx.meta.txid += txid(1)
  53. }
  54. }
  55. // ID returns the transaction id.
  56. func (tx *Tx) ID() int {
  57. return int(tx.meta.txid)
  58. }
  59. // DB returns a reference to the database that created the transaction.
  60. func (tx *Tx) DB() *DB {
  61. return tx.db
  62. }
  63. // Size returns current database size in bytes as seen by this transaction.
  64. func (tx *Tx) Size() int64 {
  65. return int64(tx.meta.pgid) * int64(tx.db.pageSize)
  66. }
  67. // Writable returns whether the transaction can perform write operations.
  68. func (tx *Tx) Writable() bool {
  69. return tx.writable
  70. }
  71. // Cursor creates a cursor associated with the root bucket.
  72. // All items in the cursor will return a nil value because all root bucket keys point to buckets.
  73. // The cursor is only valid as long as the transaction is open.
  74. // Do not use a cursor after the transaction is closed.
  75. func (tx *Tx) Cursor() *Cursor {
  76. return tx.root.Cursor()
  77. }
  78. // Stats retrieves a copy of the current transaction statistics.
  79. func (tx *Tx) Stats() TxStats {
  80. return tx.stats
  81. }
  82. // Bucket retrieves a bucket by name.
  83. // Returns nil if the bucket does not exist.
  84. // The bucket instance is only valid for the lifetime of the transaction.
  85. func (tx *Tx) Bucket(name []byte) *Bucket {
  86. return tx.root.Bucket(name)
  87. }
  88. // CreateBucket creates a new bucket.
  89. // Returns an error if the bucket already exists, if the bucket name is blank, or if the bucket name is too long.
  90. // The bucket instance is only valid for the lifetime of the transaction.
  91. func (tx *Tx) CreateBucket(name []byte) (*Bucket, error) {
  92. return tx.root.CreateBucket(name)
  93. }
  94. // CreateBucketIfNotExists creates a new bucket if it doesn't already exist.
  95. // Returns an error if the bucket name is blank, or if the bucket name is too long.
  96. // The bucket instance is only valid for the lifetime of the transaction.
  97. func (tx *Tx) CreateBucketIfNotExists(name []byte) (*Bucket, error) {
  98. return tx.root.CreateBucketIfNotExists(name)
  99. }
  100. // DeleteBucket deletes a bucket.
  101. // Returns an error if the bucket cannot be found or if the key represents a non-bucket value.
  102. func (tx *Tx) DeleteBucket(name []byte) error {
  103. return tx.root.DeleteBucket(name)
  104. }
  105. // ForEach executes a function for each bucket in the root.
  106. // If the provided function returns an error then the iteration is stopped and
  107. // the error is returned to the caller.
  108. func (tx *Tx) ForEach(fn func(name []byte, b *Bucket) error) error {
  109. return tx.root.ForEach(func(k, v []byte) error {
  110. if err := fn(k, tx.root.Bucket(k)); err != nil {
  111. return err
  112. }
  113. return nil
  114. })
  115. }
  116. // OnCommit adds a handler function to be executed after the transaction successfully commits.
  117. func (tx *Tx) OnCommit(fn func()) {
  118. tx.commitHandlers = append(tx.commitHandlers, fn)
  119. }
  120. // Commit writes all changes to disk and updates the meta page.
  121. // Returns an error if a disk write error occurs, or if Commit is
  122. // called on a read-only transaction.
  123. func (tx *Tx) Commit() error {
  124. _assert(!tx.managed, "managed tx commit not allowed")
  125. if tx.db == nil {
  126. return ErrTxClosed
  127. } else if !tx.writable {
  128. return ErrTxNotWritable
  129. }
  130. // TODO(benbjohnson): Use vectorized I/O to write out dirty pages.
  131. // Rebalance nodes which have had deletions.
  132. var startTime = time.Now()
  133. tx.root.rebalance()
  134. if tx.stats.Rebalance > 0 {
  135. tx.stats.RebalanceTime += time.Since(startTime)
  136. }
  137. // spill data onto dirty pages.
  138. startTime = time.Now()
  139. if err := tx.root.spill(); err != nil {
  140. tx.rollback()
  141. return err
  142. }
  143. tx.stats.SpillTime += time.Since(startTime)
  144. // Free the old root bucket.
  145. tx.meta.root.root = tx.root.root
  146. opgid := tx.meta.pgid
  147. // Free the freelist and allocate new pages for it. This will overestimate
  148. // the size of the freelist but not underestimate the size (which would be bad).
  149. tx.db.freelist.free(tx.meta.txid, tx.db.page(tx.meta.freelist))
  150. p, err := tx.allocate((tx.db.freelist.size() / tx.db.pageSize) + 1)
  151. if err != nil {
  152. tx.rollback()
  153. return err
  154. }
  155. if err := tx.db.freelist.write(p); err != nil {
  156. tx.rollback()
  157. return err
  158. }
  159. tx.meta.freelist = p.id
  160. // If the high water mark has moved up then attempt to grow the database.
  161. if tx.meta.pgid > opgid {
  162. if err := tx.db.grow(int(tx.meta.pgid+1) * tx.db.pageSize); err != nil {
  163. tx.rollback()
  164. return err
  165. }
  166. }
  167. // Write dirty pages to disk.
  168. startTime = time.Now()
  169. if err := tx.write(); err != nil {
  170. tx.rollback()
  171. return err
  172. }
  173. // If strict mode is enabled then perform a consistency check.
  174. // Only the first consistency error is reported in the panic.
  175. if tx.db.StrictMode {
  176. ch := tx.Check()
  177. var errs []string
  178. for {
  179. err, ok := <-ch
  180. if !ok {
  181. break
  182. }
  183. errs = append(errs, err.Error())
  184. }
  185. if len(errs) > 0 {
  186. panic("check fail: " + strings.Join(errs, "\n"))
  187. }
  188. }
  189. // Write meta to disk.
  190. if err := tx.writeMeta(); err != nil {
  191. tx.rollback()
  192. return err
  193. }
  194. tx.stats.WriteTime += time.Since(startTime)
  195. // Finalize the transaction.
  196. tx.close()
  197. // Execute commit handlers now that the locks have been removed.
  198. for _, fn := range tx.commitHandlers {
  199. fn()
  200. }
  201. return nil
  202. }
  203. // Rollback closes the transaction and ignores all previous updates. Read-only
  204. // transactions must be rolled back and not committed.
  205. func (tx *Tx) Rollback() error {
  206. _assert(!tx.managed, "managed tx rollback not allowed")
  207. if tx.db == nil {
  208. return ErrTxClosed
  209. }
  210. tx.rollback()
  211. return nil
  212. }
  213. func (tx *Tx) rollback() {
  214. if tx.db == nil {
  215. return
  216. }
  217. if tx.writable {
  218. tx.db.freelist.rollback(tx.meta.txid)
  219. tx.db.freelist.reload(tx.db.page(tx.db.meta().freelist))
  220. }
  221. tx.close()
  222. }
  223. func (tx *Tx) close() {
  224. if tx.db == nil {
  225. return
  226. }
  227. if tx.writable {
  228. // Grab freelist stats.
  229. var freelistFreeN = tx.db.freelist.free_count()
  230. var freelistPendingN = tx.db.freelist.pending_count()
  231. var freelistAlloc = tx.db.freelist.size()
  232. // Remove transaction ref & writer lock.
  233. tx.db.rwtx = nil
  234. tx.db.rwlock.Unlock()
  235. // Merge statistics.
  236. tx.db.statlock.Lock()
  237. tx.db.stats.FreePageN = freelistFreeN
  238. tx.db.stats.PendingPageN = freelistPendingN
  239. tx.db.stats.FreeAlloc = (freelistFreeN + freelistPendingN) * tx.db.pageSize
  240. tx.db.stats.FreelistInuse = freelistAlloc
  241. tx.db.stats.TxStats.add(&tx.stats)
  242. tx.db.statlock.Unlock()
  243. } else {
  244. tx.db.removeTx(tx)
  245. }
  246. // Clear all references.
  247. tx.db = nil
  248. tx.meta = nil
  249. tx.root = Bucket{tx: tx}
  250. tx.pages = nil
  251. }
  252. // Copy writes the entire database to a writer.
  253. // This function exists for backwards compatibility. Use WriteTo() instead.
  254. func (tx *Tx) Copy(w io.Writer) error {
  255. _, err := tx.WriteTo(w)
  256. return err
  257. }
  258. // WriteTo writes the entire database to a writer.
  259. // If err == nil then exactly tx.Size() bytes will be written into the writer.
  260. func (tx *Tx) WriteTo(w io.Writer) (n int64, err error) {
  261. // Attempt to open reader with WriteFlag
  262. f, err := os.OpenFile(tx.db.path, os.O_RDONLY|tx.WriteFlag, 0)
  263. if err != nil {
  264. return 0, err
  265. }
  266. defer func() { _ = f.Close() }()
  267. // Generate a meta page. We use the same page data for both meta pages.
  268. buf := make([]byte, tx.db.pageSize)
  269. page := (*page)(unsafe.Pointer(&buf[0]))
  270. page.flags = metaPageFlag
  271. *page.meta() = *tx.meta
  272. // Write meta 0.
  273. page.id = 0
  274. page.meta().checksum = page.meta().sum64()
  275. nn, err := w.Write(buf)
  276. n += int64(nn)
  277. if err != nil {
  278. return n, fmt.Errorf("meta 0 copy: %s", err)
  279. }
  280. // Write meta 1 with a lower transaction id.
  281. page.id = 1
  282. page.meta().txid -= 1
  283. page.meta().checksum = page.meta().sum64()
  284. nn, err = w.Write(buf)
  285. n += int64(nn)
  286. if err != nil {
  287. return n, fmt.Errorf("meta 1 copy: %s", err)
  288. }
  289. // Move past the meta pages in the file.
  290. if _, err := f.Seek(int64(tx.db.pageSize*2), os.SEEK_SET); err != nil {
  291. return n, fmt.Errorf("seek: %s", err)
  292. }
  293. // Copy data pages.
  294. wn, err := io.CopyN(w, f, tx.Size()-int64(tx.db.pageSize*2))
  295. n += wn
  296. if err != nil {
  297. return n, err
  298. }
  299. return n, f.Close()
  300. }
  301. // CopyFile copies the entire database to file at the given path.
  302. // A reader transaction is maintained during the copy so it is safe to continue
  303. // using the database while a copy is in progress.
  304. func (tx *Tx) CopyFile(path string, mode os.FileMode) error {
  305. f, err := os.OpenFile(path, os.O_RDWR|os.O_CREATE|os.O_TRUNC, mode)
  306. if err != nil {
  307. return err
  308. }
  309. err = tx.Copy(f)
  310. if err != nil {
  311. _ = f.Close()
  312. return err
  313. }
  314. return f.Close()
  315. }
  316. // Check performs several consistency checks on the database for this transaction.
  317. // An error is returned if any inconsistency is found.
  318. //
  319. // It can be safely run concurrently on a writable transaction. However, this
  320. // incurs a high cost for large databases and databases with a lot of subbuckets
  321. // because of caching. This overhead can be removed if running on a read-only
  322. // transaction, however, it is not safe to execute other writer transactions at
  323. // the same time.
  324. func (tx *Tx) Check() <-chan error {
  325. ch := make(chan error)
  326. go tx.check(ch)
  327. return ch
  328. }
  329. func (tx *Tx) check(ch chan error) {
  330. // Check if any pages are double freed.
  331. freed := make(map[pgid]bool)
  332. all := make([]pgid, tx.db.freelist.count())
  333. tx.db.freelist.copyall(all)
  334. for _, id := range all {
  335. if freed[id] {
  336. ch <- fmt.Errorf("page %d: already freed", id)
  337. }
  338. freed[id] = true
  339. }
  340. // Track every reachable page.
  341. reachable := make(map[pgid]*page)
  342. reachable[0] = tx.page(0) // meta0
  343. reachable[1] = tx.page(1) // meta1
  344. for i := uint32(0); i <= tx.page(tx.meta.freelist).overflow; i++ {
  345. reachable[tx.meta.freelist+pgid(i)] = tx.page(tx.meta.freelist)
  346. }
  347. // Recursively check buckets.
  348. tx.checkBucket(&tx.root, reachable, freed, ch)
  349. // Ensure all pages below high water mark are either reachable or freed.
  350. for i := pgid(0); i < tx.meta.pgid; i++ {
  351. _, isReachable := reachable[i]
  352. if !isReachable && !freed[i] {
  353. ch <- fmt.Errorf("page %d: unreachable unfreed", int(i))
  354. }
  355. }
  356. // Close the channel to signal completion.
  357. close(ch)
  358. }
  359. func (tx *Tx) checkBucket(b *Bucket, reachable map[pgid]*page, freed map[pgid]bool, ch chan error) {
  360. // Ignore inline buckets.
  361. if b.root == 0 {
  362. return
  363. }
  364. // Check every page used by this bucket.
  365. b.tx.forEachPage(b.root, 0, func(p *page, _ int) {
  366. if p.id > tx.meta.pgid {
  367. ch <- fmt.Errorf("page %d: out of bounds: %d", int(p.id), int(b.tx.meta.pgid))
  368. }
  369. // Ensure each page is only referenced once.
  370. for i := pgid(0); i <= pgid(p.overflow); i++ {
  371. var id = p.id + i
  372. if _, ok := reachable[id]; ok {
  373. ch <- fmt.Errorf("page %d: multiple references", int(id))
  374. }
  375. reachable[id] = p
  376. }
  377. // We should only encounter un-freed leaf and branch pages.
  378. if freed[p.id] {
  379. ch <- fmt.Errorf("page %d: reachable freed", int(p.id))
  380. } else if (p.flags&branchPageFlag) == 0 && (p.flags&leafPageFlag) == 0 {
  381. ch <- fmt.Errorf("page %d: invalid type: %s", int(p.id), p.typ())
  382. }
  383. })
  384. // Check each bucket within this bucket.
  385. _ = b.ForEach(func(k, v []byte) error {
  386. if child := b.Bucket(k); child != nil {
  387. tx.checkBucket(child, reachable, freed, ch)
  388. }
  389. return nil
  390. })
  391. }
  392. // allocate returns a contiguous block of memory starting at a given page.
  393. func (tx *Tx) allocate(count int) (*page, error) {
  394. p, err := tx.db.allocate(count)
  395. if err != nil {
  396. return nil, err
  397. }
  398. // Save to our page cache.
  399. tx.pages[p.id] = p
  400. // Update statistics.
  401. tx.stats.PageCount++
  402. tx.stats.PageAlloc += count * tx.db.pageSize
  403. return p, nil
  404. }
  405. // write writes any dirty pages to disk.
  406. func (tx *Tx) write() error {
  407. // Sort pages by id.
  408. pages := make(pages, 0, len(tx.pages))
  409. for _, p := range tx.pages {
  410. pages = append(pages, p)
  411. }
  412. // Clear out page cache early.
  413. tx.pages = make(map[pgid]*page)
  414. sort.Sort(pages)
  415. // Write pages to disk in order.
  416. for _, p := range pages {
  417. size := (int(p.overflow) + 1) * tx.db.pageSize
  418. offset := int64(p.id) * int64(tx.db.pageSize)
  419. // Write out page in "max allocation" sized chunks.
  420. ptr := (*[maxAllocSize]byte)(unsafe.Pointer(p))
  421. for {
  422. // Limit our write to our max allocation size.
  423. sz := size
  424. if sz > maxAllocSize-1 {
  425. sz = maxAllocSize - 1
  426. }
  427. // Write chunk to disk.
  428. buf := ptr[:sz]
  429. if _, err := tx.db.ops.writeAt(buf, offset); err != nil {
  430. return err
  431. }
  432. // Update statistics.
  433. tx.stats.Write++
  434. // Exit inner for loop if we've written all the chunks.
  435. size -= sz
  436. if size == 0 {
  437. break
  438. }
  439. // Otherwise move offset forward and move pointer to next chunk.
  440. offset += int64(sz)
  441. ptr = (*[maxAllocSize]byte)(unsafe.Pointer(&ptr[sz]))
  442. }
  443. }
  444. // Ignore file sync if flag is set on DB.
  445. if !tx.db.NoSync || IgnoreNoSync {
  446. if err := fdatasync(tx.db); err != nil {
  447. return err
  448. }
  449. }
  450. // Put small pages back to page pool.
  451. for _, p := range pages {
  452. // Ignore page sizes over 1 page.
  453. // These are allocated using make() instead of the page pool.
  454. if int(p.overflow) != 0 {
  455. continue
  456. }
  457. buf := (*[maxAllocSize]byte)(unsafe.Pointer(p))[:tx.db.pageSize]
  458. // See https://go.googlesource.com/go/+/f03c9202c43e0abb130669852082117ca50aa9b1
  459. for i := range buf {
  460. buf[i] = 0
  461. }
  462. tx.db.pagePool.Put(buf)
  463. }
  464. return nil
  465. }
  466. // writeMeta writes the meta to the disk.
  467. func (tx *Tx) writeMeta() error {
  468. // Create a temporary buffer for the meta page.
  469. buf := make([]byte, tx.db.pageSize)
  470. p := tx.db.pageInBuffer(buf, 0)
  471. tx.meta.write(p)
  472. // Write the meta page to file.
  473. if _, err := tx.db.ops.writeAt(buf, int64(p.id)*int64(tx.db.pageSize)); err != nil {
  474. return err
  475. }
  476. if !tx.db.NoSync || IgnoreNoSync {
  477. if err := fdatasync(tx.db); err != nil {
  478. return err
  479. }
  480. }
  481. // Update statistics.
  482. tx.stats.Write++
  483. return nil
  484. }
  485. // page returns a reference to the page with a given id.
  486. // If page has been written to then a temporary buffered page is returned.
  487. func (tx *Tx) page(id pgid) *page {
  488. // Check the dirty pages first.
  489. if tx.pages != nil {
  490. if p, ok := tx.pages[id]; ok {
  491. return p
  492. }
  493. }
  494. // Otherwise return directly from the mmap.
  495. return tx.db.page(id)
  496. }
  497. // forEachPage iterates over every page within a given page and executes a function.
  498. func (tx *Tx) forEachPage(pgid pgid, depth int, fn func(*page, int)) {
  499. p := tx.page(pgid)
  500. // Execute function.
  501. fn(p, depth)
  502. // Recursively loop over children.
  503. if (p.flags & branchPageFlag) != 0 {
  504. for i := 0; i < int(p.count); i++ {
  505. elem := p.branchPageElement(uint16(i))
  506. tx.forEachPage(elem.pgid, depth+1, fn)
  507. }
  508. }
  509. }
  510. // Page returns page information for a given page number.
  511. // This is only safe for concurrent use when used by a writable transaction.
  512. func (tx *Tx) Page(id int) (*PageInfo, error) {
  513. if tx.db == nil {
  514. return nil, ErrTxClosed
  515. } else if pgid(id) >= tx.meta.pgid {
  516. return nil, nil
  517. }
  518. // Build the page info.
  519. p := tx.db.page(pgid(id))
  520. info := &PageInfo{
  521. ID: id,
  522. Count: int(p.count),
  523. OverflowCount: int(p.overflow),
  524. }
  525. // Determine the type (or if it's free).
  526. if tx.db.freelist.freed(pgid(id)) {
  527. info.Type = "free"
  528. } else {
  529. info.Type = p.typ()
  530. }
  531. return info, nil
  532. }
  533. // TxStats represents statistics about the actions performed by the transaction.
  534. type TxStats struct {
  535. // Page statistics.
  536. PageCount int // number of page allocations
  537. PageAlloc int // total bytes allocated
  538. // Cursor statistics.
  539. CursorCount int // number of cursors created
  540. // Node statistics
  541. NodeCount int // number of node allocations
  542. NodeDeref int // number of node dereferences
  543. // Rebalance statistics.
  544. Rebalance int // number of node rebalances
  545. RebalanceTime time.Duration // total time spent rebalancing
  546. // Split/Spill statistics.
  547. Split int // number of nodes split
  548. Spill int // number of nodes spilled
  549. SpillTime time.Duration // total time spent spilling
  550. // Write statistics.
  551. Write int // number of writes performed
  552. WriteTime time.Duration // total time spent writing to disk
  553. }
  554. func (s *TxStats) add(other *TxStats) {
  555. s.PageCount += other.PageCount
  556. s.PageAlloc += other.PageAlloc
  557. s.CursorCount += other.CursorCount
  558. s.NodeCount += other.NodeCount
  559. s.NodeDeref += other.NodeDeref
  560. s.Rebalance += other.Rebalance
  561. s.RebalanceTime += other.RebalanceTime
  562. s.Split += other.Split
  563. s.Spill += other.Spill
  564. s.SpillTime += other.SpillTime
  565. s.Write += other.Write
  566. s.WriteTime += other.WriteTime
  567. }
  568. // Sub calculates and returns the difference between two sets of transaction stats.
  569. // This is useful when obtaining stats at two different points and time and
  570. // you need the performance counters that occurred within that time span.
  571. func (s *TxStats) Sub(other *TxStats) TxStats {
  572. var diff TxStats
  573. diff.PageCount = s.PageCount - other.PageCount
  574. diff.PageAlloc = s.PageAlloc - other.PageAlloc
  575. diff.CursorCount = s.CursorCount - other.CursorCount
  576. diff.NodeCount = s.NodeCount - other.NodeCount
  577. diff.NodeDeref = s.NodeDeref - other.NodeDeref
  578. diff.Rebalance = s.Rebalance - other.Rebalance
  579. diff.RebalanceTime = s.RebalanceTime - other.RebalanceTime
  580. diff.Split = s.Split - other.Split
  581. diff.Spill = s.Spill - other.Spill
  582. diff.SpillTime = s.SpillTime - other.SpillTime
  583. diff.Write = s.Write - other.Write
  584. diff.WriteTime = s.WriteTime - other.WriteTime
  585. return diff
  586. }