/ Hex Artifact Content
Login

Artifact c18b7d2a3494695133e4e60ee36061d37f45d9a5:


0000: 2f 2a 0a 2a 2a 20 32 30 30 34 20 41 70 72 69 6c  /*.** 2004 April
0010: 20 36 0a 2a 2a 0a 2a 2a 20 54 68 65 20 61 75 74   6.**.** The aut
0020: 68 6f 72 20 64 69 73 63 6c 61 69 6d 73 20 63 6f  hor disclaims co
0030: 70 79 72 69 67 68 74 20 74 6f 20 74 68 69 73 20  pyright to this 
0040: 73 6f 75 72 63 65 20 63 6f 64 65 2e 20 20 49 6e  source code.  In
0050: 20 70 6c 61 63 65 20 6f 66 0a 2a 2a 20 61 20 6c   place of.** a l
0060: 65 67 61 6c 20 6e 6f 74 69 63 65 2c 20 68 65 72  egal notice, her
0070: 65 20 69 73 20 61 20 62 6c 65 73 73 69 6e 67 3a  e is a blessing:
0080: 0a 2a 2a 0a 2a 2a 20 20 20 20 4d 61 79 20 79 6f  .**.**    May yo
0090: 75 20 64 6f 20 67 6f 6f 64 20 61 6e 64 20 6e 6f  u do good and no
00a0: 74 20 65 76 69 6c 2e 0a 2a 2a 20 20 20 20 4d 61  t evil..**    Ma
00b0: 79 20 79 6f 75 20 66 69 6e 64 20 66 6f 72 67 69  y you find forgi
00c0: 76 65 6e 65 73 73 20 66 6f 72 20 79 6f 75 72 73  veness for yours
00d0: 65 6c 66 20 61 6e 64 20 66 6f 72 67 69 76 65 20  elf and forgive 
00e0: 6f 74 68 65 72 73 2e 0a 2a 2a 20 20 20 20 4d 61  others..**    Ma
00f0: 79 20 79 6f 75 20 73 68 61 72 65 20 66 72 65 65  y you share free
0100: 6c 79 2c 20 6e 65 76 65 72 20 74 61 6b 69 6e 67  ly, never taking
0110: 20 6d 6f 72 65 20 74 68 61 6e 20 79 6f 75 20 67   more than you g
0120: 69 76 65 2e 0a 2a 2a 0a 2a 2a 2a 2a 2a 2a 2a 2a  ive..**.********
0130: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0140: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0150: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0160: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0170: 2a 0a 2a 2a 20 54 68 69 73 20 66 69 6c 65 20 69  *.** This file i
0180: 6d 70 6c 65 6d 65 6e 74 73 20 61 6e 20 65 78 74  mplements an ext
0190: 65 72 6e 61 6c 20 28 64 69 73 6b 2d 62 61 73 65  ernal (disk-base
01a0: 64 29 20 64 61 74 61 62 61 73 65 20 75 73 69 6e  d) database usin
01b0: 67 20 42 54 72 65 65 73 2e 0a 2a 2a 20 46 6f 72  g BTrees..** For
01c0: 20 61 20 64 65 74 61 69 6c 65 64 20 64 69 73 63   a detailed disc
01d0: 75 73 73 69 6f 6e 20 6f 66 20 42 54 72 65 65 73  ussion of BTrees
01e0: 2c 20 72 65 66 65 72 20 74 6f 0a 2a 2a 0a 2a 2a  , refer to.**.**
01f0: 20 20 20 20 20 44 6f 6e 61 6c 64 20 45 2e 20 4b       Donald E. K
0200: 6e 75 74 68 2c 20 54 48 45 20 41 52 54 20 4f 46  nuth, THE ART OF
0210: 20 43 4f 4d 50 55 54 45 52 20 50 52 4f 47 52 41   COMPUTER PROGRA
0220: 4d 4d 49 4e 47 2c 20 56 6f 6c 75 6d 65 20 33 3a  MMING, Volume 3:
0230: 0a 2a 2a 20 20 20 20 20 22 53 6f 72 74 69 6e 67  .**     "Sorting
0240: 20 41 6e 64 20 53 65 61 72 63 68 69 6e 67 22 2c   And Searching",
0250: 20 70 61 67 65 73 20 34 37 33 2d 34 38 30 2e 20   pages 473-480. 
0260: 41 64 64 69 73 6f 6e 2d 57 65 73 6c 65 79 0a 2a  Addison-Wesley.*
0270: 2a 20 20 20 20 20 50 75 62 6c 69 73 68 69 6e 67  *     Publishing
0280: 20 43 6f 6d 70 61 6e 79 2c 20 52 65 61 64 69 6e   Company, Readin
0290: 67 2c 20 4d 61 73 73 61 63 68 75 73 65 74 74 73  g, Massachusetts
02a0: 2e 0a 2a 2a 0a 2a 2a 20 54 68 65 20 62 61 73 69  ..**.** The basi
02b0: 63 20 69 64 65 61 20 69 73 20 74 68 61 74 20 65  c idea is that e
02c0: 61 63 68 20 70 61 67 65 20 6f 66 20 74 68 65 20  ach page of the 
02d0: 66 69 6c 65 20 63 6f 6e 74 61 69 6e 73 20 4e 20  file contains N 
02e0: 64 61 74 61 62 61 73 65 0a 2a 2a 20 65 6e 74 72  database.** entr
02f0: 69 65 73 20 61 6e 64 20 4e 2b 31 20 70 6f 69 6e  ies and N+1 poin
0300: 74 65 72 73 20 74 6f 20 73 75 62 70 61 67 65 73  ters to subpages
0310: 2e 0a 2a 2a 0a 2a 2a 20 20 20 2d 2d 2d 2d 2d 2d  ..**.**   ------
0320: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0330: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0340: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0350: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 2a 2a 20 20 20  ----------.**   
0360: 7c 20 20 50 74 72 28 30 29 20 7c 20 4b 65 79 28  |  Ptr(0) | Key(
0370: 30 29 20 7c 20 50 74 72 28 31 29 20 7c 20 4b 65  0) | Ptr(1) | Ke
0380: 79 28 31 29 20 7c 20 2e 2e 2e 20 7c 20 4b 65 79  y(1) | ... | Key
0390: 28 4e 2d 31 29 20 7c 20 50 74 72 28 4e 29 20 7c  (N-1) | Ptr(N) |
03a0: 0a 2a 2a 20 20 20 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  .**   ----------
03b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
03c0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
03d0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
03e0: 2d 2d 2d 2d 2d 2d 0a 2a 2a 0a 2a 2a 20 41 6c 6c  ------.**.** All
03f0: 20 6f 66 20 74 68 65 20 6b 65 79 73 20 6f 6e 20   of the keys on 
0400: 74 68 65 20 70 61 67 65 20 74 68 61 74 20 50 74  the page that Pt
0410: 72 28 30 29 20 70 6f 69 6e 74 73 20 74 6f 20 68  r(0) points to h
0420: 61 76 65 20 76 61 6c 75 65 73 20 6c 65 73 73 0a  ave values less.
0430: 2a 2a 20 74 68 61 6e 20 4b 65 79 28 30 29 2e 20  ** than Key(0). 
0440: 20 41 6c 6c 20 6f 66 20 74 68 65 20 6b 65 79 73   All of the keys
0450: 20 6f 6e 20 70 61 67 65 20 50 74 72 28 31 29 20   on page Ptr(1) 
0460: 61 6e 64 20 69 74 73 20 73 75 62 70 61 67 65 73  and its subpages
0470: 20 68 61 76 65 0a 2a 2a 20 76 61 6c 75 65 73 20   have.** values 
0480: 67 72 65 61 74 65 72 20 74 68 61 6e 20 4b 65 79  greater than Key
0490: 28 30 29 20 61 6e 64 20 6c 65 73 73 20 74 68 61  (0) and less tha
04a0: 6e 20 4b 65 79 28 31 29 2e 20 20 41 6c 6c 20 6f  n Key(1).  All o
04b0: 66 20 74 68 65 20 6b 65 79 73 0a 2a 2a 20 6f 6e  f the keys.** on
04c0: 20 50 74 72 28 4e 29 20 61 6e 64 20 69 74 73 20   Ptr(N) and its 
04d0: 73 75 62 70 61 67 65 73 20 68 61 76 65 20 76 61  subpages have va
04e0: 6c 75 65 73 20 67 72 65 61 74 65 72 20 74 68 61  lues greater tha
04f0: 6e 20 4b 65 79 28 4e 2d 31 29 2e 20 20 41 6e 64  n Key(N-1).  And
0500: 0a 2a 2a 20 73 6f 20 66 6f 72 74 68 2e 0a 2a 2a  .** so forth..**
0510: 0a 2a 2a 20 46 69 6e 64 69 6e 67 20 61 20 70 61  .** Finding a pa
0520: 72 74 69 63 75 6c 61 72 20 6b 65 79 20 72 65 71  rticular key req
0530: 75 69 72 65 73 20 72 65 61 64 69 6e 67 20 4f 28  uires reading O(
0540: 6c 6f 67 28 4d 29 29 20 70 61 67 65 73 20 66 72  log(M)) pages fr
0550: 6f 6d 20 74 68 65 20 0a 2a 2a 20 64 69 73 6b 20  om the .** disk 
0560: 77 68 65 72 65 20 4d 20 69 73 20 74 68 65 20 6e  where M is the n
0570: 75 6d 62 65 72 20 6f 66 20 65 6e 74 72 69 65 73  umber of entries
0580: 20 69 6e 20 74 68 65 20 74 72 65 65 2e 0a 2a 2a   in the tree..**
0590: 0a 2a 2a 20 49 6e 20 74 68 69 73 20 69 6d 70 6c  .** In this impl
05a0: 65 6d 65 6e 74 61 74 69 6f 6e 2c 20 61 20 73 69  ementation, a si
05b0: 6e 67 6c 65 20 66 69 6c 65 20 63 61 6e 20 68 6f  ngle file can ho
05c0: 6c 64 20 6f 6e 65 20 6f 72 20 6d 6f 72 65 20 73  ld one or more s
05d0: 65 70 61 72 61 74 65 20 0a 2a 2a 20 42 54 72 65  eparate .** BTre
05e0: 65 73 2e 20 20 45 61 63 68 20 42 54 72 65 65 20  es.  Each BTree 
05f0: 69 73 20 69 64 65 6e 74 69 66 69 65 64 20 62 79  is identified by
0600: 20 74 68 65 20 69 6e 64 65 78 20 6f 66 20 69 74   the index of it
0610: 73 20 72 6f 6f 74 20 70 61 67 65 2e 20 20 54 68  s root page.  Th
0620: 65 0a 2a 2a 20 6b 65 79 20 61 6e 64 20 64 61 74  e.** key and dat
0630: 61 20 66 6f 72 20 61 6e 79 20 65 6e 74 72 79 20  a for any entry 
0640: 61 72 65 20 63 6f 6d 62 69 6e 65 64 20 74 6f 20  are combined to 
0650: 66 6f 72 6d 20 74 68 65 20 22 70 61 79 6c 6f 61  form the "payloa
0660: 64 22 2e 20 20 41 0a 2a 2a 20 66 69 78 65 64 20  d".  A.** fixed 
0670: 61 6d 6f 75 6e 74 20 6f 66 20 70 61 79 6c 6f 61  amount of payloa
0680: 64 20 63 61 6e 20 62 65 20 63 61 72 72 69 65 64  d can be carried
0690: 20 64 69 72 65 63 74 6c 79 20 6f 6e 20 74 68 65   directly on the
06a0: 20 64 61 74 61 62 61 73 65 0a 2a 2a 20 70 61 67   database.** pag
06b0: 65 2e 20 20 49 66 20 74 68 65 20 70 61 79 6c 6f  e.  If the paylo
06c0: 61 64 20 69 73 20 6c 61 72 67 65 72 20 74 68 61  ad is larger tha
06d0: 6e 20 74 68 65 20 70 72 65 73 65 74 20 61 6d 6f  n the preset amo
06e0: 75 6e 74 20 74 68 65 6e 20 73 75 72 70 6c 75 73  unt then surplus
06f0: 0a 2a 2a 20 62 79 74 65 73 20 61 72 65 20 73 74  .** bytes are st
0700: 6f 72 65 64 20 6f 6e 20 6f 76 65 72 66 6c 6f 77  ored on overflow
0710: 20 70 61 67 65 73 2e 20 20 54 68 65 20 70 61 79   pages.  The pay
0720: 6c 6f 61 64 20 66 6f 72 20 61 6e 20 65 6e 74 72  load for an entr
0730: 79 0a 2a 2a 20 61 6e 64 20 74 68 65 20 70 72 65  y.** and the pre
0740: 63 65 64 69 6e 67 20 70 6f 69 6e 74 65 72 20 61  ceding pointer a
0750: 72 65 20 63 6f 6d 62 69 6e 65 64 20 74 6f 20 66  re combined to f
0760: 6f 72 6d 20 61 20 22 43 65 6c 6c 22 2e 20 20 45  orm a "Cell".  E
0770: 61 63 68 20 0a 2a 2a 20 70 61 67 65 20 68 61 73  ach .** page has
0780: 20 61 20 73 6d 61 6c 6c 20 68 65 61 64 65 72 20   a small header 
0790: 77 68 69 63 68 20 63 6f 6e 74 61 69 6e 73 20 74  which contains t
07a0: 68 65 20 50 74 72 28 4e 29 20 70 6f 69 6e 74 65  he Ptr(N) pointe
07b0: 72 20 61 6e 64 20 6f 74 68 65 72 0a 2a 2a 20 69  r and other.** i
07c0: 6e 66 6f 72 6d 61 74 69 6f 6e 20 73 75 63 68 20  nformation such 
07d0: 61 73 20 74 68 65 20 73 69 7a 65 20 6f 66 20 6b  as the size of k
07e0: 65 79 20 61 6e 64 20 64 61 74 61 2e 0a 2a 2a 0a  ey and data..**.
07f0: 2a 2a 20 46 4f 52 4d 41 54 20 44 45 54 41 49 4c  ** FORMAT DETAIL
0800: 53 0a 2a 2a 0a 2a 2a 20 54 68 65 20 66 69 6c 65  S.**.** The file
0810: 20 69 73 20 64 69 76 69 64 65 64 20 69 6e 74 6f   is divided into
0820: 20 70 61 67 65 73 2e 20 20 54 68 65 20 66 69 72   pages.  The fir
0830: 73 74 20 70 61 67 65 20 69 73 20 63 61 6c 6c 65  st page is calle
0840: 64 20 70 61 67 65 20 31 2c 0a 2a 2a 20 74 68 65  d page 1,.** the
0850: 20 73 65 63 6f 6e 64 20 69 73 20 70 61 67 65 20   second is page 
0860: 32 2c 20 61 6e 64 20 73 6f 20 66 6f 72 74 68 2e  2, and so forth.
0870: 20 20 41 20 70 61 67 65 20 6e 75 6d 62 65 72 20    A page number 
0880: 6f 66 20 7a 65 72 6f 20 69 6e 64 69 63 61 74 65  of zero indicate
0890: 73 0a 2a 2a 20 22 6e 6f 20 73 75 63 68 20 70 61  s.** "no such pa
08a0: 67 65 22 2e 20 20 54 68 65 20 70 61 67 65 20 73  ge".  The page s
08b0: 69 7a 65 20 63 61 6e 20 62 65 20 61 6e 79 20 70  ize can be any p
08c0: 6f 77 65 72 20 6f 66 20 32 20 62 65 74 77 65 65  ower of 2 betwee
08d0: 6e 20 35 31 32 20 61 6e 64 20 36 35 35 33 36 2e  n 512 and 65536.
08e0: 0a 2a 2a 20 45 61 63 68 20 70 61 67 65 20 63 61  .** Each page ca
08f0: 6e 20 62 65 20 65 69 74 68 65 72 20 61 20 62 74  n be either a bt
0900: 72 65 65 20 70 61 67 65 2c 20 61 20 66 72 65 65  ree page, a free
0910: 6c 69 73 74 20 70 61 67 65 2c 20 61 6e 20 6f 76  list page, an ov
0920: 65 72 66 6c 6f 77 0a 2a 2a 20 70 61 67 65 2c 20  erflow.** page, 
0930: 6f 72 20 61 20 70 6f 69 6e 74 65 72 2d 6d 61 70  or a pointer-map
0940: 20 70 61 67 65 2e 0a 2a 2a 0a 2a 2a 20 54 68 65   page..**.** The
0950: 20 66 69 72 73 74 20 70 61 67 65 20 69 73 20 61   first page is a
0960: 6c 77 61 79 73 20 61 20 62 74 72 65 65 20 70 61  lways a btree pa
0970: 67 65 2e 20 20 54 68 65 20 66 69 72 73 74 20 31  ge.  The first 1
0980: 30 30 20 62 79 74 65 73 20 6f 66 20 74 68 65 20  00 bytes of the 
0990: 66 69 72 73 74 0a 2a 2a 20 70 61 67 65 20 63 6f  first.** page co
09a0: 6e 74 61 69 6e 20 61 20 73 70 65 63 69 61 6c 20  ntain a special 
09b0: 68 65 61 64 65 72 20 28 74 68 65 20 22 66 69 6c  header (the "fil
09c0: 65 20 68 65 61 64 65 72 22 29 20 74 68 61 74 20  e header") that 
09d0: 64 65 73 63 72 69 62 65 73 20 74 68 65 20 66 69  describes the fi
09e0: 6c 65 2e 0a 2a 2a 20 54 68 65 20 66 6f 72 6d 61  le..** The forma
09f0: 74 20 6f 66 20 74 68 65 20 66 69 6c 65 20 68 65  t of the file he
0a00: 61 64 65 72 20 69 73 20 61 73 20 66 6f 6c 6c 6f  ader is as follo
0a10: 77 73 3a 0a 2a 2a 0a 2a 2a 20 20 20 4f 46 46 53  ws:.**.**   OFFS
0a20: 45 54 20 20 20 53 49 5a 45 20 20 20 20 44 45 53  ET   SIZE    DES
0a30: 43 52 49 50 54 49 4f 4e 0a 2a 2a 20 20 20 20 20  CRIPTION.**     
0a40: 20 30 20 20 20 20 20 20 31 36 20 20 20 20 20 48   0      16     H
0a50: 65 61 64 65 72 20 73 74 72 69 6e 67 3a 20 22 53  eader string: "S
0a60: 51 4c 69 74 65 20 66 6f 72 6d 61 74 20 33 5c 30  QLite format 3\0
0a70: 30 30 22 0a 2a 2a 20 20 20 20 20 31 36 20 20 20  00".**     16   
0a80: 20 20 20 20 32 20 20 20 20 20 50 61 67 65 20 73      2     Page s
0a90: 69 7a 65 20 69 6e 20 62 79 74 65 73 2e 20 20 28  ize in bytes.  (
0aa0: 31 20 6d 65 61 6e 73 20 36 35 35 33 36 29 0a 2a  1 means 65536).*
0ab0: 2a 20 20 20 20 20 31 38 20 20 20 20 20 20 20 31  *     18       1
0ac0: 20 20 20 20 20 46 69 6c 65 20 66 6f 72 6d 61 74       File format
0ad0: 20 77 72 69 74 65 20 76 65 72 73 69 6f 6e 0a 2a   write version.*
0ae0: 2a 20 20 20 20 20 31 39 20 20 20 20 20 20 20 31  *     19       1
0af0: 20 20 20 20 20 46 69 6c 65 20 66 6f 72 6d 61 74       File format
0b00: 20 72 65 61 64 20 76 65 72 73 69 6f 6e 0a 2a 2a   read version.**
0b10: 20 20 20 20 20 32 30 20 20 20 20 20 20 20 31 20       20       1 
0b20: 20 20 20 20 42 79 74 65 73 20 6f 66 20 75 6e 75      Bytes of unu
0b30: 73 65 64 20 73 70 61 63 65 20 61 74 20 74 68 65  sed space at the
0b40: 20 65 6e 64 20 6f 66 20 65 61 63 68 20 70 61 67   end of each pag
0b50: 65 0a 2a 2a 20 20 20 20 20 32 31 20 20 20 20 20  e.**     21     
0b60: 20 20 31 20 20 20 20 20 4d 61 78 20 65 6d 62 65    1     Max embe
0b70: 64 64 65 64 20 70 61 79 6c 6f 61 64 20 66 72 61  dded payload fra
0b80: 63 74 69 6f 6e 20 28 6d 75 73 74 20 62 65 20 36  ction (must be 6
0b90: 34 29 0a 2a 2a 20 20 20 20 20 32 32 20 20 20 20  4).**     22    
0ba0: 20 20 20 31 20 20 20 20 20 4d 69 6e 20 65 6d 62     1     Min emb
0bb0: 65 64 64 65 64 20 70 61 79 6c 6f 61 64 20 66 72  edded payload fr
0bc0: 61 63 74 69 6f 6e 20 28 6d 75 73 74 20 62 65 20  action (must be 
0bd0: 33 32 29 0a 2a 2a 20 20 20 20 20 32 33 20 20 20  32).**     23   
0be0: 20 20 20 20 31 20 20 20 20 20 4d 69 6e 20 6c 65      1     Min le
0bf0: 61 66 20 70 61 79 6c 6f 61 64 20 66 72 61 63 74  af payload fract
0c00: 69 6f 6e 20 28 6d 75 73 74 20 62 65 20 33 32 29  ion (must be 32)
0c10: 0a 2a 2a 20 20 20 20 20 32 34 20 20 20 20 20 20  .**     24      
0c20: 20 34 20 20 20 20 20 46 69 6c 65 20 63 68 61 6e   4     File chan
0c30: 67 65 20 63 6f 75 6e 74 65 72 0a 2a 2a 20 20 20  ge counter.**   
0c40: 20 20 32 38 20 20 20 20 20 20 20 34 20 20 20 20    28       4    
0c50: 20 52 65 73 65 72 76 65 64 20 66 6f 72 20 66 75   Reserved for fu
0c60: 74 75 72 65 20 75 73 65 0a 2a 2a 20 20 20 20 20  ture use.**     
0c70: 33 32 20 20 20 20 20 20 20 34 20 20 20 20 20 46  32       4     F
0c80: 69 72 73 74 20 66 72 65 65 6c 69 73 74 20 70 61  irst freelist pa
0c90: 67 65 0a 2a 2a 20 20 20 20 20 33 36 20 20 20 20  ge.**     36    
0ca0: 20 20 20 34 20 20 20 20 20 4e 75 6d 62 65 72 20     4     Number 
0cb0: 6f 66 20 66 72 65 65 6c 69 73 74 20 70 61 67 65  of freelist page
0cc0: 73 20 69 6e 20 74 68 65 20 66 69 6c 65 0a 2a 2a  s in the file.**
0cd0: 20 20 20 20 20 34 30 20 20 20 20 20 20 36 30 20       40      60 
0ce0: 20 20 20 20 31 35 20 34 2d 62 79 74 65 20 6d 65      15 4-byte me
0cf0: 74 61 20 76 61 6c 75 65 73 20 70 61 73 73 65 64  ta values passed
0d00: 20 74 6f 20 68 69 67 68 65 72 20 6c 61 79 65 72   to higher layer
0d10: 73 0a 2a 2a 0a 2a 2a 20 20 20 20 20 34 30 20 20  s.**.**     40  
0d20: 20 20 20 20 20 34 20 20 20 20 20 53 63 68 65 6d       4     Schem
0d30: 61 20 63 6f 6f 6b 69 65 0a 2a 2a 20 20 20 20 20  a cookie.**     
0d40: 34 34 20 20 20 20 20 20 20 34 20 20 20 20 20 46  44       4     F
0d50: 69 6c 65 20 66 6f 72 6d 61 74 20 6f 66 20 73 63  ile format of sc
0d60: 68 65 6d 61 20 6c 61 79 65 72 0a 2a 2a 20 20 20  hema layer.**   
0d70: 20 20 34 38 20 20 20 20 20 20 20 34 20 20 20 20    48       4    
0d80: 20 53 69 7a 65 20 6f 66 20 70 61 67 65 20 63 61   Size of page ca
0d90: 63 68 65 0a 2a 2a 20 20 20 20 20 35 32 20 20 20  che.**     52   
0da0: 20 20 20 20 34 20 20 20 20 20 4c 61 72 67 65 73      4     Larges
0db0: 74 20 72 6f 6f 74 2d 70 61 67 65 20 28 61 75 74  t root-page (aut
0dc0: 6f 2f 69 6e 63 72 5f 76 61 63 75 75 6d 29 0a 2a  o/incr_vacuum).*
0dd0: 2a 20 20 20 20 20 35 36 20 20 20 20 20 20 20 34  *     56       4
0de0: 20 20 20 20 20 31 3d 55 54 46 2d 38 20 32 3d 55       1=UTF-8 2=U
0df0: 54 46 31 36 6c 65 20 33 3d 55 54 46 31 36 62 65  TF16le 3=UTF16be
0e00: 0a 2a 2a 20 20 20 20 20 36 30 20 20 20 20 20 20  .**     60      
0e10: 20 34 20 20 20 20 20 55 73 65 72 20 76 65 72 73   4     User vers
0e20: 69 6f 6e 0a 2a 2a 20 20 20 20 20 36 34 20 20 20  ion.**     64   
0e30: 20 20 20 20 34 20 20 20 20 20 49 6e 63 72 65 6d      4     Increm
0e40: 65 6e 74 61 6c 20 76 61 63 75 75 6d 20 6d 6f 64  ental vacuum mod
0e50: 65 0a 2a 2a 20 20 20 20 20 36 38 20 20 20 20 20  e.**     68     
0e60: 20 20 34 20 20 20 20 20 41 70 70 6c 69 63 61 74    4     Applicat
0e70: 69 6f 6e 2d 49 44 0a 2a 2a 20 20 20 20 20 37 32  ion-ID.**     72
0e80: 20 20 20 20 20 20 32 30 20 20 20 20 20 75 6e 75        20     unu
0e90: 73 65 64 0a 2a 2a 20 20 20 20 20 39 32 20 20 20  sed.**     92   
0ea0: 20 20 20 20 34 20 20 20 20 20 54 68 65 20 76 65      4     The ve
0eb0: 72 73 69 6f 6e 2d 76 61 6c 69 64 2d 66 6f 72 20  rsion-valid-for 
0ec0: 6e 75 6d 62 65 72 0a 2a 2a 20 20 20 20 20 39 36  number.**     96
0ed0: 20 20 20 20 20 20 20 34 20 20 20 20 20 53 51 4c         4     SQL
0ee0: 49 54 45 5f 56 45 52 53 49 4f 4e 5f 4e 55 4d 42  ITE_VERSION_NUMB
0ef0: 45 52 0a 2a 2a 0a 2a 2a 20 41 6c 6c 20 6f 66 20  ER.**.** All of 
0f00: 74 68 65 20 69 6e 74 65 67 65 72 20 76 61 6c 75  the integer valu
0f10: 65 73 20 61 72 65 20 62 69 67 2d 65 6e 64 69 61  es are big-endia
0f20: 6e 20 28 6d 6f 73 74 20 73 69 67 6e 69 66 69 63  n (most signific
0f30: 61 6e 74 20 62 79 74 65 20 66 69 72 73 74 29 2e  ant byte first).
0f40: 0a 2a 2a 0a 2a 2a 20 54 68 65 20 66 69 6c 65 20  .**.** The file 
0f50: 63 68 61 6e 67 65 20 63 6f 75 6e 74 65 72 20 69  change counter i
0f60: 73 20 69 6e 63 72 65 6d 65 6e 74 65 64 20 77 68  s incremented wh
0f70: 65 6e 20 74 68 65 20 64 61 74 61 62 61 73 65 20  en the database 
0f80: 69 73 20 63 68 61 6e 67 65 64 0a 2a 2a 20 54 68  is changed.** Th
0f90: 69 73 20 63 6f 75 6e 74 65 72 20 61 6c 6c 6f 77  is counter allow
0fa0: 73 20 6f 74 68 65 72 20 70 72 6f 63 65 73 73 65  s other processe
0fb0: 73 20 74 6f 20 6b 6e 6f 77 20 77 68 65 6e 20 74  s to know when t
0fc0: 68 65 20 66 69 6c 65 20 68 61 73 20 63 68 61 6e  he file has chan
0fd0: 67 65 64 0a 2a 2a 20 61 6e 64 20 74 68 75 73 20  ged.** and thus 
0fe0: 77 68 65 6e 20 74 68 65 79 20 6e 65 65 64 20 74  when they need t
0ff0: 6f 20 66 6c 75 73 68 20 74 68 65 69 72 20 63 61  o flush their ca
1000: 63 68 65 2e 0a 2a 2a 0a 2a 2a 20 54 68 65 20 6d  che..**.** The m
1010: 61 78 20 65 6d 62 65 64 64 65 64 20 70 61 79 6c  ax embedded payl
1020: 6f 61 64 20 66 72 61 63 74 69 6f 6e 20 69 73 20  oad fraction is 
1030: 74 68 65 20 61 6d 6f 75 6e 74 20 6f 66 20 74 68  the amount of th
1040: 65 20 74 6f 74 61 6c 20 75 73 61 62 6c 65 0a 2a  e total usable.*
1050: 2a 20 73 70 61 63 65 20 69 6e 20 61 20 70 61 67  * space in a pag
1060: 65 20 74 68 61 74 20 63 61 6e 20 62 65 20 63 6f  e that can be co
1070: 6e 73 75 6d 65 64 20 62 79 20 61 20 73 69 6e 67  nsumed by a sing
1080: 6c 65 20 63 65 6c 6c 20 66 6f 72 20 73 74 61 6e  le cell for stan
1090: 64 61 72 64 0a 2a 2a 20 42 2d 74 72 65 65 20 28  dard.** B-tree (
10a0: 6e 6f 6e 2d 4c 45 41 46 44 41 54 41 29 20 74 61  non-LEAFDATA) ta
10b0: 62 6c 65 73 2e 20 20 41 20 76 61 6c 75 65 20 6f  bles.  A value o
10c0: 66 20 32 35 35 20 6d 65 61 6e 73 20 31 30 30 25  f 255 means 100%
10d0: 2e 20 20 54 68 65 20 64 65 66 61 75 6c 74 0a 2a  .  The default.*
10e0: 2a 20 69 73 20 74 6f 20 6c 69 6d 69 74 20 74 68  * is to limit th
10f0: 65 20 6d 61 78 69 6d 75 6d 20 63 65 6c 6c 20 73  e maximum cell s
1100: 69 7a 65 20 73 6f 20 74 68 61 74 20 61 74 20 6c  ize so that at l
1110: 65 61 73 74 20 34 20 63 65 6c 6c 73 20 77 69 6c  east 4 cells wil
1120: 6c 20 66 69 74 0a 2a 2a 20 6f 6e 20 6f 6e 65 20  l fit.** on one 
1130: 70 61 67 65 2e 20 20 54 68 75 73 20 74 68 65 20  page.  Thus the 
1140: 64 65 66 61 75 6c 74 20 6d 61 78 20 65 6d 62 65  default max embe
1150: 64 64 65 64 20 70 61 79 6c 6f 61 64 20 66 72 61  dded payload fra
1160: 63 74 69 6f 6e 20 69 73 20 36 34 2e 0a 2a 2a 0a  ction is 64..**.
1170: 2a 2a 20 49 66 20 74 68 65 20 70 61 79 6c 6f 61  ** If the payloa
1180: 64 20 66 6f 72 20 61 20 63 65 6c 6c 20 69 73 20  d for a cell is 
1190: 6c 61 72 67 65 72 20 74 68 61 6e 20 74 68 65 20  larger than the 
11a0: 6d 61 78 20 70 61 79 6c 6f 61 64 2c 20 74 68 65  max payload, the
11b0: 6e 20 65 78 74 72 61 0a 2a 2a 20 70 61 79 6c 6f  n extra.** paylo
11c0: 61 64 20 69 73 20 73 70 69 6c 6c 65 64 20 74 6f  ad is spilled to
11d0: 20 6f 76 65 72 66 6c 6f 77 20 70 61 67 65 73 2e   overflow pages.
11e0: 20 20 4f 6e 63 65 20 61 6e 20 6f 76 65 72 66 6c    Once an overfl
11f0: 6f 77 20 70 61 67 65 20 69 73 20 61 6c 6c 6f 63  ow page is alloc
1200: 61 74 65 64 2c 0a 2a 2a 20 61 73 20 6d 61 6e 79  ated,.** as many
1210: 20 62 79 74 65 73 20 61 73 20 70 6f 73 73 69 62   bytes as possib
1220: 6c 65 20 61 72 65 20 6d 6f 76 65 64 20 69 6e 74  le are moved int
1230: 6f 20 74 68 65 20 6f 76 65 72 66 6c 6f 77 20 70  o the overflow p
1240: 61 67 65 73 20 77 69 74 68 6f 75 74 20 6c 65 74  ages without let
1250: 74 69 6e 67 0a 2a 2a 20 74 68 65 20 63 65 6c 6c  ting.** the cell
1260: 20 73 69 7a 65 20 64 72 6f 70 20 62 65 6c 6f 77   size drop below
1270: 20 74 68 65 20 6d 69 6e 20 65 6d 62 65 64 64 65   the min embedde
1280: 64 20 70 61 79 6c 6f 61 64 20 66 72 61 63 74 69  d payload fracti
1290: 6f 6e 2e 0a 2a 2a 0a 2a 2a 20 54 68 65 20 6d 69  on..**.** The mi
12a0: 6e 20 6c 65 61 66 20 70 61 79 6c 6f 61 64 20 66  n leaf payload f
12b0: 72 61 63 74 69 6f 6e 20 69 73 20 6c 69 6b 65 20  raction is like 
12c0: 74 68 65 20 6d 69 6e 20 65 6d 62 65 64 64 65 64  the min embedded
12d0: 20 70 61 79 6c 6f 61 64 20 66 72 61 63 74 69 6f   payload fractio
12e0: 6e 0a 2a 2a 20 65 78 63 65 70 74 20 74 68 61 74  n.** except that
12f0: 20 69 74 20 61 70 70 6c 69 65 73 20 74 6f 20 6c   it applies to l
1300: 65 61 66 20 6e 6f 64 65 73 20 69 6e 20 61 20 4c  eaf nodes in a L
1310: 45 41 46 44 41 54 41 20 74 72 65 65 2e 20 20 54  EAFDATA tree.  T
1320: 68 65 20 6d 61 78 69 6d 75 6d 0a 2a 2a 20 70 61  he maximum.** pa
1330: 79 6c 6f 61 64 20 66 72 61 63 74 69 6f 6e 20 66  yload fraction f
1340: 6f 72 20 61 20 4c 45 41 46 44 41 54 41 20 74 72  or a LEAFDATA tr
1350: 65 65 20 69 73 20 61 6c 77 61 79 73 20 31 30 30  ee is always 100
1360: 25 20 28 6f 72 20 32 35 35 29 20 61 6e 64 20 69  % (or 255) and i
1370: 74 0a 2a 2a 20 6e 6f 74 20 73 70 65 63 69 66 69  t.** not specifi
1380: 65 64 20 69 6e 20 74 68 65 20 68 65 61 64 65 72  ed in the header
1390: 2e 0a 2a 2a 0a 2a 2a 20 45 61 63 68 20 62 74 72  ..**.** Each btr
13a0: 65 65 20 70 61 67 65 73 20 69 73 20 64 69 76 69  ee pages is divi
13b0: 64 65 64 20 69 6e 74 6f 20 74 68 72 65 65 20 73  ded into three s
13c0: 65 63 74 69 6f 6e 73 3a 20 20 54 68 65 20 68 65  ections:  The he
13d0: 61 64 65 72 2c 20 74 68 65 0a 2a 2a 20 63 65 6c  ader, the.** cel
13e0: 6c 20 70 6f 69 6e 74 65 72 20 61 72 72 61 79 2c  l pointer array,
13f0: 20 61 6e 64 20 74 68 65 20 63 65 6c 6c 20 63 6f   and the cell co
1400: 6e 74 65 6e 74 20 61 72 65 61 2e 20 20 50 61 67  ntent area.  Pag
1410: 65 20 31 20 61 6c 73 6f 20 68 61 73 20 61 20 31  e 1 also has a 1
1420: 30 30 2d 62 79 74 65 0a 2a 2a 20 66 69 6c 65 20  00-byte.** file 
1430: 68 65 61 64 65 72 20 74 68 61 74 20 6f 63 63 75  header that occu
1440: 72 73 20 62 65 66 6f 72 65 20 74 68 65 20 70 61  rs before the pa
1450: 67 65 20 68 65 61 64 65 72 2e 0a 2a 2a 0a 2a 2a  ge header..**.**
1460: 20 20 20 20 20 20 7c 2d 2d 2d 2d 2d 2d 2d 2d 2d        |---------
1470: 2d 2d 2d 2d 2d 2d 2d 7c 0a 2a 2a 20 20 20 20 20  -------|.**     
1480: 20 7c 20 66 69 6c 65 20 68 65 61 64 65 72 20 20   | file header  
1490: 20 20 7c 20 20 20 31 30 30 20 62 79 74 65 73 2e    |   100 bytes.
14a0: 20 20 50 61 67 65 20 31 20 6f 6e 6c 79 2e 0a 2a    Page 1 only..*
14b0: 2a 20 20 20 20 20 20 7c 2d 2d 2d 2d 2d 2d 2d 2d  *      |--------
14c0: 2d 2d 2d 2d 2d 2d 2d 2d 7c 0a 2a 2a 20 20 20 20  --------|.**    
14d0: 20 20 7c 20 70 61 67 65 20 68 65 61 64 65 72 20    | page header 
14e0: 20 20 20 7c 20 20 20 38 20 62 79 74 65 73 20 66     |   8 bytes f
14f0: 6f 72 20 6c 65 61 76 65 73 2e 20 20 31 32 20 62  or leaves.  12 b
1500: 79 74 65 73 20 66 6f 72 20 69 6e 74 65 72 69 6f  ytes for interio
1510: 72 20 6e 6f 64 65 73 0a 2a 2a 20 20 20 20 20 20  r nodes.**      
1520: 7c 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  |---------------
1530: 2d 7c 0a 2a 2a 20 20 20 20 20 20 7c 20 63 65 6c  -|.**      | cel
1540: 6c 20 70 6f 69 6e 74 65 72 20 20 20 7c 20 20 20  l pointer   |   
1550: 7c 20 20 32 20 62 79 74 65 73 20 70 65 72 20 63  |  2 bytes per c
1560: 65 6c 6c 2e 20 20 53 6f 72 74 65 64 20 6f 72 64  ell.  Sorted ord
1570: 65 72 2e 0a 2a 2a 20 20 20 20 20 20 7c 20 61 72  er..**      | ar
1580: 72 61 79 20 20 20 20 20 20 20 20 20 20 7c 20 20  ray          |  
1590: 20 7c 20 20 47 72 6f 77 73 20 64 6f 77 6e 77 61   |  Grows downwa
15a0: 72 64 0a 2a 2a 20 20 20 20 20 20 7c 20 20 20 20  rd.**      |    
15b0: 20 20 20 20 20 20 20 20 20 20 20 20 7c 20 20 20              |   
15c0: 76 0a 2a 2a 20 20 20 20 20 20 7c 2d 2d 2d 2d 2d  v.**      |-----
15d0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 7c 0a 2a 2a 20  -----------|.** 
15e0: 20 20 20 20 20 7c 20 75 6e 61 6c 6c 6f 63 61 74       | unallocat
15f0: 65 64 20 20 20 20 7c 0a 2a 2a 20 20 20 20 20 20  ed    |.**      
1600: 7c 20 73 70 61 63 65 20 20 20 20 20 20 20 20 20  | space         
1610: 20 7c 0a 2a 2a 20 20 20 20 20 20 7c 2d 2d 2d 2d   |.**      |----
1620: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 7c 20 20 20  ------------|   
1630: 5e 20 20 47 72 6f 77 73 20 75 70 77 61 72 64 73  ^  Grows upwards
1640: 0a 2a 2a 20 20 20 20 20 20 7c 20 63 65 6c 6c 20  .**      | cell 
1650: 63 6f 6e 74 65 6e 74 20 20 20 7c 20 20 20 7c 20  content   |   | 
1660: 20 41 72 62 69 74 72 61 72 79 20 6f 72 64 65 72   Arbitrary order
1670: 20 69 6e 74 65 72 73 70 65 72 73 65 64 20 77 69   interspersed wi
1680: 74 68 20 66 72 65 65 62 6c 6f 63 6b 73 2e 0a 2a  th freeblocks..*
1690: 2a 20 20 20 20 20 20 7c 20 61 72 65 61 20 20 20  *      | area   
16a0: 20 20 20 20 20 20 20 20 7c 20 20 20 7c 20 20 61          |   |  a
16b0: 6e 64 20 66 72 65 65 20 73 70 61 63 65 20 66 72  nd free space fr
16c0: 61 67 6d 65 6e 74 73 2e 0a 2a 2a 20 20 20 20 20  agments..**     
16d0: 20 7c 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d   |--------------
16e0: 2d 2d 7c 0a 2a 2a 0a 2a 2a 20 54 68 65 20 70 61  --|.**.** The pa
16f0: 67 65 20 68 65 61 64 65 72 73 20 6c 6f 6f 6b 73  ge headers looks
1700: 20 6c 69 6b 65 20 74 68 69 73 3a 0a 2a 2a 0a 2a   like this:.**.*
1710: 2a 20 20 20 4f 46 46 53 45 54 20 20 20 53 49 5a  *   OFFSET   SIZ
1720: 45 20 20 20 20 20 44 45 53 43 52 49 50 54 49 4f  E     DESCRIPTIO
1730: 4e 0a 2a 2a 20 20 20 20 20 20 30 20 20 20 20 20  N.**      0     
1740: 20 20 31 20 20 20 20 20 20 46 6c 61 67 73 2e 20    1      Flags. 
1750: 31 3a 20 69 6e 74 6b 65 79 2c 20 32 3a 20 7a 65  1: intkey, 2: ze
1760: 72 6f 64 61 74 61 2c 20 34 3a 20 6c 65 61 66 64  rodata, 4: leafd
1770: 61 74 61 2c 20 38 3a 20 6c 65 61 66 0a 2a 2a 20  ata, 8: leaf.** 
1780: 20 20 20 20 20 31 20 20 20 20 20 20 20 32 20 20       1       2  
1790: 20 20 20 20 62 79 74 65 20 6f 66 66 73 65 74 20      byte offset 
17a0: 74 6f 20 74 68 65 20 66 69 72 73 74 20 66 72 65  to the first fre
17b0: 65 62 6c 6f 63 6b 0a 2a 2a 20 20 20 20 20 20 33  eblock.**      3
17c0: 20 20 20 20 20 20 20 32 20 20 20 20 20 20 6e 75         2      nu
17d0: 6d 62 65 72 20 6f 66 20 63 65 6c 6c 73 20 6f 6e  mber of cells on
17e0: 20 74 68 69 73 20 70 61 67 65 0a 2a 2a 20 20 20   this page.**   
17f0: 20 20 20 35 20 20 20 20 20 20 20 32 20 20 20 20     5       2    
1800: 20 20 66 69 72 73 74 20 62 79 74 65 20 6f 66 20    first byte of 
1810: 74 68 65 20 63 65 6c 6c 20 63 6f 6e 74 65 6e 74  the cell content
1820: 20 61 72 65 61 0a 2a 2a 20 20 20 20 20 20 37 20   area.**      7 
1830: 20 20 20 20 20 20 31 20 20 20 20 20 20 6e 75 6d        1      num
1840: 62 65 72 20 6f 66 20 66 72 61 67 6d 65 6e 74 65  ber of fragmente
1850: 64 20 66 72 65 65 20 62 79 74 65 73 0a 2a 2a 20  d free bytes.** 
1860: 20 20 20 20 20 38 20 20 20 20 20 20 20 34 20 20       8       4  
1870: 20 20 20 20 52 69 67 68 74 20 63 68 69 6c 64 20      Right child 
1880: 28 74 68 65 20 50 74 72 28 4e 29 20 76 61 6c 75  (the Ptr(N) valu
1890: 65 29 2e 20 20 4f 6d 69 74 74 65 64 20 6f 6e 20  e).  Omitted on 
18a0: 6c 65 61 76 65 73 2e 0a 2a 2a 0a 2a 2a 20 54 68  leaves..**.** Th
18b0: 65 20 66 6c 61 67 73 20 64 65 66 69 6e 65 20 74  e flags define t
18c0: 68 65 20 66 6f 72 6d 61 74 20 6f 66 20 74 68 69  he format of thi
18d0: 73 20 62 74 72 65 65 20 70 61 67 65 2e 20 20 54  s btree page.  T
18e0: 68 65 20 6c 65 61 66 20 66 6c 61 67 20 6d 65 61  he leaf flag mea
18f0: 6e 73 20 74 68 61 74 0a 2a 2a 20 74 68 69 73 20  ns that.** this 
1900: 70 61 67 65 20 68 61 73 20 6e 6f 20 63 68 69 6c  page has no chil
1910: 64 72 65 6e 2e 20 20 54 68 65 20 7a 65 72 6f 64  dren.  The zerod
1920: 61 74 61 20 66 6c 61 67 20 6d 65 61 6e 73 20 74  ata flag means t
1930: 68 61 74 20 74 68 69 73 20 70 61 67 65 20 63 61  hat this page ca
1940: 72 72 69 65 73 0a 2a 2a 20 6f 6e 6c 79 20 6b 65  rries.** only ke
1950: 79 73 20 61 6e 64 20 6e 6f 20 64 61 74 61 2e 20  ys and no data. 
1960: 20 54 68 65 20 69 6e 74 6b 65 79 20 66 6c 61 67   The intkey flag
1970: 20 6d 65 61 6e 73 20 74 68 61 74 20 74 68 65 20   means that the 
1980: 6b 65 79 20 69 73 20 61 6e 20 69 6e 74 65 67 65  key is an intege
1990: 72 0a 2a 2a 20 77 68 69 63 68 20 69 73 20 73 74  r.** which is st
19a0: 6f 72 65 64 20 69 6e 20 74 68 65 20 6b 65 79 20  ored in the key 
19b0: 73 69 7a 65 20 65 6e 74 72 79 20 6f 66 20 74 68  size entry of th
19c0: 65 20 63 65 6c 6c 20 68 65 61 64 65 72 20 72 61  e cell header ra
19d0: 74 68 65 72 20 74 68 61 6e 20 69 6e 0a 2a 2a 20  ther than in.** 
19e0: 74 68 65 20 70 61 79 6c 6f 61 64 20 61 72 65 61  the payload area
19f0: 2e 0a 2a 2a 0a 2a 2a 20 54 68 65 20 63 65 6c 6c  ..**.** The cell
1a00: 20 70 6f 69 6e 74 65 72 20 61 72 72 61 79 20 62   pointer array b
1a10: 65 67 69 6e 73 20 6f 6e 20 74 68 65 20 66 69 72  egins on the fir
1a20: 73 74 20 62 79 74 65 20 61 66 74 65 72 20 74 68  st byte after th
1a30: 65 20 70 61 67 65 20 68 65 61 64 65 72 2e 0a 2a  e page header..*
1a40: 2a 20 54 68 65 20 63 65 6c 6c 20 70 6f 69 6e 74  * The cell point
1a50: 65 72 20 61 72 72 61 79 20 63 6f 6e 74 61 69 6e  er array contain
1a60: 73 20 7a 65 72 6f 20 6f 72 20 6d 6f 72 65 20 32  s zero or more 2
1a70: 2d 62 79 74 65 20 6e 75 6d 62 65 72 73 20 77 68  -byte numbers wh
1a80: 69 63 68 20 61 72 65 0a 2a 2a 20 6f 66 66 73 65  ich are.** offse
1a90: 74 73 20 66 72 6f 6d 20 74 68 65 20 62 65 67 69  ts from the begi
1aa0: 6e 6e 69 6e 67 20 6f 66 20 74 68 65 20 70 61 67  nning of the pag
1ab0: 65 20 74 6f 20 74 68 65 20 63 65 6c 6c 20 63 6f  e to the cell co
1ac0: 6e 74 65 6e 74 20 69 6e 20 74 68 65 20 63 65 6c  ntent in the cel
1ad0: 6c 0a 2a 2a 20 63 6f 6e 74 65 6e 74 20 61 72 65  l.** content are
1ae0: 61 2e 20 20 54 68 65 20 63 65 6c 6c 20 70 6f 69  a.  The cell poi
1af0: 6e 74 65 72 73 20 6f 63 63 75 72 20 69 6e 20 73  nters occur in s
1b00: 6f 72 74 65 64 20 6f 72 64 65 72 2e 20 20 54 68  orted order.  Th
1b10: 65 20 73 79 73 74 65 6d 20 73 74 72 69 76 65 73  e system strives
1b20: 0a 2a 2a 20 74 6f 20 6b 65 65 70 20 66 72 65 65  .** to keep free
1b30: 20 73 70 61 63 65 20 61 66 74 65 72 20 74 68 65   space after the
1b40: 20 6c 61 73 74 20 63 65 6c 6c 20 70 6f 69 6e 74   last cell point
1b50: 65 72 20 73 6f 20 74 68 61 74 20 6e 65 77 20 63  er so that new c
1b60: 65 6c 6c 73 20 63 61 6e 0a 2a 2a 20 62 65 20 65  ells can.** be e
1b70: 61 73 69 6c 79 20 61 64 64 65 64 20 77 69 74 68  asily added with
1b80: 6f 75 74 20 68 61 76 69 6e 67 20 74 6f 20 64 65  out having to de
1b90: 66 72 61 67 6d 65 6e 74 20 74 68 65 20 70 61 67  fragment the pag
1ba0: 65 2e 0a 2a 2a 0a 2a 2a 20 43 65 6c 6c 20 63 6f  e..**.** Cell co
1bb0: 6e 74 65 6e 74 20 69 73 20 73 74 6f 72 65 64 20  ntent is stored 
1bc0: 61 74 20 74 68 65 20 76 65 72 79 20 65 6e 64 20  at the very end 
1bd0: 6f 66 20 74 68 65 20 70 61 67 65 20 61 6e 64 20  of the page and 
1be0: 67 72 6f 77 73 20 74 6f 77 61 72 64 20 74 68 65  grows toward the
1bf0: 0a 2a 2a 20 62 65 67 69 6e 6e 69 6e 67 20 6f 66  .** beginning of
1c00: 20 74 68 65 20 70 61 67 65 2e 0a 2a 2a 0a 2a 2a   the page..**.**
1c10: 20 55 6e 75 73 65 64 20 73 70 61 63 65 20 77 69   Unused space wi
1c20: 74 68 69 6e 20 74 68 65 20 63 65 6c 6c 20 63 6f  thin the cell co
1c30: 6e 74 65 6e 74 20 61 72 65 61 20 69 73 20 63 6f  ntent area is co
1c40: 6c 6c 65 63 74 65 64 20 69 6e 74 6f 20 61 20 6c  llected into a l
1c50: 69 6e 6b 65 64 20 6c 69 73 74 20 6f 66 0a 2a 2a  inked list of.**
1c60: 20 66 72 65 65 62 6c 6f 63 6b 73 2e 20 20 45 61   freeblocks.  Ea
1c70: 63 68 20 66 72 65 65 62 6c 6f 63 6b 20 69 73 20  ch freeblock is 
1c80: 61 74 20 6c 65 61 73 74 20 34 20 62 79 74 65 73  at least 4 bytes
1c90: 20 69 6e 20 73 69 7a 65 2e 20 20 54 68 65 20 62   in size.  The b
1ca0: 79 74 65 20 6f 66 66 73 65 74 0a 2a 2a 20 74 6f  yte offset.** to
1cb0: 20 74 68 65 20 66 69 72 73 74 20 66 72 65 65 62   the first freeb
1cc0: 6c 6f 63 6b 20 69 73 20 67 69 76 65 6e 20 69 6e  lock is given in
1cd0: 20 74 68 65 20 68 65 61 64 65 72 2e 20 20 46 72   the header.  Fr
1ce0: 65 65 62 6c 6f 63 6b 73 20 6f 63 63 75 72 20 69  eeblocks occur i
1cf0: 6e 0a 2a 2a 20 69 6e 63 72 65 61 73 69 6e 67 20  n.** increasing 
1d00: 6f 72 64 65 72 2e 20 20 42 65 63 61 75 73 65 20  order.  Because 
1d10: 61 20 66 72 65 65 62 6c 6f 63 6b 20 6d 75 73 74  a freeblock must
1d20: 20 62 65 20 61 74 20 6c 65 61 73 74 20 34 20 62   be at least 4 b
1d30: 79 74 65 73 20 69 6e 20 73 69 7a 65 2c 0a 2a 2a  ytes in size,.**
1d40: 20 61 6e 79 20 67 72 6f 75 70 20 6f 66 20 33 20   any group of 3 
1d50: 6f 72 20 66 65 77 65 72 20 75 6e 75 73 65 64 20  or fewer unused 
1d60: 62 79 74 65 73 20 69 6e 20 74 68 65 20 63 65 6c  bytes in the cel
1d70: 6c 20 63 6f 6e 74 65 6e 74 20 61 72 65 61 20 63  l content area c
1d80: 61 6e 6e 6f 74 0a 2a 2a 20 65 78 69 73 74 20 6f  annot.** exist o
1d90: 6e 20 74 68 65 20 66 72 65 65 62 6c 6f 63 6b 20  n the freeblock 
1da0: 63 68 61 69 6e 2e 20 20 41 20 67 72 6f 75 70 20  chain.  A group 
1db0: 6f 66 20 33 20 6f 72 20 66 65 77 65 72 20 66 72  of 3 or fewer fr
1dc0: 65 65 20 62 79 74 65 73 20 69 73 20 63 61 6c 6c  ee bytes is call
1dd0: 65 64 0a 2a 2a 20 61 20 66 72 61 67 6d 65 6e 74  ed.** a fragment
1de0: 2e 20 20 54 68 65 20 74 6f 74 61 6c 20 6e 75 6d  .  The total num
1df0: 62 65 72 20 6f 66 20 62 79 74 65 73 20 69 6e 20  ber of bytes in 
1e00: 61 6c 6c 20 66 72 61 67 6d 65 6e 74 73 20 69 73  all fragments is
1e10: 20 72 65 63 6f 72 64 65 64 2e 0a 2a 2a 20 69 6e   recorded..** in
1e20: 20 74 68 65 20 70 61 67 65 20 68 65 61 64 65 72   the page header
1e30: 20 61 74 20 6f 66 66 73 65 74 20 37 2e 0a 2a 2a   at offset 7..**
1e40: 0a 2a 2a 20 20 20 20 53 49 5a 45 20 20 20 20 44  .**    SIZE    D
1e50: 45 53 43 52 49 50 54 49 4f 4e 0a 2a 2a 20 20 20  ESCRIPTION.**   
1e60: 20 20 20 32 20 20 20 20 20 42 79 74 65 20 6f 66     2     Byte of
1e70: 66 73 65 74 20 6f 66 20 74 68 65 20 6e 65 78 74  fset of the next
1e80: 20 66 72 65 65 62 6c 6f 63 6b 0a 2a 2a 20 20 20   freeblock.**   
1e90: 20 20 20 32 20 20 20 20 20 42 79 74 65 73 20 69     2     Bytes i
1ea0: 6e 20 74 68 69 73 20 66 72 65 65 62 6c 6f 63 6b  n this freeblock
1eb0: 0a 2a 2a 0a 2a 2a 20 43 65 6c 6c 73 20 61 72 65  .**.** Cells are
1ec0: 20 6f 66 20 76 61 72 69 61 62 6c 65 20 6c 65 6e   of variable len
1ed0: 67 74 68 2e 20 20 43 65 6c 6c 73 20 61 72 65 20  gth.  Cells are 
1ee0: 73 74 6f 72 65 64 20 69 6e 20 74 68 65 20 63 65  stored in the ce
1ef0: 6c 6c 20 63 6f 6e 74 65 6e 74 20 61 72 65 61 20  ll content area 
1f00: 61 74 0a 2a 2a 20 74 68 65 20 65 6e 64 20 6f 66  at.** the end of
1f10: 20 74 68 65 20 70 61 67 65 2e 20 20 50 6f 69 6e   the page.  Poin
1f20: 74 65 72 73 20 74 6f 20 74 68 65 20 63 65 6c 6c  ters to the cell
1f30: 73 20 61 72 65 20 69 6e 20 74 68 65 20 63 65 6c  s are in the cel
1f40: 6c 20 70 6f 69 6e 74 65 72 20 61 72 72 61 79 0a  l pointer array.
1f50: 2a 2a 20 74 68 61 74 20 69 6d 6d 65 64 69 61 74  ** that immediat
1f60: 65 6c 79 20 66 6f 6c 6c 6f 77 73 20 74 68 65 20  ely follows the 
1f70: 70 61 67 65 20 68 65 61 64 65 72 2e 20 20 43 65  page header.  Ce
1f80: 6c 6c 73 20 69 73 20 6e 6f 74 20 6e 65 63 65 73  lls is not neces
1f90: 73 61 72 69 6c 79 0a 2a 2a 20 63 6f 6e 74 69 67  sarily.** contig
1fa0: 75 6f 75 73 20 6f 72 20 69 6e 20 6f 72 64 65 72  uous or in order
1fb0: 2c 20 62 75 74 20 63 65 6c 6c 20 70 6f 69 6e 74  , but cell point
1fc0: 65 72 73 20 61 72 65 20 63 6f 6e 74 69 67 75 6f  ers are contiguo
1fd0: 75 73 20 61 6e 64 20 69 6e 20 6f 72 64 65 72 2e  us and in order.
1fe0: 0a 2a 2a 0a 2a 2a 20 43 65 6c 6c 20 63 6f 6e 74  .**.** Cell cont
1ff0: 65 6e 74 20 6d 61 6b 65 73 20 75 73 65 20 6f 66  ent makes use of
2000: 20 76 61 72 69 61 62 6c 65 20 6c 65 6e 67 74 68   variable length
2010: 20 69 6e 74 65 67 65 72 73 2e 20 20 41 20 76 61   integers.  A va
2020: 72 69 61 62 6c 65 0a 2a 2a 20 6c 65 6e 67 74 68  riable.** length
2030: 20 69 6e 74 65 67 65 72 20 69 73 20 31 20 74 6f   integer is 1 to
2040: 20 39 20 62 79 74 65 73 20 77 68 65 72 65 20 74   9 bytes where t
2050: 68 65 20 6c 6f 77 65 72 20 37 20 62 69 74 73 20  he lower 7 bits 
2060: 6f 66 20 65 61 63 68 20 0a 2a 2a 20 62 79 74 65  of each .** byte
2070: 20 61 72 65 20 75 73 65 64 2e 20 20 54 68 65 20   are used.  The 
2080: 69 6e 74 65 67 65 72 20 63 6f 6e 73 69 73 74 73  integer consists
2090: 20 6f 66 20 61 6c 6c 20 62 79 74 65 73 20 74 68   of all bytes th
20a0: 61 74 20 68 61 76 65 20 62 69 74 20 38 20 73 65  at have bit 8 se
20b0: 74 20 61 6e 64 0a 2a 2a 20 74 68 65 20 66 69 72  t and.** the fir
20c0: 73 74 20 62 79 74 65 20 77 69 74 68 20 62 69 74  st byte with bit
20d0: 20 38 20 63 6c 65 61 72 2e 20 20 54 68 65 20 6d   8 clear.  The m
20e0: 6f 73 74 20 73 69 67 6e 69 66 69 63 61 6e 74 20  ost significant 
20f0: 62 79 74 65 20 6f 66 20 74 68 65 20 69 6e 74 65  byte of the inte
2100: 67 65 72 0a 2a 2a 20 61 70 70 65 61 72 73 20 66  ger.** appears f
2110: 69 72 73 74 2e 20 20 41 20 76 61 72 69 61 62 6c  irst.  A variabl
2120: 65 2d 6c 65 6e 67 74 68 20 69 6e 74 65 67 65 72  e-length integer
2130: 20 6d 61 79 20 6e 6f 74 20 62 65 20 6d 6f 72 65   may not be more
2140: 20 74 68 61 6e 20 39 20 62 79 74 65 73 20 6c 6f   than 9 bytes lo
2150: 6e 67 2e 0a 2a 2a 20 41 73 20 61 20 73 70 65 63  ng..** As a spec
2160: 69 61 6c 20 63 61 73 65 2c 20 61 6c 6c 20 38 20  ial case, all 8 
2170: 62 79 74 65 73 20 6f 66 20 74 68 65 20 39 74 68  bytes of the 9th
2180: 20 62 79 74 65 20 61 72 65 20 75 73 65 64 20 61   byte are used a
2190: 73 20 64 61 74 61 2e 20 20 54 68 69 73 0a 2a 2a  s data.  This.**
21a0: 20 61 6c 6c 6f 77 73 20 61 20 36 34 2d 62 69 74   allows a 64-bit
21b0: 20 69 6e 74 65 67 65 72 20 74 6f 20 62 65 20 65   integer to be e
21c0: 6e 63 6f 64 65 64 20 69 6e 20 39 20 62 79 74 65  ncoded in 9 byte
21d0: 73 2e 0a 2a 2a 0a 2a 2a 20 20 20 20 30 78 30 30  s..**.**    0x00
21e0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
21f0: 20 20 20 20 20 20 62 65 63 6f 6d 65 73 20 20 30        becomes  0
2200: 78 30 30 30 30 30 30 30 30 0a 2a 2a 20 20 20 20  x00000000.**    
2210: 30 78 37 66 20 20 20 20 20 20 20 20 20 20 20 20  0x7f            
2220: 20 20 20 20 20 20 20 20 20 20 62 65 63 6f 6d 65            become
2230: 73 20 20 30 78 30 30 30 30 30 30 37 66 0a 2a 2a  s  0x0000007f.**
2240: 20 20 20 20 30 78 38 31 20 30 78 30 30 20 20 20      0x81 0x00   
2250: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 62 65                be
2260: 63 6f 6d 65 73 20 20 30 78 30 30 30 30 30 30 38  comes  0x0000008
2270: 30 0a 2a 2a 20 20 20 20 30 78 38 32 20 30 78 30  0.**    0x82 0x0
2280: 30 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  0               
2290: 20 20 62 65 63 6f 6d 65 73 20 20 30 78 30 30 30    becomes  0x000
22a0: 30 30 31 30 30 0a 2a 2a 20 20 20 20 30 78 38 30  00100.**    0x80
22b0: 20 30 78 37 66 20 20 20 20 20 20 20 20 20 20 20   0x7f           
22c0: 20 20 20 20 20 20 62 65 63 6f 6d 65 73 20 20 30        becomes  0
22d0: 78 30 30 30 30 30 30 37 66 0a 2a 2a 20 20 20 20  x0000007f.**    
22e0: 30 78 38 61 20 30 78 39 31 20 30 78 64 31 20 30  0x8a 0x91 0xd1 0
22f0: 78 61 63 20 30 78 37 38 20 20 62 65 63 6f 6d 65  xac 0x78  become
2300: 73 20 20 30 78 31 32 33 34 35 36 37 38 0a 2a 2a  s  0x12345678.**
2310: 20 20 20 20 30 78 38 31 20 30 78 38 31 20 30 78      0x81 0x81 0x
2320: 38 31 20 30 78 38 31 20 30 78 30 31 20 20 62 65  81 0x81 0x01  be
2330: 63 6f 6d 65 73 20 20 30 78 31 30 32 30 34 30 38  comes  0x1020408
2340: 31 0a 2a 2a 0a 2a 2a 20 56 61 72 69 61 62 6c 65  1.**.** Variable
2350: 20 6c 65 6e 67 74 68 20 69 6e 74 65 67 65 72 73   length integers
2360: 20 61 72 65 20 75 73 65 64 20 66 6f 72 20 72 6f   are used for ro
2370: 77 69 64 73 20 61 6e 64 20 74 6f 20 68 6f 6c 64  wids and to hold
2380: 20 74 68 65 20 6e 75 6d 62 65 72 20 6f 66 0a 2a   the number of.*
2390: 2a 20 62 79 74 65 73 20 6f 66 20 6b 65 79 20 61  * bytes of key a
23a0: 6e 64 20 64 61 74 61 20 69 6e 20 61 20 62 74 72  nd data in a btr
23b0: 65 65 20 63 65 6c 6c 2e 0a 2a 2a 0a 2a 2a 20 54  ee cell..**.** T
23c0: 68 65 20 63 6f 6e 74 65 6e 74 20 6f 66 20 61 20  he content of a 
23d0: 63 65 6c 6c 20 6c 6f 6f 6b 73 20 6c 69 6b 65 20  cell looks like 
23e0: 74 68 69 73 3a 0a 2a 2a 0a 2a 2a 20 20 20 20 53  this:.**.**    S
23f0: 49 5a 45 20 20 20 20 44 45 53 43 52 49 50 54 49  IZE    DESCRIPTI
2400: 4f 4e 0a 2a 2a 20 20 20 20 20 20 34 20 20 20 20  ON.**      4    
2410: 20 50 61 67 65 20 6e 75 6d 62 65 72 20 6f 66 20   Page number of 
2420: 74 68 65 20 6c 65 66 74 20 63 68 69 6c 64 2e 20  the left child. 
2430: 4f 6d 69 74 74 65 64 20 69 66 20 6c 65 61 66 20  Omitted if leaf 
2440: 66 6c 61 67 20 69 73 20 73 65 74 2e 0a 2a 2a 20  flag is set..** 
2450: 20 20 20 20 76 61 72 20 20 20 20 4e 75 6d 62 65      var    Numbe
2460: 72 20 6f 66 20 62 79 74 65 73 20 6f 66 20 64 61  r of bytes of da
2470: 74 61 2e 20 4f 6d 69 74 74 65 64 20 69 66 20 74  ta. Omitted if t
2480: 68 65 20 7a 65 72 6f 64 61 74 61 20 66 6c 61 67  he zerodata flag
2490: 20 69 73 20 73 65 74 2e 0a 2a 2a 20 20 20 20 20   is set..**     
24a0: 76 61 72 20 20 20 20 4e 75 6d 62 65 72 20 6f 66  var    Number of
24b0: 20 62 79 74 65 73 20 6f 66 20 6b 65 79 2e 20 4f   bytes of key. O
24c0: 72 20 74 68 65 20 6b 65 79 20 69 74 73 65 6c 66  r the key itself
24d0: 20 69 66 20 69 6e 74 6b 65 79 20 66 6c 61 67 20   if intkey flag 
24e0: 69 73 20 73 65 74 2e 0a 2a 2a 20 20 20 20 20 20  is set..**      
24f0: 2a 20 20 20 20 20 50 61 79 6c 6f 61 64 0a 2a 2a  *     Payload.**
2500: 20 20 20 20 20 20 34 20 20 20 20 20 46 69 72 73        4     Firs
2510: 74 20 70 61 67 65 20 6f 66 20 74 68 65 20 6f 76  t page of the ov
2520: 65 72 66 6c 6f 77 20 63 68 61 69 6e 2e 20 20 4f  erflow chain.  O
2530: 6d 69 74 74 65 64 20 69 66 20 6e 6f 20 6f 76 65  mitted if no ove
2540: 72 66 6c 6f 77 0a 2a 2a 0a 2a 2a 20 4f 76 65 72  rflow.**.** Over
2550: 66 6c 6f 77 20 70 61 67 65 73 20 66 6f 72 6d 20  flow pages form 
2560: 61 20 6c 69 6e 6b 65 64 20 6c 69 73 74 2e 20 20  a linked list.  
2570: 45 61 63 68 20 70 61 67 65 20 65 78 63 65 70 74  Each page except
2580: 20 74 68 65 20 6c 61 73 74 20 69 73 20 63 6f 6d   the last is com
2590: 70 6c 65 74 65 6c 79 0a 2a 2a 20 66 69 6c 6c 65  pletely.** fille
25a0: 64 20 77 69 74 68 20 64 61 74 61 20 28 70 61 67  d with data (pag
25b0: 65 73 69 7a 65 20 2d 20 34 20 62 79 74 65 73 29  esize - 4 bytes)
25c0: 2e 20 20 54 68 65 20 6c 61 73 74 20 70 61 67 65  .  The last page
25d0: 20 63 61 6e 20 68 61 76 65 20 61 73 20 6c 69 74   can have as lit
25e0: 74 6c 65 0a 2a 2a 20 61 73 20 31 20 62 79 74 65  tle.** as 1 byte
25f0: 20 6f 66 20 64 61 74 61 2e 0a 2a 2a 0a 2a 2a 20   of data..**.** 
2600: 20 20 20 53 49 5a 45 20 20 20 20 44 45 53 43 52     SIZE    DESCR
2610: 49 50 54 49 4f 4e 0a 2a 2a 20 20 20 20 20 20 34  IPTION.**      4
2620: 20 20 20 20 20 50 61 67 65 20 6e 75 6d 62 65 72       Page number
2630: 20 6f 66 20 6e 65 78 74 20 6f 76 65 72 66 6c 6f   of next overflo
2640: 77 20 70 61 67 65 0a 2a 2a 20 20 20 20 20 20 2a  w page.**      *
2650: 20 20 20 20 20 44 61 74 61 0a 2a 2a 0a 2a 2a 20       Data.**.** 
2660: 46 72 65 65 6c 69 73 74 20 70 61 67 65 73 20 63  Freelist pages c
2670: 6f 6d 65 20 69 6e 20 74 77 6f 20 73 75 62 74 79  ome in two subty
2680: 70 65 73 3a 20 74 72 75 6e 6b 20 70 61 67 65 73  pes: trunk pages
2690: 20 61 6e 64 20 6c 65 61 66 20 70 61 67 65 73 2e   and leaf pages.
26a0: 20 20 54 68 65 0a 2a 2a 20 66 69 6c 65 20 68 65    The.** file he
26b0: 61 64 65 72 20 70 6f 69 6e 74 73 20 74 6f 20 74  ader points to t
26c0: 68 65 20 66 69 72 73 74 20 69 6e 20 61 20 6c 69  he first in a li
26d0: 6e 6b 65 64 20 6c 69 73 74 20 6f 66 20 74 72 75  nked list of tru
26e0: 6e 6b 20 70 61 67 65 2e 20 20 45 61 63 68 20 74  nk page.  Each t
26f0: 72 75 6e 6b 0a 2a 2a 20 70 61 67 65 20 70 6f 69  runk.** page poi
2700: 6e 74 73 20 74 6f 20 6d 75 6c 74 69 70 6c 65 20  nts to multiple 
2710: 6c 65 61 66 20 70 61 67 65 73 2e 20 20 54 68 65  leaf pages.  The
2720: 20 63 6f 6e 74 65 6e 74 20 6f 66 20 61 20 6c 65   content of a le
2730: 61 66 20 70 61 67 65 20 69 73 0a 2a 2a 20 75 6e  af page is.** un
2740: 73 70 65 63 69 66 69 65 64 2e 20 20 41 20 74 72  specified.  A tr
2750: 75 6e 6b 20 70 61 67 65 20 6c 6f 6f 6b 73 20 6c  unk page looks l
2760: 69 6b 65 20 74 68 69 73 3a 0a 2a 2a 0a 2a 2a 20  ike this:.**.** 
2770: 20 20 20 53 49 5a 45 20 20 20 20 44 45 53 43 52     SIZE    DESCR
2780: 49 50 54 49 4f 4e 0a 2a 2a 20 20 20 20 20 20 34  IPTION.**      4
2790: 20 20 20 20 20 50 61 67 65 20 6e 75 6d 62 65 72       Page number
27a0: 20 6f 66 20 6e 65 78 74 20 74 72 75 6e 6b 20 70   of next trunk p
27b0: 61 67 65 0a 2a 2a 20 20 20 20 20 20 34 20 20 20  age.**      4   
27c0: 20 20 4e 75 6d 62 65 72 20 6f 66 20 6c 65 61 66    Number of leaf
27d0: 20 70 6f 69 6e 74 65 72 73 20 6f 6e 20 74 68 69   pointers on thi
27e0: 73 20 70 61 67 65 0a 2a 2a 20 20 20 20 20 20 2a  s page.**      *
27f0: 20 20 20 20 20 7a 65 72 6f 20 6f 72 20 6d 6f 72       zero or mor
2800: 65 20 70 61 67 65 73 20 6e 75 6d 62 65 72 73 20  e pages numbers 
2810: 6f 66 20 6c 65 61 76 65 73 0a 2a 2f 0a 23 69 6e  of leaves.*/.#in
2820: 63 6c 75 64 65 20 22 73 71 6c 69 74 65 49 6e 74  clude "sqliteInt
2830: 2e 68 22 0a 0a 0a 2f 2a 20 54 68 65 20 66 6f 6c  .h".../* The fol
2840: 6c 6f 77 69 6e 67 20 76 61 6c 75 65 20 69 73 20  lowing value is 
2850: 74 68 65 20 6d 61 78 69 6d 75 6d 20 63 65 6c 6c  the maximum cell
2860: 20 73 69 7a 65 20 61 73 73 75 6d 69 6e 67 20 61   size assuming a
2870: 20 6d 61 78 69 6d 75 6d 20 70 61 67 65 0a 2a 2a   maximum page.**
2880: 20 73 69 7a 65 20 67 69 76 65 20 61 62 6f 76 65   size give above
2890: 2e 0a 2a 2f 0a 23 64 65 66 69 6e 65 20 4d 58 5f  ..*/.#define MX_
28a0: 43 45 4c 4c 5f 53 49 5a 45 28 70 42 74 29 20 20  CELL_SIZE(pBt)  
28b0: 28 28 69 6e 74 29 28 70 42 74 2d 3e 70 61 67 65  ((int)(pBt->page
28c0: 53 69 7a 65 2d 38 29 29 0a 0a 2f 2a 20 54 68 65  Size-8))../* The
28d0: 20 6d 61 78 69 6d 75 6d 20 6e 75 6d 62 65 72 20   maximum number 
28e0: 6f 66 20 63 65 6c 6c 73 20 6f 6e 20 61 20 73 69  of cells on a si
28f0: 6e 67 6c 65 20 70 61 67 65 20 6f 66 20 74 68 65  ngle page of the
2900: 20 64 61 74 61 62 61 73 65 2e 20 20 54 68 69 73   database.  This
2910: 0a 2a 2a 20 61 73 73 75 6d 65 73 20 61 20 6d 69  .** assumes a mi
2920: 6e 69 6d 75 6d 20 63 65 6c 6c 20 73 69 7a 65 20  nimum cell size 
2930: 6f 66 20 36 20 62 79 74 65 73 20 20 28 34 20 62  of 6 bytes  (4 b
2940: 79 74 65 73 20 66 6f 72 20 74 68 65 20 63 65 6c  ytes for the cel
2950: 6c 20 69 74 73 65 6c 66 0a 2a 2a 20 70 6c 75 73  l itself.** plus
2960: 20 32 20 62 79 74 65 73 20 66 6f 72 20 74 68 65   2 bytes for the
2970: 20 69 6e 64 65 78 20 74 6f 20 74 68 65 20 63 65   index to the ce
2980: 6c 6c 20 69 6e 20 74 68 65 20 70 61 67 65 20 68  ll in the page h
2990: 65 61 64 65 72 29 2e 20 20 53 75 63 68 0a 2a 2a  eader).  Such.**
29a0: 20 73 6d 61 6c 6c 20 63 65 6c 6c 73 20 77 69 6c   small cells wil
29b0: 6c 20 62 65 20 72 61 72 65 2c 20 62 75 74 20 74  l be rare, but t
29c0: 68 65 79 20 61 72 65 20 70 6f 73 73 69 62 6c 65  hey are possible
29d0: 2e 0a 2a 2f 0a 23 64 65 66 69 6e 65 20 4d 58 5f  ..*/.#define MX_
29e0: 43 45 4c 4c 28 70 42 74 29 20 28 28 70 42 74 2d  CELL(pBt) ((pBt-
29f0: 3e 70 61 67 65 53 69 7a 65 2d 38 29 2f 36 29 0a  >pageSize-8)/6).
2a00: 0a 2f 2a 20 46 6f 72 77 61 72 64 20 64 65 63 6c  ./* Forward decl
2a10: 61 72 61 74 69 6f 6e 73 20 2a 2f 0a 74 79 70 65  arations */.type
2a20: 64 65 66 20 73 74 72 75 63 74 20 4d 65 6d 50 61  def struct MemPa
2a30: 67 65 20 4d 65 6d 50 61 67 65 3b 0a 74 79 70 65  ge MemPage;.type
2a40: 64 65 66 20 73 74 72 75 63 74 20 42 74 4c 6f 63  def struct BtLoc
2a50: 6b 20 42 74 4c 6f 63 6b 3b 0a 74 79 70 65 64 65  k BtLock;.typede
2a60: 66 20 73 74 72 75 63 74 20 43 65 6c 6c 49 6e 66  f struct CellInf
2a70: 6f 20 43 65 6c 6c 49 6e 66 6f 3b 0a 0a 2f 2a 0a  o CellInfo;../*.
2a80: 2a 2a 20 54 68 69 73 20 69 73 20 61 20 6d 61 67  ** This is a mag
2a90: 69 63 20 73 74 72 69 6e 67 20 74 68 61 74 20 61  ic string that a
2aa0: 70 70 65 61 72 73 20 61 74 20 74 68 65 20 62 65  ppears at the be
2ab0: 67 69 6e 6e 69 6e 67 20 6f 66 20 65 76 65 72 79  ginning of every
2ac0: 0a 2a 2a 20 53 51 4c 69 74 65 20 64 61 74 61 62  .** SQLite datab
2ad0: 61 73 65 20 69 6e 20 6f 72 64 65 72 20 74 6f 20  ase in order to 
2ae0: 69 64 65 6e 74 69 66 79 20 74 68 65 20 66 69 6c  identify the fil
2af0: 65 20 61 73 20 61 20 72 65 61 6c 20 64 61 74 61  e as a real data
2b00: 62 61 73 65 2e 0a 2a 2a 0a 2a 2a 20 59 6f 75 20  base..**.** You 
2b10: 63 61 6e 20 63 68 61 6e 67 65 20 74 68 69 73 20  can change this 
2b20: 76 61 6c 75 65 20 61 74 20 63 6f 6d 70 69 6c 65  value at compile
2b30: 2d 74 69 6d 65 20 62 79 20 73 70 65 63 69 66 79  -time by specify
2b40: 69 6e 67 20 61 0a 2a 2a 20 2d 44 53 51 4c 49 54  ing a.** -DSQLIT
2b50: 45 5f 46 49 4c 45 5f 48 45 41 44 45 52 3d 22 2e  E_FILE_HEADER=".
2b60: 2e 2e 22 20 6f 6e 20 74 68 65 20 63 6f 6d 70 69  .." on the compi
2b70: 6c 65 72 20 63 6f 6d 6d 61 6e 64 2d 6c 69 6e 65  ler command-line
2b80: 2e 20 20 54 68 65 0a 2a 2a 20 68 65 61 64 65 72  .  The.** header
2b90: 20 6d 75 73 74 20 62 65 20 65 78 61 63 74 6c 79   must be exactly
2ba0: 20 31 36 20 62 79 74 65 73 20 69 6e 63 6c 75 64   16 bytes includ
2bb0: 69 6e 67 20 74 68 65 20 7a 65 72 6f 2d 74 65 72  ing the zero-ter
2bc0: 6d 69 6e 61 74 6f 72 20 73 6f 0a 2a 2a 20 74 68  minator so.** th
2bd0: 65 20 73 74 72 69 6e 67 20 69 74 73 65 6c 66 20  e string itself 
2be0: 73 68 6f 75 6c 64 20 62 65 20 31 35 20 63 68 61  should be 15 cha
2bf0: 72 61 63 74 65 72 73 20 6c 6f 6e 67 2e 20 20 49  racters long.  I
2c00: 66 20 79 6f 75 20 63 68 61 6e 67 65 0a 2a 2a 20  f you change.** 
2c10: 74 68 65 20 68 65 61 64 65 72 2c 20 74 68 65 6e  the header, then
2c20: 20 79 6f 75 72 20 63 75 73 74 6f 6d 20 6c 69 62   your custom lib
2c30: 72 61 72 79 20 77 69 6c 6c 20 6e 6f 74 20 62 65  rary will not be
2c40: 20 61 62 6c 65 20 74 6f 20 72 65 61 64 20 0a 2a   able to read .*
2c50: 2a 20 64 61 74 61 62 61 73 65 73 20 67 65 6e 65  * databases gene
2c60: 72 61 74 65 64 20 62 79 20 74 68 65 20 73 74 61  rated by the sta
2c70: 6e 64 61 72 64 20 74 6f 6f 6c 73 20 61 6e 64 20  ndard tools and 
2c80: 74 68 65 20 73 74 61 6e 64 61 72 64 20 74 6f 6f  the standard too
2c90: 6c 73 0a 2a 2a 20 77 69 6c 6c 20 6e 6f 74 20 62  ls.** will not b
2ca0: 65 20 61 62 6c 65 20 74 6f 20 72 65 61 64 20 64  e able to read d
2cb0: 61 74 61 62 61 73 65 73 20 63 72 65 61 74 65 64  atabases created
2cc0: 20 62 79 20 79 6f 75 72 20 63 75 73 74 6f 6d 20   by your custom 
2cd0: 6c 69 62 72 61 72 79 2e 0a 2a 2f 0a 23 69 66 6e  library..*/.#ifn
2ce0: 64 65 66 20 53 51 4c 49 54 45 5f 46 49 4c 45 5f  def SQLITE_FILE_
2cf0: 48 45 41 44 45 52 20 2f 2a 20 31 32 33 34 35 36  HEADER /* 123456
2d00: 37 38 39 20 31 32 33 34 35 36 20 2a 2f 0a 23 20  789 123456 */.# 
2d10: 20 64 65 66 69 6e 65 20 53 51 4c 49 54 45 5f 46   define SQLITE_F
2d20: 49 4c 45 5f 48 45 41 44 45 52 20 22 53 51 4c 69  ILE_HEADER "SQLi
2d30: 74 65 20 66 6f 72 6d 61 74 20 33 22 0a 23 65 6e  te format 3".#en
2d40: 64 69 66 0a 0a 2f 2a 0a 2a 2a 20 50 61 67 65 20  dif../*.** Page 
2d50: 74 79 70 65 20 66 6c 61 67 73 2e 20 20 41 6e 20  type flags.  An 
2d60: 4f 52 65 64 20 63 6f 6d 62 69 6e 61 74 69 6f 6e  ORed combination
2d70: 20 6f 66 20 74 68 65 73 65 20 66 6c 61 67 73 20   of these flags 
2d80: 61 70 70 65 61 72 20 61 73 20 74 68 65 0a 2a 2a  appear as the.**
2d90: 20 66 69 72 73 74 20 62 79 74 65 20 6f 66 20 6f   first byte of o
2da0: 6e 2d 64 69 73 6b 20 69 6d 61 67 65 20 6f 66 20  n-disk image of 
2db0: 65 76 65 72 79 20 42 54 72 65 65 20 70 61 67 65  every BTree page
2dc0: 2e 0a 2a 2f 0a 23 64 65 66 69 6e 65 20 50 54 46  ..*/.#define PTF
2dd0: 5f 49 4e 54 4b 45 59 20 20 20 20 30 78 30 31 0a  _INTKEY    0x01.
2de0: 23 64 65 66 69 6e 65 20 50 54 46 5f 5a 45 52 4f  #define PTF_ZERO
2df0: 44 41 54 41 20 20 30 78 30 32 0a 23 64 65 66 69  DATA  0x02.#defi
2e00: 6e 65 20 50 54 46 5f 4c 45 41 46 44 41 54 41 20  ne PTF_LEAFDATA 
2e10: 20 30 78 30 34 0a 23 64 65 66 69 6e 65 20 50 54   0x04.#define PT
2e20: 46 5f 4c 45 41 46 20 20 20 20 20 20 30 78 30 38  F_LEAF      0x08
2e30: 0a 0a 2f 2a 0a 2a 2a 20 41 73 20 65 61 63 68 20  ../*.** As each 
2e40: 70 61 67 65 20 6f 66 20 74 68 65 20 66 69 6c 65  page of the file
2e50: 20 69 73 20 6c 6f 61 64 65 64 20 69 6e 74 6f 20   is loaded into 
2e60: 6d 65 6d 6f 72 79 2c 20 61 6e 20 69 6e 73 74 61  memory, an insta
2e70: 6e 63 65 20 6f 66 20 74 68 65 20 66 6f 6c 6c 6f  nce of the follo
2e80: 77 69 6e 67 0a 2a 2a 20 73 74 72 75 63 74 75 72  wing.** structur
2e90: 65 20 69 73 20 61 70 70 65 6e 64 65 64 20 61 6e  e is appended an
2ea0: 64 20 69 6e 69 74 69 61 6c 69 7a 65 64 20 74 6f  d initialized to
2eb0: 20 7a 65 72 6f 2e 20 20 54 68 69 73 20 73 74 72   zero.  This str
2ec0: 75 63 74 75 72 65 20 73 74 6f 72 65 73 0a 2a 2a  ucture stores.**
2ed0: 20 69 6e 66 6f 72 6d 61 74 69 6f 6e 20 61 62 6f   information abo
2ee0: 75 74 20 74 68 65 20 70 61 67 65 20 74 68 61 74  ut the page that
2ef0: 20 69 73 20 64 65 63 6f 64 65 64 20 66 72 6f 6d   is decoded from
2f00: 20 74 68 65 20 72 61 77 20 66 69 6c 65 20 70 61   the raw file pa
2f10: 67 65 2e 0a 2a 2a 0a 2a 2a 20 54 68 65 20 70 50  ge..**.** The pP
2f20: 61 72 65 6e 74 20 66 69 65 6c 64 20 70 6f 69 6e  arent field poin
2f30: 74 73 20 62 61 63 6b 20 74 6f 20 74 68 65 20 70  ts back to the p
2f40: 61 72 65 6e 74 20 70 61 67 65 2e 20 20 54 68 69  arent page.  Thi
2f50: 73 20 61 6c 6c 6f 77 73 20 75 73 20 74 6f 0a 2a  s allows us to.*
2f60: 2a 20 77 61 6c 6b 20 75 70 20 74 68 65 20 42 54  * walk up the BT
2f70: 72 65 65 20 66 72 6f 6d 20 61 6e 79 20 6c 65 61  ree from any lea
2f80: 66 20 74 6f 20 74 68 65 20 72 6f 6f 74 2e 20 20  f to the root.  
2f90: 43 61 72 65 20 6d 75 73 74 20 62 65 20 74 61 6b  Care must be tak
2fa0: 65 6e 20 74 6f 0a 2a 2a 20 75 6e 72 65 66 28 29  en to.** unref()
2fb0: 20 74 68 65 20 70 61 72 65 6e 74 20 70 61 67 65   the parent page
2fc0: 20 70 6f 69 6e 74 65 72 20 77 68 65 6e 20 74 68   pointer when th
2fd0: 69 73 20 70 61 67 65 20 69 73 20 6e 6f 20 6c 6f  is page is no lo
2fe0: 6e 67 65 72 20 72 65 66 65 72 65 6e 63 65 64 2e  nger referenced.
2ff0: 0a 2a 2a 20 54 68 65 20 70 61 67 65 44 65 73 74  .** The pageDest
3000: 72 75 63 74 6f 72 28 29 20 72 6f 75 74 69 6e 65  ructor() routine
3010: 20 68 61 6e 64 6c 65 73 20 74 68 61 74 20 63 68   handles that ch
3020: 6f 72 65 2e 0a 2a 2a 0a 2a 2a 20 41 63 63 65 73  ore..**.** Acces
3030: 73 20 74 6f 20 61 6c 6c 20 66 69 65 6c 64 73 20  s to all fields 
3040: 6f 66 20 74 68 69 73 20 73 74 72 75 63 74 75 72  of this structur
3050: 65 20 69 73 20 63 6f 6e 74 72 6f 6c 6c 65 64 20  e is controlled 
3060: 62 79 20 74 68 65 20 6d 75 74 65 78 0a 2a 2a 20  by the mutex.** 
3070: 73 74 6f 72 65 64 20 69 6e 20 4d 65 6d 50 61 67  stored in MemPag
3080: 65 2e 70 42 74 2d 3e 6d 75 74 65 78 2e 0a 2a 2f  e.pBt->mutex..*/
3090: 0a 73 74 72 75 63 74 20 4d 65 6d 50 61 67 65 20  .struct MemPage 
30a0: 7b 0a 20 20 75 38 20 69 73 49 6e 69 74 3b 20 20  {.  u8 isInit;  
30b0: 20 20 20 20 20 20 20 20 20 2f 2a 20 54 72 75 65           /* True
30c0: 20 69 66 20 70 72 65 76 69 6f 75 73 6c 79 20 69   if previously i
30d0: 6e 69 74 69 61 6c 69 7a 65 64 2e 20 4d 55 53 54  nitialized. MUST
30e0: 20 42 45 20 46 49 52 53 54 21 20 2a 2f 0a 20 20   BE FIRST! */.  
30f0: 75 38 20 6e 4f 76 65 72 66 6c 6f 77 3b 20 20 20  u8 nOverflow;   
3100: 20 20 20 20 20 2f 2a 20 4e 75 6d 62 65 72 20 6f       /* Number o
3110: 66 20 6f 76 65 72 66 6c 6f 77 20 63 65 6c 6c 20  f overflow cell 
3120: 62 6f 64 69 65 73 20 69 6e 20 61 43 65 6c 6c 5b  bodies in aCell[
3130: 5d 20 2a 2f 0a 20 20 75 38 20 69 6e 74 4b 65 79  ] */.  u8 intKey
3140: 3b 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 54  ;           /* T
3150: 72 75 65 20 69 66 20 74 61 62 6c 65 20 62 2d 74  rue if table b-t
3160: 72 65 65 73 2e 20 20 46 61 6c 73 65 20 66 6f 72  rees.  False for
3170: 20 69 6e 64 65 78 20 62 2d 74 72 65 65 73 20 2a   index b-trees *
3180: 2f 0a 20 20 75 38 20 69 6e 74 4b 65 79 4c 65 61  /.  u8 intKeyLea
3190: 66 3b 20 20 20 20 20 20 20 2f 2a 20 54 72 75 65  f;       /* True
31a0: 20 69 66 20 74 68 65 20 6c 65 61 66 20 6f 66 20   if the leaf of 
31b0: 61 6e 20 69 6e 74 4b 65 79 20 74 61 62 6c 65 20  an intKey table 
31c0: 2a 2f 0a 20 20 75 38 20 6c 65 61 66 3b 20 20 20  */.  u8 leaf;   
31d0: 20 20 20 20 20 20 20 20 20 20 2f 2a 20 54 72 75            /* Tru
31e0: 65 20 69 66 20 61 20 6c 65 61 66 20 70 61 67 65  e if a leaf page
31f0: 20 2a 2f 0a 20 20 75 38 20 68 64 72 4f 66 66 73   */.  u8 hdrOffs
3200: 65 74 3b 20 20 20 20 20 20 20 20 2f 2a 20 31 30  et;        /* 10
3210: 30 20 66 6f 72 20 70 61 67 65 20 31 2e 20 20 30  0 for page 1.  0
3220: 20 6f 74 68 65 72 77 69 73 65 20 2a 2f 0a 20 20   otherwise */.  
3230: 75 38 20 63 68 69 6c 64 50 74 72 53 69 7a 65 3b  u8 childPtrSize;
3240: 20 20 20 20 20 2f 2a 20 30 20 69 66 20 6c 65 61       /* 0 if lea
3250: 66 3d 3d 31 2e 20 20 34 20 69 66 20 6c 65 61 66  f==1.  4 if leaf
3260: 3d 3d 30 20 2a 2f 0a 20 20 75 38 20 6d 61 78 31  ==0 */.  u8 max1
3270: 62 79 74 65 50 61 79 6c 6f 61 64 3b 20 20 2f 2a  bytePayload;  /*
3280: 20 6d 69 6e 28 6d 61 78 4c 6f 63 61 6c 2c 31 32   min(maxLocal,12
3290: 37 29 20 2a 2f 0a 20 20 75 38 20 62 42 75 73 79  7) */.  u8 bBusy
32a0: 3b 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20  ;            /* 
32b0: 50 72 65 76 65 6e 74 20 65 6e 64 6c 65 73 73 20  Prevent endless 
32c0: 6c 6f 6f 70 73 20 6f 6e 20 63 6f 72 72 75 70 74  loops on corrupt
32d0: 20 64 61 74 61 62 61 73 65 20 66 69 6c 65 73 20   database files 
32e0: 2a 2f 0a 20 20 75 31 36 20 6d 61 78 4c 6f 63 61  */.  u16 maxLoca
32f0: 6c 3b 20 20 20 20 20 20 20 20 2f 2a 20 43 6f 70  l;        /* Cop
3300: 79 20 6f 66 20 42 74 53 68 61 72 65 64 2e 6d 61  y of BtShared.ma
3310: 78 4c 6f 63 61 6c 20 6f 72 20 42 74 53 68 61 72  xLocal or BtShar
3320: 65 64 2e 6d 61 78 4c 65 61 66 20 2a 2f 0a 20 20  ed.maxLeaf */.  
3330: 75 31 36 20 6d 69 6e 4c 6f 63 61 6c 3b 20 20 20  u16 minLocal;   
3340: 20 20 20 20 20 2f 2a 20 43 6f 70 79 20 6f 66 20       /* Copy of 
3350: 42 74 53 68 61 72 65 64 2e 6d 69 6e 4c 6f 63 61  BtShared.minLoca
3360: 6c 20 6f 72 20 42 74 53 68 61 72 65 64 2e 6d 69  l or BtShared.mi
3370: 6e 4c 65 61 66 20 2a 2f 0a 20 20 75 31 36 20 63  nLeaf */.  u16 c
3380: 65 6c 6c 4f 66 66 73 65 74 3b 20 20 20 20 20 20  ellOffset;      
3390: 2f 2a 20 49 6e 64 65 78 20 69 6e 20 61 44 61 74  /* Index in aDat
33a0: 61 20 6f 66 20 66 69 72 73 74 20 63 65 6c 6c 20  a of first cell 
33b0: 70 6f 69 6e 74 65 72 20 2a 2f 0a 20 20 75 31 36  pointer */.  u16
33c0: 20 6e 46 72 65 65 3b 20 20 20 20 20 20 20 20 20   nFree;         
33d0: 20 20 2f 2a 20 4e 75 6d 62 65 72 20 6f 66 20 66    /* Number of f
33e0: 72 65 65 20 62 79 74 65 73 20 6f 6e 20 74 68 65  ree bytes on the
33f0: 20 70 61 67 65 20 2a 2f 0a 20 20 75 31 36 20 6e   page */.  u16 n
3400: 43 65 6c 6c 3b 20 20 20 20 20 20 20 20 20 20 20  Cell;           
3410: 2f 2a 20 4e 75 6d 62 65 72 20 6f 66 20 63 65 6c  /* Number of cel
3420: 6c 73 20 6f 6e 20 74 68 69 73 20 70 61 67 65 2c  ls on this page,
3430: 20 6c 6f 63 61 6c 20 61 6e 64 20 6f 76 66 6c 20   local and ovfl 
3440: 2a 2f 0a 20 20 75 31 36 20 6d 61 73 6b 50 61 67  */.  u16 maskPag
3450: 65 3b 20 20 20 20 20 20 20 20 2f 2a 20 4d 61 73  e;        /* Mas
3460: 6b 20 66 6f 72 20 70 61 67 65 20 6f 66 66 73 65  k for page offse
3470: 74 20 2a 2f 0a 20 20 75 31 36 20 61 69 4f 76 66  t */.  u16 aiOvf
3480: 6c 5b 35 5d 3b 20 20 20 20 20 20 20 2f 2a 20 49  l[5];       /* I
3490: 6e 73 65 72 74 20 74 68 65 20 69 2d 74 68 20 6f  nsert the i-th o
34a0: 76 65 72 66 6c 6f 77 20 63 65 6c 6c 20 62 65 66  verflow cell bef
34b0: 6f 72 65 20 74 68 65 20 61 69 4f 76 66 6c 2d 74  ore the aiOvfl-t
34c0: 68 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20  h.              
34d0: 20 20 20 20 20 20 20 20 20 2a 2a 20 6e 6f 6e 2d           ** non-
34e0: 6f 76 65 72 66 6c 6f 77 20 63 65 6c 6c 20 2a 2f  overflow cell */
34f0: 0a 20 20 75 38 20 2a 61 70 4f 76 66 6c 5b 35 5d  .  u8 *apOvfl[5]
3500: 3b 20 20 20 20 20 20 20 2f 2a 20 50 6f 69 6e 74  ;       /* Point
3510: 65 72 73 20 74 6f 20 74 68 65 20 62 6f 64 79 20  ers to the body 
3520: 6f 66 20 6f 76 65 72 66 6c 6f 77 20 63 65 6c 6c  of overflow cell
3530: 73 20 2a 2f 0a 20 20 42 74 53 68 61 72 65 64 20  s */.  BtShared 
3540: 2a 70 42 74 3b 20 20 20 20 20 20 20 2f 2a 20 50  *pBt;       /* P
3550: 6f 69 6e 74 65 72 20 74 6f 20 42 74 53 68 61 72  ointer to BtShar
3560: 65 64 20 74 68 61 74 20 74 68 69 73 20 70 61 67  ed that this pag
3570: 65 20 69 73 20 70 61 72 74 20 6f 66 20 2a 2f 0a  e is part of */.
3580: 20 20 75 38 20 2a 61 44 61 74 61 3b 20 20 20 20    u8 *aData;    
3590: 20 20 20 20 20 20 20 2f 2a 20 50 6f 69 6e 74 65         /* Pointe
35a0: 72 20 74 6f 20 64 69 73 6b 20 69 6d 61 67 65 20  r to disk image 
35b0: 6f 66 20 74 68 65 20 70 61 67 65 20 64 61 74 61  of the page data
35c0: 20 2a 2f 0a 20 20 75 38 20 2a 61 44 61 74 61 45   */.  u8 *aDataE
35d0: 6e 64 3b 20 20 20 20 20 20 20 20 2f 2a 20 4f 6e  nd;        /* On
35e0: 65 20 62 79 74 65 20 70 61 73 74 20 74 68 65 20  e byte past the 
35f0: 65 6e 64 20 6f 66 20 75 73 61 62 6c 65 20 64 61  end of usable da
3600: 74 61 20 2a 2f 0a 20 20 75 38 20 2a 61 43 65 6c  ta */.  u8 *aCel
3610: 6c 49 64 78 3b 20 20 20 20 20 20 20 20 2f 2a 20  lIdx;        /* 
3620: 54 68 65 20 63 65 6c 6c 20 69 6e 64 65 78 20 61  The cell index a
3630: 72 65 61 20 2a 2f 0a 20 20 75 38 20 2a 61 44 61  rea */.  u8 *aDa
3640: 74 61 4f 66 73 74 3b 20 20 20 20 20 20 20 2f 2a  taOfst;       /*
3650: 20 53 61 6d 65 20 61 73 20 61 44 61 74 61 20 66   Same as aData f
3660: 6f 72 20 6c 65 61 76 65 73 2e 20 20 61 44 61 74  or leaves.  aDat
3670: 61 2b 34 20 66 6f 72 20 69 6e 74 65 72 69 6f 72  a+4 for interior
3680: 20 2a 2f 0a 20 20 44 62 50 61 67 65 20 2a 70 44   */.  DbPage *pD
3690: 62 50 61 67 65 3b 20 20 20 20 20 2f 2a 20 50 61  bPage;     /* Pa
36a0: 67 65 72 20 70 61 67 65 20 68 61 6e 64 6c 65 20  ger page handle 
36b0: 2a 2f 0a 20 20 75 31 36 20 28 2a 78 43 65 6c 6c  */.  u16 (*xCell
36c0: 53 69 7a 65 29 28 4d 65 6d 50 61 67 65 2a 2c 75  Size)(MemPage*,u
36d0: 38 2a 29 3b 20 20 20 20 20 20 20 20 20 20 20 20  8*);            
36e0: 20 2f 2a 20 63 65 6c 6c 53 69 7a 65 50 74 72 20   /* cellSizePtr 
36f0: 6d 65 74 68 6f 64 20 2a 2f 0a 20 20 76 6f 69 64  method */.  void
3700: 20 28 2a 78 50 61 72 73 65 43 65 6c 6c 29 28 4d   (*xParseCell)(M
3710: 65 6d 50 61 67 65 2a 2c 75 38 2a 2c 43 65 6c 6c  emPage*,u8*,Cell
3720: 49 6e 66 6f 2a 29 3b 20 2f 2a 20 62 74 72 65 65  Info*); /* btree
3730: 50 61 72 73 65 43 65 6c 6c 20 6d 65 74 68 6f 64  ParseCell method
3740: 20 2a 2f 0a 20 20 50 67 6e 6f 20 70 67 6e 6f 3b   */.  Pgno pgno;
3750: 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 50 61             /* Pa
3760: 67 65 20 6e 75 6d 62 65 72 20 66 6f 72 20 74 68  ge number for th
3770: 69 73 20 70 61 67 65 20 2a 2f 0a 7d 3b 0a 0a 2f  is page */.};../
3780: 2a 0a 2a 2a 20 54 68 65 20 69 6e 2d 6d 65 6d 6f  *.** The in-memo
3790: 72 79 20 69 6d 61 67 65 20 6f 66 20 61 20 64 69  ry image of a di
37a0: 73 6b 20 70 61 67 65 20 68 61 73 20 74 68 65 20  sk page has the 
37b0: 61 75 78 69 6c 69 61 72 79 20 69 6e 66 6f 72 6d  auxiliary inform
37c0: 61 74 69 6f 6e 20 61 70 70 65 6e 64 65 64 0a 2a  ation appended.*
37d0: 2a 20 74 6f 20 74 68 65 20 65 6e 64 2e 20 20 45  * to the end.  E
37e0: 58 54 52 41 5f 53 49 5a 45 20 69 73 20 74 68 65  XTRA_SIZE is the
37f0: 20 6e 75 6d 62 65 72 20 6f 66 20 62 79 74 65 73   number of bytes
3800: 20 6f 66 20 73 70 61 63 65 20 6e 65 65 64 65 64   of space needed
3810: 20 74 6f 20 68 6f 6c 64 0a 2a 2a 20 74 68 61 74   to hold.** that
3820: 20 65 78 74 72 61 20 69 6e 66 6f 72 6d 61 74 69   extra informati
3830: 6f 6e 2e 0a 2a 2f 0a 23 64 65 66 69 6e 65 20 45  on..*/.#define E
3840: 58 54 52 41 5f 53 49 5a 45 20 73 69 7a 65 6f 66  XTRA_SIZE sizeof
3850: 28 4d 65 6d 50 61 67 65 29 0a 0a 2f 2a 0a 2a 2a  (MemPage)../*.**
3860: 20 41 20 6c 69 6e 6b 65 64 20 6c 69 73 74 20 6f   A linked list o
3870: 66 20 74 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20  f the following 
3880: 73 74 72 75 63 74 75 72 65 73 20 69 73 20 73 74  structures is st
3890: 6f 72 65 64 20 61 74 20 42 74 53 68 61 72 65 64  ored at BtShared
38a0: 2e 70 4c 6f 63 6b 2e 0a 2a 2a 20 4c 6f 63 6b 73  .pLock..** Locks
38b0: 20 61 72 65 20 61 64 64 65 64 20 28 6f 72 20 75   are added (or u
38c0: 70 67 72 61 64 65 64 20 66 72 6f 6d 20 52 45 41  pgraded from REA
38d0: 44 5f 4c 4f 43 4b 20 74 6f 20 57 52 49 54 45 5f  D_LOCK to WRITE_
38e0: 4c 4f 43 4b 29 20 77 68 65 6e 20 61 20 63 75 72  LOCK) when a cur
38f0: 73 6f 72 20 0a 2a 2a 20 69 73 20 6f 70 65 6e 65  sor .** is opene
3900: 64 20 6f 6e 20 74 68 65 20 74 61 62 6c 65 20 77  d on the table w
3910: 69 74 68 20 72 6f 6f 74 20 70 61 67 65 20 42 74  ith root page Bt
3920: 53 68 61 72 65 64 2e 69 54 61 62 6c 65 2e 20 4c  Shared.iTable. L
3930: 6f 63 6b 73 20 61 72 65 20 72 65 6d 6f 76 65 64  ocks are removed
3940: 0a 2a 2a 20 66 72 6f 6d 20 74 68 69 73 20 6c 69  .** from this li
3950: 73 74 20 77 68 65 6e 20 61 20 74 72 61 6e 73 61  st when a transa
3960: 63 74 69 6f 6e 20 69 73 20 63 6f 6d 6d 69 74 74  ction is committ
3970: 65 64 20 6f 72 20 72 6f 6c 6c 65 64 20 62 61 63  ed or rolled bac
3980: 6b 2c 20 6f 72 20 77 68 65 6e 0a 2a 2a 20 61 20  k, or when.** a 
3990: 62 74 72 65 65 20 68 61 6e 64 6c 65 20 69 73 20  btree handle is 
39a0: 63 6c 6f 73 65 64 2e 0a 2a 2f 0a 73 74 72 75 63  closed..*/.struc
39b0: 74 20 42 74 4c 6f 63 6b 20 7b 0a 20 20 42 74 72  t BtLock {.  Btr
39c0: 65 65 20 2a 70 42 74 72 65 65 3b 20 20 20 20 20  ee *pBtree;     
39d0: 20 20 20 2f 2a 20 42 74 72 65 65 20 68 61 6e 64     /* Btree hand
39e0: 6c 65 20 68 6f 6c 64 69 6e 67 20 74 68 69 73 20  le holding this 
39f0: 6c 6f 63 6b 20 2a 2f 0a 20 20 50 67 6e 6f 20 69  lock */.  Pgno i
3a00: 54 61 62 6c 65 3b 20 20 20 20 20 20 20 20 20 20  Table;          
3a10: 2f 2a 20 52 6f 6f 74 20 70 61 67 65 20 6f 66 20  /* Root page of 
3a20: 74 61 62 6c 65 20 2a 2f 0a 20 20 75 38 20 65 4c  table */.  u8 eL
3a30: 6f 63 6b 3b 20 20 20 20 20 20 20 20 20 20 20 20  ock;            
3a40: 20 2f 2a 20 52 45 41 44 5f 4c 4f 43 4b 20 6f 72   /* READ_LOCK or
3a50: 20 57 52 49 54 45 5f 4c 4f 43 4b 20 2a 2f 0a 20   WRITE_LOCK */. 
3a60: 20 42 74 4c 6f 63 6b 20 2a 70 4e 65 78 74 3b 20   BtLock *pNext; 
3a70: 20 20 20 20 20 20 20 2f 2a 20 4e 65 78 74 20 69         /* Next i
3a80: 6e 20 42 74 53 68 61 72 65 64 2e 70 4c 6f 63 6b  n BtShared.pLock
3a90: 20 6c 69 73 74 20 2a 2f 0a 7d 3b 0a 0a 2f 2a 20   list */.};../* 
3aa0: 43 61 6e 64 69 64 61 74 65 20 76 61 6c 75 65 73  Candidate values
3ab0: 20 66 6f 72 20 42 74 4c 6f 63 6b 2e 65 4c 6f 63   for BtLock.eLoc
3ac0: 6b 20 2a 2f 0a 23 64 65 66 69 6e 65 20 52 45 41  k */.#define REA
3ad0: 44 5f 4c 4f 43 4b 20 20 20 20 20 31 0a 23 64 65  D_LOCK     1.#de
3ae0: 66 69 6e 65 20 57 52 49 54 45 5f 4c 4f 43 4b 20  fine WRITE_LOCK 
3af0: 20 20 20 32 0a 0a 2f 2a 20 41 20 42 74 72 65 65     2../* A Btree
3b00: 20 68 61 6e 64 6c 65 0a 2a 2a 0a 2a 2a 20 41 20   handle.**.** A 
3b10: 64 61 74 61 62 61 73 65 20 63 6f 6e 6e 65 63 74  database connect
3b20: 69 6f 6e 20 63 6f 6e 74 61 69 6e 73 20 61 20 70  ion contains a p
3b30: 6f 69 6e 74 65 72 20 74 6f 20 61 6e 20 69 6e 73  ointer to an ins
3b40: 74 61 6e 63 65 20 6f 66 0a 2a 2a 20 74 68 69 73  tance of.** this
3b50: 20 6f 62 6a 65 63 74 20 66 6f 72 20 65 76 65 72   object for ever
3b60: 79 20 64 61 74 61 62 61 73 65 20 66 69 6c 65 20  y database file 
3b70: 74 68 61 74 20 69 74 20 68 61 73 20 6f 70 65 6e  that it has open
3b80: 2e 20 20 54 68 69 73 20 73 74 72 75 63 74 75 72  .  This structur
3b90: 65 0a 2a 2a 20 69 73 20 6f 70 61 71 75 65 20 74  e.** is opaque t
3ba0: 6f 20 74 68 65 20 64 61 74 61 62 61 73 65 20 63  o the database c
3bb0: 6f 6e 6e 65 63 74 69 6f 6e 2e 20 20 54 68 65 20  onnection.  The 
3bc0: 64 61 74 61 62 61 73 65 20 63 6f 6e 6e 65 63 74  database connect
3bd0: 69 6f 6e 20 63 61 6e 6e 6f 74 0a 2a 2a 20 73 65  ion cannot.** se
3be0: 65 20 74 68 65 20 69 6e 74 65 72 6e 61 6c 73 20  e the internals 
3bf0: 6f 66 20 74 68 69 73 20 73 74 72 75 63 74 75 72  of this structur
3c00: 65 20 61 6e 64 20 6f 6e 6c 79 20 64 65 61 6c 73  e and only deals
3c10: 20 77 69 74 68 20 70 6f 69 6e 74 65 72 73 20 74   with pointers t
3c20: 6f 0a 2a 2a 20 74 68 69 73 20 73 74 72 75 63 74  o.** this struct
3c30: 75 72 65 2e 0a 2a 2a 0a 2a 2a 20 46 6f 72 20 73  ure..**.** For s
3c40: 6f 6d 65 20 64 61 74 61 62 61 73 65 20 66 69 6c  ome database fil
3c50: 65 73 2c 20 74 68 65 20 73 61 6d 65 20 75 6e 64  es, the same und
3c60: 65 72 6c 79 69 6e 67 20 64 61 74 61 62 61 73 65  erlying database
3c70: 20 63 61 63 68 65 20 6d 69 67 68 74 20 62 65 20   cache might be 
3c80: 0a 2a 2a 20 73 68 61 72 65 64 20 62 65 74 77 65  .** shared betwe
3c90: 65 6e 20 6d 75 6c 74 69 70 6c 65 20 63 6f 6e 6e  en multiple conn
3ca0: 65 63 74 69 6f 6e 73 2e 20 20 49 6e 20 74 68 61  ections.  In tha
3cb0: 74 20 63 61 73 65 2c 20 65 61 63 68 20 63 6f 6e  t case, each con
3cc0: 6e 65 63 74 69 6f 6e 0a 2a 2a 20 68 61 73 20 69  nection.** has i
3cd0: 74 20 6f 77 6e 20 69 6e 73 74 61 6e 63 65 20 6f  t own instance o
3ce0: 66 20 74 68 69 73 20 6f 62 6a 65 63 74 2e 20 20  f this object.  
3cf0: 42 75 74 20 65 61 63 68 20 69 6e 73 74 61 6e 63  But each instanc
3d00: 65 20 6f 66 20 74 68 69 73 20 6f 62 6a 65 63 74  e of this object
3d10: 0a 2a 2a 20 70 6f 69 6e 74 73 20 74 6f 20 74 68  .** points to th
3d20: 65 20 73 61 6d 65 20 42 74 53 68 61 72 65 64 20  e same BtShared 
3d30: 6f 62 6a 65 63 74 2e 20 20 54 68 65 20 64 61 74  object.  The dat
3d40: 61 62 61 73 65 20 63 61 63 68 65 20 61 6e 64 20  abase cache and 
3d50: 74 68 65 0a 2a 2a 20 73 63 68 65 6d 61 20 61 73  the.** schema as
3d60: 73 6f 63 69 61 74 65 64 20 77 69 74 68 20 74 68  sociated with th
3d70: 65 20 64 61 74 61 62 61 73 65 20 66 69 6c 65 20  e database file 
3d80: 61 72 65 20 61 6c 6c 20 63 6f 6e 74 61 69 6e 65  are all containe
3d90: 64 20 77 69 74 68 69 6e 0a 2a 2a 20 74 68 65 20  d within.** the 
3da0: 42 74 53 68 61 72 65 64 20 6f 62 6a 65 63 74 2e  BtShared object.
3db0: 0a 2a 2a 0a 2a 2a 20 41 6c 6c 20 66 69 65 6c 64  .**.** All field
3dc0: 73 20 69 6e 20 74 68 69 73 20 73 74 72 75 63 74  s in this struct
3dd0: 75 72 65 20 61 72 65 20 61 63 63 65 73 73 65 64  ure are accessed
3de0: 20 75 6e 64 65 72 20 73 71 6c 69 74 65 33 2e 6d   under sqlite3.m
3df0: 75 74 65 78 2e 0a 2a 2a 20 54 68 65 20 70 42 74  utex..** The pBt
3e00: 20 70 6f 69 6e 74 65 72 20 69 74 73 65 6c 66 20   pointer itself 
3e10: 6d 61 79 20 6e 6f 74 20 62 65 20 63 68 61 6e 67  may not be chang
3e20: 65 64 20 77 68 69 6c 65 20 74 68 65 72 65 20 65  ed while there e
3e30: 78 69 73 74 73 20 63 75 72 73 6f 72 73 20 0a 2a  xists cursors .*
3e40: 2a 20 69 6e 20 74 68 65 20 72 65 66 65 72 65 6e  * in the referen
3e50: 63 65 64 20 42 74 53 68 61 72 65 64 20 74 68 61  ced BtShared tha
3e60: 74 20 70 6f 69 6e 74 20 62 61 63 6b 20 74 6f 20  t point back to 
3e70: 74 68 69 73 20 42 74 72 65 65 20 73 69 6e 63 65  this Btree since
3e80: 20 74 68 6f 73 65 0a 2a 2a 20 63 75 72 73 6f 72   those.** cursor
3e90: 73 20 68 61 76 65 20 74 6f 20 67 6f 20 74 68 72  s have to go thr
3ea0: 6f 75 67 68 20 74 68 69 73 20 42 74 72 65 65 20  ough this Btree 
3eb0: 74 6f 20 66 69 6e 64 20 74 68 65 69 72 20 42 74  to find their Bt
3ec0: 53 68 61 72 65 64 20 61 6e 64 0a 2a 2a 20 74 68  Shared and.** th
3ed0: 65 79 20 6f 66 74 65 6e 20 64 6f 20 73 6f 20 77  ey often do so w
3ee0: 69 74 68 6f 75 74 20 68 6f 6c 64 69 6e 67 20 73  ithout holding s
3ef0: 71 6c 69 74 65 33 2e 6d 75 74 65 78 2e 0a 2a 2f  qlite3.mutex..*/
3f00: 0a 73 74 72 75 63 74 20 42 74 72 65 65 20 7b 0a  .struct Btree {.
3f10: 20 20 73 71 6c 69 74 65 33 20 2a 64 62 3b 20 20    sqlite3 *db;  
3f20: 20 20 20 20 20 2f 2a 20 54 68 65 20 64 61 74 61       /* The data
3f30: 62 61 73 65 20 63 6f 6e 6e 65 63 74 69 6f 6e 20  base connection 
3f40: 68 6f 6c 64 69 6e 67 20 74 68 69 73 20 62 74 72  holding this btr
3f50: 65 65 20 2a 2f 0a 20 20 42 74 53 68 61 72 65 64  ee */.  BtShared
3f60: 20 2a 70 42 74 3b 20 20 20 20 20 2f 2a 20 53 68   *pBt;     /* Sh
3f70: 61 72 61 62 6c 65 20 63 6f 6e 74 65 6e 74 20 6f  arable content o
3f80: 66 20 74 68 69 73 20 62 74 72 65 65 20 2a 2f 0a  f this btree */.
3f90: 20 20 75 38 20 69 6e 54 72 61 6e 73 3b 20 20 20    u8 inTrans;   
3fa0: 20 20 20 20 20 2f 2a 20 54 52 41 4e 53 5f 4e 4f       /* TRANS_NO
3fb0: 4e 45 2c 20 54 52 41 4e 53 5f 52 45 41 44 20 6f  NE, TRANS_READ o
3fc0: 72 20 54 52 41 4e 53 5f 57 52 49 54 45 20 2a 2f  r TRANS_WRITE */
3fd0: 0a 20 20 75 38 20 73 68 61 72 61 62 6c 65 3b 20  .  u8 sharable; 
3fe0: 20 20 20 20 20 20 2f 2a 20 54 72 75 65 20 69 66        /* True if
3ff0: 20 77 65 20 63 61 6e 20 73 68 61 72 65 20 70 42   we can share pB
4000: 74 20 77 69 74 68 20 61 6e 6f 74 68 65 72 20 64  t with another d
4010: 62 20 2a 2f 0a 20 20 75 38 20 6c 6f 63 6b 65 64  b */.  u8 locked
4020: 3b 20 20 20 20 20 20 20 20 20 2f 2a 20 54 72 75  ;         /* Tru
4030: 65 20 69 66 20 64 62 20 63 75 72 72 65 6e 74 6c  e if db currentl
4040: 79 20 68 61 73 20 70 42 74 20 6c 6f 63 6b 65 64  y has pBt locked
4050: 20 2a 2f 0a 20 20 75 38 20 68 61 73 49 6e 63 72   */.  u8 hasIncr
4060: 62 6c 6f 62 43 75 72 3b 20 2f 2a 20 54 72 75 65  blobCur; /* True
4070: 20 69 66 20 74 68 65 72 65 20 61 72 65 20 6f 6e   if there are on
4080: 65 20 6f 72 20 6d 6f 72 65 20 49 6e 63 72 62 6c  e or more Incrbl
4090: 6f 62 20 63 75 72 73 6f 72 73 20 2a 2f 0a 20 20  ob cursors */.  
40a0: 69 6e 74 20 77 61 6e 74 54 6f 4c 6f 63 6b 3b 20  int wantToLock; 
40b0: 20 20 20 2f 2a 20 4e 75 6d 62 65 72 20 6f 66 20     /* Number of 
40c0: 6e 65 73 74 65 64 20 63 61 6c 6c 73 20 74 6f 20  nested calls to 
40d0: 73 71 6c 69 74 65 33 42 74 72 65 65 45 6e 74 65  sqlite3BtreeEnte
40e0: 72 28 29 20 2a 2f 0a 20 20 69 6e 74 20 6e 42 61  r() */.  int nBa
40f0: 63 6b 75 70 3b 20 20 20 20 20 20 20 2f 2a 20 4e  ckup;       /* N
4100: 75 6d 62 65 72 20 6f 66 20 62 61 63 6b 75 70 20  umber of backup 
4110: 6f 70 65 72 61 74 69 6f 6e 73 20 72 65 61 64 69  operations readi
4120: 6e 67 20 74 68 69 73 20 62 74 72 65 65 20 2a 2f  ng this btree */
4130: 0a 20 20 75 33 32 20 69 44 61 74 61 56 65 72 73  .  u32 iDataVers
4140: 69 6f 6e 3b 20 20 2f 2a 20 43 6f 6d 62 69 6e 65  ion;  /* Combine
4150: 73 20 77 69 74 68 20 70 42 74 2d 3e 70 50 61 67  s with pBt->pPag
4160: 65 72 2d 3e 69 44 61 74 61 56 65 72 73 69 6f 6e  er->iDataVersion
4170: 20 2a 2f 0a 20 20 42 74 72 65 65 20 2a 70 4e 65   */.  Btree *pNe
4180: 78 74 3b 20 20 20 20 20 20 2f 2a 20 4c 69 73 74  xt;      /* List
4190: 20 6f 66 20 6f 74 68 65 72 20 73 68 61 72 61 62   of other sharab
41a0: 6c 65 20 42 74 72 65 65 73 20 66 72 6f 6d 20 74  le Btrees from t
41b0: 68 65 20 73 61 6d 65 20 64 62 20 2a 2f 0a 20 20  he same db */.  
41c0: 42 74 72 65 65 20 2a 70 50 72 65 76 3b 20 20 20  Btree *pPrev;   
41d0: 20 20 20 2f 2a 20 42 61 63 6b 20 70 6f 69 6e 74     /* Back point
41e0: 65 72 20 6f 66 20 74 68 65 20 73 61 6d 65 20 6c  er of the same l
41f0: 69 73 74 20 2a 2f 0a 23 69 66 6e 64 65 66 20 53  ist */.#ifndef S
4200: 51 4c 49 54 45 5f 4f 4d 49 54 5f 53 48 41 52 45  QLITE_OMIT_SHARE
4210: 44 5f 43 41 43 48 45 0a 20 20 42 74 4c 6f 63 6b  D_CACHE.  BtLock
4220: 20 6c 6f 63 6b 3b 20 20 20 20 20 20 20 2f 2a 20   lock;       /* 
4230: 4f 62 6a 65 63 74 20 75 73 65 64 20 74 6f 20 6c  Object used to l
4240: 6f 63 6b 20 70 61 67 65 20 31 20 2a 2f 0a 23 65  ock page 1 */.#e
4250: 6e 64 69 66 0a 7d 3b 0a 0a 2f 2a 0a 2a 2a 20 42  ndif.};../*.** B
4260: 74 72 65 65 2e 69 6e 54 72 61 6e 73 20 6d 61 79  tree.inTrans may
4270: 20 74 61 6b 65 20 6f 6e 65 20 6f 66 20 74 68 65   take one of the
4280: 20 66 6f 6c 6c 6f 77 69 6e 67 20 76 61 6c 75 65   following value
4290: 73 2e 0a 2a 2a 0a 2a 2a 20 49 66 20 74 68 65 20  s..**.** If the 
42a0: 73 68 61 72 65 64 2d 64 61 74 61 20 65 78 74 65  shared-data exte
42b0: 6e 73 69 6f 6e 20 69 73 20 65 6e 61 62 6c 65 64  nsion is enabled
42c0: 2c 20 74 68 65 72 65 20 6d 61 79 20 62 65 20 6d  , there may be m
42d0: 75 6c 74 69 70 6c 65 20 75 73 65 72 73 0a 2a 2a  ultiple users.**
42e0: 20 6f 66 20 74 68 65 20 42 74 72 65 65 20 73 74   of the Btree st
42f0: 72 75 63 74 75 72 65 2e 20 41 74 20 6d 6f 73 74  ructure. At most
4300: 20 6f 6e 65 20 6f 66 20 74 68 65 73 65 20 6d 61   one of these ma
4310: 79 20 6f 70 65 6e 20 61 20 77 72 69 74 65 20 74  y open a write t
4320: 72 61 6e 73 61 63 74 69 6f 6e 2c 0a 2a 2a 20 62  ransaction,.** b
4330: 75 74 20 61 6e 79 20 6e 75 6d 62 65 72 20 6d 61  ut any number ma
4340: 79 20 68 61 76 65 20 61 63 74 69 76 65 20 72 65  y have active re
4350: 61 64 20 74 72 61 6e 73 61 63 74 69 6f 6e 73 2e  ad transactions.
4360: 0a 2a 2f 0a 23 64 65 66 69 6e 65 20 54 52 41 4e  .*/.#define TRAN
4370: 53 5f 4e 4f 4e 45 20 20 30 0a 23 64 65 66 69 6e  S_NONE  0.#defin
4380: 65 20 54 52 41 4e 53 5f 52 45 41 44 20 20 31 0a  e TRANS_READ  1.
4390: 23 64 65 66 69 6e 65 20 54 52 41 4e 53 5f 57 52  #define TRANS_WR
43a0: 49 54 45 20 32 0a 0a 2f 2a 0a 2a 2a 20 41 6e 20  ITE 2../*.** An 
43b0: 69 6e 73 74 61 6e 63 65 20 6f 66 20 74 68 69 73  instance of this
43c0: 20 6f 62 6a 65 63 74 20 72 65 70 72 65 73 65 6e   object represen
43d0: 74 73 20 61 20 73 69 6e 67 6c 65 20 64 61 74 61  ts a single data
43e0: 62 61 73 65 20 66 69 6c 65 2e 0a 2a 2a 20 0a 2a  base file..** .*
43f0: 2a 20 41 20 73 69 6e 67 6c 65 20 64 61 74 61 62  * A single datab
4400: 61 73 65 20 66 69 6c 65 20 63 61 6e 20 62 65 20  ase file can be 
4410: 69 6e 20 75 73 65 20 61 74 20 74 68 65 20 73 61  in use at the sa
4420: 6d 65 20 74 69 6d 65 20 62 79 20 74 77 6f 0a 2a  me time by two.*
4430: 2a 20 6f 72 20 6d 6f 72 65 20 64 61 74 61 62 61  * or more databa
4440: 73 65 20 63 6f 6e 6e 65 63 74 69 6f 6e 73 2e 20  se connections. 
4450: 20 57 68 65 6e 20 74 77 6f 20 6f 72 20 6d 6f 72   When two or mor
4460: 65 20 63 6f 6e 6e 65 63 74 69 6f 6e 73 20 61 72  e connections ar
4470: 65 0a 2a 2a 20 73 68 61 72 69 6e 67 20 74 68 65  e.** sharing the
4480: 20 73 61 6d 65 20 64 61 74 61 62 61 73 65 20 66   same database f
4490: 69 6c 65 2c 20 65 61 63 68 20 63 6f 6e 6e 65 63  ile, each connec
44a0: 74 69 6f 6e 20 68 61 73 20 69 74 20 6f 77 6e 0a  tion has it own.
44b0: 2a 2a 20 70 72 69 76 61 74 65 20 42 74 72 65 65  ** private Btree
44c0: 20 6f 62 6a 65 63 74 20 66 6f 72 20 74 68 65 20   object for the 
44d0: 66 69 6c 65 20 61 6e 64 20 65 61 63 68 20 6f 66  file and each of
44e0: 20 74 68 6f 73 65 20 42 74 72 65 65 73 20 70 6f   those Btrees po
44f0: 69 6e 74 73 0a 2a 2a 20 74 6f 20 74 68 69 73 20  ints.** to this 
4500: 6f 6e 65 20 42 74 53 68 61 72 65 64 20 6f 62 6a  one BtShared obj
4510: 65 63 74 2e 20 20 42 74 53 68 61 72 65 64 2e 6e  ect.  BtShared.n
4520: 52 65 66 20 69 73 20 74 68 65 20 6e 75 6d 62 65  Ref is the numbe
4530: 72 20 6f 66 0a 2a 2a 20 63 6f 6e 6e 65 63 74 69  r of.** connecti
4540: 6f 6e 73 20 63 75 72 72 65 6e 74 6c 79 20 73 68  ons currently sh
4550: 61 72 69 6e 67 20 74 68 69 73 20 64 61 74 61 62  aring this datab
4560: 61 73 65 20 66 69 6c 65 2e 0a 2a 2a 0a 2a 2a 20  ase file..**.** 
4570: 46 69 65 6c 64 73 20 69 6e 20 74 68 69 73 20 73  Fields in this s
4580: 74 72 75 63 74 75 72 65 20 61 72 65 20 61 63 63  tructure are acc
4590: 65 73 73 65 64 20 75 6e 64 65 72 20 74 68 65 20  essed under the 
45a0: 42 74 53 68 61 72 65 64 2e 6d 75 74 65 78 0a 2a  BtShared.mutex.*
45b0: 2a 20 6d 75 74 65 78 2c 20 65 78 63 65 70 74 20  * mutex, except 
45c0: 66 6f 72 20 6e 52 65 66 20 61 6e 64 20 70 4e 65  for nRef and pNe
45d0: 78 74 20 77 68 69 63 68 20 61 72 65 20 61 63 63  xt which are acc
45e0: 65 73 73 65 64 20 75 6e 64 65 72 20 74 68 65 0a  essed under the.
45f0: 2a 2a 20 67 6c 6f 62 61 6c 20 53 51 4c 49 54 45  ** global SQLITE
4600: 5f 4d 55 54 45 58 5f 53 54 41 54 49 43 5f 4d 41  _MUTEX_STATIC_MA
4610: 53 54 45 52 20 6d 75 74 65 78 2e 20 20 54 68 65  STER mutex.  The
4620: 20 70 50 61 67 65 72 20 66 69 65 6c 64 0a 2a 2a   pPager field.**
4630: 20 6d 61 79 20 6e 6f 74 20 62 65 20 6d 6f 64 69   may not be modi
4640: 66 69 65 64 20 6f 6e 63 65 20 69 74 20 69 73 20  fied once it is 
4650: 69 6e 69 74 69 61 6c 6c 79 20 73 65 74 20 61 73  initially set as
4660: 20 6c 6f 6e 67 20 61 73 20 6e 52 65 66 3e 30 2e   long as nRef>0.
4670: 0a 2a 2a 20 54 68 65 20 70 53 63 68 65 6d 61 20  .** The pSchema 
4680: 66 69 65 6c 64 20 6d 61 79 20 62 65 20 73 65 74  field may be set
4690: 20 6f 6e 63 65 20 75 6e 64 65 72 20 42 74 53 68   once under BtSh
46a0: 61 72 65 64 2e 6d 75 74 65 78 20 61 6e 64 0a 2a  ared.mutex and.*
46b0: 2a 20 74 68 65 72 65 61 66 74 65 72 20 69 73 20  * thereafter is 
46c0: 75 6e 63 68 61 6e 67 65 64 20 61 73 20 6c 6f 6e  unchanged as lon
46d0: 67 20 61 73 20 6e 52 65 66 3e 30 2e 0a 2a 2a 0a  g as nRef>0..**.
46e0: 2a 2a 20 69 73 50 65 6e 64 69 6e 67 3a 0a 2a 2a  ** isPending:.**
46f0: 0a 2a 2a 20 20 20 49 66 20 61 20 42 74 53 68 61  .**   If a BtSha
4700: 72 65 64 20 63 6c 69 65 6e 74 20 66 61 69 6c 73  red client fails
4710: 20 74 6f 20 6f 62 74 61 69 6e 20 61 20 77 72 69   to obtain a wri
4720: 74 65 2d 6c 6f 63 6b 20 6f 6e 20 61 20 64 61 74  te-lock on a dat
4730: 61 62 61 73 65 0a 2a 2a 20 20 20 74 61 62 6c 65  abase.**   table
4740: 20 28 62 65 63 61 75 73 65 20 74 68 65 72 65 20   (because there 
4750: 65 78 69 73 74 73 20 6f 6e 65 20 6f 72 20 6d 6f  exists one or mo
4760: 72 65 20 72 65 61 64 2d 6c 6f 63 6b 73 20 6f 6e  re read-locks on
4770: 20 74 68 65 20 74 61 62 6c 65 29 2c 0a 2a 2a 20   the table),.** 
4780: 20 20 74 68 65 20 73 68 61 72 65 64 2d 63 61 63    the shared-cac
4790: 68 65 20 65 6e 74 65 72 73 20 27 70 65 6e 64 69  he enters 'pendi
47a0: 6e 67 2d 6c 6f 63 6b 27 20 73 74 61 74 65 20 61  ng-lock' state a
47b0: 6e 64 20 69 73 50 65 6e 64 69 6e 67 20 69 73 0a  nd isPending is.
47c0: 2a 2a 20 20 20 73 65 74 20 74 6f 20 74 72 75 65  **   set to true
47d0: 2e 0a 2a 2a 0a 2a 2a 20 20 20 54 68 65 20 73 68  ..**.**   The sh
47e0: 61 72 65 64 2d 63 61 63 68 65 20 6c 65 61 76 65  ared-cache leave
47f0: 73 20 74 68 65 20 27 70 65 6e 64 69 6e 67 20 6c  s the 'pending l
4800: 6f 63 6b 27 20 73 74 61 74 65 20 77 68 65 6e 20  ock' state when 
4810: 65 69 74 68 65 72 20 6f 66 0a 2a 2a 20 20 20 74  either of.**   t
4820: 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 6f 63 63  he following occ
4830: 75 72 3a 0a 2a 2a 0a 2a 2a 20 20 20 20 20 31 29  ur:.**.**     1)
4840: 20 54 68 65 20 63 75 72 72 65 6e 74 20 77 72 69   The current wri
4850: 74 65 72 20 28 42 74 53 68 61 72 65 64 2e 70 57  ter (BtShared.pW
4860: 72 69 74 65 72 29 20 63 6f 6e 63 6c 75 64 65 73  riter) concludes
4870: 20 69 74 73 20 74 72 61 6e 73 61 63 74 69 6f 6e   its transaction
4880: 2c 20 4f 52 0a 2a 2a 20 20 20 20 20 32 29 20 54  , OR.**     2) T
4890: 68 65 20 6e 75 6d 62 65 72 20 6f 66 20 6c 6f 63  he number of loc
48a0: 6b 73 20 68 65 6c 64 20 62 79 20 6f 74 68 65 72  ks held by other
48b0: 20 63 6f 6e 6e 65 63 74 69 6f 6e 73 20 64 72 6f   connections dro
48c0: 70 73 20 74 6f 20 7a 65 72 6f 2e 0a 2a 2a 0a 2a  ps to zero..**.*
48d0: 2a 20 20 20 77 68 69 6c 65 20 69 6e 20 74 68 65  *   while in the
48e0: 20 27 70 65 6e 64 69 6e 67 2d 6c 6f 63 6b 27 20   'pending-lock' 
48f0: 73 74 61 74 65 2c 20 6e 6f 20 63 6f 6e 6e 65 63  state, no connec
4900: 74 69 6f 6e 20 6d 61 79 20 73 74 61 72 74 20 61  tion may start a
4910: 20 6e 65 77 0a 2a 2a 20 20 20 74 72 61 6e 73 61   new.**   transa
4920: 63 74 69 6f 6e 2e 0a 2a 2a 0a 2a 2a 20 20 20 54  ction..**.**   T
4930: 68 69 73 20 66 65 61 74 75 72 65 20 69 73 20 69  his feature is i
4940: 6e 63 6c 75 64 65 64 20 74 6f 20 68 65 6c 70 20  ncluded to help 
4950: 70 72 65 76 65 6e 74 20 77 72 69 74 65 72 2d 73  prevent writer-s
4960: 74 61 72 76 61 74 69 6f 6e 2e 0a 2a 2f 0a 73 74  tarvation..*/.st
4970: 72 75 63 74 20 42 74 53 68 61 72 65 64 20 7b 0a  ruct BtShared {.
4980: 20 20 50 61 67 65 72 20 2a 70 50 61 67 65 72 3b    Pager *pPager;
4990: 20 20 20 20 20 20 20 20 2f 2a 20 54 68 65 20 70          /* The p
49a0: 61 67 65 20 63 61 63 68 65 20 2a 2f 0a 20 20 73  age cache */.  s
49b0: 71 6c 69 74 65 33 20 2a 64 62 3b 20 20 20 20 20  qlite3 *db;     
49c0: 20 20 20 20 20 2f 2a 20 44 61 74 61 62 61 73 65       /* Database
49d0: 20 63 6f 6e 6e 65 63 74 69 6f 6e 20 63 75 72 72   connection curr
49e0: 65 6e 74 6c 79 20 75 73 69 6e 67 20 74 68 69 73  ently using this
49f0: 20 42 74 72 65 65 20 2a 2f 0a 20 20 42 74 43 75   Btree */.  BtCu
4a00: 72 73 6f 72 20 2a 70 43 75 72 73 6f 72 3b 20 20  rsor *pCursor;  
4a10: 20 20 2f 2a 20 41 20 6c 69 73 74 20 6f 66 20 61    /* A list of a
4a20: 6c 6c 20 6f 70 65 6e 20 63 75 72 73 6f 72 73 20  ll open cursors 
4a30: 2a 2f 0a 20 20 4d 65 6d 50 61 67 65 20 2a 70 50  */.  MemPage *pP
4a40: 61 67 65 31 3b 20 20 20 20 20 20 2f 2a 20 46 69  age1;      /* Fi
4a50: 72 73 74 20 70 61 67 65 20 6f 66 20 74 68 65 20  rst page of the 
4a60: 64 61 74 61 62 61 73 65 20 2a 2f 0a 20 20 75 38  database */.  u8
4a70: 20 6f 70 65 6e 46 6c 61 67 73 3b 20 20 20 20 20   openFlags;     
4a80: 20 20 20 20 2f 2a 20 46 6c 61 67 73 20 74 6f 20      /* Flags to 
4a90: 73 71 6c 69 74 65 33 42 74 72 65 65 4f 70 65 6e  sqlite3BtreeOpen
4aa0: 28 29 20 2a 2f 0a 23 69 66 6e 64 65 66 20 53 51  () */.#ifndef SQ
4ab0: 4c 49 54 45 5f 4f 4d 49 54 5f 41 55 54 4f 56 41  LITE_OMIT_AUTOVA
4ac0: 43 55 55 4d 0a 20 20 75 38 20 61 75 74 6f 56 61  CUUM.  u8 autoVa
4ad0: 63 75 75 6d 3b 20 20 20 20 20 20 20 20 2f 2a 20  cuum;        /* 
4ae0: 54 72 75 65 20 69 66 20 61 75 74 6f 2d 76 61 63  True if auto-vac
4af0: 75 75 6d 20 69 73 20 65 6e 61 62 6c 65 64 20 2a  uum is enabled *
4b00: 2f 0a 20 20 75 38 20 69 6e 63 72 56 61 63 75 75  /.  u8 incrVacuu
4b10: 6d 3b 20 20 20 20 20 20 20 20 2f 2a 20 54 72 75  m;        /* Tru
4b20: 65 20 69 66 20 69 6e 63 72 2d 76 61 63 75 75 6d  e if incr-vacuum
4b30: 20 69 73 20 65 6e 61 62 6c 65 64 20 2a 2f 0a 20   is enabled */. 
4b40: 20 75 38 20 62 44 6f 54 72 75 6e 63 61 74 65 3b   u8 bDoTruncate;
4b50: 20 20 20 20 20 20 20 2f 2a 20 54 72 75 65 20 74         /* True t
4b60: 6f 20 74 72 75 6e 63 61 74 65 20 64 62 20 6f 6e  o truncate db on
4b70: 20 63 6f 6d 6d 69 74 20 2a 2f 0a 23 65 6e 64 69   commit */.#endi
4b80: 66 0a 20 20 75 38 20 69 6e 54 72 61 6e 73 61 63  f.  u8 inTransac
4b90: 74 69 6f 6e 3b 20 20 20 20 20 2f 2a 20 54 72 61  tion;     /* Tra
4ba0: 6e 73 61 63 74 69 6f 6e 20 73 74 61 74 65 20 2a  nsaction state *
4bb0: 2f 0a 20 20 75 38 20 6d 61 78 31 62 79 74 65 50  /.  u8 max1byteP
4bc0: 61 79 6c 6f 61 64 3b 20 20 20 2f 2a 20 4d 61 78  ayload;   /* Max
4bd0: 69 6d 75 6d 20 66 69 72 73 74 20 62 79 74 65 20  imum first byte 
4be0: 6f 66 20 63 65 6c 6c 20 66 6f 72 20 61 20 31 2d  of cell for a 1-
4bf0: 62 79 74 65 20 70 61 79 6c 6f 61 64 20 2a 2f 0a  byte payload */.
4c00: 23 69 66 64 65 66 20 53 51 4c 49 54 45 5f 48 41  #ifdef SQLITE_HA
4c10: 53 5f 43 4f 44 45 43 0a 20 20 75 38 20 6f 70 74  S_CODEC.  u8 opt
4c20: 69 6d 61 6c 52 65 73 65 72 76 65 3b 20 20 20 20  imalReserve;    
4c30: 2f 2a 20 44 65 73 69 72 65 64 20 61 6d 6f 75 6e  /* Desired amoun
4c40: 74 20 6f 66 20 72 65 73 65 72 76 65 64 20 73 70  t of reserved sp
4c50: 61 63 65 20 70 65 72 20 70 61 67 65 20 2a 2f 0a  ace per page */.
4c60: 23 65 6e 64 69 66 0a 20 20 75 31 36 20 62 74 73  #endif.  u16 bts
4c70: 46 6c 61 67 73 3b 20 20 20 20 20 20 20 20 20 2f  Flags;         /
4c80: 2a 20 42 6f 6f 6c 65 61 6e 20 70 61 72 61 6d 65  * Boolean parame
4c90: 74 65 72 73 2e 20 20 53 65 65 20 42 54 53 5f 2a  ters.  See BTS_*
4ca0: 20 6d 61 63 72 6f 73 20 62 65 6c 6f 77 20 2a 2f   macros below */
4cb0: 0a 20 20 75 31 36 20 6d 61 78 4c 6f 63 61 6c 3b  .  u16 maxLocal;
4cc0: 20 20 20 20 20 20 20 20 20 2f 2a 20 4d 61 78 69           /* Maxi
4cd0: 6d 75 6d 20 6c 6f 63 61 6c 20 70 61 79 6c 6f 61  mum local payloa
4ce0: 64 20 69 6e 20 6e 6f 6e 2d 4c 45 41 46 44 41 54  d in non-LEAFDAT
4cf0: 41 20 74 61 62 6c 65 73 20 2a 2f 0a 20 20 75 31  A tables */.  u1
4d00: 36 20 6d 69 6e 4c 6f 63 61 6c 3b 20 20 20 20 20  6 minLocal;     
4d10: 20 20 20 20 2f 2a 20 4d 69 6e 69 6d 75 6d 20 6c      /* Minimum l
4d20: 6f 63 61 6c 20 70 61 79 6c 6f 61 64 20 69 6e 20  ocal payload in 
4d30: 6e 6f 6e 2d 4c 45 41 46 44 41 54 41 20 74 61 62  non-LEAFDATA tab
4d40: 6c 65 73 20 2a 2f 0a 20 20 75 31 36 20 6d 61 78  les */.  u16 max
4d50: 4c 65 61 66 3b 20 20 20 20 20 20 20 20 20 20 2f  Leaf;          /
4d60: 2a 20 4d 61 78 69 6d 75 6d 20 6c 6f 63 61 6c 20  * Maximum local 
4d70: 70 61 79 6c 6f 61 64 20 69 6e 20 61 20 4c 45 41  payload in a LEA
4d80: 46 44 41 54 41 20 74 61 62 6c 65 20 2a 2f 0a 20  FDATA table */. 
4d90: 20 75 31 36 20 6d 69 6e 4c 65 61 66 3b 20 20 20   u16 minLeaf;   
4da0: 20 20 20 20 20 20 20 2f 2a 20 4d 69 6e 69 6d 75         /* Minimu
4db0: 6d 20 6c 6f 63 61 6c 20 70 61 79 6c 6f 61 64 20  m local payload 
4dc0: 69 6e 20 61 20 4c 45 41 46 44 41 54 41 20 74 61  in a LEAFDATA ta
4dd0: 62 6c 65 20 2a 2f 0a 20 20 75 33 32 20 70 61 67  ble */.  u32 pag
4de0: 65 53 69 7a 65 3b 20 20 20 20 20 20 20 20 20 2f  eSize;         /
4df0: 2a 20 54 6f 74 61 6c 20 6e 75 6d 62 65 72 20 6f  * Total number o
4e00: 66 20 62 79 74 65 73 20 6f 6e 20 61 20 70 61 67  f bytes on a pag
4e10: 65 20 2a 2f 0a 20 20 75 33 32 20 75 73 61 62 6c  e */.  u32 usabl
4e20: 65 53 69 7a 65 3b 20 20 20 20 20 20 20 2f 2a 20  eSize;       /* 
4e30: 4e 75 6d 62 65 72 20 6f 66 20 75 73 61 62 6c 65  Number of usable
4e40: 20 62 79 74 65 73 20 6f 6e 20 65 61 63 68 20 70   bytes on each p
4e50: 61 67 65 20 2a 2f 0a 20 20 69 6e 74 20 6e 54 72  age */.  int nTr
4e60: 61 6e 73 61 63 74 69 6f 6e 3b 20 20 20 20 20 2f  ansaction;     /
4e70: 2a 20 4e 75 6d 62 65 72 20 6f 66 20 6f 70 65 6e  * Number of open
4e80: 20 74 72 61 6e 73 61 63 74 69 6f 6e 73 20 28 72   transactions (r
4e90: 65 61 64 20 2b 20 77 72 69 74 65 29 20 2a 2f 0a  ead + write) */.
4ea0: 20 20 75 33 32 20 6e 50 61 67 65 3b 20 20 20 20    u32 nPage;    
4eb0: 20 20 20 20 20 20 20 20 2f 2a 20 4e 75 6d 62 65          /* Numbe
4ec0: 72 20 6f 66 20 70 61 67 65 73 20 69 6e 20 74 68  r of pages in th
4ed0: 65 20 64 61 74 61 62 61 73 65 20 2a 2f 0a 20 20  e database */.  
4ee0: 76 6f 69 64 20 2a 70 53 63 68 65 6d 61 3b 20 20  void *pSchema;  
4ef0: 20 20 20 20 20 20 2f 2a 20 50 6f 69 6e 74 65 72        /* Pointer
4f00: 20 74 6f 20 73 70 61 63 65 20 61 6c 6c 6f 63 61   to space alloca
4f10: 74 65 64 20 62 79 20 73 71 6c 69 74 65 33 42 74  ted by sqlite3Bt
4f20: 72 65 65 53 63 68 65 6d 61 28 29 20 2a 2f 0a 20  reeSchema() */. 
4f30: 20 76 6f 69 64 20 28 2a 78 46 72 65 65 53 63 68   void (*xFreeSch
4f40: 65 6d 61 29 28 76 6f 69 64 2a 29 3b 20 20 2f 2a  ema)(void*);  /*
4f50: 20 44 65 73 74 72 75 63 74 6f 72 20 66 6f 72 20   Destructor for 
4f60: 42 74 53 68 61 72 65 64 2e 70 53 63 68 65 6d 61  BtShared.pSchema
4f70: 20 2a 2f 0a 20 20 73 71 6c 69 74 65 33 5f 6d 75   */.  sqlite3_mu
4f80: 74 65 78 20 2a 6d 75 74 65 78 3b 20 2f 2a 20 4e  tex *mutex; /* N
4f90: 6f 6e 2d 72 65 63 75 72 73 69 76 65 20 6d 75 74  on-recursive mut
4fa0: 65 78 20 72 65 71 75 69 72 65 64 20 74 6f 20 61  ex required to a
4fb0: 63 63 65 73 73 20 74 68 69 73 20 6f 62 6a 65 63  ccess this objec
4fc0: 74 20 2a 2f 0a 20 20 42 69 74 76 65 63 20 2a 70  t */.  Bitvec *p
4fd0: 48 61 73 43 6f 6e 74 65 6e 74 3b 20 20 2f 2a 20  HasContent;  /* 
4fe0: 53 65 74 20 6f 66 20 70 61 67 65 73 20 6d 6f 76  Set of pages mov
4ff0: 65 64 20 74 6f 20 66 72 65 65 2d 6c 69 73 74 20  ed to free-list 
5000: 74 68 69 73 20 74 72 61 6e 73 61 63 74 69 6f 6e  this transaction
5010: 20 2a 2f 0a 23 69 66 6e 64 65 66 20 53 51 4c 49   */.#ifndef SQLI
5020: 54 45 5f 4f 4d 49 54 5f 53 48 41 52 45 44 5f 43  TE_OMIT_SHARED_C
5030: 41 43 48 45 0a 20 20 69 6e 74 20 6e 52 65 66 3b  ACHE.  int nRef;
5040: 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20               /* 
5050: 4e 75 6d 62 65 72 20 6f 66 20 72 65 66 65 72 65  Number of refere
5060: 6e 63 65 73 20 74 6f 20 74 68 69 73 20 73 74 72  nces to this str
5070: 75 63 74 75 72 65 20 2a 2f 0a 20 20 42 74 53 68  ucture */.  BtSh
5080: 61 72 65 64 20 2a 70 4e 65 78 74 3b 20 20 20 20  ared *pNext;    
5090: 20 20 2f 2a 20 4e 65 78 74 20 6f 6e 20 61 20 6c    /* Next on a l
50a0: 69 73 74 20 6f 66 20 73 68 61 72 61 62 6c 65 20  ist of sharable 
50b0: 42 74 53 68 61 72 65 64 20 73 74 72 75 63 74 73  BtShared structs
50c0: 20 2a 2f 0a 20 20 42 74 4c 6f 63 6b 20 2a 70 4c   */.  BtLock *pL
50d0: 6f 63 6b 3b 20 20 20 20 20 20 20 20 2f 2a 20 4c  ock;        /* L
50e0: 69 73 74 20 6f 66 20 6c 6f 63 6b 73 20 68 65 6c  ist of locks hel
50f0: 64 20 6f 6e 20 74 68 69 73 20 73 68 61 72 65 64  d on this shared
5100: 2d 62 74 72 65 65 20 73 74 72 75 63 74 20 2a 2f  -btree struct */
5110: 0a 20 20 42 74 72 65 65 20 2a 70 57 72 69 74 65  .  Btree *pWrite
5120: 72 3b 20 20 20 20 20 20 20 2f 2a 20 42 74 72 65  r;       /* Btre
5130: 65 20 77 69 74 68 20 63 75 72 72 65 6e 74 6c 79  e with currently
5140: 20 6f 70 65 6e 20 77 72 69 74 65 20 74 72 61 6e   open write tran
5150: 73 61 63 74 69 6f 6e 20 2a 2f 0a 23 65 6e 64 69  saction */.#endi
5160: 66 0a 20 20 75 38 20 2a 70 54 6d 70 53 70 61 63  f.  u8 *pTmpSpac
5170: 65 3b 20 20 20 20 20 20 20 20 2f 2a 20 54 65 6d  e;        /* Tem
5180: 70 20 73 70 61 63 65 20 73 75 66 66 69 63 69 65  p space sufficie
5190: 6e 74 20 74 6f 20 68 6f 6c 64 20 61 20 73 69 6e  nt to hold a sin
51a0: 67 6c 65 20 63 65 6c 6c 20 2a 2f 0a 7d 3b 0a 0a  gle cell */.};..
51b0: 2f 2a 0a 2a 2a 20 41 6c 6c 6f 77 65 64 20 76 61  /*.** Allowed va
51c0: 6c 75 65 73 20 66 6f 72 20 42 74 53 68 61 72 65  lues for BtShare
51d0: 64 2e 62 74 73 46 6c 61 67 73 0a 2a 2f 0a 23 64  d.btsFlags.*/.#d
51e0: 65 66 69 6e 65 20 42 54 53 5f 52 45 41 44 5f 4f  efine BTS_READ_O
51f0: 4e 4c 59 20 20 20 20 20 20 20 20 30 78 30 30 30  NLY        0x000
5200: 31 20 20 20 2f 2a 20 55 6e 64 65 72 6c 79 69 6e  1   /* Underlyin
5210: 67 20 66 69 6c 65 20 69 73 20 72 65 61 64 6f 6e  g file is readon
5220: 6c 79 20 2a 2f 0a 23 64 65 66 69 6e 65 20 42 54  ly */.#define BT
5230: 53 5f 50 41 47 45 53 49 5a 45 5f 46 49 58 45 44  S_PAGESIZE_FIXED
5240: 20 20 20 30 78 30 30 30 32 20 20 20 2f 2a 20 50     0x0002   /* P
5250: 61 67 65 20 73 69 7a 65 20 63 61 6e 20 6e 6f 20  age size can no 
5260: 6c 6f 6e 67 65 72 20 62 65 20 63 68 61 6e 67 65  longer be change
5270: 64 20 2a 2f 0a 23 64 65 66 69 6e 65 20 42 54 53  d */.#define BTS
5280: 5f 53 45 43 55 52 45 5f 44 45 4c 45 54 45 20 20  _SECURE_DELETE  
5290: 20 20 30 78 30 30 30 34 20 20 20 2f 2a 20 50 52    0x0004   /* PR
52a0: 41 47 4d 41 20 73 65 63 75 72 65 5f 64 65 6c 65  AGMA secure_dele
52b0: 74 65 20 69 73 20 65 6e 61 62 6c 65 64 20 2a 2f  te is enabled */
52c0: 0a 23 64 65 66 69 6e 65 20 42 54 53 5f 49 4e 49  .#define BTS_INI
52d0: 54 49 41 4c 4c 59 5f 45 4d 50 54 59 20 20 30 78  TIALLY_EMPTY  0x
52e0: 30 30 30 38 20 20 20 2f 2a 20 44 61 74 61 62 61  0008   /* Databa
52f0: 73 65 20 77 61 73 20 65 6d 70 74 79 20 61 74 20  se was empty at 
5300: 74 72 61 6e 73 20 73 74 61 72 74 20 2a 2f 0a 23  trans start */.#
5310: 64 65 66 69 6e 65 20 42 54 53 5f 4e 4f 5f 57 41  define BTS_NO_WA
5320: 4c 20 20 20 20 20 20 20 20 20 20 20 30 78 30 30  L           0x00
5330: 31 30 20 20 20 2f 2a 20 44 6f 20 6e 6f 74 20 6f  10   /* Do not o
5340: 70 65 6e 20 77 72 69 74 65 2d 61 68 65 61 64 2d  pen write-ahead-
5350: 6c 6f 67 20 66 69 6c 65 73 20 2a 2f 0a 23 64 65  log files */.#de
5360: 66 69 6e 65 20 42 54 53 5f 45 58 43 4c 55 53 49  fine BTS_EXCLUSI
5370: 56 45 20 20 20 20 20 20 20 20 30 78 30 30 32 30  VE        0x0020
5380: 20 20 20 2f 2a 20 70 57 72 69 74 65 72 20 68 61     /* pWriter ha
5390: 73 20 61 6e 20 65 78 63 6c 75 73 69 76 65 20 6c  s an exclusive l
53a0: 6f 63 6b 20 2a 2f 0a 23 64 65 66 69 6e 65 20 42  ock */.#define B
53b0: 54 53 5f 50 45 4e 44 49 4e 47 20 20 20 20 20 20  TS_PENDING      
53c0: 20 20 20 20 30 78 30 30 34 30 20 20 20 2f 2a 20      0x0040   /* 
53d0: 57 61 69 74 69 6e 67 20 66 6f 72 20 72 65 61 64  Waiting for read
53e0: 2d 6c 6f 63 6b 73 20 74 6f 20 63 6c 65 61 72 20  -locks to clear 
53f0: 2a 2f 0a 0a 2f 2a 0a 2a 2a 20 41 6e 20 69 6e 73  */../*.** An ins
5400: 74 61 6e 63 65 20 6f 66 20 74 68 65 20 66 6f 6c  tance of the fol
5410: 6c 6f 77 69 6e 67 20 73 74 72 75 63 74 75 72 65  lowing structure
5420: 20 69 73 20 75 73 65 64 20 74 6f 20 68 6f 6c 64   is used to hold
5430: 20 69 6e 66 6f 72 6d 61 74 69 6f 6e 0a 2a 2a 20   information.** 
5440: 61 62 6f 75 74 20 61 20 63 65 6c 6c 2e 20 20 54  about a cell.  T
5450: 68 65 20 70 61 72 73 65 43 65 6c 6c 50 74 72 28  he parseCellPtr(
5460: 29 20 66 75 6e 63 74 69 6f 6e 20 66 69 6c 6c 73  ) function fills
5470: 20 69 6e 20 74 68 69 73 20 73 74 72 75 63 74 75   in this structu
5480: 72 65 0a 2a 2a 20 62 61 73 65 64 20 6f 6e 20 69  re.** based on i
5490: 6e 66 6f 72 6d 61 74 69 6f 6e 20 65 78 74 72 61  nformation extra
54a0: 63 74 20 66 72 6f 6d 20 74 68 65 20 72 61 77 20  ct from the raw 
54b0: 64 69 73 6b 20 70 61 67 65 2e 0a 2a 2f 0a 73 74  disk page..*/.st
54c0: 72 75 63 74 20 43 65 6c 6c 49 6e 66 6f 20 7b 0a  ruct CellInfo {.
54d0: 20 20 69 36 34 20 6e 4b 65 79 3b 20 20 20 20 20    i64 nKey;     
54e0: 20 2f 2a 20 54 68 65 20 6b 65 79 20 66 6f 72 20   /* The key for 
54f0: 49 4e 54 4b 45 59 20 74 61 62 6c 65 73 2c 20 6f  INTKEY tables, o
5500: 72 20 6e 50 61 79 6c 6f 61 64 20 6f 74 68 65 72  r nPayload other
5510: 77 69 73 65 20 2a 2f 0a 20 20 75 38 20 2a 70 50  wise */.  u8 *pP
5520: 61 79 6c 6f 61 64 3b 20 20 2f 2a 20 50 6f 69 6e  ayload;  /* Poin
5530: 74 65 72 20 74 6f 20 74 68 65 20 73 74 61 72 74  ter to the start
5540: 20 6f 66 20 70 61 79 6c 6f 61 64 20 2a 2f 0a 20   of payload */. 
5550: 20 75 33 32 20 6e 50 61 79 6c 6f 61 64 3b 20 20   u32 nPayload;  
5560: 2f 2a 20 42 79 74 65 73 20 6f 66 20 70 61 79 6c  /* Bytes of payl
5570: 6f 61 64 20 2a 2f 0a 20 20 75 31 36 20 6e 4c 6f  oad */.  u16 nLo
5580: 63 61 6c 3b 20 20 20 20 2f 2a 20 41 6d 6f 75 6e  cal;    /* Amoun
5590: 74 20 6f 66 20 70 61 79 6c 6f 61 64 20 68 65 6c  t of payload hel
55a0: 64 20 6c 6f 63 61 6c 6c 79 2c 20 6e 6f 74 20 6f  d locally, not o
55b0: 6e 20 6f 76 65 72 66 6c 6f 77 20 2a 2f 0a 20 20  n overflow */.  
55c0: 75 31 36 20 6e 53 69 7a 65 3b 20 20 20 20 20 2f  u16 nSize;     /
55d0: 2a 20 53 69 7a 65 20 6f 66 20 74 68 65 20 63 65  * Size of the ce
55e0: 6c 6c 20 63 6f 6e 74 65 6e 74 20 6f 6e 20 74 68  ll content on th
55f0: 65 20 6d 61 69 6e 20 62 2d 74 72 65 65 20 70 61  e main b-tree pa
5600: 67 65 20 2a 2f 0a 7d 3b 0a 0a 2f 2a 0a 2a 2a 20  ge */.};../*.** 
5610: 4d 61 78 69 6d 75 6d 20 64 65 70 74 68 20 6f 66  Maximum depth of
5620: 20 61 6e 20 53 51 4c 69 74 65 20 42 2d 54 72 65   an SQLite B-Tre
5630: 65 20 73 74 72 75 63 74 75 72 65 2e 20 41 6e 79  e structure. Any
5640: 20 42 2d 54 72 65 65 20 64 65 65 70 65 72 20 74   B-Tree deeper t
5650: 68 61 6e 0a 2a 2a 20 74 68 69 73 20 77 69 6c 6c  han.** this will
5660: 20 62 65 20 64 65 63 6c 61 72 65 64 20 63 6f 72   be declared cor
5670: 72 75 70 74 2e 20 54 68 69 73 20 76 61 6c 75 65  rupt. This value
5680: 20 69 73 20 63 61 6c 63 75 6c 61 74 65 64 20 62   is calculated b
5690: 61 73 65 64 20 6f 6e 20 61 0a 2a 2a 20 6d 61 78  ased on a.** max
56a0: 69 6d 75 6d 20 64 61 74 61 62 61 73 65 20 73 69  imum database si
56b0: 7a 65 20 6f 66 20 32 5e 33 31 20 70 61 67 65 73  ze of 2^31 pages
56c0: 20 61 20 6d 69 6e 69 6d 75 6d 20 66 61 6e 6f 75   a minimum fanou
56d0: 74 20 6f 66 20 32 20 66 6f 72 20 61 0a 2a 2a 20  t of 2 for a.** 
56e0: 72 6f 6f 74 2d 6e 6f 64 65 20 61 6e 64 20 33 20  root-node and 3 
56f0: 66 6f 72 20 61 6c 6c 20 6f 74 68 65 72 20 69 6e  for all other in
5700: 74 65 72 6e 61 6c 20 6e 6f 64 65 73 2e 0a 2a 2a  ternal nodes..**
5710: 0a 2a 2a 20 49 66 20 61 20 74 72 65 65 20 74 68  .** If a tree th
5720: 61 74 20 61 70 70 65 61 72 73 20 74 6f 20 62 65  at appears to be
5730: 20 74 61 6c 6c 65 72 20 74 68 61 6e 20 74 68 69   taller than thi
5740: 73 20 69 73 20 65 6e 63 6f 75 6e 74 65 72 65 64  s is encountered
5750: 2c 20 69 74 20 69 73 0a 2a 2a 20 61 73 73 75 6d  , it is.** assum
5760: 65 64 20 74 68 61 74 20 74 68 65 20 64 61 74 61  ed that the data
5770: 62 61 73 65 20 69 73 20 63 6f 72 72 75 70 74 2e  base is corrupt.
5780: 0a 2a 2f 0a 23 64 65 66 69 6e 65 20 42 54 43 55  .*/.#define BTCU
5790: 52 53 4f 52 5f 4d 41 58 5f 44 45 50 54 48 20 32  RSOR_MAX_DEPTH 2
57a0: 30 0a 0a 2f 2a 0a 2a 2a 20 41 20 63 75 72 73 6f  0../*.** A curso
57b0: 72 20 69 73 20 61 20 70 6f 69 6e 74 65 72 20 74  r is a pointer t
57c0: 6f 20 61 20 70 61 72 74 69 63 75 6c 61 72 20 65  o a particular e
57d0: 6e 74 72 79 20 77 69 74 68 69 6e 20 61 20 70 61  ntry within a pa
57e0: 72 74 69 63 75 6c 61 72 0a 2a 2a 20 62 2d 74 72  rticular.** b-tr
57f0: 65 65 20 77 69 74 68 69 6e 20 61 20 64 61 74 61  ee within a data
5800: 62 61 73 65 20 66 69 6c 65 2e 0a 2a 2a 0a 2a 2a  base file..**.**
5810: 20 54 68 65 20 65 6e 74 72 79 20 69 73 20 69 64   The entry is id
5820: 65 6e 74 69 66 69 65 64 20 62 79 20 69 74 73 20  entified by its 
5830: 4d 65 6d 50 61 67 65 20 61 6e 64 20 74 68 65 20  MemPage and the 
5840: 69 6e 64 65 78 20 69 6e 0a 2a 2a 20 4d 65 6d 50  index in.** MemP
5850: 61 67 65 2e 61 43 65 6c 6c 5b 5d 20 6f 66 20 74  age.aCell[] of t
5860: 68 65 20 65 6e 74 72 79 2e 0a 2a 2a 0a 2a 2a 20  he entry..**.** 
5870: 41 20 73 69 6e 67 6c 65 20 64 61 74 61 62 61 73  A single databas
5880: 65 20 66 69 6c 65 20 63 61 6e 20 62 65 20 73 68  e file can be sh
5890: 61 72 65 64 20 62 79 20 74 77 6f 20 6d 6f 72 65  ared by two more
58a0: 20 64 61 74 61 62 61 73 65 20 63 6f 6e 6e 65 63   database connec
58b0: 74 69 6f 6e 73 2c 0a 2a 2a 20 62 75 74 20 63 75  tions,.** but cu
58c0: 72 73 6f 72 73 20 63 61 6e 6e 6f 74 20 62 65 20  rsors cannot be 
58d0: 73 68 61 72 65 64 2e 20 20 45 61 63 68 20 63 75  shared.  Each cu
58e0: 72 73 6f 72 20 69 73 20 61 73 73 6f 63 69 61 74  rsor is associat
58f0: 65 64 20 77 69 74 68 20 61 0a 2a 2a 20 70 61 72  ed with a.** par
5900: 74 69 63 75 6c 61 72 20 64 61 74 61 62 61 73 65  ticular database
5910: 20 63 6f 6e 6e 65 63 74 69 6f 6e 20 69 64 65 6e   connection iden
5920: 74 69 66 69 65 64 20 42 74 43 75 72 73 6f 72 2e  tified BtCursor.
5930: 70 42 74 72 65 65 2e 64 62 2e 0a 2a 2a 0a 2a 2a  pBtree.db..**.**
5940: 20 46 69 65 6c 64 73 20 69 6e 20 74 68 69 73 20   Fields in this 
5950: 73 74 72 75 63 74 75 72 65 20 61 72 65 20 61 63  structure are ac
5960: 63 65 73 73 65 64 20 75 6e 64 65 72 20 74 68 65  cessed under the
5970: 20 42 74 53 68 61 72 65 64 2e 6d 75 74 65 78 0a   BtShared.mutex.
5980: 2a 2a 20 66 6f 75 6e 64 20 61 74 20 73 65 6c 66  ** found at self
5990: 2d 3e 70 42 74 2d 3e 6d 75 74 65 78 2e 20 0a 2a  ->pBt->mutex. .*
59a0: 2a 0a 2a 2a 20 73 6b 69 70 4e 65 78 74 20 6d 65  *.** skipNext me
59b0: 61 6e 69 6e 67 3a 0a 2a 2a 20 20 20 20 65 53 74  aning:.**    eSt
59c0: 61 74 65 3d 3d 53 4b 49 50 4e 45 58 54 20 26 26  ate==SKIPNEXT &&
59d0: 20 73 6b 69 70 4e 65 78 74 3e 30 3a 20 20 4e 65   skipNext>0:  Ne
59e0: 78 74 20 73 71 6c 69 74 65 33 42 74 72 65 65 4e  xt sqlite3BtreeN
59f0: 65 78 74 28 29 20 69 73 20 6e 6f 2d 6f 70 2e 0a  ext() is no-op..
5a00: 2a 2a 20 20 20 20 65 53 74 61 74 65 3d 3d 53 4b  **    eState==SK
5a10: 49 50 4e 45 58 54 20 26 26 20 73 6b 69 70 4e 65  IPNEXT && skipNe
5a20: 78 74 3c 30 3a 20 20 4e 65 78 74 20 73 71 6c 69  xt<0:  Next sqli
5a30: 74 65 33 42 74 72 65 65 50 72 65 76 69 6f 75 73  te3BtreePrevious
5a40: 28 29 20 69 73 20 6e 6f 2d 6f 70 2e 0a 2a 2a 20  () is no-op..** 
5a50: 20 20 20 65 53 74 61 74 65 3d 3d 46 41 55 4c 54     eState==FAULT
5a60: 3a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  :               
5a70: 20 20 20 20 43 75 72 73 6f 72 20 66 61 75 6c 74      Cursor fault
5a80: 20 77 69 74 68 20 73 6b 69 70 4e 65 78 74 20 61   with skipNext a
5a90: 73 20 65 72 72 6f 72 20 63 6f 64 65 2e 0a 2a 2f  s error code..*/
5aa0: 0a 73 74 72 75 63 74 20 42 74 43 75 72 73 6f 72  .struct BtCursor
5ab0: 20 7b 0a 20 20 42 74 72 65 65 20 2a 70 42 74 72   {.  Btree *pBtr
5ac0: 65 65 3b 20 20 20 20 20 20 20 20 20 20 20 20 2f  ee;            /
5ad0: 2a 20 54 68 65 20 42 74 72 65 65 20 74 6f 20 77  * The Btree to w
5ae0: 68 69 63 68 20 74 68 69 73 20 63 75 72 73 6f 72  hich this cursor
5af0: 20 62 65 6c 6f 6e 67 73 20 2a 2f 0a 20 20 42 74   belongs */.  Bt
5b00: 53 68 61 72 65 64 20 2a 70 42 74 3b 20 20 20 20  Shared *pBt;    
5b10: 20 20 20 20 20 20 20 20 2f 2a 20 54 68 65 20 42          /* The B
5b20: 74 53 68 61 72 65 64 20 74 68 69 73 20 63 75 72  tShared this cur
5b30: 73 6f 72 20 70 6f 69 6e 74 73 20 74 6f 20 2a 2f  sor points to */
5b40: 0a 20 20 42 74 43 75 72 73 6f 72 20 2a 70 4e 65  .  BtCursor *pNe
5b50: 78 74 3b 20 20 20 20 20 20 20 20 20 20 2f 2a 20  xt;          /* 
5b60: 46 6f 72 6d 73 20 61 20 6c 69 6e 6b 65 64 20 6c  Forms a linked l
5b70: 69 73 74 20 6f 66 20 61 6c 6c 20 63 75 72 73 6f  ist of all curso
5b80: 72 73 20 2a 2f 0a 20 20 50 67 6e 6f 20 2a 61 4f  rs */.  Pgno *aO
5b90: 76 65 72 66 6c 6f 77 3b 20 20 20 20 20 20 20 20  verflow;        
5ba0: 20 20 2f 2a 20 43 61 63 68 65 20 6f 66 20 6f 76    /* Cache of ov
5bb0: 65 72 66 6c 6f 77 20 70 61 67 65 20 6c 6f 63 61  erflow page loca
5bc0: 74 69 6f 6e 73 20 2a 2f 0a 20 20 43 65 6c 6c 49  tions */.  CellI
5bd0: 6e 66 6f 20 69 6e 66 6f 3b 20 20 20 20 20 20 20  nfo info;       
5be0: 20 20 20 20 20 2f 2a 20 41 20 70 61 72 73 65 20       /* A parse 
5bf0: 6f 66 20 74 68 65 20 63 65 6c 6c 20 77 65 20 61  of the cell we a
5c00: 72 65 20 70 6f 69 6e 74 69 6e 67 20 61 74 20 2a  re pointing at *
5c10: 2f 0a 20 20 69 36 34 20 6e 4b 65 79 3b 20 20 20  /.  i64 nKey;   
5c20: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a                /*
5c30: 20 53 69 7a 65 20 6f 66 20 70 4b 65 79 2c 20 6f   Size of pKey, o
5c40: 72 20 6c 61 73 74 20 69 6e 74 65 67 65 72 20 6b  r last integer k
5c50: 65 79 20 2a 2f 0a 20 20 76 6f 69 64 20 2a 70 4b  ey */.  void *pK
5c60: 65 79 3b 20 20 20 20 20 20 20 20 20 20 20 20 20  ey;             
5c70: 20 20 2f 2a 20 53 61 76 65 64 20 6b 65 79 20 74    /* Saved key t
5c80: 68 61 74 20 77 61 73 20 63 75 72 73 6f 72 20 6c  hat was cursor l
5c90: 61 73 74 20 6b 6e 6f 77 6e 20 70 6f 73 69 74 69  ast known positi
5ca0: 6f 6e 20 2a 2f 0a 20 20 50 67 6e 6f 20 70 67 6e  on */.  Pgno pgn
5cb0: 6f 52 6f 6f 74 3b 20 20 20 20 20 20 20 20 20 20  oRoot;          
5cc0: 20 20 2f 2a 20 54 68 65 20 72 6f 6f 74 20 70 61    /* The root pa
5cd0: 67 65 20 6f 66 20 74 68 69 73 20 74 72 65 65 20  ge of this tree 
5ce0: 2a 2f 0a 20 20 69 6e 74 20 6e 4f 76 66 6c 41 6c  */.  int nOvflAl
5cf0: 6c 6f 63 3b 20 20 20 20 20 20 20 20 20 20 20 2f  loc;           /
5d00: 2a 20 41 6c 6c 6f 63 61 74 65 64 20 73 69 7a 65  * Allocated size
5d10: 20 6f 66 20 61 4f 76 65 72 66 6c 6f 77 5b 5d 20   of aOverflow[] 
5d20: 61 72 72 61 79 20 2a 2f 0a 20 20 69 6e 74 20 73  array */.  int s
5d30: 6b 69 70 4e 65 78 74 3b 20 20 20 20 2f 2a 20 50  kipNext;    /* P
5d40: 72 65 76 28 29 20 69 73 20 6e 6f 6f 70 20 69 66  rev() is noop if
5d50: 20 6e 65 67 61 74 69 76 65 2e 20 4e 65 78 74 28   negative. Next(
5d60: 29 20 69 73 20 6e 6f 6f 70 20 69 66 20 70 6f 73  ) is noop if pos
5d70: 69 74 69 76 65 2e 0a 20 20 20 20 20 20 20 20 20  itive..         
5d80: 20 20 20 20 20 20 20 20 20 20 2a 2a 20 45 72 72            ** Err
5d90: 6f 72 20 63 6f 64 65 20 69 66 20 65 53 74 61 74  or code if eStat
5da0: 65 3d 3d 43 55 52 53 4f 52 5f 46 41 55 4c 54 20  e==CURSOR_FAULT 
5db0: 2a 2f 0a 20 20 75 38 20 63 75 72 46 6c 61 67 73  */.  u8 curFlags
5dc0: 3b 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f  ;              /
5dd0: 2a 20 7a 65 72 6f 20 6f 72 20 6d 6f 72 65 20 42  * zero or more B
5de0: 54 43 46 5f 2a 20 66 6c 61 67 73 20 64 65 66 69  TCF_* flags defi
5df0: 6e 65 64 20 62 65 6c 6f 77 20 2a 2f 0a 20 20 75  ned below */.  u
5e00: 38 20 63 75 72 50 61 67 65 72 46 6c 61 67 73 3b  8 curPagerFlags;
5e10: 20 20 20 20 20 20 20 20 20 2f 2a 20 46 6c 61 67           /* Flag
5e20: 73 20 74 6f 20 73 65 6e 64 20 74 6f 20 73 71 6c  s to send to sql
5e30: 69 74 65 33 50 61 67 65 72 47 65 74 28 29 20 2a  ite3PagerGet() *
5e40: 2f 0a 20 20 75 38 20 65 53 74 61 74 65 3b 20 20  /.  u8 eState;  
5e50: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a                /*
5e60: 20 4f 6e 65 20 6f 66 20 74 68 65 20 43 55 52 53   One of the CURS
5e70: 4f 52 5f 58 58 58 20 63 6f 6e 73 74 61 6e 74 73  OR_XXX constants
5e80: 20 28 73 65 65 20 62 65 6c 6f 77 29 20 2a 2f 0a   (see below) */.
5e90: 20 20 75 38 20 68 69 6e 74 73 3b 20 20 20 20 20    u8 hints;     
5ea0: 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 41              /* A
5eb0: 73 20 63 6f 6e 66 69 67 75 72 65 64 20 62 79 20  s configured by 
5ec0: 43 75 72 73 6f 72 53 65 74 48 69 6e 74 73 28 29  CursorSetHints()
5ed0: 20 2a 2f 0a 20 20 2f 2a 20 41 6c 6c 20 66 69 65   */.  /* All fie
5ee0: 6c 64 73 20 61 62 6f 76 65 20 61 72 65 20 7a 65  lds above are ze
5ef0: 72 6f 65 64 20 77 68 65 6e 20 74 68 65 20 63 75  roed when the cu
5f00: 72 73 6f 72 20 69 73 20 61 6c 6c 6f 63 61 74 65  rsor is allocate
5f10: 64 2e 20 20 53 65 65 0a 20 20 2a 2a 20 73 71 6c  d.  See.  ** sql
5f20: 69 74 65 33 42 74 72 65 65 43 75 72 73 6f 72 5a  ite3BtreeCursorZ
5f30: 65 72 6f 28 29 2e 20 20 46 69 65 6c 64 73 20 74  ero().  Fields t
5f40: 68 61 74 20 66 6f 6c 6c 6f 77 20 6d 75 73 74 20  hat follow must 
5f50: 62 65 20 6d 61 6e 75 61 6c 6c 79 0a 20 20 2a 2a  be manually.  **
5f60: 20 69 6e 69 74 69 61 6c 69 7a 65 64 2e 20 2a 2f   initialized. */
5f70: 0a 20 20 69 38 20 69 50 61 67 65 3b 20 20 20 20  .  i8 iPage;    
5f80: 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20               /* 
5f90: 49 6e 64 65 78 20 6f 66 20 63 75 72 72 65 6e 74  Index of current
5fa0: 20 70 61 67 65 20 69 6e 20 61 70 50 61 67 65 20   page in apPage 
5fb0: 2a 2f 0a 20 20 75 38 20 63 75 72 49 6e 74 4b 65  */.  u8 curIntKe
5fc0: 79 3b 20 20 20 20 20 20 20 20 20 20 20 20 20 2f  y;             /
5fd0: 2a 20 56 61 6c 75 65 20 6f 66 20 61 70 50 61 67  * Value of apPag
5fe0: 65 5b 30 5d 2d 3e 69 6e 74 4b 65 79 20 2a 2f 0a  e[0]->intKey */.
5ff0: 20 20 73 74 72 75 63 74 20 4b 65 79 49 6e 66 6f    struct KeyInfo
6000: 20 2a 70 4b 65 79 49 6e 66 6f 3b 20 2f 2a 20 41   *pKeyInfo; /* A
6010: 72 67 75 6d 65 6e 74 20 70 61 73 73 65 64 20 74  rgument passed t
6020: 6f 20 63 6f 6d 70 61 72 69 73 6f 6e 20 66 75 6e  o comparison fun
6030: 63 74 69 6f 6e 20 2a 2f 0a 20 20 76 6f 69 64 20  ction */.  void 
6040: 2a 70 61 64 64 69 6e 67 31 3b 20 20 20 20 20 20  *padding1;      
6050: 20 20 20 20 20 2f 2a 20 4d 61 6b 65 20 6f 62 6a       /* Make obj
6060: 65 63 74 20 73 69 7a 65 20 61 20 6d 75 6c 74 69  ect size a multi
6070: 70 6c 65 20 6f 66 20 31 36 20 2a 2f 0a 20 20 75  ple of 16 */.  u
6080: 31 36 20 61 69 49 64 78 5b 42 54 43 55 52 53 4f  16 aiIdx[BTCURSO
6090: 52 5f 4d 41 58 5f 44 45 50 54 48 5d 3b 20 20 20  R_MAX_DEPTH];   
60a0: 20 20 20 20 20 2f 2a 20 43 75 72 72 65 6e 74 20       /* Current 
60b0: 69 6e 64 65 78 20 69 6e 20 61 70 50 61 67 65 5b  index in apPage[
60c0: 69 5d 20 2a 2f 0a 20 20 4d 65 6d 50 61 67 65 20  i] */.  MemPage 
60d0: 2a 61 70 50 61 67 65 5b 42 54 43 55 52 53 4f 52  *apPage[BTCURSOR
60e0: 5f 4d 41 58 5f 44 45 50 54 48 5d 3b 20 20 2f 2a  _MAX_DEPTH];  /*
60f0: 20 50 61 67 65 73 20 66 72 6f 6d 20 72 6f 6f 74   Pages from root
6100: 20 74 6f 20 63 75 72 72 65 6e 74 20 70 61 67 65   to current page
6110: 20 2a 2f 0a 7d 3b 0a 0a 2f 2a 0a 2a 2a 20 4c 65   */.};../*.** Le
6120: 67 61 6c 20 76 61 6c 75 65 73 20 66 6f 72 20 42  gal values for B
6130: 74 43 75 72 73 6f 72 2e 63 75 72 46 6c 61 67 73  tCursor.curFlags
6140: 0a 2a 2f 0a 23 64 65 66 69 6e 65 20 42 54 43 46  .*/.#define BTCF
6150: 5f 57 72 69 74 65 46 6c 61 67 20 20 20 20 30 78  _WriteFlag    0x
6160: 30 31 20 20 20 2f 2a 20 54 72 75 65 20 69 66 20  01   /* True if 
6170: 61 20 77 72 69 74 65 20 63 75 72 73 6f 72 20 2a  a write cursor *
6180: 2f 0a 23 64 65 66 69 6e 65 20 42 54 43 46 5f 56  /.#define BTCF_V
6190: 61 6c 69 64 4e 4b 65 79 20 20 20 20 30 78 30 32  alidNKey    0x02
61a0: 20 20 20 2f 2a 20 54 72 75 65 20 69 66 20 69 6e     /* True if in
61b0: 66 6f 2e 6e 4b 65 79 20 69 73 20 76 61 6c 69 64  fo.nKey is valid
61c0: 20 2a 2f 0a 23 64 65 66 69 6e 65 20 42 54 43 46   */.#define BTCF
61d0: 5f 56 61 6c 69 64 4f 76 66 6c 20 20 20 20 30 78  _ValidOvfl    0x
61e0: 30 34 20 20 20 2f 2a 20 54 72 75 65 20 69 66 20  04   /* True if 
61f0: 61 4f 76 65 72 66 6c 6f 77 20 69 73 20 76 61 6c  aOverflow is val
6200: 69 64 20 2a 2f 0a 23 64 65 66 69 6e 65 20 42 54  id */.#define BT
6210: 43 46 5f 41 74 4c 61 73 74 20 20 20 20 20 20 20  CF_AtLast       
6220: 30 78 30 38 20 20 20 2f 2a 20 43 75 72 73 6f 72  0x08   /* Cursor
6230: 20 69 73 20 70 6f 69 6e 74 69 6e 67 20 6f 74 20   is pointing ot 
6240: 74 68 65 20 6c 61 73 74 20 65 6e 74 72 79 20 2a  the last entry *
6250: 2f 0a 23 64 65 66 69 6e 65 20 42 54 43 46 5f 49  /.#define BTCF_I
6260: 6e 63 72 62 6c 6f 62 20 20 20 20 20 30 78 31 30  ncrblob     0x10
6270: 20 20 20 2f 2a 20 54 72 75 65 20 69 66 20 61 6e     /* True if an
6280: 20 69 6e 63 72 65 6d 65 6e 74 61 6c 20 49 2f 4f   incremental I/O
6290: 20 68 61 6e 64 6c 65 20 2a 2f 0a 23 64 65 66 69   handle */.#defi
62a0: 6e 65 20 42 54 43 46 5f 4d 75 6c 74 69 70 6c 65  ne BTCF_Multiple
62b0: 20 20 20 20 20 30 78 32 30 20 20 20 2f 2a 20 4d       0x20   /* M
62c0: 61 79 62 65 20 61 6e 6f 74 68 65 72 20 63 75 72  aybe another cur
62d0: 73 6f 72 20 6f 6e 20 74 68 65 20 73 61 6d 65 20  sor on the same 
62e0: 62 74 72 65 65 20 2a 2f 0a 0a 2f 2a 0a 2a 2a 20  btree */../*.** 
62f0: 50 6f 74 65 6e 74 69 61 6c 20 76 61 6c 75 65 73  Potential values
6300: 20 66 6f 72 20 42 74 43 75 72 73 6f 72 2e 65 53   for BtCursor.eS
6310: 74 61 74 65 2e 0a 2a 2a 0a 2a 2a 20 43 55 52 53  tate..**.** CURS
6320: 4f 52 5f 49 4e 56 41 4c 49 44 3a 0a 2a 2a 20 20  OR_INVALID:.**  
6330: 20 43 75 72 73 6f 72 20 64 6f 65 73 20 6e 6f 74   Cursor does not
6340: 20 70 6f 69 6e 74 20 74 6f 20 61 20 76 61 6c 69   point to a vali
6350: 64 20 65 6e 74 72 79 2e 20 54 68 69 73 20 63 61  d entry. This ca
6360: 6e 20 68 61 70 70 65 6e 20 28 66 6f 72 20 65 78  n happen (for ex
6370: 61 6d 70 6c 65 29 20 0a 2a 2a 20 20 20 62 65 63  ample) .**   bec
6380: 61 75 73 65 20 74 68 65 20 74 61 62 6c 65 20 69  ause the table i
6390: 73 20 65 6d 70 74 79 20 6f 72 20 62 65 63 61 75  s empty or becau
63a0: 73 65 20 42 74 72 65 65 43 75 72 73 6f 72 46 69  se BtreeCursorFi
63b0: 72 73 74 28 29 20 68 61 73 20 6e 6f 74 20 62 65  rst() has not be
63c0: 65 6e 0a 2a 2a 20 20 20 63 61 6c 6c 65 64 2e 0a  en.**   called..
63d0: 2a 2a 0a 2a 2a 20 43 55 52 53 4f 52 5f 56 41 4c  **.** CURSOR_VAL
63e0: 49 44 3a 0a 2a 2a 20 20 20 43 75 72 73 6f 72 20  ID:.**   Cursor 
63f0: 70 6f 69 6e 74 73 20 74 6f 20 61 20 76 61 6c 69  points to a vali
6400: 64 20 65 6e 74 72 79 2e 20 67 65 74 50 61 79 6c  d entry. getPayl
6410: 6f 61 64 28 29 20 65 74 63 2e 20 6d 61 79 20 62  oad() etc. may b
6420: 65 20 63 61 6c 6c 65 64 2e 0a 2a 2a 0a 2a 2a 20  e called..**.** 
6430: 43 55 52 53 4f 52 5f 53 4b 49 50 4e 45 58 54 3a  CURSOR_SKIPNEXT:
6440: 0a 2a 2a 20 20 20 43 75 72 73 6f 72 20 69 73 20  .**   Cursor is 
6450: 76 61 6c 69 64 20 65 78 63 65 70 74 20 74 68 61  valid except tha
6460: 74 20 74 68 65 20 43 75 72 73 6f 72 2e 73 6b 69  t the Cursor.ski
6470: 70 4e 65 78 74 20 66 69 65 6c 64 20 69 73 20 6e  pNext field is n
6480: 6f 6e 2d 7a 65 72 6f 0a 2a 2a 20 20 20 69 6e 64  on-zero.**   ind
6490: 69 63 61 74 69 6e 67 20 74 68 61 74 20 74 68 65  icating that the
64a0: 20 6e 65 78 74 20 73 71 6c 69 74 65 33 42 74 72   next sqlite3Btr
64b0: 65 65 4e 65 78 74 28 29 20 6f 72 20 73 71 6c 69  eeNext() or sqli
64c0: 74 65 33 42 74 72 65 65 50 72 65 76 69 6f 75 73  te3BtreePrevious
64d0: 28 29 0a 2a 2a 20 20 20 6f 70 65 72 61 74 69 6f  ().**   operatio
64e0: 6e 20 73 68 6f 75 6c 64 20 62 65 20 61 20 6e 6f  n should be a no
64f0: 2d 6f 70 2e 0a 2a 2a 0a 2a 2a 20 43 55 52 53 4f  -op..**.** CURSO
6500: 52 5f 52 45 51 55 49 52 45 53 45 45 4b 3a 0a 2a  R_REQUIRESEEK:.*
6510: 2a 20 20 20 54 68 65 20 74 61 62 6c 65 20 74 68  *   The table th
6520: 61 74 20 74 68 69 73 20 63 75 72 73 6f 72 20 77  at this cursor w
6530: 61 73 20 6f 70 65 6e 65 64 20 6f 6e 20 73 74 69  as opened on sti
6540: 6c 6c 20 65 78 69 73 74 73 2c 20 62 75 74 20 68  ll exists, but h
6550: 61 73 20 62 65 65 6e 20 0a 2a 2a 20 20 20 6d 6f  as been .**   mo
6560: 64 69 66 69 65 64 20 73 69 6e 63 65 20 74 68 65  dified since the
6570: 20 63 75 72 73 6f 72 20 77 61 73 20 6c 61 73 74   cursor was last
6580: 20 75 73 65 64 2e 20 54 68 65 20 63 75 72 73 6f   used. The curso
6590: 72 20 70 6f 73 69 74 69 6f 6e 20 69 73 20 73 61  r position is sa
65a0: 76 65 64 0a 2a 2a 20 20 20 69 6e 20 76 61 72 69  ved.**   in vari
65b0: 61 62 6c 65 73 20 42 74 43 75 72 73 6f 72 2e 70  ables BtCursor.p
65c0: 4b 65 79 20 61 6e 64 20 42 74 43 75 72 73 6f 72  Key and BtCursor
65d0: 2e 6e 4b 65 79 2e 20 57 68 65 6e 20 61 20 63 75  .nKey. When a cu
65e0: 72 73 6f 72 20 69 73 20 69 6e 20 0a 2a 2a 20 20  rsor is in .**  
65f0: 20 74 68 69 73 20 73 74 61 74 65 2c 20 72 65 73   this state, res
6600: 74 6f 72 65 43 75 72 73 6f 72 50 6f 73 69 74 69  toreCursorPositi
6610: 6f 6e 28 29 20 63 61 6e 20 62 65 20 63 61 6c 6c  on() can be call
6620: 65 64 20 74 6f 20 61 74 74 65 6d 70 74 20 74 6f  ed to attempt to
6630: 0a 2a 2a 20 20 20 73 65 65 6b 20 74 68 65 20 63  .**   seek the c
6640: 75 72 73 6f 72 20 74 6f 20 74 68 65 20 73 61 76  ursor to the sav
6650: 65 64 20 70 6f 73 69 74 69 6f 6e 2e 0a 2a 2a 0a  ed position..**.
6660: 2a 2a 20 43 55 52 53 4f 52 5f 46 41 55 4c 54 3a  ** CURSOR_FAULT:
6670: 0a 2a 2a 20 20 20 41 6e 20 75 6e 72 65 63 6f 76  .**   An unrecov
6680: 65 72 61 62 6c 65 20 65 72 72 6f 72 20 28 61 6e  erable error (an
6690: 20 49 2f 4f 20 65 72 72 6f 72 20 6f 72 20 61 20   I/O error or a 
66a0: 6d 61 6c 6c 6f 63 20 66 61 69 6c 75 72 65 29 20  malloc failure) 
66b0: 68 61 73 20 6f 63 63 75 72 72 65 64 0a 2a 2a 20  has occurred.** 
66c0: 20 20 6f 6e 20 61 20 64 69 66 66 65 72 65 6e 74    on a different
66d0: 20 63 6f 6e 6e 65 63 74 69 6f 6e 20 74 68 61 74   connection that
66e0: 20 73 68 61 72 65 73 20 74 68 65 20 42 74 53 68   shares the BtSh
66f0: 61 72 65 64 20 63 61 63 68 65 20 77 69 74 68 20  ared cache with 
6700: 74 68 69 73 0a 2a 2a 20 20 20 63 75 72 73 6f 72  this.**   cursor
6710: 2e 20 20 54 68 65 20 65 72 72 6f 72 20 68 61 73  .  The error has
6720: 20 6c 65 66 74 20 74 68 65 20 63 61 63 68 65 20   left the cache 
6730: 69 6e 20 61 6e 20 69 6e 63 6f 6e 73 69 73 74 65  in an inconsiste
6740: 6e 74 20 73 74 61 74 65 2e 0a 2a 2a 20 20 20 44  nt state..**   D
6750: 6f 20 6e 6f 74 68 69 6e 67 20 65 6c 73 65 20 77  o nothing else w
6760: 69 74 68 20 74 68 69 73 20 63 75 72 73 6f 72 2e  ith this cursor.
6770: 20 20 41 6e 79 20 61 74 74 65 6d 70 74 20 74 6f    Any attempt to
6780: 20 75 73 65 20 74 68 65 20 63 75 72 73 6f 72 0a   use the cursor.
6790: 2a 2a 20 20 20 73 68 6f 75 6c 64 20 72 65 74 75  **   should retu
67a0: 72 6e 20 74 68 65 20 65 72 72 6f 72 20 63 6f 64  rn the error cod
67b0: 65 20 73 74 6f 72 65 64 20 69 6e 20 42 74 43 75  e stored in BtCu
67c0: 72 73 6f 72 2e 73 6b 69 70 4e 65 78 74 0a 2a 2f  rsor.skipNext.*/
67d0: 0a 23 64 65 66 69 6e 65 20 43 55 52 53 4f 52 5f  .#define CURSOR_
67e0: 49 4e 56 41 4c 49 44 20 20 20 20 20 20 20 20 20  INVALID         
67f0: 20 20 30 0a 23 64 65 66 69 6e 65 20 43 55 52 53    0.#define CURS
6800: 4f 52 5f 56 41 4c 49 44 20 20 20 20 20 20 20 20  OR_VALID        
6810: 20 20 20 20 20 31 0a 23 64 65 66 69 6e 65 20 43       1.#define C
6820: 55 52 53 4f 52 5f 53 4b 49 50 4e 45 58 54 20 20  URSOR_SKIPNEXT  
6830: 20 20 20 20 20 20 20 20 32 0a 23 64 65 66 69 6e          2.#defin
6840: 65 20 43 55 52 53 4f 52 5f 52 45 51 55 49 52 45  e CURSOR_REQUIRE
6850: 53 45 45 4b 20 20 20 20 20 20 20 33 0a 23 64 65  SEEK       3.#de
6860: 66 69 6e 65 20 43 55 52 53 4f 52 5f 46 41 55 4c  fine CURSOR_FAUL
6870: 54 20 20 20 20 20 20 20 20 20 20 20 20 20 34 0a  T             4.
6880: 0a 2f 2a 20 0a 2a 2a 20 54 68 65 20 64 61 74 61  ./* .** The data
6890: 62 61 73 65 20 70 61 67 65 20 74 68 65 20 50 45  base page the PE
68a0: 4e 44 49 4e 47 5f 42 59 54 45 20 6f 63 63 75 70  NDING_BYTE occup
68b0: 69 65 73 2e 20 54 68 69 73 20 70 61 67 65 20 69  ies. This page i
68c0: 73 20 6e 65 76 65 72 20 75 73 65 64 2e 0a 2a 2f  s never used..*/
68d0: 0a 23 20 64 65 66 69 6e 65 20 50 45 4e 44 49 4e  .# define PENDIN
68e0: 47 5f 42 59 54 45 5f 50 41 47 45 28 70 42 74 29  G_BYTE_PAGE(pBt)
68f0: 20 50 41 47 45 52 5f 4d 4a 5f 50 47 4e 4f 28 70   PAGER_MJ_PGNO(p
6900: 42 74 29 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 73 65  Bt)../*.** These
6910: 20 6d 61 63 72 6f 73 20 64 65 66 69 6e 65 20 74   macros define t
6920: 68 65 20 6c 6f 63 61 74 69 6f 6e 20 6f 66 20 74  he location of t
6930: 68 65 20 70 6f 69 6e 74 65 72 2d 6d 61 70 20 65  he pointer-map e
6940: 6e 74 72 79 20 66 6f 72 20 61 20 0a 2a 2a 20 64  ntry for a .** d
6950: 61 74 61 62 61 73 65 20 70 61 67 65 2e 20 54 68  atabase page. Th
6960: 65 20 66 69 72 73 74 20 61 72 67 75 6d 65 6e 74  e first argument
6970: 20 74 6f 20 65 61 63 68 20 69 73 20 74 68 65 20   to each is the 
6980: 6e 75 6d 62 65 72 20 6f 66 20 75 73 61 62 6c 65  number of usable
6990: 0a 2a 2a 20 62 79 74 65 73 20 6f 6e 20 65 61 63  .** bytes on eac
69a0: 68 20 70 61 67 65 20 6f 66 20 74 68 65 20 64 61  h page of the da
69b0: 74 61 62 61 73 65 20 28 6f 66 74 65 6e 20 31 30  tabase (often 10
69c0: 32 34 29 2e 20 54 68 65 20 73 65 63 6f 6e 64 20  24). The second 
69d0: 69 73 20 74 68 65 0a 2a 2a 20 70 61 67 65 20 6e  is the.** page n
69e0: 75 6d 62 65 72 20 74 6f 20 6c 6f 6f 6b 20 75 70  umber to look up
69f0: 20 69 6e 20 74 68 65 20 70 6f 69 6e 74 65 72 20   in the pointer 
6a00: 6d 61 70 2e 0a 2a 2a 0a 2a 2a 20 50 54 52 4d 41  map..**.** PTRMA
6a10: 50 5f 50 41 47 45 4e 4f 20 72 65 74 75 72 6e 73  P_PAGENO returns
6a20: 20 74 68 65 20 64 61 74 61 62 61 73 65 20 70 61   the database pa
6a30: 67 65 20 6e 75 6d 62 65 72 20 6f 66 20 74 68 65  ge number of the
6a40: 20 70 6f 69 6e 74 65 72 2d 6d 61 70 0a 2a 2a 20   pointer-map.** 
6a50: 70 61 67 65 20 74 68 61 74 20 73 74 6f 72 65 73  page that stores
6a60: 20 74 68 65 20 72 65 71 75 69 72 65 64 20 70 6f   the required po
6a70: 69 6e 74 65 72 2e 20 50 54 52 4d 41 50 5f 50 54  inter. PTRMAP_PT
6a80: 52 4f 46 46 53 45 54 20 72 65 74 75 72 6e 73 0a  ROFFSET returns.
6a90: 2a 2a 20 74 68 65 20 6f 66 66 73 65 74 20 6f 66  ** the offset of
6aa0: 20 74 68 65 20 72 65 71 75 65 73 74 65 64 20 6d   the requested m
6ab0: 61 70 20 65 6e 74 72 79 2e 0a 2a 2a 0a 2a 2a 20  ap entry..**.** 
6ac0: 49 66 20 74 68 65 20 70 67 6e 6f 20 61 72 67 75  If the pgno argu
6ad0: 6d 65 6e 74 20 70 61 73 73 65 64 20 74 6f 20 50  ment passed to P
6ae0: 54 52 4d 41 50 5f 50 41 47 45 4e 4f 20 69 73 20  TRMAP_PAGENO is 
6af0: 61 20 70 6f 69 6e 74 65 72 2d 6d 61 70 20 70 61  a pointer-map pa
6b00: 67 65 2c 0a 2a 2a 20 74 68 65 6e 20 70 67 6e 6f  ge,.** then pgno
6b10: 20 69 73 20 72 65 74 75 72 6e 65 64 2e 20 53 6f   is returned. So
6b20: 20 28 70 67 6e 6f 3d 3d 50 54 52 4d 41 50 5f 50   (pgno==PTRMAP_P
6b30: 41 47 45 4e 4f 28 70 67 73 7a 2c 20 70 67 6e 6f  AGENO(pgsz, pgno
6b40: 29 29 20 63 61 6e 20 62 65 0a 2a 2a 20 75 73 65  )) can be.** use
6b50: 64 20 74 6f 20 74 65 73 74 20 69 66 20 70 67 6e  d to test if pgn
6b60: 6f 20 69 73 20 61 20 70 6f 69 6e 74 65 72 2d 6d  o is a pointer-m
6b70: 61 70 20 70 61 67 65 2e 20 50 54 52 4d 41 50 5f  ap page. PTRMAP_
6b80: 49 53 50 41 47 45 20 69 6d 70 6c 65 6d 65 6e 74  ISPAGE implement
6b90: 73 0a 2a 2a 20 74 68 69 73 20 74 65 73 74 2e 0a  s.** this test..
6ba0: 2a 2f 0a 23 64 65 66 69 6e 65 20 50 54 52 4d 41  */.#define PTRMA
6bb0: 50 5f 50 41 47 45 4e 4f 28 70 42 74 2c 20 70 67  P_PAGENO(pBt, pg
6bc0: 6e 6f 29 20 70 74 72 6d 61 70 50 61 67 65 6e 6f  no) ptrmapPageno
6bd0: 28 70 42 74 2c 20 70 67 6e 6f 29 0a 23 64 65 66  (pBt, pgno).#def
6be0: 69 6e 65 20 50 54 52 4d 41 50 5f 50 54 52 4f 46  ine PTRMAP_PTROF
6bf0: 46 53 45 54 28 70 67 70 74 72 6d 61 70 2c 20 70  FSET(pgptrmap, p
6c00: 67 6e 6f 29 20 28 35 2a 28 70 67 6e 6f 2d 70 67  gno) (5*(pgno-pg
6c10: 70 74 72 6d 61 70 2d 31 29 29 0a 23 64 65 66 69  ptrmap-1)).#defi
6c20: 6e 65 20 50 54 52 4d 41 50 5f 49 53 50 41 47 45  ne PTRMAP_ISPAGE
6c30: 28 70 42 74 2c 20 70 67 6e 6f 29 20 28 50 54 52  (pBt, pgno) (PTR
6c40: 4d 41 50 5f 50 41 47 45 4e 4f 28 28 70 42 74 29  MAP_PAGENO((pBt)
6c50: 2c 28 70 67 6e 6f 29 29 3d 3d 28 70 67 6e 6f 29  ,(pgno))==(pgno)
6c60: 29 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20 70 6f 69  )../*.** The poi
6c70: 6e 74 65 72 20 6d 61 70 20 69 73 20 61 20 6c 6f  nter map is a lo
6c80: 6f 6b 75 70 20 74 61 62 6c 65 20 74 68 61 74 20  okup table that 
6c90: 69 64 65 6e 74 69 66 69 65 73 20 74 68 65 20 70  identifies the p
6ca0: 61 72 65 6e 74 20 70 61 67 65 20 66 6f 72 0a 2a  arent page for.*
6cb0: 2a 20 65 61 63 68 20 63 68 69 6c 64 20 70 61 67  * each child pag
6cc0: 65 20 69 6e 20 74 68 65 20 64 61 74 61 62 61 73  e in the databas
6cd0: 65 20 66 69 6c 65 2e 20 20 54 68 65 20 70 61 72  e file.  The par
6ce0: 65 6e 74 20 70 61 67 65 20 69 73 20 74 68 65 20  ent page is the 
6cf0: 70 61 67 65 20 74 68 61 74 0a 2a 2a 20 63 6f 6e  page that.** con
6d00: 74 61 69 6e 73 20 61 20 70 6f 69 6e 74 65 72 20  tains a pointer 
6d10: 74 6f 20 74 68 65 20 63 68 69 6c 64 2e 20 20 45  to the child.  E
6d20: 76 65 72 79 20 70 61 67 65 20 69 6e 20 74 68 65  very page in the
6d30: 20 64 61 74 61 62 61 73 65 20 63 6f 6e 74 61 69   database contai
6d40: 6e 73 0a 2a 2a 20 30 20 6f 72 20 31 20 70 61 72  ns.** 0 or 1 par
6d50: 65 6e 74 20 70 61 67 65 73 2e 20 20 28 49 6e 20  ent pages.  (In 
6d60: 74 68 69 73 20 63 6f 6e 74 65 78 74 20 27 64 61  this context 'da
6d70: 74 61 62 61 73 65 20 70 61 67 65 27 20 72 65 66  tabase page' ref
6d80: 65 72 73 0a 2a 2a 20 74 6f 20 61 6e 79 20 70 61  ers.** to any pa
6d90: 67 65 20 74 68 61 74 20 69 73 20 6e 6f 74 20 70  ge that is not p
6da0: 61 72 74 20 6f 66 20 74 68 65 20 70 6f 69 6e 74  art of the point
6db0: 65 72 20 6d 61 70 20 69 74 73 65 6c 66 2e 29 20  er map itself.) 
6dc0: 20 45 61 63 68 20 70 6f 69 6e 74 65 72 20 6d 61   Each pointer ma
6dd0: 70 0a 2a 2a 20 65 6e 74 72 79 20 63 6f 6e 73 69  p.** entry consi
6de0: 73 74 73 20 6f 66 20 61 20 73 69 6e 67 6c 65 20  sts of a single 
6df0: 62 79 74 65 20 27 74 79 70 65 27 20 61 6e 64 20  byte 'type' and 
6e00: 61 20 34 20 62 79 74 65 20 70 61 72 65 6e 74 20  a 4 byte parent 
6e10: 70 61 67 65 20 6e 75 6d 62 65 72 2e 0a 2a 2a 20  page number..** 
6e20: 54 68 65 20 50 54 52 4d 41 50 5f 58 58 58 20 69  The PTRMAP_XXX i
6e30: 64 65 6e 74 69 66 69 65 72 73 20 62 65 6c 6f 77  dentifiers below
6e40: 20 61 72 65 20 74 68 65 20 76 61 6c 69 64 20 74   are the valid t
6e50: 79 70 65 73 2e 0a 2a 2a 0a 2a 2a 20 54 68 65 20  ypes..**.** The 
6e60: 70 75 72 70 6f 73 65 20 6f 66 20 74 68 65 20 70  purpose of the p
6e70: 6f 69 6e 74 65 72 20 6d 61 70 20 69 73 20 74 6f  ointer map is to
6e80: 20 66 61 63 69 6c 69 74 79 20 6d 6f 76 69 6e 67   facility moving
6e90: 20 70 61 67 65 73 20 66 72 6f 6d 20 6f 6e 65 0a   pages from one.
6ea0: 2a 2a 20 70 6f 73 69 74 69 6f 6e 20 69 6e 20 74  ** position in t
6eb0: 68 65 20 66 69 6c 65 20 74 6f 20 61 6e 6f 74 68  he file to anoth
6ec0: 65 72 20 61 73 20 70 61 72 74 20 6f 66 20 61 75  er as part of au
6ed0: 74 6f 76 61 63 75 75 6d 2e 20 20 57 68 65 6e 20  tovacuum.  When 
6ee0: 61 20 70 61 67 65 0a 2a 2a 20 69 73 20 6d 6f 76  a page.** is mov
6ef0: 65 64 2c 20 74 68 65 20 70 6f 69 6e 74 65 72 20  ed, the pointer 
6f00: 69 6e 20 69 74 73 20 70 61 72 65 6e 74 20 6d 75  in its parent mu
6f10: 73 74 20 62 65 20 75 70 64 61 74 65 64 20 74 6f  st be updated to
6f20: 20 70 6f 69 6e 74 20 74 6f 20 74 68 65 0a 2a 2a   point to the.**
6f30: 20 6e 65 77 20 6c 6f 63 61 74 69 6f 6e 2e 20 20   new location.  
6f40: 54 68 65 20 70 6f 69 6e 74 65 72 20 6d 61 70 20  The pointer map 
6f50: 69 73 20 75 73 65 64 20 74 6f 20 6c 6f 63 61 74  is used to locat
6f60: 65 20 74 68 65 20 70 61 72 65 6e 74 20 70 61 67  e the parent pag
6f70: 65 20 71 75 69 63 6b 6c 79 2e 0a 2a 2a 0a 2a 2a  e quickly..**.**
6f80: 20 50 54 52 4d 41 50 5f 52 4f 4f 54 50 41 47 45   PTRMAP_ROOTPAGE
6f90: 3a 20 54 68 65 20 64 61 74 61 62 61 73 65 20 70  : The database p
6fa0: 61 67 65 20 69 73 20 61 20 72 6f 6f 74 2d 70 61  age is a root-pa
6fb0: 67 65 2e 20 54 68 65 20 70 61 67 65 2d 6e 75 6d  ge. The page-num
6fc0: 62 65 72 20 69 73 20 6e 6f 74 0a 2a 2a 20 20 20  ber is not.**   
6fd0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 75                 u
6fe0: 73 65 64 20 69 6e 20 74 68 69 73 20 63 61 73 65  sed in this case
6ff0: 2e 0a 2a 2a 0a 2a 2a 20 50 54 52 4d 41 50 5f 46  ..**.** PTRMAP_F
7000: 52 45 45 50 41 47 45 3a 20 54 68 65 20 64 61 74  REEPAGE: The dat
7010: 61 62 61 73 65 20 70 61 67 65 20 69 73 20 61 6e  abase page is an
7020: 20 75 6e 75 73 65 64 20 28 66 72 65 65 29 20 70   unused (free) p
7030: 61 67 65 2e 20 54 68 65 20 70 61 67 65 2d 6e 75  age. The page-nu
7040: 6d 62 65 72 20 0a 2a 2a 20 20 20 20 20 20 20 20  mber .**        
7050: 20 20 20 20 20 20 20 20 20 20 69 73 20 6e 6f 74            is not
7060: 20 75 73 65 64 20 69 6e 20 74 68 69 73 20 63 61   used in this ca
7070: 73 65 2e 0a 2a 2a 0a 2a 2a 20 50 54 52 4d 41 50  se..**.** PTRMAP
7080: 5f 4f 56 45 52 46 4c 4f 57 31 3a 20 54 68 65 20  _OVERFLOW1: The 
7090: 64 61 74 61 62 61 73 65 20 70 61 67 65 20 69 73  database page is
70a0: 20 74 68 65 20 66 69 72 73 74 20 70 61 67 65 20   the first page 
70b0: 69 6e 20 61 20 6c 69 73 74 20 6f 66 20 0a 2a 2a  in a list of .**
70c0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
70d0: 20 20 20 6f 76 65 72 66 6c 6f 77 20 70 61 67 65     overflow page
70e0: 73 2e 20 54 68 65 20 70 61 67 65 20 6e 75 6d 62  s. The page numb
70f0: 65 72 20 69 64 65 6e 74 69 66 69 65 73 20 74 68  er identifies th
7100: 65 20 70 61 67 65 20 74 68 61 74 0a 2a 2a 20 20  e page that.**  
7110: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
7120: 20 63 6f 6e 74 61 69 6e 73 20 74 68 65 20 63 65   contains the ce
7130: 6c 6c 20 77 69 74 68 20 61 20 70 6f 69 6e 74 65  ll with a pointe
7140: 72 20 74 6f 20 74 68 69 73 20 6f 76 65 72 66 6c  r to this overfl
7150: 6f 77 20 70 61 67 65 2e 0a 2a 2a 0a 2a 2a 20 50  ow page..**.** P
7160: 54 52 4d 41 50 5f 4f 56 45 52 46 4c 4f 57 32 3a  TRMAP_OVERFLOW2:
7170: 20 54 68 65 20 64 61 74 61 62 61 73 65 20 70 61   The database pa
7180: 67 65 20 69 73 20 74 68 65 20 73 65 63 6f 6e 64  ge is the second
7190: 20 6f 72 20 6c 61 74 65 72 20 70 61 67 65 20 69   or later page i
71a0: 6e 20 61 20 6c 69 73 74 20 6f 66 0a 2a 2a 20 20  n a list of.**  
71b0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
71c0: 20 6f 76 65 72 66 6c 6f 77 20 70 61 67 65 73 2e   overflow pages.
71d0: 20 54 68 65 20 70 61 67 65 2d 6e 75 6d 62 65 72   The page-number
71e0: 20 69 64 65 6e 74 69 66 69 65 73 20 74 68 65 20   identifies the 
71f0: 70 72 65 76 69 6f 75 73 0a 2a 2a 20 20 20 20 20  previous.**     
7200: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 70 61                pa
7210: 67 65 20 69 6e 20 74 68 65 20 6f 76 65 72 66 6c  ge in the overfl
7220: 6f 77 20 70 61 67 65 20 6c 69 73 74 2e 0a 2a 2a  ow page list..**
7230: 0a 2a 2a 20 50 54 52 4d 41 50 5f 42 54 52 45 45  .** PTRMAP_BTREE
7240: 3a 20 54 68 65 20 64 61 74 61 62 61 73 65 20 70  : The database p
7250: 61 67 65 20 69 73 20 61 20 6e 6f 6e 2d 72 6f 6f  age is a non-roo
7260: 74 20 62 74 72 65 65 20 70 61 67 65 2e 20 54 68  t btree page. Th
7270: 65 20 70 61 67 65 20 6e 75 6d 62 65 72 0a 2a 2a  e page number.**
7280: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 69                 i
7290: 64 65 6e 74 69 66 69 65 73 20 74 68 65 20 70 61  dentifies the pa
72a0: 72 65 6e 74 20 70 61 67 65 20 69 6e 20 74 68 65  rent page in the
72b0: 20 62 74 72 65 65 2e 0a 2a 2f 0a 23 64 65 66 69   btree..*/.#defi
72c0: 6e 65 20 50 54 52 4d 41 50 5f 52 4f 4f 54 50 41  ne PTRMAP_ROOTPA
72d0: 47 45 20 31 0a 23 64 65 66 69 6e 65 20 50 54 52  GE 1.#define PTR
72e0: 4d 41 50 5f 46 52 45 45 50 41 47 45 20 32 0a 23  MAP_FREEPAGE 2.#
72f0: 64 65 66 69 6e 65 20 50 54 52 4d 41 50 5f 4f 56  define PTRMAP_OV
7300: 45 52 46 4c 4f 57 31 20 33 0a 23 64 65 66 69 6e  ERFLOW1 3.#defin
7310: 65 20 50 54 52 4d 41 50 5f 4f 56 45 52 46 4c 4f  e PTRMAP_OVERFLO
7320: 57 32 20 34 0a 23 64 65 66 69 6e 65 20 50 54 52  W2 4.#define PTR
7330: 4d 41 50 5f 42 54 52 45 45 20 35 0a 0a 2f 2a 20  MAP_BTREE 5../* 
7340: 41 20 62 75 6e 63 68 20 6f 66 20 61 73 73 65 72  A bunch of asser
7350: 74 28 29 20 73 74 61 74 65 6d 65 6e 74 73 20 74  t() statements t
7360: 6f 20 63 68 65 63 6b 20 74 68 65 20 74 72 61 6e  o check the tran
7370: 73 61 63 74 69 6f 6e 20 73 74 61 74 65 20 76 61  saction state va
7380: 72 69 61 62 6c 65 73 0a 2a 2a 20 6f 66 20 68 61  riables.** of ha
7390: 6e 64 6c 65 20 70 20 28 74 79 70 65 20 42 74 72  ndle p (type Btr
73a0: 65 65 2a 29 20 61 72 65 20 69 6e 74 65 72 6e 61  ee*) are interna
73b0: 6c 6c 79 20 63 6f 6e 73 69 73 74 65 6e 74 2e 0a  lly consistent..
73c0: 2a 2f 0a 23 64 65 66 69 6e 65 20 62 74 72 65 65  */.#define btree
73d0: 49 6e 74 65 67 72 69 74 79 28 70 29 20 5c 0a 20  Integrity(p) \. 
73e0: 20 61 73 73 65 72 74 28 20 70 2d 3e 70 42 74 2d   assert( p->pBt-
73f0: 3e 69 6e 54 72 61 6e 73 61 63 74 69 6f 6e 21 3d  >inTransaction!=
7400: 54 52 41 4e 53 5f 4e 4f 4e 45 20 7c 7c 20 70 2d  TRANS_NONE || p-
7410: 3e 70 42 74 2d 3e 6e 54 72 61 6e 73 61 63 74 69  >pBt->nTransacti
7420: 6f 6e 3d 3d 30 20 29 3b 20 5c 0a 20 20 61 73 73  on==0 ); \.  ass
7430: 65 72 74 28 20 70 2d 3e 70 42 74 2d 3e 69 6e 54  ert( p->pBt->inT
7440: 72 61 6e 73 61 63 74 69 6f 6e 3e 3d 70 2d 3e 69  ransaction>=p->i
7450: 6e 54 72 61 6e 73 20 29 3b 20 0a 0a 0a 2f 2a 0a  nTrans ); .../*.
7460: 2a 2a 20 54 68 65 20 49 53 41 55 54 4f 56 41 43  ** The ISAUTOVAC
7470: 55 55 4d 20 6d 61 63 72 6f 20 69 73 20 75 73 65  UUM macro is use
7480: 64 20 77 69 74 68 69 6e 20 62 61 6c 61 6e 63 65  d within balance
7490: 5f 6e 6f 6e 72 6f 6f 74 28 29 20 74 6f 20 64 65  _nonroot() to de
74a0: 74 65 72 6d 69 6e 65 0a 2a 2a 20 69 66 20 74 68  termine.** if th
74b0: 65 20 64 61 74 61 62 61 73 65 20 73 75 70 70 6f  e database suppo
74c0: 72 74 73 20 61 75 74 6f 2d 76 61 63 75 75 6d 20  rts auto-vacuum 
74d0: 6f 72 20 6e 6f 74 2e 20 42 65 63 61 75 73 65 20  or not. Because 
74e0: 69 74 20 69 73 20 75 73 65 64 0a 2a 2a 20 77 69  it is used.** wi
74f0: 74 68 69 6e 20 61 6e 20 65 78 70 72 65 73 73 69  thin an expressi
7500: 6f 6e 20 74 68 61 74 20 69 73 20 61 6e 20 61 72  on that is an ar
7510: 67 75 6d 65 6e 74 20 74 6f 20 61 6e 6f 74 68 65  gument to anothe
7520: 72 20 6d 61 63 72 6f 20 0a 2a 2a 20 28 73 71 6c  r macro .** (sql
7530: 69 74 65 4d 61 6c 6c 6f 63 52 61 77 29 2c 20 69  iteMallocRaw), i
7540: 74 20 69 73 20 6e 6f 74 20 70 6f 73 73 69 62 6c  t is not possibl
7550: 65 20 74 6f 20 75 73 65 20 63 6f 6e 64 69 74 69  e to use conditi
7560: 6f 6e 61 6c 20 63 6f 6d 70 69 6c 61 74 69 6f 6e  onal compilation
7570: 2e 0a 2a 2a 20 53 6f 2c 20 74 68 69 73 20 6d 61  ..** So, this ma
7580: 63 72 6f 20 69 73 20 64 65 66 69 6e 65 64 20 69  cro is defined i
7590: 6e 73 74 65 61 64 2e 0a 2a 2f 0a 23 69 66 6e 64  nstead..*/.#ifnd
75a0: 65 66 20 53 51 4c 49 54 45 5f 4f 4d 49 54 5f 41  ef SQLITE_OMIT_A
75b0: 55 54 4f 56 41 43 55 55 4d 0a 23 64 65 66 69 6e  UTOVACUUM.#defin
75c0: 65 20 49 53 41 55 54 4f 56 41 43 55 55 4d 20 28  e ISAUTOVACUUM (
75d0: 70 42 74 2d 3e 61 75 74 6f 56 61 63 75 75 6d 29  pBt->autoVacuum)
75e0: 0a 23 65 6c 73 65 0a 23 64 65 66 69 6e 65 20 49  .#else.#define I
75f0: 53 41 55 54 4f 56 41 43 55 55 4d 20 30 0a 23 65  SAUTOVACUUM 0.#e
7600: 6e 64 69 66 0a 0a 0a 2f 2a 0a 2a 2a 20 54 68 69  ndif.../*.** Thi
7610: 73 20 73 74 72 75 63 74 75 72 65 20 69 73 20 70  s structure is p
7620: 61 73 73 65 64 20 61 72 6f 75 6e 64 20 74 68 72  assed around thr
7630: 6f 75 67 68 20 61 6c 6c 20 74 68 65 20 73 61 6e  ough all the san
7640: 69 74 79 20 63 68 65 63 6b 69 6e 67 20 72 6f 75  ity checking rou
7650: 74 69 6e 65 73 0a 2a 2a 20 69 6e 20 6f 72 64 65  tines.** in orde
7660: 72 20 74 6f 20 6b 65 65 70 20 74 72 61 63 6b 20  r to keep track 
7670: 6f 66 20 73 6f 6d 65 20 67 6c 6f 62 61 6c 20 73  of some global s
7680: 74 61 74 65 20 69 6e 66 6f 72 6d 61 74 69 6f 6e  tate information
7690: 2e 0a 2a 2a 0a 2a 2a 20 54 68 65 20 61 52 65 66  ..**.** The aRef
76a0: 5b 5d 20 61 72 72 61 79 20 69 73 20 61 6c 6c 6f  [] array is allo
76b0: 63 61 74 65 64 20 73 6f 20 74 68 61 74 20 74 68  cated so that th
76c0: 65 72 65 20 69 73 20 31 20 62 69 74 20 66 6f 72  ere is 1 bit for
76d0: 20 65 61 63 68 20 70 61 67 65 20 69 6e 0a 2a 2a   each page in.**
76e0: 20 74 68 65 20 64 61 74 61 62 61 73 65 2e 20 41   the database. A
76f0: 73 20 74 68 65 20 69 6e 74 65 67 72 69 74 79 2d  s the integrity-
7700: 63 68 65 63 6b 20 70 72 6f 63 65 65 64 73 2c 20  check proceeds, 
7710: 66 6f 72 20 65 61 63 68 20 70 61 67 65 20 75 73  for each page us
7720: 65 64 20 69 6e 0a 2a 2a 20 74 68 65 20 64 61 74  ed in.** the dat
7730: 61 62 61 73 65 20 74 68 65 20 63 6f 72 72 65 73  abase the corres
7740: 70 6f 6e 64 69 6e 67 20 62 69 74 20 69 73 20 73  ponding bit is s
7750: 65 74 2e 20 54 68 69 73 20 61 6c 6c 6f 77 73 20  et. This allows 
7760: 69 6e 74 65 67 72 69 74 79 2d 63 68 65 63 6b 20  integrity-check 
7770: 74 6f 20 0a 2a 2a 20 64 65 74 65 63 74 20 70 61  to .** detect pa
7780: 67 65 73 20 74 68 61 74 20 61 72 65 20 75 73 65  ges that are use
7790: 64 20 74 77 69 63 65 20 61 6e 64 20 6f 72 70 68  d twice and orph
77a0: 61 6e 65 64 20 70 61 67 65 73 20 28 62 6f 74 68  aned pages (both
77b0: 20 6f 66 20 77 68 69 63 68 20 0a 2a 2a 20 69 6e   of which .** in
77c0: 64 69 63 61 74 65 20 63 6f 72 72 75 70 74 69 6f  dicate corruptio
77d0: 6e 29 2e 0a 2a 2f 0a 74 79 70 65 64 65 66 20 73  n)..*/.typedef s
77e0: 74 72 75 63 74 20 49 6e 74 65 67 72 69 74 79 43  truct IntegrityC
77f0: 6b 20 49 6e 74 65 67 72 69 74 79 43 6b 3b 0a 73  k IntegrityCk;.s
7800: 74 72 75 63 74 20 49 6e 74 65 67 72 69 74 79 43  truct IntegrityC
7810: 6b 20 7b 0a 20 20 42 74 53 68 61 72 65 64 20 2a  k {.  BtShared *
7820: 70 42 74 3b 20 20 20 20 2f 2a 20 54 68 65 20 74  pBt;    /* The t
7830: 72 65 65 20 62 65 69 6e 67 20 63 68 65 63 6b 65  ree being checke
7840: 64 20 6f 75 74 20 2a 2f 0a 20 20 50 61 67 65 72  d out */.  Pager
7850: 20 2a 70 50 61 67 65 72 3b 20 20 20 20 2f 2a 20   *pPager;    /* 
7860: 54 68 65 20 61 73 73 6f 63 69 61 74 65 64 20 70  The associated p
7870: 61 67 65 72 2e 20 20 41 6c 73 6f 20 61 63 63 65  ager.  Also acce
7880: 73 73 69 62 6c 65 20 62 79 20 70 42 74 2d 3e 70  ssible by pBt->p
7890: 50 61 67 65 72 20 2a 2f 0a 20 20 75 38 20 2a 61  Pager */.  u8 *a
78a0: 50 67 52 65 66 3b 20 20 20 20 20 20 20 2f 2a 20  PgRef;       /* 
78b0: 31 20 62 69 74 20 70 65 72 20 70 61 67 65 20 69  1 bit per page i
78c0: 6e 20 74 68 65 20 64 62 20 28 73 65 65 20 61 62  n the db (see ab
78d0: 6f 76 65 29 20 2a 2f 0a 20 20 50 67 6e 6f 20 6e  ove) */.  Pgno n
78e0: 50 61 67 65 3b 20 20 20 20 20 20 20 2f 2a 20 4e  Page;       /* N
78f0: 75 6d 62 65 72 20 6f 66 20 70 61 67 65 73 20 69  umber of pages i
7900: 6e 20 74 68 65 20 64 61 74 61 62 61 73 65 20 2a  n the database *
7910: 2f 0a 20 20 69 6e 74 20 6d 78 45 72 72 3b 20 20  /.  int mxErr;  
7920: 20 20 20 20 20 20 2f 2a 20 53 74 6f 70 20 61 63        /* Stop ac
7930: 63 75 6d 75 6c 61 74 69 6e 67 20 65 72 72 6f 72  cumulating error
7940: 73 20 77 68 65 6e 20 74 68 69 73 20 72 65 61 63  s when this reac
7950: 68 65 73 20 7a 65 72 6f 20 2a 2f 0a 20 20 69 6e  hes zero */.  in
7960: 74 20 6e 45 72 72 3b 20 20 20 20 20 20 20 20 20  t nErr;         
7970: 2f 2a 20 4e 75 6d 62 65 72 20 6f 66 20 6d 65 73  /* Number of mes
7980: 73 61 67 65 73 20 77 72 69 74 74 65 6e 20 74 6f  sages written to
7990: 20 7a 45 72 72 4d 73 67 20 73 6f 20 66 61 72 20   zErrMsg so far 
79a0: 2a 2f 0a 20 20 69 6e 74 20 6d 61 6c 6c 6f 63 46  */.  int mallocF
79b0: 61 69 6c 65 64 3b 20 2f 2a 20 41 20 6d 65 6d 6f  ailed; /* A memo
79c0: 72 79 20 61 6c 6c 6f 63 61 74 69 6f 6e 20 65 72  ry allocation er
79d0: 72 6f 72 20 68 61 73 20 6f 63 63 75 72 72 65 64  ror has occurred
79e0: 20 2a 2f 0a 20 20 63 6f 6e 73 74 20 63 68 61 72   */.  const char
79f0: 20 2a 7a 50 66 78 3b 20 2f 2a 20 45 72 72 6f 72   *zPfx; /* Error
7a00: 20 6d 65 73 73 61 67 65 20 70 72 65 66 69 78 20   message prefix 
7a10: 2a 2f 0a 20 20 69 6e 74 20 76 31 2c 20 76 32 3b  */.  int v1, v2;
7a20: 20 20 20 20 20 20 20 2f 2a 20 56 61 6c 75 65 73         /* Values
7a30: 20 66 6f 72 20 75 70 20 74 6f 20 74 77 6f 20 25   for up to two %
7a40: 64 20 66 69 65 6c 64 73 20 69 6e 20 7a 50 66 78  d fields in zPfx
7a50: 20 2a 2f 0a 20 20 53 74 72 41 63 63 75 6d 20 65   */.  StrAccum e
7a60: 72 72 4d 73 67 3b 20 20 2f 2a 20 41 63 63 75 6d  rrMsg;  /* Accum
7a70: 75 6c 61 74 65 20 74 68 65 20 65 72 72 6f 72 20  ulate the error 
7a80: 6d 65 73 73 61 67 65 20 74 65 78 74 20 68 65 72  message text her
7a90: 65 20 2a 2f 0a 20 20 75 33 32 20 2a 68 65 61 70  e */.  u32 *heap
7aa0: 3b 20 20 20 20 20 20 20 20 2f 2a 20 4d 69 6e 2d  ;        /* Min-
7ab0: 68 65 61 70 20 75 73 65 64 20 66 6f 72 20 61 6e  heap used for an
7ac0: 61 6c 79 7a 69 6e 67 20 63 65 6c 6c 20 63 6f 76  alyzing cell cov
7ad0: 65 72 61 67 65 20 2a 2f 0a 7d 3b 0a 0a 2f 2a 0a  erage */.};../*.
7ae0: 2a 2a 20 52 6f 75 74 69 6e 65 73 20 74 6f 20 72  ** Routines to r
7af0: 65 61 64 20 6f 72 20 77 72 69 74 65 20 61 20 74  ead or write a t
7b00: 77 6f 2d 20 61 6e 64 20 66 6f 75 72 2d 62 79 74  wo- and four-byt
7b10: 65 20 62 69 67 2d 65 6e 64 69 61 6e 20 69 6e 74  e big-endian int
7b20: 65 67 65 72 20 76 61 6c 75 65 73 2e 0a 2a 2f 0a  eger values..*/.
7b30: 23 64 65 66 69 6e 65 20 67 65 74 32 62 79 74 65  #define get2byte
7b40: 28 78 29 20 20 20 28 28 78 29 5b 30 5d 3c 3c 38  (x)   ((x)[0]<<8
7b50: 20 7c 20 28 78 29 5b 31 5d 29 0a 23 64 65 66 69   | (x)[1]).#defi
7b60: 6e 65 20 70 75 74 32 62 79 74 65 28 70 2c 76 29  ne put2byte(p,v)
7b70: 20 28 28 70 29 5b 30 5d 20 3d 20 28 75 38 29 28   ((p)[0] = (u8)(
7b80: 28 76 29 3e 3e 38 29 2c 20 28 70 29 5b 31 5d 20  (v)>>8), (p)[1] 
7b90: 3d 20 28 75 38 29 28 76 29 29 0a 23 64 65 66 69  = (u8)(v)).#defi
7ba0: 6e 65 20 67 65 74 34 62 79 74 65 20 73 71 6c 69  ne get4byte sqli
7bb0: 74 65 33 47 65 74 34 62 79 74 65 0a 23 64 65 66  te3Get4byte.#def
7bc0: 69 6e 65 20 70 75 74 34 62 79 74 65 20 73 71 6c  ine put4byte sql
7bd0: 69 74 65 33 50 75 74 34 62 79 74 65 0a 0a 2f 2a  ite3Put4byte../*
7be0: 0a 2a 2a 20 67 65 74 32 62 79 74 65 41 6c 69 67  .** get2byteAlig
7bf0: 6e 65 64 28 29 2c 20 75 6e 6c 69 6b 65 20 67 65  ned(), unlike ge
7c00: 74 32 62 79 74 65 28 29 2c 20 72 65 71 75 69 72  t2byte(), requir
7c10: 65 73 20 74 68 61 74 20 69 74 73 20 61 72 67 75  es that its argu
7c20: 6d 65 6e 74 20 70 6f 69 6e 74 20 74 6f 20 61 0a  ment point to a.
7c30: 2a 2a 20 74 77 6f 2d 62 79 74 65 20 61 6c 69 67  ** two-byte alig
7c40: 6e 65 64 20 61 64 64 72 65 73 73 2e 20 20 67 65  ned address.  ge
7c50: 74 32 62 79 74 65 61 28 29 20 69 73 20 6f 6e 6c  t2bytea() is onl
7c60: 79 20 75 73 65 64 20 66 6f 72 20 61 63 63 65 73  y used for acces
7c70: 73 69 6e 67 20 74 68 65 0a 2a 2a 20 63 65 6c 6c  sing the.** cell
7c80: 20 61 64 64 72 65 73 73 65 73 20 69 6e 20 61 20   addresses in a 
7c90: 62 74 72 65 65 20 68 65 61 64 65 72 2e 0a 2a 2f  btree header..*/
7ca0: 0a 23 69 66 20 53 51 4c 49 54 45 5f 42 59 54 45  .#if SQLITE_BYTE
7cb0: 4f 52 44 45 52 3d 3d 34 33 32 31 0a 23 20 64 65  ORDER==4321.# de
7cc0: 66 69 6e 65 20 67 65 74 32 62 79 74 65 41 6c 69  fine get2byteAli
7cd0: 67 6e 65 64 28 78 29 20 20 28 2a 28 75 31 36 2a  gned(x)  (*(u16*
7ce0: 29 28 78 29 29 0a 23 65 6c 69 66 20 53 51 4c 49  )(x)).#elif SQLI
7cf0: 54 45 5f 42 59 54 45 4f 52 44 45 52 3d 3d 31 32  TE_BYTEORDER==12
7d00: 33 34 20 26 26 20 21 64 65 66 69 6e 65 64 28 53  34 && !defined(S
7d10: 51 4c 49 54 45 5f 44 49 53 41 42 4c 45 5f 49 4e  QLITE_DISABLE_IN
7d20: 54 52 49 4e 53 49 43 29 20 5c 0a 20 20 20 20 26  TRINSIC) \.    &
7d30: 26 20 47 43 43 5f 56 45 52 53 49 4f 4e 3e 3d 34  & GCC_VERSION>=4
7d40: 30 30 38 30 30 30 0a 23 20 64 65 66 69 6e 65 20  008000.# define 
7d50: 67 65 74 32 62 79 74 65 41 6c 69 67 6e 65 64 28  get2byteAligned(
7d60: 78 29 20 20 5f 5f 62 75 69 6c 74 69 6e 5f 62 73  x)  __builtin_bs
7d70: 77 61 70 31 36 28 2a 28 75 31 36 2a 29 28 78 29  wap16(*(u16*)(x)
7d80: 29 0a 23 65 6c 69 66 20 53 51 4c 49 54 45 5f 42  ).#elif SQLITE_B
7d90: 59 54 45 4f 52 44 45 52 3d 3d 31 32 33 34 20 26  YTEORDER==1234 &
7da0: 26 20 21 64 65 66 69 6e 65 64 28 53 51 4c 49 54  & !defined(SQLIT
7db0: 45 5f 44 49 53 41 42 4c 45 5f 49 4e 54 52 49 4e  E_DISABLE_INTRIN
7dc0: 53 49 43 29 20 5c 0a 20 20 20 20 26 26 20 64 65  SIC) \.    && de
7dd0: 66 69 6e 65 64 28 5f 4d 53 43 5f 56 45 52 29 20  fined(_MSC_VER) 
7de0: 26 26 20 5f 4d 53 43 5f 56 45 52 3e 3d 31 33 30  && _MSC_VER>=130
7df0: 30 0a 23 20 64 65 66 69 6e 65 20 67 65 74 32 62  0.# define get2b
7e00: 79 74 65 41 6c 69 67 6e 65 64 28 78 29 20 20 5f  yteAligned(x)  _
7e10: 62 79 74 65 73 77 61 70 5f 75 73 68 6f 72 74 28  byteswap_ushort(
7e20: 2a 28 75 31 36 2a 29 28 78 29 29 0a 23 65 6c 73  *(u16*)(x)).#els
7e30: 65 0a 23 20 64 65 66 69 6e 65 20 67 65 74 32 62  e.# define get2b
7e40: 79 74 65 41 6c 69 67 6e 65 64 28 78 29 20 20 28  yteAligned(x)  (
7e50: 28 78 29 5b 30 5d 3c 3c 38 20 7c 20 28 78 29 5b  (x)[0]<<8 | (x)[
7e60: 31 5d 29 0a 23 65 6e 64 69 66 0a                 1]).#endif.