Documentation Source Text

Hex Artifact Content
Login

Artifact 4d3906b6892504cd67502bab386d2ac9f0f29829:


0000: 3c 74 69 74 6c 65 3e 41 72 63 68 69 74 65 63 74  <title>Architect
0010: 75 72 65 20 6f 66 20 53 51 4c 69 74 65 3c 2f 74  ure of SQLite</t
0020: 69 74 6c 65 3e 0a 3c 68 32 3e 54 68 65 20 41 72  itle>.<h2>The Ar
0030: 63 68 69 74 65 63 74 75 72 65 20 4f 66 20 53 51  chitecture Of SQ
0040: 4c 69 74 65 3c 2f 68 32 3e 0a 0a 3c 68 33 3e 49  Lite</h2>..<h3>I
0050: 6e 74 72 6f 64 75 63 74 69 6f 6e 3c 2f 68 33 3e  ntroduction</h3>
0060: 0a 0a 3c 74 61 62 6c 65 20 61 6c 69 67 6e 3d 22  ..<table align="
0070: 72 69 67 68 74 22 20 62 6f 72 64 65 72 3d 22 31  right" border="1
0080: 22 20 63 65 6c 6c 70 61 64 64 69 6e 67 3d 22 31  " cellpadding="1
0090: 35 22 20 63 65 6c 6c 73 70 61 63 69 6e 67 3d 22  5" cellspacing="
00a0: 31 22 3e 0a 3c 74 72 3e 3c 74 68 3e 42 6c 6f 63  1">.<tr><th>Bloc
00b0: 6b 20 44 69 61 67 72 61 6d 20 4f 66 20 53 51 4c  k Diagram Of SQL
00c0: 69 74 65 3c 2f 74 68 3e 3c 2f 74 72 3e 0a 3c 74  ite</th></tr>.<t
00d0: 72 3e 3c 74 64 3e 3c 69 6d 67 20 73 72 63 3d 22  r><td><img src="
00e0: 69 6d 61 67 65 73 2f 61 72 63 68 32 2e 67 69 66  images/arch2.gif
00f0: 22 3e 3c 2f 74 64 3e 3c 2f 74 72 3e 0a 3c 2f 74  "></td></tr>.</t
0100: 61 62 6c 65 3e 0a 3c 70 3e 54 68 69 73 20 64 6f  able>.<p>This do
0110: 63 75 6d 65 6e 74 20 64 65 73 63 72 69 62 65 73  cument describes
0120: 20 74 68 65 20 61 72 63 68 69 74 65 63 74 75 72   the architectur
0130: 65 20 6f 66 20 74 68 65 20 53 51 4c 69 74 65 20  e of the SQLite 
0140: 6c 69 62 72 61 72 79 2e 0a 54 68 65 20 69 6e 66  library..The inf
0150: 6f 72 6d 61 74 69 6f 6e 20 68 65 72 65 20 69 73  ormation here is
0160: 20 75 73 65 66 75 6c 20 74 6f 20 74 68 6f 73 65   useful to those
0170: 20 77 68 6f 20 77 61 6e 74 20 74 6f 20 75 6e 64   who want to und
0180: 65 72 73 74 61 6e 64 20 6f 72 0a 6d 6f 64 69 66  erstand or.modif
0190: 79 20 74 68 65 20 69 6e 6e 65 72 20 77 6f 72 6b  y the inner work
01a0: 69 6e 67 73 20 6f 66 20 53 51 4c 69 74 65 2e 0a  ings of SQLite..
01b0: 3c 2f 70 3e 0a 0a 3c 70 3e 0a 41 20 62 6c 6f 63  </p>..<p>.A bloc
01c0: 6b 20 64 69 61 67 72 61 6d 20 73 68 6f 77 69 6e  k diagram showin
01d0: 67 20 74 68 65 20 6d 61 69 6e 20 63 6f 6d 70 6f  g the main compo
01e0: 6e 65 6e 74 73 20 6f 66 20 53 51 4c 69 74 65 0a  nents of SQLite.
01f0: 61 6e 64 20 68 6f 77 20 74 68 65 79 20 69 6e 74  and how they int
0200: 65 72 72 65 6c 61 74 65 20 69 73 20 73 68 6f 77  errelate is show
0210: 6e 20 61 74 20 74 68 65 20 72 69 67 68 74 2e 20  n at the right. 
0220: 20 54 68 65 20 74 65 78 74 20 74 68 61 74 0a 66   The text that.f
0230: 6f 6c 6c 6f 77 73 20 77 69 6c 6c 20 70 72 6f 76  ollows will prov
0240: 69 64 65 20 61 20 71 75 69 63 6b 20 6f 76 65 72  ide a quick over
0250: 76 69 65 77 20 6f 66 20 65 61 63 68 20 6f 66 20  view of each of 
0260: 74 68 65 73 65 20 63 6f 6d 70 6f 6e 65 6e 74 73  these components
0270: 2e 0a 3c 2f 70 3e 0a 0a 0a 3c 70 3e 0a 54 68 69  ..</p>...<p>.Thi
0280: 73 20 64 6f 63 75 6d 65 6e 74 20 64 65 73 63 72  s document descr
0290: 69 62 65 73 20 53 51 4c 69 74 65 20 76 65 72 73  ibes SQLite vers
02a0: 69 6f 6e 20 33 2e 30 2e 20 20 56 65 72 73 69 6f  ion 3.0.  Versio
02b0: 6e 20 32 2e 38 20 61 6e 64 0a 65 61 72 6c 69 65  n 2.8 and.earlie
02c0: 72 20 61 72 65 20 73 69 6d 69 6c 61 72 20 62 75  r are similar bu
02d0: 74 20 74 68 65 20 64 65 74 61 69 6c 73 20 64 69  t the details di
02e0: 66 66 65 72 2e 0a 3c 2f 70 3e 0a 0a 3c 68 33 3e  ffer..</p>..<h3>
02f0: 49 6e 74 65 72 66 61 63 65 3c 2f 68 33 3e 0a 0a  Interface</h3>..
0300: 3c 70 3e 4d 75 63 68 20 6f 66 20 74 68 65 20 70  <p>Much of the p
0310: 75 62 6c 69 63 20 69 6e 74 65 72 66 61 63 65 20  ublic interface 
0320: 74 6f 20 74 68 65 20 53 51 4c 69 74 65 20 6c 69  to the SQLite li
0330: 62 72 61 72 79 20 69 73 20 69 6d 70 6c 65 6d 65  brary is impleme
0340: 6e 74 65 64 20 62 79 0a 66 75 6e 63 74 69 6f 6e  nted by.function
0350: 73 20 66 6f 75 6e 64 20 69 6e 20 74 68 65 20 3c  s found in the <
0360: 62 3e 6d 61 69 6e 2e 63 3c 2f 62 3e 2c 20 3c 62  b>main.c</b>, <b
0370: 3e 6c 65 67 61 63 79 2e 63 3c 2f 62 3e 2c 20 61  >legacy.c</b>, a
0380: 6e 64 0a 3c 62 3e 76 64 62 65 61 70 69 2e 63 3c  nd.<b>vdbeapi.c<
0390: 2f 62 3e 20 73 6f 75 72 63 65 20 66 69 6c 65 73  /b> source files
03a0: 0a 74 68 6f 75 67 68 20 73 6f 6d 65 20 72 6f 75  .though some rou
03b0: 74 69 6e 65 73 20 61 72 65 0a 73 63 61 74 74 65  tines are.scatte
03c0: 72 65 64 20 61 62 6f 75 74 20 69 6e 20 6f 74 68  red about in oth
03d0: 65 72 20 66 69 6c 65 73 20 77 68 65 72 65 20 74  er files where t
03e0: 68 65 79 20 63 61 6e 20 68 61 76 65 20 61 63 63  hey can have acc
03f0: 65 73 73 20 74 6f 20 64 61 74 61 20 0a 73 74 72  ess to data .str
0400: 75 63 74 75 72 65 73 20 77 69 74 68 20 66 69 6c  uctures with fil
0410: 65 20 73 63 6f 70 65 2e 20 20 54 68 65 0a 3c 62  e scope.  The.<b
0420: 3e 73 71 6c 69 74 65 33 5f 67 65 74 5f 74 61 62  >sqlite3_get_tab
0430: 6c 65 28 29 3c 2f 62 3e 20 72 6f 75 74 69 6e 65  le()</b> routine
0440: 20 69 73 20 69 6d 70 6c 65 6d 65 6e 74 65 64 20   is implemented 
0450: 69 6e 20 3c 62 3e 74 61 62 6c 65 2e 63 3c 2f 62  in <b>table.c</b
0460: 3e 2e 0a 3c 62 3e 73 71 6c 69 74 65 33 5f 6d 70  >..<b>sqlite3_mp
0470: 72 69 6e 74 66 28 29 3c 2f 62 3e 20 69 73 20 66  rintf()</b> is f
0480: 6f 75 6e 64 20 69 6e 20 3c 62 3e 70 72 69 6e 74  ound in <b>print
0490: 66 2e 63 3c 2f 62 3e 2e 0a 3c 62 3e 73 71 6c 69  f.c</b>..<b>sqli
04a0: 74 65 33 5f 63 6f 6d 70 6c 65 74 65 28 29 3c 2f  te3_complete()</
04b0: 62 3e 20 69 73 20 69 6e 20 3c 62 3e 74 6f 6b 65  b> is in <b>toke
04c0: 6e 69 7a 65 2e 63 3c 2f 62 3e 2e 0a 54 68 65 20  nize.c</b>..The 
04d0: 54 63 6c 20 69 6e 74 65 72 66 61 63 65 20 69 73  Tcl interface is
04e0: 20 69 6d 70 6c 65 6d 65 6e 74 65 64 20 62 79 20   implemented by 
04f0: 3c 62 3e 74 63 6c 73 71 6c 69 74 65 2e 63 3c 2f  <b>tclsqlite.c</
0500: 62 3e 2e 20 20 4d 6f 72 65 0a 69 6e 66 6f 72 6d  b>.  More.inform
0510: 61 74 69 6f 6e 20 6f 6e 20 74 68 65 20 43 20 69  ation on the C i
0520: 6e 74 65 72 66 61 63 65 20 74 6f 20 53 51 4c 69  nterface to SQLi
0530: 74 65 20 69 73 0a 3c 61 20 68 72 65 66 3d 22 63  te is.<a href="c
0540: 61 70 69 33 72 65 66 2e 68 74 6d 6c 22 3e 61 76  api3ref.html">av
0550: 61 69 6c 61 62 6c 65 20 73 65 70 61 72 61 74 65  ailable separate
0560: 6c 79 3c 2f 61 3e 2e 3c 70 3e 0a 0a 3c 70 3e 54  ly</a>.<p>..<p>T
0570: 6f 20 61 76 6f 69 64 20 6e 61 6d 65 20 63 6f 6c  o avoid name col
0580: 6c 69 73 69 6f 6e 73 20 77 69 74 68 20 6f 74 68  lisions with oth
0590: 65 72 20 73 6f 66 74 77 61 72 65 2c 20 61 6c 6c  er software, all
05a0: 20 65 78 74 65 72 6e 61 6c 0a 73 79 6d 62 6f 6c   external.symbol
05b0: 73 20 69 6e 20 74 68 65 20 53 51 4c 69 74 65 20  s in the SQLite 
05c0: 6c 69 62 72 61 72 79 20 62 65 67 69 6e 20 77 69  library begin wi
05d0: 74 68 20 74 68 65 20 70 72 65 66 69 78 20 3c 62  th the prefix <b
05e0: 3e 73 71 6c 69 74 65 33 3c 2f 62 3e 2e 0a 54 68  >sqlite3</b>..Th
05f0: 6f 73 65 20 73 79 6d 62 6f 6c 73 20 74 68 61 74  ose symbols that
0600: 20 61 72 65 20 69 6e 74 65 6e 64 65 64 20 66 6f   are intended fo
0610: 72 20 65 78 74 65 72 6e 61 6c 20 75 73 65 20 28  r external use (
0620: 69 6e 20 6f 74 68 65 72 20 77 6f 72 64 73 2c 0a  in other words,.
0630: 74 68 6f 73 65 20 73 79 6d 62 6f 6c 73 20 77 68  those symbols wh
0640: 69 63 68 20 66 6f 72 6d 20 74 68 65 20 41 50 49  ich form the API
0650: 20 66 6f 72 20 53 51 4c 69 74 65 29 20 62 65 67   for SQLite) beg
0660: 69 6e 0a 77 69 74 68 20 3c 62 3e 73 71 6c 69 74  in.with <b>sqlit
0670: 65 33 5f 3c 2f 62 3e 2e 3c 2f 70 3e 0a 0a 3c 68  e3_</b>.</p>..<h
0680: 33 3e 54 6f 6b 65 6e 69 7a 65 72 3c 2f 68 33 3e  3>Tokenizer</h3>
0690: 0a 0a 3c 70 3e 57 68 65 6e 20 61 20 73 74 72 69  ..<p>When a stri
06a0: 6e 67 20 63 6f 6e 74 61 69 6e 69 6e 67 20 53 51  ng containing SQ
06b0: 4c 20 73 74 61 74 65 6d 65 6e 74 73 20 69 73 20  L statements is 
06c0: 74 6f 20 62 65 20 65 78 65 63 75 74 65 64 2c 20  to be executed, 
06d0: 74 68 65 0a 69 6e 74 65 72 66 61 63 65 20 70 61  the.interface pa
06e0: 73 73 65 73 20 74 68 61 74 20 73 74 72 69 6e 67  sses that string
06f0: 20 74 6f 20 74 68 65 20 74 6f 6b 65 6e 69 7a 65   to the tokenize
0700: 72 2e 20 20 54 68 65 20 6a 6f 62 20 6f 66 20 74  r.  The job of t
0710: 68 65 20 74 6f 6b 65 6e 69 7a 65 72 0a 69 73 20  he tokenizer.is 
0720: 74 6f 20 62 72 65 61 6b 20 74 68 65 20 6f 72 69  to break the ori
0730: 67 69 6e 61 6c 20 73 74 72 69 6e 67 20 75 70 20  ginal string up 
0740: 69 6e 74 6f 20 74 6f 6b 65 6e 73 20 61 6e 64 20  into tokens and 
0750: 70 61 73 73 20 74 68 6f 73 65 20 74 6f 6b 65 6e  pass those token
0760: 73 0a 6f 6e 65 20 62 79 20 6f 6e 65 20 74 6f 20  s.one by one to 
0770: 74 68 65 20 70 61 72 73 65 72 2e 20 20 54 68 65  the parser.  The
0780: 20 74 6f 6b 65 6e 69 7a 65 72 20 69 73 20 68 61   tokenizer is ha
0790: 6e 64 2d 63 6f 64 65 64 20 69 6e 20 43 20 69 6e  nd-coded in C in
07a0: 20 0a 74 68 65 20 66 69 6c 65 20 3c 62 3e 74 6f   .the file <b>to
07b0: 6b 65 6e 69 7a 65 2e 63 3c 2f 62 3e 2e 0a 0a 3c  kenize.c</b>...<
07c0: 70 3e 4e 6f 74 65 20 74 68 61 74 20 69 6e 20 74  p>Note that in t
07d0: 68 69 73 20 64 65 73 69 67 6e 2c 20 74 68 65 20  his design, the 
07e0: 74 6f 6b 65 6e 69 7a 65 72 20 63 61 6c 6c 73 20  tokenizer calls 
07f0: 74 68 65 20 70 61 72 73 65 72 2e 20 20 50 65 6f  the parser.  Peo
0800: 70 6c 65 0a 77 68 6f 20 61 72 65 20 66 61 6d 69  ple.who are fami
0810: 6c 69 61 72 20 77 69 74 68 20 59 41 43 43 20 61  liar with YACC a
0820: 6e 64 20 42 49 53 4f 4e 20 6d 61 79 20 62 65 20  nd BISON may be 
0830: 75 73 65 64 20 74 6f 20 64 6f 69 6e 67 20 74 68  used to doing th
0840: 69 6e 67 73 20 74 68 65 0a 6f 74 68 65 72 20 77  ings the.other w
0850: 61 79 20 61 72 6f 75 6e 64 20 2d 2d 20 68 61 76  ay around -- hav
0860: 69 6e 67 20 74 68 65 20 70 61 72 73 65 72 20 63  ing the parser c
0870: 61 6c 6c 20 74 68 65 20 74 6f 6b 65 6e 69 7a 65  all the tokenize
0880: 72 2e 20 20 54 68 65 20 61 75 74 68 6f 72 0a 6f  r.  The author.o
0890: 66 20 53 51 4c 69 74 65 20 0a 68 61 73 20 64 6f  f SQLite .has do
08a0: 6e 65 20 69 74 20 62 6f 74 68 20 77 61 79 73 20  ne it both ways 
08b0: 61 6e 64 20 66 69 6e 64 73 20 74 68 69 6e 67 73  and finds things
08c0: 20 67 65 6e 65 72 61 6c 6c 79 20 77 6f 72 6b 20   generally work 
08d0: 6f 75 74 20 6e 69 63 65 72 20 66 6f 72 0a 74 68  out nicer for.th
08e0: 65 20 74 6f 6b 65 6e 69 7a 65 72 20 74 6f 20 63  e tokenizer to c
08f0: 61 6c 6c 20 74 68 65 20 70 61 72 73 65 72 2e 20  all the parser. 
0900: 20 59 41 43 43 20 68 61 73 20 69 74 20 62 61 63   YACC has it bac
0910: 6b 77 61 72 64 73 2e 3c 2f 70 3e 0a 0a 3c 68 33  kwards.</p>..<h3
0920: 3e 50 61 72 73 65 72 3c 2f 68 33 3e 0a 0a 3c 70  >Parser</h3>..<p
0930: 3e 54 68 65 20 70 61 72 73 65 72 20 69 73 20 74  >The parser is t
0940: 68 65 20 70 69 65 63 65 20 74 68 61 74 20 61 73  he piece that as
0950: 73 69 67 6e 73 20 6d 65 61 6e 69 6e 67 20 74 6f  signs meaning to
0960: 20 74 6f 6b 65 6e 73 20 62 61 73 65 64 20 6f 6e   tokens based on
0970: 0a 74 68 65 69 72 20 63 6f 6e 74 65 78 74 2e 20  .their context. 
0980: 20 54 68 65 20 70 61 72 73 65 72 20 66 6f 72 20   The parser for 
0990: 53 51 4c 69 74 65 20 69 73 20 67 65 6e 65 72 61  SQLite is genera
09a0: 74 65 64 20 75 73 69 6e 67 20 74 68 65 0a 3c 61  ted using the.<a
09b0: 20 68 72 65 66 3d 22 68 74 74 70 3a 2f 2f 77 77   href="http://ww
09c0: 77 2e 68 77 61 63 69 2e 63 6f 6d 2f 73 77 2f 6c  w.hwaci.com/sw/l
09d0: 65 6d 6f 6e 2f 22 3e 4c 65 6d 6f 6e 3c 2f 61 3e  emon/">Lemon</a>
09e0: 20 4c 41 4c 52 28 31 29 20 70 61 72 73 65 72 0a   LALR(1) parser.
09f0: 67 65 6e 65 72 61 74 6f 72 2e 20 20 4c 65 6d 6f  generator.  Lemo
0a00: 6e 20 64 6f 65 73 20 74 68 65 20 73 61 6d 65 20  n does the same 
0a10: 6a 6f 62 20 61 73 20 59 41 43 43 2f 42 49 53 4f  job as YACC/BISO
0a20: 4e 2c 20 62 75 74 20 69 74 20 75 73 65 73 0a 61  N, but it uses.a
0a30: 20 64 69 66 66 65 72 65 6e 74 20 69 6e 70 75 74   different input
0a40: 20 73 79 6e 74 61 78 20 77 68 69 63 68 20 69 73   syntax which is
0a50: 20 6c 65 73 73 20 65 72 72 6f 72 2d 70 72 6f 6e   less error-pron
0a60: 65 2e 0a 4c 65 6d 6f 6e 20 61 6c 73 6f 20 67 65  e..Lemon also ge
0a70: 6e 65 72 61 74 65 73 20 61 20 70 61 72 73 65 72  nerates a parser
0a80: 20 77 68 69 63 68 20 69 73 20 72 65 65 6e 74 72   which is reentr
0a90: 61 6e 74 20 61 6e 64 20 74 68 72 65 61 64 2d 73  ant and thread-s
0aa0: 61 66 65 2e 0a 41 6e 64 20 6c 65 6d 6f 6e 20 64  afe..And lemon d
0ab0: 65 66 69 6e 65 73 20 74 68 65 20 63 6f 6e 63 65  efines the conce
0ac0: 70 74 20 6f 66 20 61 20 6e 6f 6e 2d 74 65 72 6d  pt of a non-term
0ad0: 69 6e 61 6c 20 64 65 73 74 72 75 63 74 6f 72 20  inal destructor 
0ae0: 73 6f 0a 74 68 61 74 20 69 74 20 64 6f 65 73 20  so.that it does 
0af0: 6e 6f 74 20 6c 65 61 6b 20 6d 65 6d 6f 72 79 20  not leak memory 
0b00: 77 68 65 6e 20 73 79 6e 74 61 78 20 65 72 72 6f  when syntax erro
0b10: 72 73 20 61 72 65 20 65 6e 63 6f 75 6e 74 65 72  rs are encounter
0b20: 65 64 2e 0a 54 68 65 20 73 6f 75 72 63 65 20 66  ed..The source f
0b30: 69 6c 65 20 74 68 61 74 20 64 72 69 76 65 73 20  ile that drives 
0b40: 4c 65 6d 6f 6e 20 69 73 20 66 6f 75 6e 64 20 69  Lemon is found i
0b50: 6e 20 3c 62 3e 70 61 72 73 65 2e 79 3c 2f 62 3e  n <b>parse.y</b>
0b60: 2e 3c 2f 70 3e 0a 0a 3c 70 3e 42 65 63 61 75 73  .</p>..<p>Becaus
0b70: 65 0a 6c 65 6d 6f 6e 20 69 73 20 61 20 70 72 6f  e.lemon is a pro
0b80: 67 72 61 6d 20 6e 6f 74 20 6e 6f 72 6d 61 6c 6c  gram not normall
0b90: 79 20 66 6f 75 6e 64 20 6f 6e 20 64 65 76 65 6c  y found on devel
0ba0: 6f 70 6d 65 6e 74 20 6d 61 63 68 69 6e 65 73 2c  opment machines,
0bb0: 20 74 68 65 0a 63 6f 6d 70 6c 65 74 65 20 73 6f   the.complete so
0bc0: 75 72 63 65 20 63 6f 64 65 20 74 6f 20 6c 65 6d  urce code to lem
0bd0: 6f 6e 20 28 6a 75 73 74 20 6f 6e 65 20 43 20 66  on (just one C f
0be0: 69 6c 65 29 20 69 73 20 69 6e 63 6c 75 64 65 64  ile) is included
0bf0: 20 69 6e 20 74 68 65 0a 53 51 4c 69 74 65 20 64   in the.SQLite d
0c00: 69 73 74 72 69 62 75 74 69 6f 6e 20 69 6e 20 74  istribution in t
0c10: 68 65 20 22 74 6f 6f 6c 22 20 73 75 62 64 69 72  he "tool" subdir
0c20: 65 63 74 6f 72 79 2e 20 20 44 6f 63 75 6d 65 6e  ectory.  Documen
0c30: 74 61 74 69 6f 6e 20 6f 6e 0a 6c 65 6d 6f 6e 20  tation on.lemon 
0c40: 69 73 20 66 6f 75 6e 64 20 69 6e 20 74 68 65 20  is found in the 
0c50: 22 64 6f 63 22 20 73 75 62 64 69 72 65 63 74 6f  "doc" subdirecto
0c60: 72 79 20 6f 66 20 74 68 65 20 64 69 73 74 72 69  ry of the distri
0c70: 62 75 74 69 6f 6e 2e 0a 3c 2f 70 3e 0a 0a 3c 68  bution..</p>..<h
0c80: 33 3e 43 6f 64 65 20 47 65 6e 65 72 61 74 6f 72  3>Code Generator
0c90: 3c 2f 68 33 3e 0a 0a 3c 70 3e 41 66 74 65 72 20  </h3>..<p>After 
0ca0: 74 68 65 20 70 61 72 73 65 72 20 61 73 73 65 6d  the parser assem
0cb0: 62 6c 65 73 20 74 6f 6b 65 6e 73 20 69 6e 74 6f  bles tokens into
0cc0: 20 63 6f 6d 70 6c 65 74 65 20 53 51 4c 20 73 74   complete SQL st
0cd0: 61 74 65 6d 65 6e 74 73 2c 0a 69 74 20 63 61 6c  atements,.it cal
0ce0: 6c 73 20 74 68 65 20 63 6f 64 65 20 67 65 6e 65  ls the code gene
0cf0: 72 61 74 6f 72 20 74 6f 20 70 72 6f 64 75 63 65  rator to produce
0d00: 20 76 69 72 74 75 61 6c 20 6d 61 63 68 69 6e 65   virtual machine
0d10: 20 63 6f 64 65 20 74 68 61 74 0a 77 69 6c 6c 20   code that.will 
0d20: 64 6f 20 74 68 65 20 77 6f 72 6b 20 74 68 61 74  do the work that
0d30: 20 74 68 65 20 53 51 4c 20 73 74 61 74 65 6d 65   the SQL stateme
0d40: 6e 74 73 20 72 65 71 75 65 73 74 2e 20 20 54 68  nts request.  Th
0d50: 65 72 65 20 61 72 65 20 6d 61 6e 79 0a 66 69 6c  ere are many.fil
0d60: 65 73 20 69 6e 20 74 68 65 20 63 6f 64 65 20 67  es in the code g
0d70: 65 6e 65 72 61 74 6f 72 3a 0a 3c 62 3e 61 74 74  enerator:.<b>att
0d80: 61 63 68 2e 63 3c 2f 62 3e 2c 0a 3c 62 3e 61 75  ach.c</b>,.<b>au
0d90: 74 68 2e 63 3c 2f 62 3e 2c 0a 3c 62 3e 62 75 69  th.c</b>,.<b>bui
0da0: 6c 64 2e 63 3c 2f 62 3e 2c 0a 3c 62 3e 64 65 6c  ld.c</b>,.<b>del
0db0: 65 74 65 2e 63 3c 2f 62 3e 2c 0a 3c 62 3e 65 78  ete.c</b>,.<b>ex
0dc0: 70 72 2e 63 3c 2f 62 3e 2c 0a 3c 62 3e 69 6e 73  pr.c</b>,.<b>ins
0dd0: 65 72 74 2e 63 3c 2f 62 3e 2c 0a 3c 62 3e 70 72  ert.c</b>,.<b>pr
0de0: 61 67 6d 61 2e 63 3c 2f 62 3e 2c 0a 3c 62 3e 73  agma.c</b>,.<b>s
0df0: 65 6c 65 63 74 2e 63 3c 2f 62 3e 2c 0a 3c 62 3e  elect.c</b>,.<b>
0e00: 74 72 69 67 67 65 72 2e 63 3c 2f 62 3e 2c 0a 3c  trigger.c</b>,.<
0e10: 62 3e 75 70 64 61 74 65 2e 63 3c 2f 62 3e 2c 0a  b>update.c</b>,.
0e20: 3c 62 3e 76 61 63 75 75 6d 2e 63 3c 2f 62 3e 0a  <b>vacuum.c</b>.
0e30: 61 6e 64 20 3c 62 3e 77 68 65 72 65 2e 63 3c 2f  and <b>where.c</
0e40: 62 3e 2e 0a 49 6e 20 74 68 65 73 65 20 66 69 6c  b>..In these fil
0e50: 65 73 20 69 73 20 77 68 65 72 65 20 6d 6f 73 74  es is where most
0e60: 20 6f 66 20 74 68 65 20 73 65 72 69 6f 75 73 20   of the serious 
0e70: 6d 61 67 69 63 20 68 61 70 70 65 6e 73 2e 0a 3c  magic happens..<
0e80: 62 3e 65 78 70 72 2e 63 3c 2f 62 3e 20 68 61 6e  b>expr.c</b> han
0e90: 64 6c 65 73 20 63 6f 64 65 20 67 65 6e 65 72 61  dles code genera
0ea0: 74 69 6f 6e 20 66 6f 72 20 65 78 70 72 65 73 73  tion for express
0eb0: 69 6f 6e 73 2e 0a 3c 62 3e 77 68 65 72 65 2e 63  ions..<b>where.c
0ec0: 3c 2f 62 3e 20 68 61 6e 64 6c 65 73 20 63 6f 64  </b> handles cod
0ed0: 65 20 67 65 6e 65 72 61 74 69 6f 6e 20 66 6f 72  e generation for
0ee0: 20 57 48 45 52 45 20 63 6c 61 75 73 65 73 20 6f   WHERE clauses o
0ef0: 6e 0a 53 45 4c 45 43 54 2c 20 55 50 44 41 54 45  n.SELECT, UPDATE
0f00: 20 61 6e 64 20 44 45 4c 45 54 45 20 73 74 61 74   and DELETE stat
0f10: 65 6d 65 6e 74 73 2e 20 20 54 68 65 20 66 69 6c  ements.  The fil
0f20: 65 73 20 3c 62 3e 61 74 74 61 63 68 2e 63 3c 2f  es <b>attach.c</
0f30: 62 3e 2c 0a 3c 62 3e 64 65 6c 65 74 65 2e 63 3c  b>,.<b>delete.c<
0f40: 2f 62 3e 2c 20 3c 62 3e 69 6e 73 65 72 74 2e 63  /b>, <b>insert.c
0f50: 3c 2f 62 3e 2c 20 3c 62 3e 73 65 6c 65 63 74 2e  </b>, <b>select.
0f60: 63 3c 2f 62 3e 2c 20 3c 62 3e 74 72 69 67 67 65  c</b>, <b>trigge
0f70: 72 2e 63 3c 2f 62 3e 0a 3c 62 3e 75 70 64 61 74  r.c</b>.<b>updat
0f80: 65 2e 63 3c 2f 62 3e 2c 20 61 6e 64 20 3c 62 3e  e.c</b>, and <b>
0f90: 76 61 63 75 75 6d 2e 63 3c 2f 62 3e 20 68 61 6e  vacuum.c</b> han
0fa0: 64 6c 65 20 74 68 65 20 63 6f 64 65 20 67 65 6e  dle the code gen
0fb0: 65 72 61 74 69 6f 6e 0a 66 6f 72 20 53 51 4c 20  eration.for SQL 
0fc0: 73 74 61 74 65 6d 65 6e 74 73 20 77 69 74 68 20  statements with 
0fd0: 74 68 65 20 73 61 6d 65 20 6e 61 6d 65 73 2e 20  the same names. 
0fe0: 20 28 45 61 63 68 20 6f 66 20 74 68 65 73 65 20   (Each of these 
0ff0: 66 69 6c 65 73 20 63 61 6c 6c 73 20 72 6f 75 74  files calls rout
1000: 69 6e 65 73 0a 69 6e 20 3c 62 3e 65 78 70 72 2e  ines.in <b>expr.
1010: 63 3c 2f 62 3e 20 61 6e 64 20 3c 62 3e 77 68 65  c</b> and <b>whe
1020: 72 65 2e 63 3c 2f 62 3e 20 61 73 20 6e 65 63 65  re.c</b> as nece
1030: 73 73 61 72 79 2e 29 20 20 41 6c 6c 20 6f 74 68  ssary.)  All oth
1040: 65 72 0a 53 51 4c 20 73 74 61 74 65 6d 65 6e 74  er.SQL statement
1050: 73 20 61 72 65 20 63 6f 64 65 64 20 6f 75 74 20  s are coded out 
1060: 6f 66 20 3c 62 3e 62 75 69 6c 64 2e 63 3c 2f 62  of <b>build.c</b
1070: 3e 2e 0a 54 68 65 20 3c 62 3e 61 75 74 68 2e 63  >..The <b>auth.c
1080: 3c 2f 62 3e 20 66 69 6c 65 20 69 6d 70 6c 65 6d  </b> file implem
1090: 65 6e 74 73 20 74 68 65 20 66 75 6e 63 74 69 6f  ents the functio
10a0: 6e 61 6c 69 74 79 20 6f 66 0a 3c 62 3e 73 71 6c  nality of.<b>sql
10b0: 69 74 65 33 5f 73 65 74 5f 61 75 74 68 6f 72 69  ite3_set_authori
10c0: 7a 65 72 28 29 3c 2f 62 3e 2e 3c 2f 70 3e 0a 0a  zer()</b>.</p>..
10d0: 3c 68 33 3e 56 69 72 74 75 61 6c 20 4d 61 63 68  <h3>Virtual Mach
10e0: 69 6e 65 3c 2f 68 33 3e 0a 0a 3c 70 3e 54 68 65  ine</h3>..<p>The
10f0: 20 70 72 6f 67 72 61 6d 20 67 65 6e 65 72 61 74   program generat
1100: 65 64 20 62 79 20 74 68 65 20 63 6f 64 65 20 67  ed by the code g
1110: 65 6e 65 72 61 74 6f 72 20 69 73 20 65 78 65 63  enerator is exec
1120: 75 74 65 64 20 62 79 0a 74 68 65 20 76 69 72 74  uted by.the virt
1130: 75 61 6c 20 6d 61 63 68 69 6e 65 2e 20 20 41 64  ual machine.  Ad
1140: 64 69 74 69 6f 6e 61 6c 20 69 6e 66 6f 72 6d 61  ditional informa
1150: 74 69 6f 6e 20 61 62 6f 75 74 20 74 68 65 20 76  tion about the v
1160: 69 72 74 75 61 6c 0a 6d 61 63 68 69 6e 65 20 69  irtual.machine i
1170: 73 20 3c 61 20 68 72 65 66 3d 22 6f 70 63 6f 64  s <a href="opcod
1180: 65 2e 68 74 6d 6c 22 3e 61 76 61 69 6c 61 62 6c  e.html">availabl
1190: 65 20 73 65 70 61 72 61 74 65 6c 79 3c 2f 61 3e  e separately</a>
11a0: 2e 0a 54 6f 20 73 75 6d 6d 61 72 69 7a 65 2c 20  ..To summarize, 
11b0: 74 68 65 20 76 69 72 74 75 61 6c 20 6d 61 63 68  the virtual mach
11c0: 69 6e 65 20 69 6d 70 6c 65 6d 65 6e 74 73 20 61  ine implements a
11d0: 6e 20 61 62 73 74 72 61 63 74 20 63 6f 6d 70 75  n abstract compu
11e0: 74 69 6e 67 0a 65 6e 67 69 6e 65 20 73 70 65 63  ting.engine spec
11f0: 69 66 69 63 61 6c 6c 79 20 64 65 73 69 67 6e 65  ifically designe
1200: 64 20 74 6f 20 6d 61 6e 69 70 75 6c 61 74 65 20  d to manipulate 
1210: 64 61 74 61 62 61 73 65 20 66 69 6c 65 73 2e 20  database files. 
1220: 20 54 68 65 0a 6d 61 63 68 69 6e 65 20 68 61 73   The.machine has
1230: 20 61 20 73 74 61 63 6b 20 77 68 69 63 68 20 69   a stack which i
1240: 73 20 75 73 65 64 20 66 6f 72 20 69 6e 74 65 72  s used for inter
1250: 6d 65 64 69 61 74 65 20 73 74 6f 72 61 67 65 2e  mediate storage.
1260: 0a 45 61 63 68 20 69 6e 73 74 72 75 63 74 69 6f  .Each instructio
1270: 6e 20 63 6f 6e 74 61 69 6e 73 20 61 6e 20 6f 70  n contains an op
1280: 63 6f 64 65 20 61 6e 64 0a 75 70 20 74 6f 20 74  code and.up to t
1290: 68 72 65 65 20 61 64 64 69 74 69 6f 6e 61 6c 20  hree additional 
12a0: 6f 70 65 72 61 6e 64 73 2e 3c 2f 70 3e 0a 0a 3c  operands.</p>..<
12b0: 70 3e 54 68 65 20 76 69 72 74 75 61 6c 20 6d 61  p>The virtual ma
12c0: 63 68 69 6e 65 20 69 74 73 65 6c 66 20 69 73 20  chine itself is 
12d0: 65 6e 74 69 72 65 6c 79 20 63 6f 6e 74 61 69 6e  entirely contain
12e0: 65 64 20 69 6e 20 61 20 73 69 6e 67 6c 65 0a 73  ed in a single.s
12f0: 6f 75 72 63 65 20 66 69 6c 65 20 3c 62 3e 76 64  ource file <b>vd
1300: 62 65 2e 63 3c 2f 62 3e 2e 20 20 54 68 65 20 76  be.c</b>.  The v
1310: 69 72 74 75 61 6c 20 6d 61 63 68 69 6e 65 20 61  irtual machine a
1320: 6c 73 6f 20 68 61 73 0a 69 74 73 20 6f 77 6e 20  lso has.its own 
1330: 68 65 61 64 65 72 20 66 69 6c 65 73 3a 20 3c 62  header files: <b
1340: 3e 76 64 62 65 2e 68 3c 2f 62 3e 20 74 68 61 74  >vdbe.h</b> that
1350: 20 64 65 66 69 6e 65 73 20 61 6e 20 69 6e 74 65   defines an inte
1360: 72 66 61 63 65 0a 62 65 74 77 65 65 6e 20 74 68  rface.between th
1370: 65 20 76 69 72 74 75 61 6c 20 6d 61 63 68 69 6e  e virtual machin
1380: 65 20 61 6e 64 20 74 68 65 20 72 65 73 74 20 6f  e and the rest o
1390: 66 20 74 68 65 20 53 51 4c 69 74 65 20 6c 69 62  f the SQLite lib
13a0: 72 61 72 79 20 61 6e 64 0a 3c 62 3e 76 64 62 65  rary and.<b>vdbe
13b0: 49 6e 74 2e 68 3c 2f 62 3e 20 77 68 69 63 68 20  Int.h</b> which 
13c0: 64 65 66 69 6e 65 73 20 73 74 72 75 63 74 75 72  defines structur
13d0: 65 20 70 72 69 76 61 74 65 20 74 68 65 20 76 69  e private the vi
13e0: 72 74 75 61 6c 20 6d 61 63 68 69 6e 65 2e 0a 54  rtual machine..T
13f0: 68 65 20 3c 62 3e 76 64 62 65 61 75 78 2e 63 3c  he <b>vdbeaux.c<
1400: 2f 62 3e 20 66 69 6c 65 20 63 6f 6e 74 61 69 6e  /b> file contain
1410: 73 20 75 74 69 6c 69 74 69 65 73 20 75 73 65 64  s utilities used
1420: 20 62 79 20 74 68 65 20 76 69 72 74 75 61 6c 0a   by the virtual.
1430: 6d 61 63 68 69 6e 65 20 61 6e 64 20 69 6e 74 65  machine and inte
1440: 72 66 61 63 65 20 6d 6f 64 75 6c 65 73 20 75 73  rface modules us
1450: 65 64 20 62 79 20 74 68 65 20 72 65 73 74 20 6f  ed by the rest o
1460: 66 20 74 68 65 20 6c 69 62 72 61 72 79 20 74 6f  f the library to
1470: 0a 63 6f 6e 73 74 72 75 63 74 20 56 4d 20 70 72  .construct VM pr
1480: 6f 67 72 61 6d 73 2e 20 20 54 68 65 20 3c 62 3e  ograms.  The <b>
1490: 76 64 62 65 61 70 69 2e 63 3c 2f 62 3e 20 66 69  vdbeapi.c</b> fi
14a0: 6c 65 20 63 6f 6e 74 61 69 6e 73 20 65 78 74 65  le contains exte
14b0: 72 6e 61 6c 0a 69 6e 74 65 72 66 61 63 65 73 20  rnal.interfaces 
14c0: 74 6f 20 74 68 65 20 76 69 72 74 75 61 6c 20 6d  to the virtual m
14d0: 61 63 68 69 6e 65 20 73 75 63 68 20 61 73 20 74  achine such as t
14e0: 68 65 20 0a 3c 62 3e 73 71 6c 69 74 65 33 5f 62  he .<b>sqlite3_b
14f0: 69 6e 64 5f 2e 2e 2e 3c 2f 62 3e 20 66 61 6d 69  ind_...</b> fami
1500: 6c 79 20 6f 66 20 66 75 6e 63 74 69 6f 6e 73 2e  ly of functions.
1510: 20 20 49 6e 64 69 76 69 64 75 61 6c 20 76 61 6c    Individual val
1520: 75 65 73 0a 28 73 74 72 69 6e 67 73 2c 20 69 6e  ues.(strings, in
1530: 74 65 67 65 72 2c 20 66 6c 6f 61 74 69 6e 67 20  teger, floating 
1540: 70 6f 69 6e 74 20 6e 75 6d 62 65 72 73 2c 20 61  point numbers, a
1550: 6e 64 20 42 4c 4f 42 73 29 20 61 72 65 20 73 74  nd BLOBs) are st
1560: 6f 72 65 64 0a 69 6e 20 61 6e 20 69 6e 74 65 72  ored.in an inter
1570: 6e 61 6c 20 6f 62 6a 65 63 74 20 6e 61 6d 65 64  nal object named
1580: 20 22 4d 65 6d 22 20 77 68 69 63 68 20 69 73 20   "Mem" which is 
1590: 69 6d 70 6c 65 6d 65 6e 74 65 64 20 62 79 0a 3c  implemented by.<
15a0: 62 3e 76 64 62 65 6d 65 6d 2e 63 3c 2f 62 3e 2e  b>vdbemem.c</b>.
15b0: 3c 2f 70 3e 0a 0a 3c 70 3e 0a 53 51 4c 69 74 65  </p>..<p>.SQLite
15c0: 20 69 6d 70 6c 65 6d 65 6e 74 73 20 53 51 4c 20   implements SQL 
15d0: 66 75 6e 63 74 69 6f 6e 73 20 75 73 69 6e 67 20  functions using 
15e0: 63 61 6c 6c 62 61 63 6b 73 20 74 6f 20 43 2d 6c  callbacks to C-l
15f0: 61 6e 67 75 61 67 65 20 72 6f 75 74 69 6e 65 73  anguage routines
1600: 2e 0a 45 76 65 6e 20 74 68 65 20 62 75 69 6c 74  ..Even the built
1610: 2d 69 6e 20 53 51 4c 20 66 75 6e 63 74 69 6f 6e  -in SQL function
1620: 73 20 61 72 65 20 69 6d 70 6c 65 6d 65 6e 74 65  s are implemente
1630: 64 20 74 68 69 73 20 77 61 79 2e 20 20 4d 6f 73  d this way.  Mos
1640: 74 20 6f 66 0a 74 68 65 20 62 75 69 6c 74 2d 69  t of.the built-i
1650: 6e 20 53 51 4c 20 66 75 6e 63 74 69 6f 6e 73 20  n SQL functions 
1660: 28 65 78 3a 20 3c 62 3e 63 6f 61 6c 65 73 63 65  (ex: <b>coalesce
1670: 28 29 3c 2f 62 3e 2c 20 3c 62 3e 63 6f 75 6e 74  ()</b>, <b>count
1680: 28 29 3c 2f 62 3e 2c 0a 3c 62 3e 73 75 62 73 74  ()</b>,.<b>subst
1690: 72 28 29 3c 2f 62 3e 2c 20 61 6e 64 20 73 6f 20  r()</b>, and so 
16a0: 66 6f 72 74 68 29 20 63 61 6e 20 62 65 20 66 6f  forth) can be fo
16b0: 75 6e 64 20 69 6e 20 3c 62 3e 66 75 6e 63 2e 63  und in <b>func.c
16c0: 3c 2f 62 3e 2e 0a 44 61 74 65 20 61 6e 64 20 74  </b>..Date and t
16d0: 69 6d 65 20 63 6f 6e 76 65 72 73 69 6f 6e 20 66  ime conversion f
16e0: 75 6e 63 74 69 6f 6e 73 20 61 72 65 20 66 6f 75  unctions are fou
16f0: 6e 64 20 69 6e 20 3c 62 3e 64 61 74 65 2e 63 3c  nd in <b>date.c<
1700: 2f 62 3e 2e 0a 3c 2f 70 3e 0a 0a 3c 68 33 3e 42  /b>..</p>..<h3>B
1710: 2d 54 72 65 65 3c 2f 68 33 3e 0a 0a 3c 70 3e 41  -Tree</h3>..<p>A
1720: 6e 20 53 51 4c 69 74 65 20 64 61 74 61 62 61 73  n SQLite databas
1730: 65 20 69 73 20 6d 61 69 6e 74 61 69 6e 65 64 20  e is maintained 
1740: 6f 6e 20 64 69 73 6b 20 75 73 69 6e 67 20 61 20  on disk using a 
1750: 42 2d 74 72 65 65 20 69 6d 70 6c 65 6d 65 6e 74  B-tree implement
1760: 61 74 69 6f 6e 0a 66 6f 75 6e 64 20 69 6e 20 74  ation.found in t
1770: 68 65 20 3c 62 3e 62 74 72 65 65 2e 63 3c 2f 62  he <b>btree.c</b
1780: 3e 20 73 6f 75 72 63 65 20 66 69 6c 65 2e 20 20  > source file.  
1790: 41 20 73 65 70 61 72 61 74 65 20 42 2d 74 72 65  A separate B-tre
17a0: 65 20 69 73 20 75 73 65 64 20 66 6f 72 0a 65 61  e is used for.ea
17b0: 63 68 20 74 61 62 6c 65 20 61 6e 64 20 69 6e 64  ch table and ind
17c0: 65 78 20 69 6e 20 74 68 65 20 64 61 74 61 62 61  ex in the databa
17d0: 73 65 2e 20 20 41 6c 6c 20 42 2d 74 72 65 65 73  se.  All B-trees
17e0: 20 61 72 65 20 73 74 6f 72 65 64 20 69 6e 20 74   are stored in t
17f0: 68 65 0a 73 61 6d 65 20 64 69 73 6b 20 66 69 6c  he.same disk fil
1800: 65 2e 20 20 44 65 74 61 69 6c 73 20 6f 66 20 74  e.  Details of t
1810: 68 65 20 66 69 6c 65 20 66 6f 72 6d 61 74 20 61  he file format a
1820: 72 65 20 72 65 63 6f 72 64 65 64 20 69 6e 20 61  re recorded in a
1830: 20 6c 61 72 67 65 0a 63 6f 6d 6d 65 6e 74 20 61   large.comment a
1840: 74 20 74 68 65 20 62 65 67 69 6e 6e 69 6e 67 20  t the beginning 
1850: 6f 66 20 3c 62 3e 62 74 72 65 65 2e 63 3c 2f 62  of <b>btree.c</b
1860: 3e 2e 3c 2f 70 3e 0a 0a 3c 70 3e 54 68 65 20 69  >.</p>..<p>The i
1870: 6e 74 65 72 66 61 63 65 20 74 6f 20 74 68 65 20  nterface to the 
1880: 42 2d 74 72 65 65 20 73 75 62 73 79 73 74 65 6d  B-tree subsystem
1890: 20 69 73 20 64 65 66 69 6e 65 64 20 62 79 20 74   is defined by t
18a0: 68 65 20 68 65 61 64 65 72 20 66 69 6c 65 0a 3c  he header file.<
18b0: 62 3e 62 74 72 65 65 2e 68 3c 2f 62 3e 2e 0a 3c  b>btree.h</b>..<
18c0: 2f 70 3e 0a 0a 3c 68 33 3e 50 61 67 65 20 43 61  /p>..<h3>Page Ca
18d0: 63 68 65 3c 2f 68 33 3e 0a 0a 3c 70 3e 54 68 65  che</h3>..<p>The
18e0: 20 42 2d 74 72 65 65 20 6d 6f 64 75 6c 65 20 72   B-tree module r
18f0: 65 71 75 65 73 74 73 20 69 6e 66 6f 72 6d 61 74  equests informat
1900: 69 6f 6e 20 66 72 6f 6d 20 74 68 65 20 64 69 73  ion from the dis
1910: 6b 20 69 6e 20 66 69 78 65 64 2d 73 69 7a 65 0a  k in fixed-size.
1920: 63 68 75 6e 6b 73 2e 20 20 54 68 65 20 64 65 66  chunks.  The def
1930: 61 75 6c 74 20 63 68 75 6e 6b 20 73 69 7a 65 20  ault chunk size 
1940: 69 73 20 31 30 32 34 20 62 79 74 65 73 20 62 75  is 1024 bytes bu
1950: 74 20 63 61 6e 20 76 61 72 79 20 62 65 74 77 65  t can vary betwe
1960: 65 6e 20 35 31 32 0a 61 6e 64 20 36 35 35 33 36  en 512.and 65536
1970: 20 62 79 74 65 73 2e 0a 54 68 65 20 70 61 67 65   bytes..The page
1980: 20 63 61 63 68 65 20 69 73 20 72 65 73 70 6f 6e   cache is respon
1990: 73 69 62 6c 65 20 66 6f 72 20 72 65 61 64 69 6e  sible for readin
19a0: 67 2c 20 77 72 69 74 69 6e 67 2c 20 61 6e 64 0a  g, writing, and.
19b0: 63 61 63 68 69 6e 67 20 74 68 65 73 65 20 63 68  caching these ch
19c0: 75 6e 6b 73 2e 0a 54 68 65 20 70 61 67 65 20 63  unks..The page c
19d0: 61 63 68 65 20 61 6c 73 6f 20 70 72 6f 76 69 64  ache also provid
19e0: 65 73 20 74 68 65 20 72 6f 6c 6c 62 61 63 6b 20  es the rollback 
19f0: 61 6e 64 20 61 74 6f 6d 69 63 20 63 6f 6d 6d 69  and atomic commi
1a00: 74 20 61 62 73 74 72 61 63 74 69 6f 6e 0a 61 6e  t abstraction.an
1a10: 64 20 74 61 6b 65 73 20 63 61 72 65 20 6f 66 20  d takes care of 
1a20: 6c 6f 63 6b 69 6e 67 20 6f 66 20 74 68 65 20 64  locking of the d
1a30: 61 74 61 62 61 73 65 20 66 69 6c 65 2e 20 20 54  atabase file.  T
1a40: 68 65 0a 42 2d 74 72 65 65 20 64 72 69 76 65 72  he.B-tree driver
1a50: 20 72 65 71 75 65 73 74 73 20 70 61 72 74 69 63   requests partic
1a60: 75 6c 61 72 20 70 61 67 65 73 20 66 72 6f 6d 20  ular pages from 
1a70: 74 68 65 20 70 61 67 65 20 63 61 63 68 65 20 61  the page cache a
1a80: 6e 64 20 6e 6f 74 69 66 69 65 73 0a 74 68 65 20  nd notifies.the 
1a90: 70 61 67 65 20 63 61 63 68 65 20 77 68 65 6e 20  page cache when 
1aa0: 69 74 20 77 61 6e 74 73 20 74 6f 20 6d 6f 64 69  it wants to modi
1ab0: 66 79 20 70 61 67 65 73 20 6f 72 20 63 6f 6d 6d  fy pages or comm
1ac0: 69 74 20 6f 72 20 72 6f 6c 6c 62 61 63 6b 0a 63  it or rollback.c
1ad0: 68 61 6e 67 65 73 20 61 6e 64 20 74 68 65 20 70  hanges and the p
1ae0: 61 67 65 20 63 61 63 68 65 20 68 61 6e 64 6c 65  age cache handle
1af0: 73 20 61 6c 6c 20 74 68 65 20 6d 65 73 73 79 20  s all the messy 
1b00: 64 65 74 61 69 6c 73 20 6f 66 20 6d 61 6b 69 6e  details of makin
1b10: 67 20 73 75 72 65 0a 74 68 65 20 72 65 71 75 65  g sure.the reque
1b20: 73 74 73 20 61 72 65 20 68 61 6e 64 6c 65 64 20  sts are handled 
1b30: 71 75 69 63 6b 6c 79 2c 20 73 61 66 65 6c 79 2c  quickly, safely,
1b40: 20 61 6e 64 20 65 66 66 69 63 69 65 6e 74 6c 79   and efficiently
1b50: 2e 3c 2f 70 3e 0a 0a 3c 70 3e 54 68 65 20 63 6f  .</p>..<p>The co
1b60: 64 65 20 74 6f 20 69 6d 70 6c 65 6d 65 6e 74 20  de to implement 
1b70: 74 68 65 20 70 61 67 65 20 63 61 63 68 65 20 69  the page cache i
1b80: 73 20 63 6f 6e 74 61 69 6e 65 64 20 69 6e 20 74  s contained in t
1b90: 68 65 20 73 69 6e 67 6c 65 20 43 0a 73 6f 75 72  he single C.sour
1ba0: 63 65 20 66 69 6c 65 20 3c 62 3e 70 61 67 65 72  ce file <b>pager
1bb0: 2e 63 3c 2f 62 3e 2e 20 20 54 68 65 20 69 6e 74  .c</b>.  The int
1bc0: 65 72 66 61 63 65 20 74 6f 20 74 68 65 20 70 61  erface to the pa
1bd0: 67 65 20 63 61 63 68 65 20 73 75 62 73 79 73 74  ge cache subsyst
1be0: 65 6d 0a 69 73 20 64 65 66 69 6e 65 64 20 62 79  em.is defined by
1bf0: 20 74 68 65 20 68 65 61 64 65 72 20 66 69 6c 65   the header file
1c00: 20 3c 62 3e 70 61 67 65 72 2e 68 3c 2f 62 3e 2e   <b>pager.h</b>.
1c10: 0a 3c 2f 70 3e 0a 0a 3c 68 33 3e 4f 53 20 49 6e  .</p>..<h3>OS In
1c20: 74 65 72 66 61 63 65 3c 2f 68 33 3e 0a 0a 3c 70  terface</h3>..<p
1c30: 3e 0a 49 6e 20 6f 72 64 65 72 20 74 6f 20 70 72  >.In order to pr
1c40: 6f 76 69 64 65 20 70 6f 72 74 61 62 69 6c 69 74  ovide portabilit
1c50: 79 20 62 65 74 77 65 65 6e 20 50 4f 53 49 58 20  y between POSIX 
1c60: 61 6e 64 20 57 69 6e 33 32 20 6f 70 65 72 61 74  and Win32 operat
1c70: 69 6e 67 20 73 79 73 74 65 6d 73 2c 0a 53 51 4c  ing systems,.SQL
1c80: 69 74 65 20 75 73 65 73 20 61 6e 20 61 62 73 74  ite uses an abst
1c90: 72 61 63 74 69 6f 6e 20 6c 61 79 65 72 20 74 6f  raction layer to
1ca0: 20 69 6e 74 65 72 66 61 63 65 20 77 69 74 68 20   interface with 
1cb0: 74 68 65 20 6f 70 65 72 61 74 69 6e 67 20 73 79  the operating sy
1cc0: 73 74 65 6d 2e 0a 54 68 65 20 69 6e 74 65 72 66  stem..The interf
1cd0: 61 63 65 20 74 6f 20 74 68 65 20 4f 53 20 61 62  ace to the OS ab
1ce0: 73 74 72 61 63 74 69 6f 6e 20 6c 61 79 65 72 20  straction layer 
1cf0: 69 73 20 64 65 66 69 6e 65 64 20 69 6e 0a 3c 62  is defined in.<b
1d00: 3e 6f 73 2e 68 3c 2f 62 3e 2e 20 20 45 61 63 68  >os.h</b>.  Each
1d10: 20 73 75 70 70 6f 72 74 65 64 20 6f 70 65 72 61   supported opera
1d20: 74 69 6e 67 20 73 79 73 74 65 6d 20 68 61 73 20  ting system has 
1d30: 69 74 73 20 6f 77 6e 20 69 6d 70 6c 65 6d 65 6e  its own implemen
1d40: 74 61 74 69 6f 6e 3a 0a 3c 62 3e 6f 73 5f 75 6e  tation:.<b>os_un
1d50: 69 78 2e 63 3c 2f 62 3e 20 66 6f 72 20 55 6e 69  ix.c</b> for Uni
1d60: 78 2c 20 3c 62 3e 6f 73 5f 77 69 6e 2e 63 3c 2f  x, <b>os_win.c</
1d70: 62 3e 20 66 6f 72 20 57 69 6e 64 6f 77 73 2c 20  b> for Windows, 
1d80: 61 6e 64 20 73 6f 20 66 6f 72 74 68 2e 0a 45 61  and so forth..Ea
1d90: 63 68 20 6f 66 20 74 68 65 73 65 20 6f 70 65 72  ch of these oper
1da0: 61 74 69 6e 67 2d 73 70 65 63 69 66 69 63 20 69  ating-specific i
1db0: 6d 70 6c 65 6d 65 6e 74 73 20 74 79 70 69 63 61  mplements typica
1dc0: 6c 6c 79 20 68 61 73 20 69 74 73 20 6f 77 6e 0a  lly has its own.
1dd0: 68 65 61 64 65 72 20 66 69 6c 65 3a 20 3c 62 3e  header file: <b>
1de0: 6f 73 5f 75 6e 69 78 2e 68 3c 2f 62 3e 2c 20 3c  os_unix.h</b>, <
1df0: 62 3e 6f 73 5f 77 69 6e 2e 68 3c 2f 62 3e 2c 20  b>os_win.h</b>, 
1e00: 65 74 63 2e 0a 3c 2f 70 3e 0a 0a 3c 68 33 3e 55  etc..</p>..<h3>U
1e10: 74 69 6c 69 74 69 65 73 3c 2f 68 33 3e 0a 0a 3c  tilities</h3>..<
1e20: 70 3e 0a 4d 65 6d 6f 72 79 20 61 6c 6c 6f 63 61  p>.Memory alloca
1e30: 74 69 6f 6e 20 61 6e 64 20 63 61 73 65 6c 65 73  tion and caseles
1e40: 73 20 73 74 72 69 6e 67 20 63 6f 6d 70 61 72 69  s string compari
1e50: 73 6f 6e 20 72 6f 75 74 69 6e 65 73 20 61 72 65  son routines are
1e60: 20 6c 6f 63 61 74 65 64 0a 69 6e 20 3c 62 3e 75   located.in <b>u
1e70: 74 69 6c 2e 63 3c 2f 62 3e 2e 0a 53 79 6d 62 6f  til.c</b>..Symbo
1e80: 6c 20 74 61 62 6c 65 73 20 75 73 65 64 20 62 79  l tables used by
1e90: 20 74 68 65 20 70 61 72 73 65 72 20 61 72 65 20   the parser are 
1ea0: 6d 61 69 6e 74 61 69 6e 65 64 20 62 79 20 68 61  maintained by ha
1eb0: 73 68 20 74 61 62 6c 65 73 20 66 6f 75 6e 64 0a  sh tables found.
1ec0: 69 6e 20 3c 62 3e 68 61 73 68 2e 63 3c 2f 62 3e  in <b>hash.c</b>
1ed0: 2e 20 20 54 68 65 20 3c 62 3e 75 74 66 2e 63 3c  .  The <b>utf.c<
1ee0: 2f 62 3e 20 73 6f 75 72 63 65 20 66 69 6c 65 20  /b> source file 
1ef0: 63 6f 6e 74 61 69 6e 73 20 55 6e 69 63 6f 64 65  contains Unicode
1f00: 0a 63 6f 6e 76 65 72 73 69 6f 6e 20 73 75 62 72  .conversion subr
1f10: 6f 75 74 69 6e 65 73 2e 0a 53 51 4c 69 74 65 20  outines..SQLite 
1f20: 68 61 73 20 69 74 73 20 6f 77 6e 20 70 72 69 76  has its own priv
1f30: 61 74 65 20 69 6d 70 6c 65 6d 65 6e 74 61 74 69  ate implementati
1f40: 6f 6e 20 6f 66 20 3c 62 3e 70 72 69 6e 74 66 28  on of <b>printf(
1f50: 29 3c 2f 62 3e 20 28 77 69 74 68 0a 73 6f 6d 65  )</b> (with.some
1f60: 20 65 78 74 65 6e 73 69 6f 6e 73 29 20 69 6e 20   extensions) in 
1f70: 3c 62 3e 70 72 69 6e 74 66 2e 63 3c 2f 62 3e 20  <b>printf.c</b> 
1f80: 61 6e 64 20 69 74 73 20 6f 77 6e 20 72 61 6e 64  and its own rand
1f90: 6f 6d 20 6e 75 6d 62 65 72 20 67 65 6e 65 72 61  om number genera
1fa0: 74 6f 72 0a 69 6e 20 3c 62 3e 72 61 6e 64 6f 6d  tor.in <b>random
1fb0: 2e 63 3c 2f 62 3e 2e 0a 3c 2f 70 3e 0a 0a 3c 68  .c</b>..</p>..<h
1fc0: 33 3e 54 65 73 74 20 43 6f 64 65 3c 2f 68 33 3e  3>Test Code</h3>
1fd0: 0a 0a 3c 70 3e 0a 49 66 20 79 6f 75 20 63 6f 75  ..<p>.If you cou
1fe0: 6e 74 20 72 65 67 72 65 73 73 69 6f 6e 20 74 65  nt regression te
1ff0: 73 74 20 73 63 72 69 70 74 73 2c 0a 6d 6f 72 65  st scripts,.more
2000: 20 74 68 61 6e 20 68 61 6c 66 20 74 68 65 20 74   than half the t
2010: 6f 74 61 6c 20 63 6f 64 65 20 62 61 73 65 20 6f  otal code base o
2020: 66 20 53 51 4c 69 74 65 20 69 73 20 64 65 76 6f  f SQLite is devo
2030: 74 65 64 20 74 6f 20 74 65 73 74 69 6e 67 2e 0a  ted to testing..
2040: 54 68 65 72 65 20 61 72 65 20 6d 61 6e 79 20 3c  There are many <
2050: 62 3e 61 73 73 65 72 74 28 29 3c 2f 62 3e 20 73  b>assert()</b> s
2060: 74 61 74 65 6d 65 6e 74 73 20 69 6e 20 74 68 65  tatements in the
2070: 20 6d 61 69 6e 20 63 6f 64 65 20 66 69 6c 65 73   main code files
2080: 2e 0a 49 6e 20 61 64 64 69 74 69 6f 6e 61 6c 2c  ..In additional,
2090: 20 74 68 65 20 73 6f 75 72 63 65 20 66 69 6c 65   the source file
20a0: 73 20 3c 62 3e 74 65 73 74 31 2e 63 3c 2f 62 3e  s <b>test1.c</b>
20b0: 20 74 68 72 6f 75 67 68 20 3c 62 3e 74 65 73 74   through <b>test
20c0: 35 2e 63 3c 2f 62 3e 0a 74 6f 67 65 74 68 65 72  5.c</b>.together
20d0: 20 77 69 74 68 20 3c 62 3e 6d 64 35 2e 63 3c 2f   with <b>md5.c</
20e0: 62 3e 20 69 6d 70 6c 65 6d 65 6e 74 20 65 78 74  b> implement ext
20f0: 65 6e 73 69 6f 6e 73 20 75 73 65 64 20 66 6f 72  ensions used for
2100: 20 74 65 73 74 69 6e 67 0a 70 75 72 70 6f 73 65   testing.purpose
2110: 73 20 6f 6e 6c 79 2e 20 20 54 68 65 20 3c 62 3e  s only.  The <b>
2120: 6f 73 5f 74 65 73 74 2e 63 3c 2f 62 3e 20 62 61  os_test.c</b> ba
2130: 63 6b 65 6e 64 20 69 6e 74 65 72 66 61 63 65 20  ckend interface 
2140: 69 73 20 75 73 65 64 20 74 6f 0a 73 69 6d 75 6c  is used to.simul
2150: 61 74 65 20 70 6f 77 65 72 20 66 61 69 6c 75 72  ate power failur
2160: 65 73 20 74 6f 20 76 65 72 69 66 79 20 74 68 65  es to verify the
2170: 20 63 72 61 73 68 2d 72 65 63 6f 76 65 72 79 20   crash-recovery 
2180: 6d 65 63 68 61 6e 69 73 6d 20 69 6e 0a 74 68 65  mechanism in.the
2190: 20 70 61 67 65 72 2e 0a 3c 2f 70 3e 0a            pager..</p>.