/ Hex Artifact Content
Login

Artifact 379eeb8740b0ef60c372c439ad4cbea20b34bb9b:


0000: 23 20 32 30 30 37 20 4d 61 79 20 30 34 0a 23 0a  # 2007 May 04.#.
0010: 23 20 54 68 65 20 61 75 74 68 6f 72 20 64 69 73  # The author dis
0020: 63 6c 61 69 6d 73 20 63 6f 70 79 72 69 67 68 74  claims copyright
0030: 20 74 6f 20 74 68 69 73 20 73 6f 75 72 63 65 20   to this source 
0040: 63 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63 65 20  code.  In place 
0050: 6f 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e 6f 74  of.# a legal not
0060: 69 63 65 2c 20 68 65 72 65 20 69 73 20 61 20 62  ice, here is a b
0070: 6c 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20 20 20  lessing:.#.#    
0080: 4d 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f 64 20  May you do good 
0090: 61 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a 23 20  and not evil..# 
00a0: 20 20 20 4d 61 79 20 79 6f 75 20 66 69 6e 64 20     May you find 
00b0: 66 6f 72 67 69 76 65 6e 65 73 73 20 66 6f 72 20  forgiveness for 
00c0: 79 6f 75 72 73 65 6c 66 20 61 6e 64 20 66 6f 72  yourself and for
00d0: 67 69 76 65 20 6f 74 68 65 72 73 2e 0a 23 20 20  give others..#  
00e0: 20 20 4d 61 79 20 79 6f 75 20 73 68 61 72 65 20    May you share 
00f0: 66 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 74 61  freely, never ta
0100: 6b 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20 79  king more than y
0110: 6f 75 20 67 69 76 65 2e 0a 23 0a 23 2a 2a 2a 2a  ou 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 0a 23 20 54 68 69 73 20 66 69 6c 65 20  ***.# This file 
0170: 69 6d 70 6c 65 6d 65 6e 74 73 20 72 65 67 72 65  implements regre
0180: 73 73 69 6f 6e 20 74 65 73 74 73 20 66 6f 72 20  ssion tests for 
0190: 53 51 4c 69 74 65 20 6c 69 62 72 61 72 79 2e 20  SQLite library. 
01a0: 20 54 68 65 0a 23 20 66 6f 63 75 73 20 6f 66 20   The.# focus of 
01b0: 74 68 69 73 20 66 69 6c 65 20 69 73 20 74 65 73  this file is tes
01c0: 74 69 6e 67 20 74 68 65 20 69 6e 63 72 65 6d 65  ting the increme
01d0: 6e 74 61 6c 20 76 61 63 75 75 6d 20 66 65 61 74  ntal vacuum feat
01e0: 75 72 65 2e 0a 23 0a 23 20 24 49 64 3a 20 69 6e  ure..#.# $Id: in
01f0: 63 72 76 61 63 75 75 6d 32 2e 74 65 73 74 2c 76  crvacuum2.test,v
0200: 20 31 2e 36 20 32 30 30 39 2f 30 37 2f 32 35 20   1.6 2009/07/25 
0210: 31 33 3a 34 32 3a 35 30 20 64 61 6e 69 65 6c 6b  13:42:50 danielk
0220: 31 39 37 37 20 45 78 70 20 24 0a 0a 73 65 74 20  1977 Exp $..set 
0230: 74 65 73 74 64 69 72 20 5b 66 69 6c 65 20 64 69  testdir [file di
0240: 72 6e 61 6d 65 20 24 61 72 67 76 30 5d 0a 73 6f  rname $argv0].so
0250: 75 72 63 65 20 24 74 65 73 74 64 69 72 2f 74 65  urce $testdir/te
0260: 73 74 65 72 2e 74 63 6c 0a 0a 23 20 49 66 20 74  ster.tcl..# If t
0270: 68 69 73 20 62 75 69 6c 64 20 6f 66 20 74 68 65  his build of the
0280: 20 6c 69 62 72 61 72 79 20 64 6f 65 73 20 6e 6f   library does no
0290: 74 20 73 75 70 70 6f 72 74 20 61 75 74 6f 2d 76  t support auto-v
02a0: 61 63 75 75 6d 2c 20 6f 6d 69 74 20 74 68 69 73  acuum, omit this
02b0: 0a 23 20 77 68 6f 6c 65 20 66 69 6c 65 2e 0a 69  .# whole file..i
02c0: 66 63 61 70 61 62 6c 65 20 7b 21 61 75 74 6f 76  fcapable {!autov
02d0: 61 63 75 75 6d 20 7c 7c 20 21 70 72 61 67 6d 61  acuum || !pragma
02e0: 7d 20 7b 0a 20 20 66 69 6e 69 73 68 5f 74 65 73  } {.  finish_tes
02f0: 74 0a 20 20 72 65 74 75 72 6e 0a 7d 0a 0a 73 65  t.  return.}..se
0300: 74 20 74 65 73 74 70 72 65 66 69 78 20 69 6e 63  t testprefix inc
0310: 72 76 61 63 75 75 6d 32 0a 0a 23 20 43 72 65 61  rvacuum2..# Crea
0320: 74 65 20 61 20 64 61 74 61 62 61 73 65 20 69 6e  te a database in
0330: 20 69 6e 63 72 65 6d 65 6e 74 61 6c 20 76 61 63   incremental vac
0340: 75 75 6d 20 6d 6f 64 65 20 74 68 61 74 20 68 61  uum mode that ha
0350: 73 20 6d 61 6e 79 0a 23 20 70 61 67 65 73 20 6f  s many.# pages o
0360: 6e 20 74 68 65 20 66 72 65 65 6c 69 73 74 2e 0a  n the freelist..
0370: 23 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61  #.do_test incrva
0380: 63 75 75 6d 32 2d 31 2e 31 20 7b 0a 20 20 65 78  cuum2-1.1 {.  ex
0390: 65 63 73 71 6c 20 7b 0a 20 20 20 20 50 52 41 47  ecsql {.    PRAG
03a0: 4d 41 20 70 61 67 65 5f 73 69 7a 65 3d 31 30 32  MA page_size=102
03b0: 34 3b 0a 20 20 20 20 50 52 41 47 4d 41 20 61 75  4;.    PRAGMA au
03c0: 74 6f 5f 76 61 63 75 75 6d 3d 69 6e 63 72 65 6d  to_vacuum=increm
03d0: 65 6e 74 61 6c 3b 0a 20 20 20 20 43 52 45 41 54  ental;.    CREAT
03e0: 45 20 54 41 42 4c 45 20 74 31 28 78 29 3b 0a 20  E TABLE t1(x);. 
03f0: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
0400: 31 20 56 41 4c 55 45 53 28 7a 65 72 6f 62 6c 6f  1 VALUES(zeroblo
0410: 62 28 33 30 30 30 30 29 29 3b 0a 20 20 20 20 44  b(30000));.    D
0420: 45 4c 45 54 45 20 46 52 4f 4d 20 74 31 3b 0a 20  ELETE FROM t1;. 
0430: 20 7d 0a 20 20 66 69 6c 65 20 73 69 7a 65 20 74   }.  file size t
0440: 65 73 74 2e 64 62 0a 7d 20 7b 33 32 37 36 38 7d  est.db.} {32768}
0450: 0a 0a 23 20 56 61 63 75 75 6d 20 6f 66 66 20 61  ..# Vacuum off a
0460: 20 73 69 6e 67 6c 65 20 70 61 67 65 2e 0a 23 0a   single page..#.
0470: 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75  do_test incrvacu
0480: 75 6d 32 2d 31 2e 32 20 7b 0a 20 20 65 78 65 63  um2-1.2 {.  exec
0490: 73 71 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d 41  sql {.    PRAGMA
04a0: 20 69 6e 63 72 65 6d 65 6e 74 61 6c 5f 76 61 63   incremental_vac
04b0: 75 75 6d 28 31 29 3b 0a 20 20 7d 0a 20 20 66 69  uum(1);.  }.  fi
04c0: 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62 0a  le size test.db.
04d0: 7d 20 7b 33 31 37 34 34 7d 0a 0a 23 20 56 61 63  } {31744}..# Vac
04e0: 75 75 6d 20 6f 66 66 20 66 69 76 65 20 70 61 67  uum off five pag
04f0: 65 73 0a 23 0a 64 6f 5f 74 65 73 74 20 69 6e 63  es.#.do_test inc
0500: 72 76 61 63 75 75 6d 32 2d 31 2e 33 20 7b 0a 20  rvacuum2-1.3 {. 
0510: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 50   execsql {.    P
0520: 52 41 47 4d 41 20 69 6e 63 72 65 6d 65 6e 74 61  RAGMA incrementa
0530: 6c 5f 76 61 63 75 75 6d 28 35 29 3b 0a 20 20 7d  l_vacuum(5);.  }
0540: 0a 20 20 66 69 6c 65 20 73 69 7a 65 20 74 65 73  .  file size tes
0550: 74 2e 64 62 0a 7d 20 7b 32 36 36 32 34 7d 0a 0a  t.db.} {26624}..
0560: 23 20 56 61 63 75 75 6d 20 6f 66 66 20 61 6c 6c  # Vacuum off all
0570: 20 74 68 65 20 72 65 73 74 0a 23 0a 64 6f 5f 74   the rest.#.do_t
0580: 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d 32 2d  est incrvacuum2-
0590: 31 2e 34 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  1.4 {.  execsql 
05a0: 7b 0a 20 20 20 20 50 52 41 47 4d 41 20 69 6e 63  {.    PRAGMA inc
05b0: 72 65 6d 65 6e 74 61 6c 5f 76 61 63 75 75 6d 28  remental_vacuum(
05c0: 31 30 30 30 29 3b 0a 20 20 7d 0a 20 20 66 69 6c  1000);.  }.  fil
05d0: 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62 0a 7d  e size test.db.}
05e0: 20 7b 33 30 37 32 7d 0a 0a 23 20 4d 61 6b 65 20   {3072}..# Make 
05f0: 73 75 72 65 20 69 6e 63 72 65 6d 65 6e 74 61 6c  sure incremental
0600: 20 76 61 63 75 75 6d 20 77 6f 72 6b 73 20 6f 6e   vacuum works on
0610: 20 61 74 74 61 63 68 65 64 20 64 61 74 61 62 61   attached databa
0620: 73 65 73 2e 0a 23 0a 69 66 63 61 70 61 62 6c 65  ses..#.ifcapable
0630: 20 61 74 74 61 63 68 20 7b 0a 20 20 64 6f 5f 74   attach {.  do_t
0640: 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d 32 2d  est incrvacuum2-
0650: 32 2e 31 20 7b 0a 20 20 20 20 66 6f 72 63 65 64  2.1 {.    forced
0660: 65 6c 65 74 65 20 74 65 73 74 32 2e 64 62 20 74  elete test2.db t
0670: 65 73 74 32 2e 64 62 2d 6a 6f 75 72 6e 61 6c 0a  est2.db-journal.
0680: 20 20 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20      execsql {.  
0690: 20 20 20 20 41 54 54 41 43 48 20 44 41 54 41 42      ATTACH DATAB
06a0: 41 53 45 20 27 74 65 73 74 32 2e 64 62 27 20 41  ASE 'test2.db' A
06b0: 53 20 61 75 78 3b 0a 20 20 20 20 20 20 50 52 41  S aux;.      PRA
06c0: 47 4d 41 20 61 75 78 2e 61 75 74 6f 5f 76 61 63  GMA aux.auto_vac
06d0: 75 75 6d 3d 69 6e 63 72 65 6d 65 6e 74 61 6c 3b  uum=incremental;
06e0: 0a 20 20 20 20 20 20 43 52 45 41 54 45 20 54 41  .      CREATE TA
06f0: 42 4c 45 20 61 75 78 2e 74 32 28 78 29 3b 0a 20  BLE aux.t2(x);. 
0700: 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f       INSERT INTO
0710: 20 74 32 20 56 41 4c 55 45 53 28 7a 65 72 6f 62   t2 VALUES(zerob
0720: 6c 6f 62 28 33 30 30 30 30 29 29 3b 0a 20 20 20  lob(30000));.   
0730: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
0740: 31 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20  1 SELECT * FROM 
0750: 74 32 3b 0a 20 20 20 20 20 20 44 45 4c 45 54 45  t2;.      DELETE
0760: 20 46 52 4f 4d 20 74 32 3b 0a 20 20 20 20 20 20   FROM t2;.      
0770: 44 45 4c 45 54 45 20 46 52 4f 4d 20 74 31 3b 0a  DELETE FROM t1;.
0780: 20 20 20 20 7d 0a 20 20 20 20 6c 69 73 74 20 5b      }.    list [
0790: 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64  file size test.d
07a0: 62 5d 20 5b 66 69 6c 65 20 73 69 7a 65 20 74 65  b] [file size te
07b0: 73 74 32 2e 64 62 5d 0a 20 20 7d 20 7b 33 32 37  st2.db].  } {327
07c0: 36 38 20 33 32 37 36 38 7d 0a 20 20 64 6f 5f 74  68 32768}.  do_t
07d0: 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d 32 2d  est incrvacuum2-
07e0: 32 2e 32 20 7b 0a 20 20 20 20 65 78 65 63 73 71  2.2 {.    execsq
07f0: 6c 20 7b 0a 20 20 20 20 20 20 50 52 41 47 4d 41  l {.      PRAGMA
0800: 20 61 75 78 2e 69 6e 63 72 65 6d 65 6e 74 61 6c   aux.incremental
0810: 5f 76 61 63 75 75 6d 28 31 29 0a 20 20 20 20 7d  _vacuum(1).    }
0820: 0a 20 20 20 20 6c 69 73 74 20 5b 66 69 6c 65 20  .    list [file 
0830: 73 69 7a 65 20 74 65 73 74 2e 64 62 5d 20 5b 66  size test.db] [f
0840: 69 6c 65 20 73 69 7a 65 20 74 65 73 74 32 2e 64  ile size test2.d
0850: 62 5d 0a 20 20 7d 20 7b 33 32 37 36 38 20 33 31  b].  } {32768 31
0860: 37 34 34 7d 0a 20 20 64 6f 5f 74 65 73 74 20 69  744}.  do_test i
0870: 6e 63 72 76 61 63 75 75 6d 32 2d 32 2e 33 20 7b  ncrvacuum2-2.3 {
0880: 0a 20 20 20 20 65 78 65 63 73 71 6c 20 7b 0a 20  .    execsql {. 
0890: 20 20 20 20 20 50 52 41 47 4d 41 20 61 75 78 2e       PRAGMA aux.
08a0: 69 6e 63 72 65 6d 65 6e 74 61 6c 5f 76 61 63 75  incremental_vacu
08b0: 75 6d 28 35 29 0a 20 20 20 20 7d 0a 20 20 20 20  um(5).    }.    
08c0: 6c 69 73 74 20 5b 66 69 6c 65 20 73 69 7a 65 20  list [file size 
08d0: 74 65 73 74 2e 64 62 5d 20 5b 66 69 6c 65 20 73  test.db] [file s
08e0: 69 7a 65 20 74 65 73 74 32 2e 64 62 5d 0a 20 20  ize test2.db].  
08f0: 7d 20 7b 33 32 37 36 38 20 32 36 36 32 34 7d 0a  } {32768 26624}.
0900: 20 20 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61    do_test incrva
0910: 63 75 75 6d 32 2d 32 2e 34 20 7b 0a 20 20 20 20  cuum2-2.4 {.    
0920: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 20 20  execsql {.      
0930: 50 52 41 47 4d 41 20 6d 61 69 6e 2e 69 6e 63 72  PRAGMA main.incr
0940: 65 6d 65 6e 74 61 6c 5f 76 61 63 75 75 6d 28 35  emental_vacuum(5
0950: 29 0a 20 20 20 20 7d 0a 20 20 20 20 6c 69 73 74  ).    }.    list
0960: 20 5b 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74   [file size test
0970: 2e 64 62 5d 20 5b 66 69 6c 65 20 73 69 7a 65 20  .db] [file size 
0980: 74 65 73 74 32 2e 64 62 5d 0a 20 20 7d 20 7b 32  test2.db].  } {2
0990: 37 36 34 38 20 32 36 36 32 34 7d 0a 20 20 64 6f  7648 26624}.  do
09a0: 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d  _test incrvacuum
09b0: 32 2d 32 2e 35 20 7b 0a 20 20 20 20 65 78 65 63  2-2.5 {.    exec
09c0: 73 71 6c 20 7b 0a 20 20 20 20 20 20 50 52 41 47  sql {.      PRAG
09d0: 4d 41 20 61 75 78 2e 69 6e 63 72 65 6d 65 6e 74  MA aux.increment
09e0: 61 6c 5f 76 61 63 75 75 6d 0a 20 20 20 20 7d 0a  al_vacuum.    }.
09f0: 20 20 20 20 6c 69 73 74 20 5b 66 69 6c 65 20 73      list [file s
0a00: 69 7a 65 20 74 65 73 74 2e 64 62 5d 20 5b 66 69  ize test.db] [fi
0a10: 6c 65 20 73 69 7a 65 20 74 65 73 74 32 2e 64 62  le size test2.db
0a20: 5d 0a 20 20 7d 20 7b 32 37 36 34 38 20 33 30 37  ].  } {27648 307
0a30: 32 7d 0a 20 20 64 6f 5f 74 65 73 74 20 69 6e 63  2}.  do_test inc
0a40: 72 76 61 63 75 75 6d 32 2d 32 2e 36 20 7b 0a 20  rvacuum2-2.6 {. 
0a50: 20 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20     execsql {.   
0a60: 20 20 20 50 52 41 47 4d 41 20 69 6e 63 72 65 6d     PRAGMA increm
0a70: 65 6e 74 61 6c 5f 76 61 63 75 75 6d 28 31 29 0a  ental_vacuum(1).
0a80: 20 20 20 20 7d 0a 20 20 20 20 6c 69 73 74 20 5b      }.    list [
0a90: 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64  file size test.d
0aa0: 62 5d 20 5b 66 69 6c 65 20 73 69 7a 65 20 74 65  b] [file size te
0ab0: 73 74 32 2e 64 62 5d 0a 20 20 7d 20 7b 32 36 36  st2.db].  } {266
0ac0: 32 34 20 33 30 37 32 7d 0a 7d 0a 0a 64 6f 5f 74  24 3072}.}..do_t
0ad0: 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d 32 2d  est incrvacuum2-
0ae0: 33 2e 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  3.1 {.  execsql 
0af0: 7b 0a 20 20 20 20 50 52 41 47 4d 41 20 61 75 74  {.    PRAGMA aut
0b00: 6f 5f 76 61 63 75 75 6d 20 3d 20 27 66 75 6c 6c  o_vacuum = 'full
0b10: 27 3b 0a 20 20 20 20 42 45 47 49 4e 3b 0a 20 20  ';.    BEGIN;.  
0b20: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 61    CREATE TABLE a
0b30: 62 63 28 61 29 3b 0a 20 20 20 20 49 4e 53 45 52  bc(a);.    INSER
0b40: 54 20 49 4e 54 4f 20 61 62 63 20 56 41 4c 55 45  T INTO abc VALUE
0b50: 53 28 72 61 6e 64 73 74 72 28 31 35 30 30 2c 31  S(randstr(1500,1
0b60: 35 30 30 29 29 3b 0a 20 20 20 20 43 4f 4d 4d 49  500));.    COMMI
0b70: 54 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 64 6f 5f 74  T;.  }.} {}.do_t
0b80: 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d 32 2d  est incrvacuum2-
0b90: 33 2e 32 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  3.2 {.  execsql 
0ba0: 7b 0a 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20  {.    BEGIN;.   
0bb0: 20 44 45 4c 45 54 45 20 46 52 4f 4d 20 61 62 63   DELETE FROM abc
0bc0: 3b 0a 20 20 20 20 50 52 41 47 4d 41 20 69 6e 63  ;.    PRAGMA inc
0bd0: 72 65 6d 65 6e 74 61 6c 5f 76 61 63 75 75 6d 3b  remental_vacuum;
0be0: 0a 20 20 20 20 43 4f 4d 4d 49 54 3b 0a 20 20 7d  .    COMMIT;.  }
0bf0: 0a 7d 20 7b 7d 0a 0a 69 6e 74 65 67 72 69 74 79  .} {}..integrity
0c00: 5f 63 68 65 63 6b 20 69 6e 63 72 76 61 63 75 75  _check incrvacuu
0c10: 6d 32 2d 33 2e 33 0a 0a 69 66 63 61 70 61 62 6c  m2-3.3..ifcapabl
0c20: 65 20 77 61 6c 20 7b 0a 20 20 23 20 41 74 20 6f  e wal {.  # At o
0c30: 6e 65 20 70 6f 69 6e 74 2c 20 77 68 65 6e 20 61  ne point, when a
0c40: 20 73 70 65 63 69 66 69 63 20 70 61 67 65 20 77   specific page w
0c50: 61 73 20 62 65 69 6e 67 20 65 78 74 72 61 63 74  as being extract
0c60: 65 64 20 66 72 6f 6d 20 74 68 65 20 62 2d 74 72  ed from the b-tr
0c70: 65 65 0a 20 20 23 20 66 72 65 65 2d 6c 69 73 74  ee.  # free-list
0c80: 20 28 65 2e 67 2e 20 64 75 72 69 6e 67 20 61 6e   (e.g. during an
0c90: 20 69 6e 63 72 65 6d 65 6e 74 61 6c 2d 76 61 63   incremental-vac
0ca0: 75 75 6d 29 2c 20 61 6c 6c 20 74 72 75 6e 6b 20  uum), all trunk 
0cb0: 70 61 67 65 73 20 74 68 61 74 0a 20 20 23 20 6f  pages that.  # o
0cc0: 63 63 75 72 72 65 64 20 62 65 66 6f 72 65 20 74  ccurred before t
0cd0: 68 65 20 73 70 65 63 69 66 69 63 20 70 61 67 65  he specific page
0ce0: 20 69 6e 20 74 68 65 20 66 72 65 65 2d 6c 69 73   in the free-lis
0cf0: 74 20 74 72 75 6e 6b 20 77 65 72 65 20 62 65 69  t trunk were bei
0d00: 6e 67 0a 20 20 23 20 77 72 69 74 74 65 6e 20 74  ng.  # written t
0d10: 6f 20 74 68 65 20 6a 6f 75 72 6e 61 6c 20 6f 72  o the journal or
0d20: 20 77 61 6c 20 66 69 6c 65 2e 20 54 68 69 73 20   wal file. This 
0d30: 69 73 20 6e 6f 74 20 6e 65 63 65 73 73 61 72 79  is not necessary
0d40: 2e 20 4f 6e 6c 79 20 74 68 65 20 0a 20 20 23 20  . Only the .  # 
0d50: 65 78 74 72 61 63 74 65 64 20 70 61 67 65 20 61  extracted page a
0d60: 6e 64 20 74 68 65 20 70 61 67 65 20 74 68 61 74  nd the page that
0d70: 20 63 6f 6e 74 61 69 6e 73 20 74 68 65 20 70 6f   contains the po
0d80: 69 6e 74 65 72 20 74 6f 20 69 74 20 6e 65 65 64  inter to it need
0d90: 20 74 6f 0a 20 20 23 20 62 65 20 6a 6f 75 72 6e   to.  # be journ
0da0: 61 6c 6c 65 64 2e 0a 20 20 23 0a 20 20 23 20 54  alled..  #.  # T
0db0: 68 69 73 20 70 72 6f 62 6c 65 6d 20 77 61 73 20  his problem was 
0dc0: 66 69 78 65 64 20 62 79 20 5b 64 30 33 64 36 33  fixed by [d03d63
0dd0: 64 37 37 65 5d 20 28 6a 75 73 74 20 62 65 66 6f  d77e] (just befo
0de0: 72 65 20 33 2e 37 2e 36 20 72 65 6c 65 61 73 65  re 3.7.6 release
0df0: 29 2e 0a 20 20 23 0a 20 20 23 20 54 68 69 73 20  )..  #.  # This 
0e00: 74 65 73 74 20 63 61 73 65 20 62 75 69 6c 64 73  test case builds
0e10: 20 61 20 64 61 74 61 62 61 73 65 20 63 6f 6e 74   a database cont
0e20: 61 69 6e 69 6e 67 20 6d 61 6e 79 20 66 72 65 65  aining many free
0e30: 20 70 61 67 65 73 2e 20 54 68 65 6e 20 72 75 6e   pages. Then run
0e40: 73 0a 20 20 23 20 22 50 52 41 47 4d 41 20 69 6e  s.  # "PRAGMA in
0e50: 63 72 65 6d 65 6e 74 61 6c 5f 76 61 63 75 75 6d  cremental_vacuum
0e60: 28 31 29 22 20 75 6e 74 69 6c 20 74 68 65 20 64  (1)" until the d
0e70: 62 20 63 6f 6e 74 61 69 6e 73 20 7a 65 72 6f 20  b contains zero 
0e80: 66 72 65 65 20 70 61 67 65 73 2e 0a 20 20 23 20  free pages..  # 
0e90: 45 61 63 68 20 22 50 52 41 47 4d 41 20 69 6e 63  Each "PRAGMA inc
0ea0: 72 65 6d 65 6e 74 61 6c 5f 76 61 63 75 75 6d 28  remental_vacuum(
0eb0: 31 29 22 20 73 68 6f 75 6c 64 20 6d 6f 64 69 66  1)" should modif
0ec0: 79 20 61 74 20 6d 6f 73 74 20 34 20 70 61 67 65  y at most 4 page
0ed0: 73 2e 20 54 68 65 0a 20 20 23 20 77 6f 72 73 74  s. The.  # worst
0ee0: 20 63 61 73 65 20 69 73 20 77 68 65 6e 20 61 20   case is when a 
0ef0: 74 72 75 6e 6b 20 70 61 67 65 20 69 73 20 72 65  trunk page is re
0f00: 6d 6f 76 65 64 20 66 72 6f 6d 20 74 68 65 20 65  moved from the e
0f10: 6e 64 20 6f 66 20 74 68 65 20 64 62 20 66 69 6c  nd of the db fil
0f20: 65 2e 0a 20 20 23 20 49 6e 20 74 68 69 73 20 63  e..  # In this c
0f30: 61 73 65 20 70 61 67 65 73 20 77 72 69 74 74 65  ase pages writte
0f40: 6e 20 61 72 65 3a 0a 20 20 23 0a 20 20 23 20 20  n are:.  #.  #  
0f50: 20 31 2e 20 54 68 65 20 70 72 65 76 69 6f 75 73   1. The previous
0f60: 20 74 72 75 6e 6b 20 70 61 67 65 20 28 74 68 61   trunk page (tha
0f70: 74 20 63 6f 6e 74 61 69 6e 73 20 61 20 70 6f 69  t contains a poi
0f80: 6e 74 65 72 20 74 6f 20 74 68 65 20 72 65 63 79  nter to the recy
0f90: 63 6c 65 64 0a 20 20 23 20 20 20 20 20 20 74 72  cled.  #      tr
0fa0: 75 6e 6b 20 70 61 67 65 29 2c 20 61 6e 64 0a 20  unk page), and. 
0fb0: 20 23 20 20 20 32 2e 20 54 68 65 20 6c 65 61 66   #   2. The leaf
0fc0: 20 70 61 67 65 20 74 72 61 6e 73 66 6f 72 6d 65   page transforme
0fd0: 64 20 69 6e 74 6f 20 61 20 74 72 75 6e 6b 20 70  d into a trunk p
0fe0: 61 67 65 20 74 6f 20 72 65 70 6c 61 63 65 20 74  age to replace t
0ff0: 68 65 20 72 65 63 79 63 6c 65 64 0a 20 20 23 20  he recycled.  # 
1000: 20 20 20 20 20 70 61 67 65 2c 20 61 6e 64 0a 20       page, and. 
1010: 20 23 20 20 20 33 2e 20 54 68 65 20 74 72 75 6e   #   3. The trun
1020: 6b 20 70 61 67 65 20 74 68 61 74 20 63 6f 6e 74  k page that cont
1030: 61 69 6e 65 64 20 61 20 70 6f 69 6e 74 65 72 20  ained a pointer 
1040: 74 6f 20 74 68 65 20 6c 65 61 66 20 70 61 67 65  to the leaf page
1050: 20 75 73 65 64 20 0a 20 20 23 20 20 20 20 20 20   used .  #      
1060: 69 6e 20 28 32 29 2c 20 61 6e 64 0a 20 20 23 20  in (2), and.  # 
1070: 20 20 34 2e 20 50 61 67 65 20 31 2e 20 50 61 67    4. Page 1. Pag
1080: 65 20 31 20 69 73 20 61 6c 77 61 79 73 20 75 70  e 1 is always up
1090: 64 61 74 65 64 2c 20 65 76 65 6e 20 69 6e 20 57  dated, even in W
10a0: 41 4c 20 6d 6f 64 65 2c 20 73 69 6e 63 65 20 69  AL mode, since i
10b0: 74 20 63 6f 6e 74 61 69 6e 73 0a 20 20 23 20 20  t contains.  #  
10c0: 20 20 20 20 74 68 65 20 22 6e 75 6d 62 65 72 20      the "number 
10d0: 6f 66 20 66 72 65 65 2d 6c 69 73 74 20 70 61 67  of free-list pag
10e0: 65 73 22 20 66 69 65 6c 64 2e 0a 20 20 23 0a 20  es" field..  #. 
10f0: 20 64 62 20 63 6c 6f 73 65 0a 20 20 66 6f 72 63   db close.  forc
1100: 65 64 65 6c 65 74 65 20 74 65 73 74 2e 64 62 0a  edelete test.db.
1110: 20 20 73 71 6c 69 74 65 33 20 64 62 20 74 65 73    sqlite3 db tes
1120: 74 2e 64 62 0a 0a 20 20 64 6f 5f 65 78 65 63 73  t.db..  do_execs
1130: 71 6c 5f 74 65 73 74 20 34 2e 31 20 7b 0a 20 20  ql_test 4.1 {.  
1140: 20 20 50 52 41 47 4d 41 20 70 61 67 65 5f 73 69    PRAGMA page_si
1150: 7a 65 20 3d 20 35 31 32 3b 0a 20 20 20 20 50 52  ze = 512;.    PR
1160: 41 47 4d 41 20 61 75 74 6f 5f 76 61 63 75 75 6d  AGMA auto_vacuum
1170: 20 3d 20 32 3b 0a 20 20 20 20 43 52 45 41 54 45   = 2;.    CREATE
1180: 20 54 41 42 4c 45 20 74 31 28 78 29 3b 0a 20 20   TABLE t1(x);.  
1190: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31    INSERT INTO t1
11a0: 20 56 41 4c 55 45 53 28 72 61 6e 64 6f 6d 62 6c   VALUES(randombl
11b0: 6f 62 28 34 30 30 29 29 3b 0a 20 20 20 20 49 4e  ob(400));.    IN
11c0: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c  SERT INTO t1 SEL
11d0: 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 3b 20 20  ECT * FROM t1;  
11e0: 20 20 20 20 20 20 20 20 20 20 2d 2d 20 20 20 20            --    
11f0: 32 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  2.    INSERT INT
1200: 4f 20 74 31 20 53 45 4c 45 43 54 20 2a 20 46 52  O t1 SELECT * FR
1210: 4f 4d 20 74 31 3b 20 20 20 20 20 20 20 20 20 20  OM t1;          
1220: 20 20 2d 2d 20 20 20 20 34 0a 20 20 20 20 49 4e    --    4.    IN
1230: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c  SERT INTO t1 SEL
1240: 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 3b 20 20  ECT * FROM t1;  
1250: 20 20 20 20 20 20 20 20 20 20 2d 2d 20 20 20 20            --    
1260: 38 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  8.    INSERT INT
1270: 4f 20 74 31 20 53 45 4c 45 43 54 20 2a 20 46 52  O t1 SELECT * FR
1280: 4f 4d 20 74 31 3b 20 20 20 20 20 20 20 20 20 20  OM t1;          
1290: 20 20 2d 2d 20 20 20 31 36 0a 20 20 20 20 49 4e    --   16.    IN
12a0: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c  SERT INTO t1 SEL
12b0: 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 3b 20 20  ECT * FROM t1;  
12c0: 20 20 20 20 20 20 20 20 20 20 2d 2d 20 20 20 33            --   3
12d0: 32 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  2.    INSERT INT
12e0: 4f 20 74 31 20 53 45 4c 45 43 54 20 2a 20 46 52  O t1 SELECT * FR
12f0: 4f 4d 20 74 31 3b 20 20 20 20 20 20 20 20 20 20  OM t1;          
1300: 20 20 2d 2d 20 20 31 32 38 0a 20 20 20 20 49 4e    --  128.    IN
1310: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c  SERT INTO t1 SEL
1320: 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 3b 20 20  ECT * FROM t1;  
1330: 20 20 20 20 20 20 20 20 20 20 2d 2d 20 20 32 35            --  25
1340: 36 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  6.    INSERT INT
1350: 4f 20 74 31 20 53 45 4c 45 43 54 20 2a 20 46 52  O t1 SELECT * FR
1360: 4f 4d 20 74 31 3b 20 20 20 20 20 20 20 20 20 20  OM t1;          
1370: 20 20 2d 2d 20 20 35 31 32 0a 20 20 20 20 49 4e    --  512.    IN
1380: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c  SERT INTO t1 SEL
1390: 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 3b 20 20  ECT * FROM t1;  
13a0: 20 20 20 20 20 20 20 20 20 20 2d 2d 20 31 30 32            -- 102
13b0: 34 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  4.    INSERT INT
13c0: 4f 20 74 31 20 53 45 4c 45 43 54 20 2a 20 46 52  O t1 SELECT * FR
13d0: 4f 4d 20 74 31 3b 20 20 20 20 20 20 20 20 20 20  OM t1;          
13e0: 20 20 2d 2d 20 32 30 34 38 0a 20 20 20 20 49 4e    -- 2048.    IN
13f0: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c  SERT INTO t1 SEL
1400: 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 3b 20 20  ECT * FROM t1;  
1410: 20 20 20 20 20 20 20 20 20 20 2d 2d 20 34 30 39            -- 409
1420: 36 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  6.    INSERT INT
1430: 4f 20 74 31 20 53 45 4c 45 43 54 20 2a 20 46 52  O t1 SELECT * FR
1440: 4f 4d 20 74 31 3b 20 20 20 20 20 20 20 20 20 20  OM t1;          
1450: 20 20 2d 2d 20 38 31 39 32 0a 20 20 20 20 44 45    -- 8192.    DE
1460: 4c 45 54 45 20 46 52 4f 4d 20 74 31 20 57 48 45  LETE FROM t1 WHE
1470: 52 45 20 6f 69 64 3e 35 31 32 3b 0a 20 20 20 20  RE oid>512;.    
1480: 44 45 4c 45 54 45 20 46 52 4f 4d 20 74 31 3b 0a  DELETE FROM t1;.
1490: 20 20 7d 0a 0a 20 20 64 6f 5f 74 65 73 74 20 34    }..  do_test 4
14a0: 2e 32 20 7b 0a 20 20 20 20 65 78 65 63 73 71 6c  .2 {.    execsql
14b0: 20 7b 20 0a 20 20 20 20 20 20 50 52 41 47 4d 41   { .      PRAGMA
14c0: 20 6a 6f 75 72 6e 61 6c 5f 6d 6f 64 65 20 3d 20   journal_mode = 
14d0: 57 41 4c 3b 0a 20 20 20 20 20 20 50 52 41 47 4d  WAL;.      PRAGM
14e0: 41 20 69 6e 63 72 65 6d 65 6e 74 61 6c 5f 76 61  A incremental_va
14f0: 63 75 75 6d 28 31 29 3b 0a 20 20 20 20 20 20 50  cuum(1);.      P
1500: 52 41 47 4d 41 20 77 61 6c 5f 63 68 65 63 6b 70  RAGMA wal_checkp
1510: 6f 69 6e 74 3b 0a 20 20 20 20 7d 0a 20 20 20 20  oint;.    }.    
1520: 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64  file size test.d
1530: 62 2d 77 61 6c 0a 20 20 7d 20 5b 65 78 70 72 20  b-wal.  } [expr 
1540: 7b 33 32 2b 32 2a 28 35 31 32 2b 32 34 29 7d 5d  {32+2*(512+24)}]
1550: 0a 0a 20 20 64 6f 5f 74 65 73 74 20 34 2e 33 20  ..  do_test 4.3 
1560: 7b 0a 20 20 20 20 64 62 20 63 6c 6f 73 65 0a 20  {.    db close. 
1570: 20 20 20 73 71 6c 69 74 65 33 20 64 62 20 74 65     sqlite3 db te
1580: 73 74 2e 64 62 0a 20 20 20 20 73 65 74 20 6d 61  st.db.    set ma
1590: 78 73 7a 20 30 0a 20 20 20 20 77 68 69 6c 65 20  xsz 0.    while 
15a0: 7b 5b 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74  {[file size test
15b0: 2e 64 62 5d 20 3e 20 5b 65 78 70 72 20 35 31 32  .db] > [expr 512
15c0: 2a 33 5d 7d 20 7b 0a 20 20 20 20 20 20 65 78 65  *3]} {.      exe
15d0: 63 73 71 6c 20 7b 20 50 52 41 47 4d 41 20 6a 6f  csql { PRAGMA jo
15e0: 75 72 6e 61 6c 5f 6d 6f 64 65 20 3d 20 57 41 4c  urnal_mode = WAL
15f0: 20 7d 0a 20 20 20 20 20 20 65 78 65 63 73 71 6c   }.      execsql
1600: 20 7b 20 50 52 41 47 4d 41 20 77 61 6c 5f 63 68   { PRAGMA wal_ch
1610: 65 63 6b 70 6f 69 6e 74 20 7d 0a 20 20 20 20 20  eckpoint }.     
1620: 20 65 78 65 63 73 71 6c 20 7b 20 50 52 41 47 4d   execsql { PRAGM
1630: 41 20 69 6e 63 72 65 6d 65 6e 74 61 6c 5f 76 61  A incremental_va
1640: 63 75 75 6d 28 31 29 20 7d 0a 20 20 20 20 20 20  cuum(1) }.      
1650: 73 65 74 20 6e 65 77 73 7a 20 5b 66 69 6c 65 20  set newsz [file 
1660: 73 69 7a 65 20 74 65 73 74 2e 64 62 2d 77 61 6c  size test.db-wal
1670: 5d 0a 20 20 20 20 20 20 69 66 20 7b 24 6e 65 77  ].      if {$new
1680: 73 7a 3e 24 6d 61 78 73 7a 7d 20 7b 73 65 74 20  sz>$maxsz} {set 
1690: 6d 61 78 73 7a 20 24 6e 65 77 73 7a 7d 0a 20 20  maxsz $newsz}.  
16a0: 20 20 7d 0a 20 20 20 20 73 65 74 20 6d 61 78 73    }.    set maxs
16b0: 7a 20 0a 20 20 7d 20 5b 65 78 70 72 20 7b 33 32  z .  } [expr {32
16c0: 2b 33 2a 28 35 31 32 2b 32 34 29 7d 5d 0a 7d 0a  +3*(512+24)}].}.
16d0: 0a 66 69 6e 69 73 68 5f 74 65 73 74 0a           .finish_test.