有效负荷,分析数据量到绘图页上溢出页也取决于multiline 的类型支持以下计算,让我们u可用大小为一个数据库"页上,单击"大小",当reserved space 每个页面的结束然后让p是负载时的大小

表B-Tree 叶单元:

如果p小于负载时的大小或等于u-35 整个有效负载是存储在叶页让m是((u-12)*32/255)-23如果p大于u-35 然后字节的数量存储在视图定义只有sysadmin 角色的成员才能是较小的M+((P-M)%(U-4)) 和u-35注意,存储在字节数只有sysadmin 角色的成员才能永远不会小于m

表B-Tree interior 属性:

表b-trees 内部页面的人没有有效负荷和因此永远不会是任何有效负载.

索引B-Tree 叶或内部单元格中:

让x是((u-12)*64/255)-23)如果负载时的大小p是小于或等于x整个有效负载是存储在视图定义页让m是((u-12)*32/255)-23如果p大于x然后字节的数量存储在视图定义页中较小的M+((P-M)%(U-4)) 和x注意,索引页面上的存储过程的字节数量永远不会小于m

%a阈值被设计的最小扇出是4的索引b-trees 并以确保有足够的有效负载是在视图定义记录头状态通常可而无需咨询页面上的一个溢出在hindsight,SQLite 视图定义设计器的逻辑认识到这些阈值可能已经更改随常规对象但是,在计算不能生成一个不兼容的情况下更改文件格式当前计算和然而,即使它们是很复杂

16 芯负载溢出页

当负载的一个视图定义单元格为视图定义太大页,该surplus 是spilled 拖溢出页溢出表单的页面链接的列表每个溢出页的第一个四个字节是一个大端字节整数,它是证书链中的页码的下一页证书链中的最终的页或零第五条字节通过最后的适用性字节是使用溢出内容

17 指针映射或ptrmap 页

指针地图上或ptrmap 页面的是空白页面插入到数据库中要使操作incremental_vacuum在"导航"模式更有效在数据库中其他网页类型通常具有指针从父与子表例如,内部视图定义页面中包含其子id1 指向网页和溢出某一个指针字段中设置证书链中的链接一个ptrmap 页面中包含链接信息在相对方向上,从子父

在任何数据库必须存在ptrmap 页文件这有意义的根视图定义页值在偏移位置52 在数据库标题如果值为零,则最大的根视图定义页.该数据库包含的ptrmap 页

在数据库包含ptrmap 页,第一个ptrmap 页是第2页ptrmap页的5-byte 项目数组组成让j的5-byte 条目将在新建对话框中可用的空间的页面(换句话说,J=U/5第一个ptrmap 页面)将会包含_pages 的信息通过j+2,包括2和3第二个指针地图j+3 页的页将被和ptrmap 页面会提供信息的页面j+4 _通过2*j+3 非独占为整个数据库文件等等

在使用ptrmap 数据库中页所有网页在上一段的计算标识的位置处必须ptrmap 页,并不需要任何其他页.可能是ptrmap 页面除如果byte-lock 页在outlook 中所发生的情况相同的页码作为ptrmap 页那么ptrmap 是移动至以下页面的一个case

在ptrmap 页面提供了每个5-byte 条目back-link 有关一个紧跟在指针的映射如果网页b是一个ptrmap 页然后back-link 关于页面b+1 是由指针上的第一个条目映射有关页面上b+2 是由第二项等等

每个5-byte ptrmap 条目由一个字节"page 类型"信息后跟一个4字节big-endian 页码五个识别网页类型:

1. 一个根页该值应为零
2. 一个freelist 页该值应为零
3. 一个单元格负载第一页的溢出链该值已超出该视图定义包含该单元格的内容页面溢出
4. 发生溢出链中的页行或列的第一个页该值已溢出先前的页的链
5. 非root 用户视图定义页该值已父视图定义页

