/ Hex Artifact Content
Login

Artifact 7d44c2ee327e86a7c26052795789dd2d472bd1d4:


0000: 23 20 32 30 31 30 20 41 70 72 69 6c 20 31 33 0a  # 2010 April 13.
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 6f 70 65 72 61  esting the opera
01d0: 74 69 6f 6e 20 6f 66 20 74 68 65 20 6c 69 62 72  tion of the libr
01e0: 61 72 79 20 69 6e 0a 23 20 22 50 52 41 47 4d 41  ary in.# "PRAGMA
01f0: 20 6a 6f 75 72 6e 61 6c 5f 6d 6f 64 65 3d 57 41   journal_mode=WA
0200: 4c 22 20 6d 6f 64 65 2e 0a 23 0a 0a 73 65 74 20  L" mode..#..set 
0210: 74 65 73 74 64 69 72 20 5b 66 69 6c 65 20 64 69  testdir [file di
0220: 72 6e 61 6d 65 20 24 61 72 67 76 30 5d 0a 73 6f  rname $argv0].so
0230: 75 72 63 65 20 24 74 65 73 74 64 69 72 2f 74 65  urce $testdir/te
0240: 73 74 65 72 2e 74 63 6c 0a 73 6f 75 72 63 65 20  ster.tcl.source 
0250: 24 74 65 73 74 64 69 72 2f 6c 6f 63 6b 5f 63 6f  $testdir/lock_co
0260: 6d 6d 6f 6e 2e 74 63 6c 0a 0a 70 72 6f 63 20 72  mmon.tcl..proc r
0270: 65 6f 70 65 6e 5f 64 62 20 7b 7d 20 7b 0a 20 20  eopen_db {} {.  
0280: 63 61 74 63 68 20 7b 20 64 62 20 63 6c 6f 73 65  catch { db close
0290: 20 7d 0a 20 20 66 69 6c 65 20 64 65 6c 65 74 65   }.  file delete
02a0: 20 2d 66 6f 72 63 65 20 74 65 73 74 2e 64 62 20   -force test.db 
02b0: 74 65 73 74 2e 64 62 2d 77 61 6c 0a 20 20 73 71  test.db-wal.  sq
02c0: 6c 69 74 65 33 5f 77 61 6c 20 64 62 20 74 65 73  lite3_wal db tes
02d0: 74 2e 64 62 0a 7d 0a 0a 73 65 74 20 3a 3a 62 6c  t.db.}..set ::bl
02e0: 6f 62 63 6e 74 20 30 0a 70 72 6f 63 20 62 6c 6f  obcnt 0.proc blo
02f0: 62 20 7b 6e 42 79 74 65 7d 20 7b 0a 20 20 69 6e  b {nByte} {.  in
0300: 63 72 20 3a 3a 62 6c 6f 62 63 6e 74 0a 20 20 72  cr ::blobcnt.  r
0310: 65 74 75 72 6e 20 5b 73 74 72 69 6e 67 20 72 61  eturn [string ra
0320: 6e 67 65 20 5b 73 74 72 69 6e 67 20 72 65 70 65  nge [string repe
0330: 61 74 20 22 24 7b 3a 3a 62 6c 6f 62 63 6e 74 7d  at "${::blobcnt}
0340: 78 22 20 24 6e 42 79 74 65 5d 20 31 20 24 6e 42  x" $nByte] 1 $nB
0350: 79 74 65 5d 0a 7d 0a 0a 70 72 6f 63 20 73 71 6c  yte].}..proc sql
0360: 69 74 65 33 5f 77 61 6c 20 7b 61 72 67 73 7d 20  ite3_wal {args} 
0370: 7b 0a 20 20 65 76 61 6c 20 73 71 6c 69 74 65 33  {.  eval sqlite3
0380: 20 24 61 72 67 73 0a 20 20 5b 6c 69 6e 64 65 78   $args.  [lindex
0390: 20 24 61 72 67 73 20 30 5d 20 65 76 61 6c 20 7b   $args 0] eval {
03a0: 20 50 52 41 47 4d 41 20 70 61 67 65 5f 73 69 7a   PRAGMA page_siz
03b0: 65 20 3d 20 31 30 32 34 20 7d 0a 20 20 5b 6c 69  e = 1024 }.  [li
03c0: 6e 64 65 78 20 24 61 72 67 73 20 30 5d 20 65 76  ndex $args 0] ev
03d0: 61 6c 20 7b 20 50 52 41 47 4d 41 20 6a 6f 75 72  al { PRAGMA jour
03e0: 6e 61 6c 5f 6d 6f 64 65 20 3d 20 77 61 6c 20 7d  nal_mode = wal }
03f0: 0a 20 20 5b 6c 69 6e 64 65 78 20 24 61 72 67 73  .  [lindex $args
0400: 20 30 5d 20 65 76 61 6c 20 7b 20 50 52 41 47 4d   0] eval { PRAGM
0410: 41 20 73 79 6e 63 68 72 6f 6e 6f 75 73 20 3d 20  A synchronous = 
0420: 6e 6f 72 6d 61 6c 20 7d 0a 20 20 5b 6c 69 6e 64  normal }.  [lind
0430: 65 78 20 24 61 72 67 73 20 30 5d 20 66 75 6e 63  ex $args 0] func
0440: 74 69 6f 6e 20 62 6c 6f 62 20 62 6c 6f 62 0a 7d  tion blob blob.}
0450: 0a 0a 70 72 6f 63 20 6c 6f 67 5f 66 69 6c 65 5f  ..proc log_file_
0460: 73 69 7a 65 20 7b 6e 46 72 61 6d 65 20 70 67 73  size {nFrame pgs
0470: 7a 7d 20 7b 0a 20 20 65 78 70 72 20 7b 31 32 20  z} {.  expr {12 
0480: 2b 20 28 24 70 67 73 7a 2b 31 36 29 2a 24 6e 46  + ($pgsz+16)*$nF
0490: 72 61 6d 65 7d 0a 7d 0a 0a 70 72 6f 63 20 6c 6f  rame}.}..proc lo
04a0: 67 5f 64 65 6c 65 74 65 64 20 7b 6c 6f 67 66 69  g_deleted {logfi
04b0: 6c 65 7d 20 7b 0a 20 20 72 65 74 75 72 6e 20 5b  le} {.  return [
04c0: 65 78 70 72 20 5b 66 69 6c 65 20 65 78 69 73 74  expr [file exist
04d0: 73 20 24 6c 6f 67 66 69 6c 65 5d 3d 3d 30 5d 0a  s $logfile]==0].
04e0: 7d 0a 0a 23 0a 23 20 54 68 65 73 65 20 61 72 65  }..#.# These are
04f0: 20 27 77 61 72 6d 2d 62 6f 64 79 27 20 74 65 73   'warm-body' tes
0500: 74 73 20 75 73 65 64 20 77 68 69 6c 65 20 64 65  ts used while de
0510: 76 65 6c 6f 70 69 6e 67 20 74 68 65 20 57 41 4c  veloping the WAL
0520: 20 63 6f 64 65 2e 20 54 68 65 79 0a 23 20 73 65   code. They.# se
0530: 72 76 65 20 74 6f 20 70 72 6f 76 65 20 74 68 61  rve to prove tha
0540: 74 20 61 20 66 65 77 20 72 65 61 6c 6c 79 20 73  t a few really s
0550: 69 6d 70 6c 65 20 63 61 73 65 73 20 77 6f 72 6b  imple cases work
0560: 3a 0a 23 0a 23 20 77 61 6c 2d 31 2e 2a 3a 20 52  :.#.# wal-1.*: R
0570: 65 61 64 20 61 6e 64 20 77 72 69 74 65 20 74 68  ead and write th
0580: 65 20 64 61 74 61 62 61 73 65 2e 0a 23 20 77 61  e database..# wa
0590: 6c 2d 32 2e 2a 3a 20 54 65 73 74 20 4d 56 43 43  l-2.*: Test MVCC
05a0: 20 77 69 74 68 20 6f 6e 65 20 72 65 61 64 65 72   with one reader
05b0: 2c 20 6f 6e 65 20 77 72 69 74 65 72 2e 0a 23 20  , one writer..# 
05c0: 77 61 6c 2d 33 2e 2a 3a 20 54 65 73 74 20 74 72  wal-3.*: Test tr
05d0: 61 6e 73 61 63 74 69 6f 6e 20 72 6f 6c 6c 62 61  ansaction rollba
05e0: 63 6b 2e 0a 23 20 77 61 6c 2d 34 2e 2a 3a 20 54  ck..# wal-4.*: T
05f0: 65 73 74 20 73 61 76 65 70 6f 69 6e 74 2f 73 74  est savepoint/st
0600: 61 74 65 6d 65 6e 74 20 72 6f 6c 6c 62 61 63 6b  atement rollback
0610: 2e 0a 23 20 77 61 6c 2d 35 2e 2a 3a 20 54 65 73  ..# wal-5.*: Tes
0620: 74 20 74 68 65 20 74 65 6d 70 20 64 61 74 61 62  t the temp datab
0630: 61 73 65 2e 0a 23 20 77 61 6c 2d 36 2e 2a 3a 20  ase..# wal-6.*: 
0640: 54 65 73 74 20 63 72 65 61 74 69 6e 67 20 64 61  Test creating da
0650: 74 61 62 61 73 65 73 20 77 69 74 68 20 64 69 66  tabases with dif
0660: 66 65 72 65 6e 74 20 70 61 67 65 20 73 69 7a 65  ferent page size
0670: 73 2e 0a 23 0a 0a 64 6f 5f 74 65 73 74 20 77 61  s..#..do_test wa
0680: 6c 2d 30 2e 31 20 7b 0a 20 20 65 78 65 63 73 71  l-0.1 {.  execsq
0690: 6c 20 7b 20 50 52 41 47 4d 41 20 73 79 6e 63 68  l { PRAGMA synch
06a0: 72 6f 6e 6f 75 73 20 3d 20 6e 6f 72 6d 61 6c 20  ronous = normal 
06b0: 7d 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 50 52  }.  execsql { PR
06c0: 41 47 4d 41 20 6a 6f 75 72 6e 61 6c 5f 6d 6f 64  AGMA journal_mod
06d0: 65 20 3d 20 77 61 6c 20 7d 0a 7d 20 7b 77 61 6c  e = wal }.} {wal
06e0: 7d 0a 64 6f 5f 74 65 73 74 20 77 61 6c 2d 30 2e  }.do_test wal-0.
06f0: 32 20 7b 0a 20 20 66 69 6c 65 20 73 69 7a 65 20  2 {.  file size 
0700: 74 65 73 74 2e 64 62 0a 7d 20 7b 31 30 32 34 7d  test.db.} {1024}
0710: 0a 0a 64 6f 5f 74 65 73 74 20 77 61 6c 2d 31 2e  ..do_test wal-1.
0720: 30 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 20  0 {.  execsql { 
0730: 0a 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20 20  .    BEGIN;.    
0740: 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 31 28  CREATE TABLE t1(
0750: 61 2c 20 62 29 3b 20 0a 20 20 7d 0a 20 20 6c 69  a, b); .  }.  li
0760: 73 74 20 5b 66 69 6c 65 20 65 78 69 73 74 73 20  st [file exists 
0770: 74 65 73 74 2e 64 62 2d 6a 6f 75 72 6e 61 6c 5d  test.db-journal]
0780: 20 5c 0a 20 20 20 20 20 20 20 5b 66 69 6c 65 20   \.       [file 
0790: 65 78 69 73 74 73 20 74 65 73 74 2e 64 62 2d 77  exists test.db-w
07a0: 61 6c 5d 20 20 20 20 20 5c 0a 20 20 20 20 20 20  al]     \.      
07b0: 20 5b 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74   [file size test
07c0: 2e 64 62 5d 0a 7d 20 7b 30 20 31 20 31 30 32 34  .db].} {0 1 1024
07d0: 7d 0a 64 6f 5f 74 65 73 74 20 77 61 6c 2d 31 2e  }.do_test wal-1.
07e0: 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 43 4f  1 {.  execsql CO
07f0: 4d 4d 49 54 0a 20 20 6c 69 73 74 20 5b 66 69 6c  MMIT.  list [fil
0800: 65 20 65 78 69 73 74 73 20 74 65 73 74 2e 64 62  e exists test.db
0810: 2d 6a 6f 75 72 6e 61 6c 5d 20 5b 66 69 6c 65 20  -journal] [file 
0820: 65 78 69 73 74 73 20 74 65 73 74 2e 64 62 2d 77  exists test.db-w
0830: 61 6c 5d 0a 7d 20 7b 30 20 31 7d 0a 64 6f 5f 74  al].} {0 1}.do_t
0840: 65 73 74 20 77 61 6c 2d 31 2e 32 20 7b 0a 20 20  est wal-1.2 {.  
0850: 23 20 54 68 65 72 65 20 61 72 65 20 6e 6f 77 20  # There are now 
0860: 74 77 6f 20 70 61 67 65 73 20 69 6e 20 74 68 65  two pages in the
0870: 20 6c 6f 67 2e 0a 20 20 66 69 6c 65 20 73 69 7a   log..  file siz
0880: 65 20 74 65 73 74 2e 64 62 2d 77 61 6c 0a 7d 20  e test.db-wal.} 
0890: 5b 6c 6f 67 5f 66 69 6c 65 5f 73 69 7a 65 20 32  [log_file_size 2
08a0: 20 31 30 32 34 5d 0a 0a 64 6f 5f 74 65 73 74 20   1024]..do_test 
08b0: 77 61 6c 2d 31 2e 33 20 7b 0a 20 20 65 78 65 63  wal-1.3 {.  exec
08c0: 73 71 6c 20 7b 20 53 45 4c 45 43 54 20 2a 20 46  sql { SELECT * F
08d0: 52 4f 4d 20 73 71 6c 69 74 65 5f 6d 61 73 74 65  ROM sqlite_maste
08e0: 72 20 7d 0a 7d 20 7b 74 61 62 6c 65 20 74 31 20  r }.} {table t1 
08f0: 74 31 20 32 20 7b 43 52 45 41 54 45 20 54 41 42  t1 2 {CREATE TAB
0900: 4c 45 20 74 31 28 61 2c 20 62 29 7d 7d 0a 0a 64  LE t1(a, b)}}..d
0910: 6f 5f 74 65 73 74 20 77 61 6c 2d 31 2e 34 20 7b  o_test wal-1.4 {
0920: 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 49 4e 53  .  execsql { INS
0930: 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55  ERT INTO t1 VALU
0940: 45 53 28 31 2c 20 32 29 20 7d 0a 20 20 65 78 65  ES(1, 2) }.  exe
0950: 63 73 71 6c 20 7b 20 49 4e 53 45 52 54 20 49 4e  csql { INSERT IN
0960: 54 4f 20 74 31 20 56 41 4c 55 45 53 28 33 2c 20  TO t1 VALUES(3, 
0970: 34 29 20 7d 0a 20 20 65 78 65 63 73 71 6c 20 7b  4) }.  execsql {
0980: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
0990: 56 41 4c 55 45 53 28 35 2c 20 36 29 20 7d 0a 20  VALUES(5, 6) }. 
09a0: 20 65 78 65 63 73 71 6c 20 7b 20 49 4e 53 45 52   execsql { INSER
09b0: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53  T INTO t1 VALUES
09c0: 28 37 2c 20 38 29 20 7d 0a 20 20 65 78 65 63 73  (7, 8) }.  execs
09d0: 71 6c 20 7b 20 49 4e 53 45 52 54 20 49 4e 54 4f  ql { INSERT INTO
09e0: 20 74 31 20 56 41 4c 55 45 53 28 39 2c 20 31 30   t1 VALUES(9, 10
09f0: 29 20 7d 0a 7d 20 7b 7d 0a 0a 64 6f 5f 74 65 73  ) }.} {}..do_tes
0a00: 74 20 77 61 6c 2d 31 2e 35 20 7b 0a 20 20 65 78  t wal-1.5 {.  ex
0a10: 65 63 73 71 6c 20 7b 20 53 45 4c 45 43 54 20 2a  ecsql { SELECT *
0a20: 20 46 52 4f 4d 20 74 31 20 7d 0a 7d 20 7b 31 20   FROM t1 }.} {1 
0a30: 32 20 33 20 34 20 35 20 36 20 37 20 38 20 39 20  2 3 4 5 6 7 8 9 
0a40: 31 30 7d 0a 0a 64 6f 5f 74 65 73 74 20 77 61 6c  10}..do_test wal
0a50: 2d 32 2e 31 20 7b 0a 20 20 73 71 6c 69 74 65 33  -2.1 {.  sqlite3
0a60: 5f 77 61 6c 20 64 62 32 20 2e 2f 74 65 73 74 2e  _wal db2 ./test.
0a70: 64 62 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 42  db.  execsql { B
0a80: 45 47 49 4e 3b 20 53 45 4c 45 43 54 20 2a 20 46  EGIN; SELECT * F
0a90: 52 4f 4d 20 74 31 20 7d 20 64 62 32 0a 7d 20 7b  ROM t1 } db2.} {
0aa0: 31 20 32 20 33 20 34 20 35 20 36 20 37 20 38 20  1 2 3 4 5 6 7 8 
0ab0: 39 20 31 30 7d 0a 0a 64 6f 5f 74 65 73 74 20 77  9 10}..do_test w
0ac0: 61 6c 2d 32 2e 32 20 7b 0a 20 20 65 78 65 63 73  al-2.2 {.  execs
0ad0: 71 6c 20 7b 20 49 4e 53 45 52 54 20 49 4e 54 4f  ql { INSERT INTO
0ae0: 20 74 31 20 56 41 4c 55 45 53 28 31 31 2c 20 31   t1 VALUES(11, 1
0af0: 32 29 20 7d 0a 20 20 65 78 65 63 73 71 6c 20 7b  2) }.  execsql {
0b00: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74   SELECT * FROM t
0b10: 31 20 7d 0a 7d 20 7b 31 20 32 20 33 20 34 20 35  1 }.} {1 2 3 4 5
0b20: 20 36 20 37 20 38 20 39 20 31 30 20 31 31 20 31   6 7 8 9 10 11 1
0b30: 32 7d 0a 0a 64 6f 5f 74 65 73 74 20 77 61 6c 2d  2}..do_test wal-
0b40: 32 2e 33 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  2.3 {.  execsql 
0b50: 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20  { SELECT * FROM 
0b60: 74 31 20 7d 20 64 62 32 0a 7d 20 7b 31 20 32 20  t1 } db2.} {1 2 
0b70: 33 20 34 20 35 20 36 20 37 20 38 20 39 20 31 30  3 4 5 6 7 8 9 10
0b80: 7d 0a 0a 64 6f 5f 74 65 73 74 20 77 61 6c 2d 32  }..do_test wal-2
0b90: 2e 34 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  .4 {.  execsql {
0ba0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
0bb0: 56 41 4c 55 45 53 28 31 33 2c 20 31 34 29 20 7d  VALUES(13, 14) }
0bc0: 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 53 45 4c  .  execsql { SEL
0bd0: 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 7d 0a  ECT * FROM t1 }.
0be0: 7d 20 7b 31 20 32 20 33 20 34 20 35 20 36 20 37  } {1 2 3 4 5 6 7
0bf0: 20 38 20 39 20 31 30 20 31 31 20 31 32 20 31 33   8 9 10 11 12 13
0c00: 20 31 34 7d 0a 0a 64 6f 5f 74 65 73 74 20 77 61   14}..do_test wa
0c10: 6c 2d 32 2e 35 20 7b 0a 20 20 65 78 65 63 73 71  l-2.5 {.  execsq
0c20: 6c 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f  l { SELECT * FRO
0c30: 4d 20 74 31 20 7d 20 64 62 32 0a 7d 20 7b 31 20  M t1 } db2.} {1 
0c40: 32 20 33 20 34 20 35 20 36 20 37 20 38 20 39 20  2 3 4 5 6 7 8 9 
0c50: 31 30 7d 0a 0a 64 6f 5f 74 65 73 74 20 77 61 6c  10}..do_test wal
0c60: 2d 32 2e 36 20 7b 0a 20 20 65 78 65 63 73 71 6c  -2.6 {.  execsql
0c70: 20 7b 20 43 4f 4d 4d 49 54 3b 20 53 45 4c 45 43   { COMMIT; SELEC
0c80: 54 20 2a 20 46 52 4f 4d 20 74 31 20 7d 20 64 62  T * FROM t1 } db
0c90: 32 0a 7d 20 7b 31 20 32 20 33 20 34 20 35 20 36  2.} {1 2 3 4 5 6
0ca0: 20 37 20 38 20 39 20 31 30 20 31 31 20 31 32 20   7 8 9 10 11 12 
0cb0: 31 33 20 31 34 7d 0a 0a 64 6f 5f 74 65 73 74 20  13 14}..do_test 
0cc0: 77 61 6c 2d 33 2e 31 20 7b 0a 20 20 65 78 65 63  wal-3.1 {.  exec
0cd0: 73 71 6c 20 7b 20 42 45 47 49 4e 3b 20 44 45 4c  sql { BEGIN; DEL
0ce0: 45 54 45 20 46 52 4f 4d 20 74 31 20 7d 0a 20 20  ETE FROM t1 }.  
0cf0: 65 78 65 63 73 71 6c 20 7b 20 53 45 4c 45 43 54  execsql { SELECT
0d00: 20 2a 20 46 52 4f 4d 20 74 31 20 7d 0a 7d 20 7b   * FROM t1 }.} {
0d10: 7d 0a 64 6f 5f 74 65 73 74 20 77 61 6c 2d 33 2e  }.do_test wal-3.
0d20: 32 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 20  2 {.  execsql { 
0d30: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31  SELECT * FROM t1
0d40: 20 7d 20 64 62 32 0a 7d 20 7b 31 20 32 20 33 20   } db2.} {1 2 3 
0d50: 34 20 35 20 36 20 37 20 38 20 39 20 31 30 20 31  4 5 6 7 8 9 10 1
0d60: 31 20 31 32 20 31 33 20 31 34 7d 0a 64 6f 5f 74  1 12 13 14}.do_t
0d70: 65 73 74 20 77 61 6c 2d 33 2e 33 20 7b 0a 20 20  est wal-3.3 {.  
0d80: 65 78 65 63 73 71 6c 20 7b 20 52 4f 4c 4c 42 41  execsql { ROLLBA
0d90: 43 4b 20 7d 0a 20 20 65 78 65 63 73 71 6c 20 7b  CK }.  execsql {
0da0: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74   SELECT * FROM t
0db0: 31 20 7d 0a 7d 20 7b 31 20 32 20 33 20 34 20 35  1 }.} {1 2 3 4 5
0dc0: 20 36 20 37 20 38 20 39 20 31 30 20 31 31 20 31   6 7 8 9 10 11 1
0dd0: 32 20 31 33 20 31 34 7d 0a 64 62 32 20 63 6c 6f  2 13 14}.db2 clo
0de0: 73 65 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  se..#-----------
0df0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0e00: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0e10: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0e20: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23  --------------.#
0e30: 20 54 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 74   The following t
0e40: 65 73 74 73 2c 20 77 61 6c 2d 34 2e 2a 2c 20 74  ests, wal-4.*, t
0e50: 65 73 74 20 74 68 61 74 20 73 61 76 65 70 6f 69  est that savepoi
0e60: 6e 74 73 20 77 6f 72 6b 20 77 69 74 68 20 57 41  nts work with WA
0e70: 4c 20 0a 23 20 64 61 74 61 62 61 73 65 73 2e 0a  L .# databases..
0e80: 23 0a 64 6f 5f 74 65 73 74 20 77 61 6c 2d 34 2e  #.do_test wal-4.
0e90: 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  1 {.  execsql {.
0ea0: 20 20 20 20 44 45 4c 45 54 45 20 46 52 4f 4d 20      DELETE FROM 
0eb0: 74 31 3b 0a 20 20 20 20 42 45 47 49 4e 3b 0a 20  t1;.    BEGIN;. 
0ec0: 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f       INSERT INTO
0ed0: 20 74 31 20 56 41 4c 55 45 53 28 27 61 27 2c 20   t1 VALUES('a', 
0ee0: 27 62 27 29 3b 0a 20 20 20 20 20 20 53 41 56 45  'b');.      SAVE
0ef0: 50 4f 49 4e 54 20 73 70 3b 0a 20 20 20 20 20 20  POINT sp;.      
0f00: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31    INSERT INTO t1
0f10: 20 56 41 4c 55 45 53 28 27 63 27 2c 20 27 64 27   VALUES('c', 'd'
0f20: 29 3b 0a 20 20 20 20 20 20 20 20 53 45 4c 45 43  );.        SELEC
0f30: 54 20 2a 20 46 52 4f 4d 20 74 31 3b 0a 20 20 7d  T * FROM t1;.  }
0f40: 0a 7d 20 7b 61 20 62 20 63 20 64 7d 0a 64 6f 5f  .} {a b c d}.do_
0f50: 74 65 73 74 20 77 61 6c 2d 34 2e 32 20 7b 0a 20  test wal-4.2 {. 
0f60: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 20   execsql {.     
0f70: 20 52 4f 4c 4c 42 41 43 4b 20 54 4f 20 73 70 3b   ROLLBACK TO sp;
0f80: 0a 20 20 20 20 20 20 53 45 4c 45 43 54 20 2a 20  .      SELECT * 
0f90: 46 52 4f 4d 20 74 31 3b 0a 20 20 7d 0a 7d 20 7b  FROM t1;.  }.} {
0fa0: 61 20 62 7d 0a 64 6f 5f 74 65 73 74 20 77 61 6c  a b}.do_test wal
0fb0: 2d 34 2e 33 20 7b 0a 20 20 65 78 65 63 73 71 6c  -4.3 {.  execsql
0fc0: 20 7b 0a 20 20 20 20 43 4f 4d 4d 49 54 3b 0a 20   {.    COMMIT;. 
0fd0: 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d     SELECT * FROM
0fe0: 20 74 31 3b 0a 20 20 7d 0a 7d 20 7b 61 20 62 7d   t1;.  }.} {a b}
0ff0: 0a 0a 64 6f 5f 74 65 73 74 20 77 61 6c 2d 34 2e  ..do_test wal-4.
1000: 34 20 7b 0a 20 20 64 62 20 63 6c 6f 73 65 0a 20  4 {.  db close. 
1010: 20 73 71 6c 69 74 65 33 20 64 62 20 74 65 73 74   sqlite3 db test
1020: 2e 64 62 0a 20 20 64 62 20 66 75 6e 63 20 62 6c  .db.  db func bl
1030: 6f 62 20 62 6c 6f 62 0a 20 20 6c 69 73 74 20 5b  ob blob.  list [
1040: 65 78 65 63 73 71 6c 20 7b 20 53 45 4c 45 43 54  execsql { SELECT
1050: 20 2a 20 46 52 4f 4d 20 74 31 20 7d 5d 20 5b 66   * FROM t1 }] [f
1060: 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62  ile size test.db
1070: 2d 77 61 6c 5d 0a 7d 20 7b 7b 61 20 62 7d 20 30  -wal].} {{a b} 0
1080: 7d 0a 64 6f 5f 74 65 73 74 20 77 61 6c 2d 34 2e  }.do_test wal-4.
1090: 35 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 20  5 {.  execsql { 
10a0: 50 52 41 47 4d 41 20 63 61 63 68 65 5f 73 69 7a  PRAGMA cache_siz
10b0: 65 20 3d 20 31 30 20 7d 0a 20 20 65 78 65 63 73  e = 10 }.  execs
10c0: 71 6c 20 7b 0a 20 20 20 20 43 52 45 41 54 45 20  ql {.    CREATE 
10d0: 54 41 42 4c 45 20 74 32 28 61 2c 20 62 29 3b 0a  TABLE t2(a, b);.
10e0: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
10f0: 74 32 20 56 41 4c 55 45 53 28 62 6c 6f 62 28 34  t2 VALUES(blob(4
1100: 30 30 29 2c 20 62 6c 6f 62 28 34 30 30 29 29 3b  00), blob(400));
1110: 0a 20 20 20 20 53 41 56 45 50 4f 49 4e 54 20 74  .    SAVEPOINT t
1120: 72 3b 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20  r;.      INSERT 
1130: 49 4e 54 4f 20 74 32 20 53 45 4c 45 43 54 20 62  INTO t2 SELECT b
1140: 6c 6f 62 28 34 30 30 29 2c 20 62 6c 6f 62 28 34  lob(400), blob(4
1150: 30 30 29 20 46 52 4f 4d 20 74 32 3b 20 2f 2a 20  00) FROM t2; /* 
1160: 20 32 20 2a 2f 0a 20 20 20 20 20 20 49 4e 53 45   2 */.      INSE
1170: 52 54 20 49 4e 54 4f 20 74 32 20 53 45 4c 45 43  RT INTO t2 SELEC
1180: 54 20 62 6c 6f 62 28 34 30 30 29 2c 20 62 6c 6f  T blob(400), blo
1190: 62 28 34 30 30 29 20 46 52 4f 4d 20 74 32 3b 20  b(400) FROM t2; 
11a0: 2f 2a 20 20 34 20 2a 2f 0a 20 20 20 20 20 20 49  /*  4 */.      I
11b0: 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20 53 45  NSERT INTO t2 SE
11c0: 4c 45 43 54 20 62 6c 6f 62 28 34 30 30 29 2c 20  LECT blob(400), 
11d0: 62 6c 6f 62 28 34 30 30 29 20 46 52 4f 4d 20 74  blob(400) FROM t
11e0: 32 3b 20 2f 2a 20 20 38 20 2a 2f 0a 20 20 20 20  2; /*  8 */.    
11f0: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32    INSERT INTO t2
1200: 20 53 45 4c 45 43 54 20 62 6c 6f 62 28 34 30 30   SELECT blob(400
1210: 29 2c 20 62 6c 6f 62 28 34 30 30 29 20 46 52 4f  ), blob(400) FRO
1220: 4d 20 74 32 3b 20 2f 2a 20 31 36 20 2a 2f 0a 20  M t2; /* 16 */. 
1230: 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f       INSERT INTO
1240: 20 74 32 20 53 45 4c 45 43 54 20 62 6c 6f 62 28   t2 SELECT blob(
1250: 34 30 30 29 2c 20 62 6c 6f 62 28 34 30 30 29 20  400), blob(400) 
1260: 46 52 4f 4d 20 74 32 3b 20 2f 2a 20 33 32 20 2a  FROM t2; /* 32 *
1270: 2f 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20 49  /.      INSERT I
1280: 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 62 6c  NTO t1 SELECT bl
1290: 6f 62 28 34 30 30 29 2c 20 62 6c 6f 62 28 34 30  ob(400), blob(40
12a0: 30 29 20 46 52 4f 4d 20 74 31 3b 20 2f 2a 20 20  0) FROM t1; /*  
12b0: 32 20 2a 2f 0a 20 20 20 20 20 20 49 4e 53 45 52  2 */.      INSER
12c0: 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54  T INTO t1 SELECT
12d0: 20 62 6c 6f 62 28 34 30 30 29 2c 20 62 6c 6f 62   blob(400), blob
12e0: 28 34 30 30 29 20 46 52 4f 4d 20 74 31 3b 20 2f  (400) FROM t1; /
12f0: 2a 20 20 34 20 2a 2f 0a 20 20 20 20 20 20 49 4e  *  4 */.      IN
1300: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c  SERT INTO t1 SEL
1310: 45 43 54 20 62 6c 6f 62 28 34 30 30 29 2c 20 62  ECT blob(400), b
1320: 6c 6f 62 28 34 30 30 29 20 46 52 4f 4d 20 74 31  lob(400) FROM t1
1330: 3b 20 2f 2a 20 20 38 20 2a 2f 0a 20 20 20 20 20  ; /*  8 */.     
1340: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
1350: 53 45 4c 45 43 54 20 62 6c 6f 62 28 34 30 30 29  SELECT blob(400)
1360: 2c 20 62 6c 6f 62 28 34 30 30 29 20 46 52 4f 4d  , blob(400) FROM
1370: 20 74 31 3b 20 2f 2a 20 31 36 20 2a 2f 0a 20 20   t1; /* 16 */.  
1380: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
1390: 74 31 20 53 45 4c 45 43 54 20 62 6c 6f 62 28 34  t1 SELECT blob(4
13a0: 30 30 29 2c 20 62 6c 6f 62 28 34 30 30 29 20 46  00), blob(400) F
13b0: 52 4f 4d 20 74 31 3b 20 2f 2a 20 33 32 20 2a 2f  ROM t1; /* 32 */
13c0: 0a 20 20 20 20 20 20 53 45 4c 45 43 54 20 63 6f  .      SELECT co
13d0: 75 6e 74 28 2a 29 20 46 52 4f 4d 20 74 32 3b 0a  unt(*) FROM t2;.
13e0: 20 20 7d 0a 7d 20 7b 33 32 7d 0a 64 6f 5f 74 65    }.} {32}.do_te
13f0: 73 74 20 77 61 6c 2d 34 2e 36 20 7b 0a 20 20 65  st wal-4.6 {.  e
1400: 78 65 63 73 71 6c 20 7b 20 52 4f 4c 4c 42 41 43  xecsql { ROLLBAC
1410: 4b 20 54 4f 20 74 72 20 7d 0a 7d 20 7b 7d 0a 64  K TO tr }.} {}.d
1420: 6f 5f 74 65 73 74 20 77 61 6c 2d 34 2e 37 20 7b  o_test wal-4.7 {
1430: 0a 20 20 73 65 74 20 6c 6f 67 73 69 7a 65 20 5b  .  set logsize [
1440: 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64  file size test.d
1450: 62 2d 77 61 6c 5d 0a 20 20 65 78 65 63 73 71 6c  b-wal].  execsql
1460: 20 7b 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20   {.      INSERT 
1470: 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 27  INTO t1 VALUES('
1480: 78 27 2c 20 27 79 27 29 3b 0a 20 20 20 20 52 45  x', 'y');.    RE
1490: 4c 45 41 53 45 20 74 72 3b 0a 20 20 7d 0a 20 20  LEASE tr;.  }.  
14a0: 65 78 70 72 20 7b 20 24 6c 6f 67 73 69 7a 65 20  expr { $logsize 
14b0: 3d 3d 20 5b 66 69 6c 65 20 73 69 7a 65 20 74 65  == [file size te
14c0: 73 74 2e 64 62 2d 77 61 6c 5d 20 7d 0a 7d 20 7b  st.db-wal] }.} {
14d0: 31 7d 0a 64 6f 5f 74 65 73 74 20 77 61 6c 2d 34  1}.do_test wal-4
14e0: 2e 38 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  .8 {.  execsql {
14f0: 20 53 45 4c 45 43 54 20 63 6f 75 6e 74 28 2a 29   SELECT count(*)
1500: 20 46 52 4f 4d 20 74 32 20 7d 0a 7d 20 7b 31 7d   FROM t2 }.} {1}
1510: 0a 64 6f 5f 74 65 73 74 20 77 61 6c 2d 34 2e 39  .do_test wal-4.9
1520: 20 7b 0a 20 20 66 69 6c 65 20 63 6f 70 79 20 2d   {.  file copy -
1530: 66 6f 72 63 65 20 74 65 73 74 2e 64 62 20 74 65  force test.db te
1540: 73 74 32 2e 64 62 0a 20 20 66 69 6c 65 20 63 6f  st2.db.  file co
1550: 70 79 20 2d 66 6f 72 63 65 20 74 65 73 74 2e 64  py -force test.d
1560: 62 2d 77 61 6c 20 74 65 73 74 32 2e 64 62 2d 77  b-wal test2.db-w
1570: 61 6c 0a 20 20 73 71 6c 69 74 65 33 20 64 62 32  al.  sqlite3 db2
1580: 20 74 65 73 74 32 2e 64 62 0a 20 20 65 78 65 63   test2.db.  exec
1590: 73 71 6c 20 7b 20 53 45 4c 45 43 54 20 63 6f 75  sql { SELECT cou
15a0: 6e 74 28 2a 29 20 46 52 4f 4d 20 74 32 20 3b 20  nt(*) FROM t2 ; 
15b0: 53 45 4c 45 43 54 20 63 6f 75 6e 74 28 2a 29 20  SELECT count(*) 
15c0: 46 52 4f 4d 20 74 31 20 7d 20 64 62 32 0a 7d 20  FROM t1 } db2.} 
15d0: 7b 31 20 32 7d 0a 64 6f 5f 74 65 73 74 20 77 61  {1 2}.do_test wa
15e0: 6c 2d 34 2e 31 30 20 7b 0a 20 20 65 78 65 63 73  l-4.10 {.  execs
15f0: 71 6c 20 7b 20 50 52 41 47 4d 41 20 69 6e 74 65  ql { PRAGMA inte
1600: 67 72 69 74 79 5f 63 68 65 63 6b 20 7d 20 64 62  grity_check } db
1610: 32 0a 7d 20 7b 6f 6b 7d 0a 64 62 32 20 63 6c 6f  2.} {ok}.db2 clo
1620: 73 65 0a 0a 72 65 6f 70 65 6e 5f 64 62 0a 64 6f  se..reopen_db.do
1630: 5f 74 65 73 74 20 77 61 6c 2d 35 2e 31 20 7b 0a  _test wal-5.1 {.
1640: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
1650: 43 52 45 41 54 45 20 54 45 4d 50 20 54 41 42 4c  CREATE TEMP TABL
1660: 45 20 74 32 28 61 2c 20 62 29 3b 0a 20 20 20 20  E t2(a, b);.    
1670: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20 56  INSERT INTO t2 V
1680: 41 4c 55 45 53 28 31 2c 20 32 29 3b 0a 20 20 7d  ALUES(1, 2);.  }
1690: 0a 7d 20 7b 7d 0a 64 6f 5f 74 65 73 74 20 77 61  .} {}.do_test wa
16a0: 6c 2d 35 2e 32 20 7b 0a 20 20 65 78 65 63 73 71  l-5.2 {.  execsq
16b0: 6c 20 7b 0a 20 20 20 20 42 45 47 49 4e 3b 0a 20  l {.    BEGIN;. 
16c0: 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f       INSERT INTO
16d0: 20 74 32 20 56 41 4c 55 45 53 28 33 2c 20 34 29   t2 VALUES(3, 4)
16e0: 3b 0a 20 20 20 20 20 20 53 45 4c 45 43 54 20 2a  ;.      SELECT *
16f0: 20 46 52 4f 4d 20 74 32 3b 0a 20 20 7d 0a 7d 20   FROM t2;.  }.} 
1700: 7b 31 20 32 20 33 20 34 7d 0a 64 6f 5f 74 65 73  {1 2 3 4}.do_tes
1710: 74 20 77 61 6c 2d 35 2e 33 20 7b 0a 20 20 65 78  t wal-5.3 {.  ex
1720: 65 63 73 71 6c 20 7b 0a 20 20 20 20 52 4f 4c 4c  ecsql {.    ROLL
1730: 42 41 43 4b 3b 0a 20 20 20 20 53 45 4c 45 43 54  BACK;.    SELECT
1740: 20 2a 20 46 52 4f 4d 20 74 32 3b 0a 20 20 7d 0a   * FROM t2;.  }.
1750: 7d 20 7b 31 20 32 7d 0a 64 6f 5f 74 65 73 74 20  } {1 2}.do_test 
1760: 77 61 6c 2d 35 2e 34 20 7b 0a 20 20 65 78 65 63  wal-5.4 {.  exec
1770: 73 71 6c 20 7b 0a 20 20 20 20 43 52 45 41 54 45  sql {.    CREATE
1780: 20 54 45 4d 50 20 54 41 42 4c 45 20 74 33 28 78   TEMP TABLE t3(x
1790: 20 55 4e 49 51 55 45 29 3b 0a 20 20 20 20 42 45   UNIQUE);.    BE
17a0: 47 49 4e 3b 0a 20 20 20 20 20 20 49 4e 53 45 52  GIN;.      INSER
17b0: 54 20 49 4e 54 4f 20 74 32 20 56 41 4c 55 45 53  T INTO t2 VALUES
17c0: 28 33 2c 20 34 29 3b 0a 20 20 20 20 20 20 49 4e  (3, 4);.      IN
17d0: 53 45 52 54 20 49 4e 54 4f 20 74 33 20 56 41 4c  SERT INTO t3 VAL
17e0: 55 45 53 28 27 61 62 63 27 29 3b 0a 20 20 7d 0a  UES('abc');.  }.
17f0: 20 20 63 61 74 63 68 73 71 6c 20 7b 20 49 4e 53    catchsql { INS
1800: 45 52 54 20 49 4e 54 4f 20 74 33 20 56 41 4c 55  ERT INTO t3 VALU
1810: 45 53 28 27 61 62 63 27 29 20 7d 0a 7d 20 7b 31  ES('abc') }.} {1
1820: 20 7b 63 6f 6c 75 6d 6e 20 78 20 69 73 20 6e 6f   {column x is no
1830: 74 20 75 6e 69 71 75 65 7d 7d 0a 64 6f 5f 74 65  t unique}}.do_te
1840: 73 74 20 77 61 6c 2d 35 2e 35 20 7b 0a 20 20 65  st wal-5.5 {.  e
1850: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 43 4f 4d  xecsql {.    COM
1860: 4d 49 54 3b 0a 20 20 20 20 53 45 4c 45 43 54 20  MIT;.    SELECT 
1870: 2a 20 46 52 4f 4d 20 74 32 3b 0a 20 20 7d 0a 7d  * FROM t2;.  }.}
1880: 20 7b 31 20 32 20 33 20 34 7d 0a 64 62 20 63 6c   {1 2 3 4}.db cl
1890: 6f 73 65 0a 0a 66 6f 72 65 61 63 68 20 73 65 63  ose..foreach sec
18a0: 74 6f 72 20 7b 35 31 32 20 34 30 39 36 7d 20 7b  tor {512 4096} {
18b0: 0a 20 20 73 71 6c 69 74 65 33 5f 73 69 6d 75 6c  .  sqlite3_simul
18c0: 61 74 65 5f 64 65 76 69 63 65 20 2d 73 65 63 74  ate_device -sect
18d0: 6f 72 73 69 7a 65 20 24 73 65 63 74 6f 72 0a 20  orsize $sector. 
18e0: 20 66 6f 72 65 61 63 68 20 70 67 73 7a 20 7b 35   foreach pgsz {5
18f0: 31 32 20 31 30 32 34 20 32 30 34 38 20 34 30 39  12 1024 2048 409
1900: 36 7d 20 7b 0a 20 20 20 20 66 69 6c 65 20 64 65  6} {.    file de
1910: 6c 65 74 65 20 2d 66 6f 72 63 65 20 74 65 73 74  lete -force test
1920: 2e 64 62 20 74 65 73 74 2e 64 62 2d 77 61 6c 0a  .db test.db-wal.
1930: 20 20 20 20 64 6f 5f 74 65 73 74 20 77 61 6c 2d      do_test wal-
1940: 36 2e 24 73 65 63 74 6f 72 2e 24 70 67 73 7a 2e  6.$sector.$pgsz.
1950: 31 20 7b 0a 20 20 20 20 20 20 73 71 6c 69 74 65  1 {.      sqlite
1960: 33 20 64 62 20 74 65 73 74 2e 64 62 20 2d 76 66  3 db test.db -vf
1970: 73 20 64 65 76 73 79 6d 0a 20 20 20 20 20 20 65  s devsym.      e
1980: 78 65 63 73 71 6c 20 22 0a 20 20 20 20 20 20 20  xecsql ".       
1990: 20 50 52 41 47 4d 41 20 70 61 67 65 5f 73 69 7a   PRAGMA page_siz
19a0: 65 20 3d 20 24 70 67 73 7a 3b 0a 20 20 20 20 20  e = $pgsz;.     
19b0: 20 20 20 50 52 41 47 4d 41 20 6a 6f 75 72 6e 61     PRAGMA journa
19c0: 6c 5f 6d 6f 64 65 20 3d 20 77 61 6c 3b 0a 20 20  l_mode = wal;.  
19d0: 20 20 20 20 22 0a 20 20 20 20 20 20 65 78 65 63      ".      exec
19e0: 73 71 6c 20 22 0a 20 20 20 20 20 20 20 20 43 52  sql ".        CR
19f0: 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 61 2c  EATE TABLE t1(a,
1a00: 20 62 29 3b 0a 20 20 20 20 20 20 20 20 49 4e 53   b);.        INS
1a10: 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55  ERT INTO t1 VALU
1a20: 45 53 28 31 2c 20 32 29 3b 0a 20 20 20 20 20 20  ES(1, 2);.      
1a30: 22 0a 20 20 20 20 20 20 64 62 20 63 6c 6f 73 65  ".      db close
1a40: 0a 20 20 20 20 20 20 66 69 6c 65 20 73 69 7a 65  .      file size
1a50: 20 74 65 73 74 2e 64 62 0a 20 20 20 20 7d 20 5b   test.db.    } [
1a60: 65 78 70 72 20 24 70 67 73 7a 2a 32 5d 0a 20 20  expr $pgsz*2].  
1a70: 0a 20 20 20 20 64 6f 5f 74 65 73 74 20 77 61 6c  .    do_test wal
1a80: 2d 36 2e 24 73 65 63 74 6f 72 2e 24 70 67 73 7a  -6.$sector.$pgsz
1a90: 2e 32 20 7b 0a 20 20 20 20 20 20 6c 6f 67 5f 64  .2 {.      log_d
1aa0: 65 6c 65 74 65 64 20 74 65 73 74 2e 64 62 2d 77  eleted test.db-w
1ab0: 61 6c 0a 20 20 20 20 7d 20 7b 31 7d 0a 20 20 7d  al.    } {1}.  }
1ac0: 0a 7d 0a 0a 64 6f 5f 74 65 73 74 20 77 61 6c 2d  .}..do_test wal-
1ad0: 37 2e 31 20 7b 0a 20 20 66 69 6c 65 20 64 65 6c  7.1 {.  file del
1ae0: 65 74 65 20 2d 66 6f 72 63 65 20 74 65 73 74 2e  ete -force test.
1af0: 64 62 20 74 65 73 74 2e 64 62 2d 77 61 6c 0a 20  db test.db-wal. 
1b00: 20 73 71 6c 69 74 65 33 5f 77 61 6c 20 64 62 20   sqlite3_wal db 
1b10: 74 65 73 74 2e 64 62 0a 20 20 65 78 65 63 73 71  test.db.  execsq
1b20: 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d 41 20 70  l {.    PRAGMA p
1b30: 61 67 65 5f 73 69 7a 65 20 3d 20 31 30 32 34 3b  age_size = 1024;
1b40: 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c  .    CREATE TABL
1b50: 45 20 74 31 28 61 2c 20 62 29 3b 0a 20 20 20 20  E t1(a, b);.    
1b60: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56  INSERT INTO t1 V
1b70: 41 4c 55 45 53 28 31 2c 20 32 29 3b 0a 20 20 7d  ALUES(1, 2);.  }
1b80: 0a 20 20 6c 69 73 74 20 5b 66 69 6c 65 20 73 69  .  list [file si
1b90: 7a 65 20 74 65 73 74 2e 64 62 5d 20 5b 66 69 6c  ze test.db] [fil
1ba0: 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62 2d 77  e size test.db-w
1bb0: 61 6c 5d 0a 7d 20 5b 6c 69 73 74 20 31 30 32 34  al].} [list 1024
1bc0: 20 5b 6c 6f 67 5f 66 69 6c 65 5f 73 69 7a 65 20   [log_file_size 
1bd0: 33 20 31 30 32 34 5d 5d 0a 64 6f 5f 74 65 73 74  3 1024]].do_test
1be0: 20 77 61 6c 2d 37 2e 32 20 7b 0a 20 20 65 78 65   wal-7.2 {.  exe
1bf0: 63 73 71 6c 20 7b 20 50 52 41 47 4d 41 20 63 68  csql { PRAGMA ch
1c00: 65 63 6b 70 6f 69 6e 74 20 7d 0a 20 20 6c 69 73  eckpoint }.  lis
1c10: 74 20 5b 66 69 6c 65 20 73 69 7a 65 20 74 65 73  t [file size tes
1c20: 74 2e 64 62 5d 20 5b 66 69 6c 65 20 73 69 7a 65  t.db] [file size
1c30: 20 74 65 73 74 2e 64 62 2d 77 61 6c 5d 0a 7d 20   test.db-wal].} 
1c40: 5b 6c 69 73 74 20 32 30 34 38 20 5b 6c 6f 67 5f  [list 2048 [log_
1c50: 66 69 6c 65 5f 73 69 7a 65 20 33 20 31 30 32 34  file_size 3 1024
1c60: 5d 5d 0a 0a 23 20 45 78 65 63 75 74 65 20 73 6f  ]]..# Execute so
1c70: 6d 65 20 74 72 61 6e 73 61 63 74 69 6f 6e 73 20  me transactions 
1c80: 69 6e 20 61 75 74 6f 2d 76 61 63 75 75 6d 20 6d  in auto-vacuum m
1c90: 6f 64 65 20 74 6f 20 74 65 73 74 20 64 61 74 61  ode to test data
1ca0: 62 61 73 65 20 66 69 6c 65 0a 23 20 74 72 75 6e  base file.# trun
1cb0: 63 61 74 69 6f 6e 2e 0a 23 0a 64 6f 5f 74 65 73  cation..#.do_tes
1cc0: 74 20 77 61 6c 2d 38 2e 31 20 7b 0a 20 20 72 65  t wal-8.1 {.  re
1cd0: 6f 70 65 6e 5f 64 62 0a 20 20 63 61 74 63 68 20  open_db.  catch 
1ce0: 7b 20 64 62 20 63 6c 6f 73 65 20 7d 0a 20 20 66  { db close }.  f
1cf0: 69 6c 65 20 64 65 6c 65 74 65 20 2d 66 6f 72 63  ile delete -forc
1d00: 65 20 74 65 73 74 2e 64 62 20 74 65 73 74 2e 64  e test.db test.d
1d10: 62 2d 77 61 6c 0a 0a 20 20 73 71 6c 69 74 65 33  b-wal..  sqlite3
1d20: 20 64 62 20 74 65 73 74 2e 64 62 0a 20 20 64 62   db test.db.  db
1d30: 20 66 75 6e 63 74 69 6f 6e 20 62 6c 6f 62 20 62   function blob b
1d40: 6c 6f 62 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  lob.  execsql {.
1d50: 20 20 20 20 50 52 41 47 4d 41 20 61 75 74 6f 5f      PRAGMA auto_
1d60: 76 61 63 75 75 6d 20 3d 20 31 3b 0a 20 20 20 20  vacuum = 1;.    
1d70: 50 52 41 47 4d 41 20 6a 6f 75 72 6e 61 6c 5f 6d  PRAGMA journal_m
1d80: 6f 64 65 20 3d 20 77 61 6c 3b 0a 20 20 20 20 50  ode = wal;.    P
1d90: 52 41 47 4d 41 20 61 75 74 6f 5f 76 61 63 75 75  RAGMA auto_vacuu
1da0: 6d 3b 0a 20 20 7d 0a 7d 20 7b 77 61 6c 20 31 7d  m;.  }.} {wal 1}
1db0: 0a 64 6f 5f 74 65 73 74 20 77 61 6c 2d 38 2e 32  .do_test wal-8.2
1dc0: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20   {.  execsql {. 
1dd0: 20 20 20 50 52 41 47 4d 41 20 70 61 67 65 5f 73     PRAGMA page_s
1de0: 69 7a 65 20 3d 20 31 30 32 34 3b 0a 20 20 20 20  ize = 1024;.    
1df0: 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 31 28  CREATE TABLE t1(
1e00: 78 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  x);.    INSERT I
1e10: 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 62 6c  NTO t1 VALUES(bl
1e20: 6f 62 28 39 30 30 29 29 3b 0a 20 20 20 20 49 4e  ob(900));.    IN
1e30: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c  SERT INTO t1 VAL
1e40: 55 45 53 28 62 6c 6f 62 28 39 30 30 29 29 3b 0a  UES(blob(900));.
1e50: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
1e60: 74 31 20 53 45 4c 45 43 54 20 62 6c 6f 62 28 39  t1 SELECT blob(9
1e70: 30 30 29 20 46 52 4f 4d 20 74 31 3b 20 20 20 20  00) FROM t1;    
1e80: 20 20 20 2f 2a 20 20 34 20 2a 2f 0a 20 20 20 20     /*  4 */.    
1e90: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53  INSERT INTO t1 S
1ea0: 45 4c 45 43 54 20 62 6c 6f 62 28 39 30 30 29 20  ELECT blob(900) 
1eb0: 46 52 4f 4d 20 74 31 3b 20 20 20 20 20 20 20 2f  FROM t1;       /
1ec0: 2a 20 20 38 20 2a 2f 0a 20 20 20 20 49 4e 53 45  *  8 */.    INSE
1ed0: 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43  RT INTO t1 SELEC
1ee0: 54 20 62 6c 6f 62 28 39 30 30 29 20 46 52 4f 4d  T blob(900) FROM
1ef0: 20 74 31 3b 20 20 20 20 20 20 20 2f 2a 20 31 36   t1;       /* 16
1f00: 20 2a 2f 0a 20 20 20 20 49 4e 53 45 52 54 20 49   */.    INSERT I
1f10: 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 62 6c  NTO t1 SELECT bl
1f20: 6f 62 28 39 30 30 29 20 46 52 4f 4d 20 74 31 3b  ob(900) FROM t1;
1f30: 20 20 20 20 20 20 20 2f 2a 20 33 32 20 2a 2f 0a         /* 32 */.
1f40: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
1f50: 74 31 20 53 45 4c 45 43 54 20 62 6c 6f 62 28 39  t1 SELECT blob(9
1f60: 30 30 29 20 46 52 4f 4d 20 74 31 3b 20 20 20 20  00) FROM t1;    
1f70: 20 20 20 2f 2a 20 36 34 20 2a 2f 0a 20 20 20 20     /* 64 */.    
1f80: 50 52 41 47 4d 41 20 63 68 65 63 6b 70 6f 69 6e  PRAGMA checkpoin
1f90: 74 3b 0a 20 20 7d 0a 20 20 66 69 6c 65 20 73 69  t;.  }.  file si
1fa0: 7a 65 20 74 65 73 74 2e 64 62 0a 7d 20 5b 65 78  ze test.db.} [ex
1fb0: 70 72 20 36 38 2a 31 30 32 34 5d 0a 64 6f 5f 74  pr 68*1024].do_t
1fc0: 65 73 74 20 77 61 6c 2d 38 2e 33 20 7b 0a 20 20  est wal-8.3 {.  
1fd0: 65 78 65 63 73 71 6c 20 7b 20 0a 20 20 20 20 44  execsql { .    D
1fe0: 45 4c 45 54 45 20 46 52 4f 4d 20 74 31 20 57 48  ELETE FROM t1 WH
1ff0: 45 52 45 20 72 6f 77 69 64 3c 35 34 3b 0a 20 20  ERE rowid<54;.  
2000: 20 20 50 52 41 47 4d 41 20 63 68 65 63 6b 70 6f    PRAGMA checkpo
2010: 69 6e 74 3b 0a 20 20 7d 0a 20 20 66 69 6c 65 20  int;.  }.  file 
2020: 73 69 7a 65 20 74 65 73 74 2e 64 62 0a 7d 20 5b  size test.db.} [
2030: 65 78 70 72 20 31 34 2a 31 30 32 34 5d 0a 0a 23  expr 14*1024]..#
2040: 20 52 75 6e 20 73 6f 6d 65 20 22 77 61 72 6d 2d   Run some "warm-
2050: 62 6f 64 79 22 20 74 65 73 74 73 20 74 6f 20 65  body" tests to e
2060: 6e 73 75 72 65 20 74 68 61 74 20 6c 6f 67 2d 73  nsure that log-s
2070: 75 6d 6d 61 72 79 20 66 69 6c 65 73 20 77 69 74  ummary files wit
2080: 68 20 6d 6f 72 65 0a 23 20 74 68 61 6e 20 32 35  h more.# than 25
2090: 36 20 65 6e 74 72 69 65 73 20 28 6c 6f 67 20 73  6 entries (log s
20a0: 75 6d 6d 61 72 69 65 73 20 74 68 61 74 20 63 6f  ummaries that co
20b0: 6e 74 61 69 6e 20 69 6e 64 65 78 20 62 6c 6f 63  ntain index bloc
20c0: 6b 73 29 20 77 6f 72 6b 20 4f 6b 2e 0a 23 0a 64  ks) work Ok..#.d
20d0: 6f 5f 74 65 73 74 20 77 61 6c 2d 39 2e 31 20 7b  o_test wal-9.1 {
20e0: 0a 20 20 72 65 6f 70 65 6e 5f 64 62 0a 20 20 65  .  reopen_db.  e
20f0: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 43 52 45  xecsql {.    CRE
2100: 41 54 45 20 54 41 42 4c 45 20 74 31 28 78 20 50  ATE TABLE t1(x P
2110: 52 49 4d 41 52 59 20 4b 45 59 29 3b 0a 20 20 20  RIMARY KEY);.   
2120: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
2130: 56 41 4c 55 45 53 28 62 6c 6f 62 28 39 30 30 29  VALUES(blob(900)
2140: 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e  );.    INSERT IN
2150: 54 4f 20 74 31 20 56 41 4c 55 45 53 28 62 6c 6f  TO t1 VALUES(blo
2160: 62 28 39 30 30 29 29 3b 0a 20 20 20 20 49 4e 53  b(900));.    INS
2170: 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45  ERT INTO t1 SELE
2180: 43 54 20 62 6c 6f 62 28 39 30 30 29 20 46 52 4f  CT blob(900) FRO
2190: 4d 20 74 31 3b 20 20 20 20 20 20 20 2f 2a 20 20  M t1;       /*  
21a0: 34 20 2a 2f 0a 20 20 20 20 49 4e 53 45 52 54 20  4 */.    INSERT 
21b0: 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 62  INTO t1 SELECT b
21c0: 6c 6f 62 28 39 30 30 29 20 46 52 4f 4d 20 74 31  lob(900) FROM t1
21d0: 3b 20 20 20 20 20 20 20 2f 2a 20 20 38 20 2a 2f  ;       /*  8 */
21e0: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
21f0: 20 74 31 20 53 45 4c 45 43 54 20 62 6c 6f 62 28   t1 SELECT blob(
2200: 39 30 30 29 20 46 52 4f 4d 20 74 31 3b 20 20 20  900) FROM t1;   
2210: 20 20 20 20 2f 2a 20 31 36 20 2a 2f 0a 20 20 20      /* 16 */.   
2220: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
2230: 53 45 4c 45 43 54 20 62 6c 6f 62 28 39 30 30 29  SELECT blob(900)
2240: 20 46 52 4f 4d 20 74 31 3b 20 20 20 20 20 20 20   FROM t1;       
2250: 2f 2a 20 33 32 20 2a 2f 0a 20 20 20 20 49 4e 53  /* 32 */.    INS
2260: 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45  ERT INTO t1 SELE
2270: 43 54 20 62 6c 6f 62 28 39 30 30 29 20 46 52 4f  CT blob(900) FRO
2280: 4d 20 74 31 3b 20 20 20 20 20 20 20 2f 2a 20 36  M t1;       /* 6
2290: 34 20 2a 2f 0a 20 20 20 20 49 4e 53 45 52 54 20  4 */.    INSERT 
22a0: 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 62  INTO t1 SELECT b
22b0: 6c 6f 62 28 39 30 30 29 20 46 52 4f 4d 20 74 31  lob(900) FROM t1
22c0: 3b 20 20 20 20 20 20 20 2f 2a 20 31 32 38 20 2a  ;       /* 128 *
22d0: 2f 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  /.    INSERT INT
22e0: 4f 20 74 31 20 53 45 4c 45 43 54 20 62 6c 6f 62  O t1 SELECT blob
22f0: 28 39 30 30 29 20 46 52 4f 4d 20 74 31 3b 20 20  (900) FROM t1;  
2300: 20 20 20 20 20 2f 2a 20 32 35 36 20 2a 2f 0a 20       /* 256 */. 
2310: 20 7d 0a 20 20 66 69 6c 65 20 73 69 7a 65 20 74   }.  file size t
2320: 65 73 74 2e 64 62 0a 7d 20 31 30 32 34 0a 64 6f  est.db.} 1024.do
2330: 5f 74 65 73 74 20 77 61 6c 2d 39 2e 32 20 7b 0a  _test wal-9.2 {.
2340: 20 20 73 71 6c 69 74 65 33 5f 77 61 6c 20 64 62    sqlite3_wal db
2350: 32 20 74 65 73 74 2e 64 62 0a 20 20 65 78 65 63  2 test.db.  exec
2360: 73 71 6c 20 7b 50 52 41 47 4d 41 20 69 6e 74 65  sql {PRAGMA inte
2370: 67 72 69 74 79 5f 63 68 65 63 6b 20 7d 20 64 62  grity_check } db
2380: 32 0a 7d 20 7b 6f 6b 7d 0a 0a 64 6f 5f 74 65 73  2.} {ok}..do_tes
2390: 74 20 77 61 6c 2d 39 2e 33 20 7b 0a 20 20 66 69  t wal-9.3 {.  fi
23a0: 6c 65 20 64 65 6c 65 74 65 20 2d 66 6f 72 63 65  le delete -force
23b0: 20 74 65 73 74 32 2e 64 62 20 74 65 73 74 32 2e   test2.db test2.
23c0: 64 62 2d 77 61 6c 0a 20 20 66 69 6c 65 20 63 6f  db-wal.  file co
23d0: 70 79 20 74 65 73 74 2e 64 62 20 74 65 73 74 32  py test.db test2
23e0: 2e 64 62 0a 20 20 66 69 6c 65 20 63 6f 70 79 20  .db.  file copy 
23f0: 74 65 73 74 2e 64 62 2d 77 61 6c 20 74 65 73 74  test.db-wal test
2400: 32 2e 64 62 2d 77 61 6c 0a 20 20 73 71 6c 69 74  2.db-wal.  sqlit
2410: 65 33 5f 77 61 6c 20 64 62 33 20 74 65 73 74 32  e3_wal db3 test2
2420: 2e 64 62 20 0a 20 20 65 78 65 63 73 71 6c 20 7b  .db .  execsql {
2430: 50 52 41 47 4d 41 20 69 6e 74 65 67 72 69 74 79  PRAGMA integrity
2440: 5f 63 68 65 63 6b 20 7d 20 64 62 33 0a 7d 20 7b  _check } db3.} {
2450: 6f 6b 7d 0a 64 62 33 20 63 6c 6f 73 65 0a 0a 64  ok}.db3 close..d
2460: 6f 5f 74 65 73 74 20 77 61 6c 2d 39 2e 34 20 7b  o_test wal-9.4 {
2470: 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 50 52 41  .  execsql { PRA
2480: 47 4d 41 20 63 68 65 63 6b 70 6f 69 6e 74 20 7d  GMA checkpoint }
2490: 0a 20 20 64 62 32 20 63 6c 6f 73 65 0a 20 20 73  .  db2 close.  s
24a0: 71 6c 69 74 65 33 5f 77 61 6c 20 64 62 32 20 74  qlite3_wal db2 t
24b0: 65 73 74 2e 64 62 0a 20 20 65 78 65 63 73 71 6c  est.db.  execsql
24c0: 20 7b 50 52 41 47 4d 41 20 69 6e 74 65 67 72 69   {PRAGMA integri
24d0: 74 79 5f 63 68 65 63 6b 20 7d 20 64 62 32 0a 7d  ty_check } db2.}
24e0: 20 7b 6f 6b 7d 0a 0a 66 6f 72 65 61 63 68 20 68   {ok}..foreach h
24f0: 61 6e 64 6c 65 20 7b 64 62 20 64 62 32 20 64 62  andle {db db2 db
2500: 33 7d 20 7b 20 63 61 74 63 68 20 7b 20 24 68 61  3} { catch { $ha
2510: 6e 64 6c 65 20 63 6c 6f 73 65 20 7d 20 7d 0a 75  ndle close } }.u
2520: 6e 73 65 74 20 68 61 6e 64 6c 65 0a 0a 23 2d 2d  nset handle..#--
2530: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2540: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2550: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2560: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2570: 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54 68 65 20 66 6f  -------.# The fo
2580: 6c 6c 6f 77 69 6e 67 20 62 6c 6f 63 6b 20 6f 66  llowing block of
2590: 20 74 65 73 74 73 20 2d 20 77 61 6c 2d 31 30 2e   tests - wal-10.
25a0: 2a 20 2d 20 74 65 73 74 20 74 68 61 74 20 74 68  * - test that th
25b0: 65 20 57 41 4c 20 6c 6f 63 6b 69 6e 67 20 0a 23  e WAL locking .#
25c0: 20 73 63 68 65 6d 65 20 77 6f 72 6b 73 20 69 6e   scheme works in
25d0: 20 73 69 6d 70 6c 65 20 63 61 73 65 73 2e 20 54   simple cases. T
25e0: 68 69 73 20 62 6c 6f 63 6b 20 6f 66 20 74 65 73  his block of tes
25f0: 74 73 20 69 73 20 72 75 6e 20 74 77 69 63 65 2e  ts is run twice.
2600: 20 4f 6e 63 65 0a 23 20 75 73 69 6e 67 20 6d 75   Once.# using mu
2610: 6c 74 69 70 6c 65 20 63 6f 6e 6e 65 63 74 69 6f  ltiple connectio
2620: 6e 73 20 69 6e 20 74 68 65 20 61 64 64 72 65 73  ns in the addres
2630: 73 20 73 70 61 63 65 20 6f 66 20 74 68 65 20 63  s space of the c
2640: 75 72 72 65 6e 74 20 70 72 6f 63 65 73 73 2c 0a  urrent process,.
2650: 23 20 61 6e 64 20 6f 6e 63 65 20 77 69 74 68 20  # and once with 
2660: 61 6c 6c 20 63 6f 6e 6e 65 63 74 69 6f 6e 73 20  all connections 
2670: 65 78 63 65 70 74 20 6f 6e 65 20 72 75 6e 6e 69  except one runni
2680: 6e 67 20 69 6e 20 65 78 74 65 72 6e 61 6c 20 70  ng in external p
2690: 72 6f 63 65 73 73 65 73 2e 0a 23 0a 66 6f 72 65  rocesses..#.fore
26a0: 61 63 68 20 63 6f 64 65 20 5b 6c 69 73 74 20 7b  ach code [list {
26b0: 0a 20 20 73 65 74 20 3a 3a 63 6f 64 65 32 5f 63  .  set ::code2_c
26c0: 68 61 6e 20 5b 6c 61 75 6e 63 68 5f 74 65 73 74  han [launch_test
26d0: 66 69 78 74 75 72 65 5d 0a 20 20 73 65 74 20 3a  fixture].  set :
26e0: 3a 63 6f 64 65 33 5f 63 68 61 6e 20 5b 6c 61 75  :code3_chan [lau
26f0: 6e 63 68 5f 74 65 73 74 66 69 78 74 75 72 65 5d  nch_testfixture]
2700: 0a 20 20 70 72 6f 63 20 63 6f 64 65 32 20 7b 74  .  proc code2 {t
2710: 63 6c 7d 20 7b 20 74 65 73 74 66 69 78 74 75 72  cl} { testfixtur
2720: 65 20 24 3a 3a 63 6f 64 65 32 5f 63 68 61 6e 20  e $::code2_chan 
2730: 24 74 63 6c 20 7d 0a 20 20 70 72 6f 63 20 63 6f  $tcl }.  proc co
2740: 64 65 33 20 7b 74 63 6c 7d 20 7b 20 74 65 73 74  de3 {tcl} { test
2750: 66 69 78 74 75 72 65 20 24 3a 3a 63 6f 64 65 33  fixture $::code3
2760: 5f 63 68 61 6e 20 24 74 63 6c 20 7d 0a 20 20 73  _chan $tcl }.  s
2770: 65 74 20 74 6e 20 31 0a 7d 20 7b 0a 20 20 70 72  et tn 1.} {.  pr
2780: 6f 63 20 63 6f 64 65 32 20 7b 74 63 6c 7d 20 7b  oc code2 {tcl} {
2790: 20 75 70 6c 65 76 65 6c 20 23 30 20 24 74 63 6c   uplevel #0 $tcl
27a0: 20 7d 0a 20 20 70 72 6f 63 20 63 6f 64 65 33 20   }.  proc code3 
27b0: 7b 74 63 6c 7d 20 7b 20 75 70 6c 65 76 65 6c 20  {tcl} { uplevel 
27c0: 23 30 20 24 74 63 6c 20 7d 0a 20 20 73 65 74 20  #0 $tcl }.  set 
27d0: 74 6e 20 32 0a 7d 5d 20 7b 0a 0a 20 20 65 76 61  tn 2.}] {..  eva
27e0: 6c 20 24 63 6f 64 65 0a 20 20 72 65 6f 70 65 6e  l $code.  reopen
27f0: 5f 64 62 0a 0a 20 20 23 20 4f 70 65 6e 20 63 6f  _db..  # Open co
2800: 6e 6e 65 63 74 69 6f 6e 73 20 5b 64 62 32 5d 20  nnections [db2] 
2810: 61 6e 64 20 5b 64 62 33 5d 2e 20 44 65 70 65 6e  and [db3]. Depen
2820: 64 69 6e 67 20 6f 6e 20 77 68 69 63 68 20 69 74  ding on which it
2830: 65 72 61 74 69 6f 6e 20 74 68 69 73 0a 20 20 23  eration this.  #
2840: 20 69 73 2c 20 74 68 65 20 63 6f 6e 6e 65 63 74   is, the connect
2850: 69 6f 6e 73 20 6d 61 79 20 62 65 20 63 72 65 61  ions may be crea
2860: 74 65 64 20 69 6e 20 74 68 69 73 20 69 6e 74 65  ted in this inte
2870: 72 70 72 65 74 65 72 2c 20 6f 72 20 69 6e 20 0a  rpreter, or in .
2880: 20 20 23 20 69 6e 74 65 72 70 72 65 74 65 72 73    # interpreters
2890: 20 72 75 6e 6e 69 6e 67 20 69 6e 20 6f 74 68 65   running in othe
28a0: 72 20 4f 53 20 70 72 6f 63 65 73 73 65 73 2e 20  r OS processes. 
28b0: 41 73 20 73 75 63 68 2c 20 74 68 65 20 5b 64 62  As such, the [db
28c0: 32 5d 20 61 6e 64 20 5b 64 62 33 5d 0a 20 20 23  2] and [db3].  #
28d0: 20 63 6f 6d 6d 61 6e 64 73 20 73 68 6f 75 6c 64   commands should
28e0: 20 6f 6e 6c 79 20 62 65 20 61 63 63 65 73 73 65   only be accesse
28f0: 64 20 77 69 74 68 69 6e 20 5b 63 6f 64 65 32 5d  d within [code2]
2900: 20 61 6e 64 20 5b 63 6f 64 65 33 5d 20 62 6c 6f   and [code3] blo
2910: 63 6b 73 2c 0a 20 20 23 20 72 65 73 70 65 63 74  cks,.  # respect
2920: 69 76 65 6c 79 2e 0a 20 20 23 0a 20 20 63 6f 64  ively..  #.  cod
2930: 65 32 20 7b 20 73 71 6c 69 74 65 33 20 64 62 32  e2 { sqlite3 db2
2940: 20 74 65 73 74 2e 64 62 20 3b 20 64 62 32 20 65   test.db ; db2 e
2950: 76 61 6c 20 7b 20 50 52 41 47 4d 41 20 6a 6f 75  val { PRAGMA jou
2960: 72 6e 61 6c 5f 6d 6f 64 65 20 3d 20 57 41 4c 20  rnal_mode = WAL 
2970: 7d 20 7d 0a 20 20 63 6f 64 65 33 20 7b 20 73 71  } }.  code3 { sq
2980: 6c 69 74 65 33 20 64 62 33 20 74 65 73 74 2e 64  lite3 db3 test.d
2990: 62 20 3b 20 64 62 33 20 65 76 61 6c 20 7b 20 50  b ; db3 eval { P
29a0: 52 41 47 4d 41 20 6a 6f 75 72 6e 61 6c 5f 6d 6f  RAGMA journal_mo
29b0: 64 65 20 3d 20 57 41 4c 20 7d 20 7d 0a 0a 20 20  de = WAL } }..  
29c0: 23 20 53 68 6f 72 74 68 61 6e 64 20 63 6f 6d 6d  # Shorthand comm
29d0: 61 6e 64 73 2e 20 45 78 65 63 75 74 65 20 53 51  ands. Execute SQ
29e0: 4c 20 75 73 69 6e 67 20 64 61 74 61 62 61 73 65  L using database
29f0: 20 63 6f 6e 6e 65 63 74 69 6f 6e 20 5b 64 62 32   connection [db2
2a00: 5d 20 6f 72 20 0a 20 20 23 20 5b 64 62 33 5d 2e  ] or .  # [db3].
2a10: 20 52 65 74 75 72 6e 20 74 68 65 20 72 65 73 75   Return the resu
2a20: 6c 74 73 2e 0a 20 20 23 0a 20 20 70 72 6f 63 20  lts..  #.  proc 
2a30: 73 71 6c 32 20 7b 73 71 6c 7d 20 7b 20 63 6f 64  sql2 {sql} { cod
2a40: 65 32 20 5b 6c 69 73 74 20 64 62 32 20 65 76 61  e2 [list db2 eva
2a50: 6c 20 24 73 71 6c 5d 20 7d 0a 20 20 70 72 6f 63  l $sql] }.  proc
2a60: 20 73 71 6c 33 20 7b 73 71 6c 7d 20 7b 20 63 6f   sql3 {sql} { co
2a70: 64 65 33 20 5b 6c 69 73 74 20 64 62 33 20 65 76  de3 [list db3 ev
2a80: 61 6c 20 24 73 71 6c 5d 20 7d 0a 0a 20 20 23 20  al $sql] }..  # 
2a90: 49 6e 69 74 69 61 6c 69 7a 65 20 74 68 65 20 64  Initialize the d
2aa0: 61 74 61 62 61 73 65 20 73 63 68 65 6d 61 20 61  atabase schema a
2ab0: 6e 64 20 63 6f 6e 74 65 6e 74 73 2e 0a 20 20 23  nd contents..  #
2ac0: 0a 20 20 64 6f 5f 74 65 73 74 20 77 61 6c 2d 31  .  do_test wal-1
2ad0: 30 2e 24 74 6e 2e 31 20 7b 0a 20 20 20 20 65 78  0.$tn.1 {.    ex
2ae0: 65 63 73 71 6c 20 7b 0a 20 20 20 20 20 20 43 52  ecsql {.      CR
2af0: 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 61 2c  EATE TABLE t1(a,
2b00: 20 62 29 3b 0a 20 20 20 20 20 20 49 4e 53 45 52   b);.      INSER
2b10: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53  T INTO t1 VALUES
2b20: 28 31 2c 20 32 29 3b 0a 20 20 20 20 20 20 53 45  (1, 2);.      SE
2b30: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 3b 0a  LECT * FROM t1;.
2b40: 20 20 20 20 7d 0a 20 20 7d 20 7b 31 20 32 7d 0a      }.  } {1 2}.
2b50: 0a 20 20 23 20 4f 70 65 6e 20 61 20 74 72 61 6e  .  # Open a tran
2b60: 73 61 63 74 69 6f 6e 20 61 6e 64 20 77 72 69 74  saction and writ
2b70: 65 20 74 6f 20 74 68 65 20 64 61 74 61 62 61 73  e to the databas
2b80: 65 20 75 73 69 6e 67 20 5b 64 62 5d 2e 20 43 68  e using [db]. Ch
2b90: 65 63 6b 20 74 68 61 74 20 5b 64 62 32 5d 0a 20  eck that [db2]. 
2ba0: 20 23 20 69 73 20 73 74 69 6c 6c 20 61 62 6c 65   # is still able
2bb0: 20 74 6f 20 72 65 61 64 20 74 68 65 20 73 6e 61   to read the sna
2bc0: 70 73 68 6f 74 20 62 65 66 6f 72 65 20 74 68 65  pshot before the
2bd0: 20 74 72 61 6e 73 61 63 74 69 6f 6e 20 77 61 73   transaction was
2be0: 20 6f 70 65 6e 65 64 2e 0a 20 20 23 0a 20 20 64   opened..  #.  d
2bf0: 6f 5f 74 65 73 74 20 77 61 6c 2d 31 30 2e 24 74  o_test wal-10.$t
2c00: 6e 2e 32 20 7b 0a 20 20 20 20 65 78 65 63 73 71  n.2 {.    execsq
2c10: 6c 20 7b 20 42 45 47 49 4e 3b 20 49 4e 53 45 52  l { BEGIN; INSER
2c20: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53  T INTO t1 VALUES
2c30: 28 33 2c 20 34 29 3b 20 7d 0a 20 20 20 20 73 71  (3, 4); }.    sq
2c40: 6c 32 20 7b 53 45 4c 45 43 54 20 2a 20 46 52 4f  l2 {SELECT * FRO
2c50: 4d 20 74 31 7d 0a 20 20 7d 20 7b 31 20 32 7d 0a  M t1}.  } {1 2}.
2c60: 0a 20 20 23 20 48 61 76 65 20 5b 64 62 5d 20 63  .  # Have [db] c
2c70: 6f 6d 6d 69 74 20 74 68 65 20 74 72 61 6e 73 61  ommit the transa
2c80: 63 74 69 6f 6e 2e 20 43 68 65 63 6b 20 74 68 61  ction. Check tha
2c90: 74 20 5b 64 62 32 5d 20 69 73 20 6e 6f 77 20 73  t [db2] is now s
2ca0: 65 65 69 6e 67 20 74 68 65 20 0a 20 20 23 20 6e  eeing the .  # n
2cb0: 65 77 2c 20 75 70 64 61 74 65 64 20 73 6e 61 70  ew, updated snap
2cc0: 73 68 6f 74 2e 0a 20 20 23 0a 20 20 64 6f 5f 74  shot..  #.  do_t
2cd0: 65 73 74 20 77 61 6c 2d 31 30 2e 24 74 6e 2e 33  est wal-10.$tn.3
2ce0: 20 7b 0a 20 20 20 20 65 78 65 63 73 71 6c 20 7b   {.    execsql {
2cf0: 20 43 4f 4d 4d 49 54 20 7d 0a 20 20 20 20 73 71   COMMIT }.    sq
2d00: 6c 32 20 7b 53 45 4c 45 43 54 20 2a 20 46 52 4f  l2 {SELECT * FRO
2d10: 4d 20 74 31 7d 0a 20 20 7d 20 7b 31 20 32 20 33  M t1}.  } {1 2 3
2d20: 20 34 7d 0a 0a 20 20 23 20 48 61 76 65 20 5b 64   4}..  # Have [d
2d30: 62 32 5d 20 6f 70 65 6e 20 61 20 72 65 61 64 20  b2] open a read 
2d40: 74 72 61 6e 73 61 63 74 69 6f 6e 2e 20 54 68 65  transaction. The
2d50: 6e 20 77 72 69 74 65 20 74 6f 20 74 68 65 20 64  n write to the d
2d60: 62 20 76 69 61 20 5b 64 62 5d 2e 20 43 68 65 63  b via [db]. Chec
2d70: 6b 0a 20 20 23 20 74 68 61 74 20 5b 64 62 32 5d  k.  # that [db2]
2d80: 20 69 73 20 73 74 69 6c 6c 20 73 65 65 69 6e 67   is still seeing
2d90: 20 74 68 65 20 6f 72 69 67 69 6e 61 6c 20 73 6e   the original sn
2da0: 61 70 73 68 6f 74 2e 20 54 68 65 6e 20 72 65 61  apshot. Then rea
2db0: 64 20 77 69 74 68 20 5b 64 62 33 5d 2e 0a 20 20  d with [db3]..  
2dc0: 23 20 5b 64 62 33 5d 20 73 68 6f 75 6c 64 20 73  # [db3] should s
2dd0: 65 65 20 74 68 65 20 6e 65 77 6c 79 20 63 6f 6d  ee the newly com
2de0: 6d 69 74 74 65 64 20 64 61 74 61 2e 0a 20 20 23  mitted data..  #
2df0: 0a 20 20 64 6f 5f 74 65 73 74 20 77 61 6c 2d 31  .  do_test wal-1
2e00: 30 2e 24 74 6e 2e 34 20 7b 0a 20 20 20 20 73 71  0.$tn.4 {.    sq
2e10: 6c 32 20 7b 20 42 45 47 49 4e 20 3b 20 53 45 4c  l2 { BEGIN ; SEL
2e20: 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 7d 0a 20  ECT * FROM t1}. 
2e30: 20 7d 20 7b 31 20 32 20 33 20 34 7d 0a 20 20 64   } {1 2 3 4}.  d
2e40: 6f 5f 74 65 73 74 20 77 61 6c 2d 31 30 2e 24 74  o_test wal-10.$t
2e50: 6e 2e 35 20 7b 0a 20 20 20 20 65 78 65 63 73 71  n.5 {.    execsq
2e60: 6c 20 7b 20 49 4e 53 45 52 54 20 49 4e 54 4f 20  l { INSERT INTO 
2e70: 74 31 20 56 41 4c 55 45 53 28 35 2c 20 36 29 3b  t1 VALUES(5, 6);
2e80: 20 7d 0a 20 20 20 20 73 71 6c 32 20 7b 53 45 4c   }.    sql2 {SEL
2e90: 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 7d 0a 20  ECT * FROM t1}. 
2ea0: 20 7d 20 7b 31 20 32 20 33 20 34 7d 0a 20 20 64   } {1 2 3 4}.  d
2eb0: 6f 5f 74 65 73 74 20 77 61 6c 2d 31 30 2e 24 74  o_test wal-10.$t
2ec0: 6e 2e 36 20 7b 0a 20 20 20 20 73 71 6c 33 20 7b  n.6 {.    sql3 {
2ed0: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31  SELECT * FROM t1
2ee0: 7d 0a 20 20 7d 20 7b 31 20 32 20 33 20 34 20 35  }.  } {1 2 3 4 5
2ef0: 20 36 7d 0a 20 20 64 6f 5f 74 65 73 74 20 77 61   6}.  do_test wa
2f00: 6c 2d 31 30 2e 24 74 6e 2e 37 20 7b 0a 20 20 20  l-10.$tn.7 {.   
2f10: 20 73 71 6c 32 20 43 4f 4d 4d 49 54 0a 20 20 7d   sql2 COMMIT.  }
2f20: 20 7b 7d 0a 0a 20 20 23 20 48 61 76 65 20 5b 64   {}..  # Have [d
2f30: 62 32 5d 20 6f 70 65 6e 20 61 20 77 72 69 74 65  b2] open a write
2f40: 20 74 72 61 6e 73 61 63 74 69 6f 6e 2e 20 54 68   transaction. Th
2f50: 65 6e 20 61 74 74 65 6d 70 74 20 74 6f 20 77 72  en attempt to wr
2f60: 69 74 65 20 74 6f 20 74 68 65 20 0a 20 20 23 20  ite to the .  # 
2f70: 64 61 74 61 62 61 73 65 20 76 69 61 20 5b 64 62  database via [db
2f80: 5d 2e 20 54 68 69 73 20 73 68 6f 75 6c 64 20 66  ]. This should f
2f90: 61 69 6c 20 28 77 72 69 74 65 72 20 6c 6f 63 6b  ail (writer lock
2fa0: 20 63 61 6e 6e 6f 74 20 62 65 20 6f 62 74 61 69   cannot be obtai
2fb0: 6e 65 64 29 2e 0a 20 20 23 0a 20 20 23 20 54 68  ned)..  #.  # Th
2fc0: 65 6e 20 6f 70 65 6e 20 61 20 72 65 61 64 2d 74  en open a read-t
2fd0: 72 61 6e 73 61 63 74 69 6f 6e 20 77 69 74 68 20  ransaction with 
2fe0: 5b 64 62 5d 2e 20 43 6f 6d 6d 69 74 20 74 68 65  [db]. Commit the
2ff0: 20 5b 64 62 32 5d 20 74 72 61 6e 73 61 63 74 69   [db2] transacti
3000: 6f 6e 0a 20 20 23 20 74 6f 20 64 69 73 6b 2e 20  on.  # to disk. 
3010: 56 65 72 69 66 79 20 74 68 61 74 20 5b 64 62 5d  Verify that [db]
3020: 20 73 74 69 6c 6c 20 63 61 6e 6e 6f 74 20 77 72   still cannot wr
3030: 69 74 65 20 74 6f 20 74 68 65 20 64 61 74 61 62  ite to the datab
3040: 61 73 65 20 28 62 65 63 61 75 73 65 0a 20 20 23  ase (because.  #
3050: 20 69 74 20 69 73 20 72 65 61 64 69 6e 67 20 61   it is reading a
3060: 6e 20 6f 6c 64 20 73 6e 61 70 73 68 6f 74 29 2e  n old snapshot).
3070: 0a 20 20 23 0a 20 20 23 20 43 6c 6f 73 65 20 74  .  #.  # Close t
3080: 68 65 20 63 75 72 72 65 6e 74 20 5b 64 62 5d 20  he current [db] 
3090: 74 72 61 6e 73 61 63 74 69 6f 6e 2e 20 4f 70 65  transaction. Ope
30a0: 6e 20 61 20 6e 65 77 20 6f 6e 65 2e 20 5b 64 62  n a new one. [db
30b0: 5d 20 63 61 6e 20 6e 6f 77 20 77 72 69 74 65 0a  ] can now write.
30c0: 20 20 23 20 74 6f 20 74 68 65 20 64 61 74 61 62    # to the datab
30d0: 61 73 65 20 28 61 73 20 69 74 20 69 73 20 6e 6f  ase (as it is no
30e0: 74 20 6c 6f 63 6b 65 64 20 61 6e 64 20 5b 64 62  t locked and [db
30f0: 5d 20 69 73 20 72 65 61 64 69 6e 67 20 74 68 65  ] is reading the
3100: 20 6c 61 74 65 73 74 0a 20 20 23 20 73 6e 61 70   latest.  # snap
3110: 73 68 6f 74 29 2e 0a 20 20 23 0a 20 20 64 6f 5f  shot)..  #.  do_
3120: 74 65 73 74 20 77 61 6c 2d 31 30 2e 24 74 6e 2e  test wal-10.$tn.
3130: 37 20 7b 0a 20 20 20 20 73 71 6c 32 20 7b 20 42  7 {.    sql2 { B
3140: 45 47 49 4e 3b 20 49 4e 53 45 52 54 20 49 4e 54  EGIN; INSERT INT
3150: 4f 20 74 31 20 56 41 4c 55 45 53 28 37 2c 20 38  O t1 VALUES(7, 8
3160: 29 20 3b 20 7d 0a 20 20 20 20 63 61 74 63 68 73  ) ; }.    catchs
3170: 71 6c 20 7b 20 49 4e 53 45 52 54 20 49 4e 54 4f  ql { INSERT INTO
3180: 20 74 31 20 56 41 4c 55 45 53 28 39 2c 20 31 30   t1 VALUES(9, 10
3190: 29 20 7d 0a 20 20 7d 20 7b 31 20 7b 64 61 74 61  ) }.  } {1 {data
31a0: 62 61 73 65 20 69 73 20 6c 6f 63 6b 65 64 7d 7d  base is locked}}
31b0: 0a 20 20 64 6f 5f 74 65 73 74 20 77 61 6c 2d 31  .  do_test wal-1
31c0: 30 2e 24 74 6e 2e 38 20 7b 0a 20 20 20 20 65 78  0.$tn.8 {.    ex
31d0: 65 63 73 71 6c 20 7b 20 42 45 47 49 4e 20 3b 20  ecsql { BEGIN ; 
31e0: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31  SELECT * FROM t1
31f0: 20 7d 0a 20 20 7d 20 7b 31 20 32 20 33 20 34 20   }.  } {1 2 3 4 
3200: 35 20 36 7d 0a 20 20 64 6f 5f 74 65 73 74 20 77  5 6}.  do_test w
3210: 61 6c 2d 31 30 2e 24 74 6e 2e 39 20 7b 0a 20 20  al-10.$tn.9 {.  
3220: 20 20 73 71 6c 32 20 43 4f 4d 4d 49 54 0a 20 20    sql2 COMMIT.  
3230: 20 20 63 61 74 63 68 73 71 6c 20 7b 20 49 4e 53    catchsql { INS
3240: 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55  ERT INTO t1 VALU
3250: 45 53 28 39 2c 20 31 30 29 20 7d 0a 20 20 7d 20  ES(9, 10) }.  } 
3260: 7b 31 20 7b 64 61 74 61 62 61 73 65 20 69 73 20  {1 {database is 
3270: 6c 6f 63 6b 65 64 7d 7d 0a 20 20 64 6f 5f 74 65  locked}}.  do_te
3280: 73 74 20 77 61 6c 2d 31 30 2e 24 74 6e 2e 31 30  st wal-10.$tn.10
3290: 20 7b 0a 20 20 20 20 65 78 65 63 73 71 6c 20 7b   {.    execsql {
32a0: 20 43 4f 4d 4d 49 54 3b 20 42 45 47 49 4e 3b 20   COMMIT; BEGIN; 
32b0: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56  INSERT INTO t1 V
32c0: 41 4c 55 45 53 28 39 2c 20 31 30 29 3b 20 43 4f  ALUES(9, 10); CO
32d0: 4d 4d 49 54 3b 20 7d 0a 20 20 20 20 65 78 65 63  MMIT; }.    exec
32e0: 73 71 6c 20 7b 20 53 45 4c 45 43 54 20 2a 20 46  sql { SELECT * F
32f0: 52 4f 4d 20 74 31 20 7d 0a 20 20 7d 20 7b 31 20  ROM t1 }.  } {1 
3300: 32 20 33 20 34 20 35 20 36 20 37 20 38 20 39 20  2 3 4 5 6 7 8 9 
3310: 31 30 7d 0a 0a 20 20 23 20 4f 70 65 6e 20 61 20  10}..  # Open a 
3320: 72 65 61 64 20 74 72 61 6e 73 61 63 74 69 6f 6e  read transaction
3330: 20 77 69 74 68 20 5b 64 62 32 5d 2e 20 43 68 65   with [db2]. Che
3340: 63 6b 20 74 68 61 74 20 74 68 69 73 20 70 72 65  ck that this pre
3350: 76 65 6e 74 73 20 5b 64 62 5d 20 66 72 6f 6d 0a  vents [db] from.
3360: 20 20 23 20 63 68 65 63 6b 70 6f 69 6e 74 69 6e    # checkpointin
3370: 67 20 74 68 65 20 64 61 74 61 62 61 73 65 2e 20  g the database. 
3380: 42 75 74 20 6e 6f 74 20 66 72 6f 6d 20 77 72 69  But not from wri
3390: 74 69 6e 67 20 74 6f 20 69 74 2e 0a 20 20 23 0a  ting to it..  #.
33a0: 20 20 64 6f 5f 74 65 73 74 20 77 61 6c 2d 31 30    do_test wal-10
33b0: 2e 24 74 6e 2e 31 31 20 7b 0a 20 20 20 20 73 71  .$tn.11 {.    sq
33c0: 6c 32 20 7b 20 42 45 47 49 4e 3b 20 53 45 4c 45  l2 { BEGIN; SELE
33d0: 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 7d 0a 20  CT * FROM t1 }. 
33e0: 20 7d 20 7b 31 20 32 20 33 20 34 20 35 20 36 20   } {1 2 3 4 5 6 
33f0: 37 20 38 20 39 20 31 30 7d 0a 20 20 64 6f 5f 74  7 8 9 10}.  do_t
3400: 65 73 74 20 77 61 6c 2d 31 30 2e 24 74 6e 2e 31  est wal-10.$tn.1
3410: 32 20 7b 0a 20 20 20 20 63 61 74 63 68 73 71 6c  2 {.    catchsql
3420: 20 7b 20 50 52 41 47 4d 41 20 63 68 65 63 6b 70   { PRAGMA checkp
3430: 6f 69 6e 74 20 7d 20 0a 20 20 7d 20 7b 31 20 7b  oint } .  } {1 {
3440: 64 61 74 61 62 61 73 65 20 69 73 20 6c 6f 63 6b  database is lock
3450: 65 64 7d 7d 0a 20 20 64 6f 5f 74 65 73 74 20 77  ed}}.  do_test w
3460: 61 6c 2d 31 30 2e 24 74 6e 2e 31 33 20 7b 0a 20  al-10.$tn.13 {. 
3470: 20 20 20 65 78 65 63 73 71 6c 20 7b 20 49 4e 53     execsql { INS
3480: 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55  ERT INTO t1 VALU
3490: 45 53 28 31 31 2c 20 31 32 29 20 7d 0a 20 20 20  ES(11, 12) }.   
34a0: 20 73 71 6c 32 20 7b 53 45 4c 45 43 54 20 2a 20   sql2 {SELECT * 
34b0: 46 52 4f 4d 20 74 31 7d 0a 20 20 7d 20 7b 31 20  FROM t1}.  } {1 
34c0: 32 20 33 20 34 20 35 20 36 20 37 20 38 20 39 20  2 3 4 5 6 7 8 9 
34d0: 31 30 7d 0a 0a 20 20 23 20 43 6f 6e 6e 65 63 74  10}..  # Connect
34e0: 69 6f 6e 20 5b 64 62 32 5d 20 69 73 20 68 6f 6c  ion [db2] is hol
34f0: 64 69 6e 67 20 61 20 6c 6f 63 6b 20 6f 6e 20 61  ding a lock on a
3500: 20 73 6e 61 70 73 68 6f 74 2c 20 70 72 65 76 65   snapshot, preve
3510: 6e 74 69 6e 67 20 5b 64 62 5d 20 66 72 6f 6d 0a  nting [db] from.
3520: 20 20 23 20 63 68 65 63 6b 70 6f 69 6e 74 69 6e    # checkpointin
3530: 67 20 74 68 65 20 64 61 74 61 62 61 73 65 2e 20  g the database. 
3540: 41 64 64 20 61 20 62 75 73 79 2d 68 61 6e 64 6c  Add a busy-handl
3550: 65 72 20 74 6f 20 5b 64 62 5d 2e 20 49 66 20 5b  er to [db]. If [
3560: 64 62 32 5d 20 63 6f 6d 70 6c 65 74 65 73 0a 20  db2] completes. 
3570: 20 23 20 69 74 73 20 74 72 61 6e 73 61 63 74 69   # its transacti
3580: 6f 6e 20 66 72 6f 6d 20 77 69 74 68 69 6e 20 74  on from within t
3590: 68 65 20 62 75 73 79 2d 68 61 6e 64 6c 65 72 2c  he busy-handler,
35a0: 20 5b 64 62 5d 20 69 73 20 61 62 6c 65 20 74 6f   [db] is able to
35b0: 20 63 6f 6d 70 6c 65 74 65 0a 20 20 23 20 74 68   complete.  # th
35c0: 65 20 63 68 65 63 6b 70 6f 69 6e 74 20 6f 70 65  e checkpoint ope
35d0: 72 61 74 69 6f 6e 2e 0a 20 20 23 0a 20 20 70 72  ration..  #.  pr
35e0: 6f 63 20 62 75 73 79 68 61 6e 64 6c 65 72 20 78  oc busyhandler x
35f0: 20 7b 0a 20 20 20 20 69 66 20 7b 24 78 3d 3d 34   {.    if {$x==4
3600: 7d 20 7b 20 73 71 6c 32 20 43 4f 4d 4d 49 54 20  } { sql2 COMMIT 
3610: 7d 0a 20 20 20 20 69 66 20 7b 24 78 3c 35 7d 20  }.    if {$x<5} 
3620: 7b 20 72 65 74 75 72 6e 20 30 20 7d 0a 20 20 20  { return 0 }.   
3630: 20 72 65 74 75 72 6e 20 31 0a 20 20 7d 0a 20 20   return 1.  }.  
3640: 64 62 20 62 75 73 79 20 62 75 73 79 68 61 6e 64  db busy busyhand
3650: 6c 65 72 0a 20 20 64 6f 5f 74 65 73 74 20 77 61  ler.  do_test wa
3660: 6c 2d 31 30 2e 24 74 6e 2e 31 34 20 7b 0a 20 20  l-10.$tn.14 {.  
3670: 20 20 65 78 65 63 73 71 6c 20 7b 20 50 52 41 47    execsql { PRAG
3680: 4d 41 20 63 68 65 63 6b 70 6f 69 6e 74 20 7d 20  MA checkpoint } 
3690: 0a 20 20 7d 20 7b 7d 0a 0a 20 20 23 20 53 69 6d  .  } {}..  # Sim
36a0: 69 6c 61 72 20 74 6f 20 74 68 65 20 74 65 73 74  ilar to the test
36b0: 20 61 62 6f 76 65 2e 20 45 78 63 65 70 74 20 74   above. Except t
36c0: 68 69 73 20 74 69 6d 65 2c 20 61 20 6e 65 77 20  his time, a new 
36d0: 72 65 61 64 20 74 72 61 6e 73 61 63 74 69 6f 6e  read transaction
36e0: 20 69 73 0a 20 20 23 20 73 74 61 72 74 65 64 20   is.  # started 
36f0: 28 64 62 33 29 20 77 68 69 6c 65 20 74 68 65 20  (db3) while the 
3700: 63 68 65 63 6b 70 6f 69 6e 74 65 72 20 69 73 20  checkpointer is 
3710: 77 61 69 74 69 6e 67 20 66 6f 72 20 61 6e 20 6f  waiting for an o
3720: 6c 64 20 6f 6e 65 20 28 64 62 32 29 20 74 6f 20  ld one (db2) to 
3730: 0a 20 20 23 20 66 69 6e 69 73 68 2e 20 54 68 65  .  # finish. The
3740: 20 63 68 65 63 6b 70 6f 69 6e 74 65 72 20 63 61   checkpointer ca
3750: 6e 20 66 69 6e 69 73 68 2c 20 62 75 74 20 61 6e  n finish, but an
3760: 79 20 73 75 62 73 65 71 75 65 6e 74 20 77 72 69  y subsequent wri
3770: 74 65 20 6f 70 65 72 61 74 69 6f 6e 73 20 0a 20  te operations . 
3780: 20 23 20 6d 75 73 74 20 77 61 69 74 20 75 6e 74   # must wait unt
3790: 69 6c 20 61 66 74 65 72 20 64 62 33 20 68 61 73  il after db3 has
37a0: 20 63 6c 6f 73 65 64 20 74 68 65 20 72 65 61 64   closed the read
37b0: 20 74 72 61 6e 73 61 63 74 69 6f 6e 2c 20 61 73   transaction, as
37c0: 20 64 62 33 20 69 73 20 61 0a 20 20 23 20 22 72   db3 is a.  # "r
37d0: 65 67 69 6f 6e 20 44 22 20 77 72 69 74 65 72 2e  egion D" writer.
37e0: 0a 20 20 23 0a 20 20 64 62 20 62 75 73 79 20 7b  .  #.  db busy {
37f0: 7d 0a 20 20 64 6f 5f 74 65 73 74 20 77 61 6c 2d  }.  do_test wal-
3800: 31 30 2e 24 74 6e 2e 31 35 20 7b 0a 20 20 20 20  10.$tn.15 {.    
3810: 73 71 6c 32 20 7b 20 42 45 47 49 4e 3b 20 53 45  sql2 { BEGIN; SE
3820: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 3b 20  LECT * FROM t1; 
3830: 7d 0a 20 20 7d 20 7b 31 20 32 20 33 20 34 20 35  }.  } {1 2 3 4 5
3840: 20 36 20 37 20 38 20 39 20 31 30 20 31 31 20 31   6 7 8 9 10 11 1
3850: 32 7d 0a 20 20 64 6f 5f 74 65 73 74 20 77 61 6c  2}.  do_test wal
3860: 2d 31 30 2e 24 74 6e 2e 31 36 20 7b 0a 20 20 20  -10.$tn.16 {.   
3870: 20 63 61 74 63 68 73 71 6c 20 7b 20 50 52 41 47   catchsql { PRAG
3880: 4d 41 20 63 68 65 63 6b 70 6f 69 6e 74 20 7d 20  MA checkpoint } 
3890: 0a 20 20 7d 20 7b 31 20 7b 64 61 74 61 62 61 73  .  } {1 {databas
38a0: 65 20 69 73 20 6c 6f 63 6b 65 64 7d 7d 0a 20 20  e is locked}}.  
38b0: 70 72 6f 63 20 62 75 73 79 68 61 6e 64 6c 65 72  proc busyhandler
38c0: 20 78 20 7b 0a 20 20 20 20 69 66 20 7b 24 78 3d   x {.    if {$x=
38d0: 3d 33 7d 20 7b 20 73 71 6c 33 20 7b 20 42 45 47  =3} { sql3 { BEG
38e0: 49 4e 3b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f  IN; SELECT * FRO
38f0: 4d 20 74 31 20 7d 20 7d 0a 20 20 20 20 69 66 20  M t1 } }.    if 
3900: 7b 24 78 3d 3d 34 7d 20 7b 20 73 71 6c 32 20 43  {$x==4} { sql2 C
3910: 4f 4d 4d 49 54 20 7d 0a 20 20 20 20 69 66 20 7b  OMMIT }.    if {
3920: 24 78 3c 35 7d 20 20 7b 20 72 65 74 75 72 6e 20  $x<5}  { return 
3930: 30 20 7d 0a 20 20 20 20 72 65 74 75 72 6e 20 31  0 }.    return 1
3940: 0a 20 20 7d 0a 20 20 64 62 20 62 75 73 79 20 62  .  }.  db busy b
3950: 75 73 79 68 61 6e 64 6c 65 72 0a 20 20 64 6f 5f  usyhandler.  do_
3960: 74 65 73 74 20 77 61 6c 2d 31 30 2e 24 74 6e 2e  test wal-10.$tn.
3970: 31 37 20 7b 0a 20 20 20 20 65 78 65 63 73 71 6c  17 {.    execsql
3980: 20 7b 20 50 52 41 47 4d 41 20 63 68 65 63 6b 70   { PRAGMA checkp
3990: 6f 69 6e 74 20 7d 20 0a 20 20 7d 20 7b 7d 0a 20  oint } .  } {}. 
39a0: 20 64 6f 5f 74 65 73 74 20 77 61 6c 2d 31 30 2e   do_test wal-10.
39b0: 24 74 6e 2e 31 38 20 7b 0a 20 20 20 20 73 71 6c  $tn.18 {.    sql
39c0: 33 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f  3 { SELECT * FRO
39d0: 4d 20 74 31 20 7d 0a 20 20 7d 20 7b 31 20 32 20  M t1 }.  } {1 2 
39e0: 33 20 34 20 35 20 36 20 37 20 38 20 39 20 31 30  3 4 5 6 7 8 9 10
39f0: 20 31 31 20 31 32 7d 0a 20 20 64 6f 5f 74 65 73   11 12}.  do_tes
3a00: 74 20 77 61 6c 2d 31 30 2e 24 74 6e 2e 31 39 20  t wal-10.$tn.19 
3a10: 7b 0a 20 20 20 20 63 61 74 63 68 73 71 6c 20 7b  {.    catchsql {
3a20: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
3a30: 56 41 4c 55 45 53 28 31 33 2c 20 31 34 29 20 7d  VALUES(13, 14) }
3a40: 0a 20 20 7d 20 7b 31 20 7b 64 61 74 61 62 61 73  .  } {1 {databas
3a50: 65 20 69 73 20 6c 6f 63 6b 65 64 7d 7d 0a 20 20  e is locked}}.  
3a60: 64 6f 5f 74 65 73 74 20 77 61 6c 2d 31 30 2e 24  do_test wal-10.$
3a70: 74 6e 2e 32 30 20 7b 0a 20 20 20 20 65 78 65 63  tn.20 {.    exec
3a80: 73 71 6c 20 7b 20 53 45 4c 45 43 54 20 2a 20 46  sql { SELECT * F
3a90: 52 4f 4d 20 74 31 20 7d 0a 20 20 7d 20 7b 31 20  ROM t1 }.  } {1 
3aa0: 32 20 33 20 34 20 35 20 36 20 37 20 38 20 39 20  2 3 4 5 6 7 8 9 
3ab0: 31 30 20 31 31 20 31 32 7d 0a 20 20 64 6f 5f 74  10 11 12}.  do_t
3ac0: 65 73 74 20 77 61 6c 2d 31 30 2e 24 74 6e 2e 32  est wal-10.$tn.2
3ad0: 31 20 7b 0a 20 20 20 20 73 71 6c 33 20 43 4f 4d  1 {.    sql3 COM
3ae0: 4d 49 54 0a 20 20 7d 20 7b 7d 0a 20 20 64 6f 5f  MIT.  } {}.  do_
3af0: 74 65 73 74 20 77 61 6c 2d 31 30 2e 24 74 6e 2e  test wal-10.$tn.
3b00: 32 32 20 7b 0a 20 20 20 20 65 78 65 63 73 71 6c  22 {.    execsql
3b10: 20 7b 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74   { INSERT INTO t
3b20: 31 20 56 41 4c 55 45 53 28 31 33 2c 20 31 34 29  1 VALUES(13, 14)
3b30: 20 7d 0a 20 20 20 20 65 78 65 63 73 71 6c 20 7b   }.    execsql {
3b40: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74   SELECT * FROM t
3b50: 31 20 7d 0a 20 20 7d 20 7b 31 20 32 20 33 20 34  1 }.  } {1 2 3 4
3b60: 20 35 20 36 20 37 20 38 20 39 20 31 30 20 31 31   5 6 7 8 9 10 11
3b70: 20 31 32 20 31 33 20 31 34 7d 0a 0a 20 20 23 20   12 13 14}..  # 
3b80: 53 65 74 20 5b 64 62 33 5d 20 75 70 20 61 73 20  Set [db3] up as 
3b90: 61 20 22 72 65 67 69 6f 6e 20 44 22 20 72 65 61  a "region D" rea
3ba0: 64 65 72 20 61 67 61 69 6e 2e 20 54 68 65 6e 20  der again. Then 
3bb0: 75 70 67 72 61 64 65 20 69 74 20 74 6f 20 61 20  upgrade it to a 
3bc0: 77 72 69 74 65 72 0a 20 20 23 20 61 6e 64 20 62  writer.  # and b
3bd0: 61 63 6b 20 64 6f 77 6e 20 74 6f 20 61 20 72 65  ack down to a re
3be0: 61 64 65 72 2e 20 54 68 65 6e 2c 20 63 68 65 63  ader. Then, chec
3bf0: 6b 20 74 68 61 74 20 61 20 63 68 65 63 6b 70 6f  k that a checkpo
3c00: 69 6e 74 20 69 73 20 6e 6f 74 20 70 6f 73 73 69  int is not possi
3c10: 62 6c 65 0a 20 20 23 20 28 61 73 20 5b 64 62 33  ble.  # (as [db3
3c20: 5d 20 73 74 69 6c 6c 20 68 61 73 20 61 20 73 6e  ] still has a sn
3c30: 61 70 73 68 6f 74 20 6c 6f 63 6b 65 64 29 2e 0a  apshot locked)..
3c40: 20 20 23 0a 20 20 64 6f 5f 74 65 73 74 20 77 61    #.  do_test wa
3c50: 6c 2d 31 30 2e 24 74 6e 2e 32 33 20 7b 0a 20 20  l-10.$tn.23 {.  
3c60: 20 20 65 78 65 63 73 71 6c 20 7b 20 50 52 41 47    execsql { PRAG
3c70: 4d 41 20 63 68 65 63 6b 70 6f 69 6e 74 20 7d 0a  MA checkpoint }.
3c80: 20 20 7d 20 7b 7d 0a 20 20 64 6f 5f 74 65 73 74    } {}.  do_test
3c90: 20 77 61 6c 2d 31 30 2e 24 74 6e 2e 32 34 20 7b   wal-10.$tn.24 {
3ca0: 0a 20 20 20 20 73 71 6c 32 20 7b 20 42 45 47 49  .    sql2 { BEGI
3cb0: 4e 3b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d  N; SELECT * FROM
3cc0: 20 74 31 3b 20 7d 0a 20 20 7d 20 7b 31 20 32 20   t1; }.  } {1 2 
3cd0: 33 20 34 20 35 20 36 20 37 20 38 20 39 20 31 30  3 4 5 6 7 8 9 10
3ce0: 20 31 31 20 31 32 20 31 33 20 31 34 7d 0a 20 20   11 12 13 14}.  
3cf0: 64 6f 5f 74 65 73 74 20 77 61 6c 2d 31 30 2e 24  do_test wal-10.$
3d00: 74 6e 2e 32 35 20 7b 0a 20 20 20 20 65 78 65 63  tn.25 {.    exec
3d10: 73 71 6c 20 7b 20 50 52 41 47 4d 41 20 63 68 65  sql { PRAGMA che
3d20: 63 6b 70 6f 69 6e 74 20 7d 0a 20 20 7d 20 7b 7d  ckpoint }.  } {}
3d30: 0a 20 20 64 6f 5f 74 65 73 74 20 77 61 6c 2d 31  .  do_test wal-1
3d40: 30 2e 24 74 6e 2e 32 36 20 7b 0a 20 20 20 20 63  0.$tn.26 {.    c
3d50: 61 74 63 68 73 71 6c 20 7b 20 49 4e 53 45 52 54  atchsql { INSERT
3d60: 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28   INTO t1 VALUES(
3d70: 31 35 2c 20 31 36 29 20 7d 0a 20 20 7d 20 7b 31  15, 16) }.  } {1
3d80: 20 7b 64 61 74 61 62 61 73 65 20 69 73 20 6c 6f   {database is lo
3d90: 63 6b 65 64 7d 7d 0a 20 20 64 6f 5f 74 65 73 74  cked}}.  do_test
3da0: 20 77 61 6c 2d 31 30 2e 24 74 6e 2e 32 37 20 7b   wal-10.$tn.27 {
3db0: 0a 20 20 20 20 73 71 6c 33 20 7b 20 49 4e 53 45  .    sql3 { INSE
3dc0: 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45  RT INTO t1 VALUE
3dd0: 53 28 31 35 2c 20 31 36 29 20 7d 0a 20 20 7d 20  S(15, 16) }.  } 
3de0: 7b 7d 0a 20 20 64 6f 5f 74 65 73 74 20 77 61 6c  {}.  do_test wal
3df0: 2d 31 30 2e 24 74 6e 2e 32 38 20 7b 0a 20 20 20  -10.$tn.28 {.   
3e00: 20 63 6f 64 65 33 20 7b 0a 20 20 20 20 20 20 73   code3 {.      s
3e10: 65 74 20 3a 3a 53 54 4d 54 20 5b 73 71 6c 69 74  et ::STMT [sqlit
3e20: 65 33 5f 70 72 65 70 61 72 65 20 64 62 33 20 22  e3_prepare db3 "
3e30: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31  SELECT * FROM t1
3e40: 22 20 2d 31 20 54 41 49 4c 5d 0a 20 20 20 20 20  " -1 TAIL].     
3e50: 20 73 71 6c 69 74 65 33 5f 73 74 65 70 20 24 3a   sqlite3_step $:
3e60: 3a 53 54 4d 54 0a 20 20 20 20 7d 0a 20 20 20 20  :STMT.    }.    
3e70: 73 71 6c 33 20 43 4f 4d 4d 49 54 0a 20 20 20 20  sql3 COMMIT.    
3e80: 65 78 65 63 73 71 6c 20 7b 20 53 45 4c 45 43 54  execsql { SELECT
3e90: 20 2a 20 46 52 4f 4d 20 74 31 20 7d 0a 20 20 7d   * FROM t1 }.  }
3ea0: 20 7b 31 20 32 20 33 20 34 20 35 20 36 20 37 20   {1 2 3 4 5 6 7 
3eb0: 38 20 39 20 31 30 20 31 31 20 31 32 20 31 33 20  8 9 10 11 12 13 
3ec0: 31 34 20 31 35 20 31 36 7d 0a 20 20 64 62 20 62  14 15 16}.  db b
3ed0: 75 73 79 20 7b 7d 0a 20 20 64 6f 5f 74 65 73 74  usy {}.  do_test
3ee0: 20 77 61 6c 2d 31 30 2e 24 74 6e 2e 32 39 20 7b   wal-10.$tn.29 {
3ef0: 0a 20 20 20 20 65 78 65 63 73 71 6c 20 7b 20 49  .    execsql { I
3f00: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41  NSERT INTO t1 VA
3f10: 4c 55 45 53 28 31 37 2c 20 31 38 29 20 7d 0a 20  LUES(17, 18) }. 
3f20: 20 20 20 63 61 74 63 68 73 71 6c 20 7b 20 50 52     catchsql { PR
3f30: 41 47 4d 41 20 63 68 65 63 6b 70 6f 69 6e 74 20  AGMA checkpoint 
3f40: 7d 0a 20 20 7d 20 7b 31 20 7b 64 61 74 61 62 61  }.  } {1 {databa
3f50: 73 65 20 69 73 20 6c 6f 63 6b 65 64 7d 7d 0a 20  se is locked}}. 
3f60: 20 64 6f 5f 74 65 73 74 20 77 61 6c 2d 31 30 2e   do_test wal-10.
3f70: 24 74 6e 2e 33 30 20 7b 0a 20 20 20 20 63 6f 64  $tn.30 {.    cod
3f80: 65 33 20 7b 20 73 71 6c 69 74 65 33 5f 66 69 6e  e3 { sqlite3_fin
3f90: 61 6c 69 7a 65 20 24 3a 3a 53 54 4d 54 20 7d 0a  alize $::STMT }.
3fa0: 20 20 20 20 65 78 65 63 73 71 6c 20 7b 20 50 52      execsql { PR
3fb0: 41 47 4d 41 20 63 68 65 63 6b 70 6f 69 6e 74 20  AGMA checkpoint 
3fc0: 7d 0a 20 20 7d 20 7b 7d 0a 0a 20 20 23 20 41 74  }.  } {}..  # At
3fd0: 20 6f 6e 65 20 70 6f 69 6e 74 2c 20 69 66 20 61   one point, if a
3fe0: 20 72 65 61 64 65 72 20 66 61 69 6c 65 64 20 74   reader failed t
3ff0: 6f 20 75 70 67 72 61 64 65 20 74 6f 20 61 20 77  o upgrade to a w
4000: 72 69 74 65 72 20 62 65 63 61 75 73 65 20 69 74  riter because it
4010: 0a 20 20 23 20 77 61 73 20 72 65 61 64 69 6e 67  .  # was reading
4020: 20 61 6e 20 6f 6c 64 20 73 6e 61 70 73 68 6f 74   an old snapshot
4030: 2c 20 74 68 65 20 77 72 69 74 65 2d 6c 6f 63 6b  , the write-lock
4040: 73 20 77 65 72 65 20 6e 6f 74 20 62 65 69 6e 67  s were not being
4050: 20 72 65 6c 65 61 73 65 64 2e 0a 20 20 23 20 54   released..  # T
4060: 65 73 74 20 74 68 61 74 20 74 68 69 73 20 62 75  est that this bu
4070: 67 20 68 61 73 20 62 65 65 6e 20 66 69 78 65 64  g has been fixed
4080: 2e 0a 20 20 23 0a 20 20 64 6f 5f 74 65 73 74 20  ..  #.  do_test 
4090: 77 61 6c 2d 31 30 2e 24 74 6e 2e 33 31 20 7b 0a  wal-10.$tn.31 {.
40a0: 20 20 20 20 65 78 65 63 73 71 6c 20 7b 20 42 45      execsql { BE
40b0: 47 49 4e 20 3b 20 53 45 4c 45 43 54 20 2a 20 46  GIN ; SELECT * F
40c0: 52 4f 4d 20 74 31 20 7d 0a 20 20 20 20 73 71 6c  ROM t1 }.    sql
40d0: 32 20 7b 20 49 4e 53 45 52 54 20 49 4e 54 4f 20  2 { INSERT INTO 
40e0: 74 31 20 56 41 4c 55 45 53 28 31 39 2c 20 32 30  t1 VALUES(19, 20
40f0: 29 20 7d 0a 20 20 20 20 63 61 74 63 68 73 71 6c  ) }.    catchsql
4100: 20 7b 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74   { INSERT INTO t
4110: 31 20 56 41 4c 55 45 53 28 32 31 2c 20 32 32 29  1 VALUES(21, 22)
4120: 20 7d 0a 20 20 7d 20 7b 31 20 7b 64 61 74 61 62   }.  } {1 {datab
4130: 61 73 65 20 69 73 20 6c 6f 63 6b 65 64 7d 7d 0a  ase is locked}}.
4140: 20 20 64 6f 5f 74 65 73 74 20 77 61 6c 2d 31 30    do_test wal-10
4150: 2e 24 74 6e 2e 33 32 20 7b 0a 20 20 20 20 23 20  .$tn.32 {.    # 
4160: 54 68 69 73 20 73 74 61 74 65 6d 65 6e 74 20 77  This statement w
4170: 6f 75 6c 64 20 66 61 69 6c 20 77 68 65 6e 20 74  ould fail when t
4180: 68 65 20 62 75 67 20 77 61 73 20 70 72 65 73 65  he bug was prese
4190: 6e 74 2e 0a 20 20 20 20 73 71 6c 32 20 7b 20 49  nt..    sql2 { I
41a0: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41  NSERT INTO t1 VA
41b0: 4c 55 45 53 28 32 31 2c 20 32 32 29 20 7d 0a 20  LUES(21, 22) }. 
41c0: 20 7d 20 7b 7d 0a 20 20 64 6f 5f 74 65 73 74 20   } {}.  do_test 
41d0: 77 61 6c 2d 31 30 2e 24 74 6e 2e 33 33 20 7b 0a  wal-10.$tn.33 {.
41e0: 20 20 20 20 65 78 65 63 73 71 6c 20 7b 20 53 45      execsql { SE
41f0: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 3b  LECT * FROM t1 ;
4200: 20 43 4f 4d 4d 49 54 20 7d 0a 20 20 7d 20 7b 31   COMMIT }.  } {1
4210: 20 32 20 33 20 34 20 35 20 36 20 37 20 38 20 39   2 3 4 5 6 7 8 9
4220: 20 31 30 20 31 31 20 31 32 20 31 33 20 31 34 20   10 11 12 13 14 
4230: 31 35 20 31 36 20 31 37 20 31 38 7d 0a 20 20 64  15 16 17 18}.  d
4240: 6f 5f 74 65 73 74 20 77 61 6c 2d 31 30 2e 24 74  o_test wal-10.$t
4250: 6e 2e 33 34 20 7b 0a 20 20 20 20 65 78 65 63 73  n.34 {.    execs
4260: 71 6c 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52  ql { SELECT * FR
4270: 4f 4d 20 74 31 20 7d 0a 20 20 7d 20 7b 31 20 32  OM t1 }.  } {1 2
4280: 20 33 20 34 20 35 20 36 20 37 20 38 20 39 20 31   3 4 5 6 7 8 9 1
4290: 30 20 31 31 20 31 32 20 31 33 20 31 34 20 31 35  0 11 12 13 14 15
42a0: 20 31 36 20 31 37 20 31 38 20 31 39 20 32 30 20   16 17 18 19 20 
42b0: 32 31 20 32 32 7d 0a 0a 20 20 63 61 74 63 68 20  21 22}..  catch 
42c0: 7b 20 64 62 20 63 6c 6f 73 65 20 7d 0a 20 20 63  { db close }.  c
42d0: 61 74 63 68 20 7b 20 63 6f 64 65 32 20 7b 20 64  atch { code2 { d
42e0: 62 32 20 63 6c 6f 73 65 20 7d 20 7d 0a 20 20 63  b2 close } }.  c
42f0: 61 74 63 68 20 7b 20 63 6f 64 65 33 20 7b 20 64  atch { code3 { d
4300: 62 33 20 63 6c 6f 73 65 20 7d 20 7d 0a 20 20 63  b3 close } }.  c
4310: 61 74 63 68 20 7b 20 63 6c 6f 73 65 20 24 3a 3a  atch { close $::
4320: 63 6f 64 65 32 5f 63 68 61 6e 20 7d 0a 20 20 63  code2_chan }.  c
4330: 61 74 63 68 20 7b 20 63 6c 6f 73 65 20 24 3a 3a  atch { close $::
4340: 63 6f 64 65 33 5f 63 68 61 6e 20 7d 0a 7d 0a 0a  code3_chan }.}..
4350: 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  #---------------
4360: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
4370: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
4380: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
4390: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54 68 69  ----------.# Thi
43a0: 73 20 62 6c 6f 63 6b 20 6f 66 20 74 65 73 74 73  s block of tests
43b0: 2c 20 77 61 6c 2d 31 31 2e 2a 2c 20 74 65 73 74  , wal-11.*, test
43c0: 20 74 68 61 74 20 6e 6f 74 68 69 6e 67 20 67 6f   that nothing go
43d0: 65 73 20 74 65 72 72 69 62 6c 79 20 77 72 6f 6e  es terribly wron
43e0: 67 0a 23 20 69 66 20 66 72 61 6d 65 73 20 6d 75  g.# if frames mu
43f0: 73 74 20 62 65 20 77 72 69 74 74 65 6e 20 74 6f  st be written to
4400: 20 74 68 65 20 6c 6f 67 20 66 69 6c 65 20 62 65   the log file be
4410: 66 6f 72 65 20 61 20 74 72 61 6e 73 61 63 74 69  fore a transacti
4420: 6f 6e 20 69 73 0a 23 20 63 6f 6d 6d 69 74 74 65  on is.# committe
4430: 64 20 28 69 6e 20 6f 72 64 65 72 20 74 6f 20 66  d (in order to f
4440: 72 65 65 20 75 70 20 6d 65 6d 6f 72 79 29 2e 0a  ree up memory)..
4450: 23 0a 64 6f 5f 74 65 73 74 20 77 61 6c 2d 31 31  #.do_test wal-11
4460: 2e 31 20 7b 0a 20 20 72 65 6f 70 65 6e 5f 64 62  .1 {.  reopen_db
4470: 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20  .  execsql {.   
4480: 20 50 52 41 47 4d 41 20 63 61 63 68 65 5f 73 69   PRAGMA cache_si
4490: 7a 65 20 3d 20 31 30 3b 0a 20 20 20 20 50 52 41  ze = 10;.    PRA
44a0: 47 4d 41 20 70 61 67 65 5f 73 69 7a 65 20 3d 20  GMA page_size = 
44b0: 31 30 32 34 3b 0a 20 20 20 20 43 52 45 41 54 45  1024;.    CREATE
44c0: 20 54 41 42 4c 45 20 74 31 28 78 20 50 52 49 4d   TABLE t1(x PRIM
44d0: 41 52 59 20 4b 45 59 29 3b 0a 20 20 7d 0a 20 20  ARY KEY);.  }.  
44e0: 6c 69 73 74 20 5b 65 78 70 72 20 5b 66 69 6c 65  list [expr [file
44f0: 20 73 69 7a 65 20 74 65 73 74 2e 64 62 5d 2f 31   size test.db]/1
4500: 30 32 34 5d 20 5b 65 78 70 72 20 5b 66 69 6c 65  024] [expr [file
4510: 20 73 69 7a 65 20 74 65 73 74 2e 64 62 2d 77 61   size test.db-wa
4520: 6c 5d 2f 31 30 34 34 5d 0a 7d 20 7b 31 20 33 7d  l]/1044].} {1 3}
4530: 0a 64 6f 5f 74 65 73 74 20 77 61 6c 2d 31 31 2e  .do_test wal-11.
4540: 32 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 20  2 {.  execsql { 
4550: 50 52 41 47 4d 41 20 63 68 65 63 6b 70 6f 69 6e  PRAGMA checkpoin
4560: 74 20 7d 0a 20 20 6c 69 73 74 20 5b 65 78 70 72  t }.  list [expr
4570: 20 5b 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74   [file size test
4580: 2e 64 62 5d 2f 31 30 32 34 5d 20 5b 66 69 6c 65  .db]/1024] [file
4590: 20 73 69 7a 65 20 74 65 73 74 2e 64 62 2d 77 61   size test.db-wa
45a0: 6c 5d 0a 7d 20 5b 6c 69 73 74 20 33 20 5b 6c 6f  l].} [list 3 [lo
45b0: 67 5f 66 69 6c 65 5f 73 69 7a 65 20 33 20 31 30  g_file_size 3 10
45c0: 32 34 5d 5d 0a 64 6f 5f 74 65 73 74 20 77 61 6c  24]].do_test wal
45d0: 2d 31 31 2e 33 20 7b 0a 20 20 65 78 65 63 73 71  -11.3 {.  execsq
45e0: 6c 20 7b 20 49 4e 53 45 52 54 20 49 4e 54 4f 20  l { INSERT INTO 
45f0: 74 31 20 56 41 4c 55 45 53 28 20 62 6c 6f 62 28  t1 VALUES( blob(
4600: 39 30 30 29 20 29 20 7d 0a 20 20 6c 69 73 74 20  900) ) }.  list 
4610: 5b 65 78 70 72 20 5b 66 69 6c 65 20 73 69 7a 65  [expr [file size
4620: 20 74 65 73 74 2e 64 62 5d 2f 31 30 32 34 5d 20   test.db]/1024] 
4630: 5b 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e  [file size test.
4640: 64 62 2d 77 61 6c 5d 0a 7d 20 5b 6c 69 73 74 20  db-wal].} [list 
4650: 33 20 5b 6c 6f 67 5f 66 69 6c 65 5f 73 69 7a 65  3 [log_file_size
4660: 20 34 20 31 30 32 34 5d 5d 0a 0a 64 6f 5f 74 65   4 1024]]..do_te
4670: 73 74 20 77 61 6c 2d 31 31 2e 34 20 7b 0a 20 20  st wal-11.4 {.  
4680: 65 78 65 63 73 71 6c 20 7b 20 0a 20 20 20 20 42  execsql { .    B
4690: 45 47 49 4e 3b 0a 20 20 20 20 20 20 49 4e 53 45  EGIN;.      INSE
46a0: 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43  RT INTO t1 SELEC
46b0: 54 20 62 6c 6f 62 28 39 30 30 29 20 46 52 4f 4d  T blob(900) FROM
46c0: 20 74 31 3b 20 20 20 2d 2d 20 32 0a 20 20 20 20   t1;   -- 2.    
46d0: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31    INSERT INTO t1
46e0: 20 53 45 4c 45 43 54 20 62 6c 6f 62 28 39 30 30   SELECT blob(900
46f0: 29 20 46 52 4f 4d 20 74 31 3b 20 20 20 2d 2d 20  ) FROM t1;   -- 
4700: 34 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20 49  4.      INSERT I
4710: 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 62 6c  NTO t1 SELECT bl
4720: 6f 62 28 39 30 30 29 20 46 52 4f 4d 20 74 31 3b  ob(900) FROM t1;
4730: 20 20 20 2d 2d 20 38 0a 20 20 20 20 20 20 49 4e     -- 8.      IN
4740: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c  SERT INTO t1 SEL
4750: 45 43 54 20 62 6c 6f 62 28 39 30 30 29 20 46 52  ECT blob(900) FR
4760: 4f 4d 20 74 31 3b 20 20 20 2d 2d 20 31 36 0a 20  OM t1;   -- 16. 
4770: 20 7d 0a 20 20 6c 69 73 74 20 5b 65 78 70 72 20   }.  list [expr 
4780: 5b 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e  [file size test.
4790: 64 62 5d 2f 31 30 32 34 5d 20 5b 66 69 6c 65 20  db]/1024] [file 
47a0: 73 69 7a 65 20 74 65 73 74 2e 64 62 2d 77 61 6c  size test.db-wal
47b0: 5d 0a 7d 20 5b 6c 69 73 74 20 33 20 5b 6c 6f 67  ].} [list 3 [log
47c0: 5f 66 69 6c 65 5f 73 69 7a 65 20 33 32 20 31 30  _file_size 32 10
47d0: 32 34 5d 5d 0a 64 6f 5f 74 65 73 74 20 77 61 6c  24]].do_test wal
47e0: 2d 31 31 2e 35 20 7b 0a 20 20 65 78 65 63 73 71  -11.5 {.  execsq
47f0: 6c 20 7b 20 0a 20 20 20 20 53 45 4c 45 43 54 20  l { .    SELECT 
4800: 63 6f 75 6e 74 28 2a 29 20 46 52 4f 4d 20 74 31  count(*) FROM t1
4810: 3b 0a 20 20 20 20 50 52 41 47 4d 41 20 69 6e 74  ;.    PRAGMA int
4820: 65 67 72 69 74 79 5f 63 68 65 63 6b 3b 0a 20 20  egrity_check;.  
4830: 7d 0a 7d 20 7b 31 36 20 6f 6b 7d 0a 64 6f 5f 74  }.} {16 ok}.do_t
4840: 65 73 74 20 77 61 6c 2d 31 31 2e 36 20 7b 0a 20  est wal-11.6 {. 
4850: 20 65 78 65 63 73 71 6c 20 43 4f 4d 4d 49 54 0a   execsql COMMIT.
4860: 20 20 6c 69 73 74 20 5b 65 78 70 72 20 5b 66 69    list [expr [fi
4870: 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62 5d  le size test.db]
4880: 2f 31 30 32 34 5d 20 5b 66 69 6c 65 20 73 69 7a  /1024] [file siz
4890: 65 20 74 65 73 74 2e 64 62 2d 77 61 6c 5d 0a 7d  e test.db-wal].}
48a0: 20 5b 6c 69 73 74 20 33 20 5b 6c 6f 67 5f 66 69   [list 3 [log_fi
48b0: 6c 65 5f 73 69 7a 65 20 34 31 20 31 30 32 34 5d  le_size 41 1024]
48c0: 5d 0a 64 6f 5f 74 65 73 74 20 77 61 6c 2d 31 31  ].do_test wal-11
48d0: 2e 37 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  .7 {.  execsql {
48e0: 20 0a 20 20 20 20 53 45 4c 45 43 54 20 63 6f 75   .    SELECT cou
48f0: 6e 74 28 2a 29 20 46 52 4f 4d 20 74 31 3b 0a 20  nt(*) FROM t1;. 
4900: 20 20 20 50 52 41 47 4d 41 20 69 6e 74 65 67 72     PRAGMA integr
4910: 69 74 79 5f 63 68 65 63 6b 3b 0a 20 20 7d 0a 7d  ity_check;.  }.}
4920: 20 7b 31 36 20 6f 6b 7d 0a 64 6f 5f 74 65 73 74   {16 ok}.do_test
4930: 20 77 61 6c 2d 31 31 2e 38 20 7b 0a 20 20 65 78   wal-11.8 {.  ex
4940: 65 63 73 71 6c 20 7b 20 50 52 41 47 4d 41 20 63  ecsql { PRAGMA c
4950: 68 65 63 6b 70 6f 69 6e 74 20 7d 0a 20 20 6c 69  heckpoint }.  li
4960: 73 74 20 5b 65 78 70 72 20 5b 66 69 6c 65 20 73  st [expr [file s
4970: 69 7a 65 20 74 65 73 74 2e 64 62 5d 2f 31 30 32  ize test.db]/102
4980: 34 5d 20 5b 66 69 6c 65 20 73 69 7a 65 20 74 65  4] [file size te
4990: 73 74 2e 64 62 2d 77 61 6c 5d 0a 7d 20 5b 6c 69  st.db-wal].} [li
49a0: 73 74 20 33 37 20 5b 6c 6f 67 5f 66 69 6c 65 5f  st 37 [log_file_
49b0: 73 69 7a 65 20 34 31 20 31 30 32 34 5d 5d 0a 64  size 41 1024]].d
49c0: 6f 5f 74 65 73 74 20 77 61 6c 2d 31 31 2e 39 20  o_test wal-11.9 
49d0: 7b 0a 20 20 64 62 20 63 6c 6f 73 65 0a 20 20 6c  {.  db close.  l
49e0: 69 73 74 20 5b 65 78 70 72 20 5b 66 69 6c 65 20  ist [expr [file 
49f0: 73 69 7a 65 20 74 65 73 74 2e 64 62 5d 2f 31 30  size test.db]/10
4a00: 32 34 5d 20 5b 6c 6f 67 5f 64 65 6c 65 74 65 64  24] [log_deleted
4a10: 20 74 65 73 74 2e 64 62 2d 77 61 6c 5d 0a 7d 20   test.db-wal].} 
4a20: 7b 33 37 20 31 7d 0a 73 71 6c 69 74 65 33 5f 77  {37 1}.sqlite3_w
4a30: 61 6c 20 64 62 20 74 65 73 74 2e 64 62 0a 64 6f  al db test.db.do
4a40: 5f 74 65 73 74 20 77 61 6c 2d 31 31 2e 31 30 20  _test wal-11.10 
4a50: 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20  {.  execsql {.  
4a60: 20 20 50 52 41 47 4d 41 20 63 61 63 68 65 5f 73    PRAGMA cache_s
4a70: 69 7a 65 20 3d 20 31 30 3b 0a 20 20 20 20 42 45  ize = 10;.    BE
4a80: 47 49 4e 3b 0a 20 20 20 20 20 20 49 4e 53 45 52  GIN;.      INSER
4a90: 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54  T INTO t1 SELECT
4aa0: 20 62 6c 6f 62 28 39 30 30 29 20 46 52 4f 4d 20   blob(900) FROM 
4ab0: 74 31 3b 20 20 20 2d 2d 20 33 32 0a 20 20 20 20  t1;   -- 32.    
4ac0: 20 20 53 45 4c 45 43 54 20 63 6f 75 6e 74 28 2a    SELECT count(*
4ad0: 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 7d 0a 20  ) FROM t1;.  }. 
4ae0: 20 6c 69 73 74 20 5b 65 78 70 72 20 5b 66 69 6c   list [expr [fil
4af0: 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62 5d 2f  e size test.db]/
4b00: 31 30 32 34 5d 20 5b 66 69 6c 65 20 73 69 7a 65  1024] [file size
4b10: 20 74 65 73 74 2e 64 62 2d 77 61 6c 5d 0a 7d 20   test.db-wal].} 
4b20: 5b 6c 69 73 74 20 33 37 20 5b 6c 6f 67 5f 66 69  [list 37 [log_fi
4b30: 6c 65 5f 73 69 7a 65 20 33 35 20 31 30 32 34 5d  le_size 35 1024]
4b40: 5d 0a 64 6f 5f 74 65 73 74 20 77 61 6c 2d 31 31  ].do_test wal-11
4b50: 2e 31 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  .11 {.  execsql 
4b60: 7b 0a 20 20 20 20 20 20 53 45 4c 45 43 54 20 63  {.      SELECT c
4b70: 6f 75 6e 74 28 2a 29 20 46 52 4f 4d 20 74 31 3b  ount(*) FROM t1;
4b80: 0a 20 20 20 20 52 4f 4c 4c 42 41 43 4b 3b 0a 20  .    ROLLBACK;. 
4b90: 20 20 20 53 45 4c 45 43 54 20 63 6f 75 6e 74 28     SELECT count(
4ba0: 2a 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 7d 0a  *) FROM t1;.  }.
4bb0: 7d 20 7b 33 32 20 31 36 7d 0a 64 6f 5f 74 65 73  } {32 16}.do_tes
4bc0: 74 20 77 61 6c 2d 31 31 2e 31 32 20 7b 0a 20 20  t wal-11.12 {.  
4bd0: 6c 69 73 74 20 5b 65 78 70 72 20 5b 66 69 6c 65  list [expr [file
4be0: 20 73 69 7a 65 20 74 65 73 74 2e 64 62 5d 2f 31   size test.db]/1
4bf0: 30 32 34 5d 20 5b 66 69 6c 65 20 73 69 7a 65 20  024] [file size 
4c00: 74 65 73 74 2e 64 62 2d 77 61 6c 5d 0a 7d 20 5b  test.db-wal].} [
4c10: 6c 69 73 74 20 33 37 20 5b 6c 6f 67 5f 66 69 6c  list 37 [log_fil
4c20: 65 5f 73 69 7a 65 20 33 35 20 31 30 32 34 5d 5d  e_size 35 1024]]
4c30: 0a 64 6f 5f 74 65 73 74 20 77 61 6c 2d 31 31 2e  .do_test wal-11.
4c40: 31 33 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  13 {.  execsql {
4c50: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
4c60: 20 74 31 20 56 41 4c 55 45 53 28 20 62 6c 6f 62   t1 VALUES( blob
4c70: 28 39 30 30 29 20 29 3b 0a 20 20 20 20 53 45 4c  (900) );.    SEL
4c80: 45 43 54 20 63 6f 75 6e 74 28 2a 29 20 46 52 4f  ECT count(*) FRO
4c90: 4d 20 74 31 3b 0a 20 20 20 20 50 52 41 47 4d 41  M t1;.    PRAGMA
4ca0: 20 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63 6b   integrity_check
4cb0: 3b 0a 20 20 7d 0a 7d 20 7b 31 37 20 6f 6b 7d 0a  ;.  }.} {17 ok}.
4cc0: 64 6f 5f 74 65 73 74 20 77 61 6c 2d 31 31 2e 31  do_test wal-11.1
4cd0: 34 20 7b 0a 20 20 6c 69 73 74 20 5b 65 78 70 72  4 {.  list [expr
4ce0: 20 5b 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74   [file size test
4cf0: 2e 64 62 5d 2f 31 30 32 34 5d 20 5b 66 69 6c 65  .db]/1024] [file
4d00: 20 73 69 7a 65 20 74 65 73 74 2e 64 62 2d 77 61   size test.db-wa
4d10: 6c 5d 0a 7d 20 5b 6c 69 73 74 20 33 37 20 5b 6c  l].} [list 37 [l
4d20: 6f 67 5f 66 69 6c 65 5f 73 69 7a 65 20 33 35 20  og_file_size 35 
4d30: 31 30 32 34 5d 5d 0a 0a 0a 23 2d 2d 2d 2d 2d 2d  1024]]...#------
4d40: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
4d50: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
4d60: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
4d70: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
4d80: 2d 2d 2d 0a 23 20 54 68 69 73 20 62 6c 6f 63 6b  ---.# This block
4d90: 20 6f 66 20 74 65 73 74 73 2c 20 77 61 6c 2d 31   of tests, wal-1
4da0: 32 2e 2a 2c 20 74 65 73 74 73 20 74 68 65 20 66  2.*, tests the f
4db0: 69 78 20 66 6f 72 20 61 20 70 72 6f 62 6c 65 6d  ix for a problem
4dc0: 20 74 68 61 74 20 0a 23 20 63 6f 75 6c 64 20 6f   that .# could o
4dd0: 63 63 75 72 20 69 66 20 61 20 6c 6f 67 20 74 68  ccur if a log th
4de0: 61 74 20 69 73 20 61 20 70 72 65 66 69 78 20 6f  at is a prefix o
4df0: 66 20 61 6e 20 6f 6c 64 65 72 20 6c 6f 67 20 69  f an older log i
4e00: 73 20 77 72 69 74 74 65 6e 20 0a 23 20 69 6e 74  s written .# int
4e10: 6f 20 61 20 72 65 75 73 65 64 20 6c 6f 67 20 66  o a reused log f
4e20: 69 6c 65 2e 0a 23 0a 72 65 6f 70 65 6e 5f 64 62  ile..#.reopen_db
4e30: 0a 64 6f 5f 74 65 73 74 20 77 61 6c 2d 31 32 2e  .do_test wal-12.
4e40: 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  1 {.  execsql {.
4e50: 20 20 20 20 50 52 41 47 4d 41 20 70 61 67 65 5f      PRAGMA page_
4e60: 73 69 7a 65 20 3d 20 31 30 32 34 3b 0a 20 20 20  size = 1024;.   
4e70: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 31   CREATE TABLE t1
4e80: 28 78 2c 20 79 29 3b 0a 20 20 20 20 43 52 45 41  (x, y);.    CREA
4e90: 54 45 20 54 41 42 4c 45 20 74 32 28 78 2c 20 79  TE TABLE t2(x, y
4ea0: 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e  );.    INSERT IN
4eb0: 54 4f 20 74 31 20 56 41 4c 55 45 53 28 27 41 27  TO t1 VALUES('A'
4ec0: 2c 20 31 29 3b 0a 20 20 7d 0a 20 20 6c 69 73 74  , 1);.  }.  list
4ed0: 20 5b 65 78 70 72 20 5b 66 69 6c 65 20 73 69 7a   [expr [file siz
4ee0: 65 20 74 65 73 74 2e 64 62 5d 2f 31 30 32 34 5d  e test.db]/1024]
4ef0: 20 5b 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74   [file size test
4f00: 2e 64 62 2d 77 61 6c 5d 0a 7d 20 5b 6c 69 73 74  .db-wal].} [list
4f10: 20 31 20 5b 6c 6f 67 5f 66 69 6c 65 5f 73 69 7a   1 [log_file_siz
4f20: 65 20 35 20 31 30 32 34 5d 5d 0a 64 6f 5f 74 65  e 5 1024]].do_te
4f30: 73 74 20 77 61 6c 2d 31 32 2e 32 20 7b 0a 20 20  st wal-12.2 {.  
4f40: 64 62 20 63 6c 6f 73 65 0a 20 20 73 71 6c 69 74  db close.  sqlit
4f50: 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a 20 20  e3 db test.db.  
4f60: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 50 52  execsql {.    PR
4f70: 41 47 4d 41 20 73 79 6e 63 68 72 6f 6e 6f 75 73  AGMA synchronous
4f80: 20 3d 20 6e 6f 72 6d 61 6c 3b 0a 20 20 20 20 55   = normal;.    U
4f90: 50 44 41 54 45 20 74 31 20 53 45 54 20 79 20 3d  PDATE t1 SET y =
4fa0: 20 30 20 57 48 45 52 45 20 78 20 3d 20 27 41 27   0 WHERE x = 'A'
4fb0: 3b 0a 20 20 7d 0a 20 20 6c 69 73 74 20 5b 65 78  ;.  }.  list [ex
4fc0: 70 72 20 5b 66 69 6c 65 20 73 69 7a 65 20 74 65  pr [file size te
4fd0: 73 74 2e 64 62 5d 2f 31 30 32 34 5d 20 5b 65 78  st.db]/1024] [ex
4fe0: 70 72 20 5b 66 69 6c 65 20 73 69 7a 65 20 74 65  pr [file size te
4ff0: 73 74 2e 64 62 2d 77 61 6c 5d 2f 31 30 34 34 5d  st.db-wal]/1044]
5000: 0a 7d 20 7b 33 20 31 7d 0a 64 6f 5f 74 65 73 74  .} {3 1}.do_test
5010: 20 77 61 6c 2d 31 32 2e 33 20 7b 0a 20 20 65 78   wal-12.3 {.  ex
5020: 65 63 73 71 6c 20 7b 20 49 4e 53 45 52 54 20 49  ecsql { INSERT I
5030: 4e 54 4f 20 74 32 20 56 41 4c 55 45 53 28 27 42  NTO t2 VALUES('B
5040: 27 2c 20 31 29 20 7d 0a 20 20 6c 69 73 74 20 5b  ', 1) }.  list [
5050: 65 78 70 72 20 5b 66 69 6c 65 20 73 69 7a 65 20  expr [file size 
5060: 74 65 73 74 2e 64 62 5d 2f 31 30 32 34 5d 20 5b  test.db]/1024] [
5070: 65 78 70 72 20 5b 66 69 6c 65 20 73 69 7a 65 20  expr [file size 
5080: 74 65 73 74 2e 64 62 2d 77 61 6c 5d 2f 31 30 34  test.db-wal]/104
5090: 34 5d 0a 7d 20 7b 33 20 32 7d 0a 64 6f 5f 74 65  4].} {3 2}.do_te
50a0: 73 74 20 77 61 6c 2d 31 32 2e 34 20 7b 0a 20 20  st wal-12.4 {.  
50b0: 66 69 6c 65 20 63 6f 70 79 20 2d 66 6f 72 63 65  file copy -force
50c0: 20 74 65 73 74 2e 64 62 20 74 65 73 74 32 2e 64   test.db test2.d
50d0: 62 0a 20 20 66 69 6c 65 20 63 6f 70 79 20 2d 66  b.  file copy -f
50e0: 6f 72 63 65 20 74 65 73 74 2e 64 62 2d 77 61 6c  orce test.db-wal
50f0: 20 74 65 73 74 32 2e 64 62 2d 77 61 6c 0a 20 20   test2.db-wal.  
5100: 73 71 6c 69 74 65 33 5f 77 61 6c 20 64 62 32 20  sqlite3_wal db2 
5110: 74 65 73 74 32 2e 64 62 0a 20 20 65 78 65 63 73  test2.db.  execs
5120: 71 6c 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52  ql { SELECT * FR
5130: 4f 4d 20 74 32 20 7d 20 64 62 32 0a 7d 20 7b 42  OM t2 } db2.} {B
5140: 20 31 7d 0a 64 62 32 20 63 6c 6f 73 65 0a 64 6f   1}.db2 close.do
5150: 5f 74 65 73 74 20 77 61 6c 2d 31 32 2e 35 20 7b  _test wal-12.5 {
5160: 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20  .  execsql {.   
5170: 20 50 52 41 47 4d 41 20 63 68 65 63 6b 70 6f 69   PRAGMA checkpoi
5180: 6e 74 3b 0a 20 20 20 20 55 50 44 41 54 45 20 74  nt;.    UPDATE t
5190: 32 20 53 45 54 20 79 20 3d 20 32 20 57 48 45 52  2 SET y = 2 WHER
51a0: 45 20 78 20 3d 20 27 42 27 3b 20 0a 20 20 20 20  E x = 'B'; .    
51b0: 50 52 41 47 4d 41 20 63 68 65 63 6b 70 6f 69 6e  PRAGMA checkpoin
51c0: 74 3b 0a 20 20 20 20 55 50 44 41 54 45 20 74 31  t;.    UPDATE t1
51d0: 20 53 45 54 20 79 20 3d 20 31 20 57 48 45 52 45   SET y = 1 WHERE
51e0: 20 78 20 3d 20 27 41 27 3b 0a 20 20 20 20 50 52   x = 'A';.    PR
51f0: 41 47 4d 41 20 63 68 65 63 6b 70 6f 69 6e 74 3b  AGMA checkpoint;
5200: 0a 20 20 20 20 55 50 44 41 54 45 20 74 31 20 53  .    UPDATE t1 S
5210: 45 54 20 79 20 3d 20 30 20 57 48 45 52 45 20 78  ET y = 0 WHERE x
5220: 20 3d 20 27 41 27 3b 0a 20 20 20 20 53 45 4c 45   = 'A';.    SELE
5230: 43 54 20 2a 20 46 52 4f 4d 20 74 32 3b 0a 20 20  CT * FROM t2;.  
5240: 7d 0a 7d 20 7b 42 20 32 7d 0a 64 6f 5f 74 65 73  }.} {B 2}.do_tes
5250: 74 20 77 61 6c 2d 31 32 2e 36 20 7b 0a 20 20 66  t wal-12.6 {.  f
5260: 69 6c 65 20 63 6f 70 79 20 2d 66 6f 72 63 65 20  ile copy -force 
5270: 74 65 73 74 2e 64 62 20 74 65 73 74 32 2e 64 62  test.db test2.db
5280: 0a 20 20 66 69 6c 65 20 63 6f 70 79 20 2d 66 6f  .  file copy -fo
5290: 72 63 65 20 74 65 73 74 2e 64 62 2d 77 61 6c 20  rce test.db-wal 
52a0: 74 65 73 74 32 2e 64 62 2d 77 61 6c 0a 20 20 73  test2.db-wal.  s
52b0: 71 6c 69 74 65 33 5f 77 61 6c 20 64 62 32 20 74  qlite3_wal db2 t
52c0: 65 73 74 32 2e 64 62 0a 20 20 65 78 65 63 73 71  est2.db.  execsq
52d0: 6c 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f  l { SELECT * FRO
52e0: 4d 20 74 32 20 7d 20 64 62 32 0a 7d 20 7b 42 20  M t2 } db2.} {B 
52f0: 32 7d 0a 64 62 32 20 63 6c 6f 73 65 0a 64 62 20  2}.db2 close.db 
5300: 63 6c 6f 73 65 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d  close..#--------
5310: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
5320: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
5330: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
5340: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
5350: 2d 0a 23 20 54 65 73 74 20 6c 61 72 67 65 20 6c  -.# Test large l
5360: 6f 67 20 73 75 6d 6d 61 72 69 65 73 2e 0a 23 0a  og summaries..#.
5370: 64 6f 5f 74 65 73 74 20 77 61 6c 2d 31 33 2e 31  do_test wal-13.1
5380: 20 7b 0a 20 20 6c 69 73 74 20 5b 66 69 6c 65 20   {.  list [file 
5390: 65 78 69 73 74 73 20 74 65 73 74 2e 64 62 5d 20  exists test.db] 
53a0: 5b 66 69 6c 65 20 65 78 69 73 74 73 20 74 65 73  [file exists tes
53b0: 74 2e 64 62 2d 77 61 6c 5d 0a 7d 20 7b 31 20 30  t.db-wal].} {1 0
53c0: 7d 0a 64 6f 5f 74 65 73 74 20 77 61 6c 2d 31 33  }.do_test wal-13
53d0: 2e 32 20 7b 0a 20 20 73 65 74 20 66 64 20 5b 6f  .2 {.  set fd [o
53e0: 70 65 6e 20 74 65 73 74 2e 64 62 2d 77 61 6c 20  pen test.db-wal 
53f0: 77 5d 0a 20 20 73 65 65 6b 20 24 66 64 20 5b 65  w].  seek $fd [e
5400: 78 70 72 20 32 30 30 2a 31 30 32 34 2a 31 30 32  xpr 200*1024*102
5410: 34 5d 0a 20 20 70 75 74 73 20 24 66 64 20 22 22  4].  puts $fd ""
5420: 0a 20 20 63 6c 6f 73 65 20 24 66 64 0a 20 20 73  .  close $fd.  s
5430: 71 6c 69 74 65 33 20 64 62 20 74 65 73 74 2e 64  qlite3 db test.d
5440: 62 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 53 45  b.  execsql { SE
5450: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32 20 7d  LECT * FROM t2 }
5460: 0a 7d 20 7b 42 20 32 7d 0a 64 6f 5f 74 65 73 74  .} {B 2}.do_test
5470: 20 77 61 6c 2d 31 33 2e 33 20 7b 0a 20 20 64 62   wal-13.3 {.  db
5480: 20 63 6c 6f 73 65 0a 20 20 66 69 6c 65 20 65 78   close.  file ex
5490: 69 73 74 73 20 74 65 73 74 2e 64 62 2d 77 61 6c  ists test.db-wal
54a0: 0a 7d 20 7b 30 7d 0a 64 6f 5f 74 65 73 74 20 77  .} {0}.do_test w
54b0: 61 6c 2d 31 33 2e 34 20 7b 0a 20 20 73 71 6c 69  al-13.4 {.  sqli
54c0: 74 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a 20  te3 db test.db. 
54d0: 20 65 78 65 63 73 71 6c 20 7b 20 53 45 4c 45 43   execsql { SELEC
54e0: 54 20 63 6f 75 6e 74 28 2a 29 20 46 52 4f 4d 20  T count(*) FROM 
54f0: 74 32 20 7d 0a 7d 20 7b 31 7d 0a 64 6f 5f 74 65  t2 }.} {1}.do_te
5500: 73 74 20 77 61 6c 2d 31 33 2e 35 20 7b 0a 20 20  st wal-13.5 {.  
5510: 66 6f 72 20 7b 73 65 74 20 69 20 30 7d 20 7b 24  for {set i 0} {$
5520: 69 20 3c 20 31 35 7d 20 7b 69 6e 63 72 20 69 7d  i < 15} {incr i}
5530: 20 7b 0a 20 20 20 20 65 78 65 63 73 71 6c 20 7b   {.    execsql {
5540: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20   INSERT INTO t2 
5550: 53 45 4c 45 43 54 20 72 61 6e 64 6f 6d 62 6c 6f  SELECT randomblo
5560: 62 28 34 30 30 29 2c 20 72 61 6e 64 6f 6d 62 6c  b(400), randombl
5570: 6f 62 28 34 30 30 29 20 46 52 4f 4d 20 74 32 20  ob(400) FROM t2 
5580: 7d 0a 20 20 7d 0a 20 20 65 78 65 63 73 71 6c 20  }.  }.  execsql 
5590: 7b 20 53 45 4c 45 43 54 20 63 6f 75 6e 74 28 2a  { SELECT count(*
55a0: 29 20 46 52 4f 4d 20 74 32 20 7d 0a 7d 20 5b 65  ) FROM t2 }.} [e
55b0: 78 70 72 20 69 6e 74 28 70 6f 77 28 32 2c 20 31  xpr int(pow(2, 1
55c0: 35 29 29 5d 0a 64 6f 5f 74 65 73 74 20 77 61 6c  5))].do_test wal
55d0: 2d 31 33 2e 36 20 7b 0a 20 20 73 65 74 20 73 7a  -13.6 {.  set sz
55e0: 20 5b 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74   [file size test
55f0: 2e 64 62 2d 77 61 6c 2d 73 75 6d 6d 61 72 79 5d  .db-wal-summary]
5600: 0a 20 20 65 78 70 72 20 7b 24 73 7a 3c 3d 28 33  .  expr {$sz<=(3
5610: 2a 36 34 2a 31 30 32 34 29 20 26 26 20 24 73 7a  *64*1024) && $sz
5620: 3e 28 32 2a 36 34 2a 31 30 32 34 29 7d 0a 7d 20  >(2*64*1024)}.} 
5630: 7b 31 7d 0a 0a 0a 66 69 6e 69 73 68 5f 74 65 73  {1}...finish_tes
5640: 74 0a 0a                                         t..