VDBE (virtual database engine)是一個(gè)運(yùn)行他自己的虛擬機(jī)語言組成的程序的虛擬機(jī)。每條程序都是用來查詢或者操作數(shù)據(jù)庫(kù)的。出于這個(gè)目的，VDBE的機(jī)器語言被設(shè)計(jì)用來進(jìn)行搜索，讀和修改數(shù)據(jù)庫(kù)。

每一條VDBE 說明包括一個(gè)OPCODE 和3個(gè)OPRANDS分別為P1,P2和P3。P1,P2 為整數(shù)，P3是一個(gè)指向數(shù)據(jù)結(jié)構(gòu)或者字符串的指針，有可能為空。大多數(shù)說明只用到1-2個(gè)OPRANDS,只有少數(shù) 說明用到了全部3個(gè)OPRANDS。有很多非常重要的說明根本沒有用到任何OPRANDS但是卻能讀取數(shù)據(jù)并且將結(jié)果寫入運(yùn)行時(shí)棧當(dāng)中。

一段VDBE代碼從說明0開始運(yùn)行，直到

1。遇到致命錯(cuò)誤；

2。執(zhí)行了停止說明；

3。整段代碼運(yùn)行完畢，所有打開的數(shù)據(jù)庫(kù)都已經(jīng)關(guān)閉，所有內(nèi)存都已經(jīng)釋放，棧為空。

example:

1.建立一個(gè)數(shù)據(jù)表，并且插入一個(gè)數(shù)據(jù)

CREATE TABLE examp(one text,two int);

INSERT INTO examp VALUES( 'Hello,World!'99);

VDBE將這樣解釋并執(zhí)行這兩條語句

addr opcode p1 p2 p3

---- ------------ ----- ----- -----------------------------------

0 Transaction 0 0

1 VerifyCookie 0 81

2 Transaction 1 0

3 Integer 0 0

4 OpenWrite 0 3 examp

5 NewRecno 0 0

6 String 0 0 Hello, World!

7 Integer 99 0 99

8 MakeRecord 2 0

9 PutIntKey 0 1

10 Close 0 0

11 Commit 0 0

12 Halt 0 0

整個(gè)操作被分解為12條VDBE說明，前3條和最后2條是系統(tǒng)的標(biāo)準(zhǔn)步驟，所以真正完成我們的工作的是中間7條說明。這段代碼中沒有跳轉(zhuǎn)語句，所有整個(gè)代碼段從上到下執(zhí)行一遍。

0 Transaction 0 0

1 VerifyCookie 0 81

2 Transaction 1 0

Transaction 開始一項(xiàng)交互活動(dòng)。直到 遇到Commit 或者Rollback 時(shí)停止。P1參數(shù)是交互開始的數(shù)據(jù)庫(kù)文件的索引。0號(hào)索引是主文件，1代表這個(gè)文件存放的是臨時(shí)表。如果P2參數(shù)不為0，則開始一個(gè)寫交互。當(dāng)交互開始之 后，對(duì)應(yīng)的數(shù)據(jù)庫(kù)文件獲得"write lock"狀態(tài)。在這項(xiàng)交互進(jìn)行當(dāng)中其他進(jìn)程將無法讀取這個(gè)文件。一項(xiàng)交互必須在任何對(duì)數(shù)據(jù)文件的修改動(dòng)作之前進(jìn)行。如果P2是0這文件將獲得一個(gè) "read lock"

VerifyCookie 檢查數(shù)據(jù)庫(kù)0號(hào)參數(shù)（計(jì)劃版本）以確保它=P2,P1是數(shù)據(jù)庫(kù)編號(hào)，0代表主數(shù)據(jù)庫(kù)文件，1代表文件擁有臨時(shí)表，其他更大的數(shù)字代表附加數(shù)據(jù)庫(kù)。

在建立VerifyCookie之前，必須有一個(gè)Transaction已經(jīng)開始，或者已經(jīng)建立了一個(gè)read lock.

第2個(gè)Transaction語句開始一項(xiàng)交互，應(yīng)用對(duì)象是數(shù)據(jù)庫(kù)1 （一個(gè)臨時(shí)數(shù)據(jù)表）。

3 Integer 0 0

4 OpenWrite 0 3 examp

Integer 將整數(shù)P1 (0)壓入堆棧。0是下面 OpenWrite 所要用到的數(shù)據(jù)庫(kù)的編號(hào)，如果P3不為0 ，那么它就是一個(gè)代表相同整數(shù)的字符串，執(zhí)行這條語句后，堆棧看起來是這樣

（integer) 0

OpenWrite 創(chuàng)建一個(gè)新的讀/寫指針，指向P1（0）也就是數(shù)據(jù)庫(kù)中的主文件“examp”，他的根頁(yè)(節(jié)點(diǎn))是P2（3），因?yàn)閿?shù)據(jù)庫(kù)文件第一頁(yè)是空的，第二頁(yè)存放 的是數(shù)據(jù)表的索引。從第3頁(yè)開始存放每個(gè)數(shù)據(jù)表當(dāng)中的數(shù)據(jù)。P3（"examp"）是被打開的表的名字，這個(gè)參數(shù)是不被使用的，只是使代碼更容易閱讀而 已。這條語句將棧頂元素彈出(0) ,所以之后，堆棧為空。

5 NewRecno 0 0

NewRecno 為指針P1指向的數(shù)據(jù)表創(chuàng)建一個(gè)整型的新的紀(jì)錄號(hào)。這個(gè)紀(jì)錄好并不是一個(gè)用在表里的鍵值。新的紀(jì)錄號(hào)被壓入堆棧。這個(gè)動(dòng)作之后，堆棧看起來是這樣：

(integer) new record key

6 String 0 0 Hello, World!

String 將它的P3參數(shù)壓入堆棧，之后，堆棧應(yīng)該是這樣：

(string) "Hello World!"

(integer) new record key

7 Integer 99 0 99

動(dòng)作之后，堆棧應(yīng)該是這樣：

(integer) 99

(string) "Hello, World!"

(integer) new record key

8 MakeRecord 2 0

MakeRecord 將棧頂?shù)腜1個(gè)元素取出( 2個(gè)),并且將他們轉(zhuǎn)換成二進(jìn)制，然后再把新生成的結(jié)構(gòu)壓回堆棧。之后，堆棧應(yīng)該是這樣：

(record) "Hello, World!", 99

(integer) new record key

9 PutIntKey 0 1

PutIntKey 將棧頂?shù)?個(gè)元素作為一個(gè)entry寫入P1所指的表中，如果表中元素不存在，那么將被創(chuàng)建。如果已經(jīng)存在，則會(huì)被覆蓋。數(shù)據(jù)是棧頂元素，鍵是下面的元 素。這條語句當(dāng)中，進(jìn)行2次出棧操作。P2參數(shù)用來判定是否修改表中當(dāng)前rowID,P2=1則rowID 1，并且由 last_insert_rowID()函數(shù)返回，如果rowID=0,則行號(hào)不變，仍未當(dāng)前ID.(這就解釋了"表中元素不存在，那么將被創(chuàng)建。如果已 經(jīng)存在，則會(huì)被覆蓋").這條語句是文件操作上的insert.

10 Close 0 0

Close 關(guān)閉之前打開的一個(gè)文件指針(0)(對(duì)應(yīng)于前面的OpenWrite), 如果文件指針當(dāng)前并沒有打開，這條語句不被執(zhí)行。