在任何数据库文件包含ptrmap 页面,所有任何可归纳元素必须出现在根视图定义页,单元格有效负载溢出页面上,或freelist该限制可以确保根期间都不会移动页面auto-vacuum 或incremental-vacuumauto-vacuum 逻辑不能知道如何更新sqlite_master root_page 字段的表和它是必需的,以防止根页在移动过程中另一个auto-vacuum,以保持数据的完整性sqlite_master 表根页面移动到起始的数据库文件由CREATE TABLE,CREATE INDEX,DROP TABLE,和DROP INDEX 操作

20 架构图层

低方面的foregoing 文字描述了sqlite 文件格式视图定义机制提供了一个强大而有效的方法访问大型数据集本节将描述了如何低级视图定义层就是用于实现较高级别的sql 功能

21 记录格式

一个表视图定义叶页的内容和任何的键索引视图定义页的输出条件作为任意序列先前提到的讨论一个小于另一个基元类型,但没有定义什么"less 比"快速将地址这些只是在当前分区

有效负荷,或者是表格内容或索引键,不总是在"record 格式"对应的记录格式定义值序列的一个表或索引中的列记录格式指定数目的列,则每个数据类型的列,每个列的内容

记录格式提供的使用长度可变的整数或varint表示的64 位有符号定义上面的整数.

记录包含一个标题和正文,顺序这是要被用单个varint 头,它确定头中的字节的总数varint值被头的大小以字节为单位包括的大小varint 本身如下varint 大小的一个或多个附加varints,一个列这些附加"serial 被调用的varints 类型"数字和确定该数据类型的表中的每一列,遵循下面的图表:

注意,因为的varints 定义,页眉的大小varint 和串行类型varints 通常包括一个字节串行类型对于大型字符串和BLOBs varints,可能会扩展两个或三个字节varints,但也可以是异常而不是规则varint格式是在编码是非常高效的记录头

每一列的值在记录紧跟在页眉请注意,对于串行类型0,8、9、12 、13 .则该值为零个字节如果对这种类型的所有列都记录的正文部分为空

22 记录的排序次序

键在索引视图定义的顺序是由排序顺序记录的键表示记录按列比较两个列从左至右列的记录都被检查对列都将次序确定的相对顺序两个记录排序顺序是单独的列如下所示:

1. NULL 值(串口)排序类型"0"
2. 数值(串口类型1至9)next 并按照数字顺序进行排序
3. 文本值(甚至串行12 和更大的)排序的顺序由列比较函数
4. BLOB 值(奇数串行类型13 和更大的)确定memcmp() 顺序最后进行排序.

一个比较函数对于每一个列是必要的计算中的文本.sqlite 定义三种内置的比较功能:

BINARY	字符串是逐字节比较使用memcmp( )函数从标准c库失败
NOCASE	类似BINARY 只不过大写ASCII 字符(''a 通过''z '' '' )将页它们的小写形式相当于运行就是这样的比较注意只有ASCII 字符都case-foldedNOCASE 不实现一个通用unicode caseless 比较
RTRIM	像BINARY 除了空格的字符串是要比较之前,请先elided

其他特定于应用程序的比较函数可以添加到sqlite 使用sqlite3_create_collation( )接口.

默认的比较函数的所有字符串是BINARY可选中指定的比较顺序的函数表的列可以是CREATE TABLE使用COLLATE 子句的语句列定义仅当使用了列的索引是,在执行比较函数中指定的CREATE TABLE语句用于该列中的索引.默认情况下.虽然此可重写的使用COLLATE 子句的select 语句中CREATE INDEX语句.

2sql 表3表示形式

架构中的每个普通sql 表在数据库中支持事务磁盘上的表视图定义在表中的每一项都视图定义对应于sql 表中的某一行"未对id键盘的sql 是64 位有符号整数对于表中的每一项都页p_id1

将每个sql 表的内容存储在数据库中文件的第一个组合用各种列中的值为byte 数组在记录格式然后将应用程序的字节数组作为存储在表中的输入项视图定义值在记录的顺序相同中列的顺序sql 表定义如果sql 表,其中包含INTEGER PRIMARY KEY列(别名未对id该列中),则出现在记录作为NULL 值sqlite将一直使用该表视图定义key,而不是使用NULL 值在引用INTEGER PRIMARY KEY列.

