rollback transaction什么意思_keyvalue数据库bbolt深入分析：事务 (Transaction)

前几篇文章主要介绍了bbolt数据文件的存储及索引格式。本文主要分析bbolt是如何实现事务的。

由于事务具有ACID属性，所以一个事务作为一个整体，要么全部成功，要么全部失败回滚，永远不存在部分成功。关于事务的概念，网上有很多资料，就不啰嗦了。零君以前也写过一个系列的相关文章：

分布式数据系统(系列一)：基本概念

由于事务的存在，极大的简化了上层应用开发的复杂度，因为复杂的逻辑都被数据库处理了。事务绝对是二十世纪数据库领域最伟大的发明之一。

但是事务并不是一个天然就存在的东西，归根结底，还是需要底层数据库去实现支持事务这个概念，否则这个概念只是空中楼阁。本文就是要深入探讨bbolt是如何实现事务这个概念的，其实主要是分析bbolt是如何实现事务之间的隔离性，并保证事务的原子性。本文是这个系列的第四篇文章。

文件锁和DB读写锁

bbolt的事务分为只读(read-only)事务和读写(read-write)事务。顾名思义，只读事务只能查询，不能修改数据；而读写事务则既可以查询，也可以修改数据。

使用DB.View函数可以启动一个只读事务：

err := db.View(func(tx *bolt.Tx) error {
      ...  return nil})

使用DB.Update则可以启动一个读写事务：

err := db.Update(func(tx *bolt.Tx) error {
      ...  return nil})

多个只读事务可以同时并行执行，甚至不同进程的只读事务也可以并行执行。但任何时刻只允许一个读写事务执行，不管是一个进程内，还是跨进程，都不允许多个读写事务针对同一个bbolt数据库同时执行。

bbolt是如何保证在跨进程的场景下只允许一个读写事务呢？换句话说，如果一个进程正在执行一个读写事务，bbolt是如何阻止另一个进程针对同一个bbolt文件执行读写事务？答案其实很简单，就是文件排他锁(exclusive lock)。

如果需要更改bbolt中的数据，那么在打开数据文件时，需要获取文件的排他锁。排他锁需要借助于内核对象，所以只能使用系统调用来完成：

err := syscall.Flock(int