0000: 23 20 32 30 30 37 20 41 70 72 69 6c 20 32 36 0a # 2007 April 26.
0010: 23 0a 23 20 54 68 65 20 61 75 74 68 6f 72 20 64 #.# The author d
0020: 69 73 63 6c 61 69 6d 73 20 63 6f 70 79 72 69 67 isclaims copyrig
0030: 68 74 20 74 6f 20 74 68 69 73 20 73 6f 75 72 63 ht to this sourc
0040: 65 20 63 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63 e code. In plac
0050: 65 20 6f 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e e of.# a legal n
0060: 6f 74 69 63 65 2c 20 68 65 72 65 20 69 73 20 61 otice, here is a
0070: 20 62 6c 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20 blessing:.#.#
0080: 20 20 4d 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f May you do goo
0090: 64 20 61 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a d and not evil..
00a0: 23 20 20 20 20 4d 61 79 20 79 6f 75 20 66 69 6e # May you fin
00b0: 64 20 66 6f 72 67 69 76 65 6e 65 73 73 20 66 6f d forgiveness fo
00c0: 72 20 79 6f 75 72 73 65 6c 66 20 61 6e 64 20 66 r yourself and f
00d0: 6f 72 67 69 76 65 20 6f 74 68 65 72 73 2e 0a 23 orgive others..#
00e0: 20 20 20 20 4d 61 79 20 79 6f 75 20 73 68 61 72 May you shar
00f0: 65 20 66 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 e freely, never
0100: 74 61 6b 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e taking more than
0110: 20 79 6f 75 20 67 69 76 65 2e 0a 23 0a 23 2a 2a you give..#.#**
0120: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a ****************
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 0a 23 20 54 68 69 73 20 66 69 6c *****.# This fil
0170: 65 20 69 6d 70 6c 65 6d 65 6e 74 73 20 72 65 67 e implements reg
0180: 72 65 73 73 69 6f 6e 20 74 65 73 74 73 20 66 6f ression tests fo
0190: 72 20 53 51 4c 69 74 65 20 6c 69 62 72 61 72 79 r SQLite library
01a0: 2e 20 20 54 68 65 0a 23 20 66 6f 63 75 73 20 6f . The.# focus o
01b0: 66 20 74 68 69 73 20 66 69 6c 65 20 69 73 20 74 f this file is t
01c0: 65 73 74 69 6e 67 20 74 68 65 20 69 6e 63 72 65 esting the incre
01d0: 6d 65 6e 74 61 6c 20 76 61 63 75 75 6d 20 66 65 mental vacuum fe
01e0: 61 74 75 72 65 2e 0a 23 0a 23 20 4e 6f 74 65 3a ature..#.# Note:
01f0: 20 54 68 65 72 65 20 61 72 65 20 61 6c 73 6f 20 There are also
0200: 73 6f 6d 65 20 74 65 73 74 73 20 66 6f 72 20 69 some tests for i
0210: 6e 63 72 65 6d 65 6e 74 61 6c 20 76 61 63 75 75 ncremental vacuu
0220: 6d 20 61 6e 64 20 49 4f 20 0a 23 20 65 72 72 6f m and IO .# erro
0230: 72 73 20 69 6e 20 69 6e 63 72 76 61 63 75 75 6d rs in incrvacuum
0240: 5f 69 6f 65 72 72 2e 74 65 73 74 2e 0a 23 0a 23 _ioerr.test..#.#
0250: 20 24 49 64 3a 20 69 6e 63 72 76 61 63 75 75 6d $Id: incrvacuum
0260: 2e 74 65 73 74 2c 76 20 31 2e 32 33 20 32 30 30 .test,v 1.23 200
0270: 39 2f 30 32 2f 31 38 20 32 30 3a 33 31 3a 31 38 9/02/18 20:31:18
0280: 20 64 72 68 20 45 78 70 20 24 0a 0a 73 65 74 20 drh Exp $..set
0290: 74 65 73 74 64 69 72 20 5b 66 69 6c 65 20 64 69 testdir [file di
02a0: 72 6e 61 6d 65 20 24 61 72 67 76 30 5d 0a 73 6f rname $argv0].so
02b0: 75 72 63 65 20 24 74 65 73 74 64 69 72 2f 74 65 urce $testdir/te
02c0: 73 74 65 72 2e 74 63 6c 0a 0a 23 20 49 66 20 74 ster.tcl..# If t
02d0: 68 69 73 20 62 75 69 6c 64 20 6f 66 20 74 68 65 his build of the
02e0: 20 6c 69 62 72 61 72 79 20 64 6f 65 73 20 6e 6f library does no
02f0: 74 20 73 75 70 70 6f 72 74 20 61 75 74 6f 2d 76 t support auto-v
0300: 61 63 75 75 6d 2c 20 6f 6d 69 74 20 74 68 69 73 acuum, omit this
0310: 0a 23 20 77 68 6f 6c 65 20 66 69 6c 65 2e 0a 69 .# whole file..i
0320: 66 63 61 70 61 62 6c 65 20 7b 21 61 75 74 6f 76 fcapable {!autov
0330: 61 63 75 75 6d 20 7c 7c 20 21 70 72 61 67 6d 61 acuum || !pragma
0340: 7d 20 7b 0a 20 20 66 69 6e 69 73 68 5f 74 65 73 } {. finish_tes
0350: 74 0a 20 20 72 65 74 75 72 6e 0a 7d 0a 0a 23 2d t. return.}..#-
0360: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0370: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0380: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0390: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
03a0: 2d 2d 2d 2d 0a 23 20 54 65 73 74 20 74 68 65 20 ----.# Test the
03b0: 70 72 61 67 6d 61 20 6f 6e 20 61 6e 20 65 6d 70 pragma on an emp
03c0: 74 79 20 64 61 74 61 62 61 73 65 2e 0a 23 0a 64 ty database..#.d
03d0: 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75 75 o_test incrvacuu
03e0: 6d 2d 31 2e 31 20 7b 0a 20 20 65 78 65 63 73 71 m-1.1 {. execsq
03f0: 6c 20 7b 0a 20 20 20 20 70 72 61 67 6d 61 20 61 l {. pragma a
0400: 75 74 6f 5f 76 61 63 75 75 6d 3b 0a 20 20 7d 0a uto_vacuum;. }.
0410: 7d 20 24 73 71 6c 69 74 65 5f 6f 70 74 69 6f 6e } $sqlite_option
0420: 73 28 64 65 66 61 75 6c 74 5f 61 75 74 6f 76 61 s(default_autova
0430: 63 75 75 6d 29 0a 64 6f 5f 74 65 73 74 20 69 6e cuum).do_test in
0440: 63 72 76 61 63 75 75 6d 2d 31 2e 32 2e 30 20 7b crvacuum-1.2.0 {
0450: 0a 20 20 23 20 46 69 6c 65 20 73 69 7a 65 20 69 . # File size i
0460: 73 20 73 6f 6d 65 74 69 6d 65 73 20 31 20 69 6e s sometimes 1 in
0470: 73 74 65 61 64 20 6f 66 20 30 20 64 75 65 20 74 stead of 0 due t
0480: 6f 20 74 68 65 20 68 61 63 6b 20 77 65 20 70 75 o the hack we pu
0490: 74 20 69 6e 0a 20 20 23 20 74 6f 20 77 6f 72 6b t in. # to work
04a0: 20 61 72 6f 75 6e 64 20 74 69 63 6b 65 74 20 23 around ticket #
04b0: 33 32 36 30 2e 20 20 53 65 61 72 63 68 20 66 6f 3260. Search fo
04c0: 72 20 63 6f 6d 6d 65 6e 74 73 20 6f 6e 20 23 33 r comments on #3
04d0: 32 36 30 20 69 6e 0a 20 20 23 20 6f 73 5f 75 6e 260 in. # os_un
04e0: 69 78 2e 63 2e 0a 20 20 65 78 70 72 20 7b 5b 66 ix.c.. expr {[f
04f0: 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62 ile size test.db
0500: 5d 20 3e 20 31 7d 0a 7d 20 7b 30 7d 0a 64 6f 5f ] > 1}.} {0}.do_
0510: 74 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d 2d test incrvacuum-
0520: 31 2e 32 20 7b 0a 20 20 23 20 54 68 69 73 20 63 1.2 {. # This c
0530: 6f 6d 6d 61 6e 64 20 77 69 6c 6c 20 63 72 65 61 ommand will crea
0540: 74 65 20 74 68 65 20 64 61 74 61 62 61 73 65 2e te the database.
0550: 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 . execsql {.
0560: 20 70 72 61 67 6d 61 20 61 75 74 6f 5f 76 61 63 pragma auto_vac
0570: 75 75 6d 20 3d 20 27 66 75 6c 6c 27 3b 0a 20 20 uum = 'full';.
0580: 20 20 70 72 61 67 6d 61 20 61 75 74 6f 5f 76 61 pragma auto_va
0590: 63 75 75 6d 3b 0a 20 20 7d 0a 7d 20 7b 31 7d 0a cuum;. }.} {1}.
05a0: 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75 do_test incrvacu
05b0: 75 6d 2d 31 2e 32 2e 31 20 7b 0a 20 20 65 78 70 um-1.2.1 {. exp
05c0: 72 20 7b 5b 66 69 6c 65 20 73 69 7a 65 20 74 65 r {[file size te
05d0: 73 74 2e 64 62 5d 20 3e 20 30 7d 0a 7d 20 7b 31 st.db] > 0}.} {1
05e0: 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 }.do_test incrva
05f0: 63 75 75 6d 2d 31 2e 33 20 7b 0a 20 20 65 78 65 cuum-1.3 {. exe
0600: 63 73 71 6c 20 7b 0a 20 20 20 20 70 72 61 67 6d csql {. pragm
0610: 61 20 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20 a auto_vacuum =
0620: 27 69 6e 63 72 65 6d 65 6e 74 61 6c 27 3b 0a 20 'incremental';.
0630: 20 20 20 70 72 61 67 6d 61 20 61 75 74 6f 5f 76 pragma auto_v
0640: 61 63 75 75 6d 3b 0a 20 20 7d 0a 7d 20 7b 32 7d acuum;. }.} {2}
0650: 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63 .do_test incrvac
0660: 75 75 6d 2d 31 2e 34 20 7b 0a 20 20 23 20 49 6e uum-1.4 {. # In
0670: 20 74 68 69 73 20 63 61 73 65 20 74 68 65 20 69 this case the i
0680: 6e 76 61 6c 69 64 20 76 61 6c 75 65 20 69 73 20 nvalid value is
0690: 69 67 6e 6f 72 65 64 20 61 6e 64 20 74 68 65 20 ignored and the
06a0: 61 75 74 6f 5f 76 61 63 75 75 6d 0a 20 20 23 20 auto_vacuum. #
06b0: 73 65 74 74 69 6e 67 20 72 65 6d 61 69 6e 73 20 setting remains
06c0: 75 6e 63 68 61 6e 67 65 64 2e 0a 20 20 65 78 65 unchanged.. exe
06d0: 63 73 71 6c 20 7b 0a 20 20 20 20 70 72 61 67 6d csql {. pragm
06e0: 61 20 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20 a auto_vacuum =
06f0: 27 69 6e 76 61 6c 69 64 27 3b 0a 20 20 20 20 70 'invalid';. p
0700: 72 61 67 6d 61 20 61 75 74 6f 5f 76 61 63 75 75 ragma auto_vacuu
0710: 6d 3b 0a 20 20 7d 0a 7d 20 7b 32 7d 0a 64 6f 5f m;. }.} {2}.do_
0720: 74 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d 2d test incrvacuum-
0730: 31 2e 35 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 1.5 {. execsql
0740: 7b 0a 20 20 20 20 70 72 61 67 6d 61 20 61 75 74 {. pragma aut
0750: 6f 5f 76 61 63 75 75 6d 20 3d 20 31 3b 0a 20 20 o_vacuum = 1;.
0760: 20 20 70 72 61 67 6d 61 20 61 75 74 6f 5f 76 61 pragma auto_va
0770: 63 75 75 6d 3b 0a 20 20 7d 0a 7d 20 7b 31 7d 0a cuum;. }.} {1}.
0780: 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75 do_test incrvacu
0790: 75 6d 2d 31 2e 36 20 7b 0a 20 20 65 78 65 63 73 um-1.6 {. execs
07a0: 71 6c 20 7b 0a 20 20 20 20 70 72 61 67 6d 61 20 ql {. pragma
07b0: 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20 27 32 auto_vacuum = '2
07c0: 27 3b 0a 20 20 20 20 70 72 61 67 6d 61 20 61 75 ';. pragma au
07d0: 74 6f 5f 76 61 63 75 75 6d 3b 0a 20 20 7d 0a 7d to_vacuum;. }.}
07e0: 20 7b 32 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 63 {2}.do_test inc
07f0: 72 76 61 63 75 75 6d 2d 31 2e 37 20 7b 0a 20 20 rvacuum-1.7 {.
0800: 23 20 49 6e 76 61 6c 69 64 20 76 61 6c 75 65 2e # Invalid value.
0810: 20 61 75 74 6f 5f 76 61 63 75 75 6d 20 73 65 74 auto_vacuum set
0820: 74 69 6e 67 20 72 65 6d 61 69 6e 73 20 75 6e 63 ting remains unc
0830: 68 61 6e 67 65 64 2e 0a 20 20 65 78 65 63 73 71 hanged.. execsq
0840: 6c 20 7b 0a 20 20 20 20 70 72 61 67 6d 61 20 61 l {. pragma a
0850: 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20 35 3b 0a uto_vacuum = 5;.
0860: 20 20 20 20 70 72 61 67 6d 61 20 61 75 74 6f 5f pragma auto_
0870: 76 61 63 75 75 6d 3b 0a 20 20 7d 0a 7d 20 7b 32 vacuum;. }.} {2
0880: 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d }..#------------
0890: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
08a0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
08b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
08c0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54 65 73 74 ---------.# Test
08d0: 20 74 68 65 20 70 72 61 67 6d 61 20 6f 6e 20 61 the pragma on a
08e0: 20 6e 6f 6e 2d 65 6d 70 74 79 20 64 61 74 61 62 non-empty datab
08f0: 61 73 65 2e 20 49 74 20 69 73 20 70 6f 73 73 69 ase. It is possi
0900: 62 6c 65 20 74 6f 20 74 6f 67 67 6c 65 0a 23 20 ble to toggle.#
0910: 74 68 65 20 63 6f 6e 6e 65 63 74 69 6f 6e 20 62 the connection b
0920: 65 74 77 65 65 6e 20 22 66 75 6c 6c 22 20 61 6e etween "full" an
0930: 64 20 22 69 6e 63 72 65 6d 65 6e 74 61 6c 22 20 d "incremental"
0940: 6d 6f 64 65 2c 20 62 75 74 20 6e 6f 74 20 74 6f mode, but not to
0950: 0a 23 20 63 68 61 6e 67 65 20 66 72 6f 6d 20 65 .# change from e
0960: 69 74 68 65 72 20 6f 66 20 74 68 65 73 65 20 74 ither of these t
0970: 6f 20 22 6e 6f 6e 65 22 2c 20 6f 72 20 66 72 6f o "none", or fro
0980: 6d 20 22 6e 6f 6e 65 22 20 74 6f 20 22 66 75 6c m "none" to "ful
0990: 6c 22 20 6f 72 0a 23 20 22 69 6e 63 72 65 6d 65 l" or.# "increme
09a0: 6e 74 61 6c 22 2e 0a 23 0a 64 6f 5f 74 65 73 74 ntal"..#.do_test
09b0: 20 69 6e 63 72 76 61 63 75 75 6d 2d 32 2e 31 20 incrvacuum-2.1
09c0: 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 {. execsql {.
09d0: 20 20 70 72 61 67 6d 61 20 61 75 74 6f 5f 76 61 pragma auto_va
09e0: 63 75 75 6d 20 3d 20 31 3b 0a 20 20 20 20 43 52 cuum = 1;. CR
09f0: 45 41 54 45 20 54 41 42 4c 45 20 61 62 63 28 61 EATE TABLE abc(a
0a00: 2c 20 62 2c 20 63 29 3b 0a 20 20 7d 0a 7d 20 7b , b, c);. }.} {
0a10: 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 }.do_test incrva
0a20: 63 75 75 6d 2d 32 2e 32 20 7b 0a 20 20 65 78 65 cuum-2.2 {. exe
0a30: 63 73 71 6c 20 7b 0a 20 20 20 20 70 72 61 67 6d csql {. pragm
0a40: 61 20 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20 a auto_vacuum =
0a50: 27 6e 6f 6e 65 27 3b 0a 20 20 20 20 70 72 61 67 'none';. prag
0a60: 6d 61 20 61 75 74 6f 5f 76 61 63 75 75 6d 3b 0a ma auto_vacuum;.
0a70: 20 20 7d 0a 7d 20 7b 31 7d 0a 64 6f 5f 74 65 73 }.} {1}.do_tes
0a80: 74 20 69 6e 63 72 76 61 63 75 75 6d 2d 32 2e 32 t incrvacuum-2.2
0a90: 2e 31 20 7b 0a 20 20 64 62 20 63 6c 6f 73 65 0a .1 {. db close.
0aa0: 20 20 73 71 6c 69 74 65 33 20 64 62 20 74 65 73 sqlite3 db tes
0ab0: 74 2e 64 62 0a 20 20 65 78 65 63 73 71 6c 20 7b t.db. execsql {
0ac0: 0a 20 20 20 20 70 72 61 67 6d 61 20 61 75 74 6f . pragma auto
0ad0: 5f 76 61 63 75 75 6d 3b 0a 20 20 7d 0a 7d 20 7b _vacuum;. }.} {
0ae0: 31 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 1}.do_test incrv
0af0: 61 63 75 75 6d 2d 32 2e 33 20 7b 0a 20 20 65 78 acuum-2.3 {. ex
0b00: 65 63 73 71 6c 20 7b 0a 20 20 20 20 70 72 61 67 ecsql {. prag
0b10: 6d 61 20 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d ma auto_vacuum =
0b20: 20 27 69 6e 63 72 65 6d 65 6e 74 61 6c 27 3b 0a 'incremental';.
0b30: 20 20 20 20 70 72 61 67 6d 61 20 61 75 74 6f 5f pragma auto_
0b40: 76 61 63 75 75 6d 3b 0a 20 20 7d 0a 7d 20 7b 32 vacuum;. }.} {2
0b50: 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 }.do_test incrva
0b60: 63 75 75 6d 2d 32 2e 34 20 7b 0a 20 20 65 78 65 cuum-2.4 {. exe
0b70: 63 73 71 6c 20 7b 0a 20 20 20 20 70 72 61 67 6d csql {. pragm
0b80: 61 20 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20 a auto_vacuum =
0b90: 27 66 75 6c 6c 27 3b 0a 20 20 20 20 70 72 61 67 'full';. prag
0ba0: 6d 61 20 61 75 74 6f 5f 76 61 63 75 75 6d 3b 0a ma auto_vacuum;.
0bb0: 20 20 7d 0a 7d 20 7b 31 7d 0a 0a 23 2d 2d 2d 2d }.} {1}..#----
0bc0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0bd0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0be0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0bf0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0c00: 2d 0a 23 20 54 65 73 74 20 74 68 61 74 20 77 68 -.# Test that wh
0c10: 65 6e 20 74 68 65 20 61 75 74 6f 5f 76 61 63 75 en the auto_vacu
0c20: 75 6d 20 6d 6f 64 65 20 69 73 20 22 69 6e 63 72 um mode is "incr
0c30: 65 6d 65 6e 74 61 6c 22 2c 20 74 68 65 20 64 61 emental", the da
0c40: 74 61 62 61 73 65 0a 23 20 64 6f 65 73 20 6e 6f tabase.# does no
0c50: 74 20 73 68 72 69 6e 6b 20 77 68 65 6e 20 70 61 t shrink when pa
0c60: 67 65 73 20 61 72 65 20 72 65 6d 6f 76 65 64 20 ges are removed
0c70: 66 72 6f 6d 20 69 74 2e 20 42 75 74 20 69 74 20 from it. But it
0c80: 64 6f 65 73 20 69 66 0a 23 20 74 68 65 20 6d 6f does if.# the mo
0c90: 64 65 20 69 73 20 73 65 74 20 74 6f 20 22 66 75 de is set to "fu
0ca0: 6c 6c 22 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 69 ll"..#.do_test i
0cb0: 6e 63 72 76 61 63 75 75 6d 2d 33 2e 31 20 7b 0a ncrvacuum-3.1 {.
0cc0: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 execsql {.
0cd0: 70 72 61 67 6d 61 20 61 75 74 6f 5f 76 61 63 75 pragma auto_vacu
0ce0: 75 6d 3b 0a 20 20 7d 0a 7d 20 7b 31 7d 0a 64 6f um;. }.} {1}.do
0cf0: 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d _test incrvacuum
0d00: 2d 33 2e 32 20 7b 0a 20 20 73 65 74 20 3a 3a 73 -3.2 {. set ::s
0d10: 74 72 20 5b 73 74 72 69 6e 67 20 72 65 70 65 61 tr [string repea
0d20: 74 20 31 32 33 34 35 36 37 38 39 30 20 31 31 30 t 1234567890 110
0d30: 5d 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 ]. execsql {.
0d40: 20 20 50 52 41 47 4d 41 20 61 75 74 6f 5f 76 61 PRAGMA auto_va
0d50: 63 75 75 6d 20 3d 20 32 3b 0a 20 20 20 20 42 45 cuum = 2;. BE
0d60: 47 49 4e 3b 0a 20 20 20 20 43 52 45 41 54 45 20 GIN;. CREATE
0d70: 54 41 42 4c 45 20 74 62 6c 32 28 73 74 72 29 3b TABLE tbl2(str);
0d80: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f . INSERT INTO
0d90: 20 74 62 6c 32 20 56 41 4c 55 45 53 28 24 3a 3a tbl2 VALUES($::
0da0: 73 74 72 29 3b 0a 20 20 20 20 43 4f 4d 4d 49 54 str);. COMMIT
0db0: 3b 0a 20 20 7d 0a 20 20 23 20 35 20 70 61 67 65 ;. }. # 5 page
0dc0: 73 3a 0a 20 20 23 0a 20 20 23 20 20 20 31 20 2d s:. #. # 1 -
0dd0: 3e 20 64 61 74 61 62 61 73 65 20 68 65 61 64 65 > database heade
0de0: 72 0a 20 20 23 20 20 20 32 20 2d 3e 20 66 69 72 r. # 2 -> fir
0df0: 73 74 20 62 61 63 6b 2d 70 6f 69 6e 74 65 72 20 st back-pointer
0e00: 70 61 67 65 0a 20 20 23 20 20 20 33 20 2d 3e 20 page. # 3 ->
0e10: 74 61 62 6c 65 20 61 62 63 0a 20 20 23 20 20 20 table abc. #
0e20: 34 20 2d 3e 20 74 61 62 6c 65 20 74 62 6c 32 0a 4 -> table tbl2.
0e30: 20 20 23 20 20 20 35 20 2d 3e 20 74 61 62 6c 65 # 5 -> table
0e40: 20 74 62 6c 32 20 6f 76 65 72 66 6c 6f 77 20 70 tbl2 overflow p
0e50: 61 67 65 2e 0a 20 20 23 0a 20 20 65 78 70 72 20 age.. #. expr
0e60: 7b 5b 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74 {[file size test
0e70: 2e 64 62 5d 20 2f 20 31 30 32 34 7d 0a 7d 20 7b .db] / 1024}.} {
0e80: 35 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 5}.do_test incrv
0e90: 61 63 75 75 6d 2d 33 2e 33 20 7b 0a 20 20 65 78 acuum-3.3 {. ex
0ea0: 65 63 73 71 6c 20 7b 0a 20 20 20 20 44 52 4f 50 ecsql {. DROP
0eb0: 20 54 41 42 4c 45 20 61 62 63 3b 0a 20 20 20 20 TABLE abc;.
0ec0: 44 45 4c 45 54 45 20 46 52 4f 4d 20 74 62 6c 32 DELETE FROM tbl2
0ed0: 3b 0a 20 20 7d 0a 20 20 65 78 70 72 20 7b 5b 66 ;. }. expr {[f
0ee0: 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62 ile size test.db
0ef0: 5d 20 2f 20 31 30 32 34 7d 0a 7d 20 7b 35 7d 0a ] / 1024}.} {5}.
0f00: 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75 do_test incrvacu
0f10: 75 6d 2d 33 2e 34 20 7b 0a 20 20 65 78 65 63 73 um-3.4 {. execs
0f20: 71 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d 41 20 ql {. PRAGMA
0f30: 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20 31 3b auto_vacuum = 1;
0f40: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f . INSERT INTO
0f50: 20 74 62 6c 32 20 56 41 4c 55 45 53 28 27 68 65 tbl2 VALUES('he
0f60: 6c 6c 6f 20 77 6f 72 6c 64 27 29 3b 0a 20 20 7d llo world');. }
0f70: 0a 20 20 65 78 70 72 20 7b 5b 66 69 6c 65 20 73 . expr {[file s
0f80: 69 7a 65 20 74 65 73 74 2e 64 62 5d 20 2f 20 31 ize test.db] / 1
0f90: 30 32 34 7d 0a 7d 20 7b 33 7d 0a 0a 23 2d 2d 2d 024}.} {3}..#---
0fa0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0fb0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0fc0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0fd0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0fe0: 2d 2d 0a 23 20 54 72 79 20 74 6f 20 72 75 6e 20 --.# Try to run
0ff0: 61 20 76 65 72 79 20 73 69 6d 70 6c 65 20 69 6e a very simple in
1000: 63 72 65 6d 65 6e 74 61 6c 20 76 61 63 75 75 6d cremental vacuum
1010: 2e 20 41 6c 73 6f 20 76 65 72 69 66 79 20 74 68 . Also verify th
1020: 61 74 20 0a 23 20 50 52 41 47 4d 41 20 69 6e 63 at .# PRAGMA inc
1030: 72 65 6d 65 6e 74 61 6c 5f 76 61 63 75 75 6d 20 remental_vacuum
1040: 69 73 20 61 20 68 61 72 6d 6c 65 73 73 20 6e 6f is a harmless no
1050: 2d 6f 70 20 61 67 61 69 6e 73 74 20 61 20 64 61 -op against a da
1060: 74 61 62 61 73 65 20 74 68 61 74 0a 23 20 64 6f tabase that.# do
1070: 65 73 20 6e 6f 74 20 73 75 70 70 6f 72 74 20 61 es not support a
1080: 75 74 6f 2d 76 61 63 75 75 6d 2e 0a 23 0a 64 6f uto-vacuum..#.do
1090: 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d _test incrvacuum
10a0: 2d 34 2e 31 20 7b 0a 20 20 73 65 74 20 3a 3a 73 -4.1 {. set ::s
10b0: 74 72 20 5b 73 74 72 69 6e 67 20 72 65 70 65 61 tr [string repea
10c0: 74 20 31 32 33 34 35 36 37 38 39 30 20 31 31 30 t 1234567890 110
10d0: 5d 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 ]. execsql {.
10e0: 20 20 50 52 41 47 4d 41 20 61 75 74 6f 5f 76 61 PRAGMA auto_va
10f0: 63 75 75 6d 20 3d 20 32 3b 0a 20 20 20 20 49 4e cuum = 2;. IN
1100: 53 45 52 54 20 49 4e 54 4f 20 74 62 6c 32 20 56 SERT INTO tbl2 V
1110: 41 4c 55 45 53 28 24 3a 3a 73 74 72 29 3b 0a 20 ALUES($::str);.
1120: 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 CREATE TABLE
1130: 74 62 6c 31 28 61 2c 20 62 2c 20 63 29 3b 0a 20 tbl1(a, b, c);.
1140: 20 7d 0a 20 20 65 78 70 72 20 7b 5b 66 69 6c 65 }. expr {[file
1150: 20 73 69 7a 65 20 74 65 73 74 2e 64 62 5d 20 2f size test.db] /
1160: 20 31 30 32 34 7d 0a 7d 20 7b 35 7d 0a 64 6f 5f 1024}.} {5}.do_
1170: 74 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d 2d test incrvacuum-
1180: 34 2e 32 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 4.2 {. execsql
1190: 7b 0a 20 20 20 20 44 45 4c 45 54 45 20 46 52 4f {. DELETE FRO
11a0: 4d 20 74 62 6c 32 3b 0a 20 20 20 20 44 52 4f 50 M tbl2;. DROP
11b0: 20 54 41 42 4c 45 20 74 62 6c 31 3b 0a 20 20 7d TABLE tbl1;. }
11c0: 0a 20 20 65 78 70 72 20 7b 5b 66 69 6c 65 20 73 . expr {[file s
11d0: 69 7a 65 20 74 65 73 74 2e 64 62 5d 20 2f 20 31 ize test.db] / 1
11e0: 30 32 34 7d 0a 7d 20 7b 35 7d 0a 64 6f 5f 74 65 024}.} {5}.do_te
11f0: 73 74 20 69 6e 63 72 76 61 63 75 75 6d 2d 34 2e st incrvacuum-4.
1200: 33 20 7b 0a 20 20 73 65 74 20 3a 3a 6e 53 74 65 3 {. set ::nSte
1210: 70 20 30 0a 20 20 64 62 20 65 76 61 6c 20 7b 70 p 0. db eval {p
1220: 72 61 67 6d 61 20 69 6e 63 72 65 6d 65 6e 74 61 ragma incrementa
1230: 6c 5f 76 61 63 75 75 6d 28 31 30 29 7d 20 7b 0a l_vacuum(10)} {.
1240: 20 20 20 20 69 6e 63 72 20 3a 3a 6e 53 74 65 70 incr ::nStep
1250: 0a 20 20 7d 0a 20 20 6c 69 73 74 20 5b 65 78 70 . }. list [exp
1260: 72 20 7b 5b 66 69 6c 65 20 73 69 7a 65 20 74 65 r {[file size te
1270: 73 74 2e 64 62 5d 20 2f 20 31 30 32 34 7d 5d 20 st.db] / 1024}]
1280: 24 3a 3a 6e 53 74 65 70 0a 7d 20 7b 33 20 32 7d $::nStep.} {3 2}
1290: 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ..#-------------
12a0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
12b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
12c0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
12d0: 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54 68 65 20 66 --------.# The f
12e0: 6f 6c 6c 6f 77 69 6e 67 20 74 65 73 74 73 20 2d ollowing tests -
12f0: 20 69 6e 63 72 76 61 63 75 75 6d 2d 35 2e 2a 20 incrvacuum-5.*
1300: 2d 20 74 65 73 74 20 69 6e 63 72 65 6d 65 6e 74 - test increment
1310: 61 6c 20 76 61 63 75 75 6d 0a 23 20 66 72 6f 6d al vacuum.# from
1320: 20 77 69 74 68 69 6e 20 61 20 74 72 61 6e 73 61 within a transa
1330: 63 74 69 6f 6e 2e 0a 23 0a 64 6f 5f 74 65 73 74 ction..#.do_test
1340: 20 69 6e 63 72 76 61 63 75 75 6d 2d 35 2e 31 2e incrvacuum-5.1.
1350: 31 20 7b 0a 20 20 65 78 70 72 20 7b 5b 66 69 6c 1 {. expr {[fil
1360: 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62 5d 20 e size test.db]
1370: 2f 20 31 30 32 34 7d 0a 7d 20 7b 33 7d 0a 64 6f / 1024}.} {3}.do
1380: 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d _test incrvacuum
1390: 2d 35 2e 31 2e 32 20 7b 0a 20 20 65 78 65 63 73 -5.1.2 {. execs
13a0: 71 6c 20 7b 0a 20 20 20 20 42 45 47 49 4e 3b 0a ql {. BEGIN;.
13b0: 20 20 20 20 44 52 4f 50 20 54 41 42 4c 45 20 74 DROP TABLE t
13c0: 62 6c 32 3b 0a 20 20 20 20 50 52 41 47 4d 41 20 bl2;. PRAGMA
13d0: 69 6e 63 72 65 6d 65 6e 74 61 6c 5f 76 61 63 75 incremental_vacu
13e0: 75 6d 3b 0a 20 20 20 20 43 4f 4d 4d 49 54 3b 0a um;. COMMIT;.
13f0: 20 20 7d 0a 20 20 65 78 70 72 20 7b 5b 66 69 6c }. expr {[fil
1400: 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62 5d 20 e size test.db]
1410: 2f 20 31 30 32 34 7d 0a 7d 20 7b 31 7d 0a 0a 64 / 1024}.} {1}..d
1420: 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75 75 o_test incrvacuu
1430: 6d 2d 35 2e 32 2e 31 20 7b 0a 20 20 73 65 74 20 m-5.2.1 {. set
1440: 3a 3a 73 74 72 20 5b 73 74 72 69 6e 67 20 72 65 ::str [string re
1450: 70 65 61 74 20 61 62 63 64 65 66 67 68 69 6a 20 peat abcdefghij
1460: 31 31 30 5d 0a 20 20 65 78 65 63 73 71 6c 20 7b 110]. execsql {
1470: 0a 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20 20 . BEGIN;.
1480: 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 62 6c CREATE TABLE tbl
1490: 31 28 61 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 1(a);. INSERT
14a0: 20 49 4e 54 4f 20 74 62 6c 31 20 56 41 4c 55 45 INTO tbl1 VALUE
14b0: 53 28 24 3a 3a 73 74 72 29 3b 0a 20 20 20 20 50 S($::str);. P
14c0: 52 41 47 4d 41 20 69 6e 63 72 65 6d 65 6e 74 61 RAGMA incrementa
14d0: 6c 5f 76 61 63 75 75 6d 3b 20 20 20 20 20 20 20 l_vacuum;
14e0: 20 20 20 20 20 20 20 20 20 20 2d 2d 20 74 68 69 -- thi
14f0: 73 20 69 73 20 61 20 6e 6f 2d 6f 70 2e 0a 20 20 s is a no-op..
1500: 20 20 43 4f 4d 4d 49 54 3b 0a 20 20 7d 0a 20 20 COMMIT;. }.
1510: 65 78 70 72 20 7b 5b 66 69 6c 65 20 73 69 7a 65 expr {[file size
1520: 20 74 65 73 74 2e 64 62 5d 20 2f 20 31 30 32 34 test.db] / 1024
1530: 7d 0a 7d 20 7b 34 7d 0a 64 6f 5f 74 65 73 74 20 }.} {4}.do_test
1540: 69 6e 63 72 76 61 63 75 75 6d 2d 35 2e 32 2e 32 incrvacuum-5.2.2
1550: 20 7b 0a 20 20 73 65 74 20 3a 3a 73 74 72 20 5b {. set ::str [
1560: 73 74 72 69 6e 67 20 72 65 70 65 61 74 20 61 62 string repeat ab
1570: 63 64 65 66 67 68 69 6a 20 31 31 30 5d 0a 20 20 cdefghij 110].
1580: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 42 45 execsql {. BE
1590: 47 49 4e 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 GIN;. INSERT
15a0: 49 4e 54 4f 20 74 62 6c 31 20 56 41 4c 55 45 53 INTO tbl1 VALUES
15b0: 28 24 3a 3a 73 74 72 29 3b 0a 20 20 20 20 49 4e ($::str);. IN
15c0: 53 45 52 54 20 49 4e 54 4f 20 74 62 6c 31 20 53 SERT INTO tbl1 S
15d0: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 62 6c ELECT * FROM tbl
15e0: 31 3b 0a 20 20 20 20 44 45 4c 45 54 45 20 46 52 1;. DELETE FR
15f0: 4f 4d 20 74 62 6c 31 20 57 48 45 52 45 20 6f 69 OM tbl1 WHERE oi
1600: 64 25 32 3b 20 20 20 20 20 20 20 20 2d 2d 20 50 d%2; -- P
1610: 75 74 20 32 20 6f 76 65 72 66 6c 6f 77 20 70 61 ut 2 overflow pa
1620: 67 65 73 20 6f 6e 20 66 72 65 65 2d 6c 69 73 74 ges on free-list
1630: 2e 0a 20 20 20 20 43 4f 4d 4d 49 54 3b 0a 20 20 .. COMMIT;.
1640: 7d 0a 20 20 65 78 70 72 20 7b 5b 66 69 6c 65 20 }. expr {[file
1650: 73 69 7a 65 20 74 65 73 74 2e 64 62 5d 20 2f 20 size test.db] /
1660: 31 30 32 34 7d 0a 7d 20 7b 37 7d 0a 64 6f 5f 74 1024}.} {7}.do_t
1670: 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d 2d 35 est incrvacuum-5
1680: 2e 32 2e 33 20 7b 0a 20 20 65 78 65 63 73 71 6c .2.3 {. execsql
1690: 20 7b 0a 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 {. BEGIN;.
16a0: 20 20 50 52 41 47 4d 41 20 69 6e 63 72 65 6d 65 PRAGMA increme
16b0: 6e 74 61 6c 5f 76 61 63 75 75 6d 3b 20 20 20 20 ntal_vacuum;
16c0: 20 20 20 20 20 20 20 2d 2d 20 56 61 63 75 75 6d -- Vacuum
16d0: 20 75 70 20 74 68 65 20 74 77 6f 20 70 61 67 65 up the two page
16e0: 73 2e 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 s.. CREATE TA
16f0: 42 4c 45 20 74 62 6c 32 28 62 29 3b 20 20 20 20 BLE tbl2(b);
1700: 20 20 20 20 20 20 20 20 20 20 20 20 2d 2d 20 55 -- U
1710: 73 65 20 6f 6e 65 20 66 72 65 65 20 70 61 67 65 se one free page
1720: 20 61 73 20 61 20 74 61 62 6c 65 20 72 6f 6f 74 as a table root
1730: 2e 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 .. INSERT INT
1740: 4f 20 74 62 6c 32 20 56 41 4c 55 45 53 28 27 61 O tbl2 VALUES('a
1750: 20 6e 69 63 65 20 73 74 72 69 6e 67 27 29 3b 0a nice string');.
1760: 20 20 20 20 43 4f 4d 4d 49 54 3b 0a 20 20 7d 0a COMMIT;. }.
1770: 20 20 65 78 70 72 20 7b 5b 66 69 6c 65 20 73 69 expr {[file si
1780: 7a 65 20 74 65 73 74 2e 64 62 5d 20 2f 20 31 30 ze test.db] / 10
1790: 32 34 7d 0a 7d 20 7b 36 7d 0a 64 6f 5f 74 65 73 24}.} {6}.do_tes
17a0: 74 20 69 6e 63 72 76 61 63 75 75 6d 2d 35 2e 32 t incrvacuum-5.2
17b0: 2e 34 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b .4 {. execsql {
17c0: 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 . SELECT * FR
17d0: 4f 4d 20 74 62 6c 32 3b 0a 20 20 7d 0a 7d 20 7b OM tbl2;. }.} {
17e0: 7b 61 20 6e 69 63 65 20 73 74 72 69 6e 67 7d 7d {a nice string}}
17f0: 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63 .do_test incrvac
1800: 75 75 6d 2d 35 2e 32 2e 35 20 7b 0a 20 20 65 78 uum-5.2.5 {. ex
1810: 65 63 73 71 6c 20 7b 0a 20 20 20 20 44 52 4f 50 ecsql {. DROP
1820: 20 54 41 42 4c 45 20 74 62 6c 31 3b 0a 20 20 20 TABLE tbl1;.
1830: 20 44 52 4f 50 20 54 41 42 4c 45 20 74 62 6c 32 DROP TABLE tbl2
1840: 3b 0a 20 20 20 20 50 52 41 47 4d 41 20 69 6e 63 ;. PRAGMA inc
1850: 72 65 6d 65 6e 74 61 6c 5f 76 61 63 75 75 6d 3b remental_vacuum;
1860: 0a 20 20 7d 0a 20 20 65 78 70 72 20 7b 5b 66 69 . }. expr {[fi
1870: 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62 5d le size test.db]
1880: 20 2f 20 31 30 32 34 7d 0a 7d 20 7b 31 7d 0a 0a / 1024}.} {1}..
1890: 0a 23 20 54 65 73 74 20 63 61 73 65 73 20 69 6e .# Test cases in
18a0: 63 72 76 61 63 75 75 6d 2d 35 2e 33 2e 2a 20 75 crvacuum-5.3.* u
18b0: 73 65 20 74 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 se the following
18c0: 20 6c 69 73 74 20 61 73 20 69 6e 70 75 74 20 64 list as input d
18d0: 61 74 61 2e 0a 23 20 54 77 6f 20 6e 65 77 20 64 ata..# Two new d
18e0: 61 74 61 62 61 73 65 73 20 61 72 65 20 6f 70 65 atabases are ope
18f0: 6e 65 64 2c 20 6f 6e 65 20 77 69 74 68 20 69 6e ned, one with in
1900: 63 72 65 6d 65 6e 74 61 6c 20 76 61 63 75 75 6d cremental vacuum
1910: 20 65 6e 61 62 6c 65 64 2c 0a 23 20 74 68 65 20 enabled,.# the
1920: 6f 74 68 65 72 20 77 69 74 68 20 6e 6f 20 61 75 other with no au
1930: 74 6f 2d 76 61 63 75 75 6d 20 63 6f 6d 70 6c 65 to-vacuum comple
1940: 74 65 6c 79 20 64 69 73 61 62 6c 65 64 2e 20 41 tely disabled. A
1950: 66 74 65 72 20 65 78 65 63 75 74 69 6e 67 0a 23 fter executing.#
1960: 20 65 61 63 68 20 65 6c 65 6d 65 6e 74 20 6f 66 each element of
1970: 20 74 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 6c the following l
1980: 69 73 74 20 6f 6e 20 62 6f 74 68 20 64 61 74 61 ist on both data
1990: 62 61 73 65 73 2c 20 74 65 73 74 20 74 68 61 74 bases, test that
19a0: 0a 23 20 74 68 65 20 69 6e 74 65 67 72 69 74 79 .# the integrity
19b0: 2d 63 68 65 63 6b 20 70 61 73 73 65 73 20 61 6e -check passes an
19c0: 64 20 74 68 65 20 63 6f 6e 74 65 6e 74 73 20 6f d the contents o
19d0: 66 20 65 61 63 68 20 61 72 65 20 69 64 65 6e 74 f each are ident
19e0: 69 63 61 6c 2e 0a 23 20 0a 73 65 74 20 54 65 73 ical..# .set Tes
19f0: 74 53 63 72 69 70 74 4c 69 73 74 20 5b 6c 69 73 tScriptList [lis
1a00: 74 20 7b 0a 20 20 42 45 47 49 4e 3b 0a 20 20 43 t {. BEGIN;. C
1a10: 52 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 61 REATE TABLE t1(a
1a20: 2c 20 62 29 3b 0a 20 20 43 52 45 41 54 45 20 54 , b);. CREATE T
1a30: 41 42 4c 45 20 74 32 28 61 2c 20 62 29 3b 0a 20 ABLE t2(a, b);.
1a40: 20 43 52 45 41 54 45 20 49 4e 44 45 58 20 74 31 CREATE INDEX t1
1a50: 5f 69 20 4f 4e 20 74 31 28 61 29 3b 0a 20 20 43 _i ON t1(a);. C
1a60: 52 45 41 54 45 20 49 4e 44 45 58 20 74 32 5f 69 REATE INDEX t2_i
1a70: 20 4f 4e 20 74 32 28 61 29 3b 0a 7d 20 7b 0a 20 ON t2(a);.} {.
1a80: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 INSERT INTO t1
1a90: 56 41 4c 55 45 53 28 24 3a 3a 73 74 72 31 2c 20 VALUES($::str1,
1aa0: 24 3a 3a 73 74 72 32 29 3b 0a 20 20 49 4e 53 45 $::str2);. INSE
1ab0: 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 RT INTO t1 VALUE
1ac0: 53 28 24 3a 3a 73 74 72 31 7c 7c 24 3a 3a 73 74 S($::str1||$::st
1ad0: 72 32 2c 20 24 3a 3a 73 74 72 32 7c 7c 24 3a 3a r2, $::str2||$::
1ae0: 73 74 72 31 29 3b 0a 20 20 49 4e 53 45 52 54 20 str1);. INSERT
1af0: 49 4e 54 4f 20 74 32 20 53 45 4c 45 43 54 20 62 INTO t2 SELECT b
1b00: 2c 20 61 20 46 52 4f 4d 20 74 31 3b 0a 20 20 49 , a FROM t1;. I
1b10: 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20 53 45 NSERT INTO t2 SE
1b20: 4c 45 43 54 20 61 2c 20 62 20 46 52 4f 4d 20 74 LECT a, b FROM t
1b30: 31 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 1;. INSERT INTO
1b40: 20 74 31 20 53 45 4c 45 43 54 20 62 2c 20 61 20 t1 SELECT b, a
1b50: 46 52 4f 4d 20 74 32 3b 0a 20 20 55 50 44 41 54 FROM t2;. UPDAT
1b60: 45 20 74 32 20 53 45 54 20 62 20 3d 20 27 27 3b E t2 SET b = '';
1b70: 0a 20 20 50 52 41 47 4d 41 20 69 6e 63 72 65 6d . PRAGMA increm
1b80: 65 6e 74 61 6c 5f 76 61 63 75 75 6d 3b 0a 7d 20 ental_vacuum;.}
1b90: 7b 0a 20 20 55 50 44 41 54 45 20 74 32 20 53 45 {. UPDATE t2 SE
1ba0: 54 20 62 20 3d 20 28 53 45 4c 45 43 54 20 62 20 T b = (SELECT b
1bb0: 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 74 31 FROM t1 WHERE t1
1bc0: 2e 6f 69 64 20 3d 20 74 32 2e 6f 69 64 29 3b 0a .oid = t2.oid);.
1bd0: 20 20 50 52 41 47 4d 41 20 69 6e 63 72 65 6d 65 PRAGMA increme
1be0: 6e 74 61 6c 5f 76 61 63 75 75 6d 3b 0a 7d 20 7b ntal_vacuum;.} {
1bf0: 0a 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 . CREATE TABLE
1c00: 74 33 28 61 2c 20 62 29 3b 0a 20 20 49 4e 53 45 t3(a, b);. INSE
1c10: 52 54 20 49 4e 54 4f 20 74 33 20 53 45 4c 45 43 RT INTO t3 SELEC
1c20: 54 20 2a 20 46 52 4f 4d 20 74 32 3b 0a 20 20 44 T * FROM t2;. D
1c30: 52 4f 50 20 54 41 42 4c 45 20 74 32 3b 0a 20 20 ROP TABLE t2;.
1c40: 50 52 41 47 4d 41 20 69 6e 63 72 65 6d 65 6e 74 PRAGMA increment
1c50: 61 6c 5f 76 61 63 75 75 6d 3b 0a 7d 20 7b 0a 20 al_vacuum;.} {.
1c60: 20 43 52 45 41 54 45 20 49 4e 44 45 58 20 74 33 CREATE INDEX t3
1c70: 5f 69 20 4f 4e 20 74 33 28 61 29 3b 0a 20 20 43 _i ON t3(a);. C
1c80: 4f 4d 4d 49 54 3b 0a 7d 20 7b 0a 20 20 42 45 47 OMMIT;.} {. BEG
1c90: 49 4e 3b 0a 20 20 44 52 4f 50 20 49 4e 44 45 58 IN;. DROP INDEX
1ca0: 20 74 33 5f 69 3b 0a 20 20 50 52 41 47 4d 41 20 t3_i;. PRAGMA
1cb0: 69 6e 63 72 65 6d 65 6e 74 61 6c 5f 76 61 63 75 incremental_vacu
1cc0: 75 6d 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 um;. INSERT INT
1cd0: 4f 20 74 33 20 56 41 4c 55 45 53 28 27 68 65 6c O t3 VALUES('hel
1ce0: 6c 6f 27 2c 20 27 77 6f 72 6c 64 27 29 3b 0a 20 lo', 'world');.
1cf0: 20 52 4f 4c 4c 42 41 43 4b 3b 0a 7d 20 7b 0a 20 ROLLBACK;.} {.
1d00: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 33 20 INSERT INTO t3
1d10: 56 41 4c 55 45 53 28 27 68 65 6c 6c 6f 27 2c 20 VALUES('hello',
1d20: 27 77 6f 72 6c 64 27 29 3b 0a 7d 0a 5d 0a 0a 23 'world');.}.]..#
1d30: 20 49 66 20 74 68 69 73 20 62 75 69 6c 64 20 6f If this build o
1d40: 6d 69 74 73 20 73 75 62 71 75 65 72 69 65 73 2c mits subqueries,
1d50: 20 73 74 65 70 20 32 20 69 6e 20 74 68 65 20 61 step 2 in the a
1d60: 62 6f 76 65 20 6c 69 73 74 20 77 69 6c 6c 20 6e bove list will n
1d70: 6f 74 0a 23 20 77 6f 72 6b 2e 20 52 65 70 6c 61 ot.# work. Repla
1d80: 63 65 20 69 74 20 77 69 74 68 20 22 22 20 69 6e ce it with "" in
1d90: 20 74 68 69 73 20 63 61 73 65 2e 20 0a 23 0a 69 this case. .#.i
1da0: 66 63 61 70 61 62 6c 65 20 21 73 75 62 71 75 65 fcapable !subque
1db0: 72 79 20 7b 20 6c 73 65 74 20 54 65 73 74 53 63 ry { lset TestSc
1dc0: 72 69 70 74 4c 69 73 74 20 32 20 22 22 20 7d 0a riptList 2 "" }.
1dd0: 0a 23 20 43 6f 6d 70 61 72 65 20 74 68 65 20 63 .# Compare the c
1de0: 6f 6e 74 65 6e 74 73 20 6f 66 20 64 61 74 61 62 ontents of datab
1df0: 61 73 65 73 20 24 41 20 61 6e 64 20 24 42 2e 0a ases $A and $B..
1e00: 23 0a 70 72 6f 63 20 63 6f 6d 70 61 72 65 5f 64 #.proc compare_d
1e10: 62 73 20 7b 41 20 42 20 74 6e 61 6d 65 7d 20 7b bs {A B tname} {
1e20: 0a 20 20 73 65 74 20 74 62 6c 5f 6c 69 73 74 20 . set tbl_list
1e30: 5b 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 [execsql {. S
1e40: 45 4c 45 43 54 20 74 62 6c 5f 6e 61 6d 65 20 46 ELECT tbl_name F
1e50: 52 4f 4d 20 73 71 6c 69 74 65 5f 6d 61 73 74 65 ROM sqlite_maste
1e60: 72 20 57 48 45 52 45 20 74 79 70 65 20 3d 20 27 r WHERE type = '
1e70: 74 61 62 6c 65 27 0a 20 20 7d 20 24 41 5d 0a 0a table'. } $A]..
1e80: 20 20 64 6f 5f 74 65 73 74 20 24 7b 74 6e 61 6d do_test ${tnam
1e90: 65 7d 2e 31 20 5b 73 75 62 73 74 20 7b 0a 20 20 e}.1 [subst {.
1ea0: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 execsql {.
1eb0: 20 20 53 45 4c 45 43 54 20 74 62 6c 5f 6e 61 6d SELECT tbl_nam
1ec0: 65 20 46 52 4f 4d 20 73 71 6c 69 74 65 5f 6d 61 e FROM sqlite_ma
1ed0: 73 74 65 72 20 57 48 45 52 45 20 74 79 70 65 20 ster WHERE type
1ee0: 3d 20 27 74 61 62 6c 65 27 0a 20 20 20 20 7d 20 = 'table'. }
1ef0: 24 42 0a 20 20 7d 5d 20 24 74 62 6c 5f 6c 69 73 $B. }] $tbl_lis
1f00: 74 0a 0a 20 20 73 65 74 20 74 6e 20 31 0a 20 20 t.. set tn 1.
1f10: 66 6f 72 65 61 63 68 20 74 62 6c 20 24 74 62 6c foreach tbl $tbl
1f20: 5f 6c 69 73 74 20 7b 0a 20 20 20 20 73 65 74 20 _list {. set
1f30: 63 6f 6e 74 72 6f 6c 20 5b 65 78 65 63 73 71 6c control [execsql
1f40: 20 22 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 "SELECT * FROM
1f50: 24 74 62 6c 22 20 24 41 5d 0a 20 20 20 20 64 6f $tbl" $A]. do
1f60: 5f 74 65 73 74 20 24 7b 74 6e 61 6d 65 7d 2e 5b _test ${tname}.[
1f70: 69 6e 63 72 20 74 6e 5d 20 5b 73 75 62 73 74 20 incr tn] [subst
1f80: 7b 0a 20 20 20 20 20 20 65 78 65 63 73 71 6c 20 {. execsql
1f90: 22 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 24 "SELECT * FROM $
1fa0: 74 62 6c 22 20 24 42 0a 20 20 20 20 7d 5d 20 24 tbl" $B. }] $
1fb0: 63 6f 6e 74 72 6f 6c 0a 20 20 7d 0a 7d 0a 0a 73 control. }.}..s
1fc0: 65 74 20 3a 3a 73 74 72 31 20 5b 73 74 72 69 6e et ::str1 [strin
1fd0: 67 20 72 65 70 65 61 74 20 61 62 63 64 65 66 67 g repeat abcdefg
1fe0: 68 69 6a 20 31 33 30 5d 0a 73 65 74 20 3a 3a 73 hij 130].set ::s
1ff0: 74 72 32 20 5b 73 74 72 69 6e 67 20 72 65 70 65 tr2 [string repe
2000: 61 74 20 31 32 33 34 35 36 37 38 39 30 20 31 30 at 1234567890 10
2010: 35 5d 0a 0a 66 6f 72 63 65 64 65 6c 65 74 65 20 5]..forcedelete
2020: 74 65 73 74 31 2e 64 62 20 74 65 73 74 31 2e 64 test1.db test1.d
2030: 62 2d 6a 6f 75 72 6e 61 6c 20 74 65 73 74 32 2e b-journal test2.
2040: 64 62 20 74 65 73 74 32 2e 64 62 2d 6a 6f 75 72 db test2.db-jour
2050: 6e 61 6c 0a 73 71 6c 69 74 65 33 20 64 62 31 20 nal.sqlite3 db1
2060: 74 65 73 74 31 2e 64 62 0a 73 71 6c 69 74 65 33 test1.db.sqlite3
2070: 20 64 62 32 20 74 65 73 74 32 2e 64 62 0a 65 78 db2 test2.db.ex
2080: 65 63 73 71 6c 20 7b 20 50 52 41 47 4d 41 20 61 ecsql { PRAGMA a
2090: 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20 27 6e 6f uto_vacuum = 'no
20a0: 6e 65 27 20 7d 20 64 62 31 0a 65 78 65 63 73 71 ne' } db1.execsq
20b0: 6c 20 7b 20 50 52 41 47 4d 41 20 61 75 74 6f 5f l { PRAGMA auto_
20c0: 76 61 63 75 75 6d 20 3d 20 27 69 6e 63 72 65 6d vacuum = 'increm
20d0: 65 6e 74 61 6c 27 20 7d 20 64 62 32 0a 0a 73 65 ental' } db2..se
20e0: 74 20 74 6e 20 31 0a 66 6f 72 65 61 63 68 20 73 t tn 1.foreach s
20f0: 71 6c 20 24 3a 3a 54 65 73 74 53 63 72 69 70 74 ql $::TestScript
2100: 4c 69 73 74 20 7b 0a 20 20 65 78 65 63 73 71 6c List {. execsql
2110: 20 24 73 71 6c 20 64 62 31 0a 20 20 65 78 65 63 $sql db1. exec
2120: 73 71 6c 20 24 73 71 6c 20 64 62 32 0a 0a 20 20 sql $sql db2..
2130: 63 6f 6d 70 61 72 65 5f 64 62 73 20 64 62 31 20 compare_dbs db1
2140: 64 62 32 20 69 6e 63 72 76 61 63 75 75 6d 2d 35 db2 incrvacuum-5
2150: 2e 33 2e 24 7b 74 6e 7d 0a 20 20 64 6f 5f 74 65 .3.${tn}. do_te
2160: 73 74 20 69 6e 63 72 76 61 63 75 75 6d 2d 35 2e st incrvacuum-5.
2170: 33 2e 24 7b 74 6e 7d 2e 69 6e 74 65 67 72 69 74 3.${tn}.integrit
2180: 79 31 20 7b 0a 20 20 20 20 65 78 65 63 73 71 6c y1 {. execsql
2190: 20 7b 20 50 52 41 47 4d 41 20 69 6e 74 65 67 72 { PRAGMA integr
21a0: 69 74 79 5f 63 68 65 63 6b 3b 20 7d 20 64 62 31 ity_check; } db1
21b0: 0a 20 20 7d 20 7b 6f 6b 7d 0a 20 20 64 6f 5f 74 . } {ok}. do_t
21c0: 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d 2d 35 est incrvacuum-5
21d0: 2e 33 2e 24 7b 74 6e 7d 2e 69 6e 74 65 67 72 69 .3.${tn}.integri
21e0: 74 79 32 20 7b 0a 20 20 20 20 65 78 65 63 73 71 ty2 {. execsq
21f0: 6c 20 7b 20 50 52 41 47 4d 41 20 69 6e 74 65 67 l { PRAGMA integ
2200: 72 69 74 79 5f 63 68 65 63 6b 3b 20 7d 20 64 62 rity_check; } db
2210: 32 0a 20 20 7d 20 7b 6f 6b 7d 0a 20 20 69 6e 63 2. } {ok}. inc
2220: 72 20 74 6e 0a 7d 0a 64 62 31 20 63 6c 6f 73 65 r tn.}.db1 close
2230: 0a 64 62 32 20 63 6c 6f 73 65 0a 23 0a 23 20 45 .db2 close.#.# E
2240: 6e 64 20 6f 66 20 74 65 73 74 20 63 61 73 65 73 nd of test cases
2250: 20 35 2e 33 2e 2a 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 5.3.*..#-------
2260: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
2270: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
2280: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
2290: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 --------------.#
22a0: 20 54 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 74 The following t
22b0: 65 73 74 73 20 2d 20 69 6e 63 72 76 61 63 75 75 ests - incrvacuu
22c0: 6d 2d 36 2e 2a 20 2d 20 74 65 73 74 20 72 75 6e m-6.* - test run
22d0: 6e 69 6e 67 20 69 6e 63 72 65 6d 65 6e 74 61 6c ning incremental
22e0: 20 0a 23 20 76 61 63 75 75 6d 20 77 68 69 6c 65 .# vacuum while
22f0: 20 61 6e 6f 74 68 65 72 20 73 74 61 74 65 6d 65 another stateme
2300: 6e 74 20 28 61 20 72 65 61 64 29 20 69 73 20 62 nt (a read) is b
2310: 65 69 6e 67 20 65 78 65 63 75 74 65 64 2e 0a 23 eing executed..#
2320: 0a 66 6f 72 20 7b 73 65 74 20 6a 6a 20 30 7d 20 .for {set jj 0}
2330: 7b 24 6a 6a 20 3c 20 31 30 7d 20 7b 69 6e 63 72 {$jj < 10} {incr
2340: 20 6a 6a 7d 20 7b 0a 20 20 23 20 42 75 69 6c 64 jj} {. # Build
2350: 20 73 6f 6d 65 20 74 65 73 74 20 64 61 74 61 2e some test data.
2360: 20 54 77 6f 20 74 61 62 6c 65 73 20 61 72 65 20 Two tables are
2370: 63 72 65 61 74 65 64 20 69 6e 20 61 6e 20 65 6d created in an em
2380: 70 74 79 0a 20 20 23 20 64 61 74 61 62 61 73 65 pty. # database
2390: 2e 20 74 62 6c 31 20 64 61 74 61 20 69 73 20 61 . tbl1 data is a
23a0: 20 63 6f 6e 74 69 67 75 6f 75 73 20 62 6c 6f 63 contiguous bloc
23b0: 6b 20 73 74 61 72 74 69 6e 67 20 61 74 20 70 61 k starting at pa
23c0: 67 65 20 35 20 28 70 61 67 65 73 0a 20 20 23 20 ge 5 (pages. #
23d0: 33 20 61 6e 64 20 34 20 61 72 65 20 74 68 65 20 3 and 4 are the
23e0: 74 61 62 6c 65 20 72 6f 6f 74 73 29 2e 20 74 62 table roots). tb
23f0: 6c 32 20 69 73 20 61 20 63 6f 6e 74 69 67 75 6f l2 is a contiguo
2400: 75 73 20 62 6c 6f 63 6b 20 73 74 61 72 74 69 6e us block startin
2410: 67 20 0a 20 20 23 20 72 69 67 68 74 20 61 66 74 g . # right aft
2420: 65 72 20 74 62 6c 31 2e 0a 20 20 23 0a 20 20 23 er tbl1.. #. #
2430: 20 54 68 65 6e 20 64 72 6f 70 20 74 62 6c 31 20 Then drop tbl1
2440: 73 6f 20 74 68 61 74 20 77 68 65 6e 20 61 6e 20 so that when an
2450: 69 6e 63 72 20 76 61 63 75 75 6d 20 69 73 20 72 incr vacuum is r
2460: 75 6e 20 74 68 65 20 70 61 67 65 73 0a 20 20 23 un the pages. #
2470: 20 6f 66 20 74 62 6c 32 20 68 61 76 65 20 74 6f of tbl2 have to
2480: 20 62 65 20 6d 6f 76 65 64 20 74 6f 20 66 69 6c be moved to fil
2490: 6c 20 74 68 65 20 67 61 70 2e 0a 20 20 23 0a 20 l the gap.. #.
24a0: 20 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63 do_test incrvac
24b0: 75 75 6d 2d 36 2e 24 7b 6a 6a 7d 2e 31 20 7b 0a uum-6.${jj}.1 {.
24c0: 20 20 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 execsql {.
24d0: 20 20 20 20 44 52 4f 50 20 54 41 42 4c 45 20 49 DROP TABLE I
24e0: 46 20 45 58 49 53 54 53 20 74 62 6c 31 3b 0a 20 F EXISTS tbl1;.
24f0: 20 20 20 20 20 44 52 4f 50 20 54 41 42 4c 45 20 DROP TABLE
2500: 49 46 20 45 58 49 53 54 53 20 74 62 6c 32 3b 0a IF EXISTS tbl2;.
2510: 20 20 20 20 20 20 50 52 41 47 4d 41 20 69 6e 63 PRAGMA inc
2520: 72 65 6d 65 6e 74 61 6c 5f 76 61 63 75 75 6d 3b remental_vacuum;
2530: 0a 20 20 20 20 20 20 43 52 45 41 54 45 20 54 41 . CREATE TA
2540: 42 4c 45 20 74 62 6c 31 28 61 2c 20 62 29 3b 0a BLE tbl1(a, b);.
2550: 20 20 20 20 20 20 43 52 45 41 54 45 20 54 41 42 CREATE TAB
2560: 4c 45 20 74 62 6c 32 28 61 2c 20 62 29 3b 0a 20 LE tbl2(a, b);.
2570: 20 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20 20 BEGIN;.
2580: 7d 0a 20 20 20 20 66 6f 72 20 7b 73 65 74 20 69 }. for {set i
2590: 69 20 30 7d 20 7b 24 69 69 20 3c 20 31 30 30 30 i 0} {$ii < 1000
25a0: 7d 20 7b 69 6e 63 72 20 69 69 7d 20 7b 0a 20 20 } {incr ii} {.
25b0: 20 20 20 20 64 62 20 65 76 61 6c 20 7b 49 4e 53 db eval {INS
25c0: 45 52 54 20 49 4e 54 4f 20 74 62 6c 31 20 56 41 ERT INTO tbl1 VA
25d0: 4c 55 45 53 28 24 69 69 2c 20 24 69 69 20 7c 7c LUES($ii, $ii ||
25e0: 20 24 69 69 29 7d 0a 20 20 20 20 7d 0a 20 20 20 $ii)}. }.
25f0: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 20 execsql {.
2600: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 62 6c INSERT INTO tbl
2610: 32 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 2 SELECT * FROM
2620: 74 62 6c 31 3b 0a 20 20 20 20 20 20 43 4f 4d 4d tbl1;. COMM
2630: 49 54 3b 0a 20 20 20 20 20 20 44 52 4f 50 20 54 IT;. DROP T
2640: 41 42 4c 45 20 74 62 6c 31 3b 0a 20 20 20 20 7d ABLE tbl1;. }
2650: 0a 20 20 20 20 65 78 70 72 20 7b 5b 66 69 6c 65 . expr {[file
2660: 20 73 69 7a 65 20 74 65 73 74 2e 64 62 5d 20 2f size test.db] /
2670: 20 31 30 32 34 7d 0a 20 20 7d 20 7b 33 36 7d 0a 1024}. } {36}.
2680: 0a 20 20 23 20 52 75 6e 20 61 20 6c 69 6e 65 61 . # Run a linea
2690: 72 20 73 63 61 6e 20 71 75 65 72 79 20 6f 6e 20 r scan query on
26a0: 74 62 6c 32 2e 20 41 66 74 65 72 20 72 65 61 64 tbl2. After read
26b0: 69 6e 67 20 28 24 6a 6a 2a 31 30 30 29 20 72 6f ing ($jj*100) ro
26c0: 77 73 2c 20 0a 20 20 23 20 72 75 6e 20 74 68 65 ws, . # run the
26d0: 20 69 6e 63 72 65 6d 65 6e 74 61 6c 20 76 61 63 incremental vac
26e0: 75 75 6d 20 74 6f 20 73 68 72 69 6e 6b 20 74 68 uum to shrink th
26f0: 65 20 64 61 74 61 62 61 73 65 2e 0a 20 20 23 0a e database.. #.
2700: 20 20 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 do_test incrva
2710: 63 75 75 6d 2d 36 2e 24 7b 6a 6a 7d 2e 32 20 7b cuum-6.${jj}.2 {
2720: 0a 20 20 20 20 73 65 74 20 3a 3a 6e 52 6f 77 20 . set ::nRow
2730: 30 0a 20 20 20 20 64 62 20 65 76 61 6c 20 7b 53 0. db eval {S
2740: 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 62 6c ELECT a FROM tbl
2750: 32 7d 20 7b 7d 20 7b 0a 20 20 20 20 20 20 69 66 2} {} {. if
2760: 20 7b 24 61 20 3d 3d 20 5b 65 78 70 72 20 24 6a {$a == [expr $j
2770: 6a 2a 31 30 30 5d 7d 20 7b 0a 20 20 20 20 20 20 j*100]} {.
2780: 20 20 64 62 20 65 76 61 6c 20 7b 50 52 41 47 4d db eval {PRAGM
2790: 41 20 69 6e 63 72 65 6d 65 6e 74 61 6c 5f 76 61 A incremental_va
27a0: 63 75 75 6d 7d 0a 20 20 20 20 20 20 7d 0a 20 20 cuum}. }.
27b0: 20 20 20 20 69 6e 63 72 20 3a 3a 6e 52 6f 77 0a incr ::nRow.
27c0: 20 20 20 20 7d 0a 20 20 20 20 6c 69 73 74 20 5b }. list [
27d0: 65 78 70 72 20 7b 5b 66 69 6c 65 20 73 69 7a 65 expr {[file size
27e0: 20 74 65 73 74 2e 64 62 5d 20 2f 20 31 30 32 34 test.db] / 1024
27f0: 7d 5d 20 24 6e 52 6f 77 0a 20 20 7d 20 7b 31 39 }] $nRow. } {19
2800: 20 31 30 30 30 7d 0a 7d 0a 0a 23 2d 2d 2d 2d 2d 1000}.}..#-----
2810: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
2820: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
2830: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
2840: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
2850: 0a 23 20 54 68 69 73 20 74 65 73 74 20 2d 20 69 .# This test - i
2860: 6e 63 72 76 61 63 75 75 6d 2d 37 2e 2a 20 2d 20 ncrvacuum-7.* -
2870: 69 73 20 74 6f 20 63 68 65 63 6b 20 74 68 61 74 is to check that
2880: 20 74 68 65 20 64 61 74 61 62 61 73 65 20 63 61 the database ca
2890: 6e 20 62 65 0a 23 20 77 72 69 74 74 65 6e 20 69 n be.# written i
28a0: 6e 20 74 68 65 20 6d 69 64 64 6c 65 20 6f 66 20 n the middle of
28b0: 61 6e 20 69 6e 63 72 65 6d 65 6e 74 61 6c 20 76 an incremental v
28c0: 61 63 75 75 6d 2e 0a 23 0a 73 65 74 20 3a 3a 69 acuum..#.set ::i
28d0: 57 72 69 74 65 20 31 0a 77 68 69 6c 65 20 31 20 Write 1.while 1
28e0: 7b 0a 20 20 64 6f 5f 74 65 73 74 20 69 6e 63 72 {. do_test incr
28f0: 76 61 63 75 75 6d 2d 37 2e 24 7b 3a 3a 69 57 72 vacuum-7.${::iWr
2900: 69 74 65 7d 2e 31 20 7b 0a 20 20 20 20 65 78 65 ite}.1 {. exe
2910: 63 73 71 6c 20 7b 0a 20 20 20 20 20 20 44 52 4f csql {. DRO
2920: 50 20 54 41 42 4c 45 20 49 46 20 45 58 49 53 54 P TABLE IF EXIST
2930: 53 20 74 62 6c 31 3b 0a 20 20 20 20 20 20 44 52 S tbl1;. DR
2940: 4f 50 20 54 41 42 4c 45 20 49 46 20 45 58 49 53 OP TABLE IF EXIS
2950: 54 53 20 74 62 6c 32 3b 0a 20 20 20 20 20 20 50 TS tbl2;. P
2960: 52 41 47 4d 41 20 69 6e 63 72 65 6d 65 6e 74 61 RAGMA incrementa
2970: 6c 5f 76 61 63 75 75 6d 3b 0a 20 20 20 20 20 20 l_vacuum;.
2980: 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 62 6c CREATE TABLE tbl
2990: 31 28 61 2c 20 62 29 3b 0a 20 20 20 20 20 20 43 1(a, b);. C
29a0: 52 45 41 54 45 20 54 41 42 4c 45 20 74 62 6c 32 REATE TABLE tbl2
29b0: 28 61 2c 20 62 29 3b 0a 20 20 20 20 20 20 42 45 (a, b);. BE
29c0: 47 49 4e 3b 0a 20 20 20 20 7d 0a 20 20 20 20 66 GIN;. }. f
29d0: 6f 72 20 7b 73 65 74 20 69 69 20 30 7d 20 7b 24 or {set ii 0} {$
29e0: 69 69 20 3c 20 31 30 30 30 7d 20 7b 69 6e 63 72 ii < 1000} {incr
29f0: 20 69 69 7d 20 7b 0a 20 20 20 20 20 20 64 62 20 ii} {. db
2a00: 65 76 61 6c 20 7b 49 4e 53 45 52 54 20 49 4e 54 eval {INSERT INT
2a10: 4f 20 74 62 6c 31 20 56 41 4c 55 45 53 28 24 69 O tbl1 VALUES($i
2a20: 69 2c 20 24 69 69 20 7c 7c 20 24 69 69 29 7d 0a i, $ii || $ii)}.
2a30: 20 20 20 20 7d 0a 20 20 20 20 65 78 65 63 73 71 }. execsq
2a40: 6c 20 7b 0a 20 20 20 20 20 20 49 4e 53 45 52 54 l {. INSERT
2a50: 20 49 4e 54 4f 20 74 62 6c 32 20 53 45 4c 45 43 INTO tbl2 SELEC
2a60: 54 20 2a 20 46 52 4f 4d 20 74 62 6c 31 3b 0a 20 T * FROM tbl1;.
2a70: 20 20 20 20 20 43 4f 4d 4d 49 54 3b 0a 20 20 20 COMMIT;.
2a80: 20 20 20 44 52 4f 50 20 54 41 42 4c 45 20 74 62 DROP TABLE tb
2a90: 6c 31 3b 0a 20 20 20 20 7d 0a 20 20 20 20 65 78 l1;. }. ex
2aa0: 70 72 20 7b 5b 66 69 6c 65 20 73 69 7a 65 20 74 pr {[file size t
2ab0: 65 73 74 2e 64 62 5d 20 2f 20 31 30 32 34 7d 0a est.db] / 1024}.
2ac0: 20 20 7d 20 7b 33 36 7d 0a 0a 20 20 64 6f 5f 74 } {36}.. do_t
2ad0: 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d 2d 37 est incrvacuum-7
2ae0: 2e 24 7b 3a 3a 69 57 72 69 74 65 7d 2e 32 20 7b .${::iWrite}.2 {
2af0: 0a 20 20 20 20 73 65 74 20 3a 3a 6e 52 6f 77 20 . set ::nRow
2b00: 30 0a 20 20 20 20 64 62 20 65 76 61 6c 20 7b 50 0. db eval {P
2b10: 52 41 47 4d 41 20 69 6e 63 72 65 6d 65 6e 74 61 RAGMA incrementa
2b20: 6c 5f 76 61 63 75 75 6d 7d 20 7b 0a 20 20 20 20 l_vacuum} {.
2b30: 20 20 69 6e 63 72 20 3a 3a 6e 52 6f 77 0a 20 20 incr ::nRow.
2b40: 20 20 20 20 69 66 20 7b 24 3a 3a 6e 52 6f 77 20 if {$::nRow
2b50: 3d 3d 20 24 3a 3a 69 57 72 69 74 65 7d 20 7b 0a == $::iWrite} {.
2b60: 20 20 20 20 20 20 20 20 64 62 20 65 76 61 6c 20 db eval
2b70: 7b 0a 20 20 20 20 20 20 20 20 20 20 43 52 45 41 {. CREA
2b80: 54 45 20 54 41 42 4c 45 20 74 62 6c 31 28 61 2c TE TABLE tbl1(a,
2b90: 20 62 29 3b 0a 20 20 20 20 20 20 20 20 20 20 49 b);. I
2ba0: 4e 53 45 52 54 20 49 4e 54 4f 20 74 62 6c 31 20 NSERT INTO tbl1
2bb0: 56 41 4c 55 45 53 28 27 68 65 6c 6c 6f 27 2c 20 VALUES('hello',
2bc0: 27 77 6f 72 6c 64 27 29 3b 0a 20 20 20 20 20 20 'world');.
2bd0: 20 20 7d 0a 20 20 20 20 20 20 7d 0a 20 20 20 20 }. }.
2be0: 7d 0a 20 20 20 20 6c 69 73 74 20 5b 65 78 70 72 }. list [expr
2bf0: 20 7b 5b 66 69 6c 65 20 73 69 7a 65 20 74 65 73 {[file size tes
2c00: 74 2e 64 62 5d 20 2f 20 31 30 32 34 7d 5d 0a 20 t.db] / 1024}].
2c10: 20 7d 20 7b 32 30 7d 0a 0a 20 20 64 6f 5f 74 65 } {20}.. do_te
2c20: 73 74 20 69 6e 63 72 76 61 63 75 75 6d 2d 37 2e st incrvacuum-7.
2c30: 24 7b 3a 3a 69 57 72 69 74 65 7d 2e 33 20 7b 0a ${::iWrite}.3 {.
2c40: 20 20 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 execsql {.
2c50: 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f SELECT * FRO
2c60: 4d 20 74 62 6c 31 3b 0a 20 20 20 20 7d 0a 20 20 M tbl1;. }.
2c70: 7d 20 7b 68 65 6c 6c 6f 20 77 6f 72 6c 64 7d 0a } {hello world}.
2c80: 0a 20 20 69 66 20 7b 24 3a 3a 6e 52 6f 77 20 3d . if {$::nRow =
2c90: 3d 20 24 3a 3a 69 57 72 69 74 65 7d 20 62 72 65 = $::iWrite} bre
2ca0: 61 6b 0a 20 20 69 6e 63 72 20 3a 3a 69 57 72 69 ak. incr ::iWri
2cb0: 74 65 0a 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d te.}..#---------
2cc0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
2cd0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
2ce0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
2cf0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54 ------------.# T
2d00: 68 69 73 20 74 65 73 74 20 2d 20 69 6e 63 72 76 his test - incrv
2d10: 61 63 75 75 6d 2d 38 2e 2a 20 2d 20 69 73 20 74 acuum-8.* - is t
2d20: 6f 20 63 68 65 63 6b 20 74 68 61 74 20 6e 6f 74 o check that not
2d30: 68 69 6e 67 20 67 6f 65 73 20 77 72 6f 6e 67 0a hing goes wrong.
2d40: 23 20 77 69 74 68 20 61 6e 20 69 6e 63 72 65 6d # with an increm
2d50: 65 6e 74 61 6c 2d 76 61 63 75 75 6d 20 69 66 20 ental-vacuum if
2d60: 69 74 20 69 73 20 74 68 65 20 66 69 72 73 74 20 it is the first
2d70: 73 74 61 74 65 6d 65 6e 74 20 65 78 65 63 75 74 statement execut
2d80: 65 64 0a 23 20 61 66 74 65 72 20 61 6e 20 65 78 ed.# after an ex
2d90: 69 73 74 69 6e 67 20 64 61 74 61 62 61 73 65 20 isting database
2da0: 69 73 20 6f 70 65 6e 65 64 2e 0a 23 0a 23 20 41 is opened..#.# A
2db0: 74 20 6f 6e 65 20 70 6f 69 6e 74 2c 20 74 68 69 t one point, thi
2dc0: 73 20 77 6f 75 6c 64 20 61 6c 77 61 79 73 20 72 s would always r
2dd0: 65 74 75 72 6e 20 53 51 4c 49 54 45 5f 53 43 48 eturn SQLITE_SCH
2de0: 45 4d 41 20 28 77 68 69 63 68 20 0a 23 20 63 61 EMA (which .# ca
2df0: 75 73 65 73 20 61 6e 20 69 6e 66 69 6e 69 74 65 uses an infinite
2e00: 20 6c 6f 6f 70 20 69 6e 20 74 63 6c 73 71 6c 69 loop in tclsqli
2e10: 74 65 2e 63 20 69 66 20 75 73 69 6e 67 20 74 68 te.c if using th
2e20: 65 20 54 63 6c 20 69 6e 74 65 72 66 61 63 65 29 e Tcl interface)
2e30: 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72 ..#.do_test incr
2e40: 76 61 63 75 75 6d 2d 38 2e 31 20 7b 0a 20 20 64 vacuum-8.1 {. d
2e50: 62 20 63 6c 6f 73 65 0a 20 20 73 71 6c 69 74 65 b close. sqlite
2e60: 33 20 64 62 20 74 65 73 74 2e 64 62 0a 20 20 65 3 db test.db. e
2e70: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 50 52 41 xecsql {. PRA
2e80: 47 4d 41 20 69 6e 63 72 65 6d 65 6e 74 61 6c 5f GMA incremental_
2e90: 76 61 63 75 75 6d 28 35 30 29 3b 0a 20 20 7d 0a vacuum(50);. }.
2ea0: 7d 20 7b 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d } {}..#---------
2eb0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
2ec0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
2ed0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
2ee0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 41 ------------.# A
2ef0: 74 20 6f 6e 65 20 70 6f 69 6e 74 20 74 68 69 73 t one point this
2f00: 20 74 65 73 74 20 63 61 73 65 20 77 61 73 20 63 test case was c
2f10: 61 75 73 69 6e 67 20 61 6e 20 61 73 73 65 72 74 ausing an assert
2f20: 28 29 20 74 6f 20 66 61 69 6c 2e 0a 23 0a 64 6f () to fail..#.do
2f30: 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d _test incrvacuum
2f40: 2d 39 2e 31 20 7b 0a 20 20 64 62 20 63 6c 6f 73 -9.1 {. db clos
2f50: 65 0a 20 20 66 6f 72 63 65 64 65 6c 65 74 65 20 e. forcedelete
2f60: 74 65 73 74 2e 64 62 20 74 65 73 74 2e 64 62 2d test.db test.db-
2f70: 6a 6f 75 72 6e 61 6c 0a 20 20 73 71 6c 69 74 65 journal. sqlite
2f80: 33 20 64 62 20 74 65 73 74 2e 64 62 0a 0a 20 20 3 db test.db..
2f90: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 50 52 execsql {. PR
2fa0: 41 47 4d 41 20 61 75 74 6f 5f 76 61 63 75 75 6d AGMA auto_vacuum
2fb0: 20 3d 20 27 69 6e 63 72 65 6d 65 6e 74 61 6c 27 = 'incremental'
2fc0: 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42 ;. CREATE TAB
2fd0: 4c 45 20 74 31 28 61 2c 20 62 2c 20 63 29 3b 0a LE t1(a, b, c);.
2fe0: 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 CREATE TABLE
2ff0: 20 74 32 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20 t2(a, b, c);.
3000: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 INSERT INTO t2
3010: 20 56 41 4c 55 45 53 28 72 61 6e 64 73 74 72 28 VALUES(randstr(
3020: 35 30 30 2c 35 30 30 29 2c 72 61 6e 64 73 74 72 500,500),randstr
3030: 28 35 30 30 2c 35 30 30 29 2c 72 61 6e 64 73 74 (500,500),randst
3040: 72 28 35 30 30 2c 35 30 30 29 29 3b 0a 20 20 20 r(500,500));.
3050: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 INSERT INTO t1
3060: 56 41 4c 55 45 53 28 31 2c 20 32 2c 20 33 29 3b VALUES(1, 2, 3);
3070: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f . INSERT INTO
3080: 20 74 31 20 53 45 4c 45 43 54 20 61 7c 7c 61 2c t1 SELECT a||a,
3090: 20 62 7c 7c 62 2c 20 63 7c 7c 63 20 46 52 4f 4d b||b, c||c FROM
30a0: 20 74 31 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 t1;. INSERT
30b0: 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 61 INTO t1 SELECT a
30c0: 7c 7c 61 2c 20 62 7c 7c 62 2c 20 63 7c 7c 63 20 ||a, b||b, c||c
30d0: 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53 FROM t1;. INS
30e0: 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 ERT INTO t1 SELE
30f0: 43 54 20 61 7c 7c 61 2c 20 62 7c 7c 62 2c 20 63 CT a||a, b||b, c
3100: 7c 7c 63 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 ||c FROM t1;.
3110: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 INSERT INTO t1
3120: 53 45 4c 45 43 54 20 61 7c 7c 61 2c 20 62 7c 7c SELECT a||a, b||
3130: 62 2c 20 63 7c 7c 63 20 46 52 4f 4d 20 74 31 3b b, c||c FROM t1;
3140: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f . INSERT INTO
3150: 20 74 31 20 53 45 4c 45 43 54 20 61 7c 7c 61 2c t1 SELECT a||a,
3160: 20 62 7c 7c 62 2c 20 63 7c 7c 63 20 46 52 4f 4d b||b, c||c FROM
3170: 20 74 31 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 t1;. INSERT
3180: 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 61 INTO t1 SELECT a
3190: 7c 7c 61 2c 20 62 7c 7c 62 2c 20 63 7c 7c 63 20 ||a, b||b, c||c
31a0: 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53 FROM t1;. INS
31b0: 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 ERT INTO t1 SELE
31c0: 43 54 20 61 7c 7c 61 2c 20 62 7c 7c 62 2c 20 63 CT a||a, b||b, c
31d0: 7c 7c 63 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 ||c FROM t1;.
31e0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 INSERT INTO t1
31f0: 53 45 4c 45 43 54 20 61 7c 7c 61 2c 20 62 7c 7c SELECT a||a, b||
3200: 62 2c 20 63 7c 7c 63 20 46 52 4f 4d 20 74 31 3b b, c||c FROM t1;
3210: 0a 20 20 7d 0a 7d 20 7b 7d 0a 0a 64 6f 5f 74 65 . }.} {}..do_te
3220: 73 74 20 69 6e 63 72 76 61 63 75 75 6d 2d 39 2e st incrvacuum-9.
3230: 32 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 2 {. execsql {.
3240: 20 20 20 20 50 52 41 47 4d 41 20 73 79 6e 63 68 PRAGMA synch
3250: 72 6f 6e 6f 75 73 20 3d 20 27 4f 46 46 27 3b 0a ronous = 'OFF';.
3260: 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20 20 55 BEGIN;. U
3270: 50 44 41 54 45 20 74 31 20 53 45 54 20 61 20 3d PDATE t1 SET a =
3280: 20 61 2c 20 62 20 3d 20 62 2c 20 63 20 3d 20 63 a, b = b, c = c
3290: 3b 0a 20 20 20 20 44 52 4f 50 20 54 41 42 4c 45 ;. DROP TABLE
32a0: 20 74 32 3b 0a 20 20 20 20 50 52 41 47 4d 41 20 t2;. PRAGMA
32b0: 69 6e 63 72 65 6d 65 6e 74 61 6c 5f 76 61 63 75 incremental_vacu
32c0: 75 6d 28 31 30 29 3b 0a 20 20 20 20 52 4f 4c 4c um(10);. ROLL
32d0: 42 41 43 4b 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 0a BACK;. }.} {}..
32e0: 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75 do_test incrvacu
32f0: 75 6d 2d 39 2e 33 20 7b 0a 20 20 65 78 65 63 73 um-9.3 {. execs
3300: 71 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d 41 20 ql {. PRAGMA
3310: 63 61 63 68 65 5f 73 69 7a 65 20 3d 20 31 30 3b cache_size = 10;
3320: 0a 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20 20 . BEGIN;.
3330: 55 50 44 41 54 45 20 74 31 20 53 45 54 20 61 20 UPDATE t1 SET a
3340: 3d 20 61 2c 20 62 20 3d 20 62 2c 20 63 20 3d 20 = a, b = b, c =
3350: 63 3b 0a 20 20 20 20 44 52 4f 50 20 54 41 42 4c c;. DROP TABL
3360: 45 20 74 32 3b 0a 20 20 20 20 50 52 41 47 4d 41 E t2;. PRAGMA
3370: 20 69 6e 63 72 65 6d 65 6e 74 61 6c 5f 76 61 63 incremental_vac
3380: 75 75 6d 28 31 30 29 3b 0a 20 20 20 20 52 4f 4c uum(10);. ROL
3390: 4c 42 41 43 4b 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a LBACK;. }.} {}.
33a0: 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d .#--------------
33b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
33c0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
33d0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
33e0: 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54 65 73 74 20 74 -------.# Test t
33f0: 68 61 74 20 74 68 65 20 70 61 72 61 6d 65 74 65 hat the paramete
3400: 72 20 74 6f 20 74 68 65 20 69 6e 63 72 65 6d 65 r to the increme
3410: 6e 74 61 6c 5f 76 61 63 75 75 6d 20 70 72 61 67 ntal_vacuum prag
3420: 6d 61 20 77 6f 72 6b 73 2e 20 54 68 61 74 0a 23 ma works. That.#
3430: 20 69 73 2c 20 69 66 20 74 68 65 20 75 73 65 72 is, if the user
3440: 20 65 78 65 63 75 74 65 73 20 22 50 52 41 47 4d executes "PRAGM
3450: 41 20 69 6e 63 72 65 6d 65 6e 74 61 6c 5f 76 61 A incremental_va
3460: 63 75 75 6d 28 4e 29 22 2c 20 61 74 20 6d 6f 73 cuum(N)", at mos
3470: 74 0a 23 20 4e 20 70 61 67 65 73 20 61 72 65 20 t.# N pages are
3480: 76 61 63 75 75 6d 65 64 2e 0a 23 0a 64 6f 5f 74 vacuumed..#.do_t
3490: 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d 2d 31 est incrvacuum-1
34a0: 30 2e 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 0.1 {. execsql
34b0: 7b 0a 20 20 20 20 44 52 4f 50 20 54 41 42 4c 45 {. DROP TABLE
34c0: 20 74 31 3b 0a 20 20 20 20 44 52 4f 50 20 54 41 t1;. DROP TA
34d0: 42 4c 45 20 74 32 3b 0a 20 20 7d 0a 20 20 65 78 BLE t2;. }. ex
34e0: 70 72 20 5b 66 69 6c 65 20 73 69 7a 65 20 74 65 pr [file size te
34f0: 73 74 2e 64 62 5d 20 2f 20 31 30 32 34 0a 7d 20 st.db] / 1024.}
3500: 7b 32 39 7d 0a 0a 64 6f 5f 74 65 73 74 20 69 6e {29}..do_test in
3510: 63 72 76 61 63 75 75 6d 2d 31 30 2e 32 20 7b 0a crvacuum-10.2 {.
3520: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 execsql {.
3530: 50 52 41 47 4d 41 20 69 6e 63 72 65 6d 65 6e 74 PRAGMA increment
3540: 61 6c 5f 76 61 63 75 75 6d 28 31 29 3b 0a 20 20 al_vacuum(1);.
3550: 7d 0a 20 20 65 78 70 72 20 5b 66 69 6c 65 20 73 }. expr [file s
3560: 69 7a 65 20 74 65 73 74 2e 64 62 5d 20 2f 20 31 ize test.db] / 1
3570: 30 32 34 0a 7d 20 7b 32 38 7d 0a 0a 64 6f 5f 74 024.} {28}..do_t
3580: 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d 2d 31 est incrvacuum-1
3590: 30 2e 33 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 0.3 {. execsql
35a0: 7b 0a 20 20 20 20 50 52 41 47 4d 41 20 69 6e 63 {. PRAGMA inc
35b0: 72 65 6d 65 6e 74 61 6c 5f 76 61 63 75 75 6d 28 remental_vacuum(
35c0: 35 29 3b 0a 20 20 7d 0a 20 20 65 78 70 72 20 5b 5);. }. expr [
35d0: 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64 file size test.d
35e0: 62 5d 20 2f 20 31 30 32 34 0a 7d 20 7b 32 33 7d b] / 1024.} {23}
35f0: 0a 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 ..do_test incrva
3600: 63 75 75 6d 2d 31 30 2e 34 20 7b 0a 20 20 65 78 cuum-10.4 {. ex
3610: 65 63 73 71 6c 20 7b 0a 20 20 20 20 50 52 41 47 ecsql {. PRAG
3620: 4d 41 20 69 6e 63 72 65 6d 65 6e 74 61 6c 5f 76 MA incremental_v
3630: 61 63 75 75 6d 28 27 31 27 29 3b 0a 20 20 7d 0a acuum('1');. }.
3640: 20 20 65 78 70 72 20 5b 66 69 6c 65 20 73 69 7a expr [file siz
3650: 65 20 74 65 73 74 2e 64 62 5d 20 2f 20 31 30 32 e test.db] / 102
3660: 34 0a 7d 20 7b 32 32 7d 0a 0a 64 6f 5f 74 65 73 4.} {22}..do_tes
3670: 74 20 69 6e 63 72 76 61 63 75 75 6d 2d 31 30 2e t incrvacuum-10.
3680: 35 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 5 {. execsql {.
3690: 20 20 20 20 50 52 41 47 4d 41 20 69 6e 63 72 65 PRAGMA incre
36a0: 6d 65 6e 74 61 6c 5f 76 61 63 75 75 6d 28 22 2b mental_vacuum("+
36b0: 33 22 29 3b 0a 20 20 7d 0a 20 20 65 78 70 72 20 3");. }. expr
36c0: 5b 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e [file size test.
36d0: 64 62 5d 20 2f 20 31 30 32 34 0a 7d 20 7b 31 39 db] / 1024.} {19
36e0: 7d 0a 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 }..do_test incrv
36f0: 61 63 75 75 6d 2d 31 30 2e 36 20 7b 0a 20 20 65 acuum-10.6 {. e
3700: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 50 52 41 xecsql {. PRA
3710: 47 4d 41 20 69 6e 63 72 65 6d 65 6e 74 61 6c 5f GMA incremental_
3720: 76 61 63 75 75 6d 20 3d 20 31 3b 0a 20 20 7d 0a vacuum = 1;. }.
3730: 20 20 65 78 70 72 20 5b 66 69 6c 65 20 73 69 7a expr [file siz
3740: 65 20 74 65 73 74 2e 64 62 5d 20 2f 20 31 30 32 e test.db] / 102
3750: 34 0a 7d 20 7b 31 38 7d 0a 0a 64 6f 5f 74 65 73 4.} {18}..do_tes
3760: 74 20 69 6e 63 72 76 61 63 75 75 6d 2d 31 30 2e t incrvacuum-10.
3770: 37 20 7b 0a 20 20 23 20 55 73 65 20 61 20 72 65 7 {. # Use a re
3780: 61 6c 6c 79 20 62 69 67 20 6e 75 6d 62 65 72 20 ally big number
3790: 61 73 20 61 6e 20 61 72 67 75 6d 65 6e 74 20 74 as an argument t
37a0: 6f 20 69 6e 63 72 65 6d 65 74 61 6c 5f 76 61 63 o incremetal_vac
37b0: 75 75 6d 2e 20 53 68 6f 75 6c 64 0a 20 20 23 20 uum. Should. #
37c0: 62 65 20 69 6e 74 65 72 70 72 65 74 65 64 20 61 be interpreted a
37d0: 73 20 22 66 72 65 65 20 61 6c 6c 20 70 6f 73 73 s "free all poss
37e0: 69 62 6c 65 20 73 70 61 63 65 22 2e 0a 20 20 65 ible space".. e
37f0: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 50 52 41 xecsql {. PRA
3800: 47 4d 41 20 69 6e 63 72 65 6d 65 6e 74 61 6c 5f GMA incremental_
3810: 76 61 63 75 75 6d 28 32 31 34 37 34 38 33 36 34 vacuum(214748364
3820: 39 29 3b 0a 20 20 7d 0a 20 20 65 78 70 72 20 5b 9);. }. expr [
3830: 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64 file size test.d
3840: 62 5d 20 2f 20 31 30 32 34 0a 7d 20 7b 31 7d 0a b] / 1024.} {1}.
3850: 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63 .do_test incrvac
3860: 75 75 6d 2d 31 30 2e 38 20 7b 0a 20 20 65 78 65 uum-10.8 {. exe
3870: 63 73 71 6c 20 7b 0a 20 20 20 20 43 52 45 41 54 csql {. CREAT
3880: 45 20 54 41 42 4c 45 20 74 31 28 78 29 3b 0a 20 E TABLE t1(x);.
3890: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 INSERT INTO t
38a0: 31 20 56 41 4c 55 45 53 28 68 65 78 28 72 61 6e 1 VALUES(hex(ran
38b0: 64 6f 6d 62 6c 6f 62 28 31 30 30 30 29 29 29 3b domblob(1000)));
38c0: 0a 20 20 20 20 44 52 4f 50 20 54 41 42 4c 45 20 . DROP TABLE
38d0: 74 31 3b 0a 20 20 7d 0a 20 20 23 20 41 20 6e 65 t1;. }. # A ne
38e0: 67 61 74 69 76 65 20 6e 75 6d 62 65 72 20 6d 65 gative number me
38f0: 61 6e 73 20 66 72 65 65 20 61 6c 6c 20 70 6f 73 ans free all pos
3900: 73 69 62 6c 65 20 73 70 61 63 65 2e 0a 20 20 65 sible space.. e
3910: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 50 52 41 xecsql {. PRA
3920: 47 4d 41 20 69 6e 63 72 65 6d 65 6e 74 61 6c 5f GMA incremental_
3930: 76 61 63 75 75 6d 3d 2d 31 3b 0a 20 20 7d 0a 20 vacuum=-1;. }.
3940: 20 65 78 70 72 20 5b 66 69 6c 65 20 73 69 7a 65 expr [file size
3950: 20 74 65 73 74 2e 64 62 5d 20 2f 20 31 30 32 34 test.db] / 1024
3960: 0a 7d 20 7b 31 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d .} {1}..#-------
3970: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
3980: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
3990: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
39a0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54 65 73 74 ---------.# Test
39b0: 20 74 68 61 74 20 69 66 20 77 65 20 73 65 74 20 that if we set
39c0: 74 68 65 20 61 75 74 6f 5f 76 61 63 75 75 6d 20 the auto_vacuum
39d0: 6d 6f 64 65 20 74 6f 20 27 69 6e 63 72 65 6d 65 mode to 'increme
39e0: 6e 74 61 6c 27 2c 20 74 68 65 6e 0a 23 20 63 72 ntal', then.# cr
39f0: 65 61 74 65 20 61 20 64 61 74 61 62 61 73 65 2c eate a database,
3a00: 20 74 68 65 72 65 61 66 74 65 72 20 74 68 61 74 thereafter that
3a10: 20 64 61 74 61 62 61 73 65 20 64 65 66 61 75 6c database defaul
3a20: 74 73 20 74 6f 20 69 6e 63 72 65 6d 65 6e 74 61 ts to incrementa
3a30: 6c 20 0a 23 20 76 61 63 75 75 6d 20 6d 6f 64 65 l .# vacuum mode
3a40: 2e 0a 23 0a 64 62 20 63 6c 6f 73 65 0a 66 6f 72 ..#.db close.for
3a50: 63 65 64 65 6c 65 74 65 20 74 65 73 74 2e 64 62 cedelete test.db
3a60: 20 74 65 73 74 2e 64 62 2d 6a 6f 75 72 6e 61 6c test.db-journal
3a70: 0a 73 71 6c 69 74 65 33 20 64 62 20 74 65 73 74 .sqlite3 db test
3a80: 2e 64 62 0a 0a 69 66 63 61 70 61 62 6c 65 20 64 .db..ifcapable d
3a90: 65 66 61 75 6c 74 5f 61 75 74 6f 76 61 63 75 75 efault_autovacuu
3aa0: 6d 20 7b 0a 20 20 64 6f 5f 74 65 73 74 20 69 6e m {. do_test in
3ab0: 63 72 76 61 63 75 75 6d 2d 31 31 2e 31 2d 61 76 crvacuum-11.1-av
3ac0: 2d 64 66 6c 74 2d 6f 6e 20 7b 0a 20 20 20 20 65 -dflt-on {. e
3ad0: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 20 20 50 xecsql {. P
3ae0: 52 41 47 4d 41 20 61 75 74 6f 5f 76 61 63 75 75 RAGMA auto_vacuu
3af0: 6d 3b 0a 20 20 20 20 7d 0a 20 20 7d 20 24 41 55 m;. }. } $AU
3b00: 54 4f 56 41 43 55 55 4d 0a 7d 20 65 6c 73 65 20 TOVACUUM.} else
3b10: 7b 0a 20 20 64 6f 5f 74 65 73 74 20 69 6e 63 72 {. do_test incr
3b20: 76 61 63 75 75 6d 2d 31 31 2e 31 2d 61 76 2d 64 vacuum-11.1-av-d
3b30: 66 6c 74 2d 6f 66 66 20 7b 0a 20 20 20 20 65 78 flt-off {. ex
3b40: 65 63 73 71 6c 20 7b 0a 20 20 20 20 20 20 50 52 ecsql {. PR
3b50: 41 47 4d 41 20 61 75 74 6f 5f 76 61 63 75 75 6d AGMA auto_vacuum
3b60: 3b 0a 20 20 20 20 7d 0a 20 20 7d 20 7b 30 7d 0a ;. }. } {0}.
3b70: 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 }.do_test incrva
3b80: 63 75 75 6d 2d 31 31 2e 32 20 7b 0a 20 20 65 78 cuum-11.2 {. ex
3b90: 65 63 73 71 6c 20 7b 0a 20 20 20 20 50 52 41 47 ecsql {. PRAG
3ba0: 4d 41 20 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d MA auto_vacuum =
3bb0: 20 69 6e 63 72 65 6d 65 6e 74 61 6c 3b 0a 20 20 incremental;.
3bc0: 7d 0a 7d 20 7b 7d 0a 64 6f 5f 74 65 73 74 20 69 }.} {}.do_test i
3bd0: 6e 63 72 76 61 63 75 75 6d 2d 31 31 2e 33 20 7b ncrvacuum-11.3 {
3be0: 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 . execsql {.
3bf0: 20 50 52 41 47 4d 41 20 61 75 74 6f 5f 76 61 63 PRAGMA auto_vac
3c00: 75 75 6d 3b 0a 20 20 7d 0a 7d 20 7b 32 7d 0a 64 uum;. }.} {2}.d
3c10: 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75 75 o_test incrvacuu
3c20: 6d 2d 31 31 2e 34 20 7b 0a 20 20 23 20 54 68 65 m-11.4 {. # The
3c30: 20 64 61 74 61 62 61 73 65 20 68 61 73 20 6e 6f database has no
3c40: 77 20 62 65 65 6e 20 63 72 65 61 74 65 64 2e 0a w been created..
3c50: 20 20 65 78 70 72 20 7b 5b 66 69 6c 65 20 73 69 expr {[file si
3c60: 7a 65 20 74 65 73 74 2e 64 62 5d 3e 30 7d 0a 7d ze test.db]>0}.}
3c70: 20 7b 31 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 63 {1}.do_test inc
3c80: 72 76 61 63 75 75 6d 2d 31 31 2e 35 20 7b 0a 20 rvacuum-11.5 {.
3c90: 20 23 20 43 6c 6f 73 65 20 61 6e 64 20 72 65 6f # Close and reo
3ca0: 70 65 6e 20 74 68 65 20 63 6f 6e 6e 65 63 74 69 pen the connecti
3cb0: 6f 6e 2e 0a 20 20 64 62 20 63 6c 6f 73 65 0a 20 on.. db close.
3cc0: 20 73 71 6c 69 74 65 33 20 64 62 20 74 65 73 74 sqlite3 db test
3cd0: 2e 64 62 0a 0a 20 20 23 20 54 65 73 74 20 77 65 .db.. # Test we
3ce0: 20 61 72 65 20 73 74 69 6c 6c 20 69 6e 20 69 6e are still in in
3cf0: 63 72 65 6d 65 6e 74 61 6c 20 76 61 63 75 75 6d cremental vacuum
3d00: 20 6d 6f 64 65 2e 0a 20 20 65 78 65 63 73 71 6c mode.. execsql
3d10: 20 7b 20 50 52 41 47 4d 41 20 61 75 74 6f 5f 76 { PRAGMA auto_v
3d20: 61 63 75 75 6d 3b 20 7d 0a 7d 20 7b 32 7d 0a 64 acuum; }.} {2}.d
3d30: 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75 75 o_test incrvacuu
3d40: 6d 2d 31 31 2e 36 20 7b 0a 20 20 65 78 65 63 73 m-11.6 {. execs
3d50: 71 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d 41 20 ql {. PRAGMA
3d60: 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20 27 66 auto_vacuum = 'f
3d70: 75 6c 6c 27 3b 0a 20 20 20 20 50 52 41 47 4d 41 ull';. PRAGMA
3d80: 20 61 75 74 6f 5f 76 61 63 75 75 6d 3b 0a 20 20 auto_vacuum;.
3d90: 7d 0a 7d 20 7b 31 7d 0a 64 6f 5f 74 65 73 74 20 }.} {1}.do_test
3da0: 69 6e 63 72 76 61 63 75 75 6d 2d 31 31 2e 37 20 incrvacuum-11.7
3db0: 7b 0a 20 20 23 20 43 6c 6f 73 65 20 61 6e 64 20 {. # Close and
3dc0: 72 65 6f 70 65 6e 20 74 68 65 20 63 6f 6e 6e 65 reopen the conne
3dd0: 63 74 69 6f 6e 2e 0a 20 20 64 62 20 63 6c 6f 73 ction.. db clos
3de0: 65 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20 74 e. sqlite3 db t
3df0: 65 73 74 2e 64 62 0a 0a 20 20 23 20 54 65 73 74 est.db.. # Test
3e00: 20 77 65 20 61 72 65 20 73 74 69 6c 6c 20 69 6e we are still in
3e10: 20 22 66 75 6c 6c 22 20 61 75 74 6f 2d 76 61 63 "full" auto-vac
3e20: 75 75 6d 20 6d 6f 64 65 2e 0a 20 20 65 78 65 63 uum mode.. exec
3e30: 73 71 6c 20 7b 20 50 52 41 47 4d 41 20 61 75 74 sql { PRAGMA aut
3e40: 6f 5f 76 61 63 75 75 6d 3b 20 7d 0a 7d 20 7b 31 o_vacuum; }.} {1
3e50: 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d }..#------------
3e60: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
3e70: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
3e80: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
3e90: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 53 70 65 ----------.# Spe
3ea0: 63 69 61 6c 20 63 61 73 65 3a 20 57 68 61 74 20 cial case: What
3eb0: 68 61 70 70 65 6e 73 20 69 66 20 74 68 65 20 64 happens if the d
3ec0: 61 74 61 62 61 73 65 20 69 73 20 6c 6f 63 6b 65 atabase is locke
3ed0: 64 20 77 68 65 6e 20 61 20 22 50 52 41 47 4d 41 d when a "PRAGMA
3ee0: 0a 23 20 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d .# auto_vacuum =
3ef0: 20 58 58 58 22 20 73 74 61 74 65 6d 65 6e 74 20 XXX" statement
3f00: 69 73 20 65 78 65 63 75 74 65 64 2e 0a 23 0a 64 is executed..#.d
3f10: 62 20 63 6c 6f 73 65 0a 66 6f 72 63 65 64 65 6c b close.forcedel
3f20: 65 74 65 20 74 65 73 74 2e 64 62 20 74 65 73 74 ete test.db test
3f30: 2e 64 62 2d 6a 6f 75 72 6e 61 6c 0a 73 71 6c 69 .db-journal.sqli
3f40: 74 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a 0a te3 db test.db..
3f50: 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75 do_test incrvacu
3f60: 75 6d 2d 31 32 2e 31 20 7b 0a 20 20 65 78 65 63 um-12.1 {. exec
3f70: 73 71 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d 41 sql {. PRAGMA
3f80: 20 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20 31 auto_vacuum = 1
3f90: 3b 0a 20 20 7d 0a 20 20 65 78 70 72 20 7b 5b 66 ;. }. expr {[f
3fa0: 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62 ile size test.db
3fb0: 5d 3e 30 7d 0a 7d 20 7b 31 7d 0a 0a 23 20 54 72 ]>0}.} {1}..# Tr
3fc0: 79 20 74 6f 20 63 68 61 6e 67 65 20 74 68 65 20 y to change the
3fd0: 61 75 74 6f 2d 76 61 63 75 75 6d 20 66 72 6f 6d auto-vacuum from
3fe0: 20 22 66 75 6c 6c 22 20 74 6f 20 22 69 6e 63 72 "full" to "incr
3ff0: 65 6d 65 6e 74 61 6c 22 20 77 68 69 6c 65 20 74 emental" while t
4000: 68 65 0a 23 20 64 61 74 61 62 61 73 65 20 69 73 he.# database is
4010: 20 6c 6f 63 6b 65 64 2e 20 4e 6f 74 68 69 6e 67 locked. Nothing
4020: 20 73 68 6f 75 6c 64 20 63 68 61 6e 67 65 2e 0a should change..
4030: 23 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 #.do_test incrva
4040: 63 75 75 6d 2d 31 32 2e 32 20 7b 0a 20 20 73 71 cuum-12.2 {. sq
4050: 6c 69 74 65 33 20 64 62 32 20 74 65 73 74 2e 64 lite3 db2 test.d
4060: 62 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 42 45 b. execsql { BE
4070: 47 49 4e 20 45 58 43 4c 55 53 49 56 45 3b 20 7d GIN EXCLUSIVE; }
4080: 20 64 62 32 0a 20 20 63 61 74 63 68 73 71 6c 20 db2. catchsql
4090: 7b 20 50 52 41 47 4d 41 20 61 75 74 6f 5f 76 61 { PRAGMA auto_va
40a0: 63 75 75 6d 20 3d 20 32 3b 20 7d 0a 7d 20 7b 31 cuum = 2; }.} {1
40b0: 20 7b 64 61 74 61 62 61 73 65 20 69 73 20 6c 6f {database is lo
40c0: 63 6b 65 64 7d 7d 0a 0a 64 6f 5f 74 65 73 74 20 cked}}..do_test
40d0: 69 6e 63 72 76 61 63 75 75 6d 2d 31 32 2e 33 20 incrvacuum-12.3
40e0: 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 52 4f {. execsql { RO
40f0: 4c 4c 42 41 43 4b 3b 20 7d 20 64 62 32 0a 20 20 LLBACK; } db2.
4100: 65 78 65 63 73 71 6c 20 7b 20 50 52 41 47 4d 41 execsql { PRAGMA
4110: 20 61 75 74 6f 5f 76 61 63 75 75 6d 20 7d 0a 7d auto_vacuum }.}
4120: 20 7b 32 7d 20 20 20 3b 23 20 53 74 69 6c 6c 20 {2} ;# Still
4130: 32 20 62 65 63 61 75 73 65 20 50 52 41 47 4d 41 2 because PRAGMA
4140: 20 61 75 74 6f 5f 76 61 63 75 75 6d 20 73 65 74 auto_vacuum set
4150: 74 69 6e 67 20 68 65 6c 64 20 69 6e 20 63 61 73 ting held in cas
4160: 65 20 6f 66 20 76 61 63 75 75 6d 0a 64 6f 5f 74 e of vacuum.do_t
4170: 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d 2d 31 est incrvacuum-1
4180: 32 2e 34 20 7b 0a 20 20 64 62 20 63 6c 6f 73 65 2.4 {. db close
4190: 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20 74 65 . sqlite3 db te
41a0: 73 74 2e 64 62 0a 20 20 65 78 65 63 73 71 6c 20 st.db. execsql
41b0: 7b 20 50 52 41 47 4d 41 20 61 75 74 6f 5f 76 61 { PRAGMA auto_va
41c0: 63 75 75 6d 20 7d 0a 7d 20 7b 31 7d 20 20 20 3b cuum }.} {1} ;
41d0: 23 20 52 65 76 65 72 74 20 74 6f 20 31 20 62 65 # Revert to 1 be
41e0: 63 61 75 73 65 20 74 68 65 20 64 61 74 61 62 61 cause the databa
41f0: 73 65 20 66 69 6c 65 20 64 69 64 20 6e 6f 74 20 se file did not
4200: 63 68 61 6e 67 65 0a 0a 64 6f 5f 74 65 73 74 20 change..do_test
4210: 69 6e 63 72 76 61 63 75 75 6d 2d 31 32 2e 35 20 incrvacuum-12.5
4220: 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 53 45 {. execsql { SE
4230: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 73 71 6c 69 LECT * FROM sqli
4240: 74 65 5f 6d 61 73 74 65 72 20 7d 0a 20 20 65 78 te_master }. ex
4250: 65 63 73 71 6c 20 7b 20 50 52 41 47 4d 41 20 61 ecsql { PRAGMA a
4260: 75 74 6f 5f 76 61 63 75 75 6d 20 7d 0a 7d 20 7b uto_vacuum }.} {
4270: 31 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 1}..#-----------
4280: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
4290: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
42a0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
42b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 53 70 -----------.# Sp
42c0: 65 63 69 61 6c 20 63 61 73 65 20 23 32 3a 20 57 ecial case #2: W
42d0: 68 61 74 20 69 66 20 6f 6e 65 20 70 72 6f 63 65 hat if one proce
42e0: 73 73 20 70 72 65 70 61 72 65 73 20 61 20 22 50 ss prepares a "P
42f0: 52 41 47 4d 41 20 61 75 74 6f 5f 76 61 63 75 75 RAGMA auto_vacuu
4300: 6d 20 3d 20 58 58 58 22 0a 23 20 73 74 61 74 65 m = XXX".# state
4310: 6d 65 6e 74 20 77 68 65 6e 20 74 68 65 20 64 61 ment when the da
4320: 74 61 62 61 73 65 20 69 73 20 65 6d 70 74 79 2c tabase is empty,
4330: 20 62 75 74 20 64 6f 65 73 6e 27 74 20 65 78 65 but doesn't exe
4340: 63 75 74 65 20 69 74 20 75 6e 74 69 6c 0a 23 20 cute it until.#
4350: 61 66 74 65 72 20 73 6f 6d 65 20 6f 74 68 65 72 after some other
4360: 20 70 72 6f 63 65 73 73 20 68 61 73 20 63 72 65 process has cre
4370: 61 74 65 64 20 74 68 65 20 64 61 74 61 62 61 73 ated the databas
4380: 65 2e 0a 23 0a 64 62 32 20 63 6c 6f 73 65 0a 64 e..#.db2 close.d
4390: 62 20 63 6c 6f 73 65 0a 66 6f 72 63 65 64 65 6c b close.forcedel
43a0: 65 74 65 20 74 65 73 74 2e 64 62 20 74 65 73 74 ete test.db test
43b0: 2e 64 62 2d 6a 6f 75 72 6e 61 6c 0a 73 71 6c 69 .db-journal.sqli
43c0: 74 65 33 20 64 62 20 74 65 73 74 2e 64 62 20 20 te3 db test.db
43d0: 3b 20 20 73 65 74 20 3a 3a 44 42 20 5b 73 71 6c ; set ::DB [sql
43e0: 69 74 65 33 5f 63 6f 6e 6e 65 63 74 69 6f 6e 5f ite3_connection_
43f0: 70 6f 69 6e 74 65 72 20 64 62 5d 0a 73 71 6c 69 pointer db].sqli
4400: 74 65 33 20 64 62 32 20 74 65 73 74 2e 64 62 0a te3 db2 test.db.
4410: 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63 .do_test incrvac
4420: 75 75 6d 2d 31 33 2e 31 20 7b 0a 20 20 23 20 46 uum-13.1 {. # F
4430: 69 6c 65 20 73 69 7a 65 20 69 73 20 73 6f 6d 65 ile size is some
4440: 74 69 6d 65 73 20 31 20 69 6e 73 74 65 61 64 20 times 1 instead
4450: 6f 66 20 30 20 64 75 65 20 74 6f 20 74 68 65 20 of 0 due to the
4460: 68 61 63 6b 20 77 65 20 70 75 74 20 69 6e 0a 20 hack we put in.
4470: 20 23 20 74 6f 20 77 6f 72 6b 20 61 72 6f 75 6e # to work aroun
4480: 64 20 74 69 63 6b 65 74 20 23 33 32 36 30 2e 20 d ticket #3260.
4490: 20 53 65 61 72 63 68 20 66 6f 72 20 63 6f 6d 6d Search for comm
44a0: 65 6e 74 73 20 6f 6e 20 23 33 32 36 30 20 69 6e ents on #3260 in
44b0: 0a 20 20 23 20 6f 73 5f 75 6e 69 78 2e 63 2e 0a . # os_unix.c..
44c0: 20 20 65 78 70 72 20 7b 5b 66 69 6c 65 20 73 69 expr {[file si
44d0: 7a 65 20 74 65 73 74 2e 64 62 5d 3e 31 7d 0a 7d ze test.db]>1}.}
44e0: 20 7b 30 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 63 {0}.do_test inc
44f0: 72 76 61 63 75 75 6d 2d 31 33 2e 32 20 7b 0a 20 rvacuum-13.2 {.
4500: 20 73 65 74 20 3a 3a 53 54 4d 54 20 5b 73 71 6c set ::STMT [sql
4510: 69 74 65 33 5f 70 72 65 70 61 72 65 20 24 3a 3a ite3_prepare $::
4520: 44 42 20 7b 50 52 41 47 4d 41 20 61 75 74 6f 5f DB {PRAGMA auto_
4530: 76 61 63 75 75 6d 20 3d 20 32 7d 20 2d 31 20 44 vacuum = 2} -1 D
4540: 55 4d 4d 59 5d 0a 20 20 65 78 65 63 73 71 6c 20 UMMY]. execsql
4550: 7b 0a 20 20 20 20 50 52 41 47 4d 41 20 61 75 74 {. PRAGMA aut
4560: 6f 5f 76 61 63 75 75 6d 20 3d 20 6e 6f 6e 65 3b o_vacuum = none;
4570: 0a 20 20 20 20 50 52 41 47 4d 41 20 64 65 66 61 . PRAGMA defa
4580: 75 6c 74 5f 63 61 63 68 65 5f 73 69 7a 65 20 3d ult_cache_size =
4590: 20 31 30 32 34 3b 0a 20 20 20 20 50 52 41 47 4d 1024;. PRAGM
45a0: 41 20 61 75 74 6f 5f 76 61 63 75 75 6d 3b 0a 20 A auto_vacuum;.
45b0: 20 7d 20 64 62 32 0a 7d 20 7b 30 7d 0a 64 6f 5f } db2.} {0}.do_
45c0: 74 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d 2d test incrvacuum-
45d0: 31 33 2e 33 20 7b 0a 20 20 65 78 70 72 20 7b 5b 13.3 {. expr {[
45e0: 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64 file size test.d
45f0: 62 5d 3e 30 7d 0a 7d 20 7b 31 7d 0a 64 6f 5f 74 b]>0}.} {1}.do_t
4600: 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d 2d 31 est incrvacuum-1
4610: 33 2e 34 20 7b 0a 20 20 73 65 74 20 72 63 20 5b 3.4 {. set rc [
4620: 73 71 6c 69 74 65 33 5f 73 74 65 70 20 24 3a 3a sqlite3_step $::
4630: 53 54 4d 54 5d 0a 20 20 6c 69 73 74 20 24 72 63 STMT]. list $rc
4640: 20 5b 73 71 6c 69 74 65 33 5f 66 69 6e 61 6c 69 [sqlite3_finali
4650: 7a 65 20 24 3a 3a 53 54 4d 54 5d 0a 7d 20 7b 53 ze $::STMT].} {S
4660: 51 4c 49 54 45 5f 44 4f 4e 45 20 53 51 4c 49 54 QLITE_DONE SQLIT
4670: 45 5f 4f 4b 7d 0a 64 6f 5f 74 65 73 74 20 69 6e E_OK}.do_test in
4680: 63 72 76 61 63 75 75 6d 2d 31 33 2e 35 20 7b 0a crvacuum-13.5 {.
4690: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 execsql {.
46a0: 50 52 41 47 4d 41 20 61 75 74 6f 5f 76 61 63 75 PRAGMA auto_vacu
46b0: 75 6d 3b 0a 20 20 7d 0a 7d 20 7b 30 7d 0a 0a 0a um;. }.} {0}...
46c0: 23 20 56 65 72 69 66 79 20 74 68 61 74 20 74 68 # Verify that th
46d0: 65 20 69 6e 63 72 65 6d 65 6e 74 61 6c 5f 76 61 e incremental_va
46e0: 63 75 75 6d 20 70 72 61 67 6d 61 20 66 61 69 6c cuum pragma fail
46f0: 73 20 67 72 61 63 65 66 75 6c 6c 79 20 69 66 20 s gracefully if
4700: 69 74 0a 23 20 69 73 20 75 73 65 64 20 61 67 61 it.# is used aga
4710: 69 6e 73 74 20 61 6e 20 69 6e 76 61 6c 69 64 20 inst an invalid
4720: 64 61 74 61 62 61 73 65 20 66 69 6c 65 2e 0a 23 database file..#
4730: 0a 69 66 20 7b 5b 70 65 72 6d 75 74 61 74 69 6f .if {[permutatio
4740: 6e 5d 20 3d 3d 20 22 22 7d 20 7b 0a 20 20 64 6f n] == ""} {. do
4750: 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d _test incrvacuum
4760: 2d 31 34 2e 31 20 7b 0a 20 20 20 20 73 65 74 20 -14.1 {. set
4770: 6f 75 74 20 5b 6f 70 65 6e 20 69 6e 76 61 6c 69 out [open invali
4780: 64 2e 64 62 20 77 5d 0a 20 20 20 20 70 75 74 73 d.db w]. puts
4790: 20 24 6f 75 74 20 22 54 68 69 73 20 69 73 20 6e $out "This is n
47a0: 6f 74 20 61 6e 20 53 51 4c 69 74 65 20 64 61 74 ot an SQLite dat
47b0: 61 62 61 73 65 20 66 69 6c 65 22 0a 20 20 20 20 abase file".
47c0: 63 6c 6f 73 65 20 24 6f 75 74 0a 20 20 20 20 73 close $out. s
47d0: 71 6c 69 74 65 33 20 64 62 33 20 69 6e 76 61 6c qlite3 db3 inval
47e0: 69 64 2e 64 62 0a 20 20 20 20 63 61 74 63 68 73 id.db. catchs
47f0: 71 6c 20 7b 0a 20 20 20 20 20 20 50 52 41 47 4d ql {. PRAGM
4800: 41 20 69 6e 63 72 65 6d 65 6e 74 61 6c 5f 76 61 A incremental_va
4810: 63 75 75 6d 28 31 30 29 3b 0a 20 20 20 20 7d 20 cuum(10);. }
4820: 64 62 33 0a 20 20 7d 20 7b 31 20 7b 66 69 6c 65 db3. } {1 {file
4830: 20 69 73 20 6e 6f 74 20 61 20 64 61 74 61 62 61 is not a databa
4840: 73 65 7d 7d 0a 20 20 64 62 33 20 63 6c 6f 73 65 se}}. db3 close
4850: 0a 7d 0a 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72 .}..do_test incr
4860: 76 61 63 75 75 6d 2d 31 35 2e 31 20 7b 0a 20 20 vacuum-15.1 {.
4870: 64 62 20 63 6c 6f 73 65 0a 20 20 64 62 32 20 63 db close. db2 c
4880: 6c 6f 73 65 0a 20 20 66 6f 72 63 65 64 65 6c 65 lose. forcedele
4890: 74 65 20 74 65 73 74 2e 64 62 0a 20 20 73 71 6c te test.db. sql
48a0: 69 74 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a ite3 db test.db.
48b0: 0a 20 20 73 65 74 20 73 74 72 20 5b 73 74 72 69 . set str [stri
48c0: 6e 67 20 72 65 70 65 61 74 20 22 61 62 63 64 65 ng repeat "abcde
48d0: 66 67 68 69 6a 22 20 35 30 30 5d 0a 0a 20 20 65 fghij" 500].. e
48e0: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 50 52 41 xecsql {. PRA
48f0: 47 4d 41 20 63 61 63 68 65 5f 73 69 7a 65 20 3d GMA cache_size =
4900: 20 31 30 3b 0a 20 20 20 20 50 52 41 47 4d 41 20 10;. PRAGMA
4910: 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20 69 6e auto_vacuum = in
4920: 63 72 65 6d 65 6e 74 61 6c 3b 0a 20 20 20 20 43 cremental;. C
4930: 52 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 78 REATE TABLE t1(x
4940: 2c 20 79 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 , y);. INSERT
4950: 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 INTO t1 VALUES(
4960: 27 61 27 2c 20 24 73 74 72 29 3b 0a 20 20 20 20 'a', $str);.
4970: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 INSERT INTO t1 V
4980: 41 4c 55 45 53 28 27 62 27 2c 20 24 73 74 72 29 ALUES('b', $str)
4990: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 ;. INSERT INT
49a0: 4f 20 74 31 20 56 41 4c 55 45 53 28 27 63 27 2c O t1 VALUES('c',
49b0: 20 24 73 74 72 29 3b 0a 20 20 20 20 49 4e 53 45 $str);. INSE
49c0: 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 RT INTO t1 VALUE
49d0: 53 28 27 64 27 2c 20 24 73 74 72 29 3b 0a 20 20 S('d', $str);.
49e0: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 INSERT INTO t1
49f0: 20 56 41 4c 55 45 53 28 27 65 27 2c 20 24 73 74 VALUES('e', $st
4a00: 72 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 r);. INSERT I
4a10: 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 27 66 NTO t1 VALUES('f
4a20: 27 2c 20 24 73 74 72 29 3b 0a 20 20 20 20 49 4e ', $str);. IN
4a30: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c SERT INTO t1 VAL
4a40: 55 45 53 28 27 67 27 2c 20 24 73 74 72 29 3b 0a UES('g', $str);.
4a50: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 INSERT INTO
4a60: 74 31 20 56 41 4c 55 45 53 28 27 68 27 2c 20 24 t1 VALUES('h', $
4a70: 73 74 72 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 str);. INSERT
4a80: 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 INTO t1 VALUES(
4a90: 27 69 27 2c 20 24 73 74 72 29 3b 0a 20 20 20 20 'i', $str);.
4aa0: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 INSERT INTO t1 V
4ab0: 41 4c 55 45 53 28 27 6a 27 2c 20 24 73 74 72 29 ALUES('j', $str)
4ac0: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 ;. INSERT INT
4ad0: 4f 20 74 31 20 56 41 4c 55 45 53 28 27 6a 27 2c O t1 VALUES('j',
4ae0: 20 24 73 74 72 29 3b 0a 0a 20 20 20 20 43 52 45 $str);.. CRE
4af0: 41 54 45 20 54 41 42 4c 45 20 74 32 28 78 20 50 ATE TABLE t2(x P
4b00: 52 49 4d 41 52 59 20 4b 45 59 2c 20 79 29 3b 0a RIMARY KEY, y);.
4b10: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 INSERT INTO
4b20: 74 32 20 56 41 4c 55 45 53 28 27 61 27 2c 20 24 t2 VALUES('a', $
4b30: 73 74 72 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 str);. INSERT
4b40: 20 49 4e 54 4f 20 74 32 20 56 41 4c 55 45 53 28 INTO t2 VALUES(
4b50: 27 62 27 2c 20 24 73 74 72 29 3b 0a 20 20 20 20 'b', $str);.
4b60: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20 56 INSERT INTO t2 V
4b70: 41 4c 55 45 53 28 27 63 27 2c 20 24 73 74 72 29 ALUES('c', $str)
4b80: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 ;. INSERT INT
4b90: 4f 20 74 32 20 56 41 4c 55 45 53 28 27 64 27 2c O t2 VALUES('d',
4ba0: 20 24 73 74 72 29 3b 0a 0a 20 20 20 20 42 45 47 $str);.. BEG
4bb0: 49 4e 3b 0a 20 20 20 20 20 20 44 45 4c 45 54 45 IN;. DELETE
4bc0: 20 46 52 4f 4d 20 74 32 3b 0a 20 20 20 20 20 20 FROM t2;.
4bd0: 50 52 41 47 4d 41 20 69 6e 63 72 65 6d 65 6e 74 PRAGMA increment
4be0: 61 6c 5f 76 61 63 75 75 6d 3b 0a 20 20 7d 0a 0a al_vacuum;. }..
4bf0: 20 20 63 61 74 63 68 73 71 6c 20 7b 49 4e 53 45 catchsql {INSE
4c00: 52 54 20 49 4e 54 4f 20 74 32 20 53 45 4c 45 43 RT INTO t2 SELEC
4c10: 54 20 2a 20 46 52 4f 4d 20 74 31 7d 0a 0a 20 20 T * FROM t1}..
4c20: 65 78 65 63 73 71 6c 20 7b 20 0a 20 20 20 20 43 execsql { . C
4c30: 4f 4d 4d 49 54 3b 0a 20 20 20 20 50 52 41 47 4d OMMIT;. PRAGM
4c40: 41 20 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63 A integrity_chec
4c50: 6b 3b 0a 20 20 7d 0a 7d 20 7b 6f 6b 7d 0a 0a 23 k;. }.} {ok}..#
4c60: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
4c70: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
4c80: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
4c90: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
4ca0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 41 74 20 6f ---------.# At o
4cb0: 6e 65 20 70 6f 69 6e 74 20 69 74 20 77 61 73 20 ne point it was
4cc0: 75 6e 73 61 66 65 20 74 6f 20 74 72 75 6e 63 61 unsafe to trunca
4cd0: 74 65 20 61 20 64 62 20 66 69 6c 65 20 6f 6e 20 te a db file on
4ce0: 77 69 6e 64 6f 77 73 20 77 68 69 6c 65 20 74 68 windows while th
4cf0: 65 72 65 0a 23 20 77 65 72 65 20 6f 75 74 73 74 ere.# were outst
4d00: 61 6e 64 69 6e 67 20 78 46 65 74 63 68 28 29 20 anding xFetch()
4d10: 72 65 66 65 72 65 6e 63 65 73 2e 20 54 68 69 73 references. This
4d20: 20 74 65 73 74 20 63 61 73 65 20 61 74 74 65 6d test case attem
4d30: 70 74 73 20 74 6f 20 68 69 74 0a 23 20 74 68 61 pts to hit.# tha
4d40: 74 20 63 61 73 65 2e 0a 23 0a 69 66 63 61 70 61 t case..#.ifcapa
4d50: 62 6c 65 20 6d 6d 61 70 20 7b 0a 20 20 72 65 73 ble mmap {. res
4d60: 65 74 5f 64 62 0a 20 20 64 6f 5f 65 78 65 63 73 et_db. do_execs
4d70: 71 6c 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75 ql_test incrvacu
4d80: 75 6d 2d 31 36 2e 30 20 7b 0a 20 20 20 20 50 52 um-16.0 {. PR
4d90: 41 47 4d 41 20 61 75 74 6f 5f 76 61 63 75 75 6d AGMA auto_vacuum
4da0: 20 3d 20 32 3b 0a 20 20 20 20 43 52 45 41 54 45 = 2;. CREATE
4db0: 20 54 41 42 4c 45 20 74 33 28 61 29 3b 0a 20 20 TABLE t3(a);.
4dc0: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 33 INSERT INTO t3
4dd0: 20 56 41 4c 55 45 53 28 31 29 2c 20 28 32 29 2c VALUES(1), (2),
4de0: 20 28 33 29 2c 20 28 34 29 3b 0a 20 20 0a 20 20 (3), (4);. .
4df0: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 CREATE TABLE t
4e00: 32 28 78 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 2(x);. INSERT
4e10: 20 49 4e 54 4f 20 74 32 20 56 41 4c 55 45 53 28 INTO t2 VALUES(
4e20: 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 31 30 30 30 randomblob(1000
4e30: 29 20 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 ) );. INSERT
4e40: 49 4e 54 4f 20 74 32 20 56 41 4c 55 45 53 28 20 INTO t2 VALUES(
4e50: 72 61 6e 64 6f 6d 62 6c 6f 62 28 31 30 30 30 29 randomblob(1000)
4e60: 20 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 );. INSERT I
4e70: 4e 54 4f 20 74 32 20 56 41 4c 55 45 53 28 20 72 NTO t2 VALUES( r
4e80: 61 6e 64 6f 6d 62 6c 6f 62 28 31 30 30 30 29 20 andomblob(1000)
4e90: 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e );. INSERT IN
4ea0: 54 4f 20 74 32 20 56 41 4c 55 45 53 28 20 72 61 TO t2 VALUES( ra
4eb0: 6e 64 6f 6d 62 6c 6f 62 28 31 30 30 30 29 20 29 ndomblob(1000) )
4ec0: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 ;. INSERT INT
4ed0: 4f 20 74 32 20 56 41 4c 55 45 53 28 20 72 61 6e O t2 VALUES( ran
4ee0: 64 6f 6d 62 6c 6f 62 28 31 30 30 30 29 20 29 3b domblob(1000) );
4ef0: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f . INSERT INTO
4f00: 20 74 32 20 56 41 4c 55 45 53 28 20 72 61 6e 64 t2 VALUES( rand
4f10: 6f 6d 62 6c 6f 62 28 31 30 30 30 29 20 29 3b 0a omblob(1000) );.
4f20: 20 20 7d 20 7b 7d 0a 20 20 0a 20 20 23 20 52 65 } {}. . # Re
4f30: 6f 70 65 6e 20 64 62 20 74 6f 20 65 6e 73 75 72 open db to ensur
4f40: 65 20 74 68 65 20 70 61 67 65 2d 63 61 63 68 65 e the page-cache
4f50: 20 69 73 20 65 6d 70 74 79 2e 0a 20 20 23 0a 20 is empty.. #.
4f60: 20 64 62 20 63 6c 6f 73 65 0a 20 20 73 71 6c 69 db close. sqli
4f70: 74 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a 20 te3 db test.db.
4f80: 20 0a 20 20 23 20 4f 70 65 6e 20 64 62 20 69 6e . # Open db in
4f90: 20 6d 6d 61 70 2d 6d 6f 64 65 2e 20 4f 70 65 6e mmap-mode. Open
4fa0: 20 61 20 74 72 61 6e 73 61 63 74 69 6f 6e 2c 20 a transaction,
4fb0: 64 65 6c 65 74 65 20 73 6f 6d 65 20 64 61 74 61 delete some data
4fc0: 2c 20 74 68 65 6e 20 72 75 6e 0a 20 20 23 20 69 , then run. # i
4fd0: 6e 63 72 65 6d 65 6e 74 61 6c 2d 76 61 63 75 75 ncremental-vacuu
4fe0: 6d 2e 20 44 6f 20 6e 6f 74 20 63 6f 6d 6d 69 74 m. Do not commit
4ff0: 20 74 68 65 20 74 72 61 6e 73 61 63 74 69 6f 6e the transaction
5000: 2e 20 0a 20 20 23 0a 20 20 64 6f 5f 65 78 65 63 . . #. do_exec
5010: 73 71 6c 5f 74 65 73 74 20 69 6e 63 72 76 61 63 sql_test incrvac
5020: 75 75 6d 2d 31 36 2e 31 20 7b 0a 20 20 20 20 50 uum-16.1 {. P
5030: 52 41 47 4d 41 20 6d 6d 61 70 5f 73 69 7a 65 20 RAGMA mmap_size
5040: 3d 20 31 30 30 30 30 30 30 3b 0a 20 20 20 20 42 = 1000000;. B
5050: 45 47 49 4e 3b 0a 20 20 20 20 44 45 4c 45 54 45 EGIN;. DELETE
5060: 20 46 52 4f 4d 20 74 32 3b 0a 20 20 20 20 50 52 FROM t2;. PR
5070: 41 47 4d 41 20 69 6e 63 72 65 6d 65 6e 74 61 6c AGMA incremental
5080: 5f 76 61 63 75 75 6d 20 3d 20 31 30 30 30 3b 0a _vacuum = 1000;.
5090: 20 20 7d 20 7b 31 30 30 30 30 30 30 7d 0a 0a 20 } {1000000}..
50a0: 20 23 20 53 63 61 6e 20 74 68 72 6f 75 67 68 20 # Scan through
50b0: 74 61 62 6c 65 20 74 33 20 28 77 68 69 63 68 20 table t3 (which
50c0: 69 73 20 61 6c 6c 20 63 6c 65 61 6e 20 70 61 67 is all clean pag
50d0: 65 73 20 2d 20 73 6f 20 6d 6d 61 70 20 69 73 20 es - so mmap is
50e0: 75 73 65 64 29 2e 20 54 68 65 6e 2c 0a 20 20 23 used). Then,. #
50f0: 20 6d 69 64 77 61 79 20 74 68 72 6f 75 67 68 2c midway through,
5100: 20 63 6f 6d 6d 69 74 20 74 68 65 20 74 72 61 6e commit the tran
5110: 73 61 63 74 69 6f 6e 2e 20 54 68 69 73 20 63 61 saction. This ca
5120: 75 73 65 73 20 74 68 65 20 64 62 20 74 6f 20 62 uses the db to b
5130: 65 20 74 72 75 6e 63 61 74 65 64 0a 20 20 23 20 e truncated. #
5140: 77 68 69 6c 65 20 74 68 65 72 65 20 61 72 65 20 while there are
5150: 6f 75 74 73 74 61 6e 64 69 6e 67 20 78 46 65 74 outstanding xFet
5160: 63 68 20 70 61 67 65 73 2e 0a 20 20 23 0a 20 20 ch pages.. #.
5170: 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75 do_test incrvacu
5180: 75 6d 2d 31 36 2e 32 20 7b 0a 20 20 20 20 73 65 um-16.2 {. se
5190: 74 20 72 65 73 20 5b 6c 69 73 74 5d 0a 20 20 20 t res [list].
51a0: 20 64 62 20 65 76 61 6c 20 7b 20 53 45 4c 45 43 db eval { SELEC
51b0: 54 20 61 20 46 52 4f 4d 20 74 33 20 7d 20 7b 0a T a FROM t3 } {.
51c0: 20 20 20 20 20 20 69 66 20 7b 24 61 3d 3d 33 7d if {$a==3}
51d0: 20 7b 20 64 62 20 65 76 61 6c 20 43 4f 4d 4d 49 { db eval COMMI
51e0: 54 20 7d 0a 20 20 20 20 20 20 6c 61 70 70 65 6e T }. lappen
51f0: 64 20 72 65 73 20 24 61 0a 20 20 20 20 7d 0a 20 d res $a. }.
5200: 20 20 20 73 65 74 20 72 65 73 0a 20 20 7d 20 7b set res. } {
5210: 31 20 32 20 33 20 34 7d 0a 7d 0a 20 20 0a 66 69 1 2 3 4}.}. .fi
5220: 6e 69 73 68 5f 74 65 73 74 0a nish_test.