如果相似性在列是否REAL,并且含有数值的列可以转换为整数在不损失信息(如果该值包含不明确的小数部分和太大,无法表示为整数),则该列会存储在记录为整数sqlite转换回浮点值当从记录提取它

2sql 的索引%4表示形式

每个sql 索引,不管是通过显式地声明变量.CREATE INDEX语句或UNIQUE 约束所隐含的,对应于一个索引id1 在数据库文件有多个条目索引视图定义中的相应的表中的每一行密钥添加到索引视图定义是一个记录中的正在编入索引的列都有未对id表行在表中每行的,因为有一个唯一的未对id 和所有键可以在索引中包含未对id,在索引中的所有项都是唯一的

行之间有一对一映射表和每个项中与该表关联的索引相应的行int 该索引和表b-trees 共享相同的未对id 值所有索引列,并且包含相同的值

25 存储sql 数据库模式

第2页的数据库文件被根页的表视图定义保存着一个特殊的"sqlite_master "(名为的表或"sqlite_temp_master "中TEMP 完成数据库)它存储数据库模式sqlite_master表的结构是确定其所创建使用以下sql:

CREATE TABLE sqlite_master( 
请键入文字,名称文本.
tbl_name 文本.
rootpage 整数,sql 文本
);

sqlite_master 表中的每个行表、索引、查看和触发器在数据库模式,且没有sqlite_master 表本身的条目

在sqlite_master类型列将下列文本串: 'able ",''index ",''view ",或'rigger "根据定义的类型的对象'able'' string 是用于普通和虚拟表.

在sqlite_mastertbl_name 列保存表或视图的名称关联的对象为表或视图,tbl_name 列中的值是"姓名"列的副本为索引.tbl_name 的表的名称对于该索引是某个触发器,tbl_name 列将新表或视图使激发触发器

在sqlite_masterrootpage 列存储当前网页的视图定义页对于表和索引属性"对话框中的"常规"选项卡用于定义、触发器、视图和虚拟表,该列必须为0或NULL rootpage

在sqlite_mastersql 列存储sql 文本,它描述对象此sql 文本.CREATE TABLE,CREATE VIRTUAL TABLE,CREATE INDEX,CREATE VIEW或CREATE TRIGGER如果数据库中的语句,当它是主数据库中的特定文件数据库连接将重新创建该对象在文本)通常是一个副本sysconst.bak 语句用于创建该对象但应用normalizations,使文字符合以下规则:

• 在CREATE,TABLE,VIEW,TRIGGER,和INDEX 的关键字末尾处语句将转换为全部大写的字母.
• 将删除TEMP 或TEMPORARY 关键字如果出现在初始CREATE 关键字.
• 您可以随时发生的数据库名称限定符名称即将创建的对象.
• 删除前导空格
• 所有空格的前两个关键字都被转换为一个.默认值为false .可读写.

在sqlite_mastersql 列是一副本sysconst.bak CREATE 文本.创建此对象的语句中,除了标准化如上面所述,也可以修改由后续的ALTER TABLE语句.

自动创建的索引UNIQUE 或PRIMARY KEY 约束,则sqlite_mastersql 字段是NULL

30 安装的"回滚日记

在安装的"回滚日志是一个文件与每个sqlite 相关联的数据库文件,它包含用来将数据库文件还原到它的初始状态的事务在安装的"回滚日记文件始终位于同一个目录作为文件和数据库有相同的名称数据库文件,但替换为"-journal"附加只能存在一个日志回滚相关联的数据库和因此,只能有一个事务来说,打开针对单个数据库

如果事务已中止,因为出现应用程序崩溃一个操作系统崩溃增强团队成员之间的交流电源故障或崩溃数据库可能会留成在不一致的状态将在下次sqlite 尝试打开数据库文件在安装的"回滚"的存在小于等于文件将被检测到并将会自动将数据库恢复到其回放开始时的状态不完整的事务

使用回滚日志是只有看作是有效的如果该文件存在并包含有效的头因此,一个事务可以为三种方式之一:

