SQLite 入门与分析
SQLite 入门与分析
SQLite 入门与分析(一)---简介
写在前面:出于项目的需要,最近打算对SQLite的内核进行一个完整的剖析,在此希望和对SQLite有兴趣的一起交流。我知道,这是一个漫长的过程,就像曾经去读Linux内核一样,这个过程也将是辛苦的,但我相信结果一定是美好的... ...接下来是第一章。
1、SQLite介绍
自几十年前出现的商业应用程序以来,数据库就成为软件应用程序的主要组成部分。正与数据库管理系统非常关键一样,它们也变得非常庞大,并占用了相当多的系统资源,增加了管理的复杂性。随着软件应用程序逐渐模块模块化,一种新型数据库会比大型复杂的传统数据库管理系统更适应。嵌入式数据库直接在应用程序进程中运行,提供了零配置(zero-configuration)运行模式,并且资源占用非常少。
SQLite是一个开源的嵌入式关系数据库,它在2000年由D. Richard Hipp发布,它的减少应用程序管理数据的开销,SQLite可移植性好,很容易使用,很小,高效而且可靠。
SQLite嵌入到使用它的应用程序中,它们共用相同的进程空间,而不是单独的一个进程。从外部看,它并不像一个RDBMS,但在进程内部,它却是完整的,自包含的数据库引擎。
嵌入式数据库的一大好处就是在你的程序内部不需要网络配置,也不需要管理。因为客户端和服务器在同一进程空间运行。SQLite 的数据库权限只依赖于文件系统,没有用户帐户的概念。SQLite 有数据库级锁定,没有网络服务器。它需要的内存,其它开销很小,适合用于嵌入式设备。你需要做的仅仅是把它正确的编译到你的程序。
2、架构(architecture)
SQLite采用了模块的设计,它由三个子系统,包括8个独立的模块构成。
2.1、接口(Interface)
接口由SQLite C API组成,也就是说不管是程序、脚本语言还是库文件,最终都是通过它与SQLite交互的(我们通常用得较多的ODBC/JDBC最后也会转化为相应C API的调用)。
2.2、编译器(Compiler)
在编译器中,分词器(Tokenizer)和分析器(Parser)对SQL进行语法检查,然后把它转化为底层能更方便处理的分层的数据结构---语法树,然后把语法树传给代码生成器(code generator)进行处理。而代码生成器根据它生成一种针对SQLite的汇编代码,最后由虚拟机(Virtual Machine)执行。
2.3、虚拟机(Virtual Machine)
架构中最核心的部分是虚拟机,或者叫做虚拟数据库引擎(Virtual Database Engine,VDBE)。它和Java虚拟机相似,解释执行字节代码。VDBE的字节代码由128个操作码(opcodes)构成,它们主要集中在数据库操作。它的每一条指令都用来完成特定的数据库操作(比如打开一个表的游标)或者为这些操作栈空间的准备(比如压入参数)。总之,所有的这些指令都是为了满足SQL命令的要求(关于VM,后面会做详细介绍)。
2.4、后端(Back-End)
后端由B-树(B-tree),页缓存(page cache,pager)和操作系统接口(即系统调用)构成。B-tree和page cache共同对数据进行管理。B-tree的主要功能就是索引,它维护着各个页面之间的复杂的关系,便于快速找到所需数据。而pager的主要作用就是通过OS接口在B-tree和Disk之间传递页面。
3、SQLite的特点(SQLite’s Features and Philosophy)
3.1、零配置(Zero Configuration)
3.2、可移植(Portability):
它是运行在Windows,Linux,BSD,Mac OS X和一些商用Unix系统,比如Sun的Solaris,IBM的AIX,同样,它也可以工作在许多嵌入式操作系统下,比如QNX,VxWorks,Palm OS, Symbin和Windows CE。
3.3、Compactness:
SQLite是被设计成轻量级,自包含的。one header file, one library, and you’re relational, no external database server required
3.4、简单(Simplicity)
3.5、灵活(Flexibility)
3.6、可靠(Reliability):
SQLite的核心大约有3万行标准C代码,这些代码都是模块化的,很容易阅读。
SQLite 入门与分析(二)---设计与概念
写在前面:谢谢各位的关注,没想到会有这么多人关注。高兴的同时,也感到压力,因为我接触SQLite也就几天,也没在实际开发中用过,只是最近项目的需求才来研究它,所以我很担心自己的文章是否会有错误,误导别人。但是我很想把自己的学习成果与大家分享,所以如果大家觉得我有不对的地方,望不吝赐教。
我原打算直接从VDBE入手的,因为它起着承上启下的作用,是整个SQLite的核心,并分析源码,但考虑到这是一个系列的文章,我希望能把问题说全,所以还是从基本概念入手,对于初学者,如果没有这些概念,是很继续下去的。好了,下面开始第二章,由于这一章内容很多,我将分两部分讨论,下面开始第一部分。
1、 API
由两部分组成: 核心API(core API) 和扩展API(extension API)
核心API的函数实现基本的数据库操作:连接数据库,处理SQL,遍历结果集。它也包括一些实用函数,比如字符串转换,操作控制,调试和错误处理。
扩展API通过创建你自定义的SQL函数去扩展SQLite。
1.1、SQLite Version 3的一些新特点:
(1)SQLite的API全部重新设计,由第二版的15个函数增加到88个函数。这些函数包括支持UTF-8和UTF-16编码的功能函数。
(2)改进并发性能。加锁子系统引进一种锁升级模型(lock escalation model),解决了第二版的写进程饿死的问题(该问题是任何一个DBMS必须面对的问题)。这种模型保证写进程按照先来先服务的算法得到排斥锁(Exclusive Lock)。甚至,写进程通过把结果写入临时缓冲区(Temporary Buffer),可以在得到排斥锁之前就能开始工作。这对于写要求较高的应用,性能可提高400%(引自参考文献)。
(3)改进的B-树。对于表采用B+树,大大提高查询效率。
(4)SQLite 3最重要的改变是它的存储模型。由第二版只支持文本模型,扩展到支持5种本地数据类型。
总之,SQLite Version 3与SQLite Vertion 2有很大的不同,在灵活性,特点和性能方面有很大的改进。
1.2、主要的数据结构(The Principal Data Structures)
SQLite由很多部分组成-parser,tokenize,virtual machine等等。但是从程序员的角度,最需要知道的是:connection, statements, B-tree和pager。它们之间的关系如下:
上图告诉我们在编程需要知道的三个主要方面:API,事务(Transaction)和锁(Locks)。从技术上来说,B-tree和pager不是API的一部分。但是它们却在事务和锁上起着关键作用(稍后将讨论)。
1.3、Connections和Statements
Connection和statement是执行SQL命令涉及的两个主要数据结构,几乎所有通过API进行的操作都要用到它们。一个连接(Connection)代表在一个独立的事务环境下的一个连接A (connection represents a single connection to a database as well as a single transaction context)。每一个statement都和一个connection关联,它通常表示一个编译过的SQL语句,在内部,它以VDBE字节码表示。Statement包括执行一个命令所需要一切,包括保存VDBE程序执行状态所需的资源,指向硬盘记录的B-树游标,以及参数等等。
1.4、B-tree和pager
一个connection可以有多个database对象---一个主要的数据库以及附加的数据库,每一个数据库对象有一个B-tree对象,一个B-tree有一个pager对象(这里的对象不是面向对象的“对象”,只是为了说清楚问题)。
Statement最终都是通过connection的B-tree和pager从数据库读或者写数据,通过B-tree的游标(cursor)遍历存储在页面(page)中的记录。游标在访问页面之前要把数所从disk加载到内存,而这就是pager的任务。任何时候,如果B-tree需要页面,它都会请求pager从disk读取数据,然后把页面(page)加载到页面缓冲区(page cache),之后,B-tree和与之关联的游标就可以访问位于page中的记录了。
如果cursor改变了page,为了防止事务回滚,pager必须采取特殊的方式保存原来的page。总的来说,pager负责读写数据库,管理内存缓存和页面(page),以及管理事务,锁和崩溃恢复(这些在事务一节会详细介绍)。
总之,关于connection和transaction,你必须知道两件事:
(1) 对数据库的任何操作,一个连接存在于一个事务下。
(2) 一个连接决不会同时存在多个事务下。
whenever a connection does anything with a database, it always operates under exactly one
transaction, no more, no less.
1.5、核心API
核心API 主要与执行SQL命令有关,本质上有两种方法执行SQL语句:prepared query 和wrapped query。Prepared query由三个阶段构成:preparation,execution和finalization。其实wrapped query只是对prepared query的三个过程包装而已,最终也会转化为prepared query的执行。
1.5.1、连接的生命周期(The Connection Lifecycle)
和大多数据库连接相同,由三个过程构成:
(1) 连接数据库(Connect to the database):
每一个SQLite数据库都存储在单独的操作系统文件中,连接,打开数据库的C API为:sqlite3_open(),它的实现位于main.c文件中,如下:
1. int sqlite3_open(const char *zFilename, sqlite3 **ppDb)
2. {
3. return openDatabase(zFilename, ppDb, SQLITE_OPEN_READWRITE | SQLITE_OPEN_CREATE, 0);
4. }
复制代码
当连接一个在磁盘上的数据库,如果数据库文件存在,SQLite打开一个文件;如果不存在,SQLite会假定你想创建一个新的数据库。在这种情况下,SQLite不会立即在磁盘上创建一个文件,只有当你向数据库写入数据时才会创建文件,比如:创建表、视图或者其它数据库对象。如果你打开一个数据,不做任何事,然后关闭它,SQLite会创建一个文件,只是一个空文件而已。
另外一个不立即创建一个新文件的原因是,一些数据库的参数,比如:编码,页面大小等,只在在数据库创建前设置。默认情况下,页面大小为1024字节,但是你可以选择512-32768字节之间为 2幂数的数字。有些时候,较大的页面能更有效的处理大量的数据。
(2) 执行事务(Perform transactions):
all commands are executed within transactions。默认情况下,事务自动提交,也就是每一个SQL语句都在一个独立的事务下运行。当然也可以通过使用BEGIN..COMMIT手动提交事务。
(3) 断开连接(Disconnect from the database):
主要是关闭数据库的文件。
1.5.2、执行Prepared Query
前面提到,预处理查询(Prepared Query)是SQLite执行所有SQL命令的方式,包括以下三个过程:
(1) Prepared Query:
分析器(parser),分词器(tokenizer)和代码生成器(code generator)把SQL Statement编译成VDBE字节码,编译器会创建一个statement句柄(sqlite3_stmt),它包括字节码以及其它执行命令和遍历结果集的所有资源。
相应的C API为sqlite3_prepare(),位于prepare.c文件中,如下:
1. int sqlite3_prepare(
2. sqlite3 *db, /* Database handle. */
3. const char *zSql, /* UTF-8 encoded SQL statement. */
4. int nBytes, /* Length of zSql in bytes. */
5. sqlite3_stmt **ppStmt, /* OUT: A pointer to the prepared statement */
6. const char **pzTail /* OUT: End of parsed string */
7. ){
8. int rc;
9. rc = sqlite3LockAndPrepare(db,zSql,nBytes,0,ppStmt,pzTail);
10. assert( rc==SQLITE_OK || ppStmt==0 || *ppStmt==0 ); /* VERIFY: F13021 */
11. return rc;
12. }
复制代码
(2) Execution:
虚拟机执行字节码,执行过程是一个步进(stepwise)的过程,每一步(step)由sqlite3_step()启动,并由VDBE执行一段字节码。由sqlite3_prepare编译字节代码,并由sqlite3_step()启动虚拟机执行。在遍历结果集的过程中,它返回SQLITE_ROW,当到达结果末尾时,返回SQLITE_DONE。
(3) Finalization:
VDBE关闭statement,释放资源。相应的C API为sqlite3_finalize()。
通过下图可以更容易理解该过程:
最后以一个具体的例子结束本节,下节讨论事务。
1. #include <stdio.h>
2. #include <stdlib.h>
3. #include "sqlite3.h"
4.
5. #include <string.h>
6.
7. int main(int argc, char **argv)
8. {
9. int rc, i, ncols;
10. sqlite3 *db;
11. sqlite3_stmt *stmt;
12. char *sql;
13. const char *tail;
14. //打开数据
15. rc = sqlite3_open("foods.db", &db);
16.
17. if(rc) {
18. fprintf(stderr, "Can't open database: %s\n", sqlite3_errmsg(db));
19. sqlite3_close(db);
20. exit(1);
21. }
22.
23. sql = "select * from episodes";
24. //预处理
25. rc = sqlite3_prepare(db, sql, (int)strlen(sql), &stmt, &tail);
26.
27. if(rc != SQLITE_OK) {
28. fprintf(stderr, "SQL error: %s\n", sqlite3_errmsg(db));
29. }
30.
31. rc = sqlite3_step(stmt);
32. ncols = sqlite3_column_count(stmt);
33.
34. while(rc == SQLITE_ROW) {
35.
36. for(i=0; i < ncols; i++) {
37. fprintf(stderr, "'%s' ", sqlite3_column_text(stmt, i));
38. }
39.
40. fprintf(stderr, "\n");
41.
42. rc = sqlite3_step(stmt);
43. }
44. //释放statement
45. sqlite3_finalize(stmt);
46. //关闭数据库
47. sqlite3_close(db);
48.
49. return 0;
50. }
复制代码
写在前面:本节讨论事务,事务是DBMS最核心的技术之一.在计算机科学史上,有三位科学家因在数据库领域的成就而获ACM图灵奖,而其中之一Jim Gray(曾任职微软)就是因为在事务处理方面的成就而获得这一殊荣,正是因为他,才使得OLTP系统在随后直到今天大行其道.关于事务处理技术,涉及到很多,随便就能写一本书.在这里我只讨论SQLite事务实现的一些原理,SQLite的事务实现与大型通用的DBMS相比,其实现比较简单.这些内容可能比较偏于理论,但却不难,也是理解其它内容的基础.好了,下面开始第二节---事务.
2、 事务(Transaction)
2.1、事务的周期(Transaction Lifecycles)
程序与事务之间有两件事值得注意:
(1) 哪些对象在事务下运行——这直接与API有关。
(2) 事务的生命周期,即什么时候开始,什么时候结束以及它在什么时候开始影响别的连接(这点对于并发性很重要)——这涉及到SQLite的具体实现。
一个连接(connection)可以包含多个(statement),而且每个连接有一个与数据库关联的B-tree和一个pager。Pager在连接中起着很重要的作用,因为它管理事务、锁、内存缓存以及负责崩溃恢复(crash recovery)。当你进行数据库写操作时,记住最重要的一件事:在任何时候,只在一个事务下执行一个连接。这些回答了第一个问题。
一般来说,一个事务的生命和statement差不多,你也可以手动结束它。默认情况下,事务自动提交,当然你也可以通过BEGIN..COMMIT手动提交。接下来就是锁的问题。
2.2、锁的状态(Lock States)
锁对于实现并发访问很重要,而对于大型通用的DBMS,锁的实现也十分复杂,而SQLite相对较简单。通常情况下,它的持续时间和事务一致。一个事务开始,它会先加锁,事务结束,释放锁。但是系统在事务没有结束的情况下崩溃,那么下一个访问数据库的连接会处理这种情况。
在SQLite中有5种不同状态的锁,连接(connection)任何时候都处于其中的一个状态。下图显示了相应的状态以及锁的生命周期。
关于这个图有以下几点值得注意:
(1) 一个事务可以在UNLOCKED,RESERVED或EXCLUSIVE三种状态下开始。默认情况下在UNLOCKED时开始。
(2) 白色框中的UNLOCKED, PENDING, SHARED和 RESERVED可以在一个数据库的同一时存在。
(3) 从灰色的PENDING开始,事情就变得严格起来,意味着事务想得到排斥锁(EXCLUSIVE)(注意与白色框中的区别)。
虽然锁有这么多状态,但是从体质上来说,只有两种情况:读事务和写事务。
2.3、读事务(Read Transactions)
我们先来看看SELECT语句执行时锁的状态变化过程,非常简单:一个连接执行select语句,触发一个事务,从UNLOCKED到SHARED,当事务COMMIT时,又回到UNLOCKED,就这么简单。
考虑下面的例子(为了简单,这里用了伪码):
db = open('foods.db')
db.exec('BEGIN')
db.exec('SELECT * FROM episodes')
db.exec('SELECT * FROM episodes')
db.exec('COMMIT')
db.close()
由于显式的使用了BEGIN和COMMIT,两个SELECT命令在一个事务下执行。第一个exec()执行时,connection处于SHARED,然后第二个exec()执行,当事务提交时,connection又从SHARED回到UNLOCKED状态,如下:
UNLOCKED→PENDING→SHARED→UNLOCKED
如果没有BEGIN和COMMIT两行时如下:
UNLOCKED→PENDING→SHARED→UNLOCKED→PENDING→ SHARED→UNLOCKED
2.4、写事务(Write Transactions)
下面我们来考虑写数据库,比如UPDATE。和读事务一样,它也会经历UNLOCKED→PENDING→SHARED,但接下来却是灰色的PENDING,
2.4.1、The Reserved States
当一个连接(connection)向数据库写数据时,从SHARED状态变为RESERVED状态,如果它得到RESERVED锁,也就意味着它已经准备好进行写操作了。即使它没有把修改写入数据库,也可以把修改保存到位于pager中缓存中(page cache)。
当一个连接进入RESERVED状态,pager就开始初始化恢复日志(rollback journal)。在RESERVED状态下,pager管理着三种页面:
(1) Modified pages:包含被B-树修改的记录,位于page cache中。
(2) Unmodified pages:包含没有被B-tree修改的记录。
(3) Journal pages:这是修改页面以前的版本,这些并不存储在page cache中,而是在B-tree修改页面之前写入日志。
Page cache非常重要,正是因为它的存在,一个处于RESERVED状态的连接可以真正的开始工作,而不会干扰其它的(读)连接。所以,SQLite可以高效的处理在同一时刻的多个读连接和一个写连接。
2.4.2 、The Pending States
当一个连接完成修改,就真正开始提交事务,执行该过程的pager进入EXCLUSIVE状态。从RESERVED状态,pager试着获取PENDING锁,一旦得到,就独占它,不允许任何其它连接获得PENDING锁(PENDING is a gateway lock)。既然写操作持有PENDING锁,其它任何连接都不能从UNLOCKED状态进入SHARED状态,即没有任何连接可以进入数据(no new readers, no new writers)。只有那些已经处于SHARED状态的连接可以继续工作。而处于PENDING状态的Writer会一直等到所有这些连接释放它们的锁,然后对数据库加EXCUSIVE锁,进入EXCLUSIVE状态,独占数据库(讨论到这里,对SQLite的加锁机制应该比较清晰了)。
2.4.3、The Exclusive State
在EXCLUSIVE状态下,主要的工作是把修改的页面从page cache写入数据库文件,这是真正进行写操作的地方。
在pager写入modified pages之前,它还得先做一件事:写日志。它检查是否所有的日志都写入了磁盘,而这些通常位于操作的缓冲区中,所以pager得告诉OS把所有的文件写入磁盘,这是由程序synchronous(通过调用OS的相应的API实现)完成的。
日志是数据库进行恢复的惟一方法,所以日志对于DBMS非常重要。如果日志页面没有完全写入磁盘而发生崩溃,数据库就不能恢复到它原来的状态,此时数据库就处于不一致状态。日志写入完成后,pager就把所有的modified pages写入数据库文件。接下来就取决于事务提交的模式,如果是自动提交,那么pager清理日志,page cache,然后由EXCLUSIVE进入UNLOCKED。如果是手动提交,那么pager继续持有EXCLUSIVE锁和保存日志,直到COMMIT或者ROLLBACK。
总之,从性能方面来说,进程占有排斥锁的时间应该尽可能的短,所以DBMS通常都是在真正写文件时才会占有排斥锁,这样能大大提高并发性能。
SQLite 入门与分析(三)---内核概述
写在前面:从本章开始,我们开始进入SQLite的内核。为了能更好的理解SQLite,我先从总的结构上讨论一下内核,从全局把握SQLite很重要。SQLite的内核实现不是很难,但是也不是很简单。总的来说分为三个部分,本章主要讨论虚拟机(Virtual Machine),但是这里只是从原理上概述,不会太多的涉及实际代码。但是概述完内核之后会仔细讨论源代码的。好了,下面我们来讨论虚拟机(VM)。
1、虚拟机(Virtual Machine)
VDBE是SQLite的核心,它的上层模块和下层模块都是本质上都是为它服务的。它的实现位于vbde.c, vdbe.h, vdbeapi.c, vdbeInt.h, 和vdbemem.c几个文件中。它通过底层的基础设施B+Tree执行由编译器(Compiler)生成的字节代码,这种字节代码程序语言(bytecode programming lauguage)是为了进行查询,读取和修改数据库而专门设计的。
字节代码在内存中被封装成sqlite3_stmt对象(内部叫做Vdbe,见vdbeInt.h),Vdbe(或者说statement)包含执行程序所需要的一切:
a) a bytecode program
b) names and data types for all result columns
c) values bound to input parameters
d) a program counter
e) an execution stack of operands
f) an arbitrary amount of "numbered" memory cells
g) other run-time state information (such as open BTree objects, sorters, lists, sets)
字节代码和汇编程序十分类似,每一条指令由操作码和三个操作数构成:<opcode, P1, P2, P3>。Opcode为一定功能的操作码,为了理解,可以看成一个函数。P1是32位的有符号整数,p2是31位的无符号整数,它通常是导致跳转(jump)的指令的目标地址(destination),当然这了有其它用途;p3为一个以null结尾的字符串或者其它结构体的指针。和C API不同的是,VDBE操作码经常变化,所以不应该用字节码写程序。
下面的几个C API直接和VDBE交互:
• sqlite3_bind_xxx() functions
• sqlite3_step()
• sqlite3_reset()
• sqlite3_column_xxx() functions
• sqlite3_finalize()
为了有个感性,下面看一个具体的字节码程序:
sqlite> .m col
sqlite> .h on
sqlite> .w 4 15 3 3 15
sqlite> explain select * from episodes;
addr opcode p1 p2 p3
---- --------------- --- --- ---------------
0 Goto 0 12
1 Integer 0 0
2 OpenRead 0 2 # episodes
3 SetNumColumns 0 3
4 Rewind 0 10
5 Recno 0 0
6 Column 0 1
7 Column 0 2
8 Callback 3 0
9 Next 0 5
10 Close 0 0
11 Halt 0 0
12 Transaction 0 0
13 VerifyCookie 0 10
14 Goto 0 1
15 Noop 0 0
1.1、 栈(Stack)
一个VDBE程序通常由不同完成特定任务的段(section)构成,每一个段中,都有一些操作栈的指令。这是由于不同的指令有不同个数的参数,一些指令只有一个参数;一些指令没有参数;一些指令有好几个参数,这种情况下,三个操作数就不能满足。
考虑到这些情况,指令采用栈来传递参数。(注:从汇编的角度来看,传递参数的方式有好几种,比如:寄存器,全局变量,而堆栈是现代语言常用的方式,它具有很大的灵活性)。而这些指令不会自己做这些事情,所以在它们之前,需要其它一些指令的帮助。VDBE把计算的中间结果保存到内存单元(memory cells)中,其实,堆栈和内存单元都是基于Mem(见vdbeInt.h)数据结构(注:这里的栈,内存单元都是虚拟的,记得一位计算机科学家说过:计算机科学中90%以上的科学都是虚拟化问题。一点不假,OS本质上也是虚拟机,而在这里SQLite,我们也处处可见虚拟化的身影,到后面的OS Interface模块中再仔细讨论这个问题)。
1.2、程序体(Program Body)
这是一个打开episodes表的过程。
第一条指令:Integer是为第二条指令作准备的,也就是把第二条指令执行需要的参数压入堆栈,OpenRead从堆栈中取出参数值然后执行。SQLite可以通过ATTACH命令在一个连接中打开多个数据库文件,每当SQLite打开一个数据,它就为之赋一个索引号(index),main database的索引为0,第一个数据库为1,依次如此。Integer指令数据库索引的值压入栈,而OpenRead从中取出值,并决定打开哪个数据,来看看SQLite文档中的解释:
Open a read-only cursor for the database table whose root page is P2 in a database file.
The database file is determined by an integer from the top of the stack. 0 means the main database and 1 means the database used for temporary tables. Give the new cursor an identifier of P1. The P1 values need not be contiguous but all P1 values should be small integers. It is an error for P1 to be negative.
If P2==0 then take the root page number from off of the stack.
There will be a read lock on the database whenever there is an open cursor. If the data-
base was unlocked prior to this instruction then a read lock is acquired as part of this instruction. A read lock allows other processes to read the database but prohibits any other process from modifying the database. The read lock is released when all cursors are closed. If this instruction attempts to get a read lock but fails, the script terminates with an SQLITE_BUSY error code.
The P3 value is a pointer to a KeyInfo structure that defines the content and collating
sequence of indices. P3 is NULL for cursors that are not pointing to indices.
再来看看SetNumColumns指令设置游标将指向的列。P1为游标的索引(这里为0,刚刚打开),P2为列的数目,episodes表有三列。
继续Rewind指令,它将游标重新设置到表的开始,它会检查表是否为空(即没有记录),如果没有记录,它会导致指令指针跳到P2指定的指令处。在这里,P2为10,即Close指令。一旦Rewind设置游标,接下就执行5-9这几条指令,它们的主要功能是遍历结果集,Recno把由游标P1指定的记录的关键字压入堆栈。Column指令从由P1指定的游标,P2指定的列取值。5,6,7三条指令分别把id(primary key),season和name字段的值压入栈。接下来,Callback指令从栈中取出三个值(P1),然后形成一个记录数组,存储在内存单元中(memory cell)。Callback会停止VDBE的操作,把控制权交给sqlite3_stemp(),该函数返回SQLITE_ROW。
一旦VDBE创建了记录结构,我们就可以通过sqlite3_column_xxx() functions从记录结构的域内取出值。当下次调用sqlite3_step()时,指令指针会指向Next指令,而Next指令会把游标向移向下一行,如果有其它的记录,它会跳到由P2指定的指令,在这里为指令5,创建一个新的记录结构,一直循环,直到结果集的最后。Close指令会关闭游标,然后执行Halt指令,结束VDBE程序。
1.3、程序开始与停止
现在来看看其余的指令,Goto指令是一条跳转指令,跳到P2处,即第12条指令。指令12是Transaction,它开始一个新的事务;然后执行VerifyCookie,它的主要功能VDBE程序编译后,数据库模式是否改变(即是否进行过更新操作)。这在SQLite中是一个很重要的概念,在SQL被sqlite3_prepare()编译成VDBE代码至程序调用sqlite3_step()执行字节码的这段时间,另一个SQL命令可能会改变数据库模式(such as ALTER TABLE, DROP TABLE, or CREATE TABLE)。一旦发生这种情况,之前编译的statement就会变得无效,数据库模式信息记录在数据库文件的根页面中。类似,每一个statement都有一份用来比较的在编译时刻该模式的备份,VerifyCookie的功能就是检查它们是否匹配,如果不匹配,将采取相关操作。
如果两者匹配,会执行下一条指令Goto;它会跳到程序的主要部分,即第一条指令,打开表读取记录。这里有两点值得注意:
(1)Transaction指令自己不会获取锁( The Transaction instruction doesn’t acquire any locks in itself)。它的功能相当于BEGIN,而实际是由OpenRead指令获取share lock的。当事务关闭时释放锁,这取决于Halt指令,它会进行扫尾工作。
(2)statement对象(VDBE程序)所需的存储空间在程序执行前就已经确定。这有原于两个重要事实:首先,栈的深度不会比指令的数目还多(通常少得多)。其次,在执行VDBE程序之前,SQLite可以计算出为分配资源所需要的内存。
1.4指令的类型(Instruction Types)
每条指令都完成特定的任务,而且通常和别的指令有关。大体上来说,指令可分为三类:
(1)Value manipulation:这些指令通常完成算术运算,比如:add, subtract, divide;逻辑运算,比如:AND和OR;还有字符串操作。
(2)Data management:这些指令操作在内存和磁盘上的数据。内存指令进行栈操作或者在内存单元之间传递数据。磁盘操作指令控制B-tree和pager打开或操作游标,开始或结束事务,等等。
(3)Control flow:控制指令主要是移动指令指针。
1.5、程序的执行(Program execution)
最后我们来看VM解释器是如何实现以及字节代码大致是如何执行的。在vdbe.c文件中有一个很关键的函数:
1. //执行VDBE程序
2. int sqlite3VdbeExec(
3. Vdbe *p /* The VDBE */
4. )
复制代码
该函数是执行VDBE程序的入口。来看看它的内部实现:
1. /*从这里开始执行指令
2. **pc为程序计数器(int)
3. */
4. for(pc=p->pc; rc==SQLITE_OK; pc++){
5. //取得操作码
6. pOp = &p->aOp[pc];
7. switch( pOp->opcode ){
8. case OP_Goto: { /* jump */
9. CHECK_FOR_INTERRUPT;
10. pc = pOp->p2 - 1;
11. break;
12. }
13. … …
14. }
15. }
复制代码
从这段代码,我们大致可以推出VM执行的原理:VM解释器实际上是一个包含大量switch语句的for循环,每一个switch语句实现一个特定的操作指令。
写在前面:本节是前一节(SQLite入门与分析(三)---内核概述(1))内容的后续部分,这两节都是从全局的角度SQLite内核各个模块的设计和功能。只有从全局上把握SQLite,才会更容易的理解SQLite的实现。SQLite采用了层次化,模块化的设计,而这些使得它的可扩展性和可移植性非常强。而且SQLite的架构与通用DBMS的结构差别不是很大,所以它对于理解通用DBMS具有重要意义。好了,下面我们开始讨论SQLite剩余的两部分:Back-end(后端)和compiler(编译器)。
2、B-tree和Pager
B-Tree使得VDBE可以在O(logN)下查询,插入和删除数据,以及O(1)下双向遍历结果集。B-Tree不会直接读写磁盘,它仅仅维护着页面(pages)之间的关系。当B-TREE需要页面或者修改页面时,它就会调用Pager。当修改页面时,pager保证原始页面首先写入日志文件,当它完成写操作时,pager根据事务状态决定如何做。B-tree不直接读写文件,而是通过page cache这个缓冲模块读写文件对于性能是有重要意义的(注:这和操作系统读写文件类似,在Linux中,操作系统的上层模块并不直接调用设备驱动读写设备,而是通过一个高速缓冲模块调用设备驱动读写文件,并将结果存到高速缓冲区)。
2.1、数据库文件格式(Database File Format)
数据库中所有的页面都按从1开始顺序标记。一个数据库由许多B-tree构成——每一个表和索引都有一个B-tree(注:索引采用B-tree,而表采用B+tree,这主要是表和索引的需求不同以及B-tree和B+tree的结构不同决定的:B+tree的所有叶子节点包含了全部关键字信息,而且可以有两种顺序查找——具体参见《数据结构》,严蔚敏。而B-tree更适合用来作索引)。所有表和索引的根页面都存储在sqlite_master表中。
数据库中第一个页面(page 1)有点特殊,page 1的前100个字节包含一个描述数据库文件的特殊的文件头。它包括库的版本,模式的版本,页面大小,编码等所有创建数据库时设置的参数。这个特殊的文件头的内容在btree.c中定义,page 1也是sqlite_master表的根页面。
2.1、页面重用及回收(Page Reuse and Vacuum )
SQLite利用一个空闲列表(free list)进行页面回收。当一个页面的所有记录都被删除时,就被插入到该列表。当运行VACUUM命令时,会清除free list,所以数据库会缩小,本质上它是在新的文件重新建立数据库,而所有使用的页在都被拷贝过去,而free list却不会,结果就是一个新的,变小的数据库。当数据库的autovacuum开启时,SQLite不会使用free list,而且在每一次commit时自动压缩数据库。
2.2、B-Tree记录
B-tree中页面由B-tree记录组成,也叫做payloads。每一个B-tree记录,或者payload有两个域:关键字域(key field)和数据域(data field)。Key field就是ROWID的值,或者数据库中表的关键字的值。从B-tree的角度,data field可以是任何无结构的数据。数据库的记录就保存在这些data fields中。B-tree的任务就是排序和遍历,它最需要就是关键字。Payloads的大小是不定的,这与内部的关键字和数据域有关,当一个payload太大不能存在一个页面内进便保存到多个页面。
B+Tree按关键字排序,所有的关键字必须唯一。表采用B+tree,内部页面不包含数据,如下:
B+tree中根页面(root page)和内部页面(internal pages)都是用来导航的,这些页面的数据域都是指向下级页面的指针,仅仅包含关键字。所有的数据库记录都存储在叶子页面(leaf pages)内。在叶节点一级,记录和页面都是按照关键字的顺序的,所以B-tree可以水平方向遍历,时间复杂度为O(1)。
2.3、记录和域(Records and Fields)
位于叶节点页面的数据域的记录由VDBE管理,数据库记录以二进制的形式存储,但有一定的数据格式。记录格式包括一个逻辑头(logical header)和一个数据区(data segment),header segment包括header的大小和一个数据类型数组,数据类型用来在data segment的数据的类型,如下:
2.4、层次数据组织(Hierarchical Data Organization)
从上往下,数据越来越无序,从下向上,数据越来越结构化.
2.5、B-Tree API
B-Tree模块有它自己的API,它可以独立于C API使用。另一个特点就是它支持事务。由pager处理的事务,锁和日志都是为B-tree服务的。根据功能可以分为以下几类:
2.5.1、访问和事务函数
sqlite3BtreeOpen: Opens a new database file. Returns a B-tree object.
sqlite3BtreeClose: Closes a database.
sqlite3BtreeBeginTrans: Starts a new transaction.
sqlite3BtreeCommit: Commits the current transaction.
sqlite3BtreeRollback: Rolls back the current transaction.
sqlite3BtreeBeginStmt: Starts a statement transaction.
sqlite3BtreeCommitStmt: Commits a statement transaction.
sqlite3BtreeRollbackStmt: Rolls back a statement transaction.
2.5.2、表函数
sqlite3BtreeCreateTable: Creates a new, empty B-tree in a database file.
sqlite3BtreeDropTable: Destroys a B-tree in a database file.
sqlite3BtreeClearTable: Removes all data from a B-tree, but keeps the B-tree intact.
2.5.3、游标函数(Cursor Functions)
sqlite3BtreeCursor: Creates a new cursor pointing to a particular B-tree.
sqlite3BtreeCloseCursor: Closes the B-tree cursor.
sqlite3BtreeFirst: Moves the cursor to the first element in a B-tree.
sqlite3BtreeLast: Moves the cursor to the last element in a B-tree.
sqlite3BtreeNext: Moves the cursor to the next element after the one it is currently pointing to.
sqlite3BtreePrevious: Moves the cursor to the previous element before the one it is currently pointing to.
sqlite3BtreeMoveto: Moves the cursor to an element that matches the key value passed in as a parameter.
2.5.4、记录函数(Record Functions)
sqlite3BtreeDelete: Deletes the record that the cursor is pointing to.
sqlite3BtreeInsert: Inserts a new element in the appropriate place of the B-tree.
sqlite3BtreeKeySize: Returns the number of bytes in the key of the record that the cursor is pointing to.
sqlite3BtreeKey: Returns the key of the record the cursor is currently pointing to.
sqlite3BtreeDataSize: Returns the number of bytes in the data record that the cursor is currently pointing to.
sqlite3BtreeData: Returns the data in the record the cursor is currently pointing to.
2.5.5、配置函数(Configuration Functions)
sqlite3BtreeSetCacheSize: Controls the page cache size as well as the synchronous
writes (as defined in the synchronous pragma).
sqlite3BtreeSetSafetyLevel: Changes the way data is synced to disk in order to increase
or decrease how well the database resists damage due to OS crashes and power failures.
Level 1 is the same as asynchronous (no syncs() occur and there is a high probability of
damage). This is the equivalent to pragma synchronous=OFF. Level 2 is the default. There
is a very low but non-zero probability of damage. This is the equivalent to pragma
synchronous=NORMAL. Level 3 reduces the probability of damage to near zero but with a
write performance reduction. This is the equivalent to pragma synchronous=FULL.
sqlite3BtreeSetPageSize: Sets the database page size.
sqlite3BtreeGetPageSize: Returns the database page size.
sqlite3BtreeSetAutoVacuum: Sets the autovacuum property of the database.
sqlite3BtreeGetAutoVacuum: Returns whether the database uses autovacuum.
sqlite3BtreeSetBusyHandler: Sets the busy handler
2.6、实例分析
最后以sqlite3_open的具体实现结束本节的讨论(参见Version 3.6.10的源码):
由上图可以知道,SQLite的所有IO操作,最终都转化为操作系统的系统调用(一名话:DBMS建立在痛苦的OS之上)。同时也可以看到SQLite的实现非常的层次化,模块化,使得SQLite更易扩展,可移植性非常强。
3、编译器(Compiler)
3.1、分词器(Tokenizer)
接口把要执行的SQL语句传递给Tokenizer,Tokenizer按照SQL的词法定义把它切分一个一个的词,并传递给分析器(Parser)进行语法分析。分词器是手工写的,主要在Tokenizer.c中实现。
3.2、分析器(Parser)
SQLite的语法分析器是用Lemon——一个开源的LALR(1)语法分析器的生成器,生成的文件为parser.c。
一个简单的语法树:
SELECT rowid, name, season FROM episodes WHERE rowid=1 LIMIT 1
3.3、代码生成器(Code Generator)
代码生成器是SQLite中取庞大,最复杂的部分。它与Parser关系紧密,根据语法分析树生成VDBE程序执行SQL语句的功能。由诸多文件构成:
select.c,update.c,insert.c,delete.c,trigger.c,where.c等文件。这些文件生成相应的VDBE程序指令,比如SELECT语句就由select.c生成。下面是一个读操作中打开表的代码的生成实现:
1. /* Generate code that will open a table for reading.
2. */
3. void sqlite3OpenTableForReading(
4. Vdbe *v, /* Generate code into this VDBE */
5. int iCur, /* The cursor number of the table */
6. Table *pTab /* The table to be opened */
7. ){
8. sqlite3VdbeAddOp(v, OP_Integer, pTab->iDb, 0);
9. sqlite3VdbeAddOp(v, OP_OpenRead, iCur, pTab->tnum);
10. VdbeComment((v, "# %s", pTab->zName));
11. sqlite3VdbeAddOp(v, OP_SetNumColumns, iCur, pTab->nCol);
12. }
复制代码
Sqlite3vdbeAddOp函数有三个参数:(1)VDBE实例(它将添加指令),(2)操作码(一条指令),(3)两个操作数。
3.4、查询优化
代码生成器不仅负责生成代码,也负责进行查询优化。主要的实现位于where.c中,生成的WHERE语句块通常被其它模块共享,比如select.c,update.c以及delete.c。这些模块调用sqlite3WhereBegin()开始WHERE语句块的指令生成,然后加入它们自己的VDBE代码返回,最后调用sqlite3WhereEnd()结束指令生成,如下:
SQLite 入门与分析(四)---Page Cache 之事务处理
写在前面:从本章开始,将对SQLite的每个模块进行讨论。讨论的顺序按照我阅读SQLite的顺序来进行,由于项目的需要,以及时间关系,不能给出一个完整的计划,但是我会先讨论我认为比较重要的内容。本节讨论SQLite的事务处理技术,事务处理是DBMS中最关键的技术,对SQLite也一样,它涉及到并发控制,以及故障恢复,由于内容较多,分为两节。好了,下面进入正题。
本节通过一个具体的例子来分析SQLite原子提交的实现(基于Version 3.3.6的代码)。
1. CREATE TABLE episodes( id integer primary key,name text, cid int) ;
复制代码
插入一条记录:insert into episodes(name,cid) values("cat",1) ;
它经过编译器处理后生成的虚拟机代码如下:
sqlite> explain insert into episodes(name,cid) values("cat",1);
0|Trace|0|0|0|explain insert into episodes(name,cid) values("cat",1);|00|
1|Goto|0|12|0||00|
2|SetNumColumns|0|3|0||00|
3|OpenWrite|0|2|0||00|
4|NewRowid|0|2|0||00|
5|Null|0|3|0||00|
6|String8|0|4|0|cat|00|
7|Integer|1|5|0||00|
8|MakeRecord|3|3|6|dad|00|
9|Insert|0|6|2|episodes|0b|
10|Close|0|0|0||00|
11|Halt|0|0|0||00|
12|Transaction|0|1|0||00|
13|VerifyCookie|0|1|0||00|
14|Transaction|1|1|0||00|
15|VerifyCookie|1|0|0||00|
16|TableLock|0|2|1|episodes|00|
17|Goto|0|2|0||00|
1、初始状态(Initial State)
当一个数据库连接第一次打开时,状态如图所示。图中最右边(“Disk”标注)表示保存在存储设备中的内容。每个方框代表一个扇区。蓝色的块表示这个扇区保存了原始数据。图中中间区域是操作系统的磁盘缓冲区。开始的时候,这些缓存是还没有被使用,因此这些方框是空白的。图中左边区域显示SQLite用户进程的内存。因为这个数据库连接刚刚打开,所以还没有任何数据记录被读入,所以这些内存也是空的。
2、获取读锁(Acquiring A Read Lock)
在SQLite写数据库之前,它必须先从数据库中读取相关信息。比如,在插入新的数据时,SQLite会先从sqlite_master表中读取数据库模式(相当于数据字典),以便编译器对INSERT语句进行分析,确定数据插入的位置。
在进行读操作之前,必须先获取数据库的共享锁(shared lock),共享锁允许两个或更多的连接在同一时刻读取数据库。但是共享锁不允许其它连接对数据库进行写操作。
shared lock存在于操作系统磁盘缓存,而不是磁盘本身。文件锁的本质只是操作系统的内核数据结构,当操作系统崩溃或掉电时,这些内核数据也会随之消失。
3、读取数据
一旦得到shared lock,就可以进行读操作。如图所示,数据先由OS从磁盘读取到OS缓存,然后再由OS移到用户进程空间。一般来说,数据库文件分为很多页,而一次读操作只读取一小部分页面。如图,从8个页面读取3个页面。
4、获取Reserved Lock
在对数据进行修改操作之前,先要获取数据库文件的Reserved Lock,Reserved Lock和shared lock的相似之处在于,它们都允许其它进程对数据库文件进行读操作。Reserved Lock和Shared Lock可以共存,但是只能是一个Reserved Lock和多个Shared Lock——多个Reserved Lock不能共存。所以,在同一时刻,只能进行一个写操作。
Reserved Lock意味着当前进程(连接)想修改数据库文件,但是还没开始修改操作,所以其它的进程可以读数据库,但不能写数据库。
5、创建恢复日志(Creating A Rollback Journal File)
在对数据库进行写操作之前,SQLite先要创建一个单独的日志文件,然后把要修改的页面的原始数据写入日志。回滚日志包含一个日志头(图中的绿色)——记录数据库文件的原始大小。所以即使数据库文件大小改变了,我们仍知道数据库的原始大小。
从OS的角度来看,当一个文件创建时,大多数OS(Windows,Linux,Mac OS X)不会向磁盘写入数据,新创建的文件此时位于磁盘缓存中,之后才会真正写入磁盘。如图,日志文件位于OS磁盘缓存中,而不是位于磁盘。
上面 5步的代码的实现:
1. //事务指令的实现
2. //p1为数据库文件的索引号---0为main database;1为temporary tables使用的文件
3. //p2 不为0,一个写事务开始
4. case OP_Transaction: {
5. //数据库的索引号
6. int i = pOp->p1;
7. //指向数据库对应的btree
8. Btree *pBt;
9.
10. assert( i>=0 && i<db->nDb );
11. assert( (p->btreeMask & (1<<i))!=0 );
12. //设置btree指针
13. pBt = db->aDb[i].pBt;
14.
15. if( pBt ){
16. //从这里btree开始事务,主要给文件加锁,并设置btree事务状态
17. rc = sqlite3BtreeBeginTrans(pBt, pOp->p2);
18.
19. if( rc==SQLITE_BUSY ){
20. p->pc = pc;
21. p->rc = rc = SQLITE_BUSY;
22. goto vdbe_return;
23. }
24. if( rc!=SQLITE_OK && rc!=SQLITE_READONLY /* && rc!=SQLITE_BUSY */ ){
25. goto abort_due_to_error;
26. }
27. }
28. break;
29. }
30.
31. //开始一个事务,如果第二个参数不为0,则一个写事务开始,否则是一个读事务
32. //如果wrflag>=2,一个exclusive事务开始,此时别的连接不能访问数据库
33. int sqlite3BtreeBeginTrans(Btree *p, int wrflag){
34. BtShared *pBt = p->pBt;
35. int rc = SQLITE_OK;
36.
37. btreeIntegrity(p);
38.
39. /* If the btree is already in a write-transaction, or it
40. ** is already in a read-transaction and a read-transaction
41. ** is requested, this is a no-op.
42. */
43. //如果b-tree处于一个写事务;或者处于一个读事务,一个读事务又请求,则返回SQLITE_OK
44. if( p->inTrans==TRANS_WRITE || (p->inTrans==TRANS_READ && !wrflag) ){
45. return SQLITE_OK;
46. }
47.
48. /* Write transactions are not possible on a read-only database */
49. //写事务不能访问只读数据库
50. if( pBt->readOnly && wrflag ){
51. return SQLITE_READONLY;
52. }
53.
54. /* If another database handle has already opened a write transaction
55. ** on this shared-btree structure and a second write transaction is
56. ** requested, return SQLITE_BUSY.
57. */
58. //如果数据库已存在一个写事务,则该写事务请求时返回SQLITE_BUSY
59. if( pBt->inTransaction==TRANS_WRITE && wrflag ){
60. return SQLITE_BUSY;
61. }
62.
63. do {
64. //如果数据库对应btree的第一个页面还没读进内存
65. //则把该页面读进内存,数据库也相应的加read lock
66. if( pBt->pPage1==0 ){
67. //加read lock,并读页面到内存
68. rc = lockBtree(pBt);
69. }
70.
71. if( rc==SQLITE_OK && wrflag ){
72. //对数据库文件加RESERVED_LOCK锁
73. rc = sqlite3pager_begin(pBt->pPage1->aData, wrflag>1);
74. if( rc==SQLITE_OK ){
75. rc = newDatabase(pBt);
76. }
77. }
78.
79. if( rc==SQLITE_OK ){
80. if( wrflag ) pBt->inStmt = 0;
81. }else{
82. unlockBtreeIfUnused(pBt);
83. }
84. }while( rc==SQLITE_BUSY && pBt->inTransaction==TRANS_NONE &&
85. sqlite3InvokeBusyHandler(pBt->pBusyHandler) );
86.
87. if( rc==SQLITE_OK ){
88. if( p->inTrans==TRANS_NONE ){
89. //btree的事务数加1
90. pBt->nTransaction++;
91. }
92. //设置btree事务状态
93. p->inTrans = (wrflag?TRANS_WRITE:TRANS_READ);
94. if( p->inTrans>pBt->inTransaction ){
95. pBt->inTransaction = p->inTrans;
96. }
97. }
98.
99. btreeIntegrity(p);
100. return rc;
101.}
102.
103./*
104.**获取数据库的写锁,发生以下情况时去除写锁:
105.** * sqlite3pager_commit() is called.
106.** * sqlite3pager_rollback() is called.
107.** * sqlite3pager_close() is called.
108.** * sqlite3pager_unref() is called to on every outstanding page.
109.** pData指向数据库的打开的页面,此时并不修改,仅仅只是获取
110.** 相应的pager,检查它是否处于read-lock状态。
111.**如果打开的不是临时文件,则打开日志文件.
112.**如果数据库已经处于写状态,则do nothing
113.*/
114.int sqlite3pager_begin(void *pData, int exFlag){
115. PgHdr *pPg = DATA_TO_PGHDR(pData);
116. Pager *pPager = pPg->pPager;
117. int rc = SQLITE_OK;
118. assert( pPg->nRef>0 );
119. assert( pPager->state!=PAGER_UNLOCK );
120. //pager已经处于share状态
121. if( pPager->state==PAGER_SHARED ){
122. assert( pPager->aInJournal==0 );
123. if( MEMDB ){
124. pPager->state = PAGER_EXCLUSIVE;
125. pPager->origDbSize = pPager->dbSize;
126. }else{
127. //对文件加 RESERVED_LOCK
128. rc = sqlite3OsLock(pPager->fd, RESERVED_LOCK);
129. if( rc==SQLITE_OK ){
130. //设置pager的状态
131. pPager->state = PAGER_RESERVED;
132. if( exFlag ){
133. rc = pager_wait_on_lock(pPager, EXCLUSIVE_LOCK);
134. }
135. }
136. if( rc!=SQLITE_OK ){
137. return rc;
138. }
139. pPager->dirtyCache = 0;
140. TRACE2("TRANSACTION %d\n", PAGERID(pPager));
141. //使用日志,不是临时文件,则打开日志文件
142. if( pPager->useJournal && !pPager->tempFile ){
143. //为pager打开日志文件,pager应该处于RESERVED或EXCLUSIVE状态
144. //会向日志文件写入header
145. rc = pager_open_journal(pPager);
146. }
147. }
148. }
149. return rc;
150.}
151.
152.
153.//创建日志文件,pager应该处于RESERVED或EXCLUSIVE状态
154.static int pager_open_journal(Pager *pPager){
155. int rc;
156. assert( !MEMDB );
157. assert( pPager->state>=PAGER_RESERVED );
158. assert( pPager->journalOpen==0 );
159. assert( pPager->useJournal );
160. assert( pPager->aInJournal==0 );
161. sqlite3pager_pagecount(pPager);
162. //日志文件页面位图
163. pPager->aInJournal = sqliteMalloc( pPager->dbSize/8 + 1 );
164. if( pPager->aInJournal==0 ){
165. rc = SQLITE_NOMEM;
166. goto failed_to_open_journal;
167. }
168. //打开日志文件
169. rc = sqlite3OsOpenExclusive(pPager->zJournal, &pPager->jfd,
170. pPager->tempFile);
171. //日志文件的位置指针
172. pPager->journalOff = 0;
173. pPager->setMaster = 0;
174. pPager->journalHdr = 0;
175. if( rc!=SQLITE_OK ){
176. goto failed_to_open_journal;
177. }
178. /*一般来说,os此时创建的文件位于磁盘缓存,并没有实际
179. **存在于磁盘,下面三个操作就是为了把结果写入磁盘,而对于
180. **windows系统来说,并没有提供相应API,所以实际上没有意义.
181. */
182. //fullSync操作对windows没有意义
183. sqlite3OsSetFullSync(pPager->jfd, pPager->full_fsync);
184. sqlite3OsSetFullSync(pPager->fd, pPager->full_fsync);
185. /* Attempt to open a file descriptor for the directory that contains a file.
186. **This file descriptor can be used to fsync() the directory
187. **in order to make sure the creation of a new file is actually written to disk.
188. */
189. sqlite3OsOpenDirectory(pPager->jfd, pPager->zDirectory);
190. pPager->journalOpen = 1;
191. pPager->journalStarted = 0;
192. pPager->needSync = 0;
193. pPager->alwaysRollback = 0;
194. pPager->nRec = 0;
195. if( pPager->errCode ){
196. rc = pPager->errCode;
197. goto failed_to_open_journal;
198. }
199. pPager->origDbSize = pPager->dbSize;
200. //写入日志文件的header---24个字节
201. rc = writeJournalHdr(pPager);
202.
203. if( pPager->stmtAutoopen && rc==SQLITE_OK ){
204. rc = sqlite3pager_stmt_begin(pPager);
205. }
206. if( rc!=SQLITE_OK && rc!=SQLITE_NOMEM ){
207. rc = pager_unwritelock(pPager);
208. if( rc==SQLITE_OK ){
209. rc = SQLITE_FULL;
210. }
211. }
212. return rc;
213.
214.failed_to_open_journal:
215. sqliteFree(pPager->aInJournal);
216. pPager->aInJournal = 0;
217. if( rc==SQLITE_NOMEM ){
218. /* If this was a malloc() failure, then we will not be closing the pager
219. ** file. So delete any journal file we may have just created. Otherwise,
220. ** the system will get confused, we have a read-lock on the file and a
221. ** mysterious journal has appeared in the filesystem.
222. */
223. sqlite3OsDelete(pPager->zJournal);
224. }else{
225. sqlite3OsUnlock(pPager->fd, NO_LOCK);
226. pPager->state = PAGER_UNLOCK;
227. }
228. return rc;
229.}
230.
231./*写入日志文件头
232.**journal header的格式如下:
233.** - 8 bytes: 标志日志文件的魔数
234.** - 4 bytes: 日志文件中记录数
235.** - 4 bytes: Random number used for page hash.
236.** - 4 bytes: 原来数据库的大小(kb)
237.** - 4 bytes: 扇区大小512byte
238.*/
239.static int writeJournalHdr(Pager *pPager){
240. //日志文件头
241. char zHeader[sizeof(aJournalMagic)+16];
242.
243. int rc = seekJournalHdr(pPager);
244. if( rc ) return rc;
245.
246. pPager->journalHdr = pPager->journalOff;
247. if( pPager->stmtHdrOff==0 ){
248. pPager->stmtHdrOff = pPager->journalHdr;
249. }
250. //设置文件指针指向header之后
251. pPager->journalOff += JOURNAL_HDR_SZ(pPager);
252.
253. /* FIX ME:
254. **
255. ** Possibly for a pager not in no-sync mode, the journal magic should not
256. ** be written until nRec is filled in as part of next syncJournal().
257. **
258. ** Actually maybe the whole journal header should be delayed until that
259. ** point. Think about this.
260. */
261. memcpy(zHeader, aJournalMagic, sizeof(aJournalMagic));
262. /* The nRec Field. 0xFFFFFFFF for no-sync journals. */
263. put32bits(&zHeader[sizeof(aJournalMagic)], pPager->noSync ? 0xffffffff : 0);
264. /* The random check-hash initialiser */
265. sqlite3Randomness(sizeof(pPager->cksumInit), &pPager->cksumInit);
266. put32bits(&zHeader[sizeof(aJournalMagic)+4], pPager->cksumInit);
267. /* The initial database size */
268. put32bits(&zHeader[sizeof(aJournalMagic)+8], pPager->dbSize);
269. /* The assumed sector size for this process */
270. put32bits(&zHeader[sizeof(aJournalMagic)+12], pPager->sectorSize);
271. //写入文件头
272. rc = sqlite3OsWrite(pPager->jfd, zHeader, sizeof(zHeader));
273.
274. /* The journal header has been written successfully. Seek the journal
275. ** file descriptor to the end of the journal header sector.
276. */
277. if( rc==SQLITE_OK ){
278. rc = sqlite3OsSeek(pPager->jfd, pPager->journalOff-1);
279. if( rc==SQLITE_OK ){
280. rc = sqlite3OsWrite(pPager->jfd, "\000", 1);
281. }
282. }
283. return rc;
284.}
复制代码
其实现过程如下图所示:
写在前面:个人认为pager层是SQLite实现最为核心的模块,它具有四大功能:I/O,页面缓存,并发控制和日志恢复。而这些功能不仅是上层Btree的基础,而且对系统的性能和健壮性有关至关重要的影响。其中并发控制和日志恢复是事务处理实现的基础。SQLite并发控制的机制非常简单——封锁机制;别外,它的查询优化机制也非常简单——基于索引。这一切使得整个SQLite的实现变得简单,SQLite变得很小,运行速度也非常快,所以,特别适合嵌入式设备。好了,接下来讨论事务的剩余部分。
6、修改位于用户进程空间的页面(Changing Database Pages In User Space)
页面的原始数据写入日志之后,就可以修改页面了——位于用户进程空间。每个数据库连接都有自己私有的空间,所以页面的变化只对该连接可见,而对其它连接的数据仍然是磁盘缓存中的数据。从这里可以明白一件事:一个进程在修改页面数据的同时,其它进程可以继续进行读操作。图中的红色表示修改的页面。
7、日志文件刷入磁盘(Flushing The Rollback Journal File To Mass Storage)
接下来把日志文件的内容刷入磁盘,这对于数据库从意外中恢复来说是至关重要的一步。而且这通常也是一个耗时的操作,因为磁盘I/O速度很慢。
这个步骤不只把日志文件刷入磁盘那么简单,它的实现实际上分成两步:首先把日志文件的内容刷入磁盘(即页面数据);然后把日志文件中页面的数目写入日志文件头,再把header刷入磁盘(这一过程在代码中清晰可见)。
代码如下:
1. /*
2. **Sync日志文件,保证所有的脏页面写入磁盘日志文件
3. */
4. static int syncJournal(Pager *pPager){
5. PgHdr *pPg;
6. int rc = SQLITE_OK;
7.
8. /* Sync the journal before modifying the main database
9. ** (assuming there is a journal and it needs to be synced.)
10. */
11. if( pPager->needSync ){
12. if( !pPager->tempFile ){
13. assert( pPager->journalOpen );
14. /* assert( !pPager->noSync ); // noSync might be set if synchronous
15. ** was turned off after the transaction was started. Ticket #615 */
16. #ifndef NDEBUG
17. {
18. /* Make sure the pPager->nRec counter we are keeping agrees
19. ** with the nRec computed from the size of the journal file.
20. */
21. i64 jSz;
22. rc = sqlite3OsFileSize(pPager->jfd, &jSz);
23. if( rc!=0 ) return rc;
24. assert( pPager->journalOff==jSz );
25. }
26. #endif
27. {
28. /* Write the nRec value into the journal file header. If in
29. ** full-synchronous mode, sync the journal first. This ensures that
30. ** all data has really hit the disk before nRec is updated to mark
31. ** it as a candidate for rollback.
32. */
33. if( pPager->fullSync ){
34. TRACE2("SYNC journal of %d\n", PAGERID(pPager));
35. //首先保证脏页面中所有的数据都已经写入日志文件
36. rc = sqlite3OsSync(pPager->jfd, 0);
37. if( rc!=0 ) return rc;
38. }
39. rc = sqlite3OsSeek(pPager->jfd,
40. pPager->journalHdr + sizeof(aJournalMagic));
41. if( rc ) return rc;
42. //页面的数目写入日志文件
43. rc = write32bits(pPager->jfd, pPager->nRec);
44. if( rc ) return rc;
45.
46. rc = sqlite3OsSeek(pPager->jfd, pPager->journalOff);
47. if( rc ) return rc;
48. }
49. TRACE2("SYNC journal of %d\n", PAGERID(pPager));
50. rc = sqlite3OsSync(pPager->jfd, pPager->full_fsync);
51. if( rc!=0 ) return rc;
52. pPager->journalStarted = 1;
53. }
54. pPager->needSync = 0;
55.
56. /* Erase the needSync flag from every page.
57. */
58. //清除needSync标志位
59. for(pPg=pPager->pAll; pPg; pPg=pPg->pNextAll){
60. pPg->needSync = 0;
61. }
62. pPager->pFirstSynced = pPager->pFirst;
63. }
64.
65. #ifndef NDEBUG
66. /* If the Pager.needSync flag is clear then the PgHdr.needSync
67. ** flag must also be clear for all pages. Verify that this
68. ** invariant is true.
69. */
70. else{
71. for(pPg=pPager->pAll; pPg; pPg=pPg->pNextAll){
72. assert( pPg->needSync==0 );
73. }
74. assert( pPager->pFirstSynced==pPager->pFirst );
75. }
76. #endif
77.
78. return rc;
79. }
复制代码
8、获取排斥锁(Obtaining An Exclusive Lock)
在对数据库文件进行修改之前(注:这里不是内存中的页面),我们必须得到数据库文件的排斥锁(Exclusive Lock)。得到排斥锁的过程可分为两步:首先得到Pending lock;然后Pending lock升级到exclusive lock。
Pending lock允许其它已经存在的Shared lock继续读数据库文件,但是不允许产生新的shared lock,这样做目的是为了防止写操作发生饿死情况。一旦所有的shared lock完成操作,则pending lock升级到exclusive lock。
9、修改的页面写入文件(Writing Changes To The Database File)
一旦得到exclusive lock,其它的进程就不能进行读操作,此时就可以把修改的页面写回数据库文件,但是通常OS都把结果暂时保存到磁盘缓存中,直到某个时刻才会真正把结果写入磁盘。
以上两步的实现代码:
1. //把所有的脏页面写入数据库
2. //到这里开始获取EXCLUSIVEQ锁,并将页面写回操作系统文件
3. static int pager_write_pagelist(PgHdr *pList){
4. Pager *pPager;
5. int rc;
6.
7. if( pList==0 ) return SQLITE_OK;
8. pPager = pList->pPager;
9.
10. /* At this point there may be either a RESERVED or EXCLUSIVE lock on the
11. ** database file. If there is already an EXCLUSIVE lock, the following
12. ** calls to sqlite3OsLock() are no-ops.
13. **
14. ** Moving the lock from RESERVED to EXCLUSIVE actually involves going
15. ** through an intermediate state PENDING. A PENDING lock prevents new
16. ** readers from attaching to the database but is unsufficient for us to
17. ** write. The idea of a PENDING lock is to prevent new readers from
18. ** coming in while we wait for existing readers to clear.
19. **
20. ** While the pager is in the RESERVED state, the original database file
21. ** is unchanged and we can rollback without having to playback the
22. ** journal into the original database file. Once we transition to
23. ** EXCLUSIVE, it means the database file has been changed and any rollback
24. ** will require a journal playback.
25. */
26. //加EXCLUSIVE_LOCK锁
27. rc = pager_wait_on_lock(pPager, EXCLUSIVE_LOCK);
28. if( rc!=SQLITE_OK ){
29. return rc;
30. }
31.
32. while( pList ){
33. assert( pList->dirty );
34. rc = sqlite3OsSeek(pPager->fd, (pList->pgno-1)*(i64)pPager->pageSize);
35. if( rc ) return rc;
36. /* If there are dirty pages in the page cache with page numbers greater
37. ** than Pager.dbSize, this means sqlite3pager_truncate() was called to
38. ** make the file smaller (presumably by auto-vacuum code). Do not write
39. ** any such pages to the file.
40. */
41. if( pList->pgno<=pPager->dbSize ){
42. char *pData = CODEC2(pPager, PGHDR_TO_DATA(pList), pList->pgno, 6);
43. TRACE3("STORE %d page %d\n", PAGERID(pPager), pList->pgno);
44. //写入文件
45. rc = sqlite3OsWrite(pPager->fd, pData, pPager->pageSize);
46. TEST_INCR(pPager->nWrite);
47. }
48. #ifndef NDEBUG
49. else{
50. TRACE3("NOSTORE %d page %d\n", PAGERID(pPager), pList->pgno);
51. }
52. #endif
53. if( rc ) return rc;
54. //设置dirty
55. pList->dirty = 0;
56. #ifdef SQLITE_CHECK_PAGES
57. pList->pageHash = pager_pagehash(pList);
58. #endif
59. //指向下一个脏页面
60. pList = pList->pDirty;
61. }
62. return SQLITE_OK;
63. }
复制代码
10、修改结果刷入存储设备(Flushing Changes To Mass Storage)
为了保证修改结果真正写入磁盘,这一步必不要少。对于数据库存的完整性,这一步也是关键的一步。由于要进行实际的I/O操作,所以和第7步一样,将花费较多的时间。
最后来看看这几步是如何实现的:
其实以上以上几步是在函数sqlite3BtreeSync()---btree.c中调用的(而关于该函数的调用后面再讲)。
代码如下:
1. //同步btree对应的数据库文件
2. //该函数返回之后,只需要提交写事务,删除日志文件
3. int sqlite3BtreeSync(Btree *p, const char *zMaster){
4. int rc = SQLITE_OK;
5. if( p->inTrans==TRANS_WRITE ){
6. BtShared *pBt = p->pBt;
7. Pgno nTrunc = 0;
8. #ifndef SQLITE_OMIT_AUTOVACUUM
9. if( pBt->autoVacuum ){
10. rc = autoVacuumCommit(pBt, &nTrunc);
11. if( rc!=SQLITE_OK ){
12. return rc;
13. }
14. }
15. #endif
16.
17. //调用pager进行sync
18. rc = sqlite3pager_sync(pBt->pPager, zMaster, nTrunc);
19. }
20. return rc;
21. }
22.
23. //把pager所有脏页面写回文件
24. int sqlite3pager_sync(Pager *pPager, const char *zMaster, Pgno nTrunc){
25. int rc = SQLITE_OK;
26.
27. TRACE4("DATABASE SYNC: File=%s zMaster=%s nTrunc=%d\n",
28. pPager->zFilename, zMaster, nTrunc);
29.
30. /* If this is an in-memory db, or no pages have been written to, or this
31. ** function has already been called, it is a no-op.
32. */
33. //pager不处于PAGER_SYNCED状态,dirtyCache为1,
34. //则进行sync操作
35. if( pPager->state!=PAGER_SYNCED && !MEMDB && pPager->dirtyCache ){
36. PgHdr *pPg;
37. assert( pPager->journalOpen );
38.
39. /* If a master journal file name has already been written to the
40. ** journal file, then no sync is required. This happens when it is
41. ** written, then the process fails to upgrade from a RESERVED to an
42. ** EXCLUSIVE lock. The next time the process tries to commit the
43. ** transaction the m-j name will have already been written.
44. */
45. if( !pPager->setMaster ){
46. //pager修改计数
47. rc = pager_incr_changecounter(pPager);
48. if( rc!=SQLITE_OK ) goto sync_exit;
49. #ifndef SQLITE_OMIT_AUTOVACUUM
50. if( nTrunc!=0 ){
51. /* If this transaction has made the database smaller, then all pages
52. ** being discarded by the truncation must be written to the journal
53. ** file.
54. */
55. Pgno i;
56. void *pPage;
57. int iSkip = PAGER_MJ_PGNO(pPager);
58. for( i=nTrunc+1; i<=pPager->origDbSize; i++ ){
59. if( !(pPager->aInJournal[i/8] & (1<<(i&7))) && i!=iSkip ){
60. rc = sqlite3pager_get(pPager, i, &pPage);
61. if( rc!=SQLITE_OK ) goto sync_exit;
62. rc = sqlite3pager_write(pPage);
63. sqlite3pager_unref(pPage);
64. if( rc!=SQLITE_OK ) goto sync_exit;
65. }
66. }
67. }
68. #endif
69. rc = writeMasterJournal(pPager, zMaster);
70. if( rc!=SQLITE_OK ) goto sync_exit;
71.
72. //sync日志文件
73. rc = syncJournal(pPager);
74. if( rc!=SQLITE_OK ) goto sync_exit;
75. }
76.
77. #ifndef SQLITE_OMIT_AUTOVACUUM
78. if( nTrunc!=0 ){
79. rc = sqlite3pager_truncate(pPager, nTrunc);
80. if( rc!=SQLITE_OK ) goto sync_exit;
81. }
82. #endif
83.
84. /* Write all dirty pages to the database file */
85. pPg = pager_get_all_dirty_pages(pPager);
86.
87.
88. //把所有脏页面写回操作系统文件
89. rc = pager_write_pagelist(pPg);
90. if( rc!=SQLITE_OK ) goto sync_exit;
91.
92. /* Sync the database file. */
93. //sync数据库文件
94. if( !pPager->noSync ){
95. rc = sqlite3OsSync(pPager->fd, 0);
96. }
97.
98. pPager->state = PAGER_SYNCED;
99. }else if( MEMDB && nTrunc!=0 ){
100. rc = sqlite3pager_truncate(pPager, nTrunc);
101. }
102.
103.sync_exit:
104. return rc;
105.}
复制代码
下图可以进一步解释该过程:
11、删除日志文件(Deleting The Rollback Journal)
一旦更改写入设备,日志文件将会被删除,这是事务真正提交的时刻。如果在这之前系统发生崩溃,就会进行恢复处理,使得数据库和没发生改变一样;如果在这之后系统发生崩溃,表明所有的更改都已经写入磁盘。SQLite就是根据日志存在情况决定是否对数据库进行恢复处理。
删除文件本质上不是一个原子操作,但是从用户进程的角度来看是一个原子操作,所以一个事务看起来是一个原子操作。
在许多系统中,删除文件也是一个高代价的操作。作为优化,SQLite可以配置成把日志文件的长度截为0或者把日志文件头清零。
12、释放锁(Releasing The Lock)
作为原子提交的最后一步,释放排斥锁使得其它进程可以开始访问数据库了。
下图中,我们指明了当锁被释放的时候用户空间所拥有的信息已经被清空了.对于老版本的SQLite你可这么认为。但最新的SQLite会保存些用户空间的缓存不会被清空—万一下一个事务开始的时候,这些数据刚好可以用上呢。重新利用这些内存要比再次从操作系统磁盘缓存或者硬盘中读取要来得轻松与快捷得多,何乐而不为呢?在再次使用这些数据之前,我们必须先取得一个共享锁,同时我们还不得不去检查一下,保证还没有其他进程在我们拥有共享锁之前对数据库文件进行了修改。数据库文件的第一页中有一个计数器,数据库文件每做一次修改,这个计数器就会增长一下。我们可以通过检查这个计数器就可得知是否有其他进程修改过数据库文件。如果数据库文件已经被修改过了,那么用户内存空间的缓存就不得不清空,并重新读入。大多数情况下,这种情况不大会发生,因此用户空间的内存缓存将是有效的,这对于性能提高来说作用是显著的。
以上两步是在sqlite3BtreeCommit()---btree.c函数中实现的。
代码如下:
//提交事务,至此一个事务完成.主要做两件事:
//删除日志文件,释放数据库文件的写锁
int sqlite3BtreeCommit(Btree *p){
BtShared *pBt = p->pBt;
btreeIntegrity(p);
/* If the handle has a write-transaction open, commit the shared-btrees
** transaction and set the shared state to TRANS_READ.
*/
if( p->inTrans==TRANS_WRITE ){
int rc;
assert( pBt->inTransaction==TRANS_WRITE );
assert( pBt->nTransaction>0 );
//调用pager,提交事务
rc = sqlite3pager_commit(pBt->pPager);
if( rc!=SQLITE_OK ){
return rc;
}
pBt->inTransaction = TRANS_READ;
pBt->inStmt = 0;
}
unlockAllTables(p);
/* If the handle has any kind of transaction open, decrement the transaction
** count of the shared btree. If the transaction count reaches 0, set
** the shared state to TRANS_NONE. The unlockBtreeIfUnused() call below
** will unlock the pager.
*/
if( p->inTrans!=TRANS_NONE ){
pBt->nTransaction--;
if( 0==pBt->nTransaction ){
pBt->inTransaction = TRANS_NONE;
}
}
}
//提交事务,主要调用pager_unwritelock()函数
int sqlite3pager_commit(Pager *pPager){
int rc;
PgHdr *pPg;
if( pPager->errCode ){
return pPager->errCode;
}
if( pPager->state<PAGER_RESERVED ){
return SQLITE_ERROR;
}
TRACE2("COMMIT %d\n", PAGERID(pPager));
if( MEMDB ){
pPg = pager_get_all_dirty_pages(pPager);
while( pPg ){
clearHistory(PGHDR_TO_HIST(pPg, pPager));
pPg->dirty = 0;
pPg->inJournal = 0;
pPg->inStmt = 0;
pPg->needSync = 0;
pPg->pPrevStmt = pPg->pNextStmt = 0;
pPg = pPg->pDirty;
}
pPager->pDirty = 0;
#ifndef NDEBUG
for(pPg=pPager->pAll; pPg; pPg=pPg->pNextAll){
PgHistory *pHist = PGHDR_TO_HIST(pPg, pPager);
assert( !pPg->alwaysRollback );
assert( !pHist->pOrig );
assert( !pHist->pStmt );
}
#endif
pPager->pStmt = 0;
pPager->state = PAGER_SHARED;
return SQLITE_OK;
}
if( pPager->dirtyCache==0 ){
/* Exit early (without doing the time-consuming sqlite3OsSync() calls)
** if there have been no changes to the database file. */
assert( pPager->needSync==0 );
rc = pager_unwritelock(pPager);
pPager->dbSize = -1;
return rc;
}
assert( pPager->journalOpen );
rc = sqlite3pager_sync(pPager, 0, 0);
//删除文件,释放写锁
if( rc==SQLITE_OK ){
rc = pager_unwritelock(pPager);
pPager->dbSize = -1;
}
return rc;
}
//对数据库加read lock,删除日志文件
static int pager_unwritelock(Pager *pPager){
PgHdr *pPg;
int rc;
assert( !MEMDB );
if( pPager->state<PAGER_RESERVED ){
return SQLITE_OK;
}
sqlite3pager_stmt_commit(pPager);
if( pPager->stmtOpen ){
sqlite3OsClose(&pPager->stfd);
pPager->stmtOpen = 0;
}
if( pPager->journalOpen ){
//关闭日志文件
sqlite3OsClose(&pPager->jfd);
pPager->journalOpen = 0;
//删除日志文件
sqlite3OsDelete(pPager->zJournal);
sqliteFree( pPager->aInJournal );
pPager->aInJournal = 0;
for(pPg=pPager->pAll; pPg; pPg=pPg->pNextAll){
pPg->inJournal = 0;
pPg->dirty = 0;
pPg->needSync = 0;
#ifdef SQLITE_CHECK_PAGES
pPg->pageHash = pager_pagehash(pPg);
#endif
}
pPager->pDirty = 0;
pPager->dirtyCache = 0;
pPager->nRec = 0;
}else{
assert( pPager->aInJournal==0 );
assert( pPager->dirtyCache==0 || pPager->useJournal==0 );
}
//释放写锁,加读锁
rc = sqlite3OsUnlock(pPager->fd, SHARED_LOCK);
pPager->state = PAGER_SHARED;
pPager->origDbSize = 0;
pPager->setMaster = 0;
pPager->needSync = 0;
pPager->pFirstSynced = pPager->pFirst;
return rc;
}
下图可进一步描述该过程:
最后来看看sqlite3BtreeSync()和sqlite3BtreeCommit()是如何被调用的。
一般来说,事务提交方式为自动提交的话,在虚拟机中的OP_Halt指令实现提交事务,相关代码如下:
//虚拟机停机指令
case OP_Halt: { /* no-push */
p->pTos = pTos;
p->rc = pOp->p1;
p->pc = pc;
p->errorAction = pOp->p2;
if( pOp->p3 ){
sqlite3SetString(&p->zErrMsg, pOp->p3, (char*)0);
}
//设置虚拟机状态SQLITE_MAGIC_RUN 为 SQLITE_MAGIC_HALT,
//并提交事务
rc = sqlite3VdbeHalt(p);
assert( rc==SQLITE_BUSY || rc==SQLITE_OK );
if( rc==SQLITE_BUSY ){
p->rc = SQLITE_BUSY;
return SQLITE_BUSY;
}
return p->rc ? SQLITE_ERROR : SQLITE_DONE;
}
//当虚拟机要停机时,调用该函数,如果VDBE改变了数据库且为自动
//提交模式,则提交这些改变
int sqlite3VdbeHalt(Vdbe *p){
sqlite3 *db = p->db;
int i;
int (*xFunc)(Btree *pBt) = 0; /* Function to call on each btree backend */
int isSpecialError; /* Set to true if SQLITE_NOMEM or IOERR */
/* This function contains the logic that determines if a statement or
** transaction will be committed or rolled back as a result of the
** execution of this virtual machine.
**
** Special errors:
**
** If an SQLITE_NOMEM error has occured in a statement that writes to
** the database, then either a statement or transaction must be rolled
** back to ensure the tree-structures are in a consistent state. A
** statement transaction is rolled back if one is open, otherwise the
** entire transaction must be rolled back.
**
** If an SQLITE_IOERR error has occured in a statement that writes to
** the database, then the entire transaction must be rolled back. The
** I/O error may have caused garbage to be written to the journal
** file. Were the transaction to continue and eventually be rolled
** back that garbage might end up in the database file.
**
** In both of the above cases, the Vdbe.errorAction variable is
** ignored. If the sqlite3.autoCommit flag is false and a transaction
** is rolled back, it will be set to true.
**
** Other errors:
**
** No error:
**
*/
if( sqlite3MallocFailed() ){
p->rc = SQLITE_NOMEM;
}
if( p->magic!=VDBE_MAGIC_RUN ){
/* Already halted. Nothing to do. */
assert( p->magic==VDBE_MAGIC_HALT );
return SQLITE_OK;
}
//释放虚拟机中所有的游标
closeAllCursors(p);
checkActiveVdbeCnt(db);
/* No commit or rollback needed if the program never started */
if( p->pc>=0 ){
/* Check for one of the special errors - SQLITE_NOMEM or SQLITE_IOERR */
isSpecialError = ((p->rc==SQLITE_NOMEM || p->rc==SQLITE_IOERR)?1:0);
if( isSpecialError ){
/* This loop does static analysis of the query to see which of the
** following three categories it falls into:
**
** Read-only
** Query with statement journal
** Query without statement journal
**
** We could do something more elegant than this static analysis (i.e.
** store the type of query as part of the compliation phase), but
** handling malloc() or IO failure is a fairly obscure edge case so
** this is probably easier. Todo: Might be an opportunity to reduce
** code size a very small amount though
*/
int isReadOnly = 1;
int isStatement = 0;
assert(p->aOp || p->nOp==0);
for(i=0; i<p->nOp; i++){
switch( p->aOp[i].opcode ){
case OP_Transaction:
isReadOnly = 0;
break;
case OP_Statement:
isStatement = 1;
break;
}
}
/* If the query was read-only, we need do no rollback at all. Otherwise,
** proceed with the special handling.
*/
if( !isReadOnly ){
if( p->rc==SQLITE_NOMEM && isStatement ){
xFunc = sqlite3BtreeRollbackStmt;
}else{
/* We are forced to roll back the active transaction. Before doing
** so, abort any other statements this handle currently has active.
*/
sqlite3AbortOtherActiveVdbes(db, p);
sqlite3RollbackAll(db);
db->autoCommit = 1;
}
}
}
/* If the auto-commit flag is set and this is the only active vdbe, then
** we do either a commit or rollback of the current transaction.
**
** Note: This block also runs if one of the special errors handled
** above has occured.
*/
//如果自动提交事务,则提交事务
if( db->autoCommit && db->activeVdbeCnt==1 ){
if( p->rc==SQLITE_OK || (p->errorAction==OE_Fail && !isSpecialError) ){
/* The auto-commit flag is true, and the vdbe program was
** successful or hit an 'OR FAIL' constraint. This means a commit
** is required.
*/
//提交事务
int rc = vdbeCommit(db);
if( rc==SQLITE_BUSY ){
return SQLITE_BUSY;
}else if( rc!=SQLITE_OK ){
p->rc = rc;
sqlite3RollbackAll(db);
}else{
sqlite3CommitInternalChanges(db);
}
}else{
sqlite3RollbackAll(db);
}
}else if( !xFunc ){
if( p->rc==SQLITE_OK || p->errorAction==OE_Fail ){
xFunc = sqlite3BtreeCommitStmt;
}else if( p->errorAction==OE_Abort ){
xFunc = sqlite3BtreeRollbackStmt;
}else{
sqlite3AbortOtherActiveVdbes(db, p);
sqlite3RollbackAll(db);
db->autoCommit = 1;
}
}
/* If xFunc is not NULL, then it is one of sqlite3BtreeRollbackStmt or
** sqlite3BtreeCommitStmt. Call it once on each backend. If an error occurs
** and the return code is still SQLITE_OK, set the return code to the new
** error value.
*/
assert(!xFunc ||
xFunc==sqlite3BtreeCommitStmt ||
xFunc==sqlite3BtreeRollbackStmt
);
for(i=0; xFunc && i<db->nDb; i++){
int rc;
Btree *pBt = db->aDb[i].pBt;
if( pBt ){
rc = xFunc(pBt);
if( rc && (p->rc==SQLITE_OK || p->rc==SQLITE_CONSTRAINT) ){
p->rc = rc;
sqlite3SetString(&p->zErrMsg, 0);
}
}
}
/* If this was an INSERT, UPDATE or DELETE and the statement was committed,
** set the change counter.
*/
if( p->changeCntOn && p->pc>=0 ){
if( !xFunc || xFunc==sqlite3BtreeCommitStmt ){
sqlite3VdbeSetChanges(db, p->nChange);
}else{
sqlite3VdbeSetChanges(db, 0);
}
p->nChange = 0;
}
/* Rollback or commit any schema changes that occurred. */
if( p->rc!=SQLITE_OK && db->flags&SQLITE_InternChanges ){
sqlite3ResetInternalSchema(db, 0);
db->flags = (db->flags | SQLITE_InternChanges);
}
}
/* We have successfully halted and closed the VM. Record this fact. */
if( p->pc>=0 ){
db->activeVdbeCnt--;
}
p->magic = VDBE_MAGIC_HALT;
checkActiveVdbeCnt(db);
return SQLITE_OK;
}
//提交事务,主要调用:
//sqlite3BtreeSync()---同步btree, sqlite3BtreeCommit()---提交事务
static int vdbeCommit(sqlite3 *db){
int i;
int nTrans = 0; /* Number of databases with an active write-transaction */
int rc = SQLITE_OK;
int needXcommit = 0;
for(i=0; i<db->nDb; i++){
Btree *pBt = db->aDb[i].pBt;
if( pBt && sqlite3BtreeIsInTrans(pBt) ){
needXcommit = 1;
if( i!=1 ) nTrans++;
}
}
/* If there are any write-transactions at all, invoke the commit hook */
if( needXcommit && db->xCommitCallback ){
sqlite3SafetyOff(db);
rc = db->xCommitCallback(db->pCommitArg);
sqlite3SafetyOn(db);
if( rc ){
return SQLITE_CONSTRAINT;
}
}
/* The simple case - no more than one database file (not counting the
** TEMP database) has a transaction active. There is no need for the
** master-journal.
**
** If the return value of sqlite3BtreeGetFilename() is a zero length
** string, it means the main database is :memory:. In that case we do
** not support atomic multi-file commits, so use the simple case then
** too.
*/
//简单的情况,只有一个数据库文件,不需要master-journal
if( 0==strlen(sqlite3BtreeGetFilename(db->aDb[0].pBt)) || nTrans<=1 ){
for(i=0; rc==SQLITE_OK && i<db->nDb; i++){
Btree *pBt = db->aDb[i].pBt;
if( pBt ){
//同步btree
rc = sqlite3BtreeSync(pBt, 0);
}
}
/* Do the commit only if all databases successfully synced */
//commite事务
if( rc==SQLITE_OK ){
for(i=0; i<db->nDb; i++){
Btree *pBt = db->aDb[i].pBt;
if( pBt ){
sqlite3BtreeCommit(pBt);
}
}
}
}
/* The complex case - There is a multi-file write-transaction active.
** This requires a master journal file to ensure the transaction is
** committed atomicly.
*/
#ifndef SQLITE_OMIT_DISKIO
else{
int needSync = 0;
char *zMaster = 0; /* File-name for the master journal */
char const *zMainFile = sqlite3BtreeGetFilename(db->aDb[0].pBt);
OsFile *master = 0;
/* Select a master journal file name */
do {
u32 random;
sqliteFree(zMaster);
sqlite3Randomness(sizeof(random), &random);
zMaster = sqlite3MPrintf("%s-mj%08X", zMainFile, random&0x7fffffff);
if( !zMaster ){
return SQLITE_NOMEM;
}
}while( sqlite3OsFileExists(zMaster) );
/* Open the master journal. */
rc = sqlite3OsOpenExclusive(zMaster, &master, 0);
if( rc!=SQLITE_OK ){
sqliteFree(zMaster);
return rc;
}
/* Write the name of each database file in the transaction into the new
** master journal file. If an error occurs at this point close
** and delete the master journal file. All the individual journal files
** still have 'null' as the master journal pointer, so they will roll
** back independently if a failure occurs.
*/
for(i=0; i<db->nDb; i++){
Btree *pBt = db->aDb[i].pBt;
if( i==1 ) continue; /* Ignore the TEMP database */
if( pBt && sqlite3BtreeIsInTrans(pBt) ){
char const *zFile = sqlite3BtreeGetJournalname(pBt);
if( zFile[0]==0 ) continue; /* Ignore :memory: databases */
if( !needSync && !sqlite3BtreeSyncDisabled(pBt) ){
needSync = 1;
}
rc = sqlite3OsWrite(master, zFile, strlen(zFile)+1);
if( rc!=SQLITE_OK ){
sqlite3OsClose(&master);
sqlite3OsDelete(zMaster);
sqliteFree(zMaster);
return rc;
}
}
}
/* Sync the master journal file. Before doing this, open the directory
** the master journal file is store in so that it gets synced too.
*/
zMainFile = sqlite3BtreeGetDirname(db->aDb[0].pBt);
rc = sqlite3OsOpenDirectory(master, zMainFile);
if( rc!=SQLITE_OK ||
(needSync && (rc=sqlite3OsSync(master,0))!=SQLITE_OK) ){
sqlite3OsClose(&master);
sqlite3OsDelete(zMaster);
sqliteFree(zMaster);
return rc;
}
/* Sync all the db files involved in the transaction. The same call
** sets the master journal pointer in each individual journal. If
** an error occurs here, do not delete the master journal file.
**
** If the error occurs during the first call to sqlite3BtreeSync(),
** then there is a chance that the master journal file will be
** orphaned. But we cannot delete it, in case the master journal
** file name was written into the journal file before the failure
** occured.
*/
for(i=0; i<db->nDb; i++){
Btree *pBt = db->aDb[i].pBt;
if( pBt && sqlite3BtreeIsInTrans(pBt) ){
rc = sqlite3BtreeSync(pBt, zMaster);
if( rc!=SQLITE_OK ){
sqlite3OsClose(&master);
sqliteFree(zMaster);
return rc;
}
}
}
sqlite3OsClose(&master);
/* Delete the master journal file. This commits the transaction. After
** doing this the directory is synced again before any individual
** transaction files are deleted.
*/
rc = sqlite3OsDelete(zMaster);
assert( rc==SQLITE_OK );
sqliteFree(zMaster);
zMaster = 0;
rc = sqlite3OsSyncDirectory(zMainFile);
if( rc!=SQLITE_OK ){
/* This is not good. The master journal file has been deleted, but
** the directory sync failed. There is no completely safe course of
** action from here. The individual journals contain the name of the
** master journal file, but there is no way of knowing if that
** master journal exists now or if it will exist after the operating
** system crash that may follow the fsync() failure.
*/
return rc;
}
/* All files and directories have already been synced, so the following
** calls to sqlite3BtreeCommit() are only closing files and deleting
** journals. If something goes wrong while this is happening we don't
** really care. The integrity of the transaction is already guaranteed,
** but some stray 'cold' journals may be lying around. Returning an
** error code won't help matters.
*/
for(i=0; i<db->nDb; i++){
Btree *pBt = db->aDb[i].pBt;
if( pBt ){
sqlite3BtreeCommit(pBt);
}
}
}
#endif
SQLite 入门与分析(五)---Page Cache 之并发控制
写在前面:本节主要谈谈SQLite的锁机制,SQLite是基于锁来实现并发控制的,所以本节的内容实际上是属于事务处理的,但是SQLite的锁机制实现非常的简单而巧妙,所以在这里单独讨论一下。如果真正理解了它,对整个事务的实现也就理解了。而要真正理解SQLite的锁机制,最好方法就是阅读SQLite的源码,所以在阅读本文时,最好能结合源码。SQLite的锁机制很巧妙,尽管在本节中的源码中,我写了很多注释,也是我个人在研究时的一点心得,但是我发现仅仅用言语,似乎不能把问题说清楚,只有通过体会,才能真正理解SQLite的锁机制。好了,下面进入正题。
SQLite的并发控制机制是采用加锁的方式,实现非常简单,但也非常的巧妙,本节将对其进行一个详细的解剖。请仔细阅读下图,它可以帮助更好的理解下面的内容。
1、RESERVED LOCK
RESERVED锁意味着进程将要对数据库进行写操作。某一时刻只能有一个RESERVED Lock,但是RESERVED锁和SHARED锁可以共存,而且可以对数据库加新的SHARED锁。
为什么要用RESERVED锁?
主要是出于并发性的考虑。由于SQLite只有库级排斥锁(EXCLUSIVE LOCK),如果写事务一开始就上EXCLUSIVE锁,然后再进行实际的数据更新,写磁盘操作,这会使得并发性大大降低。而SQLite一旦得到数据库的RESERVED锁,就可以对缓存中的数据进行修改,而与此同时,其它进程可以继续进行读操作。直到真正需要写磁盘时才对数据库加EXCLUSIVE锁。
2、PENDING LOCK
PENDING LOCK意味着进程已经完成缓存中的数据修改,并想立即将更新写入磁盘。它将等待此时已经存在的读锁事务完成,但是不允许对数据库加新的SHARED LOCK(这与RESERVED LOCK相区别)。
为什么要有PENDING LOCK?
主要是为了防止出现写饿死的情况。由于写事务先要获取RESERVED LOCK,所以可能一直产生新的SHARED LOCK,使得写事务发生饿死的情况。
3、加锁机制的具体实现
SQLite在pager层获取锁的函数如下:
1. //获取一个文件的锁,如果忙则重复该操作,
2. //直到busy 回调用函数返回flase,或者成功获得锁
3. static int pager_wait_on_lock(Pager *pPager, int locktype){
4. int rc;
5. assert( PAGER_SHARED==SHARED_LOCK );
6. assert( PAGER_RESERVED==RESERVED_LOCK );
7. assert( PAGER_EXCLUSIVE==EXCLUSIVE_LOCK );
8. if( pPager->state>=locktype ){
9. rc = SQLITE_OK;
10. }else{
11. //重复直到获得锁
12. do {
13. rc = sqlite3OsLock(pPager->fd, locktype);
14. }while( rc==SQLITE_BUSY && sqlite3InvokeBusyHandler(pPager->pBusyHandler) );
15.
16. if( rc==SQLITE_OK ){
17.
18. //设置pager的状态
19. pPager->state = locktype;
20. }
21. }
22. return rc;
23. }
复制代码
Windows下具体的实现如下:
1. static int winLock(OsFile *id, int locktype){
2. int rc = SQLITE_OK; /* Return code from subroutines */
3. int res = 1; /* Result of a windows lock call */
4. int newLocktype; /* Set id->locktype to this value before exiting */
5. int gotPendingLock = 0;/* True if we acquired a PENDING lock this time */
6. winFile *pFile = (winFile*)id;
7.
8. assert( pFile!=0 );
9. TRACE5("LOCK %d %d was %d(%d)\n",
10. pFile->h, locktype, pFile->locktype, pFile->sharedLockByte);
11.
12. /* If there is already a lock of this type or more restrictive on the
13. ** OsFile, do nothing. Don't use the end_lock: exit path, as
14. ** sqlite3OsEnterMutex() hasn't been called yet.
15. */
16. //当前的锁>=locktype,则返回
17. if( pFile->locktype>=locktype ){
18. return SQLITE_OK;
19. }
20.
21. /* Make sure the locking sequence is correct
22. */
23. assert( pFile->locktype!=NO_LOCK || locktype==SHARED_LOCK );
24. assert( locktype!=PENDING_LOCK );
25. assert( locktype!=RESERVED_LOCK || pFile->locktype==SHARED_LOCK );
26.
27. /* Lock the PENDING_LOCK byte if we need to acquire a PENDING lock or
28. ** a SHARED lock. If we are acquiring a SHARED lock, the acquisition of
29. ** the PENDING_LOCK byte is temporary.
30. */
31. newLocktype = pFile->locktype;
32. /*两种情况: (1)如果当前文件处于无锁状态(获取读锁---读事务
33. **和写事务在最初阶段都要经历的阶段),
34. **(2)处于RESERVED_LOCK,且请求的锁为EXCLUSIVE_LOCK(写事务)
35. **则对执行加PENDING_LOCK
36. */
37. /(1)///
38. if( pFile->locktype==NO_LOCK
39. || (locktype==EXCLUSIVE_LOCK && pFile->locktype==RESERVED_LOCK)
40. ){
41. int cnt = 3;
42. //加pending锁
43. while( cnt-->0 && (res = LockFile(pFile->h, PENDING_BYTE, 0, 1, 0))==0 ){
44. /* Try 3 times to get the pending lock. The pending lock might be
45. ** held by another reader process who will release it momentarily.
46. */
47. TRACE2("could not get a PENDING lock. cnt=%d\n", cnt);
48. Sleep(1);
49. }
50. //设置为gotPendingLock为1,使和在后面要释放PENDING锁
51. gotPendingLock = res;
52. }
53.
54. /* Acquire a shared lock
55. */
56. /*获取shared lock
57. **此时,事务应该持有PENDING锁,而PENDING锁作为事务从UNLOCKED到
58. **SHARED_LOCKED的一个过渡,所以事务由PENDING->SHARED
59. **此时,实际上锁处于两个状态:PENDING和SHARED,
60. **直到后面释放PENDING锁后,才真正处于SHARED状态
61. */
62. (2)/
63. if( locktype==SHARED_LOCK && res ){
64. assert( pFile->locktype==NO_LOCK );
65. res = getReadLock(pFile);
66. if( res ){
67. newLocktype = SHARED_LOCK;
68. }
69. }
70.
71. /* Acquire a RESERVED lock
72. */
73. /*获取RESERVED
74. **此时事务持有SHARED_LOCK,变化过程为SHARED->RESERVED。
75. **RESERVED锁的作用就是为了提高系统的并发性能
76. */
77. (3)/
78. if( locktype==RESERVED_LOCK && res ){
79. assert( pFile->locktype==SHARED_LOCK );
80. //加RESERVED锁
81. res = LockFile(pFile->h, RESERVED_BYTE, 0, 1, 0);
82. if( res ){
83. newLocktype = RESERVED_LOCK;
84. }
85. }
86.
87. /* Acquire a PENDING lock
88. */
89. /*获取PENDING锁
90. **此时事务持有RESERVED_LOCK,且事务申请EXCLUSIVE_LOCK
91. **变化过程为:RESERVED->PENDING。
92. **PENDING状态只是唯一的作用就是防止写饿死.
93. **读事务不会执行该代码,但是写事务会执行该代码,
94. **执行该代码后gotPendingLock设为0,后面就不会释放PENDING锁。
95. */
96. //(4)
97. if( locktype==EXCLUSIVE_LOCK && res ){
98. //这里没有实际的加锁操作,只是把锁的状态改为PENDING状态
99. newLocktype = PENDING_LOCK;
100. //设置了gotPendingLock,后面就不会释放PENDING锁了,
101. //相当于加了PENDING锁,实际上是在开始处加的PENDING锁
102. gotPendingLock = 0;
103. }
104.
105. /* Acquire an EXCLUSIVE lock
106. */
107. /*获取EXCLUSIVE锁
108. **当一个事务执行该代码时,它应该满足以下条件:
109. **(1)锁的状态为:PENDING (2)是一个写事务
110. **变化过程:PENDING->EXCLUSIVE
111. */
112. /(5)///
113. if( locktype==EXCLUSIVE_LOCK && res ){
114. assert( pFile->locktype>=SHARED_LOCK );
115. res = unlockReadLock(pFile);
116. TRACE2("unreadlock = %d\n", res);
117. res = LockFile(pFile->h, SHARED_FIRST, 0, SHARED_SIZE, 0);
118. if( res ){
119. newLocktype = EXCLUSIVE_LOCK;
120. }else{
121. TRACE2("error-code = %d\n", GetLastError());
122. }
123. }
124.
125. /* If we are holding a PENDING lock that ought to be released, then
126. ** release it now.
127. */
128. /*此时事务在第2步中获得PENDING锁,它将申请SHARED_LOCK(第3步,和图形相对照),
129. **而在之前它已经获取了PENDING锁,
130. **所以在这里它需要释放PENDING锁,此时锁的变化为:PENDING->SHARED
131. */
132. //(6)/
133. if( gotPendingLock && locktype==SHARED_LOCK ){
134. UnlockFile(pFile->h, PENDING_BYTE, 0, 1, 0);
135. }
136.
137. /* Update the state of the lock has held in the file descriptor then
138. ** return the appropriate result code.
139. */
140. if( res ){
141. rc = SQLITE_OK;
142. }else{
143. TRACE4("LOCK FAILED %d trying for %d but got %d\n", pFile->h,
144. locktype, newLocktype);
145. rc = SQLITE_BUSY;
146. }
147. //在这里设置文件锁的状态
148. pFile->locktype = newLocktype;
149. return rc;
150.}
复制代码
在几个关键的部位标记数字。
(I)对于一个读事务会的完整经过:
语句序列:(1)——>(2)——>(6)
相应的状态真正的变化过程为:UNLOCKED→PENDING(1)→PENDING、SHARED(2)→SHARED(6)→UNLOCKED
(II)对于一个写事务完整经过:
第一阶段:
语句序列:(1)——>(2)——>(6)
状态变化:UNLOCKED→PENDING(1)→PENDING、SHARED(2)→SHARED(6)。此时事务获得SHARED LOCK。
第二个阶段:
语句序列:(3)
此时事务获得RESERVED LOCK。
第三个阶段:
事务执行修改操作。
第四个阶段:
语句序列:(1)——>(4)——>(5)
状态变化为:
RESERVED→ RESERVED 、PENDING(1)→PENDING(4)→EXCLUSIVE(5)。此时事务获得排斥锁,就可以进行写磁盘操作了。
注:在上面的过程中,由于(1)的执行,使得某些时刻SQLite处于两种状态,但它持续的时间很短,从某种程度上来说可以忽略,但是为了把问题说清楚,在这里描述了这一微妙而巧妙的过程。
4、SQLite的死锁问题
SQLite的加锁机制会不会出现死锁?
这是一个很有意思的问题,对于任何采取加锁作为并发控制机制的DBMS都得考虑这个问题。有两种方式处理死锁问题:(1)死锁预防(deadlock prevention)(2)死锁检测(deadlock detection)与死锁恢复(deadlock recovery)。SQLite采取了第一种方式,如果一个事务不能获取锁,它会重试有限次(这个重试次数可以由应用程序运行预先设置,默认为1次)——这实际上是基本锁超时的机制。如果还是不能获取锁,SQLite返回SQLITE_BUSY错误给应用程序,应用程序此时应该中断,之后再重试;或者中止当前事务。虽然基于锁超时的机制简单,容易实现,但是它的缺点也是明显的——资源浪费。
5、事务类型(Transaction Types)
既然SQLite采取了这种机制,所以应用程序得处理SQLITE_BUSY 错误,先来看一个会产生SQLITE_BUSY错误的例子:
所以应用程序应该尽量避免产生死锁,那么应用程序如何做可以避免死锁的产生呢?
答案就是为你的程序选择正确合适的事务类型。
SQLite有三种不同的事务类型,这不同于锁的状态。事务可以从DEFERRED,IMMEDIATE或者EXCLUSIVE,一个事务的类型在BEGIN命令中指定:
BEGIN [ DEFERRED | IMMEDIATE | EXCLUSIVE ] TRANSACTION;
一个deferred事务不获取任何锁,直到它需要锁的时候,而且BEGIN语句本身也不会做什么事情——它开始于UNLOCK状态;默认情况下是这样的。如果仅仅用BEGIN开始一个事务,那么事务就是DEFERRED的,同时它不会获取任何锁,当对数据库进行第一次读操作时,它会获取SHARED LOCK;同样,当进行第一次写操作时,它会获取RESERVED LOCK。
由BEGIN开始的Immediate事务会试着获取RESERVED LOCK。如果成功,BEGIN IMMEDIATE保证没有别的连接可以写数据库。但是,别的连接可以对数据库进行读操作,但是RESERVED LOCK会阻止其它的连接BEGIN IMMEDIATE或者BEGIN EXCLUSIVE命令,SQLite会返回SQLITE_BUSY错误。这时你就可以对数据库进行修改操作,但是你不能提交,当你COMMIT时,会返回SQLITE_BUSY错误,这意味着还有其它的读事务没有完成,得等它们执行完后才能提交事务。
Exclusive事务会试着获取对数据库的EXCLUSIVE锁。这与IMMEDIATE类似,但是一旦成功,EXCLUSIVE事务保证没有其它的连接,所以就可对数据库进行读写操作了。
上面那个例子的问题在于两个连接最终都想写数据库,但是他们都没有放弃各自原来的锁,最终,shared 锁导致了问题的出现。如果两个连接都以BEGIN IMMEDIATE开始事务,那么死锁就不会发生。在这种情况下,在同一时刻只能有一个连接进入BEGIN IMMEDIATE,其它的连接就得等待。BEGIN IMMEDIATE和BEGIN EXCLUSIVE通常被写事务使用。就像同步机制一样,它防止了死锁的产生。
基本的准则是:如果你在使用的数据库没有其它的连接,用BEGIN就足够了。但是,如果你使用的数据库在其它的连接也要对数据库进行写操作,就得使用BEGIN IMMEDIATE或BEGIN EXCLUSIVE开始你的事务。
SQLite入门与分析(六)---再谈SQLite的锁
写在前面:SQLite封锁机制的实现需要底层文件系统的支持,不管是Linux,还是Windows,都提供了文件锁的机制,而这为SQLite提供了强大的支持。本节就来谈谈SQLite使用到的文件锁——主要基于Linux和Windows平台。
Linux的文件锁
Linux 支持的文件锁技术主要包括建议锁(advisory lock)和强制锁(mandatory lock)这两种。此外,Linux 中还引入了两种强制锁的变种形式:共享模式强制锁(share-mode mandatory lock)和租借锁(lease)。在这里,主要讨论建议锁(advisory lock)。
建议锁并不由内核强制实行,也就是说如果有进程不遵守“游戏规则”,不检查目标文件是否已经由别的进程加了锁就往其中写入数据,那么内核是不会加以阻拦的。因此,建议锁并不能阻止进程对文件的访问,而只能依靠各个进程在访问文件之前检查该文件是否已经被其他进程加锁来实现并发控制。进程需要事先对锁的状态做一个约定,并根据锁的当前状态和相互关系来确定其他进程是否能对文件执行指定的操作。而强制锁是由内核强制采用的文件锁——由于内核对每个read()和write()操作都会检查相应的锁,所以会降低系统性能。
对于建议锁,Linux提供两种实现方式:锁文件(lock files)和记录锁( record locking)。
(1)锁文件(lock files)
锁文件是最简单的对文件加锁的方法,每个需要加锁的数据文件都有一个锁文件(lock file)。当锁文件存在时,就认为该数据文件已经被加锁,别的进程不应该访问(但是你非要访问,Linux也不会阻止)。当锁不存在,进程就可以创建一个锁文件,然后访问相应的数据文件。只要创建锁的过程是原子的,就能保证某一时刻只有一个进程拥有该锁,这种方法保证某一时刻只有一个进程访问文件。
这种想法很简单,当一个进程想访问文件时,可以按如下方式对文件加锁:
1. fd = open("somefile.lck", O_RDONLY, 0644);
2. if (fd >= 0) {
3. close(fd);
4. printf("the file is already locked");
5. return 1;
6. } else {
7. /* the lock file does not exist, we can lock it and access it */
8. fd = open("somefile.lck", O_CREAT | O_WRONLY, 0644");
9. if (fd < 0) {
10. perror("error creating lock file");
11. return 1;
12. }
13. /* we could write our pid to the file */
14. close(fd);
15. }
复制代码
当一个进程处理完文件后,就可以调用unlink("somefile.lck")释放锁了——本质上是删除somefile.lck文件。
上面这段代码实际上存在竞争情况,原因在于if语句块不是原子性的,进入if语句块,内核可能调度别的进程运行。更好的方式如下:
1. fd = open("somefile.lck", O_WRONLY | O_CREAT | O_EXCL, 0644);
2. if (fd < 0 && errno == EEXIST) {
3. printf("the file is already locked");
4. return 1;
5. } else if (fd < 0) {
6. perror("unexpected error checking lock");
7. return 1;
8. }
9.
10. /* we could write our pid to the file */
11. close(fd);
复制代码
O_EXCL标志保证open()创建锁文件的过程是原子性的。
注意以下几点:
1、任何时刻只有一个进程可以拥有锁。
2、O_EXCL标志只对本志文件系统是可靠的,对于网络文件系统并不能很好的支持。
3、锁仅仅只是建议性的。
4、如果一个持有锁的进程不正常结束,锁文件仍然存在。如果加锁进程的pid存储在锁文件中,其它进程可以检查锁进程是否存在,当它结束时就可以删除锁。但是,在检查的时候,如果pid被其它进程使用了,此时就无能为力了。
(2)记录锁(Record Locking)
为了克服锁文件的缺点,System V和BSD4.3引入了记录锁,相应的系统调用为lockf()和flock()。而POSIX对于记录锁提供了另外一种机制,其系统调用为fcntl()。Linux提供三种接口,在这里仅讨论POSIX的接口。
记录锁和锁文件有两个很重要的区别:首先,记录锁可以对文件的任何一部分加锁——这对于DBMS这样的应用程序,有极大的帮助,SQLite当然没有放过这样的好处。其次,记录锁的另一个优点就是它由内核持有,而不是文件系统持有。当进程结束时,所有的锁也随之释放。
和锁文件一样,POSIX锁也是建议性的。记录锁有两种锁:读锁(read locks)和写锁(write locks)。读锁也就是共享锁(shared lock),写锁也就是排它锁(exclusive lock)。对于一个记录,只能有一个进程持有写锁,读锁不能存在。
对于一个进程本身而言,多个锁绝不会冲突。如果一个进程对文件的200-250字节持有读锁,然后对200-225字节数据加写锁,是会成功的。此时,200-225为写锁,而226-250字节数据为读锁,该规则主要是防止进程本身发生死锁(尽管多进程之间仍然可能发生死锁)。
POSIX锁通过fcntl()系统来实现,如下:
#include <fcntl.h>
int fcntl(int fd, int command, long arg);
arg为指向flock结构体的指针:
1. #include <fcntl.h>
2.
3. struct flock {
4. short l_type;
5. short l_whence;
6. off_t l_start;
7. off_t l_len;
8. pid_t l_pid;
9.
10. };
复制代码
在 flock 结构中,l_type 用来指明创建的是共享锁还是排他锁,其取值有三种:F_RDLCK(共享锁)、F_WRLCK(排他锁)和F_UNLCK(删除之前建立的锁);l_pid 指明了该锁的拥有者;l_whence、l_start 和l_end 这些字段指明了进程需要对文件的哪个区域进行加锁,这个区域是一个连续的字节集合。因此,进程可以对同一个文件的不同部分加不同的锁。l_whence 必须是 SEEK_SET、SEEK_CUR 或 SEEK_END 这几个值中的一个,它们分别对应着文件头、当前位置和文件尾。l_whence 定义了相对于 l_start 的偏移量,l_start 是从文件开始计算的。
可以执行的操作包括:
* F_GETLK:进程可以通过它来获取通过 fd 打开的那个文件的加锁信息。执行该操作时,lock 指向的结构中就保存了希望对文件加的锁(或者说要查询的锁)。如果确实存在这样一把锁,它阻止 lock 指向的 flock 结构所给出的锁描述符,则把现存的锁的信息写到 lock 指向的 flock 结构中,并将该锁拥有者的 PID 写入 l_pid 字段中,然后返回;否则,就将 lock 指向的 flock 结构中的 l_type 设置为 F_UNLCK,并保持 flock 结构中其他信息不变返回,而不会对该文件真正加锁。
* F_SETLK:进程用它来对文件的某个区域进行加锁(l_type的值为 F_RDLCK 或 F_WRLCK)或者删除锁(l_type 的值为F_UNLCK),如果有其他锁阻止该锁被建立,那么 fcntl() 就出错返回。
* F_SETLKW:与 F_SETLK 类似,唯一不同的是,如果有其他锁阻止该锁被建立,则调用进程进入睡眠状态,等待该锁释放。一旦这个调用开始了等待,就只有在能够进行加锁或者收到信号时才会返回。
需要注意的是,F_GETLK 用于测试是否可以加锁,在 F_GETLK 测试可以加锁之后,F_SETLK 和 F_SETLKW 就会企图建立一把锁,但是这两者之间并不是一个原子操作,也就是说,在 F_SETLK 或者 F_SETLKW 还没有成功加锁之前,另外一个进程就有可能已经插进来加上了一把锁。而且,F_SETLKW 有可能导致程序长时间睡眠。还有,程序对某个文件拥有的各种锁会在相应的文件描述符被关闭时自动清除,程序运行结束后,其所加的各种锁也会自动清除。
Windows中的文件锁
Windows中的锁都是强制锁(mandatory locks),Windows中的共享文件通过以下几个机制来管理:
(1) 通过共享访问控制方式,应用程序可以指定整个文件进行共享读,写或者删除。
(2) 通过字节范围锁(byte range locks)可以对文件的某一部分进行读写访问。
(3) Windows文件系统不允许正在执行的文件被打开用来进行写或删除操作。
文件的共享方式由WIN32 API中的打开文件函数CreateFile()中的sharing mode参数确定:
1. HANDLE CreateFile(
2. LPCTSTR lpFileName,
3. DWORD dwDesiredAccess,
4. DWORD dwShareMode,
5. LPSECURITY_ATTRIBUTES lpSecurityAttributes,
6. DWORD dwCreationDisposition,
7. DWORD dwFlagsAndAttributes,
8. HANDLE hTemplateFile
9. );
复制代码
dwShareMode的取值通常为:
FILE_SHARE_DELETE:
Enables subsequent open operations on an object to request delete access.
Otherwise, other processes cannot open the object if they request delete access.
If this flag is not specified, but the object has been opened for delete access, the function fails.
FILE_SHARE_READ:
Enables subsequent open operations on an object to request read access.
Otherwise, other processes cannot open the object if they request read access.
If this flag is not specified, but the object has been opened for read access, the function fails.
FILE_SHARE_WRITE:
Enables subsequent open operations on an object to request write access.
Otherwise, other processes cannot open the object if they request write access.
If this flag is not specified, but the object has been opened for write access, the function fails.
具体的实现函数:
1. BOOL LockFile(
2. HANDLE hFile,
3. DWORD dwFileOffsetLow,
4. DWORD dwFileOffsetHigh,
5. DWORD nNumberOfBytesToLockLow,
6. DWORD nNumberOfBytesToLockHigh
7. );
复制代码
SQLite封锁机制的几个注意点
SQLite的lock byte的定义如下:
1. #define PENDING_BYTE 0x40000000 /* First byte past the 1GB boundary */
2. #define RESERVED_BYTE (PENDING_BYTE+1)
3. #define SHARED_FIRST (PENDING_BYTE+2)
4. #define SHARED_SIZE 510
复制代码
(1)PENDING_BYTE为何设置为0X4000 0000(1GB)?
在Windows文件中,被加锁的区域不要求有数据,并且它会阻止所有的进程写文件的该区域,包括第一个持有该锁的进程.为了防止出现由于对含有mandatory lock的页面进行读写操作而出现错误(这在Windows中是不允许的),SQLite完全忽略包含pending byte的页面,所以pending byte在数据库文件上产生一个”文件洞”。PENDING_BYTE设置得那么高,则大部分数据库文件不会遇到由于PENDING_BYTE产生”文件洞”引起的空间损失(除非文件特别大,超过1GB)。
(2)对于Windows来说,文件中加锁的区域不能重叠,为了使两个读进程可以同时访问文件,对于SHARED LOCK选择一个SHARED_FIRST——SHARED_FIRST+ SHARED_SIZE范围内的随机数,所以有可能两个进程取得一样的lock byte,所以对于Windows,SQLite的并发性就受到限制。
SQLite入门与分析(七)---浅谈SQLite的虚拟机
写在前面:虚拟机技术在现在是一个非常热的技术,它的历史也很悠久。最早的虚拟机可追溯到IBM的VM/370,到上个世纪90年代,在计算机程序设计语言领域又出现一件革命性的事情——Java语言的出现,它与c++最大的不同在于它必须在Java虚拟机上运行。Java虚拟机掀起了虚拟机技术的热潮,随后,Microsoft也不甘落后,雄心勃勃的推出了.Net平台。由于在这里主要讨论SQLite的虚拟机,不打算对这些做过多评论,但是作为对比,我会先对Java虚拟机作一个概述。好了,下面进入正题。
1、概述
所谓虚拟机是指对真实计算机资源环境的一个抽象,它为解释性语言程序提供了一套完整的计算机接口。虚拟机的思想对现在的编译有很大影响,其思路是先编译成虚拟机指令,然后针对不同计算机实现该虚拟机。
虚拟机定义了一组抽象的逻辑组件,这些组件包括寄存器组、数据栈和指令集等等。虚拟机指令的解释执行包括3步:
1.获取指令参数;
2. 执行该指令对应的功能;
3. 分派下一条指令。
其中第一步和第三步构成了虚拟机的执行开销。
很多语言都采用了虚拟机作为运行环境。作为下一代计算平台的竞争者,Sun的Java和微软的.NET平台都采用了虚拟机技术。Java的支撑环境是Java虚拟机(Java Virtual Machine,JVM),.NET的支撑环境是通用语言运行库(Common Language Runtime,CLR)。JVM是典型的虚拟机架构。
Java平台结构如图所示。从图中可以看出,JVM处于核心位置,它的下方是移植接口。移植接口由依赖平台的和不依赖平台的两部分组成,其中依赖于平台的部分称为适配器。JVM通过移植接口在具体的操作系统上实现。如果在Java操作系统(Java Operation System, JOS)上实现,则不需要依赖于平台的适配器,因为这部分工作已由JOS完成。因此对于JVM来说,操作系统和更低的硬件层是透明的。在JVM的上方,是Java类和Java应用程序接口(Java API)。在Java API上可以编写Java应用程序和Java小程序(applet)。所以对于Java应用程序和applet这一层次来说,操作系统和硬件就更是透明的了。我们编写的Java程序,可以在任何Java平台上运行而无需修改。
JVM定义了独立于平台的类文件格式和字节码形式的指令集。在任何Java程序的字节码表示形式中,变量和方法的引用都是使用符号,而不是使用具体的数字。由于内存的布局要在运行时才确定,所以类的变量和方法的改变不会影响现存的字节码。例如,一个Java程序引用了其他系统中的某个类,该系统中那个类的更新不会使这个Java程序崩溃。这也提高了Java的平台独立性。
虚拟机一般都采用了基于栈的架构,这种架构易于实现。虚拟机方法显著提高了程序语言的可移植性和安全性,但同时也导致了执行效率的下降。
2、Java虚拟机
2.1、概述
Java虚拟机的主要任务是装载Class文件并执行其中的字节码。Java虚拟机包含一个类装载器(class loader),它从程序和API中装载class文件,Java API中只有程序执行时需要的那些类才会被装载,字节码由执行引擎来执行。
不同的Java虚拟机,执行引擎的实现可能不同。在软件实现的虚拟机中,一般有几下几中实现方式:
(1) 解释执行:实现简单,但速度较慢,这是Java最初阶段的实现方式。
(2) 即时编译(just-in-time):执行较快,但消耗内存。在这种情况下,第一次执行的字节码会编译成本地机器代码,然后被缓存,以后可以重用。
(3) 自适应优化器:虚拟机开始的时候解释字节码,但是会监视程序的运行,并记录下使用最频繁的代码,然后把这些代码编译成本地代码,而其它的代码仍保持为字节码。该方法既提高的运行速度,又减少了内存开销。
同样,虚拟机也可由硬件来实现,它用本地方法执行Java字节码。
2.2、Java虚拟机
Java虚拟机的结构分为:类装载子系统,运行时数据区,执行引擎,本地方法接口。其中运行时数据区又分为:方法区,堆,Java栈,PC寄存器,本地方法栈。
关于Java虚拟机就介绍到此,由于Java虚拟机内容庞大,在这里不可能一一介绍,如果想更多了解Java虚拟机,参见《深入Java虚拟机》。
3、SQLite虚拟机
在SQLite的后端(backend)的上一层,通常叫做虚拟数据库引擎(virtual database engine),或者叫做虚拟机(virtual machine)。从作用上来说,它是SQLite的核心。用户程序发出的SQL语句请求,由前端(frontend)编译器(以后会继续介绍)处理,生成字节代码程序(bytecode programs),然后由VM解释执行。VM执行时,又会调用B-tree模块的相关的接口,并输出执行的结果(本节将以一个具体的查询过程来描述这一过程)。
3.1、虚拟机的内部结构
先来看一个简单的例子:
1. int main(int argc, char **argv)
2. {
3. int rc, i, id, cid;
4. char *name;
5. char *sql;
6. char *zErr;
7. sqlite3 *db; sqlite3_stmt *stmt;
8. sql="select id,name,cid from episodes";
9. //打开数据库
10. sqlite3_open("test.db", &db);
11. //编译sql语句
12. sqlite3_prepare(db, sql, strlen(sql), &stmt, NULL);
13. //调用VM,执行VDBE程序
14. rc = sqlite3_step(stmt);
15.
16. while(rc == SQLITE_ROW) {
17. id = sqlite3_column_int(stmt, 0);
18. name = (char *)sqlite3_column_text(stmt, 1);
19. cid = sqlite3_column_int(stmt, 2);
20. if(name != NULL){
21. fprintf(stderr, "Row: id=%i, cid=%i, name='%s'\n", id,cid,name);
22. } else {
23. /* Field is NULL */
24. fprintf(stderr, "Row: id=%i, cid=%i, name=NULL\n", id,cid);
25. }
26. rc = sqlite3_step(stmt);
27. }
28. //释放资源
29. sqlite3_finalize(stmt);
30. //关闭数据库
31. sqlite3_close(db);
32. return 0;
33. }
复制代码
这段程序很简单,它的功能就是遍历整个表,并把查询结果输出。
在SQLite 中,用户发出的SQL语句,都会由编译器生成一个虚拟机实例。在上面的例子中,变量sql代表的SQL语句经过sqlite3_prepare()处理后,便生成一个虚拟机实例——stmt。虚拟机实例从外部看到的结构是sqlite3_stmt所代表的数据结构,而在内部,是一个vdbe数据结构代表的实例。
关于这点可以看看它们的定义:
//sqlite3.h
typedef struct sqlite3_stmt sqlite3_stmt;
vdbe的定义:
1. //虚拟机数据结构 vdbeInt.h
2. struct Vdbe {
3. sqlite3 *db; /* The whole database */
4. Vdbe *pPrev,*pNext; /* Linked list of VDBEs with the same Vdbe.db */
5. FILE *trace; /* Write an execution trace here, if not NULL */
6. int nOp; /* Number of instructions in the program(指令的条数) */
7. int nOpAlloc; /* Number of slots allocated for aOp[]*/
8. Op *aOp; /* Space to hold the virtual machine's program(指令)*/
9. int nLabel; /* Number of labels used */
10. int nLabelAlloc; /* Number of slots allocated in aLabel[] */
11. int *aLabel; /* Space to hold the labels */
12. Mem *aStack; /* The operand stack, except string values(栈空间) */
13. Mem *pTos; /* Top entry in the operand stack(栈顶指针) */
14. Mem **apArg; /* Arguments to currently executing user function */
15. Mem *aColName; /* Column names to return */
16. int nCursor; /* Number of slots in apCsr[] */
17. Cursor **apCsr; /* One element of this array for each open cursor(游标数组) */
18. int nVar; /* Number of entries in aVar[] */
19. Mem *aVar; /* Values for the OP_Variable opcode*/
20. char **azVar; /* Name of variables */
21. int okVar; /* True if azVar[] has been initialized */
22. int magic; /* Magic number for sanity checking */
23. int nMem; /* Number of memory locations currently allocated */
24. Mem *aMem; /* The memory locations(保存临时变量的Mem)*/
25. int nCallback; /* Number of callbacks invoked so far(回调的次数) */
26. int cacheCtr; /* Cursor row cache generation counter */
27. Fifo sFifo; /* A list of ROWIDs */
28. int contextStackTop; /* Index of top element in the context stack */
29. int contextStackDepth; /* The size of the "context" stack */
30. Context *contextStack; /* Stack used by opcodes ContextPush & ContextPop*/
31. int pc; /* The program counter(初始程序计数器) */
32. int rc; /* Value to return(返回结果) */
33. unsigned uniqueCnt; /* Used by OP_MakeRecord when P2!=0 */
34. int errorAction; /* Recovery action to do in case of an error */
35. int inTempTrans; /* True if temp database is transactioned */
36. int returnStack[100]; /* Return address stack for OP_Gosub & OP_Return */
37. int returnDepth; /* Next unused element in returnStack[] */
38. int nResColumn; /* Number of columns in one row of the result set */
39. char **azResColumn; /* Values for one row of result */
40. int popStack; /* Pop the stack this much on entry to VdbeExec()(出栈的项数) */
41. char *zErrMsg; /* Error message written here */
42. u8 resOnStack; /* True if there are result values on the stack(有结果在栈上则为真)*/
43. u8 explain; /* True if EXPLAIN present on SQL command */
44. u8 changeCntOn; /* True to update the change-counter */
45. u8 aborted; /* True if ROLLBACK in another VM causes an abort */
46. u8 expired; /* True if the VM needs to be recompiled */
47. u8 minWriteFileFormat; /* Minimum file format for writable database files */
48. int nChange; /* Number of db changes made since last reset */
49. i64 startTime; /* Time when query started - used for profiling */
50. #ifdef SQLITE_SSE
51. int fetchId; /* Statement number used by sqlite3_fetch_statement */
52. int lru; /* Counter used for LRU cache replacement */
53. #endif
54. };
复制代码
由vdbe的定义,可以总结出SQLite虚拟机的内部结构:
3.2、指令
1. int nOp; /* Number of instructions in the program(指令的条数) */
2. Op *aOp; /* Space to hold the virtual machine's program(指令)*/
复制代码
aOp数组保存有SQL经过编译后生成的所有指令,对于上面的例子为:
1. 0、Goto(0x5b-91) |0|0c
2. 1、Integer(0x2d-45) |0|0
3. 2、OpenRead(0x0c-12)|0|2
4. 3、SetNumColumns(0x64-100)|0|03
5. 4、Rewind(0x77-119) |0|0a
6. 5、Rowid(0x23-35) |0|0
7. 6、Column(0x02-2) |0|1
8. 7、Column(0x02-2) |0|2
9. 8、Callback(0x36-54)|3|0
10. 9、Next(0x68) |0|5
11. 10、Close
12. 11、Halt
13. 12、Transaction(0x66-102)|0|0
14. 13、VerifyCookie(0x61-97)|0|1
15. 14、Goto(0x5b-91) |0|1|
复制代码
sqlite3_step()引起VDBE解释引擎执行这段代码,下面来分析该段指令的执行过程:
Goto:这是一条跳转指令,它的作用仅仅是跳到第12条指令;
Transaction:开始一个事务(读事务);
Goto:跳到第1条指令;
Integer:把操作数P1入栈,这里的0表示OpenRead指令打开的数据库的编号;
OpenRead:打开表的游标,数据库的编号从栈顶中取得,P1为游标的编号,P2为root page。
如果P2<=0,则从栈中取得root page no;
SetNumColumns:对P1确定的游标的列数设置为P2(在这里为3),在OP_Column指令执行前,该指令应该被调用来设置表的列数;
Rewind:移动当前游标(P1)移到表或索引的第一条记录;
Rowid:把当前游标(P1)指向的记录的关键字压入栈;
Column:解析当前游标指定的记录的数据,p1为当前游标索引号,p2为列号,并将结果压入栈中;
Callback:该指令执行后,PC将指向下一条指令。该指令的执行会结束sqlite3_step()的运行,并向其返回SQLITE_ROW ——如果存在记录的话;并将VDBE的PC指针指向下一条指令——即Next指令,所以当重新 调用sqlite3_step()执行VDBE程序时,会执行Next指令(具体的分析见后面的指令实例分析);
Next:将游标移到下一条记录,并将PC指向第5条指令;
Close:关闭数据库。
3.3、栈
1. Mem *aStack; /* The operand stack, except string values(栈空间) */
2. Mem *pTos; /* Top entry in the operand stack(栈顶指针) */
复制代码
aStack是VDBE执行时使用的栈,它主要用来保指令执行进需要的参数,以及指令执行时产生的中间结果(参见后面的指令实例分析)。
在计算机硬件领域,基于寄存器的架构已经压倒基于栈的架构成为当今的主流,但是在解释性的虚拟机领域,基于栈架构的实现占了上风。
1. 从编译的角度来看,许多编程语言可以很容易地被编译成栈架构机器语言。如果采用寄存器架构,编译器为了获得好的性能必须进行优化,如全局寄存器分配(这需要对数据流进行分析)。这种复杂的优化工作使虚拟机的便捷性大打折扣。
2. 如果采用寄存器架构,虚拟机必须经常保存和恢复寄存器中的内容。与硬件计算机相比,这些操作在虚拟机中的开销要大得多。因为每一条虚拟机指令都需要进行很费时的指令分派操作。虽然其它的指令也要分派,但是它们的语义内容更丰富。
3. 采用寄存器架构时,指令对应的操作数位于不同寄存器中,对操作数的寻址也是一个问题。而在基于栈的虚拟机中,操作数位于栈顶或紧跟在虚拟机指令之后。由于基于栈的架构的简便性,一些查询语言的实现也采用了此种架构。
SQLite的虚拟机就是基于栈架构的实现。每一个vdbe都有一个栈顶指针,它保存着vdbe的初始栈顶值。而在解释引擎中也有一个pTos,它们是有区别的:
(1)vdbe的pTos:在一趟vdbe执行的过程中不会变化,直到相应的指令修改它为止,在上面的例子中,Callback指令会修改其值(见指令分析)。
(2)而解释引擎中的pTos是随着指令的执行而动态变化的,在上面的例子中,Integer,Column指令的执行都会引起解释引擎pTos的改变。
3.4、指令计数器(PC)
每一个vdbe都有一个程序计数器,用来保存初始的计数器值。和pTos一样,解释引擎也有一个pc,它用来指向VM下一条要执行的指令。
3.5、解释引擎
经过编译器生成的vdbe最终都是由解释引擎解释执行的,SQLite的解释引擎实现的原理非常简单,本质上就是一个包含大量case语句的for循环,但是由于SQLite的指令较多(在version 3.3.6中是139条),所以代码比较庞大。
SQLite的解释引擎是在一个方法中实现的:
1. int sqlite3VdbeExec(
2. Vdbe *p /* The VDBE */
3. )
复制代码
具体代码如下(为了阅读,去掉了一些不影响阅读的代码,具体见SQLite的源码):
1. /*执行VDBE程序.当从数据库中取出一行数据时,该函数会调用回调函数(如果有的话),
2. **或者返回SQLITE_ROW.
3. */
4. int sqlite3VdbeExec(
5. Vdbe *p /* The VDBE */
6. ){
7.
8. //指令计数器
9. int pc; /* The program counter */
10. //当前指令
11. Op *pOp; /* Current operation */
12. int rc = SQLITE_OK; /* Value to return */
13. //数据库
14. sqlite3 *db = p->db; /* The database */
15.
16. u8 encoding = ENC(db); /* The database encoding */
17. //栈顶
18. Mem *pTos; /* Top entry in the operand stack */
19.
20. if( p->magic!=VDBE_MAGIC_RUN ) return SQLITE_MISUSE;
21.
22. //当前栈顶指针
23. pTos = p->pTos;
24.
25. if( p->rc==SQLITE_NOMEM ){
26. /* This happens if a malloc() inside a call to sqlite3_column_text() or
27. ** sqlite3_column_text16() failed. */
28. goto no_mem;
29. }
30. p->rc = SQLITE_OK;
31. //如果需要进行出栈操作,则进行出栈操作
32. if( p->popStack ){
33. popStack(&pTos, p->popStack);
34. p->popStack = 0;
35. }
36. //表明栈中没有结果
37. p->resOnStack = 0;
38. db->busyHandler.nBusy = 0;
39.
40. //执行指令
41. for(pc=p->pc; rc==SQLITE_OK; pc++){
42. //取出操作码
43. pOp = &p->aOp[pc];
44.
45. switch( pOp->opcode ){
46. //跳到操作数P2指向的指令
47. case OP_Goto: { /* no-push */
48. CHECK_FOR_INTERRUPT;
49. //设置pc
50. pc = pOp->p2 - 1;
51. break;
52. }
53.
54. //P1入栈
55. case OP_Integer: {
56. //当前栈顶指针上移
57. pTos++;
58. //设为整型
59. pTos->flags = MEM_Int;
60. //取操作数P1,并赋值
61. pTos->i = pOp->p1;
62. break;
63. }
64.
65. //其它指令的实现
66. }//end switch
67. }//end for
68. }
复制代码
3.6、指令实例分析
由于篇幅限制,仅给出几条的指令的实现,其它具体实现见源码。
1、Callback指令
1. /*该指令执行后,PC将指向下一条指令.
2. **栈中栈顶的P1个值为查询的结果.该指令会导致sqlite3_step()函数将以SQLITE_ROW为返回码
3. **而结束运行.此时用户程序就可以通过sqlite3_column_XXX读取位于栈中的数据了.
4. **当sqlite3_step()再一次运行时,栈顶的P1个值会在执行Next指令前自动出栈.
5. */
6. case OP_Callback: { /* no-push */
7. Mem *pMem;
8. Mem *pFirstColumn;
9. assert( p->nResColumn==pOp->p1 );
10.
11. /* Data in the pager might be moved or changed out from under us
12. ** in between the return from this sqlite3_step() call and the
13. ** next call to sqlite3_step(). So deephermeralize everything on
14. ** the stack. Note that ephemeral data is never stored in memory
15. ** cells so we do not have to worry about them.
16. */
17. pFirstColumn = &pTos[0-pOp->p1];
18. for(pMem = p->aStack; pMem<pFirstColumn; pMem++){
19. Deephemeralize(pMem);
20. }
21.
22. /* Invalidate all ephemeral cursor row caches */
23. p->cacheCtr = (p->cacheCtr + 2)|1;
24.
25. /* Make sure the results of the current row are \000 terminated
26. ** and have an assigned type. The results are deephemeralized as
27. ** as side effect.
28. */
29. for(; pMem<=pTos; pMem++ ){
30. sqlite3VdbeMemNulTerminate(pMem);
31. //设置结果集中的数据类型
32. storeTypeInfo(pMem, encoding);
33. }
34.
35. /* Set up the statement structure so that it will pop the current
36. ** results from the stack when the statement returns.
37. */
38. p->resOnStack = 1; //栈上有结果
39. p->nCallback++; //回调次数加1
40. //出栈的数据个数,在下次执行VDBE时,会先进行出栈操作
41. p->popStack = pOp->p1;
42. //程序计数器加1
43. p->pc = pc + 1;
44.
45. //设置vdbe的栈顶指针,此时,栈中保存有结果
46. p->pTos = pTos;
47. /*注意:这里不是break,而是return; 向sqlite3_step()返回SQLITE_ROW.
48. **当用户程序重新调用sqlite3_step()时,重新执行VDBE.
49. */
50. return SQLITE_ROW;
51. }
复制代码
2、Rewind指令
1. /*移动当前游标到表或索引的第一条记录.
2. **如果表为空且p2>0,则跳到p2处;如果p2为0且表不空,则执行下一条指令.
3. */
4. case OP_Rewind: { /* no-push */
5. int i = pOp->p1;
6. Cursor *pC;
7. BtCursor *pCrsr;
8. int res;
9.
10. assert( i>=0 && i<p->nCursor );
11. //取得当前游标
12. pC = p->apCsr;
13. assert( pC!=0 );
14. if( (pCrsr = pC->pCursor)!=0 ){
15. //调用B-tree模块,移动游标到第一条记录
16. rc = sqlite3BtreeFirst(pCrsr, &res);
17. pC->atFirst = res==0;
18. pC->deferredMoveto = 0;
19. pC->cacheStatus = CACHE_STALE;
20. }else{
21. res = 1;
22. }
23. pC->nullRow = res;
24. if( res && pOp->p2>0 ){
25. pc = pOp->p2 - 1;
26. }
27. break;
28. }
复制代码
3、Column指令
1. /*解析当前游标指定的记录的数据
2. **p1为当前游标索引号,p2为列号
3. */
4. case OP_Column: {
5. u32 payloadSize; /* Number of bytes in the record */
6. int p1 = pOp->p1; /* P1 value of the opcode */
7. //列号
8. int p2 = pOp->p2; /* column number to retrieve */
9. //VDBE游标
10. Cursor *pC = 0; /* The VDBE cursor */
11. char *zRec; /* Pointer to complete record-data */
12. //btree游标
13. BtCursor *pCrsr; /* The BTree cursor */
14. u32 *aType; /* aType holds the numeric type of the i-th column */
15. u32 *aOffset; /* aOffset is offset to start of data for i-th column */
16. //列数
17. u32 nField; /* number of fields in the record */
18. int len; /* The length of the serialized data for the column */
19. int i; /* Loop counter */
20. char *zData; /* Part of the record being decoded */
21. Mem sMem; /* For storing the record being decoded */
22.
23. sMem.flags = 0;
24. assert( p1<p->nCursor );
25. //栈顶指针上移
26. pTos++;
27. pTos->flags = MEM_Null;
28.
29. /* This block sets the variable payloadSize to be the total number of
30. ** bytes in the record.
31. **
32. ** zRec is set to be the complete text of the record if it is available.
33. ** The complete record text is always available for pseudo-tables
34. ** If the record is stored in a cursor, the complete record text
35. ** might be available in the pC->aRow cache. Or it might not be.
36. ** If the data is unavailable, zRec is set to NULL.
37. **
38. ** We also compute the number of columns in the record. For cursors,
39. ** the number of columns is stored in the Cursor.nField element. For
40. ** records on the stack, the next entry down on the stack is an integer
41. ** which is the number of records.
42. */
43. //设置游标
44. pC = p->apCsr[p1];
45.
46. assert( pC!=0 );
47. if( pC->pCursor!=0 ){
48. /* The record is stored in a B-Tree */
49. //移到当前游标
50. rc = sqlite3VdbeCursorMoveto(pC);
51. if( rc ) goto abort_due_to_error;
52. zRec = 0;
53. pCrsr = pC->pCursor;
54. if( pC->nullRow ){
55. payloadSize = 0;
56. }else if( pC->cacheStatus==p->cacheCtr ){
57. payloadSize = pC->payloadSize;
58. zRec = (char*)pC->aRow;
59. }else if( pC->isIndex ){
60. i64 payloadSize64;
61. sqlite3BtreeKeySize(pCrsr, &payloadSize64);
62. payloadSize = payloadSize64;
63. }else{
64. //解析数据,payloadSize保存cell的数据字节数
65. sqlite3BtreeDataSize(pCrsr, &payloadSize);
66. }
67. nField = pC->nField;
68. }else if( pC->pseudoTable ){
69. /* The record is the sole entry of a pseudo-table */
70. payloadSize = pC->nData;
71. zRec = pC->pData;
72. pC->cacheStatus = CACHE_STALE;
73. assert( payloadSize==0 || zRec!=0 );
74. nField = pC->nField;
75. pCrsr = 0;
76. }else{
77. zRec = 0;
78. payloadSize = 0;
79. pCrsr = 0;
80. nField = 0;
81. }
82.
83. /* If payloadSize is 0, then just push a NULL onto the stack. */
84. if( payloadSize==0 ){
85. assert( pTos->flags==MEM_Null );
86. break;
87. }
88.
89. assert( p2<nField );
90.
91. /* Read and parse the table header. Store the results of the parse
92. ** into the record header cache fields of the cursor.
93. */
94. if( pC && pC->cacheStatus==p->cacheCtr ){
95. aType = pC->aType;
96. aOffset = pC->aOffset;
97. }else{
98. u8 *zIdx; /* Index into header */
99. u8 *zEndHdr; /* Pointer to first byte after the header(指向header之后的第一个字节)*/
100. u32 offset; /* Offset into the data */
101. int szHdrSz; /* Size of the header size field at start of record */
102. int avail; /* Number of bytes of available data */
103.
104. //数据类型数组
105. aType = pC->aType;
106. if( aType==0 ){
107. //每个数据类型分配8字节---sizeof(aType)==4
108. pC->aType = aType = sqliteMallocRaw( 2*nField*sizeof(aType) );
109. }
110. if( aType==0 ){
111. goto no_mem;
112. }
113. //每列数据的偏移
114. pC->aOffset = aOffset = &aType[nField];
115. pC->payloadSize = payloadSize;
116. pC->cacheStatus = p->cacheCtr;
117.
118. /* Figure out how many bytes are in the header */
119. if( zRec ){
120. zData = zRec;
121. }else{
122. if( pC->isIndex ){
123. zData = (char*)sqlite3BtreeKeyFetch(pCrsr, &avail);
124. }else{
125. //获取数据
126. zData = (char*)sqlite3BtreeDataFetch(pCrsr, &avail);
127. }
128. /* If KeyFetch()/DataFetch() managed to get the entire payload,
129. ** save the payload in the pC->aRow cache. That will save us from
130. ** having to make additional calls to fetch the content portion of
131. ** the record.
132. */
133. if( avail>=payloadSize ){
134. zRec = zData;
135. pC->aRow = (u8*)zData;
136. }else{
137. pC->aRow = 0;
138. }
139. }
140. assert( zRec!=0 || avail>=payloadSize || avail>=9 );
141. //获得header size
142. szHdrSz = GetVarint((u8*)zData, offset);
143.
144. /* The KeyFetch() or DataFetch() above are fast and will get the entire
145. ** record header in most cases. But they will fail to get the complete
146. ** record header if the record header does not fit on a single page
147. ** in the B-Tree. When that happens, use sqlite3VdbeMemFromBtree() to
148. ** acquire the complete header text.
149. */
150. if( !zRec && avail<offset ){
151. rc = sqlite3VdbeMemFromBtree(pCrsr, 0, offset, pC->isIndex, &sMem);
152. if( rc!=SQLITE_OK ){
153. goto op_column_out;
154. }
155. zData = sMem.z;
156. }
157./* 一个记录的例子:
158.** 08 | 08 |04 00 13 01 | 63 61 74 01
159.** 08: nSize,payload总的大小——后面8个字节
160.** 08: 关键字大小,对于整型则为关键字本身
161.** 04: header size,包括本身共4个字节——04 00 13 01
162.** 00: 第一列的数据类型——空类型
163.** 13: 第二列的数据类型——字符串,长为(19-13)/2=3——“cat”
164.** 01: 第三列的数据类型——整型,占一个字节——1
165.** 对于这里的zData保存的数据为:04 00 13 01 63 61 74 01
166.*/
167. //header之后的数据,对于上例为:63 61 74 01
168. zEndHdr = (u8 *)&zData[offset];
169. //header数据的索引号,对于上例为:00 13 01
170. zIdx = (u8 *)&zData[szHdrSz];
171.
172. /* Scan the header and use it to fill in the aType[] and aOffset[]
173. ** arrays. aType will contain the type integer for the i-th
174. ** column and aOffset will contain the offset from the beginning
175. ** of the record to the start of the data for the i-th column
176. */
177. /*扫描header,然后设置aType[]和aOffset[]数组; aType为第i列的数据类型,
178. **aOffset为第i列数据相对于记录的开始的偏移.
179. */
180. for(i=0; i<nField; i++){
181. if( zIdx<zEndHdr ){
182. //计算每一列数据的偏移
183. aOffset = offset;
184. //计算每一列的数据类型
185. zIdx += GetVarint(zIdx, aType);
186. //offset指向下一列
187. offset += sqlite3VdbeSerialTypeLen(aType);
188. }else{
189. /* If i is less that nField, then there are less fields in this
190. ** record than SetNumColumns indicated there are columns in the
191. ** table. Set the offset for any extra columns not present in
192. ** the record to 0. This tells code below to push a NULL onto the
193. ** stack instead of deserializing a value from the record.
194. */
195. aOffset = 0;
196. }
197. }
198. Release(&sMem);
199. sMem.flags = MEM_Null;
200.
201. /* If we have read more header data than was contained in the header,
202. ** or if the end of the last field appears to be past the end of the
203. ** record, then we must be dealing with a corrupt database.
204. */
205. if( zIdx>zEndHdr || offset>payloadSize ){
206. rc = SQLITE_CORRUPT_BKPT;
207. goto op_column_out;
208. }
209. }
210.
211. /* Get the column information. If aOffset[p2] is non-zero, then
212. ** deserialize the value from the record. If aOffset[p2] is zero,
213. ** then there are not enough fields in the record to satisfy the
214. ** request. In this case, set the value NULL or to P3 if P3 is
215. ** a pointer to a Mem object.
216. */
217. //获取P2指定的列的数据
218. if( aOffset[p2] ){
219. assert( rc==SQLITE_OK );
220. if( zRec ){
221. //取得该列的数据
222. zData = &zRec[aOffset[p2]];
223. }else{
224. len = sqlite3VdbeSerialTypeLen(aType[p2]);
225. rc = sqlite3VdbeMemFromBtree(pCrsr, aOffset[p2], len, pC->isIndex,&sMem);
226. if( rc!=SQLITE_OK ){
227. goto op_column_out;
228. }
229. zData = sMem.z;
230. }
231. //解析zData,并将结果保存在pTos中
232. sqlite3VdbeSerialGet((u8*)zData, aType[p2], pTos);
233. pTos->enc = encoding;
234. }else{
235. if( pOp->p3type==P3_MEM ){
236. sqlite3VdbeMemShallowCopy(pTos, (Mem *)(pOp->p3), MEM_Static);
237. }else{
238. pTos->flags = MEM_Null;
239. }
240. }
241.
242. /* If we dynamically allocated space to hold the data (in the
243. ** sqlite3VdbeMemFromBtree() call above) then transfer control of that
244. ** dynamically allocated space over to the pTos structure.
245. ** This prevents a memory copy.
246. */
247. if( (sMem.flags & MEM_Dyn)!=0 ){
248. assert( pTos->flags & MEM_Ephem );
249. assert( pTos->flags & (MEM_Str|MEM_Blob) );
250. assert( pTos->z==sMem.z );
251. assert( sMem.flags & MEM_Term );
252. pTos->flags &= ~MEM_Ephem;
253. pTos->flags |= MEM_Dyn|MEM_Term;
254. }
255.
256. /* pTos->z might be pointing to sMem.zShort[]. Fix that so that we
257. ** can abandon sMem */
258. rc = sqlite3VdbeMemMakeWriteable(pTos);
259.
260.op_column_out:
261. break;
262.}
复制代码
4、Next指令
1.
2. /*移动游标,使其指向表的下一个记录
3. */
4. case OP_Prev: /* no-push */
5. case OP_Next: { /* no-push */
6. Cursor *pC;
7. BtCursor *pCrsr;
8.
9. CHECK_FOR_INTERRUPT;
10. assert( pOp->p1>=0 && pOp->p1<p->nCursor );
11. pC = p->apCsr[pOp->p1];
12. assert( pC!=0 );
13. if( (pCrsr = pC->pCursor)!=0 ){
14. int res;
15. if( pC->nullRow ){
16. res = 1;
17. }else{
18. assert( pC->deferredMoveto==0 );
19. //调用B-tree模块,移动游标指向下一条记录
20. rc = pOp->opcode==OP_Next ? sqlite3BtreeNext(pCrsr, &res) :
21. sqlite3BtreePrevious(pCrsr, &res);
22. pC->nullRow = res;
23. pC->cacheStatus = CACHE_STALE;
24. }
25. if( res==0 ){
26. pc = pOp->p2 - 1;
27. sqlite3_search_count++;
28. }
29. }else{
30. pC->nullRow = 1;
31. }
32. pC->rowidIsValid = 0;
33. break;
34. }
复制代码
SQLite入门与分析(八)---存储模型
写在前面:SQLite作为嵌入式数据库,通常针对的应用的数据量相对于通常DBMS的数据量是较小的。所以它的存储模型设计得非常简单,总的来说,SQLite把一个数据文件分成若干大小相等的页面,然后以B树的形式来组织这些页面。而对于大型的数据库管理系统,比如Oracle,或者DM ,存储模型要复杂得多。就拿Oracle来说吧,它对数据文件不仅从物理进行分块,而且从逻辑上进行分段,盘区和页的一个层次划分,DM也一样。不管怎么说,数据库文件要存储大量的数据,为了更好管理,查询和操作数据文件,DBMS不得不从物理上、逻辑上对数据文件的数据进行复杂的组织。本节主要讨论文件格式,下节讨论页面格式。
1、文件格式
1.1、数据库名称
应用程序通过sqlite3_open API来打开数据库,该函数的一个参数为数据库文件的名称。SQLite内部命名为main数据库(除了临时数据库和内存数据库)。SQLite对每一个数据库都创建一个独立的文件。
在SQLite内部,数据文件名不是数据库名。SQLite对应用程序的每一个连接都维护着一个单独的临时数据库(temp数据库),临时数据库存临时对象,例如:表以及相应的索引。这些临时对象仅仅对同一个连接可见(对同一个线程,进程的其它连接是不可见的),SQLite存储临时数据库到一个单独的临时文件中,当应用程序关闭对main数据库的连接时,就删除临时文件。
1.2、数据库文件结构
除了内存数据库,SQLite把一个数据库(main和temp)都存储到一个单独的文件。
1.2.1、页面(page)
为了更好的管理和读/写数据库,SQLite把一个数据库(包括内存数据库)分成一个个固定大小的页面。页面大小的范围从512-32768(两者都包含),页面默认大小为1024个字节(1KB),实际上,页面的上限由2个字节的有符号整数决定。整个数据库可以看成这些页面的数组,页面数组的下标为页面的编号(page number),page number从1开始,一直到2,147,483,647 (2^31– 1)。实际上,数组上界还受文件系统允许的最大文件大小决定。0号页面视为空页面(NULL page),物理上不存在,1号页面从文件的0偏移处开始,一个页面接着下一个页面。
注:一旦数据库创建,SQLite使用编译时确定的默认的页面大小。当然,在创建第一个表之前,可以通过pragma命令改变页面大小。SQLite把该值作为元数据的一部分存储在文件中。
1.2.2、页面类型
页面(page)分四种类型:叶子页面(leaf),内部页面(internal),溢出页面(overflow)和空闲页面(free)。内部页面包含查询时的导航信息,叶子页面存储数据,例如元组。如果一个元组的数据太大,一个页面容纳不下,则一些数据存储在B树的页面中,余下的存储在溢出页面中。
1.2.3、文件头(file header)
作为文件开始的1号页面比较特殊,它包括100个字节的文件头。当SQLite创建文件时例初始化文件头,文件头的格式如下:
Structure of database file header | ||
Offset | Size | Description |
0 | 16 | Header string |
16 | 2 | Page size in bytes |
18 | 1 | File format write version |
19 | 1 | File format read version |
20 | 1 | Bytes reserved at the end of each page |
21 | 1 | Max embedded payload fraction |
22 | 1 | Min embedded payload fraction |
23 | 1 | Min leaf payload fraction |
24 | 4 | File change counter |
28 | 4 | Reserved for future use |
32 | 4 | First freelist page |
36 | 4 | Number of freelist pages |
40 | 60 | 15 4-byte meta values |
示例数据(100个字节):
53 51 4C 69 74 65 20 66 SQLite f
6F 72 6D 61 74 20 33 00 ormat 3.
04 00 01 01 00 40 20 20 .....@
00 00 00 11 00 00 00 00 ........
00 00 00 00 00 00 00 00 ........
00 00 00 01 00 00 00 01 ........
00 00 00 00 00 00 00 00 ........
00 00 00 01 00 00 00 00 ........
00 00 00 00 00 00 00 00 ........
00 00 00 00 00 00 00 00 ........
00 00 00 00 00 00 00 00 ........
00 00 00 00 00 00 00 00 ........
00 00 00 00
Header string(头字符串):
16个字节:"SQLite format 3."
Page size:
页面大小:0x04 00 ,即1024
File format:
文件格式:0x01 ,0x01,在当前的版本都为1。
Reserved space:
保留空间:0x00,1个字节,SQLite在每个页面的末尾都会保留一定的空间,留作它用,默认为0。
Embedded payload:
max embedded payload fraction(偏移21)的值限定了B树内节点(页面)中一个元组(记录,单元)最多能够使用的空间。255意味着100%,默认值为0x40,即64(25%),这保证了一个结点(页面)至少有4个单元。如果一个单元的负载(payload,即数据量)超过最大值,则溢出的数据保存到溢出的页面,一旦SQLite分配了一个溢出页面,它会尽可能多的移动数据到溢出页面,下限为min embedded payload fraction value(偏移为22),默认的值为32,即12.5% 。
min leaf payload fraction的含义与min embedded payload fraction类似,只不过是它是针对B树的叶子结点,默认值为32,即12.5%,叶子结点最大的负载为通常是100%,这不用保存。
File change counter:
文件修改计数,通常被事务使用,它由事务增加其值。该值的主要目的是数据库改变时,pager避免对缓存进行刷盘。
Freelist:
空闲页面链表,在文件头偏移32的4个字节记录着空闲页面链的第一个页面,偏移36处的4个字节为空闲页面的数量。空闲页面链表的组织形式如下:
空闲页面分为两种页面:trunk pages(主页面)和leaf pages(叶子页面)。文件头的指针指向空闲链表的第一个trunk page,每个trunk page指向多个叶子页面。
Trunk page的格式如下,从页面的起始处开始:
(1)4个字节,指向下一个trunk page的页面号;
(2)4个字节,该页面的叶子页面指针的数量;
(3)指向叶子页面的页面号,每项4个字节。
当一个页面不再使用时,SQLite把它加入空闲页面链表,并不从本地文件系统中释放掉。当添加新的数据到数据库时,SQLite就从空闲链表上取出空闲页面用来在存储数据。当空闲链表为空时,SQLite就通过本地文件系统增加新的页面,添加到数据库文件的末尾。
注:可以通过vacuum命令删除空闲链表,该命令通过把数据库中数据拷贝到临时文件,然后在事务的保护下,用临时文件中的复本覆盖原数据库文件。
Meta variables
元数据变量:从偏移为40开始,为15个4字节的元数据变量,这些元数据主要与B树和VM有关。如下:
** Meta values are as follows:
** meta[0] Schema cookie. Changes with each schema change.
** meta[1] File format of schema layer.
** meta[2] Size of the page cache.
** meta[3] Use freelist if 0. Autovacuum if greater than zero.
** meta[4] Db text encoding. 1:UTF-8 2:UTF-16LE 3:UTF-16BE
** meta[5] The user cookie. Used by the application.
** meta[6]
** meta[7]
** meta[8]
** meta[9]
1.2.4、读取文件头
当应用程序调用API sqlite3_open打开数据库文件时,SQLite就会读取文件头进行数据库的初始化。
1. int sqlite3BtreeOpen(
2. const char *zFilename, /* Name of the file containing the BTree database */
3. sqlite3 *pSqlite, /* Associated database handle */
4. Btree **ppBtree, /* Pointer to new Btree object written here */
5. int flags /* Options */
6. ){
7. //读取文件头
8. sqlite3pager_read_fileheader(pBt->pPager, sizeof(zDbHeader), zDbHeader);
9. //设置页面大小
10. pBt->pageSize = get2byte(&zDbHeader[16]);
11. //…
12. }
复制代码
更多推荐
所有评论(0)