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 74 79 70 65 o CellInfo;.type
2a80: 64 65 66 20 73 74 72 75 63 74 20 42 74 72 65 65 def struct Btree
2a90: 50 74 72 6d 61 70 20 42 74 72 65 65 50 74 72 6d Ptrmap BtreePtrm
2aa0: 61 70 3b 0a 0a 2f 2a 0a 2a 2a 20 54 68 69 73 20 ap;../*.** This
2ab0: 69 73 20 61 20 6d 61 67 69 63 20 73 74 72 69 6e is a magic strin
2ac0: 67 20 74 68 61 74 20 61 70 70 65 61 72 73 20 61 g that appears a
2ad0: 74 20 74 68 65 20 62 65 67 69 6e 6e 69 6e 67 20 t the beginning
2ae0: 6f 66 20 65 76 65 72 79 0a 2a 2a 20 53 51 4c 69 of every.** SQLi
2af0: 74 65 20 64 61 74 61 62 61 73 65 20 69 6e 20 6f te database in o
2b00: 72 64 65 72 20 74 6f 20 69 64 65 6e 74 69 66 79 rder to identify
2b10: 20 74 68 65 20 66 69 6c 65 20 61 73 20 61 20 72 the file as a r
2b20: 65 61 6c 20 64 61 74 61 62 61 73 65 2e 0a 2a 2a eal database..**
2b30: 0a 2a 2a 20 59 6f 75 20 63 61 6e 20 63 68 61 6e .** You can chan
2b40: 67 65 20 74 68 69 73 20 76 61 6c 75 65 20 61 74 ge this value at
2b50: 20 63 6f 6d 70 69 6c 65 2d 74 69 6d 65 20 62 79 compile-time by
2b60: 20 73 70 65 63 69 66 79 69 6e 67 20 61 0a 2a 2a specifying a.**
2b70: 20 2d 44 53 51 4c 49 54 45 5f 46 49 4c 45 5f 48 -DSQLITE_FILE_H
2b80: 45 41 44 45 52 3d 22 2e 2e 2e 22 20 6f 6e 20 74 EADER="..." on t
2b90: 68 65 20 63 6f 6d 70 69 6c 65 72 20 63 6f 6d 6d he compiler comm
2ba0: 61 6e 64 2d 6c 69 6e 65 2e 20 20 54 68 65 0a 2a and-line. The.*
2bb0: 2a 20 68 65 61 64 65 72 20 6d 75 73 74 20 62 65 * header must be
2bc0: 20 65 78 61 63 74 6c 79 20 31 36 20 62 79 74 65 exactly 16 byte
2bd0: 73 20 69 6e 63 6c 75 64 69 6e 67 20 74 68 65 20 s including the
2be0: 7a 65 72 6f 2d 74 65 72 6d 69 6e 61 74 6f 72 20 zero-terminator
2bf0: 73 6f 0a 2a 2a 20 74 68 65 20 73 74 72 69 6e 67 so.** the string
2c00: 20 69 74 73 65 6c 66 20 73 68 6f 75 6c 64 20 62 itself should b
2c10: 65 20 31 35 20 63 68 61 72 61 63 74 65 72 73 20 e 15 characters
2c20: 6c 6f 6e 67 2e 20 20 49 66 20 79 6f 75 20 63 68 long. If you ch
2c30: 61 6e 67 65 0a 2a 2a 20 74 68 65 20 68 65 61 64 ange.** the head
2c40: 65 72 2c 20 74 68 65 6e 20 79 6f 75 72 20 63 75 er, then your cu
2c50: 73 74 6f 6d 20 6c 69 62 72 61 72 79 20 77 69 6c stom library wil
2c60: 6c 20 6e 6f 74 20 62 65 20 61 62 6c 65 20 74 6f l not be able to
2c70: 20 72 65 61 64 20 0a 2a 2a 20 64 61 74 61 62 61 read .** databa
2c80: 73 65 73 20 67 65 6e 65 72 61 74 65 64 20 62 79 ses generated by
2c90: 20 74 68 65 20 73 74 61 6e 64 61 72 64 20 74 6f the standard to
2ca0: 6f 6c 73 20 61 6e 64 20 74 68 65 20 73 74 61 6e ols and the stan
2cb0: 64 61 72 64 20 74 6f 6f 6c 73 0a 2a 2a 20 77 69 dard tools.** wi
2cc0: 6c 6c 20 6e 6f 74 20 62 65 20 61 62 6c 65 20 74 ll not be able t
2cd0: 6f 20 72 65 61 64 20 64 61 74 61 62 61 73 65 73 o read databases
2ce0: 20 63 72 65 61 74 65 64 20 62 79 20 79 6f 75 72 created by your
2cf0: 20 63 75 73 74 6f 6d 20 6c 69 62 72 61 72 79 2e custom library.
2d00: 0a 2a 2f 0a 23 69 66 6e 64 65 66 20 53 51 4c 49 .*/.#ifndef SQLI
2d10: 54 45 5f 46 49 4c 45 5f 48 45 41 44 45 52 20 2f TE_FILE_HEADER /
2d20: 2a 20 31 32 33 34 35 36 37 38 39 20 31 32 33 34 * 123456789 1234
2d30: 35 36 20 2a 2f 0a 23 20 20 64 65 66 69 6e 65 20 56 */.# define
2d40: 53 51 4c 49 54 45 5f 46 49 4c 45 5f 48 45 41 44 SQLITE_FILE_HEAD
2d50: 45 52 20 22 53 51 4c 69 74 65 20 66 6f 72 6d 61 ER "SQLite forma
2d60: 74 20 33 22 0a 23 65 6e 64 69 66 0a 0a 2f 2a 0a t 3".#endif../*.
2d70: 2a 2a 20 50 61 67 65 20 74 79 70 65 20 66 6c 61 ** Page type fla
2d80: 67 73 2e 20 20 41 6e 20 4f 52 65 64 20 63 6f 6d gs. An ORed com
2d90: 62 69 6e 61 74 69 6f 6e 20 6f 66 20 74 68 65 73 bination of thes
2da0: 65 20 66 6c 61 67 73 20 61 70 70 65 61 72 20 61 e flags appear a
2db0: 73 20 74 68 65 0a 2a 2a 20 66 69 72 73 74 20 62 s the.** first b
2dc0: 79 74 65 20 6f 66 20 6f 6e 2d 64 69 73 6b 20 69 yte of on-disk i
2dd0: 6d 61 67 65 20 6f 66 20 65 76 65 72 79 20 42 54 mage of every BT
2de0: 72 65 65 20 70 61 67 65 2e 0a 2a 2f 0a 23 64 65 ree page..*/.#de
2df0: 66 69 6e 65 20 50 54 46 5f 49 4e 54 4b 45 59 20 fine PTF_INTKEY
2e00: 20 20 20 30 78 30 31 0a 23 64 65 66 69 6e 65 20 0x01.#define
2e10: 50 54 46 5f 5a 45 52 4f 44 41 54 41 20 20 30 78 PTF_ZERODATA 0x
2e20: 30 32 0a 23 64 65 66 69 6e 65 20 50 54 46 5f 4c 02.#define PTF_L
2e30: 45 41 46 44 41 54 41 20 20 30 78 30 34 0a 23 64 EAFDATA 0x04.#d
2e40: 65 66 69 6e 65 20 50 54 46 5f 4c 45 41 46 20 20 efine PTF_LEAF
2e50: 20 20 20 20 30 78 30 38 0a 0a 2f 2a 0a 2a 2a 20 0x08../*.**
2e60: 41 6e 20 69 6e 73 74 61 6e 63 65 20 6f 66 20 74 An instance of t
2e70: 68 69 73 20 6f 62 6a 65 63 74 20 73 74 6f 72 65 his object store
2e80: 73 20 69 6e 66 6f 72 6d 61 74 69 6f 6e 20 61 62 s information ab
2e90: 6f 75 74 20 65 61 63 68 20 61 20 73 69 6e 67 6c out each a singl
2ea0: 65 20 64 61 74 61 62 61 73 65 0a 2a 2a 20 70 61 e database.** pa
2eb0: 67 65 20 74 68 61 74 20 68 61 73 20 62 65 65 6e ge that has been
2ec0: 20 6c 6f 61 64 65 64 20 69 6e 74 6f 20 6d 65 6d loaded into mem
2ed0: 6f 72 79 2e 20 20 54 68 65 20 69 6e 66 6f 72 6d ory. The inform
2ee0: 61 74 69 6f 6e 20 69 6e 20 74 68 69 73 20 6f 62 ation in this ob
2ef0: 6a 65 63 74 0a 2a 2a 20 69 73 20 64 65 72 69 76 ject.** is deriv
2f00: 65 64 20 66 72 6f 6d 20 74 68 65 20 72 61 77 20 ed from the raw
2f10: 6f 6e 2d 64 69 73 6b 20 70 61 67 65 20 63 6f 6e on-disk page con
2f20: 74 65 6e 74 2e 0a 2a 2a 0a 2a 2a 20 41 73 20 65 tent..**.** As e
2f30: 61 63 68 20 64 61 74 61 62 61 73 65 20 70 61 67 ach database pag
2f40: 65 20 69 73 20 6c 6f 61 64 65 64 20 69 6e 74 6f e is loaded into
2f50: 20 6d 65 6d 6f 72 79 2c 20 74 68 65 20 70 61 67 memory, the pag
2f60: 65 72 20 61 6c 6c 6f 63 61 74 73 20 61 6e 0a 2a er allocats an.*
2f70: 2a 20 69 6e 73 74 61 6e 63 65 20 6f 66 20 74 68 * instance of th
2f80: 69 73 20 6f 62 6a 65 63 74 20 61 6e 64 20 7a 65 is object and ze
2f90: 72 6f 73 20 74 68 65 20 66 69 72 73 74 20 38 20 ros the first 8
2fa0: 62 79 74 65 73 2e 20 20 28 54 68 69 73 20 69 73 bytes. (This is
2fb0: 20 74 68 65 0a 2a 2a 20 22 65 78 74 72 61 22 20 the.** "extra"
2fc0: 69 6e 66 6f 72 6d 61 74 69 6f 6e 20 61 73 73 6f information asso
2fd0: 63 69 61 74 65 64 20 77 69 74 68 20 65 61 63 68 ciated with each
2fe0: 20 70 61 67 65 20 6f 66 20 74 68 65 20 70 61 67 page of the pag
2ff0: 65 72 2e 29 0a 2a 2a 0a 2a 2a 20 41 63 63 65 73 er.).**.** Acces
3000: 73 20 74 6f 20 61 6c 6c 20 66 69 65 6c 64 73 20 s to all fields
3010: 6f 66 20 74 68 69 73 20 73 74 72 75 63 74 75 72 of this structur
3020: 65 20 69 73 20 63 6f 6e 74 72 6f 6c 6c 65 64 20 e is controlled
3030: 62 79 20 74 68 65 20 6d 75 74 65 78 0a 2a 2a 20 by the mutex.**
3040: 73 74 6f 72 65 64 20 69 6e 20 4d 65 6d 50 61 67 stored in MemPag
3050: 65 2e 70 42 74 2d 3e 6d 75 74 65 78 2e 0a 2a 2f e.pBt->mutex..*/
3060: 0a 73 74 72 75 63 74 20 4d 65 6d 50 61 67 65 20 .struct MemPage
3070: 7b 0a 20 20 75 38 20 69 73 49 6e 69 74 3b 20 20 {. u8 isInit;
3080: 20 20 20 20 20 20 20 20 20 2f 2a 20 54 72 75 65 /* True
3090: 20 69 66 20 70 72 65 76 69 6f 75 73 6c 79 20 69 if previously i
30a0: 6e 69 74 69 61 6c 69 7a 65 64 2e 20 4d 55 53 54 nitialized. MUST
30b0: 20 42 45 20 46 49 52 53 54 21 20 2a 2f 0a 20 20 BE FIRST! */.
30c0: 75 38 20 62 42 75 73 79 3b 20 20 20 20 20 20 20 u8 bBusy;
30d0: 20 20 20 20 20 2f 2a 20 50 72 65 76 65 6e 74 20 /* Prevent
30e0: 65 6e 64 6c 65 73 73 20 6c 6f 6f 70 73 20 6f 6e endless loops on
30f0: 20 63 6f 72 72 75 70 74 20 64 61 74 61 62 61 73 corrupt databas
3100: 65 20 66 69 6c 65 73 20 2a 2f 0a 20 20 75 38 20 e files */. u8
3110: 69 6e 74 4b 65 79 3b 20 20 20 20 20 20 20 20 20 intKey;
3120: 20 20 2f 2a 20 54 72 75 65 20 69 66 20 74 61 62 /* True if tab
3130: 6c 65 20 62 2d 74 72 65 65 73 2e 20 20 46 61 6c le b-trees. Fal
3140: 73 65 20 66 6f 72 20 69 6e 64 65 78 20 62 2d 74 se for index b-t
3150: 72 65 65 73 20 2a 2f 0a 20 20 75 38 20 69 6e 74 rees */. u8 int
3160: 4b 65 79 4c 65 61 66 3b 20 20 20 20 20 20 20 2f KeyLeaf; /
3170: 2a 20 54 72 75 65 20 69 66 20 74 68 65 20 6c 65 * True if the le
3180: 61 66 20 6f 66 20 61 6e 20 69 6e 74 4b 65 79 20 af of an intKey
3190: 74 61 62 6c 65 20 2a 2f 0a 20 20 50 67 6e 6f 20 table */. Pgno
31a0: 70 67 6e 6f 3b 20 20 20 20 20 20 20 20 20 20 20 pgno;
31b0: 2f 2a 20 50 61 67 65 20 6e 75 6d 62 65 72 20 66 /* Page number f
31c0: 6f 72 20 74 68 69 73 20 70 61 67 65 20 2a 2f 0a or this page */.
31d0: 23 69 66 6e 64 65 66 20 53 51 4c 49 54 45 5f 4f #ifndef SQLITE_O
31e0: 4d 49 54 5f 43 4f 4e 43 55 52 52 45 4e 54 0a 20 MIT_CONCURRENT.
31f0: 20 50 67 6e 6f 20 70 67 6e 6f 52 6f 6f 74 3b 20 Pgno pgnoRoot;
3200: 20 20 20 20 20 20 2f 2a 20 52 6f 6f 74 20 70 61 /* Root pa
3210: 67 65 20 6f 66 20 62 2d 74 72 65 65 20 74 68 61 ge of b-tree tha
3220: 74 20 74 68 69 73 20 70 61 67 65 20 62 65 6c 6f t this page belo
3230: 6e 67 73 20 74 6f 20 2a 2f 0a 23 65 6e 64 69 66 ngs to */.#endif
3240: 0a 20 20 2f 2a 20 4f 6e 6c 79 20 74 68 65 20 66 . /* Only the f
3250: 69 72 73 74 20 38 20 62 79 74 65 73 20 28 61 62 irst 8 bytes (ab
3260: 6f 76 65 29 20 61 72 65 20 7a 65 72 6f 65 64 20 ove) are zeroed
3270: 62 79 20 70 61 67 65 72 2e 63 20 77 68 65 6e 20 by pager.c when
3280: 61 20 6e 65 77 20 70 61 67 65 0a 20 20 2a 2a 20 a new page. **
3290: 69 73 20 61 6c 6c 6f 63 61 74 65 64 2e 20 41 6c is allocated. Al
32a0: 6c 20 66 69 65 6c 64 73 20 74 68 61 74 20 66 6f l fields that fo
32b0: 6c 6c 6f 77 20 6d 75 73 74 20 62 65 20 69 6e 69 llow must be ini
32c0: 74 69 61 6c 69 7a 65 64 20 62 65 66 6f 72 65 20 tialized before
32d0: 75 73 65 20 2a 2f 0a 20 20 75 38 20 6c 65 61 66 use */. u8 leaf
32e0: 3b 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a ; /*
32f0: 20 54 72 75 65 20 69 66 20 61 20 6c 65 61 66 20 True if a leaf
3300: 70 61 67 65 20 2a 2f 0a 20 20 75 38 20 68 64 72 page */. u8 hdr
3310: 4f 66 66 73 65 74 3b 20 20 20 20 20 20 20 20 2f Offset; /
3320: 2a 20 31 30 30 20 66 6f 72 20 70 61 67 65 20 31 * 100 for page 1
3330: 2e 20 20 30 20 6f 74 68 65 72 77 69 73 65 20 2a . 0 otherwise *
3340: 2f 0a 20 20 75 38 20 63 68 69 6c 64 50 74 72 53 /. u8 childPtrS
3350: 69 7a 65 3b 20 20 20 20 20 2f 2a 20 30 20 69 66 ize; /* 0 if
3360: 20 6c 65 61 66 3d 3d 31 2e 20 20 34 20 69 66 20 leaf==1. 4 if
3370: 6c 65 61 66 3d 3d 30 20 2a 2f 0a 20 20 75 38 20 leaf==0 */. u8
3380: 6d 61 78 31 62 79 74 65 50 61 79 6c 6f 61 64 3b max1bytePayload;
3390: 20 20 2f 2a 20 6d 69 6e 28 6d 61 78 4c 6f 63 61 /* min(maxLoca
33a0: 6c 2c 31 32 37 29 20 2a 2f 0a 20 20 75 38 20 6e l,127) */. u8 n
33b0: 4f 76 65 72 66 6c 6f 77 3b 20 20 20 20 20 20 20 Overflow;
33c0: 20 2f 2a 20 4e 75 6d 62 65 72 20 6f 66 20 6f 76 /* Number of ov
33d0: 65 72 66 6c 6f 77 20 63 65 6c 6c 20 62 6f 64 69 erflow cell bodi
33e0: 65 73 20 69 6e 20 61 43 65 6c 6c 5b 5d 20 2a 2f es in aCell[] */
33f0: 0a 20 20 75 31 36 20 6d 61 78 4c 6f 63 61 6c 3b . u16 maxLocal;
3400: 20 20 20 20 20 20 20 20 2f 2a 20 43 6f 70 79 20 /* Copy
3410: 6f 66 20 42 74 53 68 61 72 65 64 2e 6d 61 78 4c of BtShared.maxL
3420: 6f 63 61 6c 20 6f 72 20 42 74 53 68 61 72 65 64 ocal or BtShared
3430: 2e 6d 61 78 4c 65 61 66 20 2a 2f 0a 20 20 75 31 .maxLeaf */. u1
3440: 36 20 6d 69 6e 4c 6f 63 61 6c 3b 20 20 20 20 20 6 minLocal;
3450: 20 20 20 2f 2a 20 43 6f 70 79 20 6f 66 20 42 74 /* Copy of Bt
3460: 53 68 61 72 65 64 2e 6d 69 6e 4c 6f 63 61 6c 20 Shared.minLocal
3470: 6f 72 20 42 74 53 68 61 72 65 64 2e 6d 69 6e 4c or BtShared.minL
3480: 65 61 66 20 2a 2f 0a 20 20 75 31 36 20 63 65 6c eaf */. u16 cel
3490: 6c 4f 66 66 73 65 74 3b 20 20 20 20 20 20 2f 2a lOffset; /*
34a0: 20 49 6e 64 65 78 20 69 6e 20 61 44 61 74 61 20 Index in aData
34b0: 6f 66 20 66 69 72 73 74 20 63 65 6c 6c 20 70 6f of first cell po
34c0: 69 6e 74 65 72 20 2a 2f 0a 20 20 75 31 36 20 6e inter */. u16 n
34d0: 46 72 65 65 3b 20 20 20 20 20 20 20 20 20 20 20 Free;
34e0: 2f 2a 20 4e 75 6d 62 65 72 20 6f 66 20 66 72 65 /* Number of fre
34f0: 65 20 62 79 74 65 73 20 6f 6e 20 74 68 65 20 70 e bytes on the p
3500: 61 67 65 20 2a 2f 0a 20 20 75 31 36 20 6e 43 65 age */. u16 nCe
3510: 6c 6c 3b 20 20 20 20 20 20 20 20 20 20 20 2f 2a ll; /*
3520: 20 4e 75 6d 62 65 72 20 6f 66 20 63 65 6c 6c 73 Number of cells
3530: 20 6f 6e 20 74 68 69 73 20 70 61 67 65 2c 20 6c on this page, l
3540: 6f 63 61 6c 20 61 6e 64 20 6f 76 66 6c 20 2a 2f ocal and ovfl */
3550: 0a 20 20 75 31 36 20 6d 61 73 6b 50 61 67 65 3b . u16 maskPage;
3560: 20 20 20 20 20 20 20 20 2f 2a 20 4d 61 73 6b 20 /* Mask
3570: 66 6f 72 20 70 61 67 65 20 6f 66 66 73 65 74 20 for page offset
3580: 2a 2f 0a 20 20 75 31 36 20 61 69 4f 76 66 6c 5b */. u16 aiOvfl[
3590: 34 5d 3b 20 20 20 20 20 20 20 2f 2a 20 49 6e 73 4]; /* Ins
35a0: 65 72 74 20 74 68 65 20 69 2d 74 68 20 6f 76 65 ert the i-th ove
35b0: 72 66 6c 6f 77 20 63 65 6c 6c 20 62 65 66 6f 72 rflow cell befor
35c0: 65 20 74 68 65 20 61 69 4f 76 66 6c 2d 74 68 0a e the aiOvfl-th.
35d0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
35e0: 20 20 20 20 20 20 20 2a 2a 20 6e 6f 6e 2d 6f 76 ** non-ov
35f0: 65 72 66 6c 6f 77 20 63 65 6c 6c 20 2a 2f 0a 20 erflow cell */.
3600: 20 75 38 20 2a 61 70 4f 76 66 6c 5b 34 5d 3b 20 u8 *apOvfl[4];
3610: 20 20 20 20 20 20 2f 2a 20 50 6f 69 6e 74 65 72 /* Pointer
3620: 73 20 74 6f 20 74 68 65 20 62 6f 64 79 20 6f 66 s to the body of
3630: 20 6f 76 65 72 66 6c 6f 77 20 63 65 6c 6c 73 20 overflow cells
3640: 2a 2f 0a 20 20 42 74 53 68 61 72 65 64 20 2a 70 */. BtShared *p
3650: 42 74 3b 20 20 20 20 20 20 20 2f 2a 20 50 6f 69 Bt; /* Poi
3660: 6e 74 65 72 20 74 6f 20 42 74 53 68 61 72 65 64 nter to BtShared
3670: 20 74 68 61 74 20 74 68 69 73 20 70 61 67 65 20 that this page
3680: 69 73 20 70 61 72 74 20 6f 66 20 2a 2f 0a 20 20 is part of */.
3690: 75 38 20 2a 61 44 61 74 61 3b 20 20 20 20 20 20 u8 *aData;
36a0: 20 20 20 20 20 2f 2a 20 50 6f 69 6e 74 65 72 20 /* Pointer
36b0: 74 6f 20 64 69 73 6b 20 69 6d 61 67 65 20 6f 66 to disk image of
36c0: 20 74 68 65 20 70 61 67 65 20 64 61 74 61 20 2a the page data *
36d0: 2f 0a 20 20 75 38 20 2a 61 44 61 74 61 45 6e 64 /. u8 *aDataEnd
36e0: 3b 20 20 20 20 20 20 20 20 2f 2a 20 4f 6e 65 20 ; /* One
36f0: 62 79 74 65 20 70 61 73 74 20 74 68 65 20 65 6e byte past the en
3700: 64 20 6f 66 20 75 73 61 62 6c 65 20 64 61 74 61 d of usable data
3710: 20 2a 2f 0a 20 20 75 38 20 2a 61 43 65 6c 6c 49 */. u8 *aCellI
3720: 64 78 3b 20 20 20 20 20 20 20 20 2f 2a 20 54 68 dx; /* Th
3730: 65 20 63 65 6c 6c 20 69 6e 64 65 78 20 61 72 65 e cell index are
3740: 61 20 2a 2f 0a 20 20 75 38 20 2a 61 44 61 74 61 a */. u8 *aData
3750: 4f 66 73 74 3b 20 20 20 20 20 20 20 2f 2a 20 53 Ofst; /* S
3760: 61 6d 65 20 61 73 20 61 44 61 74 61 20 66 6f 72 ame as aData for
3770: 20 6c 65 61 76 65 73 2e 20 20 61 44 61 74 61 2b leaves. aData+
3780: 34 20 66 6f 72 20 69 6e 74 65 72 69 6f 72 20 2a 4 for interior *
3790: 2f 0a 20 20 44 62 50 61 67 65 20 2a 70 44 62 50 /. DbPage *pDbP
37a0: 61 67 65 3b 20 20 20 20 20 2f 2a 20 50 61 67 65 age; /* Page
37b0: 72 20 70 61 67 65 20 68 61 6e 64 6c 65 20 2a 2f r page handle */
37c0: 0a 20 20 75 31 36 20 28 2a 78 43 65 6c 6c 53 69 . u16 (*xCellSi
37d0: 7a 65 29 28 4d 65 6d 50 61 67 65 2a 2c 75 38 2a ze)(MemPage*,u8*
37e0: 29 3b 20 20 20 20 20 20 20 20 20 20 20 20 20 2f ); /
37f0: 2a 20 63 65 6c 6c 53 69 7a 65 50 74 72 20 6d 65 * cellSizePtr me
3800: 74 68 6f 64 20 2a 2f 0a 20 20 76 6f 69 64 20 28 thod */. void (
3810: 2a 78 50 61 72 73 65 43 65 6c 6c 29 28 4d 65 6d *xParseCell)(Mem
3820: 50 61 67 65 2a 2c 75 38 2a 2c 43 65 6c 6c 49 6e Page*,u8*,CellIn
3830: 66 6f 2a 29 3b 20 2f 2a 20 62 74 72 65 65 50 61 fo*); /* btreePa
3840: 72 73 65 43 65 6c 6c 20 6d 65 74 68 6f 64 20 2a rseCell method *
3850: 2f 0a 7d 3b 0a 0a 2f 2a 0a 2a 2a 20 41 20 6c 69 /.};../*.** A li
3860: 6e 6b 65 64 20 6c 69 73 74 20 6f 66 20 74 68 65 nked list of the
3870: 20 66 6f 6c 6c 6f 77 69 6e 67 20 73 74 72 75 63 following struc
3880: 74 75 72 65 73 20 69 73 20 73 74 6f 72 65 64 20 tures is stored
3890: 61 74 20 42 74 53 68 61 72 65 64 2e 70 4c 6f 63 at BtShared.pLoc
38a0: 6b 2e 0a 2a 2a 20 4c 6f 63 6b 73 20 61 72 65 20 k..** Locks are
38b0: 61 64 64 65 64 20 28 6f 72 20 75 70 67 72 61 64 added (or upgrad
38c0: 65 64 20 66 72 6f 6d 20 52 45 41 44 5f 4c 4f 43 ed from READ_LOC
38d0: 4b 20 74 6f 20 57 52 49 54 45 5f 4c 4f 43 4b 29 K to WRITE_LOCK)
38e0: 20 77 68 65 6e 20 61 20 63 75 72 73 6f 72 20 0a when a cursor .
38f0: 2a 2a 20 69 73 20 6f 70 65 6e 65 64 20 6f 6e 20 ** is opened on
3900: 74 68 65 20 74 61 62 6c 65 20 77 69 74 68 20 72 the table with r
3910: 6f 6f 74 20 70 61 67 65 20 42 74 53 68 61 72 65 oot page BtShare
3920: 64 2e 69 54 61 62 6c 65 2e 20 4c 6f 63 6b 73 20 d.iTable. Locks
3930: 61 72 65 20 72 65 6d 6f 76 65 64 0a 2a 2a 20 66 are removed.** f
3940: 72 6f 6d 20 74 68 69 73 20 6c 69 73 74 20 77 68 rom this list wh
3950: 65 6e 20 61 20 74 72 61 6e 73 61 63 74 69 6f 6e en a transaction
3960: 20 69 73 20 63 6f 6d 6d 69 74 74 65 64 20 6f 72 is committed or
3970: 20 72 6f 6c 6c 65 64 20 62 61 63 6b 2c 20 6f 72 rolled back, or
3980: 20 77 68 65 6e 0a 2a 2a 20 61 20 62 74 72 65 65 when.** a btree
3990: 20 68 61 6e 64 6c 65 20 69 73 20 63 6c 6f 73 65 handle is close
39a0: 64 2e 0a 2a 2f 0a 73 74 72 75 63 74 20 42 74 4c d..*/.struct BtL
39b0: 6f 63 6b 20 7b 0a 20 20 42 74 72 65 65 20 2a 70 ock {. Btree *p
39c0: 42 74 72 65 65 3b 20 20 20 20 20 20 20 20 2f 2a Btree; /*
39d0: 20 42 74 72 65 65 20 68 61 6e 64 6c 65 20 68 6f Btree handle ho
39e0: 6c 64 69 6e 67 20 74 68 69 73 20 6c 6f 63 6b 20 lding this lock
39f0: 2a 2f 0a 20 20 50 67 6e 6f 20 69 54 61 62 6c 65 */. Pgno iTable
3a00: 3b 20 20 20 20 20 20 20 20 20 20 2f 2a 20 52 6f ; /* Ro
3a10: 6f 74 20 70 61 67 65 20 6f 66 20 74 61 62 6c 65 ot page of table
3a20: 20 2a 2f 0a 20 20 75 38 20 65 4c 6f 63 6b 3b 20 */. u8 eLock;
3a30: 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 52 /* R
3a40: 45 41 44 5f 4c 4f 43 4b 20 6f 72 20 57 52 49 54 EAD_LOCK or WRIT
3a50: 45 5f 4c 4f 43 4b 20 2a 2f 0a 20 20 42 74 4c 6f E_LOCK */. BtLo
3a60: 63 6b 20 2a 70 4e 65 78 74 3b 20 20 20 20 20 20 ck *pNext;
3a70: 20 20 2f 2a 20 4e 65 78 74 20 69 6e 20 42 74 53 /* Next in BtS
3a80: 68 61 72 65 64 2e 70 4c 6f 63 6b 20 6c 69 73 74 hared.pLock list
3a90: 20 2a 2f 0a 7d 3b 0a 0a 2f 2a 20 43 61 6e 64 69 */.};../* Candi
3aa0: 64 61 74 65 20 76 61 6c 75 65 73 20 66 6f 72 20 date values for
3ab0: 42 74 4c 6f 63 6b 2e 65 4c 6f 63 6b 20 2a 2f 0a BtLock.eLock */.
3ac0: 23 64 65 66 69 6e 65 20 52 45 41 44 5f 4c 4f 43 #define READ_LOC
3ad0: 4b 20 20 20 20 20 31 0a 23 64 65 66 69 6e 65 20 K 1.#define
3ae0: 57 52 49 54 45 5f 4c 4f 43 4b 20 20 20 20 32 0a WRITE_LOCK 2.
3af0: 0a 2f 2a 20 41 20 42 74 72 65 65 20 68 61 6e 64 ./* A Btree hand
3b00: 6c 65 0a 2a 2a 0a 2a 2a 20 41 20 64 61 74 61 62 le.**.** A datab
3b10: 61 73 65 20 63 6f 6e 6e 65 63 74 69 6f 6e 20 63 ase connection c
3b20: 6f 6e 74 61 69 6e 73 20 61 20 70 6f 69 6e 74 65 ontains a pointe
3b30: 72 20 74 6f 20 61 6e 20 69 6e 73 74 61 6e 63 65 r to an instance
3b40: 20 6f 66 0a 2a 2a 20 74 68 69 73 20 6f 62 6a 65 of.** this obje
3b50: 63 74 20 66 6f 72 20 65 76 65 72 79 20 64 61 74 ct for every dat
3b60: 61 62 61 73 65 20 66 69 6c 65 20 74 68 61 74 20 abase file that
3b70: 69 74 20 68 61 73 20 6f 70 65 6e 2e 20 20 54 68 it has open. Th
3b80: 69 73 20 73 74 72 75 63 74 75 72 65 0a 2a 2a 20 is structure.**
3b90: 69 73 20 6f 70 61 71 75 65 20 74 6f 20 74 68 65 is opaque to the
3ba0: 20 64 61 74 61 62 61 73 65 20 63 6f 6e 6e 65 63 database connec
3bb0: 74 69 6f 6e 2e 20 20 54 68 65 20 64 61 74 61 62 tion. The datab
3bc0: 61 73 65 20 63 6f 6e 6e 65 63 74 69 6f 6e 20 63 ase connection c
3bd0: 61 6e 6e 6f 74 0a 2a 2a 20 73 65 65 20 74 68 65 annot.** see the
3be0: 20 69 6e 74 65 72 6e 61 6c 73 20 6f 66 20 74 68 internals of th
3bf0: 69 73 20 73 74 72 75 63 74 75 72 65 20 61 6e 64 is structure and
3c00: 20 6f 6e 6c 79 20 64 65 61 6c 73 20 77 69 74 68 only deals with
3c10: 20 70 6f 69 6e 74 65 72 73 20 74 6f 0a 2a 2a 20 pointers to.**
3c20: 74 68 69 73 20 73 74 72 75 63 74 75 72 65 2e 0a this structure..
3c30: 2a 2a 0a 2a 2a 20 46 6f 72 20 73 6f 6d 65 20 64 **.** For some d
3c40: 61 74 61 62 61 73 65 20 66 69 6c 65 73 2c 20 74 atabase files, t
3c50: 68 65 20 73 61 6d 65 20 75 6e 64 65 72 6c 79 69 he same underlyi
3c60: 6e 67 20 64 61 74 61 62 61 73 65 20 63 61 63 68 ng database cach
3c70: 65 20 6d 69 67 68 74 20 62 65 20 0a 2a 2a 20 73 e might be .** s
3c80: 68 61 72 65 64 20 62 65 74 77 65 65 6e 20 6d 75 hared between mu
3c90: 6c 74 69 70 6c 65 20 63 6f 6e 6e 65 63 74 69 6f ltiple connectio
3ca0: 6e 73 2e 20 20 49 6e 20 74 68 61 74 20 63 61 73 ns. In that cas
3cb0: 65 2c 20 65 61 63 68 20 63 6f 6e 6e 65 63 74 69 e, each connecti
3cc0: 6f 6e 0a 2a 2a 20 68 61 73 20 69 74 20 6f 77 6e on.** has it own
3cd0: 20 69 6e 73 74 61 6e 63 65 20 6f 66 20 74 68 69 instance of thi
3ce0: 73 20 6f 62 6a 65 63 74 2e 20 20 42 75 74 20 65 s object. But e
3cf0: 61 63 68 20 69 6e 73 74 61 6e 63 65 20 6f 66 20 ach instance of
3d00: 74 68 69 73 20 6f 62 6a 65 63 74 0a 2a 2a 20 70 this object.** p
3d10: 6f 69 6e 74 73 20 74 6f 20 74 68 65 20 73 61 6d oints to the sam
3d20: 65 20 42 74 53 68 61 72 65 64 20 6f 62 6a 65 63 e BtShared objec
3d30: 74 2e 20 20 54 68 65 20 64 61 74 61 62 61 73 65 t. The database
3d40: 20 63 61 63 68 65 20 61 6e 64 20 74 68 65 0a 2a cache and the.*
3d50: 2a 20 73 63 68 65 6d 61 20 61 73 73 6f 63 69 61 * schema associa
3d60: 74 65 64 20 77 69 74 68 20 74 68 65 20 64 61 74 ted with the dat
3d70: 61 62 61 73 65 20 66 69 6c 65 20 61 72 65 20 61 abase file are a
3d80: 6c 6c 20 63 6f 6e 74 61 69 6e 65 64 20 77 69 74 ll contained wit
3d90: 68 69 6e 0a 2a 2a 20 74 68 65 20 42 74 53 68 61 hin.** the BtSha
3da0: 72 65 64 20 6f 62 6a 65 63 74 2e 0a 2a 2a 0a 2a red object..**.*
3db0: 2a 20 41 6c 6c 20 66 69 65 6c 64 73 20 69 6e 20 * All fields in
3dc0: 74 68 69 73 20 73 74 72 75 63 74 75 72 65 20 61 this structure a
3dd0: 72 65 20 61 63 63 65 73 73 65 64 20 75 6e 64 65 re accessed unde
3de0: 72 20 73 71 6c 69 74 65 33 2e 6d 75 74 65 78 2e r sqlite3.mutex.
3df0: 0a 2a 2a 20 54 68 65 20 70 42 74 20 70 6f 69 6e .** The pBt poin
3e00: 74 65 72 20 69 74 73 65 6c 66 20 6d 61 79 20 6e ter itself may n
3e10: 6f 74 20 62 65 20 63 68 61 6e 67 65 64 20 77 68 ot be changed wh
3e20: 69 6c 65 20 74 68 65 72 65 20 65 78 69 73 74 73 ile there exists
3e30: 20 63 75 72 73 6f 72 73 20 0a 2a 2a 20 69 6e 20 cursors .** in
3e40: 74 68 65 20 72 65 66 65 72 65 6e 63 65 64 20 42 the referenced B
3e50: 74 53 68 61 72 65 64 20 74 68 61 74 20 70 6f 69 tShared that poi
3e60: 6e 74 20 62 61 63 6b 20 74 6f 20 74 68 69 73 20 nt back to this
3e70: 42 74 72 65 65 20 73 69 6e 63 65 20 74 68 6f 73 Btree since thos
3e80: 65 0a 2a 2a 20 63 75 72 73 6f 72 73 20 68 61 76 e.** cursors hav
3e90: 65 20 74 6f 20 67 6f 20 74 68 72 6f 75 67 68 20 e to go through
3ea0: 74 68 69 73 20 42 74 72 65 65 20 74 6f 20 66 69 this Btree to fi
3eb0: 6e 64 20 74 68 65 69 72 20 42 74 53 68 61 72 65 nd their BtShare
3ec0: 64 20 61 6e 64 0a 2a 2a 20 74 68 65 79 20 6f 66 d and.** they of
3ed0: 74 65 6e 20 64 6f 20 73 6f 20 77 69 74 68 6f 75 ten do so withou
3ee0: 74 20 68 6f 6c 64 69 6e 67 20 73 71 6c 69 74 65 t holding sqlite
3ef0: 33 2e 6d 75 74 65 78 2e 0a 2a 2f 0a 73 74 72 75 3.mutex..*/.stru
3f00: 63 74 20 42 74 72 65 65 20 7b 0a 20 20 73 71 6c ct Btree {. sql
3f10: 69 74 65 33 20 2a 64 62 3b 20 20 20 20 20 20 20 ite3 *db;
3f20: 2f 2a 20 54 68 65 20 64 61 74 61 62 61 73 65 20 /* The database
3f30: 63 6f 6e 6e 65 63 74 69 6f 6e 20 68 6f 6c 64 69 connection holdi
3f40: 6e 67 20 74 68 69 73 20 62 74 72 65 65 20 2a 2f ng this btree */
3f50: 0a 20 20 42 74 53 68 61 72 65 64 20 2a 70 42 74 . BtShared *pBt
3f60: 3b 20 20 20 20 20 2f 2a 20 53 68 61 72 61 62 6c ; /* Sharabl
3f70: 65 20 63 6f 6e 74 65 6e 74 20 6f 66 20 74 68 69 e content of thi
3f80: 73 20 62 74 72 65 65 20 2a 2f 0a 20 20 75 38 20 s btree */. u8
3f90: 69 6e 54 72 61 6e 73 3b 20 20 20 20 20 20 20 20 inTrans;
3fa0: 2f 2a 20 54 52 41 4e 53 5f 4e 4f 4e 45 2c 20 54 /* TRANS_NONE, T
3fb0: 52 41 4e 53 5f 52 45 41 44 20 6f 72 20 54 52 41 RANS_READ or TRA
3fc0: 4e 53 5f 57 52 49 54 45 20 2a 2f 0a 20 20 75 38 NS_WRITE */. u8
3fd0: 20 73 68 61 72 61 62 6c 65 3b 20 20 20 20 20 20 sharable;
3fe0: 20 2f 2a 20 54 72 75 65 20 69 66 20 77 65 20 63 /* True if we c
3ff0: 61 6e 20 73 68 61 72 65 20 70 42 74 20 77 69 74 an share pBt wit
4000: 68 20 61 6e 6f 74 68 65 72 20 64 62 20 2a 2f 0a h another db */.
4010: 20 20 75 38 20 6c 6f 63 6b 65 64 3b 20 20 20 20 u8 locked;
4020: 20 20 20 20 20 2f 2a 20 54 72 75 65 20 69 66 20 /* True if
4030: 64 62 20 63 75 72 72 65 6e 74 6c 79 20 68 61 73 db currently has
4040: 20 70 42 74 20 6c 6f 63 6b 65 64 20 2a 2f 0a 20 pBt locked */.
4050: 20 75 38 20 68 61 73 49 6e 63 72 62 6c 6f 62 43 u8 hasIncrblobC
4060: 75 72 3b 20 2f 2a 20 54 72 75 65 20 69 66 20 74 ur; /* True if t
4070: 68 65 72 65 20 61 72 65 20 6f 6e 65 20 6f 72 20 here are one or
4080: 6d 6f 72 65 20 49 6e 63 72 62 6c 6f 62 20 63 75 more Incrblob cu
4090: 72 73 6f 72 73 20 2a 2f 0a 20 20 69 6e 74 20 77 rsors */. int w
40a0: 61 6e 74 54 6f 4c 6f 63 6b 3b 20 20 20 20 2f 2a antToLock; /*
40b0: 20 4e 75 6d 62 65 72 20 6f 66 20 6e 65 73 74 65 Number of neste
40c0: 64 20 63 61 6c 6c 73 20 74 6f 20 73 71 6c 69 74 d calls to sqlit
40d0: 65 33 42 74 72 65 65 45 6e 74 65 72 28 29 20 2a e3BtreeEnter() *
40e0: 2f 0a 20 20 69 6e 74 20 6e 42 61 63 6b 75 70 3b /. int nBackup;
40f0: 20 20 20 20 20 20 20 2f 2a 20 4e 75 6d 62 65 72 /* Number
4100: 20 6f 66 20 62 61 63 6b 75 70 20 6f 70 65 72 61 of backup opera
4110: 74 69 6f 6e 73 20 72 65 61 64 69 6e 67 20 74 68 tions reading th
4120: 69 73 20 62 74 72 65 65 20 2a 2f 0a 20 20 75 33 is btree */. u3
4130: 32 20 69 44 61 74 61 56 65 72 73 69 6f 6e 3b 20 2 iDataVersion;
4140: 20 2f 2a 20 43 6f 6d 62 69 6e 65 73 20 77 69 74 /* Combines wit
4150: 68 20 70 42 74 2d 3e 70 50 61 67 65 72 2d 3e 69 h pBt->pPager->i
4160: 44 61 74 61 56 65 72 73 69 6f 6e 20 2a 2f 0a 20 DataVersion */.
4170: 20 42 74 72 65 65 20 2a 70 4e 65 78 74 3b 20 20 Btree *pNext;
4180: 20 20 20 20 2f 2a 20 4c 69 73 74 20 6f 66 20 6f /* List of o
4190: 74 68 65 72 20 73 68 61 72 61 62 6c 65 20 42 74 ther sharable Bt
41a0: 72 65 65 73 20 66 72 6f 6d 20 74 68 65 20 73 61 rees from the sa
41b0: 6d 65 20 64 62 20 2a 2f 0a 20 20 42 74 72 65 65 me db */. Btree
41c0: 20 2a 70 50 72 65 76 3b 20 20 20 20 20 20 2f 2a *pPrev; /*
41d0: 20 42 61 63 6b 20 70 6f 69 6e 74 65 72 20 6f 66 Back pointer of
41e0: 20 74 68 65 20 73 61 6d 65 20 6c 69 73 74 20 2a the same list *
41f0: 2f 0a 23 69 66 6e 64 65 66 20 53 51 4c 49 54 45 /.#ifndef SQLITE
4200: 5f 4f 4d 49 54 5f 53 48 41 52 45 44 5f 43 41 43 _OMIT_SHARED_CAC
4210: 48 45 0a 20 20 42 74 4c 6f 63 6b 20 6c 6f 63 6b HE. BtLock lock
4220: 3b 20 20 20 20 20 20 20 2f 2a 20 4f 62 6a 65 63 ; /* Objec
4230: 74 20 75 73 65 64 20 74 6f 20 6c 6f 63 6b 20 70 t used to lock p
4240: 61 67 65 20 31 20 2a 2f 0a 23 65 6e 64 69 66 0a age 1 */.#endif.
4250: 7d 3b 0a 0a 2f 2a 0a 2a 2a 20 42 74 72 65 65 2e };../*.** Btree.
4260: 69 6e 54 72 61 6e 73 20 6d 61 79 20 74 61 6b 65 inTrans may take
4270: 20 6f 6e 65 20 6f 66 20 74 68 65 20 66 6f 6c 6c one of the foll
4280: 6f 77 69 6e 67 20 76 61 6c 75 65 73 2e 0a 2a 2a owing values..**
4290: 0a 2a 2a 20 49 66 20 74 68 65 20 73 68 61 72 65 .** If the share
42a0: 64 2d 64 61 74 61 20 65 78 74 65 6e 73 69 6f 6e d-data extension
42b0: 20 69 73 20 65 6e 61 62 6c 65 64 2c 20 74 68 65 is enabled, the
42c0: 72 65 20 6d 61 79 20 62 65 20 6d 75 6c 74 69 70 re may be multip
42d0: 6c 65 20 75 73 65 72 73 0a 2a 2a 20 6f 66 20 74 le users.** of t
42e0: 68 65 20 42 74 72 65 65 20 73 74 72 75 63 74 75 he Btree structu
42f0: 72 65 2e 20 41 74 20 6d 6f 73 74 20 6f 6e 65 20 re. At most one
4300: 6f 66 20 74 68 65 73 65 20 6d 61 79 20 6f 70 65 of these may ope
4310: 6e 20 61 20 77 72 69 74 65 20 74 72 61 6e 73 61 n a write transa
4320: 63 74 69 6f 6e 2c 0a 2a 2a 20 62 75 74 20 61 6e ction,.** but an
4330: 79 20 6e 75 6d 62 65 72 20 6d 61 79 20 68 61 76 y number may hav
4340: 65 20 61 63 74 69 76 65 20 72 65 61 64 20 74 72 e active read tr
4350: 61 6e 73 61 63 74 69 6f 6e 73 2e 0a 2a 2f 0a 23 ansactions..*/.#
4360: 64 65 66 69 6e 65 20 54 52 41 4e 53 5f 4e 4f 4e define TRANS_NON
4370: 45 20 20 30 0a 23 64 65 66 69 6e 65 20 54 52 41 E 0.#define TRA
4380: 4e 53 5f 52 45 41 44 20 20 31 0a 23 64 65 66 69 NS_READ 1.#defi
4390: 6e 65 20 54 52 41 4e 53 5f 57 52 49 54 45 20 32 ne TRANS_WRITE 2
43a0: 0a 0a 2f 2a 0a 2a 2a 20 41 6e 20 69 6e 73 74 61 ../*.** An insta
43b0: 6e 63 65 20 6f 66 20 74 68 69 73 20 6f 62 6a 65 nce of this obje
43c0: 63 74 20 72 65 70 72 65 73 65 6e 74 73 20 61 20 ct represents a
43d0: 73 69 6e 67 6c 65 20 64 61 74 61 62 61 73 65 20 single database
43e0: 66 69 6c 65 2e 0a 2a 2a 20 0a 2a 2a 20 41 20 73 file..** .** A s
43f0: 69 6e 67 6c 65 20 64 61 74 61 62 61 73 65 20 66 ingle database f
4400: 69 6c 65 20 63 61 6e 20 62 65 20 69 6e 20 75 73 ile can be in us
4410: 65 20 61 74 20 74 68 65 20 73 61 6d 65 20 74 69 e at the same ti
4420: 6d 65 20 62 79 20 74 77 6f 0a 2a 2a 20 6f 72 20 me by two.** or
4430: 6d 6f 72 65 20 64 61 74 61 62 61 73 65 20 63 6f more database co
4440: 6e 6e 65 63 74 69 6f 6e 73 2e 20 20 57 68 65 6e nnections. When
4450: 20 74 77 6f 20 6f 72 20 6d 6f 72 65 20 63 6f 6e two or more con
4460: 6e 65 63 74 69 6f 6e 73 20 61 72 65 0a 2a 2a 20 nections are.**
4470: 73 68 61 72 69 6e 67 20 74 68 65 20 73 61 6d 65 sharing the same
4480: 20 64 61 74 61 62 61 73 65 20 66 69 6c 65 2c 20 database file,
4490: 65 61 63 68 20 63 6f 6e 6e 65 63 74 69 6f 6e 20 each connection
44a0: 68 61 73 20 69 74 20 6f 77 6e 0a 2a 2a 20 70 72 has it own.** pr
44b0: 69 76 61 74 65 20 42 74 72 65 65 20 6f 62 6a 65 ivate Btree obje
44c0: 63 74 20 66 6f 72 20 74 68 65 20 66 69 6c 65 20 ct for the file
44d0: 61 6e 64 20 65 61 63 68 20 6f 66 20 74 68 6f 73 and each of thos
44e0: 65 20 42 74 72 65 65 73 20 70 6f 69 6e 74 73 0a e Btrees points.
44f0: 2a 2a 20 74 6f 20 74 68 69 73 20 6f 6e 65 20 42 ** to this one B
4500: 74 53 68 61 72 65 64 20 6f 62 6a 65 63 74 2e 20 tShared object.
4510: 20 42 74 53 68 61 72 65 64 2e 6e 52 65 66 20 69 BtShared.nRef i
4520: 73 20 74 68 65 20 6e 75 6d 62 65 72 20 6f 66 0a s the number of.
4530: 2a 2a 20 63 6f 6e 6e 65 63 74 69 6f 6e 73 20 63 ** connections c
4540: 75 72 72 65 6e 74 6c 79 20 73 68 61 72 69 6e 67 urrently sharing
4550: 20 74 68 69 73 20 64 61 74 61 62 61 73 65 20 66 this database f
4560: 69 6c 65 2e 0a 2a 2a 0a 2a 2a 20 46 69 65 6c 64 ile..**.** Field
4570: 73 20 69 6e 20 74 68 69 73 20 73 74 72 75 63 74 s in this struct
4580: 75 72 65 20 61 72 65 20 61 63 63 65 73 73 65 64 ure are accessed
4590: 20 75 6e 64 65 72 20 74 68 65 20 42 74 53 68 61 under the BtSha
45a0: 72 65 64 2e 6d 75 74 65 78 0a 2a 2a 20 6d 75 74 red.mutex.** mut
45b0: 65 78 2c 20 65 78 63 65 70 74 20 66 6f 72 20 6e ex, except for n
45c0: 52 65 66 20 61 6e 64 20 70 4e 65 78 74 20 77 68 Ref and pNext wh
45d0: 69 63 68 20 61 72 65 20 61 63 63 65 73 73 65 64 ich are accessed
45e0: 20 75 6e 64 65 72 20 74 68 65 0a 2a 2a 20 67 6c under the.** gl
45f0: 6f 62 61 6c 20 53 51 4c 49 54 45 5f 4d 55 54 45 obal SQLITE_MUTE
4600: 58 5f 53 54 41 54 49 43 5f 4d 41 53 54 45 52 20 X_STATIC_MASTER
4610: 6d 75 74 65 78 2e 20 20 54 68 65 20 70 50 61 67 mutex. The pPag
4620: 65 72 20 66 69 65 6c 64 0a 2a 2a 20 6d 61 79 20 er field.** may
4630: 6e 6f 74 20 62 65 20 6d 6f 64 69 66 69 65 64 20 not be modified
4640: 6f 6e 63 65 20 69 74 20 69 73 20 69 6e 69 74 69 once it is initi
4650: 61 6c 6c 79 20 73 65 74 20 61 73 20 6c 6f 6e 67 ally set as long
4660: 20 61 73 20 6e 52 65 66 3e 30 2e 0a 2a 2a 20 54 as nRef>0..** T
4670: 68 65 20 70 53 63 68 65 6d 61 20 66 69 65 6c 64 he pSchema field
4680: 20 6d 61 79 20 62 65 20 73 65 74 20 6f 6e 63 65 may be set once
4690: 20 75 6e 64 65 72 20 42 74 53 68 61 72 65 64 2e under BtShared.
46a0: 6d 75 74 65 78 20 61 6e 64 0a 2a 2a 20 74 68 65 mutex and.** the
46b0: 72 65 61 66 74 65 72 20 69 73 20 75 6e 63 68 61 reafter is uncha
46c0: 6e 67 65 64 20 61 73 20 6c 6f 6e 67 20 61 73 20 nged as long as
46d0: 6e 52 65 66 3e 30 2e 0a 2a 2a 0a 2a 2a 20 69 73 nRef>0..**.** is
46e0: 50 65 6e 64 69 6e 67 3a 0a 2a 2a 0a 2a 2a 20 20 Pending:.**.**
46f0: 20 49 66 20 61 20 42 74 53 68 61 72 65 64 20 63 If a BtShared c
4700: 6c 69 65 6e 74 20 66 61 69 6c 73 20 74 6f 20 6f lient fails to o
4710: 62 74 61 69 6e 20 61 20 77 72 69 74 65 2d 6c 6f btain a write-lo
4720: 63 6b 20 6f 6e 20 61 20 64 61 74 61 62 61 73 65 ck on a database
4730: 0a 2a 2a 20 20 20 74 61 62 6c 65 20 28 62 65 63 .** table (bec
4740: 61 75 73 65 20 74 68 65 72 65 20 65 78 69 73 74 ause there exist
4750: 73 20 6f 6e 65 20 6f 72 20 6d 6f 72 65 20 72 65 s one or more re
4760: 61 64 2d 6c 6f 63 6b 73 20 6f 6e 20 74 68 65 20 ad-locks on the
4770: 74 61 62 6c 65 29 2c 0a 2a 2a 20 20 20 74 68 65 table),.** the
4780: 20 73 68 61 72 65 64 2d 63 61 63 68 65 20 65 6e shared-cache en
4790: 74 65 72 73 20 27 70 65 6e 64 69 6e 67 2d 6c 6f ters 'pending-lo
47a0: 63 6b 27 20 73 74 61 74 65 20 61 6e 64 20 69 73 ck' state and is
47b0: 50 65 6e 64 69 6e 67 20 69 73 0a 2a 2a 20 20 20 Pending is.**
47c0: 73 65 74 20 74 6f 20 74 72 75 65 2e 0a 2a 2a 0a set to true..**.
47d0: 2a 2a 20 20 20 54 68 65 20 73 68 61 72 65 64 2d ** The shared-
47e0: 63 61 63 68 65 20 6c 65 61 76 65 73 20 74 68 65 cache leaves the
47f0: 20 27 70 65 6e 64 69 6e 67 20 6c 6f 63 6b 27 20 'pending lock'
4800: 73 74 61 74 65 20 77 68 65 6e 20 65 69 74 68 65 state when eithe
4810: 72 20 6f 66 0a 2a 2a 20 20 20 74 68 65 20 66 6f r of.** the fo
4820: 6c 6c 6f 77 69 6e 67 20 6f 63 63 75 72 3a 0a 2a llowing occur:.*
4830: 2a 0a 2a 2a 20 20 20 20 20 31 29 20 54 68 65 20 *.** 1) The
4840: 63 75 72 72 65 6e 74 20 77 72 69 74 65 72 20 28 current writer (
4850: 42 74 53 68 61 72 65 64 2e 70 57 72 69 74 65 72 BtShared.pWriter
4860: 29 20 63 6f 6e 63 6c 75 64 65 73 20 69 74 73 20 ) concludes its
4870: 74 72 61 6e 73 61 63 74 69 6f 6e 2c 20 4f 52 0a transaction, OR.
4880: 2a 2a 20 20 20 20 20 32 29 20 54 68 65 20 6e 75 ** 2) The nu
4890: 6d 62 65 72 20 6f 66 20 6c 6f 63 6b 73 20 68 65 mber of locks he
48a0: 6c 64 20 62 79 20 6f 74 68 65 72 20 63 6f 6e 6e ld by other conn
48b0: 65 63 74 69 6f 6e 73 20 64 72 6f 70 73 20 74 6f ections drops to
48c0: 20 7a 65 72 6f 2e 0a 2a 2a 0a 2a 2a 20 20 20 77 zero..**.** w
48d0: 68 69 6c 65 20 69 6e 20 74 68 65 20 27 70 65 6e hile in the 'pen
48e0: 64 69 6e 67 2d 6c 6f 63 6b 27 20 73 74 61 74 65 ding-lock' state
48f0: 2c 20 6e 6f 20 63 6f 6e 6e 65 63 74 69 6f 6e 20 , no connection
4900: 6d 61 79 20 73 74 61 72 74 20 61 20 6e 65 77 0a may start a new.
4910: 2a 2a 20 20 20 74 72 61 6e 73 61 63 74 69 6f 6e ** transaction
4920: 2e 0a 2a 2a 0a 2a 2a 20 20 20 54 68 69 73 20 66 ..**.** This f
4930: 65 61 74 75 72 65 20 69 73 20 69 6e 63 6c 75 64 eature is includ
4940: 65 64 20 74 6f 20 68 65 6c 70 20 70 72 65 76 65 ed to help preve
4950: 6e 74 20 77 72 69 74 65 72 2d 73 74 61 72 76 61 nt writer-starva
4960: 74 69 6f 6e 2e 0a 2a 2f 0a 73 74 72 75 63 74 20 tion..*/.struct
4970: 42 74 53 68 61 72 65 64 20 7b 0a 20 20 50 61 67 BtShared {. Pag
4980: 65 72 20 2a 70 50 61 67 65 72 3b 20 20 20 20 20 er *pPager;
4990: 20 20 20 2f 2a 20 54 68 65 20 70 61 67 65 20 63 /* The page c
49a0: 61 63 68 65 20 2a 2f 0a 20 20 73 71 6c 69 74 65 ache */. sqlite
49b0: 33 20 2a 64 62 3b 20 20 20 20 20 20 20 20 20 20 3 *db;
49c0: 2f 2a 20 44 61 74 61 62 61 73 65 20 63 6f 6e 6e /* Database conn
49d0: 65 63 74 69 6f 6e 20 63 75 72 72 65 6e 74 6c 79 ection currently
49e0: 20 75 73 69 6e 67 20 74 68 69 73 20 42 74 72 65 using this Btre
49f0: 65 20 2a 2f 0a 20 20 42 74 43 75 72 73 6f 72 20 e */. BtCursor
4a00: 2a 70 43 75 72 73 6f 72 3b 20 20 20 20 2f 2a 20 *pCursor; /*
4a10: 41 20 6c 69 73 74 20 6f 66 20 61 6c 6c 20 6f 70 A list of all op
4a20: 65 6e 20 63 75 72 73 6f 72 73 20 2a 2f 0a 20 20 en cursors */.
4a30: 4d 65 6d 50 61 67 65 20 2a 70 50 61 67 65 31 3b MemPage *pPage1;
4a40: 20 20 20 20 20 20 2f 2a 20 46 69 72 73 74 20 70 /* First p
4a50: 61 67 65 20 6f 66 20 74 68 65 20 64 61 74 61 62 age of the datab
4a60: 61 73 65 20 2a 2f 0a 20 20 75 38 20 6f 70 65 6e ase */. u8 open
4a70: 46 6c 61 67 73 3b 20 20 20 20 20 20 20 20 20 2f Flags; /
4a80: 2a 20 46 6c 61 67 73 20 74 6f 20 73 71 6c 69 74 * Flags to sqlit
4a90: 65 33 42 74 72 65 65 4f 70 65 6e 28 29 20 2a 2f e3BtreeOpen() */
4aa0: 0a 23 69 66 6e 64 65 66 20 53 51 4c 49 54 45 5f .#ifndef SQLITE_
4ab0: 4f 4d 49 54 5f 41 55 54 4f 56 41 43 55 55 4d 0a OMIT_AUTOVACUUM.
4ac0: 20 20 75 38 20 61 75 74 6f 56 61 63 75 75 6d 3b u8 autoVacuum;
4ad0: 20 20 20 20 20 20 20 20 2f 2a 20 54 72 75 65 20 /* True
4ae0: 69 66 20 61 75 74 6f 2d 76 61 63 75 75 6d 20 69 if auto-vacuum i
4af0: 73 20 65 6e 61 62 6c 65 64 20 2a 2f 0a 20 20 75 s enabled */. u
4b00: 38 20 69 6e 63 72 56 61 63 75 75 6d 3b 20 20 20 8 incrVacuum;
4b10: 20 20 20 20 20 2f 2a 20 54 72 75 65 20 69 66 20 /* True if
4b20: 69 6e 63 72 2d 76 61 63 75 75 6d 20 69 73 20 65 incr-vacuum is e
4b30: 6e 61 62 6c 65 64 20 2a 2f 0a 20 20 75 38 20 62 nabled */. u8 b
4b40: 44 6f 54 72 75 6e 63 61 74 65 3b 20 20 20 20 20 DoTruncate;
4b50: 20 20 2f 2a 20 54 72 75 65 20 74 6f 20 74 72 75 /* True to tru
4b60: 6e 63 61 74 65 20 64 62 20 6f 6e 20 63 6f 6d 6d ncate db on comm
4b70: 69 74 20 2a 2f 0a 23 65 6e 64 69 66 0a 20 20 75 it */.#endif. u
4b80: 38 20 69 6e 54 72 61 6e 73 61 63 74 69 6f 6e 3b 8 inTransaction;
4b90: 20 20 20 20 20 2f 2a 20 54 72 61 6e 73 61 63 74 /* Transact
4ba0: 69 6f 6e 20 73 74 61 74 65 20 2a 2f 0a 20 20 75 ion state */. u
4bb0: 38 20 6d 61 78 31 62 79 74 65 50 61 79 6c 6f 61 8 max1bytePayloa
4bc0: 64 3b 20 20 20 2f 2a 20 4d 61 78 69 6d 75 6d 20 d; /* Maximum
4bd0: 66 69 72 73 74 20 62 79 74 65 20 6f 66 20 63 65 first byte of ce
4be0: 6c 6c 20 66 6f 72 20 61 20 31 2d 62 79 74 65 20 ll for a 1-byte
4bf0: 70 61 79 6c 6f 61 64 20 2a 2f 0a 23 69 66 64 65 payload */.#ifde
4c00: 66 20 53 51 4c 49 54 45 5f 48 41 53 5f 43 4f 44 f SQLITE_HAS_COD
4c10: 45 43 0a 20 20 75 38 20 6f 70 74 69 6d 61 6c 52 EC. u8 optimalR
4c20: 65 73 65 72 76 65 3b 20 20 20 20 2f 2a 20 44 65 eserve; /* De
4c30: 73 69 72 65 64 20 61 6d 6f 75 6e 74 20 6f 66 20 sired amount of
4c40: 72 65 73 65 72 76 65 64 20 73 70 61 63 65 20 70 reserved space p
4c50: 65 72 20 70 61 67 65 20 2a 2f 0a 23 65 6e 64 69 er page */.#endi
4c60: 66 0a 20 20 75 31 36 20 62 74 73 46 6c 61 67 73 f. u16 btsFlags
4c70: 3b 20 20 20 20 20 20 20 20 20 2f 2a 20 42 6f 6f ; /* Boo
4c80: 6c 65 61 6e 20 70 61 72 61 6d 65 74 65 72 73 2e lean parameters.
4c90: 20 20 53 65 65 20 42 54 53 5f 2a 20 6d 61 63 72 See BTS_* macr
4ca0: 6f 73 20 62 65 6c 6f 77 20 2a 2f 0a 20 20 75 31 os below */. u1
4cb0: 36 20 6d 61 78 4c 6f 63 61 6c 3b 20 20 20 20 20 6 maxLocal;
4cc0: 20 20 20 20 2f 2a 20 4d 61 78 69 6d 75 6d 20 6c /* Maximum l
4cd0: 6f 63 61 6c 20 70 61 79 6c 6f 61 64 20 69 6e 20 ocal payload in
4ce0: 6e 6f 6e 2d 4c 45 41 46 44 41 54 41 20 74 61 62 non-LEAFDATA tab
4cf0: 6c 65 73 20 2a 2f 0a 20 20 75 31 36 20 6d 69 6e les */. u16 min
4d00: 4c 6f 63 61 6c 3b 20 20 20 20 20 20 20 20 20 2f Local; /
4d10: 2a 20 4d 69 6e 69 6d 75 6d 20 6c 6f 63 61 6c 20 * Minimum local
4d20: 70 61 79 6c 6f 61 64 20 69 6e 20 6e 6f 6e 2d 4c payload in non-L
4d30: 45 41 46 44 41 54 41 20 74 61 62 6c 65 73 20 2a EAFDATA tables *
4d40: 2f 0a 20 20 75 31 36 20 6d 61 78 4c 65 61 66 3b /. u16 maxLeaf;
4d50: 20 20 20 20 20 20 20 20 20 20 2f 2a 20 4d 61 78 /* Max
4d60: 69 6d 75 6d 20 6c 6f 63 61 6c 20 70 61 79 6c 6f imum local paylo
4d70: 61 64 20 69 6e 20 61 20 4c 45 41 46 44 41 54 41 ad in a LEAFDATA
4d80: 20 74 61 62 6c 65 20 2a 2f 0a 20 20 75 31 36 20 table */. u16
4d90: 6d 69 6e 4c 65 61 66 3b 20 20 20 20 20 20 20 20 minLeaf;
4da0: 20 20 2f 2a 20 4d 69 6e 69 6d 75 6d 20 6c 6f 63 /* Minimum loc
4db0: 61 6c 20 70 61 79 6c 6f 61 64 20 69 6e 20 61 20 al payload in a
4dc0: 4c 45 41 46 44 41 54 41 20 74 61 62 6c 65 20 2a LEAFDATA table *
4dd0: 2f 0a 20 20 75 33 32 20 70 61 67 65 53 69 7a 65 /. u32 pageSize
4de0: 3b 20 20 20 20 20 20 20 20 20 2f 2a 20 54 6f 74 ; /* Tot
4df0: 61 6c 20 6e 75 6d 62 65 72 20 6f 66 20 62 79 74 al number of byt
4e00: 65 73 20 6f 6e 20 61 20 70 61 67 65 20 2a 2f 0a es on a page */.
4e10: 20 20 75 33 32 20 75 73 61 62 6c 65 53 69 7a 65 u32 usableSize
4e20: 3b 20 20 20 20 20 20 20 2f 2a 20 4e 75 6d 62 65 ; /* Numbe
4e30: 72 20 6f 66 20 75 73 61 62 6c 65 20 62 79 74 65 r of usable byte
4e40: 73 20 6f 6e 20 65 61 63 68 20 70 61 67 65 20 2a s on each page *
4e50: 2f 0a 20 20 69 6e 74 20 6e 54 72 61 6e 73 61 63 /. int nTransac
4e60: 74 69 6f 6e 3b 20 20 20 20 20 2f 2a 20 4e 75 6d tion; /* Num
4e70: 62 65 72 20 6f 66 20 6f 70 65 6e 20 74 72 61 6e ber of open tran
4e80: 73 61 63 74 69 6f 6e 73 20 28 72 65 61 64 20 2b sactions (read +
4e90: 20 77 72 69 74 65 29 20 2a 2f 0a 20 20 75 33 32 write) */. u32
4ea0: 20 6e 50 61 67 65 3b 20 20 20 20 20 20 20 20 20 nPage;
4eb0: 20 20 20 2f 2a 20 4e 75 6d 62 65 72 20 6f 66 20 /* Number of
4ec0: 70 61 67 65 73 20 69 6e 20 74 68 65 20 64 61 74 pages in the dat
4ed0: 61 62 61 73 65 20 2a 2f 0a 20 20 76 6f 69 64 20 abase */. void
4ee0: 2a 70 53 63 68 65 6d 61 3b 20 20 20 20 20 20 20 *pSchema;
4ef0: 20 2f 2a 20 50 6f 69 6e 74 65 72 20 74 6f 20 73 /* Pointer to s
4f00: 70 61 63 65 20 61 6c 6c 6f 63 61 74 65 64 20 62 pace allocated b
4f10: 79 20 73 71 6c 69 74 65 33 42 74 72 65 65 53 63 y sqlite3BtreeSc
4f20: 68 65 6d 61 28 29 20 2a 2f 0a 20 20 76 6f 69 64 hema() */. void
4f30: 20 28 2a 78 46 72 65 65 53 63 68 65 6d 61 29 28 (*xFreeSchema)(
4f40: 76 6f 69 64 2a 29 3b 20 20 2f 2a 20 44 65 73 74 void*); /* Dest
4f50: 72 75 63 74 6f 72 20 66 6f 72 20 42 74 53 68 61 ructor for BtSha
4f60: 72 65 64 2e 70 53 63 68 65 6d 61 20 2a 2f 0a 20 red.pSchema */.
4f70: 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 20 2a sqlite3_mutex *
4f80: 6d 75 74 65 78 3b 20 2f 2a 20 4e 6f 6e 2d 72 65 mutex; /* Non-re
4f90: 63 75 72 73 69 76 65 20 6d 75 74 65 78 20 72 65 cursive mutex re
4fa0: 71 75 69 72 65 64 20 74 6f 20 61 63 63 65 73 73 quired to access
4fb0: 20 74 68 69 73 20 6f 62 6a 65 63 74 20 2a 2f 0a this object */.
4fc0: 20 20 42 69 74 76 65 63 20 2a 70 48 61 73 43 6f Bitvec *pHasCo
4fd0: 6e 74 65 6e 74 3b 20 20 2f 2a 20 53 65 74 20 6f ntent; /* Set o
4fe0: 66 20 70 61 67 65 73 20 6d 6f 76 65 64 20 74 6f f pages moved to
4ff0: 20 66 72 65 65 2d 6c 69 73 74 20 74 68 69 73 20 free-list this
5000: 74 72 61 6e 73 61 63 74 69 6f 6e 20 2a 2f 0a 23 transaction */.#
5010: 69 66 6e 64 65 66 20 53 51 4c 49 54 45 5f 4f 4d ifndef SQLITE_OM
5020: 49 54 5f 53 48 41 52 45 44 5f 43 41 43 48 45 0a IT_SHARED_CACHE.
5030: 20 20 69 6e 74 20 6e 52 65 66 3b 20 20 20 20 20 int nRef;
5040: 20 20 20 20 20 20 20 20 2f 2a 20 4e 75 6d 62 65 /* Numbe
5050: 72 20 6f 66 20 72 65 66 65 72 65 6e 63 65 73 20 r of references
5060: 74 6f 20 74 68 69 73 20 73 74 72 75 63 74 75 72 to this structur
5070: 65 20 2a 2f 0a 20 20 42 74 53 68 61 72 65 64 20 e */. BtShared
5080: 2a 70 4e 65 78 74 3b 20 20 20 20 20 20 2f 2a 20 *pNext; /*
5090: 4e 65 78 74 20 6f 6e 20 61 20 6c 69 73 74 20 6f Next on a list o
50a0: 66 20 73 68 61 72 61 62 6c 65 20 42 74 53 68 61 f sharable BtSha
50b0: 72 65 64 20 73 74 72 75 63 74 73 20 2a 2f 0a 20 red structs */.
50c0: 20 42 74 4c 6f 63 6b 20 2a 70 4c 6f 63 6b 3b 20 BtLock *pLock;
50d0: 20 20 20 20 20 20 20 2f 2a 20 4c 69 73 74 20 6f /* List o
50e0: 66 20 6c 6f 63 6b 73 20 68 65 6c 64 20 6f 6e 20 f locks held on
50f0: 74 68 69 73 20 73 68 61 72 65 64 2d 62 74 72 65 this shared-btre
5100: 65 20 73 74 72 75 63 74 20 2a 2f 0a 20 20 42 74 e struct */. Bt
5110: 72 65 65 20 2a 70 57 72 69 74 65 72 3b 20 20 20 ree *pWriter;
5120: 20 20 20 20 2f 2a 20 42 74 72 65 65 20 77 69 74 /* Btree wit
5130: 68 20 63 75 72 72 65 6e 74 6c 79 20 6f 70 65 6e h currently open
5140: 20 77 72 69 74 65 20 74 72 61 6e 73 61 63 74 69 write transacti
5150: 6f 6e 20 2a 2f 0a 23 65 6e 64 69 66 0a 20 20 75 on */.#endif. u
5160: 38 20 2a 70 54 6d 70 53 70 61 63 65 3b 20 20 20 8 *pTmpSpace;
5170: 20 20 20 20 20 2f 2a 20 54 65 6d 70 20 73 70 61 /* Temp spa
5180: 63 65 20 73 75 66 66 69 63 69 65 6e 74 20 74 6f ce sufficient to
5190: 20 68 6f 6c 64 20 61 20 73 69 6e 67 6c 65 20 63 hold a single c
51a0: 65 6c 6c 20 2a 2f 0a 23 69 66 6e 64 65 66 20 53 ell */.#ifndef S
51b0: 51 4c 49 54 45 5f 4f 4d 49 54 5f 43 4f 4e 43 55 QLITE_OMIT_CONCU
51c0: 52 52 45 4e 54 0a 20 20 42 74 72 65 65 50 74 72 RRENT. BtreePtr
51d0: 6d 61 70 20 2a 70 4d 61 70 3b 0a 23 65 6e 64 69 map *pMap;.#endi
51e0: 66 0a 7d 3b 0a 0a 2f 2a 0a 2a 2a 20 41 6c 6c 6f f.};../*.** Allo
51f0: 77 65 64 20 76 61 6c 75 65 73 20 66 6f 72 20 42 wed values for B
5200: 74 53 68 61 72 65 64 2e 62 74 73 46 6c 61 67 73 tShared.btsFlags
5210: 0a 2a 2f 0a 23 64 65 66 69 6e 65 20 42 54 53 5f .*/.#define BTS_
5220: 52 45 41 44 5f 4f 4e 4c 59 20 20 20 20 20 20 20 READ_ONLY
5230: 20 30 78 30 30 30 31 20 20 20 2f 2a 20 55 6e 64 0x0001 /* Und
5240: 65 72 6c 79 69 6e 67 20 66 69 6c 65 20 69 73 20 erlying file is
5250: 72 65 61 64 6f 6e 6c 79 20 2a 2f 0a 23 64 65 66 readonly */.#def
5260: 69 6e 65 20 42 54 53 5f 50 41 47 45 53 49 5a 45 ine BTS_PAGESIZE
5270: 5f 46 49 58 45 44 20 20 20 30 78 30 30 30 32 20 _FIXED 0x0002
5280: 20 20 2f 2a 20 50 61 67 65 20 73 69 7a 65 20 63 /* Page size c
5290: 61 6e 20 6e 6f 20 6c 6f 6e 67 65 72 20 62 65 20 an no longer be
52a0: 63 68 61 6e 67 65 64 20 2a 2f 0a 23 64 65 66 69 changed */.#defi
52b0: 6e 65 20 42 54 53 5f 53 45 43 55 52 45 5f 44 45 ne BTS_SECURE_DE
52c0: 4c 45 54 45 20 20 20 20 30 78 30 30 30 34 20 20 LETE 0x0004
52d0: 20 2f 2a 20 50 52 41 47 4d 41 20 73 65 63 75 72 /* PRAGMA secur
52e0: 65 5f 64 65 6c 65 74 65 20 69 73 20 65 6e 61 62 e_delete is enab
52f0: 6c 65 64 20 2a 2f 0a 23 64 65 66 69 6e 65 20 42 led */.#define B
5300: 54 53 5f 4f 56 45 52 57 52 49 54 45 20 20 20 20 TS_OVERWRITE
5310: 20 20 20 20 30 78 30 30 30 38 20 20 20 2f 2a 20 0x0008 /*
5320: 4f 76 65 72 77 72 69 74 65 20 64 65 6c 65 74 65 Overwrite delete
5330: 64 20 63 6f 6e 74 65 6e 74 20 77 69 74 68 20 7a d content with z
5340: 65 72 6f 73 20 2a 2f 0a 23 64 65 66 69 6e 65 20 eros */.#define
5350: 42 54 53 5f 46 41 53 54 5f 53 45 43 55 52 45 20 BTS_FAST_SECURE
5360: 20 20 20 20 20 30 78 30 30 30 63 20 20 20 2f 2a 0x000c /*
5370: 20 43 6f 6d 62 69 6e 61 74 69 6f 6e 20 6f 66 20 Combination of
5380: 74 68 65 20 70 72 65 76 69 6f 75 73 20 74 77 6f the previous two
5390: 20 2a 2f 0a 23 64 65 66 69 6e 65 20 42 54 53 5f */.#define BTS_
53a0: 49 4e 49 54 49 41 4c 4c 59 5f 45 4d 50 54 59 20 INITIALLY_EMPTY
53b0: 20 30 78 30 30 31 30 20 20 20 2f 2a 20 44 61 74 0x0010 /* Dat
53c0: 61 62 61 73 65 20 77 61 73 20 65 6d 70 74 79 20 abase was empty
53d0: 61 74 20 74 72 61 6e 73 20 73 74 61 72 74 20 2a at trans start *
53e0: 2f 0a 23 64 65 66 69 6e 65 20 42 54 53 5f 4e 4f /.#define BTS_NO
53f0: 5f 57 41 4c 20 20 20 20 20 20 20 20 20 20 20 30 _WAL 0
5400: 78 30 30 32 30 20 20 20 2f 2a 20 44 6f 20 6e 6f x0020 /* Do no
5410: 74 20 6f 70 65 6e 20 77 72 69 74 65 2d 61 68 65 t open write-ahe
5420: 61 64 2d 6c 6f 67 20 66 69 6c 65 73 20 2a 2f 0a ad-log files */.
5430: 23 64 65 66 69 6e 65 20 42 54 53 5f 45 58 43 4c #define BTS_EXCL
5440: 55 53 49 56 45 20 20 20 20 20 20 20 20 30 78 30 USIVE 0x0
5450: 30 34 30 20 20 20 2f 2a 20 70 57 72 69 74 65 72 040 /* pWriter
5460: 20 68 61 73 20 61 6e 20 65 78 63 6c 75 73 69 76 has an exclusiv
5470: 65 20 6c 6f 63 6b 20 2a 2f 0a 23 64 65 66 69 6e e lock */.#defin
5480: 65 20 42 54 53 5f 50 45 4e 44 49 4e 47 20 20 20 e BTS_PENDING
5490: 20 20 20 20 20 20 20 30 78 30 30 38 30 20 20 20 0x0080
54a0: 2f 2a 20 57 61 69 74 69 6e 67 20 66 6f 72 20 72 /* Waiting for r
54b0: 65 61 64 2d 6c 6f 63 6b 73 20 74 6f 20 63 6c 65 ead-locks to cle
54c0: 61 72 20 2a 2f 0a 0a 2f 2a 0a 2a 2a 20 41 6e 20 ar */../*.** An
54d0: 69 6e 73 74 61 6e 63 65 20 6f 66 20 74 68 65 20 instance of the
54e0: 66 6f 6c 6c 6f 77 69 6e 67 20 73 74 72 75 63 74 following struct
54f0: 75 72 65 20 69 73 20 75 73 65 64 20 74 6f 20 68 ure is used to h
5500: 6f 6c 64 20 69 6e 66 6f 72 6d 61 74 69 6f 6e 0a old information.
5510: 2a 2a 20 61 62 6f 75 74 20 61 20 63 65 6c 6c 2e ** about a cell.
5520: 20 20 54 68 65 20 70 61 72 73 65 43 65 6c 6c 50 The parseCellP
5530: 74 72 28 29 20 66 75 6e 63 74 69 6f 6e 20 66 69 tr() function fi
5540: 6c 6c 73 20 69 6e 20 74 68 69 73 20 73 74 72 75 lls in this stru
5550: 63 74 75 72 65 0a 2a 2a 20 62 61 73 65 64 20 6f cture.** based o
5560: 6e 20 69 6e 66 6f 72 6d 61 74 69 6f 6e 20 65 78 n information ex
5570: 74 72 61 63 74 20 66 72 6f 6d 20 74 68 65 20 72 tract from the r
5580: 61 77 20 64 69 73 6b 20 70 61 67 65 2e 0a 2a 2f aw disk page..*/
5590: 0a 73 74 72 75 63 74 20 43 65 6c 6c 49 6e 66 6f .struct CellInfo
55a0: 20 7b 0a 20 20 69 36 34 20 6e 4b 65 79 3b 20 20 {. i64 nKey;
55b0: 20 20 20 20 2f 2a 20 54 68 65 20 6b 65 79 20 66 /* The key f
55c0: 6f 72 20 49 4e 54 4b 45 59 20 74 61 62 6c 65 73 or INTKEY tables
55d0: 2c 20 6f 72 20 6e 50 61 79 6c 6f 61 64 20 6f 74 , or nPayload ot
55e0: 68 65 72 77 69 73 65 20 2a 2f 0a 20 20 75 38 20 herwise */. u8
55f0: 2a 70 50 61 79 6c 6f 61 64 3b 20 20 2f 2a 20 50 *pPayload; /* P
5600: 6f 69 6e 74 65 72 20 74 6f 20 74 68 65 20 73 74 ointer to the st
5610: 61 72 74 20 6f 66 20 70 61 79 6c 6f 61 64 20 2a art of payload *
5620: 2f 0a 20 20 75 33 32 20 6e 50 61 79 6c 6f 61 64 /. u32 nPayload
5630: 3b 20 20 2f 2a 20 42 79 74 65 73 20 6f 66 20 70 ; /* Bytes of p
5640: 61 79 6c 6f 61 64 20 2a 2f 0a 20 20 75 31 36 20 ayload */. u16
5650: 6e 4c 6f 63 61 6c 3b 20 20 20 20 2f 2a 20 41 6d nLocal; /* Am
5660: 6f 75 6e 74 20 6f 66 20 70 61 79 6c 6f 61 64 20 ount of payload
5670: 68 65 6c 64 20 6c 6f 63 61 6c 6c 79 2c 20 6e 6f held locally, no
5680: 74 20 6f 6e 20 6f 76 65 72 66 6c 6f 77 20 2a 2f t on overflow */
5690: 0a 20 20 75 31 36 20 6e 53 69 7a 65 3b 20 20 20 . u16 nSize;
56a0: 20 20 2f 2a 20 53 69 7a 65 20 6f 66 20 74 68 65 /* Size of the
56b0: 20 63 65 6c 6c 20 63 6f 6e 74 65 6e 74 20 6f 6e cell content on
56c0: 20 74 68 65 20 6d 61 69 6e 20 62 2d 74 72 65 65 the main b-tree
56d0: 20 70 61 67 65 20 2a 2f 0a 7d 3b 0a 0a 2f 2a 0a page */.};../*.
56e0: 2a 2a 20 4d 61 78 69 6d 75 6d 20 64 65 70 74 68 ** Maximum depth
56f0: 20 6f 66 20 61 6e 20 53 51 4c 69 74 65 20 42 2d of an SQLite B-
5700: 54 72 65 65 20 73 74 72 75 63 74 75 72 65 2e 20 Tree structure.
5710: 41 6e 79 20 42 2d 54 72 65 65 20 64 65 65 70 65 Any B-Tree deepe
5720: 72 20 74 68 61 6e 0a 2a 2a 20 74 68 69 73 20 77 r than.** this w
5730: 69 6c 6c 20 62 65 20 64 65 63 6c 61 72 65 64 20 ill be declared
5740: 63 6f 72 72 75 70 74 2e 20 54 68 69 73 20 76 61 corrupt. This va
5750: 6c 75 65 20 69 73 20 63 61 6c 63 75 6c 61 74 65 lue is calculate
5760: 64 20 62 61 73 65 64 20 6f 6e 20 61 0a 2a 2a 20 d based on a.**
5770: 6d 61 78 69 6d 75 6d 20 64 61 74 61 62 61 73 65 maximum database
5780: 20 73 69 7a 65 20 6f 66 20 32 5e 33 31 20 70 61 size of 2^31 pa
5790: 67 65 73 20 61 20 6d 69 6e 69 6d 75 6d 20 66 61 ges a minimum fa
57a0: 6e 6f 75 74 20 6f 66 20 32 20 66 6f 72 20 61 0a nout of 2 for a.
57b0: 2a 2a 20 72 6f 6f 74 2d 6e 6f 64 65 20 61 6e 64 ** root-node and
57c0: 20 33 20 66 6f 72 20 61 6c 6c 20 6f 74 68 65 72 3 for all other
57d0: 20 69 6e 74 65 72 6e 61 6c 20 6e 6f 64 65 73 2e internal nodes.
57e0: 0a 2a 2a 0a 2a 2a 20 49 66 20 61 20 74 72 65 65 .**.** If a tree
57f0: 20 74 68 61 74 20 61 70 70 65 61 72 73 20 74 6f that appears to
5800: 20 62 65 20 74 61 6c 6c 65 72 20 74 68 61 6e 20 be taller than
5810: 74 68 69 73 20 69 73 20 65 6e 63 6f 75 6e 74 65 this is encounte
5820: 72 65 64 2c 20 69 74 20 69 73 0a 2a 2a 20 61 73 red, it is.** as
5830: 73 75 6d 65 64 20 74 68 61 74 20 74 68 65 20 64 sumed that the d
5840: 61 74 61 62 61 73 65 20 69 73 20 63 6f 72 72 75 atabase is corru
5850: 70 74 2e 0a 2a 2f 0a 23 64 65 66 69 6e 65 20 42 pt..*/.#define B
5860: 54 43 55 52 53 4f 52 5f 4d 41 58 5f 44 45 50 54 TCURSOR_MAX_DEPT
5870: 48 20 32 30 0a 0a 2f 2a 0a 2a 2a 20 41 20 63 75 H 20../*.** A cu
5880: 72 73 6f 72 20 69 73 20 61 20 70 6f 69 6e 74 65 rsor is a pointe
5890: 72 20 74 6f 20 61 20 70 61 72 74 69 63 75 6c 61 r to a particula
58a0: 72 20 65 6e 74 72 79 20 77 69 74 68 69 6e 20 61 r entry within a
58b0: 20 70 61 72 74 69 63 75 6c 61 72 0a 2a 2a 20 62 particular.** b
58c0: 2d 74 72 65 65 20 77 69 74 68 69 6e 20 61 20 64 -tree within a d
58d0: 61 74 61 62 61 73 65 20 66 69 6c 65 2e 0a 2a 2a atabase file..**
58e0: 0a 2a 2a 20 54 68 65 20 65 6e 74 72 79 20 69 73 .** The entry is
58f0: 20 69 64 65 6e 74 69 66 69 65 64 20 62 79 20 69 identified by i
5900: 74 73 20 4d 65 6d 50 61 67 65 20 61 6e 64 20 74 ts MemPage and t
5910: 68 65 20 69 6e 64 65 78 20 69 6e 0a 2a 2a 20 4d he index in.** M
5920: 65 6d 50 61 67 65 2e 61 43 65 6c 6c 5b 5d 20 6f emPage.aCell[] o
5930: 66 20 74 68 65 20 65 6e 74 72 79 2e 0a 2a 2a 0a f the entry..**.
5940: 2a 2a 20 41 20 73 69 6e 67 6c 65 20 64 61 74 61 ** A single data
5950: 62 61 73 65 20 66 69 6c 65 20 63 61 6e 20 62 65 base file can be
5960: 20 73 68 61 72 65 64 20 62 79 20 74 77 6f 20 6d shared by two m
5970: 6f 72 65 20 64 61 74 61 62 61 73 65 20 63 6f 6e ore database con
5980: 6e 65 63 74 69 6f 6e 73 2c 0a 2a 2a 20 62 75 74 nections,.** but
5990: 20 63 75 72 73 6f 72 73 20 63 61 6e 6e 6f 74 20 cursors cannot
59a0: 62 65 20 73 68 61 72 65 64 2e 20 20 45 61 63 68 be shared. Each
59b0: 20 63 75 72 73 6f 72 20 69 73 20 61 73 73 6f 63 cursor is assoc
59c0: 69 61 74 65 64 20 77 69 74 68 20 61 0a 2a 2a 20 iated with a.**
59d0: 70 61 72 74 69 63 75 6c 61 72 20 64 61 74 61 62 particular datab
59e0: 61 73 65 20 63 6f 6e 6e 65 63 74 69 6f 6e 20 69 ase connection i
59f0: 64 65 6e 74 69 66 69 65 64 20 42 74 43 75 72 73 dentified BtCurs
5a00: 6f 72 2e 70 42 74 72 65 65 2e 64 62 2e 0a 2a 2a or.pBtree.db..**
5a10: 0a 2a 2a 20 46 69 65 6c 64 73 20 69 6e 20 74 68 .** Fields in th
5a20: 69 73 20 73 74 72 75 63 74 75 72 65 20 61 72 65 is structure are
5a30: 20 61 63 63 65 73 73 65 64 20 75 6e 64 65 72 20 accessed under
5a40: 74 68 65 20 42 74 53 68 61 72 65 64 2e 6d 75 74 the BtShared.mut
5a50: 65 78 0a 2a 2a 20 66 6f 75 6e 64 20 61 74 20 73 ex.** found at s
5a60: 65 6c 66 2d 3e 70 42 74 2d 3e 6d 75 74 65 78 2e elf->pBt->mutex.
5a70: 20 0a 2a 2a 0a 2a 2a 20 73 6b 69 70 4e 65 78 74 .**.** skipNext
5a80: 20 6d 65 61 6e 69 6e 67 3a 0a 2a 2a 20 20 20 20 meaning:.**
5a90: 65 53 74 61 74 65 3d 3d 53 4b 49 50 4e 45 58 54 eState==SKIPNEXT
5aa0: 20 26 26 20 73 6b 69 70 4e 65 78 74 3e 30 3a 20 && skipNext>0:
5ab0: 20 4e 65 78 74 20 73 71 6c 69 74 65 33 42 74 72 Next sqlite3Btr
5ac0: 65 65 4e 65 78 74 28 29 20 69 73 20 6e 6f 2d 6f eeNext() is no-o
5ad0: 70 2e 0a 2a 2a 20 20 20 20 65 53 74 61 74 65 3d p..** eState=
5ae0: 3d 53 4b 49 50 4e 45 58 54 20 26 26 20 73 6b 69 =SKIPNEXT && ski
5af0: 70 4e 65 78 74 3c 30 3a 20 20 4e 65 78 74 20 73 pNext<0: Next s
5b00: 71 6c 69 74 65 33 42 74 72 65 65 50 72 65 76 69 qlite3BtreePrevi
5b10: 6f 75 73 28 29 20 69 73 20 6e 6f 2d 6f 70 2e 0a ous() is no-op..
5b20: 2a 2a 20 20 20 20 65 53 74 61 74 65 3d 3d 46 41 ** eState==FA
5b30: 55 4c 54 3a 20 20 20 20 20 20 20 20 20 20 20 20 ULT:
5b40: 20 20 20 20 20 20 20 43 75 72 73 6f 72 20 66 61 Cursor fa
5b50: 75 6c 74 20 77 69 74 68 20 73 6b 69 70 4e 65 78 ult with skipNex
5b60: 74 20 61 73 20 65 72 72 6f 72 20 63 6f 64 65 2e t as error code.
5b70: 0a 2a 2f 0a 73 74 72 75 63 74 20 42 74 43 75 72 .*/.struct BtCur
5b80: 73 6f 72 20 7b 0a 20 20 42 74 72 65 65 20 2a 70 sor {. Btree *p
5b90: 42 74 72 65 65 3b 20 20 20 20 20 20 20 20 20 20 Btree;
5ba0: 20 20 2f 2a 20 54 68 65 20 42 74 72 65 65 20 74 /* The Btree t
5bb0: 6f 20 77 68 69 63 68 20 74 68 69 73 20 63 75 72 o which this cur
5bc0: 73 6f 72 20 62 65 6c 6f 6e 67 73 20 2a 2f 0a 20 sor belongs */.
5bd0: 20 42 74 53 68 61 72 65 64 20 2a 70 42 74 3b 20 BtShared *pBt;
5be0: 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 54 68 /* Th
5bf0: 65 20 42 74 53 68 61 72 65 64 20 74 68 69 73 20 e BtShared this
5c00: 63 75 72 73 6f 72 20 70 6f 69 6e 74 73 20 74 6f cursor points to
5c10: 20 2a 2f 0a 20 20 42 74 43 75 72 73 6f 72 20 2a */. BtCursor *
5c20: 70 4e 65 78 74 3b 20 20 20 20 20 20 20 20 20 20 pNext;
5c30: 2f 2a 20 46 6f 72 6d 73 20 61 20 6c 69 6e 6b 65 /* Forms a linke
5c40: 64 20 6c 69 73 74 20 6f 66 20 61 6c 6c 20 63 75 d list of all cu
5c50: 72 73 6f 72 73 20 2a 2f 0a 20 20 50 67 6e 6f 20 rsors */. Pgno
5c60: 2a 61 4f 76 65 72 66 6c 6f 77 3b 20 20 20 20 20 *aOverflow;
5c70: 20 20 20 20 20 2f 2a 20 43 61 63 68 65 20 6f 66 /* Cache of
5c80: 20 6f 76 65 72 66 6c 6f 77 20 70 61 67 65 20 6c overflow page l
5c90: 6f 63 61 74 69 6f 6e 73 20 2a 2f 0a 20 20 43 65 ocations */. Ce
5ca0: 6c 6c 49 6e 66 6f 20 69 6e 66 6f 3b 20 20 20 20 llInfo info;
5cb0: 20 20 20 20 20 20 20 20 2f 2a 20 41 20 70 61 72 /* A par
5cc0: 73 65 20 6f 66 20 74 68 65 20 63 65 6c 6c 20 77 se of the cell w
5cd0: 65 20 61 72 65 20 70 6f 69 6e 74 69 6e 67 20 61 e are pointing a
5ce0: 74 20 2a 2f 0a 20 20 69 36 34 20 6e 4b 65 79 3b t */. i64 nKey;
5cf0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
5d00: 20 2f 2a 20 53 69 7a 65 20 6f 66 20 70 4b 65 79 /* Size of pKey
5d10: 2c 20 6f 72 20 6c 61 73 74 20 69 6e 74 65 67 65 , or last intege
5d20: 72 20 6b 65 79 20 2a 2f 0a 20 20 76 6f 69 64 20 r key */. void
5d30: 2a 70 4b 65 79 3b 20 20 20 20 20 20 20 20 20 20 *pKey;
5d40: 20 20 20 20 20 2f 2a 20 53 61 76 65 64 20 6b 65 /* Saved ke
5d50: 79 20 74 68 61 74 20 77 61 73 20 63 75 72 73 6f y that was curso
5d60: 72 20 6c 61 73 74 20 6b 6e 6f 77 6e 20 70 6f 73 r last known pos
5d70: 69 74 69 6f 6e 20 2a 2f 0a 20 20 50 67 6e 6f 20 ition */. Pgno
5d80: 70 67 6e 6f 52 6f 6f 74 3b 20 20 20 20 20 20 20 pgnoRoot;
5d90: 20 20 20 20 20 2f 2a 20 54 68 65 20 72 6f 6f 74 /* The root
5da0: 20 70 61 67 65 20 6f 66 20 74 68 69 73 20 74 72 page of this tr
5db0: 65 65 20 2a 2f 0a 20 20 69 6e 74 20 6e 4f 76 66 ee */. int nOvf
5dc0: 6c 41 6c 6c 6f 63 3b 20 20 20 20 20 20 20 20 20 lAlloc;
5dd0: 20 20 2f 2a 20 41 6c 6c 6f 63 61 74 65 64 20 73 /* Allocated s
5de0: 69 7a 65 20 6f 66 20 61 4f 76 65 72 66 6c 6f 77 ize of aOverflow
5df0: 5b 5d 20 61 72 72 61 79 20 2a 2f 0a 20 20 69 6e [] array */. in
5e00: 74 20 73 6b 69 70 4e 65 78 74 3b 20 20 20 20 2f t skipNext; /
5e10: 2a 20 50 72 65 76 28 29 20 69 73 20 6e 6f 6f 70 * Prev() is noop
5e20: 20 69 66 20 6e 65 67 61 74 69 76 65 2e 20 4e 65 if negative. Ne
5e30: 78 74 28 29 20 69 73 20 6e 6f 6f 70 20 69 66 20 xt() is noop if
5e40: 70 6f 73 69 74 69 76 65 2e 0a 20 20 20 20 20 20 positive..
5e50: 20 20 20 20 20 20 20 20 20 20 20 20 20 2a 2a 20 **
5e60: 45 72 72 6f 72 20 63 6f 64 65 20 69 66 20 65 53 Error code if eS
5e70: 74 61 74 65 3d 3d 43 55 52 53 4f 52 5f 46 41 55 tate==CURSOR_FAU
5e80: 4c 54 20 2a 2f 0a 20 20 75 38 20 63 75 72 46 6c LT */. u8 curFl
5e90: 61 67 73 3b 20 20 20 20 20 20 20 20 20 20 20 20 ags;
5ea0: 20 20 2f 2a 20 7a 65 72 6f 20 6f 72 20 6d 6f 72 /* zero or mor
5eb0: 65 20 42 54 43 46 5f 2a 20 66 6c 61 67 73 20 64 e BTCF_* flags d
5ec0: 65 66 69 6e 65 64 20 62 65 6c 6f 77 20 2a 2f 0a efined below */.
5ed0: 20 20 75 38 20 63 75 72 50 61 67 65 72 46 6c 61 u8 curPagerFla
5ee0: 67 73 3b 20 20 20 20 20 20 20 20 20 2f 2a 20 46 gs; /* F
5ef0: 6c 61 67 73 20 74 6f 20 73 65 6e 64 20 74 6f 20 lags to send to
5f00: 73 71 6c 69 74 65 33 50 61 67 65 72 47 65 74 28 sqlite3PagerGet(
5f10: 29 20 2a 2f 0a 20 20 75 38 20 65 53 74 61 74 65 ) */. u8 eState
5f20: 3b 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 ;
5f30: 20 2f 2a 20 4f 6e 65 20 6f 66 20 74 68 65 20 43 /* One of the C
5f40: 55 52 53 4f 52 5f 58 58 58 20 63 6f 6e 73 74 61 URSOR_XXX consta
5f50: 6e 74 73 20 28 73 65 65 20 62 65 6c 6f 77 29 20 nts (see below)
5f60: 2a 2f 0a 20 20 75 38 20 68 69 6e 74 73 3b 20 20 */. u8 hints;
5f70: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f /
5f80: 2a 20 41 73 20 63 6f 6e 66 69 67 75 72 65 64 20 * As configured
5f90: 62 79 20 43 75 72 73 6f 72 53 65 74 48 69 6e 74 by CursorSetHint
5fa0: 73 28 29 20 2a 2f 0a 20 20 2f 2a 20 41 6c 6c 20 s() */. /* All
5fb0: 66 69 65 6c 64 73 20 61 62 6f 76 65 20 61 72 65 fields above are
5fc0: 20 7a 65 72 6f 65 64 20 77 68 65 6e 20 74 68 65 zeroed when the
5fd0: 20 63 75 72 73 6f 72 20 69 73 20 61 6c 6c 6f 63 cursor is alloc
5fe0: 61 74 65 64 2e 20 20 53 65 65 0a 20 20 2a 2a 20 ated. See. **
5ff0: 73 71 6c 69 74 65 33 42 74 72 65 65 43 75 72 73 sqlite3BtreeCurs
6000: 6f 72 5a 65 72 6f 28 29 2e 20 20 46 69 65 6c 64 orZero(). Field
6010: 73 20 74 68 61 74 20 66 6f 6c 6c 6f 77 20 6d 75 s that follow mu
6020: 73 74 20 62 65 20 6d 61 6e 75 61 6c 6c 79 0a 20 st be manually.
6030: 20 2a 2a 20 69 6e 69 74 69 61 6c 69 7a 65 64 2e ** initialized.
6040: 20 2a 2f 0a 20 20 69 38 20 69 50 61 67 65 3b 20 */. i8 iPage;
6050: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
6060: 2f 2a 20 49 6e 64 65 78 20 6f 66 20 63 75 72 72 /* Index of curr
6070: 65 6e 74 20 70 61 67 65 20 69 6e 20 61 70 50 61 ent page in apPa
6080: 67 65 20 2a 2f 0a 20 20 75 38 20 63 75 72 49 6e ge */. u8 curIn
6090: 74 4b 65 79 3b 20 20 20 20 20 20 20 20 20 20 20 tKey;
60a0: 20 20 2f 2a 20 56 61 6c 75 65 20 6f 66 20 61 70 /* Value of ap
60b0: 50 61 67 65 5b 30 5d 2d 3e 69 6e 74 4b 65 79 20 Page[0]->intKey
60c0: 2a 2f 0a 20 20 75 31 36 20 69 78 3b 20 20 20 20 */. u16 ix;
60d0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f /
60e0: 2a 20 43 75 72 72 65 6e 74 20 69 6e 64 65 78 20 * Current index
60f0: 66 6f 72 20 61 70 50 61 67 65 5b 69 50 61 67 65 for apPage[iPage
6100: 5d 20 2a 2f 0a 20 20 75 31 36 20 61 69 49 64 78 ] */. u16 aiIdx
6110: 5b 42 54 43 55 52 53 4f 52 5f 4d 41 58 5f 44 45 [BTCURSOR_MAX_DE
6120: 50 54 48 2d 31 5d 3b 20 20 20 20 20 2f 2a 20 43 PTH-1]; /* C
6130: 75 72 72 65 6e 74 20 69 6e 64 65 78 20 69 6e 20 urrent index in
6140: 61 70 50 61 67 65 5b 69 5d 20 2a 2f 0a 20 20 73 apPage[i] */. s
6150: 74 72 75 63 74 20 4b 65 79 49 6e 66 6f 20 2a 70 truct KeyInfo *p
6160: 4b 65 79 49 6e 66 6f 3b 20 20 20 20 20 20 20 20 KeyInfo;
6170: 20 20 20 20 2f 2a 20 41 72 67 20 70 61 73 73 65 /* Arg passe
6180: 64 20 74 6f 20 63 6f 6d 70 61 72 69 73 6f 6e 20 d to comparison
6190: 66 75 6e 63 74 69 6f 6e 20 2a 2f 0a 20 20 4d 65 function */. Me
61a0: 6d 50 61 67 65 20 2a 61 70 50 61 67 65 5b 42 54 mPage *apPage[BT
61b0: 43 55 52 53 4f 52 5f 4d 41 58 5f 44 45 50 54 48 CURSOR_MAX_DEPTH
61c0: 5d 3b 20 2f 2a 20 50 61 67 65 73 20 66 72 6f 6d ]; /* Pages from
61d0: 20 72 6f 6f 74 20 74 6f 20 63 75 72 72 65 6e 74 root to current
61e0: 20 70 61 67 65 20 2a 2f 0a 7d 3b 0a 0a 2f 2a 0a page */.};../*.
61f0: 2a 2a 20 4c 65 67 61 6c 20 76 61 6c 75 65 73 20 ** Legal values
6200: 66 6f 72 20 42 74 43 75 72 73 6f 72 2e 63 75 72 for BtCursor.cur
6210: 46 6c 61 67 73 0a 2a 2f 0a 23 64 65 66 69 6e 65 Flags.*/.#define
6220: 20 42 54 43 46 5f 57 72 69 74 65 46 6c 61 67 20 BTCF_WriteFlag
6230: 20 20 20 30 78 30 31 20 20 20 2f 2a 20 54 72 75 0x01 /* Tru
6240: 65 20 69 66 20 61 20 77 72 69 74 65 20 63 75 72 e if a write cur
6250: 73 6f 72 20 2a 2f 0a 23 64 65 66 69 6e 65 20 42 sor */.#define B
6260: 54 43 46 5f 56 61 6c 69 64 4e 4b 65 79 20 20 20 TCF_ValidNKey
6270: 20 30 78 30 32 20 20 20 2f 2a 20 54 72 75 65 20 0x02 /* True
6280: 69 66 20 69 6e 66 6f 2e 6e 4b 65 79 20 69 73 20 if info.nKey is
6290: 76 61 6c 69 64 20 2a 2f 0a 23 64 65 66 69 6e 65 valid */.#define
62a0: 20 42 54 43 46 5f 56 61 6c 69 64 4f 76 66 6c 20 BTCF_ValidOvfl
62b0: 20 20 20 30 78 30 34 20 20 20 2f 2a 20 54 72 75 0x04 /* Tru
62c0: 65 20 69 66 20 61 4f 76 65 72 66 6c 6f 77 20 69 e if aOverflow i
62d0: 73 20 76 61 6c 69 64 20 2a 2f 0a 23 64 65 66 69 s valid */.#defi
62e0: 6e 65 20 42 54 43 46 5f 41 74 4c 61 73 74 20 20 ne BTCF_AtLast
62f0: 20 20 20 20 20 30 78 30 38 20 20 20 2f 2a 20 43 0x08 /* C
6300: 75 72 73 6f 72 20 69 73 20 70 6f 69 6e 74 69 6e ursor is pointin
6310: 67 20 6f 74 20 74 68 65 20 6c 61 73 74 20 65 6e g ot the last en
6320: 74 72 79 20 2a 2f 0a 23 64 65 66 69 6e 65 20 42 try */.#define B
6330: 54 43 46 5f 49 6e 63 72 62 6c 6f 62 20 20 20 20 TCF_Incrblob
6340: 20 30 78 31 30 20 20 20 2f 2a 20 54 72 75 65 20 0x10 /* True
6350: 69 66 20 61 6e 20 69 6e 63 72 65 6d 65 6e 74 61 if an incrementa
6360: 6c 20 49 2f 4f 20 68 61 6e 64 6c 65 20 2a 2f 0a l I/O handle */.
6370: 23 64 65 66 69 6e 65 20 42 54 43 46 5f 4d 75 6c #define BTCF_Mul
6380: 74 69 70 6c 65 20 20 20 20 20 30 78 32 30 20 20 tiple 0x20
6390: 20 2f 2a 20 4d 61 79 62 65 20 61 6e 6f 74 68 65 /* Maybe anothe
63a0: 72 20 63 75 72 73 6f 72 20 6f 6e 20 74 68 65 20 r cursor on the
63b0: 73 61 6d 65 20 62 74 72 65 65 20 2a 2f 0a 0a 2f same btree */../
63c0: 2a 0a 2a 2a 20 50 6f 74 65 6e 74 69 61 6c 20 76 *.** Potential v
63d0: 61 6c 75 65 73 20 66 6f 72 20 42 74 43 75 72 73 alues for BtCurs
63e0: 6f 72 2e 65 53 74 61 74 65 2e 0a 2a 2a 0a 2a 2a or.eState..**.**
63f0: 20 43 55 52 53 4f 52 5f 49 4e 56 41 4c 49 44 3a CURSOR_INVALID:
6400: 0a 2a 2a 20 20 20 43 75 72 73 6f 72 20 64 6f 65 .** Cursor doe
6410: 73 20 6e 6f 74 20 70 6f 69 6e 74 20 74 6f 20 61 s not point to a
6420: 20 76 61 6c 69 64 20 65 6e 74 72 79 2e 20 54 68 valid entry. Th
6430: 69 73 20 63 61 6e 20 68 61 70 70 65 6e 20 28 66 is can happen (f
6440: 6f 72 20 65 78 61 6d 70 6c 65 29 20 0a 2a 2a 20 or example) .**
6450: 20 20 62 65 63 61 75 73 65 20 74 68 65 20 74 61 because the ta
6460: 62 6c 65 20 69 73 20 65 6d 70 74 79 20 6f 72 20 ble is empty or
6470: 62 65 63 61 75 73 65 20 42 74 72 65 65 43 75 72 because BtreeCur
6480: 73 6f 72 46 69 72 73 74 28 29 20 68 61 73 20 6e sorFirst() has n
6490: 6f 74 20 62 65 65 6e 0a 2a 2a 20 20 20 63 61 6c ot been.** cal
64a0: 6c 65 64 2e 0a 2a 2a 0a 2a 2a 20 43 55 52 53 4f led..**.** CURSO
64b0: 52 5f 56 41 4c 49 44 3a 0a 2a 2a 20 20 20 43 75 R_VALID:.** Cu
64c0: 72 73 6f 72 20 70 6f 69 6e 74 73 20 74 6f 20 61 rsor points to a
64d0: 20 76 61 6c 69 64 20 65 6e 74 72 79 2e 20 67 65 valid entry. ge
64e0: 74 50 61 79 6c 6f 61 64 28 29 20 65 74 63 2e 20 tPayload() etc.
64f0: 6d 61 79 20 62 65 20 63 61 6c 6c 65 64 2e 0a 2a may be called..*
6500: 2a 0a 2a 2a 20 43 55 52 53 4f 52 5f 53 4b 49 50 *.** CURSOR_SKIP
6510: 4e 45 58 54 3a 0a 2a 2a 20 20 20 43 75 72 73 6f NEXT:.** Curso
6520: 72 20 69 73 20 76 61 6c 69 64 20 65 78 63 65 70 r is valid excep
6530: 74 20 74 68 61 74 20 74 68 65 20 43 75 72 73 6f t that the Curso
6540: 72 2e 73 6b 69 70 4e 65 78 74 20 66 69 65 6c 64 r.skipNext field
6550: 20 69 73 20 6e 6f 6e 2d 7a 65 72 6f 0a 2a 2a 20 is non-zero.**
6560: 20 20 69 6e 64 69 63 61 74 69 6e 67 20 74 68 61 indicating tha
6570: 74 20 74 68 65 20 6e 65 78 74 20 73 71 6c 69 74 t the next sqlit
6580: 65 33 42 74 72 65 65 4e 65 78 74 28 29 20 6f 72 e3BtreeNext() or
6590: 20 73 71 6c 69 74 65 33 42 74 72 65 65 50 72 65 sqlite3BtreePre
65a0: 76 69 6f 75 73 28 29 0a 2a 2a 20 20 20 6f 70 65 vious().** ope
65b0: 72 61 74 69 6f 6e 20 73 68 6f 75 6c 64 20 62 65 ration should be
65c0: 20 61 20 6e 6f 2d 6f 70 2e 0a 2a 2a 0a 2a 2a 20 a no-op..**.**
65d0: 43 55 52 53 4f 52 5f 52 45 51 55 49 52 45 53 45 CURSOR_REQUIRESE
65e0: 45 4b 3a 0a 2a 2a 20 20 20 54 68 65 20 74 61 62 EK:.** The tab
65f0: 6c 65 20 74 68 61 74 20 74 68 69 73 20 63 75 72 le that this cur
6600: 73 6f 72 20 77 61 73 20 6f 70 65 6e 65 64 20 6f sor was opened o
6610: 6e 20 73 74 69 6c 6c 20 65 78 69 73 74 73 2c 20 n still exists,
6620: 62 75 74 20 68 61 73 20 62 65 65 6e 20 0a 2a 2a but has been .**
6630: 20 20 20 6d 6f 64 69 66 69 65 64 20 73 69 6e 63 modified sinc
6640: 65 20 74 68 65 20 63 75 72 73 6f 72 20 77 61 73 e the cursor was
6650: 20 6c 61 73 74 20 75 73 65 64 2e 20 54 68 65 20 last used. The
6660: 63 75 72 73 6f 72 20 70 6f 73 69 74 69 6f 6e 20 cursor position
6670: 69 73 20 73 61 76 65 64 0a 2a 2a 20 20 20 69 6e is saved.** in
6680: 20 76 61 72 69 61 62 6c 65 73 20 42 74 43 75 72 variables BtCur
6690: 73 6f 72 2e 70 4b 65 79 20 61 6e 64 20 42 74 43 sor.pKey and BtC
66a0: 75 72 73 6f 72 2e 6e 4b 65 79 2e 20 57 68 65 6e ursor.nKey. When
66b0: 20 61 20 63 75 72 73 6f 72 20 69 73 20 69 6e 20 a cursor is in
66c0: 0a 2a 2a 20 20 20 74 68 69 73 20 73 74 61 74 65 .** this state
66d0: 2c 20 72 65 73 74 6f 72 65 43 75 72 73 6f 72 50 , restoreCursorP
66e0: 6f 73 69 74 69 6f 6e 28 29 20 63 61 6e 20 62 65 osition() can be
66f0: 20 63 61 6c 6c 65 64 20 74 6f 20 61 74 74 65 6d called to attem
6700: 70 74 20 74 6f 0a 2a 2a 20 20 20 73 65 65 6b 20 pt to.** seek
6710: 74 68 65 20 63 75 72 73 6f 72 20 74 6f 20 74 68 the cursor to th
6720: 65 20 73 61 76 65 64 20 70 6f 73 69 74 69 6f 6e e saved position
6730: 2e 0a 2a 2a 0a 2a 2a 20 43 55 52 53 4f 52 5f 46 ..**.** CURSOR_F
6740: 41 55 4c 54 3a 0a 2a 2a 20 20 20 41 6e 20 75 6e AULT:.** An un
6750: 72 65 63 6f 76 65 72 61 62 6c 65 20 65 72 72 6f recoverable erro
6760: 72 20 28 61 6e 20 49 2f 4f 20 65 72 72 6f 72 20 r (an I/O error
6770: 6f 72 20 61 20 6d 61 6c 6c 6f 63 20 66 61 69 6c or a malloc fail
6780: 75 72 65 29 20 68 61 73 20 6f 63 63 75 72 72 65 ure) has occurre
6790: 64 0a 2a 2a 20 20 20 6f 6e 20 61 20 64 69 66 66 d.** on a diff
67a0: 65 72 65 6e 74 20 63 6f 6e 6e 65 63 74 69 6f 6e erent connection
67b0: 20 74 68 61 74 20 73 68 61 72 65 73 20 74 68 65 that shares the
67c0: 20 42 74 53 68 61 72 65 64 20 63 61 63 68 65 20 BtShared cache
67d0: 77 69 74 68 20 74 68 69 73 0a 2a 2a 20 20 20 63 with this.** c
67e0: 75 72 73 6f 72 2e 20 20 54 68 65 20 65 72 72 6f ursor. The erro
67f0: 72 20 68 61 73 20 6c 65 66 74 20 74 68 65 20 63 r has left the c
6800: 61 63 68 65 20 69 6e 20 61 6e 20 69 6e 63 6f 6e ache in an incon
6810: 73 69 73 74 65 6e 74 20 73 74 61 74 65 2e 0a 2a sistent state..*
6820: 2a 20 20 20 44 6f 20 6e 6f 74 68 69 6e 67 20 65 * Do nothing e
6830: 6c 73 65 20 77 69 74 68 20 74 68 69 73 20 63 75 lse with this cu
6840: 72 73 6f 72 2e 20 20 41 6e 79 20 61 74 74 65 6d rsor. Any attem
6850: 70 74 20 74 6f 20 75 73 65 20 74 68 65 20 63 75 pt to use the cu
6860: 72 73 6f 72 0a 2a 2a 20 20 20 73 68 6f 75 6c 64 rsor.** should
6870: 20 72 65 74 75 72 6e 20 74 68 65 20 65 72 72 6f return the erro
6880: 72 20 63 6f 64 65 20 73 74 6f 72 65 64 20 69 6e r code stored in
6890: 20 42 74 43 75 72 73 6f 72 2e 73 6b 69 70 4e 65 BtCursor.skipNe
68a0: 78 74 0a 2a 2f 0a 23 64 65 66 69 6e 65 20 43 55 xt.*/.#define CU
68b0: 52 53 4f 52 5f 49 4e 56 41 4c 49 44 20 20 20 20 RSOR_INVALID
68c0: 20 20 20 20 20 20 20 30 0a 23 64 65 66 69 6e 65 0.#define
68d0: 20 43 55 52 53 4f 52 5f 56 41 4c 49 44 20 20 20 CURSOR_VALID
68e0: 20 20 20 20 20 20 20 20 20 20 31 0a 23 64 65 66 1.#def
68f0: 69 6e 65 20 43 55 52 53 4f 52 5f 53 4b 49 50 4e ine CURSOR_SKIPN
6900: 45 58 54 20 20 20 20 20 20 20 20 20 20 32 0a 23 EXT 2.#
6910: 64 65 66 69 6e 65 20 43 55 52 53 4f 52 5f 52 45 define CURSOR_RE
6920: 51 55 49 52 45 53 45 45 4b 20 20 20 20 20 20 20 QUIRESEEK
6930: 33 0a 23 64 65 66 69 6e 65 20 43 55 52 53 4f 52 3.#define CURSOR
6940: 5f 46 41 55 4c 54 20 20 20 20 20 20 20 20 20 20 _FAULT
6950: 20 20 20 34 0a 0a 2f 2a 20 0a 2a 2a 20 54 68 65 4../* .** The
6960: 20 64 61 74 61 62 61 73 65 20 70 61 67 65 20 74 database page t
6970: 68 65 20 50 45 4e 44 49 4e 47 5f 42 59 54 45 20 he PENDING_BYTE
6980: 6f 63 63 75 70 69 65 73 2e 20 54 68 69 73 20 70 occupies. This p
6990: 61 67 65 20 69 73 20 6e 65 76 65 72 20 75 73 65 age is never use
69a0: 64 2e 0a 2a 2f 0a 23 20 64 65 66 69 6e 65 20 50 d..*/.# define P
69b0: 45 4e 44 49 4e 47 5f 42 59 54 45 5f 50 41 47 45 ENDING_BYTE_PAGE
69c0: 28 70 42 74 29 20 50 41 47 45 52 5f 4d 4a 5f 50 (pBt) PAGER_MJ_P
69d0: 47 4e 4f 28 70 42 74 29 0a 0a 2f 2a 0a 2a 2a 20 GNO(pBt)../*.**
69e0: 54 68 65 73 65 20 6d 61 63 72 6f 73 20 64 65 66 These macros def
69f0: 69 6e 65 20 74 68 65 20 6c 6f 63 61 74 69 6f 6e ine the location
6a00: 20 6f 66 20 74 68 65 20 70 6f 69 6e 74 65 72 2d of the pointer-
6a10: 6d 61 70 20 65 6e 74 72 79 20 66 6f 72 20 61 20 map entry for a
6a20: 0a 2a 2a 20 64 61 74 61 62 61 73 65 20 70 61 67 .** database pag
6a30: 65 2e 20 54 68 65 20 66 69 72 73 74 20 61 72 67 e. The first arg
6a40: 75 6d 65 6e 74 20 74 6f 20 65 61 63 68 20 69 73 ument to each is
6a50: 20 74 68 65 20 6e 75 6d 62 65 72 20 6f 66 20 75 the number of u
6a60: 73 61 62 6c 65 0a 2a 2a 20 62 79 74 65 73 20 6f sable.** bytes o
6a70: 6e 20 65 61 63 68 20 70 61 67 65 20 6f 66 20 74 n each page of t
6a80: 68 65 20 64 61 74 61 62 61 73 65 20 28 6f 66 74 he database (oft
6a90: 65 6e 20 31 30 32 34 29 2e 20 54 68 65 20 73 65 en 1024). The se
6aa0: 63 6f 6e 64 20 69 73 20 74 68 65 0a 2a 2a 20 70 cond is the.** p
6ab0: 61 67 65 20 6e 75 6d 62 65 72 20 74 6f 20 6c 6f age number to lo
6ac0: 6f 6b 20 75 70 20 69 6e 20 74 68 65 20 70 6f 69 ok up in the poi
6ad0: 6e 74 65 72 20 6d 61 70 2e 0a 2a 2a 0a 2a 2a 20 nter map..**.**
6ae0: 50 54 52 4d 41 50 5f 50 41 47 45 4e 4f 20 72 65 PTRMAP_PAGENO re
6af0: 74 75 72 6e 73 20 74 68 65 20 64 61 74 61 62 61 turns the databa
6b00: 73 65 20 70 61 67 65 20 6e 75 6d 62 65 72 20 6f se page number o
6b10: 66 20 74 68 65 20 70 6f 69 6e 74 65 72 2d 6d 61 f the pointer-ma
6b20: 70 0a 2a 2a 20 70 61 67 65 20 74 68 61 74 20 73 p.** page that s
6b30: 74 6f 72 65 73 20 74 68 65 20 72 65 71 75 69 72 tores the requir
6b40: 65 64 20 70 6f 69 6e 74 65 72 2e 20 50 54 52 4d ed pointer. PTRM
6b50: 41 50 5f 50 54 52 4f 46 46 53 45 54 20 72 65 74 AP_PTROFFSET ret
6b60: 75 72 6e 73 0a 2a 2a 20 74 68 65 20 6f 66 66 73 urns.** the offs
6b70: 65 74 20 6f 66 20 74 68 65 20 72 65 71 75 65 73 et of the reques
6b80: 74 65 64 20 6d 61 70 20 65 6e 74 72 79 2e 0a 2a ted map entry..*
6b90: 2a 0a 2a 2a 20 49 66 20 74 68 65 20 70 67 6e 6f *.** If the pgno
6ba0: 20 61 72 67 75 6d 65 6e 74 20 70 61 73 73 65 64 argument passed
6bb0: 20 74 6f 20 50 54 52 4d 41 50 5f 50 41 47 45 4e to PTRMAP_PAGEN
6bc0: 4f 20 69 73 20 61 20 70 6f 69 6e 74 65 72 2d 6d O is a pointer-m
6bd0: 61 70 20 70 61 67 65 2c 0a 2a 2a 20 74 68 65 6e ap page,.** then
6be0: 20 70 67 6e 6f 20 69 73 20 72 65 74 75 72 6e 65 pgno is returne
6bf0: 64 2e 20 53 6f 20 28 70 67 6e 6f 3d 3d 50 54 52 d. So (pgno==PTR
6c00: 4d 41 50 5f 50 41 47 45 4e 4f 28 70 67 73 7a 2c MAP_PAGENO(pgsz,
6c10: 20 70 67 6e 6f 29 29 20 63 61 6e 20 62 65 0a 2a pgno)) can be.*
6c20: 2a 20 75 73 65 64 20 74 6f 20 74 65 73 74 20 69 * used to test i
6c30: 66 20 70 67 6e 6f 20 69 73 20 61 20 70 6f 69 6e f pgno is a poin
6c40: 74 65 72 2d 6d 61 70 20 70 61 67 65 2e 20 50 54 ter-map page. PT
6c50: 52 4d 41 50 5f 49 53 50 41 47 45 20 69 6d 70 6c RMAP_ISPAGE impl
6c60: 65 6d 65 6e 74 73 0a 2a 2a 20 74 68 69 73 20 74 ements.** this t
6c70: 65 73 74 2e 0a 2a 2f 0a 23 64 65 66 69 6e 65 20 est..*/.#define
6c80: 50 54 52 4d 41 50 5f 50 41 47 45 4e 4f 28 70 42 PTRMAP_PAGENO(pB
6c90: 74 2c 20 70 67 6e 6f 29 20 70 74 72 6d 61 70 50 t, pgno) ptrmapP
6ca0: 61 67 65 6e 6f 28 70 42 74 2c 20 70 67 6e 6f 29 ageno(pBt, pgno)
6cb0: 0a 23 64 65 66 69 6e 65 20 50 54 52 4d 41 50 5f .#define PTRMAP_
6cc0: 50 54 52 4f 46 46 53 45 54 28 70 67 70 74 72 6d PTROFFSET(pgptrm
6cd0: 61 70 2c 20 70 67 6e 6f 29 20 28 35 2a 28 70 67 ap, pgno) (5*(pg
6ce0: 6e 6f 2d 70 67 70 74 72 6d 61 70 2d 31 29 29 0a no-pgptrmap-1)).
6cf0: 23 64 65 66 69 6e 65 20 50 54 52 4d 41 50 5f 49 #define PTRMAP_I
6d00: 53 50 41 47 45 28 70 42 74 2c 20 70 67 6e 6f 29 SPAGE(pBt, pgno)
6d10: 20 28 50 54 52 4d 41 50 5f 50 41 47 45 4e 4f 28 (PTRMAP_PAGENO(
6d20: 28 70 42 74 29 2c 28 70 67 6e 6f 29 29 3d 3d 28 (pBt),(pgno))==(
6d30: 70 67 6e 6f 29 29 0a 0a 2f 2a 0a 2a 2a 20 54 68 pgno))../*.** Th
6d40: 65 20 70 6f 69 6e 74 65 72 20 6d 61 70 20 69 73 e pointer map is
6d50: 20 61 20 6c 6f 6f 6b 75 70 20 74 61 62 6c 65 20 a lookup table
6d60: 74 68 61 74 20 69 64 65 6e 74 69 66 69 65 73 20 that identifies
6d70: 74 68 65 20 70 61 72 65 6e 74 20 70 61 67 65 20 the parent page
6d80: 66 6f 72 0a 2a 2a 20 65 61 63 68 20 63 68 69 6c for.** each chil
6d90: 64 20 70 61 67 65 20 69 6e 20 74 68 65 20 64 61 d page in the da
6da0: 74 61 62 61 73 65 20 66 69 6c 65 2e 20 20 54 68 tabase file. Th
6db0: 65 20 70 61 72 65 6e 74 20 70 61 67 65 20 69 73 e parent page is
6dc0: 20 74 68 65 20 70 61 67 65 20 74 68 61 74 0a 2a the page that.*
6dd0: 2a 20 63 6f 6e 74 61 69 6e 73 20 61 20 70 6f 69 * contains a poi
6de0: 6e 74 65 72 20 74 6f 20 74 68 65 20 63 68 69 6c nter to the chil
6df0: 64 2e 20 20 45 76 65 72 79 20 70 61 67 65 20 69 d. Every page i
6e00: 6e 20 74 68 65 20 64 61 74 61 62 61 73 65 20 63 n the database c
6e10: 6f 6e 74 61 69 6e 73 0a 2a 2a 20 30 20 6f 72 20 ontains.** 0 or
6e20: 31 20 70 61 72 65 6e 74 20 70 61 67 65 73 2e 20 1 parent pages.
6e30: 20 28 49 6e 20 74 68 69 73 20 63 6f 6e 74 65 78 (In this contex
6e40: 74 20 27 64 61 74 61 62 61 73 65 20 70 61 67 65 t 'database page
6e50: 27 20 72 65 66 65 72 73 0a 2a 2a 20 74 6f 20 61 ' refers.** to a
6e60: 6e 79 20 70 61 67 65 20 74 68 61 74 20 69 73 20 ny page that is
6e70: 6e 6f 74 20 70 61 72 74 20 6f 66 20 74 68 65 20 not part of the
6e80: 70 6f 69 6e 74 65 72 20 6d 61 70 20 69 74 73 65 pointer map itse
6e90: 6c 66 2e 29 20 20 45 61 63 68 20 70 6f 69 6e 74 lf.) Each point
6ea0: 65 72 20 6d 61 70 0a 2a 2a 20 65 6e 74 72 79 20 er map.** entry
6eb0: 63 6f 6e 73 69 73 74 73 20 6f 66 20 61 20 73 69 consists of a si
6ec0: 6e 67 6c 65 20 62 79 74 65 20 27 74 79 70 65 27 ngle byte 'type'
6ed0: 20 61 6e 64 20 61 20 34 20 62 79 74 65 20 70 61 and a 4 byte pa
6ee0: 72 65 6e 74 20 70 61 67 65 20 6e 75 6d 62 65 72 rent page number
6ef0: 2e 0a 2a 2a 20 54 68 65 20 50 54 52 4d 41 50 5f ..** The PTRMAP_
6f00: 58 58 58 20 69 64 65 6e 74 69 66 69 65 72 73 20 XXX identifiers
6f10: 62 65 6c 6f 77 20 61 72 65 20 74 68 65 20 76 61 below are the va
6f20: 6c 69 64 20 74 79 70 65 73 2e 0a 2a 2a 0a 2a 2a lid types..**.**
6f30: 20 54 68 65 20 70 75 72 70 6f 73 65 20 6f 66 20 The purpose of
6f40: 74 68 65 20 70 6f 69 6e 74 65 72 20 6d 61 70 20 the pointer map
6f50: 69 73 20 74 6f 20 66 61 63 69 6c 69 74 79 20 6d is to facility m
6f60: 6f 76 69 6e 67 20 70 61 67 65 73 20 66 72 6f 6d oving pages from
6f70: 20 6f 6e 65 0a 2a 2a 20 70 6f 73 69 74 69 6f 6e one.** position
6f80: 20 69 6e 20 74 68 65 20 66 69 6c 65 20 74 6f 20 in the file to
6f90: 61 6e 6f 74 68 65 72 20 61 73 20 70 61 72 74 20 another as part
6fa0: 6f 66 20 61 75 74 6f 76 61 63 75 75 6d 2e 20 20 of autovacuum.
6fb0: 57 68 65 6e 20 61 20 70 61 67 65 0a 2a 2a 20 69 When a page.** i
6fc0: 73 20 6d 6f 76 65 64 2c 20 74 68 65 20 70 6f 69 s moved, the poi
6fd0: 6e 74 65 72 20 69 6e 20 69 74 73 20 70 61 72 65 nter in its pare
6fe0: 6e 74 20 6d 75 73 74 20 62 65 20 75 70 64 61 74 nt must be updat
6ff0: 65 64 20 74 6f 20 70 6f 69 6e 74 20 74 6f 20 74 ed to point to t
7000: 68 65 0a 2a 2a 20 6e 65 77 20 6c 6f 63 61 74 69 he.** new locati
7010: 6f 6e 2e 20 20 54 68 65 20 70 6f 69 6e 74 65 72 on. The pointer
7020: 20 6d 61 70 20 69 73 20 75 73 65 64 20 74 6f 20 map is used to
7030: 6c 6f 63 61 74 65 20 74 68 65 20 70 61 72 65 6e locate the paren
7040: 74 20 70 61 67 65 20 71 75 69 63 6b 6c 79 2e 0a t page quickly..
7050: 2a 2a 0a 2a 2a 20 50 54 52 4d 41 50 5f 52 4f 4f **.** PTRMAP_ROO
7060: 54 50 41 47 45 3a 20 54 68 65 20 64 61 74 61 62 TPAGE: The datab
7070: 61 73 65 20 70 61 67 65 20 69 73 20 61 20 72 6f ase page is a ro
7080: 6f 74 2d 70 61 67 65 2e 20 54 68 65 20 70 61 67 ot-page. The pag
7090: 65 2d 6e 75 6d 62 65 72 20 69 73 20 6e 6f 74 0a e-number is not.
70a0: 2a 2a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 **
70b0: 20 20 20 20 75 73 65 64 20 69 6e 20 74 68 69 73 used in this
70c0: 20 63 61 73 65 2e 0a 2a 2a 0a 2a 2a 20 50 54 52 case..**.** PTR
70d0: 4d 41 50 5f 46 52 45 45 50 41 47 45 3a 20 54 68 MAP_FREEPAGE: Th
70e0: 65 20 64 61 74 61 62 61 73 65 20 70 61 67 65 20 e database page
70f0: 69 73 20 61 6e 20 75 6e 75 73 65 64 20 28 66 72 is an unused (fr
7100: 65 65 29 20 70 61 67 65 2e 20 54 68 65 20 70 61 ee) page. The pa
7110: 67 65 2d 6e 75 6d 62 65 72 20 0a 2a 2a 20 20 20 ge-number .**
7120: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 69 i
7130: 73 20 6e 6f 74 20 75 73 65 64 20 69 6e 20 74 68 s not used in th
7140: 69 73 20 63 61 73 65 2e 0a 2a 2a 0a 2a 2a 20 50 is case..**.** P
7150: 54 52 4d 41 50 5f 4f 56 45 52 46 4c 4f 57 31 3a TRMAP_OVERFLOW1:
7160: 20 54 68 65 20 64 61 74 61 62 61 73 65 20 70 61 The database pa
7170: 67 65 20 69 73 20 74 68 65 20 66 69 72 73 74 20 ge is the first
7180: 70 61 67 65 20 69 6e 20 61 20 6c 69 73 74 20 6f page in a list o
7190: 66 20 0a 2a 2a 20 20 20 20 20 20 20 20 20 20 20 f .**
71a0: 20 20 20 20 20 20 20 20 6f 76 65 72 66 6c 6f 77 overflow
71b0: 20 70 61 67 65 73 2e 20 54 68 65 20 70 61 67 65 pages. The page
71c0: 20 6e 75 6d 62 65 72 20 69 64 65 6e 74 69 66 69 number identifi
71d0: 65 73 20 74 68 65 20 70 61 67 65 20 74 68 61 74 es the page that
71e0: 0a 2a 2a 20 20 20 20 20 20 20 20 20 20 20 20 20 .**
71f0: 20 20 20 20 20 20 63 6f 6e 74 61 69 6e 73 20 74 contains t
7200: 68 65 20 63 65 6c 6c 20 77 69 74 68 20 61 20 70 he cell with a p
7210: 6f 69 6e 74 65 72 20 74 6f 20 74 68 69 73 20 6f ointer to this o
7220: 76 65 72 66 6c 6f 77 20 70 61 67 65 2e 0a 2a 2a verflow page..**
7230: 0a 2a 2a 20 50 54 52 4d 41 50 5f 4f 56 45 52 46 .** PTRMAP_OVERF
7240: 4c 4f 57 32 3a 20 54 68 65 20 64 61 74 61 62 61 LOW2: The databa
7250: 73 65 20 70 61 67 65 20 69 73 20 74 68 65 20 73 se page is the s
7260: 65 63 6f 6e 64 20 6f 72 20 6c 61 74 65 72 20 70 econd or later p
7270: 61 67 65 20 69 6e 20 61 20 6c 69 73 74 20 6f 66 age in a list of
7280: 0a 2a 2a 20 20 20 20 20 20 20 20 20 20 20 20 20 .**
7290: 20 20 20 20 20 20 6f 76 65 72 66 6c 6f 77 20 70 overflow p
72a0: 61 67 65 73 2e 20 54 68 65 20 70 61 67 65 2d 6e ages. The page-n
72b0: 75 6d 62 65 72 20 69 64 65 6e 74 69 66 69 65 73 umber identifies
72c0: 20 74 68 65 20 70 72 65 76 69 6f 75 73 0a 2a 2a the previous.**
72d0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
72e0: 20 20 20 70 61 67 65 20 69 6e 20 74 68 65 20 6f page in the o
72f0: 76 65 72 66 6c 6f 77 20 70 61 67 65 20 6c 69 73 verflow page lis
7300: 74 2e 0a 2a 2a 0a 2a 2a 20 50 54 52 4d 41 50 5f t..**.** PTRMAP_
7310: 42 54 52 45 45 3a 20 54 68 65 20 64 61 74 61 62 BTREE: The datab
7320: 61 73 65 20 70 61 67 65 20 69 73 20 61 20 6e 6f ase page is a no
7330: 6e 2d 72 6f 6f 74 20 62 74 72 65 65 20 70 61 67 n-root btree pag
7340: 65 2e 20 54 68 65 20 70 61 67 65 20 6e 75 6d 62 e. The page numb
7350: 65 72 0a 2a 2a 20 20 20 20 20 20 20 20 20 20 20 er.**
7360: 20 20 20 20 69 64 65 6e 74 69 66 69 65 73 20 74 identifies t
7370: 68 65 20 70 61 72 65 6e 74 20 70 61 67 65 20 69 he parent page i
7380: 6e 20 74 68 65 20 62 74 72 65 65 2e 0a 2a 2f 0a n the btree..*/.
7390: 23 64 65 66 69 6e 65 20 50 54 52 4d 41 50 5f 52 #define PTRMAP_R
73a0: 4f 4f 54 50 41 47 45 20 31 0a 23 64 65 66 69 6e OOTPAGE 1.#defin
73b0: 65 20 50 54 52 4d 41 50 5f 46 52 45 45 50 41 47 e PTRMAP_FREEPAG
73c0: 45 20 32 0a 23 64 65 66 69 6e 65 20 50 54 52 4d E 2.#define PTRM
73d0: 41 50 5f 4f 56 45 52 46 4c 4f 57 31 20 33 0a 23 AP_OVERFLOW1 3.#
73e0: 64 65 66 69 6e 65 20 50 54 52 4d 41 50 5f 4f 56 define PTRMAP_OV
73f0: 45 52 46 4c 4f 57 32 20 34 0a 23 64 65 66 69 6e ERFLOW2 4.#defin
7400: 65 20 50 54 52 4d 41 50 5f 42 54 52 45 45 20 35 e PTRMAP_BTREE 5
7410: 0a 0a 2f 2a 20 41 20 62 75 6e 63 68 20 6f 66 20 ../* A bunch of
7420: 61 73 73 65 72 74 28 29 20 73 74 61 74 65 6d 65 assert() stateme
7430: 6e 74 73 20 74 6f 20 63 68 65 63 6b 20 74 68 65 nts to check the
7440: 20 74 72 61 6e 73 61 63 74 69 6f 6e 20 73 74 61 transaction sta
7450: 74 65 20 76 61 72 69 61 62 6c 65 73 0a 2a 2a 20 te variables.**
7460: 6f 66 20 68 61 6e 64 6c 65 20 70 20 28 74 79 70 of handle p (typ
7470: 65 20 42 74 72 65 65 2a 29 20 61 72 65 20 69 6e e Btree*) are in
7480: 74 65 72 6e 61 6c 6c 79 20 63 6f 6e 73 69 73 74 ternally consist
7490: 65 6e 74 2e 0a 2a 2f 0a 23 64 65 66 69 6e 65 20 ent..*/.#define
74a0: 62 74 72 65 65 49 6e 74 65 67 72 69 74 79 28 70 btreeIntegrity(p
74b0: 29 20 5c 0a 20 20 61 73 73 65 72 74 28 20 70 2d ) \. assert( p-
74c0: 3e 70 42 74 2d 3e 69 6e 54 72 61 6e 73 61 63 74 >pBt->inTransact
74d0: 69 6f 6e 21 3d 54 52 41 4e 53 5f 4e 4f 4e 45 20 ion!=TRANS_NONE
74e0: 7c 7c 20 70 2d 3e 70 42 74 2d 3e 6e 54 72 61 6e || p->pBt->nTran
74f0: 73 61 63 74 69 6f 6e 3d 3d 30 20 29 3b 20 5c 0a saction==0 ); \.
7500: 20 20 61 73 73 65 72 74 28 20 70 2d 3e 70 42 74 assert( p->pBt
7510: 2d 3e 69 6e 54 72 61 6e 73 61 63 74 69 6f 6e 3e ->inTransaction>
7520: 3d 70 2d 3e 69 6e 54 72 61 6e 73 20 29 3b 20 0a =p->inTrans ); .
7530: 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20 49 53 41 55 ../*.** The ISAU
7540: 54 4f 56 41 43 55 55 4d 20 6d 61 63 72 6f 20 69 TOVACUUM macro i
7550: 73 20 75 73 65 64 20 77 69 74 68 69 6e 20 62 61 s used within ba
7560: 6c 61 6e 63 65 5f 6e 6f 6e 72 6f 6f 74 28 29 20 lance_nonroot()
7570: 74 6f 20 64 65 74 65 72 6d 69 6e 65 0a 2a 2a 20 to determine.**
7580: 69 66 20 74 68 65 20 64 61 74 61 62 61 73 65 20 if the database
7590: 73 75 70 70 6f 72 74 73 20 61 75 74 6f 2d 76 61 supports auto-va
75a0: 63 75 75 6d 20 6f 72 20 6e 6f 74 2e 20 42 65 63 cuum or not. Bec
75b0: 61 75 73 65 20 69 74 20 69 73 20 75 73 65 64 0a ause it is used.
75c0: 2a 2a 20 77 69 74 68 69 6e 20 61 6e 20 65 78 70 ** within an exp
75d0: 72 65 73 73 69 6f 6e 20 74 68 61 74 20 69 73 20 ression that is
75e0: 61 6e 20 61 72 67 75 6d 65 6e 74 20 74 6f 20 61 an argument to a
75f0: 6e 6f 74 68 65 72 20 6d 61 63 72 6f 20 0a 2a 2a nother macro .**
7600: 20 28 73 71 6c 69 74 65 4d 61 6c 6c 6f 63 52 61 (sqliteMallocRa
7610: 77 29 2c 20 69 74 20 69 73 20 6e 6f 74 20 70 6f w), it is not po
7620: 73 73 69 62 6c 65 20 74 6f 20 75 73 65 20 63 6f ssible to use co
7630: 6e 64 69 74 69 6f 6e 61 6c 20 63 6f 6d 70 69 6c nditional compil
7640: 61 74 69 6f 6e 2e 0a 2a 2a 20 53 6f 2c 20 74 68 ation..** So, th
7650: 69 73 20 6d 61 63 72 6f 20 69 73 20 64 65 66 69 is macro is defi
7660: 6e 65 64 20 69 6e 73 74 65 61 64 2e 0a 2a 2f 0a ned instead..*/.
7670: 23 69 66 64 65 66 20 53 51 4c 49 54 45 5f 4f 4d #ifdef SQLITE_OM
7680: 49 54 5f 41 55 54 4f 56 41 43 55 55 4d 0a 23 64 IT_AUTOVACUUM.#d
7690: 65 66 69 6e 65 20 49 53 41 55 54 4f 56 41 43 55 efine ISAUTOVACU
76a0: 55 4d 20 30 0a 23 65 6c 73 65 0a 23 64 65 66 69 UM 0.#else.#defi
76b0: 6e 65 20 49 53 41 55 54 4f 56 41 43 55 55 4d 20 ne ISAUTOVACUUM
76c0: 28 70 42 74 2d 3e 61 75 74 6f 56 61 63 75 75 6d (pBt->autoVacuum
76d0: 29 0a 23 65 6e 64 69 66 0a 0a 23 69 66 64 65 66 ).#endif..#ifdef
76e0: 20 53 51 4c 49 54 45 5f 4f 4d 49 54 5f 43 4f 4e SQLITE_OMIT_CON
76f0: 43 55 52 52 45 4e 54 0a 23 20 64 65 66 69 6e 65 CURRENT.# define
7700: 20 49 53 43 4f 4e 43 55 52 52 45 4e 54 20 30 0a ISCONCURRENT 0.
7710: 23 65 6c 73 65 0a 23 20 64 65 66 69 6e 65 20 49 #else.# define I
7720: 53 43 4f 4e 43 55 52 52 45 4e 54 20 28 70 42 74 SCONCURRENT (pBt
7730: 2d 3e 70 4d 61 70 21 3d 30 29 0a 23 65 6e 64 69 ->pMap!=0).#endi
7740: 66 0a 0a 23 64 65 66 69 6e 65 20 52 45 51 55 49 f..#define REQUI
7750: 52 45 5f 50 54 52 4d 41 50 20 28 49 53 41 55 54 RE_PTRMAP (ISAUT
7760: 4f 56 41 43 55 55 4d 20 7c 7c 20 49 53 43 4f 4e OVACUUM || ISCON
7770: 43 55 52 52 45 4e 54 29 0a 0a 2f 2a 0a 2a 2a 20 CURRENT)../*.**
7780: 54 68 69 73 20 73 74 72 75 63 74 75 72 65 20 69 This structure i
7790: 73 20 70 61 73 73 65 64 20 61 72 6f 75 6e 64 20 s passed around
77a0: 74 68 72 6f 75 67 68 20 61 6c 6c 20 74 68 65 20 through all the
77b0: 73 61 6e 69 74 79 20 63 68 65 63 6b 69 6e 67 20 sanity checking
77c0: 72 6f 75 74 69 6e 65 73 0a 2a 2a 20 69 6e 20 6f routines.** in o
77d0: 72 64 65 72 20 74 6f 20 6b 65 65 70 20 74 72 61 rder to keep tra
77e0: 63 6b 20 6f 66 20 73 6f 6d 65 20 67 6c 6f 62 61 ck of some globa
77f0: 6c 20 73 74 61 74 65 20 69 6e 66 6f 72 6d 61 74 l state informat
7800: 69 6f 6e 2e 0a 2a 2a 0a 2a 2a 20 54 68 65 20 61 ion..**.** The a
7810: 52 65 66 5b 5d 20 61 72 72 61 79 20 69 73 20 61 Ref[] array is a
7820: 6c 6c 6f 63 61 74 65 64 20 73 6f 20 74 68 61 74 llocated so that
7830: 20 74 68 65 72 65 20 69 73 20 31 20 62 69 74 20 there is 1 bit
7840: 66 6f 72 20 65 61 63 68 20 70 61 67 65 20 69 6e for each page in
7850: 0a 2a 2a 20 74 68 65 20 64 61 74 61 62 61 73 65 .** the database
7860: 2e 20 41 73 20 74 68 65 20 69 6e 74 65 67 72 69 . As the integri
7870: 74 79 2d 63 68 65 63 6b 20 70 72 6f 63 65 65 64 ty-check proceed
7880: 73 2c 20 66 6f 72 20 65 61 63 68 20 70 61 67 65 s, for each page
7890: 20 75 73 65 64 20 69 6e 0a 2a 2a 20 74 68 65 20 used in.** the
78a0: 64 61 74 61 62 61 73 65 20 74 68 65 20 63 6f 72 database the cor
78b0: 72 65 73 70 6f 6e 64 69 6e 67 20 62 69 74 20 69 responding bit i
78c0: 73 20 73 65 74 2e 20 54 68 69 73 20 61 6c 6c 6f s set. This allo
78d0: 77 73 20 69 6e 74 65 67 72 69 74 79 2d 63 68 65 ws integrity-che
78e0: 63 6b 20 74 6f 20 0a 2a 2a 20 64 65 74 65 63 74 ck to .** detect
78f0: 20 70 61 67 65 73 20 74 68 61 74 20 61 72 65 20 pages that are
7900: 75 73 65 64 20 74 77 69 63 65 20 61 6e 64 20 6f used twice and o
7910: 72 70 68 61 6e 65 64 20 70 61 67 65 73 20 28 62 rphaned pages (b
7920: 6f 74 68 20 6f 66 20 77 68 69 63 68 20 0a 2a 2a oth of which .**
7930: 20 69 6e 64 69 63 61 74 65 20 63 6f 72 72 75 70 indicate corrup
7940: 74 69 6f 6e 29 2e 0a 2a 2f 0a 74 79 70 65 64 65 tion)..*/.typede
7950: 66 20 73 74 72 75 63 74 20 49 6e 74 65 67 72 69 f struct Integri
7960: 74 79 43 6b 20 49 6e 74 65 67 72 69 74 79 43 6b tyCk IntegrityCk
7970: 3b 0a 73 74 72 75 63 74 20 49 6e 74 65 67 72 69 ;.struct Integri
7980: 74 79 43 6b 20 7b 0a 20 20 42 74 53 68 61 72 65 tyCk {. BtShare
7990: 64 20 2a 70 42 74 3b 20 20 20 20 2f 2a 20 54 68 d *pBt; /* Th
79a0: 65 20 74 72 65 65 20 62 65 69 6e 67 20 63 68 65 e tree being che
79b0: 63 6b 65 64 20 6f 75 74 20 2a 2f 0a 20 20 50 61 cked out */. Pa
79c0: 67 65 72 20 2a 70 50 61 67 65 72 3b 20 20 20 20 ger *pPager;
79d0: 2f 2a 20 54 68 65 20 61 73 73 6f 63 69 61 74 65 /* The associate
79e0: 64 20 70 61 67 65 72 2e 20 20 41 6c 73 6f 20 61 d pager. Also a
79f0: 63 63 65 73 73 69 62 6c 65 20 62 79 20 70 42 74 ccessible by pBt
7a00: 2d 3e 70 50 61 67 65 72 20 2a 2f 0a 20 20 75 38 ->pPager */. u8
7a10: 20 2a 61 50 67 52 65 66 3b 20 20 20 20 20 20 20 *aPgRef;
7a20: 2f 2a 20 31 20 62 69 74 20 70 65 72 20 70 61 67 /* 1 bit per pag
7a30: 65 20 69 6e 20 74 68 65 20 64 62 20 28 73 65 65 e in the db (see
7a40: 20 61 62 6f 76 65 29 20 2a 2f 0a 20 20 50 67 6e above) */. Pgn
7a50: 6f 20 6e 50 61 67 65 3b 20 20 20 20 20 20 20 2f o nPage; /
7a60: 2a 20 4e 75 6d 62 65 72 20 6f 66 20 70 61 67 65 * Number of page
7a70: 73 20 69 6e 20 74 68 65 20 64 61 74 61 62 61 73 s in the databas
7a80: 65 20 2a 2f 0a 20 20 69 6e 74 20 6d 78 45 72 72 e */. int mxErr
7a90: 3b 20 20 20 20 20 20 20 20 2f 2a 20 53 74 6f 70 ; /* Stop
7aa0: 20 61 63 63 75 6d 75 6c 61 74 69 6e 67 20 65 72 accumulating er
7ab0: 72 6f 72 73 20 77 68 65 6e 20 74 68 69 73 20 72 rors when this r
7ac0: 65 61 63 68 65 73 20 7a 65 72 6f 20 2a 2f 0a 20 eaches zero */.
7ad0: 20 69 6e 74 20 6e 45 72 72 3b 20 20 20 20 20 20 int nErr;
7ae0: 20 20 20 2f 2a 20 4e 75 6d 62 65 72 20 6f 66 20 /* Number of
7af0: 6d 65 73 73 61 67 65 73 20 77 72 69 74 74 65 6e messages written
7b00: 20 74 6f 20 7a 45 72 72 4d 73 67 20 73 6f 20 66 to zErrMsg so f
7b10: 61 72 20 2a 2f 0a 20 20 69 6e 74 20 6d 61 6c 6c ar */. int mall
7b20: 6f 63 46 61 69 6c 65 64 3b 20 2f 2a 20 41 20 6d ocFailed; /* A m
7b30: 65 6d 6f 72 79 20 61 6c 6c 6f 63 61 74 69 6f 6e emory allocation
7b40: 20 65 72 72 6f 72 20 68 61 73 20 6f 63 63 75 72 error has occur
7b50: 72 65 64 20 2a 2f 0a 20 20 63 6f 6e 73 74 20 63 red */. const c
7b60: 68 61 72 20 2a 7a 50 66 78 3b 20 2f 2a 20 45 72 har *zPfx; /* Er
7b70: 72 6f 72 20 6d 65 73 73 61 67 65 20 70 72 65 66 ror message pref
7b80: 69 78 20 2a 2f 0a 20 20 69 6e 74 20 76 31 2c 20 ix */. int v1,
7b90: 76 32 3b 20 20 20 20 20 20 20 2f 2a 20 56 61 6c v2; /* Val
7ba0: 75 65 73 20 66 6f 72 20 75 70 20 74 6f 20 74 77 ues for up to tw
7bb0: 6f 20 25 64 20 66 69 65 6c 64 73 20 69 6e 20 7a o %d fields in z
7bc0: 50 66 78 20 2a 2f 0a 20 20 53 74 72 41 63 63 75 Pfx */. StrAccu
7bd0: 6d 20 65 72 72 4d 73 67 3b 20 20 2f 2a 20 41 63 m errMsg; /* Ac
7be0: 63 75 6d 75 6c 61 74 65 20 74 68 65 20 65 72 72 cumulate the err
7bf0: 6f 72 20 6d 65 73 73 61 67 65 20 74 65 78 74 20 or message text
7c00: 68 65 72 65 20 2a 2f 0a 20 20 75 33 32 20 2a 68 here */. u32 *h
7c10: 65 61 70 3b 20 20 20 20 20 20 20 20 2f 2a 20 4d eap; /* M
7c20: 69 6e 2d 68 65 61 70 20 75 73 65 64 20 66 6f 72 in-heap used for
7c30: 20 61 6e 61 6c 79 7a 69 6e 67 20 63 65 6c 6c 20 analyzing cell
7c40: 63 6f 76 65 72 61 67 65 20 2a 2f 0a 7d 3b 0a 0a coverage */.};..
7c50: 2f 2a 0a 2a 2a 20 52 6f 75 74 69 6e 65 73 20 74 /*.** Routines t
7c60: 6f 20 72 65 61 64 20 6f 72 20 77 72 69 74 65 20 o read or write
7c70: 61 20 74 77 6f 2d 20 61 6e 64 20 66 6f 75 72 2d a two- and four-
7c80: 62 79 74 65 20 62 69 67 2d 65 6e 64 69 61 6e 20 byte big-endian
7c90: 69 6e 74 65 67 65 72 20 76 61 6c 75 65 73 2e 0a integer values..
7ca0: 2a 2f 0a 23 64 65 66 69 6e 65 20 67 65 74 32 62 */.#define get2b
7cb0: 79 74 65 28 78 29 20 20 20 28 28 78 29 5b 30 5d yte(x) ((x)[0]
7cc0: 3c 3c 38 20 7c 20 28 78 29 5b 31 5d 29 0a 23 64 <<8 | (x)[1]).#d
7cd0: 65 66 69 6e 65 20 70 75 74 32 62 79 74 65 28 70 efine put2byte(p
7ce0: 2c 76 29 20 28 28 70 29 5b 30 5d 20 3d 20 28 75 ,v) ((p)[0] = (u
7cf0: 38 29 28 28 76 29 3e 3e 38 29 2c 20 28 70 29 5b 8)((v)>>8), (p)[
7d00: 31 5d 20 3d 20 28 75 38 29 28 76 29 29 0a 23 64 1] = (u8)(v)).#d
7d10: 65 66 69 6e 65 20 67 65 74 34 62 79 74 65 20 73 efine get4byte s
7d20: 71 6c 69 74 65 33 47 65 74 34 62 79 74 65 0a 23 qlite3Get4byte.#
7d30: 64 65 66 69 6e 65 20 70 75 74 34 62 79 74 65 20 define put4byte
7d40: 73 71 6c 69 74 65 33 50 75 74 34 62 79 74 65 0a sqlite3Put4byte.
7d50: 0a 2f 2a 0a 2a 2a 20 67 65 74 32 62 79 74 65 41 ./*.** get2byteA
7d60: 6c 69 67 6e 65 64 28 29 2c 20 75 6e 6c 69 6b 65 ligned(), unlike
7d70: 20 67 65 74 32 62 79 74 65 28 29 2c 20 72 65 71 get2byte(), req
7d80: 75 69 72 65 73 20 74 68 61 74 20 69 74 73 20 61 uires that its a
7d90: 72 67 75 6d 65 6e 74 20 70 6f 69 6e 74 20 74 6f rgument point to
7da0: 20 61 0a 2a 2a 20 74 77 6f 2d 62 79 74 65 20 61 a.** two-byte a
7db0: 6c 69 67 6e 65 64 20 61 64 64 72 65 73 73 2e 20 ligned address.
7dc0: 20 67 65 74 32 62 79 74 65 61 28 29 20 69 73 20 get2bytea() is
7dd0: 6f 6e 6c 79 20 75 73 65 64 20 66 6f 72 20 61 63 only used for ac
7de0: 63 65 73 73 69 6e 67 20 74 68 65 0a 2a 2a 20 63 cessing the.** c
7df0: 65 6c 6c 20 61 64 64 72 65 73 73 65 73 20 69 6e ell addresses in
7e00: 20 61 20 62 74 72 65 65 20 68 65 61 64 65 72 2e a btree header.
7e10: 0a 2a 2f 0a 23 69 66 20 53 51 4c 49 54 45 5f 42 .*/.#if SQLITE_B
7e20: 59 54 45 4f 52 44 45 52 3d 3d 34 33 32 31 0a 23 YTEORDER==4321.#
7e30: 20 64 65 66 69 6e 65 20 67 65 74 32 62 79 74 65 define get2byte
7e40: 41 6c 69 67 6e 65 64 28 78 29 20 20 28 2a 28 75 Aligned(x) (*(u
7e50: 31 36 2a 29 28 78 29 29 0a 23 65 6c 69 66 20 53 16*)(x)).#elif S
7e60: 51 4c 49 54 45 5f 42 59 54 45 4f 52 44 45 52 3d QLITE_BYTEORDER=
7e70: 3d 31 32 33 34 20 26 26 20 47 43 43 5f 56 45 52 =1234 && GCC_VER
7e80: 53 49 4f 4e 3e 3d 34 30 30 38 30 30 30 0a 23 20 SION>=4008000.#
7e90: 64 65 66 69 6e 65 20 67 65 74 32 62 79 74 65 41 define get2byteA
7ea0: 6c 69 67 6e 65 64 28 78 29 20 20 5f 5f 62 75 69 ligned(x) __bui
7eb0: 6c 74 69 6e 5f 62 73 77 61 70 31 36 28 2a 28 75 ltin_bswap16(*(u
7ec0: 31 36 2a 29 28 78 29 29 0a 23 65 6c 69 66 20 53 16*)(x)).#elif S
7ed0: 51 4c 49 54 45 5f 42 59 54 45 4f 52 44 45 52 3d QLITE_BYTEORDER=
7ee0: 3d 31 32 33 34 20 26 26 20 4d 53 56 43 5f 56 45 =1234 && MSVC_VE
7ef0: 52 53 49 4f 4e 3e 3d 31 33 30 30 0a 23 20 64 65 RSION>=1300.# de
7f00: 66 69 6e 65 20 67 65 74 32 62 79 74 65 41 6c 69 fine get2byteAli
7f10: 67 6e 65 64 28 78 29 20 20 5f 62 79 74 65 73 77 gned(x) _bytesw
7f20: 61 70 5f 75 73 68 6f 72 74 28 2a 28 75 31 36 2a ap_ushort(*(u16*
7f30: 29 28 78 29 29 0a 23 65 6c 73 65 0a 23 20 64 65 )(x)).#else.# de
7f40: 66 69 6e 65 20 67 65 74 32 62 79 74 65 41 6c 69 fine get2byteAli
7f50: 67 6e 65 64 28 78 29 20 20 28 28 78 29 5b 30 5d gned(x) ((x)[0]
7f60: 3c 3c 38 20 7c 20 28 78 29 5b 31 5d 29 0a 23 65 <<8 | (x)[1]).#e
7f70: 6e 64 69 66 0a ndif.