1. 在安装的"回滚日志文件可将其删除.
2. 在安装的"回滚日志文件将被截断为零长度
3. 可以被改写代码日志回滚使用无效标题.文本(例如,所有的zeros) .

有效的日记以回滚头,请执行以下任一项操作:

将一个回滚日记头用global $variable ;零到单个扇区的大小(由20) 偏移位置处扇区大小为整数某一扇区页眉是通过它,以便如果发生断电写入扇区,该信息包含以下页眉将undamaged (应用程序)

在头信息和区域提升是零个或多个网页记录每个page 记录存储的副本从数据库中的页的内容之前,该文件更改相同的页面可能多次出现在单个日志回滚无法执行回滚不完整的事务要读取日志回滚一个进程有歧义开始和结束时间页在日记中找到推回数据库文件,在相应位置

数据库页"%s"读取偏移位置处整数的值(24 对话框中的标题n)然后记录的页格式如下:

crc1 是无符号32 位整数的名称是什么?

1. 初始化nonce 的校验和到校验和值在日记中找到页眉在偏移位置12 .
2. 初始化索引xn-200 (其中n是数据库的大小以字节为单位的页面.
3. 解释要四个字节的偏移量x至页面为4字节大端字节无符号整数向校验和的值的整数
4. subtrace 200 x.
5. 如果x是大于等于零,则转到步骤3

用于校验值的规则不完整的写入一个日记中记录电源故障是否有不同的随机nonce 每次将启动一个事务中将风险降至最低到浮点扇区由resource kit 包含与同一页上的数据在日记账的一部分通过更改nonce 的每个交易,就陈旧的磁盘上的数据将生成一个不正确的校验和和检测到的高概率crc1仅使用一个稀疏的文件该数据的32 位单词"示例记录出于性能考虑在sqlite 规划阶段3-设计研究00向性能并点击在checksumming 整页

清单1.页计数为%2,但在偏移量的日记帐分录的头8英寸m如果m大于零然后在m页日记帐分录文件可能为零global $variable ;记录到下一个倍数扇区的大小和另一个日记头插入所有分列标头,以便在同必须包含相同的数据库页面大小和扇区大小

如果m是-1的页记录日记页眉,则将数字按照通过计算多少个记录的其余部分删除文档中空间的日志文件.

40 Write-Ahead 日志

开始版本370,sqlite 支持新的事务控制机制称为"windows mobile 设备中心"或"WAL"当数据库处于WAL 模式,该数据库的所有连接,必须使用WAL特定数据库将使用一个回滚日记或一个WAL,但不能同时在相同的时间WAL始终位于同一个目录作为文件和数据库具有相同的名称数据库文件,sans-serif; font-size:10pt">-wal"追加.

41 WAL 文件格式

在WAL 文件由一头后面跟零个或多个"frames "每一帧记录修订后的内容从数据库中的单个页文件通过写入帧对数据库所做的所有更改将被记录到WAL事务提交当写入一个框架包含一个commit 标记单个WAL 和若要更正此问题,记录的检查点定期将内容,WAL 被传送回数据库文件在某项操作调用一个"checkpoint "

单个WAL 文件可以多次重复使用换句话说,那么WAL 可以使用框架的所有通知和checkpointed 然后可以覆盖的帧WAL始终增长从某单词或词组开头校验码和计数器附加到每一帧该框架内的WAL 有效以及哪些leftovers,请选择以下检查点

WAL 标头大小为32 字节,并由以下八个big-endian 32 位无符号整数值:

wal-header 由于下列原因是零个或多个帧每个框架由24-byte frame-header 后面跟一个page-size字节的页数据frame-header为六个big-endian 32 位无符号整数值,如下所示:

框架是认为是有效的如果且仅当下列条件为真时:

1. 在"frame-header salt-1 和salt-2 值在wal-header 盐值相匹配

2. 在最终的8个字节的校验和值frame-header 完全匹配的校验和计算的连续WAL 页眉和8个字节和所有帧的内容并包括在当前帧中

42 校验和算法

解释输入的校验和通过作为偶数个无符号32 位整数: 通过x(n) x(0 )用于big-endian 32 位整数是4个字节的数值下面是整数的WAL 头为0x377f0683 和little-endian magic number 为0x377f0682在"帧标头校验和值始终为存储big-endian 格式显示,而不必考虑使用的是哪种字节顺序是用来计算的校验和

校验和算法只对内容长度为8字节的倍数换句话说,如果输入是x(0 )到x(n )然后n必须是偶数校验和算法如下:

s0 =s1 =0
for i从0到measures 维度的步骤3: 
s0 += x(i )+s1 ;
s1 += x(i+1 )+s0 ;
例如
#导致s0 和s1 

输出s0 及s1 都使用加权校验值以相反的顺序使用fibonacci 权重〗使用linq (fibonacci 重量第一个元素的序列发生求和)s1 值跨越32 位整数的全部序列(unc )而s0 final 术语

43 检查点算法

上检查点刷新WAL 首先,使用xsync 持久存储的方法VFS然后有效WAL 传递到数据库中文件的内容最后,该数据库已被另一个程序使用的条目数持久存储使用xsync 方法调用在您的xsync 操作作为写入栅-所有通用属性之前,必须首先完成xsync 在xsync 开始运行之后的所有写入一个文件

在每次检查点,WAL 页眉salt-1 值增加和salt-2 值为randomized这将防止新旧帧WAL 被认为是有效的很长的时间和操作在一起了下列一个崩溃

44 读取器算法

从数据库中要读取页(页码p) 调用它,一个读卡机首先检查WAL 以查看它包含的页p如果是这样的话,那么最后的有效网页p实例其后是提交框架或提交框架中的控件读取的值第p页,如果WAL 不包含任何有效,并且它们是提交框架或后跟一个提交框架然后是从数据库中读取的第&&p页

要启动一个读取事务,这是个记录在WAL 最后的有效框架的索引读取器使用此类录制的"mxframe "选项"对话框的"常规"选项卡的所有后续读取操作新事务可以附加到WAL但是只要读取器将使用其原始mxframe 值并忽略随后附加内容读取器将看到一个一致的数据库从单点在特定时间的快照此技术允许多个并发读者可同时查看不同版本的数据库内容

读取器算法在前面的单词是否工作正常但是,因为第p页可以出现在WAL 任意的框架无法读取器,扫描整个WAL 要查看的页p帧如果WAL 是大型(多个兆字节是典型值),手动扫描速度可能较慢,并读取性能解决这个问题,一个单独的数据结构图调用wal-index 是维护的并发性搜索特定页的帧

45 WAL-Index 格式

从概念上讲,到的wal-index 是共享的内存,wal-index 当前VFS 实现使用mmapped 文件为: mmapped 文件不在同一个目录作为数据库和具有相同的名称作为具有"数据库-shm"后缀附加由于wal-index 是共享的内存,sqlite 不支持journal_mode=WAL在网络上文件系统当客户机安装在不同的计算机上所有用户的数据库必须能共享相同的内存

在wal-index 的目的在于快速这个问题的答案:

给定的页码p和最大WAL 框架中的索引m,m,返回最大的WAL 框架索引中的页p,并且不超过m,或返回NULL 如果没有框架的页pm.不要超过

"m在下一段的值为"mxframe "〗中定义的第5节4可被在事务开始处然后从WAL,它定义了这个最大帧读取器将使用的端点

wal-index 是暂时的在崩溃之后,角落wal-index 是从原始WAL 文件所要求的VFS 截断或零头的wal-index 当它关闭前一次连接由于wal-index 是暂时的,它使用了architecture-specific 格式;它不一定要跨平台因此,使用数据库和WAL 文件格式存储所有的值作为高位字节在前的多字节的值,wal-index 存储在本机字节顺序的主机

此文档有文持久状态该数据库文件和wal-index 是瞬态结构关于wal-index 的格式没有更多的信息将不会被记录到此处完整详细信息在要设置格式的wal-index 都包含在注释中的sqlite 源代码