/ Hex Artifact Content
Login

Artifact fbf7a911b35eb9b09a84eee4020e9e4c8b148d6f:


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 20 74 65 73 74  test.db-wal test
02c0: 2e 64 62 2d 77 61 6c 2d 73 75 6d 6d 61 72 79 0a  .db-wal-summary.
02d0: 20 20 73 71 6c 69 74 65 33 5f 77 61 6c 20 64 62    sqlite3_wal db
02e0: 20 74 65 73 74 2e 64 62 0a 7d 0a 0a 73 65 74 20   test.db.}..set 
02f0: 3a 3a 62 6c 6f 62 63 6e 74 20 30 0a 70 72 6f 63  ::blobcnt 0.proc
0300: 20 62 6c 6f 62 20 7b 6e 42 79 74 65 7d 20 7b 0a   blob {nByte} {.
0310: 20 20 69 6e 63 72 20 3a 3a 62 6c 6f 62 63 6e 74    incr ::blobcnt
0320: 0a 20 20 72 65 74 75 72 6e 20 5b 73 74 72 69 6e  .  return [strin
0330: 67 20 72 61 6e 67 65 20 5b 73 74 72 69 6e 67 20  g range [string 
0340: 72 65 70 65 61 74 20 22 24 7b 3a 3a 62 6c 6f 62  repeat "${::blob
0350: 63 6e 74 7d 78 22 20 24 6e 42 79 74 65 5d 20 31  cnt}x" $nByte] 1
0360: 20 24 6e 42 79 74 65 5d 0a 7d 0a 0a 70 72 6f 63   $nByte].}..proc
0370: 20 73 71 6c 69 74 65 33 5f 77 61 6c 20 7b 61 72   sqlite3_wal {ar
0380: 67 73 7d 20 7b 0a 20 20 65 76 61 6c 20 73 71 6c  gs} {.  eval sql
0390: 69 74 65 33 20 24 61 72 67 73 0a 20 20 5b 6c 69  ite3 $args.  [li
03a0: 6e 64 65 78 20 24 61 72 67 73 20 30 5d 20 65 76  ndex $args 0] ev
03b0: 61 6c 20 7b 20 50 52 41 47 4d 41 20 70 61 67 65  al { PRAGMA page
03c0: 5f 73 69 7a 65 20 3d 20 31 30 32 34 20 7d 0a 20  _size = 1024 }. 
03d0: 20 5b 6c 69 6e 64 65 78 20 24 61 72 67 73 20 30   [lindex $args 0
03e0: 5d 20 65 76 61 6c 20 7b 20 50 52 41 47 4d 41 20  ] eval { PRAGMA 
03f0: 6a 6f 75 72 6e 61 6c 5f 6d 6f 64 65 20 3d 20 77  journal_mode = w
0400: 61 6c 20 7d 0a 20 20 5b 6c 69 6e 64 65 78 20 24  al }.  [lindex $
0410: 61 72 67 73 20 30 5d 20 65 76 61 6c 20 7b 20 50  args 0] eval { P
0420: 52 41 47 4d 41 20 73 79 6e 63 68 72 6f 6e 6f 75  RAGMA synchronou
0430: 73 20 3d 20 6e 6f 72 6d 61 6c 20 7d 0a 20 20 5b  s = normal }.  [
0440: 6c 69 6e 64 65 78 20 24 61 72 67 73 20 30 5d 20  lindex $args 0] 
0450: 66 75 6e 63 74 69 6f 6e 20 62 6c 6f 62 20 62 6c  function blob bl
0460: 6f 62 0a 7d 0a 0a 70 72 6f 63 20 6c 6f 67 5f 66  ob.}..proc log_f
0470: 69 6c 65 5f 73 69 7a 65 20 7b 6e 46 72 61 6d 65  ile_size {nFrame
0480: 20 70 67 73 7a 7d 20 7b 0a 20 20 65 78 70 72 20   pgsz} {.  expr 
0490: 7b 31 32 20 2b 20 28 24 70 67 73 7a 2b 31 36 29  {12 + ($pgsz+16)
04a0: 2a 24 6e 46 72 61 6d 65 7d 0a 7d 0a 0a 70 72 6f  *$nFrame}.}..pro
04b0: 63 20 6c 6f 67 5f 64 65 6c 65 74 65 64 20 7b 6c  c log_deleted {l
04c0: 6f 67 66 69 6c 65 7d 20 7b 0a 20 20 72 65 74 75  ogfile} {.  retu
04d0: 72 6e 20 5b 65 78 70 72 20 5b 66 69 6c 65 20 65  rn [expr [file e
04e0: 78 69 73 74 73 20 24 6c 6f 67 66 69 6c 65 5d 3d  xists $logfile]=
04f0: 3d 30 5d 0a 7d 0a 0a 23 0a 23 20 54 68 65 73 65  =0].}..#.# These
0500: 20 61 72 65 20 27 77 61 72 6d 2d 62 6f 64 79 27   are 'warm-body'
0510: 20 74 65 73 74 73 20 75 73 65 64 20 77 68 69 6c   tests used whil
0520: 65 20 64 65 76 65 6c 6f 70 69 6e 67 20 74 68 65  e developing the
0530: 20 57 41 4c 20 63 6f 64 65 2e 20 54 68 65 79 0a   WAL code. They.
0540: 23 20 73 65 72 76 65 20 74 6f 20 70 72 6f 76 65  # serve to prove
0550: 20 74 68 61 74 20 61 20 66 65 77 20 72 65 61 6c   that a few real
0560: 6c 79 20 73 69 6d 70 6c 65 20 63 61 73 65 73 20  ly simple cases 
0570: 77 6f 72 6b 3a 0a 23 0a 23 20 77 61 6c 2d 31 2e  work:.#.# wal-1.
0580: 2a 3a 20 52 65 61 64 20 61 6e 64 20 77 72 69 74  *: Read and writ
0590: 65 20 74 68 65 20 64 61 74 61 62 61 73 65 2e 0a  e the database..
05a0: 23 20 77 61 6c 2d 32 2e 2a 3a 20 54 65 73 74 20  # wal-2.*: Test 
05b0: 4d 56 43 43 20 77 69 74 68 20 6f 6e 65 20 72 65  MVCC with one re
05c0: 61 64 65 72 2c 20 6f 6e 65 20 77 72 69 74 65 72  ader, one writer
05d0: 2e 0a 23 20 77 61 6c 2d 33 2e 2a 3a 20 54 65 73  ..# wal-3.*: Tes
05e0: 74 20 74 72 61 6e 73 61 63 74 69 6f 6e 20 72 6f  t transaction ro
05f0: 6c 6c 62 61 63 6b 2e 0a 23 20 77 61 6c 2d 34 2e  llback..# wal-4.
0600: 2a 3a 20 54 65 73 74 20 73 61 76 65 70 6f 69 6e  *: Test savepoin
0610: 74 2f 73 74 61 74 65 6d 65 6e 74 20 72 6f 6c 6c  t/statement roll
0620: 62 61 63 6b 2e 0a 23 20 77 61 6c 2d 35 2e 2a 3a  back..# wal-5.*:
0630: 20 54 65 73 74 20 74 68 65 20 74 65 6d 70 20 64   Test the temp d
0640: 61 74 61 62 61 73 65 2e 0a 23 20 77 61 6c 2d 36  atabase..# wal-6
0650: 2e 2a 3a 20 54 65 73 74 20 63 72 65 61 74 69 6e  .*: Test creatin
0660: 67 20 64 61 74 61 62 61 73 65 73 20 77 69 74 68  g databases with
0670: 20 64 69 66 66 65 72 65 6e 74 20 70 61 67 65 20   different page 
0680: 73 69 7a 65 73 2e 0a 23 0a 0a 64 6f 5f 74 65 73  sizes..#..do_tes
0690: 74 20 77 61 6c 2d 30 2e 31 20 7b 0a 20 20 65 78  t wal-0.1 {.  ex
06a0: 65 63 73 71 6c 20 7b 20 50 52 41 47 4d 41 20 73  ecsql { PRAGMA s
06b0: 79 6e 63 68 72 6f 6e 6f 75 73 20 3d 20 6e 6f 72  ynchronous = nor
06c0: 6d 61 6c 20 7d 0a 20 20 65 78 65 63 73 71 6c 20  mal }.  execsql 
06d0: 7b 20 50 52 41 47 4d 41 20 6a 6f 75 72 6e 61 6c  { PRAGMA journal
06e0: 5f 6d 6f 64 65 20 3d 20 77 61 6c 20 7d 0a 7d 20  _mode = wal }.} 
06f0: 7b 77 61 6c 7d 0a 64 6f 5f 74 65 73 74 20 77 61  {wal}.do_test wa
0700: 6c 2d 30 2e 32 20 7b 0a 20 20 66 69 6c 65 20 73  l-0.2 {.  file s
0710: 69 7a 65 20 74 65 73 74 2e 64 62 0a 7d 20 7b 31  ize test.db.} {1
0720: 30 32 34 7d 0a 0a 64 6f 5f 74 65 73 74 20 77 61  024}..do_test wa
0730: 6c 2d 31 2e 30 20 7b 0a 20 20 65 78 65 63 73 71  l-1.0 {.  execsq
0740: 6c 20 7b 20 0a 20 20 20 20 42 45 47 49 4e 3b 0a  l { .    BEGIN;.
0750: 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45      CREATE TABLE
0760: 20 74 31 28 61 2c 20 62 29 3b 20 0a 20 20 7d 0a   t1(a, b); .  }.
0770: 20 20 6c 69 73 74 20 5b 66 69 6c 65 20 65 78 69    list [file exi
0780: 73 74 73 20 74 65 73 74 2e 64 62 2d 6a 6f 75 72  sts test.db-jour
0790: 6e 61 6c 5d 20 5c 0a 20 20 20 20 20 20 20 5b 66  nal] \.       [f
07a0: 69 6c 65 20 65 78 69 73 74 73 20 74 65 73 74 2e  ile exists test.
07b0: 64 62 2d 77 61 6c 5d 20 20 20 20 20 5c 0a 20 20  db-wal]     \.  
07c0: 20 20 20 20 20 5b 66 69 6c 65 20 73 69 7a 65 20       [file size 
07d0: 74 65 73 74 2e 64 62 5d 0a 7d 20 7b 30 20 31 20  test.db].} {0 1 
07e0: 31 30 32 34 7d 0a 64 6f 5f 74 65 73 74 20 77 61  1024}.do_test wa
07f0: 6c 2d 31 2e 31 20 7b 0a 20 20 65 78 65 63 73 71  l-1.1 {.  execsq
0800: 6c 20 43 4f 4d 4d 49 54 0a 20 20 6c 69 73 74 20  l COMMIT.  list 
0810: 5b 66 69 6c 65 20 65 78 69 73 74 73 20 74 65 73  [file exists tes
0820: 74 2e 64 62 2d 6a 6f 75 72 6e 61 6c 5d 20 5b 66  t.db-journal] [f
0830: 69 6c 65 20 65 78 69 73 74 73 20 74 65 73 74 2e  ile exists test.
0840: 64 62 2d 77 61 6c 5d 0a 7d 20 7b 30 20 31 7d 0a  db-wal].} {0 1}.
0850: 64 6f 5f 74 65 73 74 20 77 61 6c 2d 31 2e 32 20  do_test wal-1.2 
0860: 7b 0a 20 20 23 20 54 68 65 72 65 20 61 72 65 20  {.  # There are 
0870: 6e 6f 77 20 74 77 6f 20 70 61 67 65 73 20 69 6e  now two pages in
0880: 20 74 68 65 20 6c 6f 67 2e 0a 20 20 66 69 6c 65   the log..  file
0890: 20 73 69 7a 65 20 74 65 73 74 2e 64 62 2d 77 61   size test.db-wa
08a0: 6c 0a 7d 20 5b 6c 6f 67 5f 66 69 6c 65 5f 73 69  l.} [log_file_si
08b0: 7a 65 20 32 20 31 30 32 34 5d 0a 0a 64 6f 5f 74  ze 2 1024]..do_t
08c0: 65 73 74 20 77 61 6c 2d 31 2e 33 20 7b 0a 20 20  est wal-1.3 {.  
08d0: 65 78 65 63 73 71 6c 20 7b 20 53 45 4c 45 43 54  execsql { SELECT
08e0: 20 2a 20 46 52 4f 4d 20 73 71 6c 69 74 65 5f 6d   * FROM sqlite_m
08f0: 61 73 74 65 72 20 7d 0a 7d 20 7b 74 61 62 6c 65  aster }.} {table
0900: 20 74 31 20 74 31 20 32 20 7b 43 52 45 41 54 45   t1 t1 2 {CREATE
0910: 20 54 41 42 4c 45 20 74 31 28 61 2c 20 62 29 7d   TABLE t1(a, b)}
0920: 7d 0a 0a 64 6f 5f 74 65 73 74 20 77 61 6c 2d 31  }..do_test wal-1
0930: 2e 34 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  .4 {.  execsql {
0940: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
0950: 56 41 4c 55 45 53 28 31 2c 20 32 29 20 7d 0a 20  VALUES(1, 2) }. 
0960: 20 65 78 65 63 73 71 6c 20 7b 20 49 4e 53 45 52   execsql { INSER
0970: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53  T INTO t1 VALUES
0980: 28 33 2c 20 34 29 20 7d 0a 20 20 65 78 65 63 73  (3, 4) }.  execs
0990: 71 6c 20 7b 20 49 4e 53 45 52 54 20 49 4e 54 4f  ql { INSERT INTO
09a0: 20 74 31 20 56 41 4c 55 45 53 28 35 2c 20 36 29   t1 VALUES(5, 6)
09b0: 20 7d 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 49   }.  execsql { I
09c0: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41  NSERT INTO t1 VA
09d0: 4c 55 45 53 28 37 2c 20 38 29 20 7d 0a 20 20 65  LUES(7, 8) }.  e
09e0: 78 65 63 73 71 6c 20 7b 20 49 4e 53 45 52 54 20  xecsql { INSERT 
09f0: 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 39  INTO t1 VALUES(9
0a00: 2c 20 31 30 29 20 7d 0a 7d 20 7b 7d 0a 0a 64 6f  , 10) }.} {}..do
0a10: 5f 74 65 73 74 20 77 61 6c 2d 31 2e 35 20 7b 0a  _test wal-1.5 {.
0a20: 20 20 65 78 65 63 73 71 6c 20 7b 20 53 45 4c 45    execsql { SELE
0a30: 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 7d 0a 7d  CT * FROM t1 }.}
0a40: 20 7b 31 20 32 20 33 20 34 20 35 20 36 20 37 20   {1 2 3 4 5 6 7 
0a50: 38 20 39 20 31 30 7d 0a 0a 64 6f 5f 74 65 73 74  8 9 10}..do_test
0a60: 20 77 61 6c 2d 32 2e 31 20 7b 0a 20 20 73 71 6c   wal-2.1 {.  sql
0a70: 69 74 65 33 5f 77 61 6c 20 64 62 32 20 2e 2f 74  ite3_wal db2 ./t
0a80: 65 73 74 2e 64 62 0a 20 20 65 78 65 63 73 71 6c  est.db.  execsql
0a90: 20 7b 20 42 45 47 49 4e 3b 20 53 45 4c 45 43 54   { BEGIN; SELECT
0aa0: 20 2a 20 46 52 4f 4d 20 74 31 20 7d 20 64 62 32   * FROM t1 } db2
0ab0: 0a 7d 20 7b 31 20 32 20 33 20 34 20 35 20 36 20  .} {1 2 3 4 5 6 
0ac0: 37 20 38 20 39 20 31 30 7d 0a 0a 64 6f 5f 74 65  7 8 9 10}..do_te
0ad0: 73 74 20 77 61 6c 2d 32 2e 32 20 7b 0a 20 20 65  st wal-2.2 {.  e
0ae0: 78 65 63 73 71 6c 20 7b 20 49 4e 53 45 52 54 20  xecsql { INSERT 
0af0: 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 31  INTO t1 VALUES(1
0b00: 31 2c 20 31 32 29 20 7d 0a 20 20 65 78 65 63 73  1, 12) }.  execs
0b10: 71 6c 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52  ql { SELECT * FR
0b20: 4f 4d 20 74 31 20 7d 0a 7d 20 7b 31 20 32 20 33  OM t1 }.} {1 2 3
0b30: 20 34 20 35 20 36 20 37 20 38 20 39 20 31 30 20   4 5 6 7 8 9 10 
0b40: 31 31 20 31 32 7d 0a 0a 64 6f 5f 74 65 73 74 20  11 12}..do_test 
0b50: 77 61 6c 2d 32 2e 33 20 7b 0a 20 20 65 78 65 63  wal-2.3 {.  exec
0b60: 73 71 6c 20 7b 20 53 45 4c 45 43 54 20 2a 20 46  sql { SELECT * F
0b70: 52 4f 4d 20 74 31 20 7d 20 64 62 32 0a 7d 20 7b  ROM t1 } db2.} {
0b80: 31 20 32 20 33 20 34 20 35 20 36 20 37 20 38 20  1 2 3 4 5 6 7 8 
0b90: 39 20 31 30 7d 0a 0a 64 6f 5f 74 65 73 74 20 77  9 10}..do_test w
0ba0: 61 6c 2d 32 2e 34 20 7b 0a 20 20 65 78 65 63 73  al-2.4 {.  execs
0bb0: 71 6c 20 7b 20 49 4e 53 45 52 54 20 49 4e 54 4f  ql { INSERT INTO
0bc0: 20 74 31 20 56 41 4c 55 45 53 28 31 33 2c 20 31   t1 VALUES(13, 1
0bd0: 34 29 20 7d 0a 20 20 65 78 65 63 73 71 6c 20 7b  4) }.  execsql {
0be0: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74   SELECT * FROM t
0bf0: 31 20 7d 0a 7d 20 7b 31 20 32 20 33 20 34 20 35  1 }.} {1 2 3 4 5
0c00: 20 36 20 37 20 38 20 39 20 31 30 20 31 31 20 31   6 7 8 9 10 11 1
0c10: 32 20 31 33 20 31 34 7d 0a 0a 64 6f 5f 74 65 73  2 13 14}..do_tes
0c20: 74 20 77 61 6c 2d 32 2e 35 20 7b 0a 20 20 65 78  t wal-2.5 {.  ex
0c30: 65 63 73 71 6c 20 7b 20 53 45 4c 45 43 54 20 2a  ecsql { SELECT *
0c40: 20 46 52 4f 4d 20 74 31 20 7d 20 64 62 32 0a 7d   FROM t1 } db2.}
0c50: 20 7b 31 20 32 20 33 20 34 20 35 20 36 20 37 20   {1 2 3 4 5 6 7 
0c60: 38 20 39 20 31 30 7d 0a 0a 64 6f 5f 74 65 73 74  8 9 10}..do_test
0c70: 20 77 61 6c 2d 32 2e 36 20 7b 0a 20 20 65 78 65   wal-2.6 {.  exe
0c80: 63 73 71 6c 20 7b 20 43 4f 4d 4d 49 54 3b 20 53  csql { COMMIT; S
0c90: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20  ELECT * FROM t1 
0ca0: 7d 20 64 62 32 0a 7d 20 7b 31 20 32 20 33 20 34  } db2.} {1 2 3 4
0cb0: 20 35 20 36 20 37 20 38 20 39 20 31 30 20 31 31   5 6 7 8 9 10 11
0cc0: 20 31 32 20 31 33 20 31 34 7d 0a 0a 64 6f 5f 74   12 13 14}..do_t
0cd0: 65 73 74 20 77 61 6c 2d 33 2e 31 20 7b 0a 20 20  est wal-3.1 {.  
0ce0: 65 78 65 63 73 71 6c 20 7b 20 42 45 47 49 4e 3b  execsql { BEGIN;
0cf0: 20 44 45 4c 45 54 45 20 46 52 4f 4d 20 74 31 20   DELETE FROM t1 
0d00: 7d 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 53 45  }.  execsql { SE
0d10: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 7d  LECT * FROM t1 }
0d20: 0a 7d 20 7b 7d 0a 64 6f 5f 74 65 73 74 20 77 61  .} {}.do_test wa
0d30: 6c 2d 33 2e 32 20 7b 0a 20 20 65 78 65 63 73 71  l-3.2 {.  execsq
0d40: 6c 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f  l { SELECT * FRO
0d50: 4d 20 74 31 20 7d 20 64 62 32 0a 7d 20 7b 31 20  M t1 } db2.} {1 
0d60: 32 20 33 20 34 20 35 20 36 20 37 20 38 20 39 20  2 3 4 5 6 7 8 9 
0d70: 31 30 20 31 31 20 31 32 20 31 33 20 31 34 7d 0a  10 11 12 13 14}.
0d80: 64 6f 5f 74 65 73 74 20 77 61 6c 2d 33 2e 33 20  do_test wal-3.3 
0d90: 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 52 4f  {.  execsql { RO
0da0: 4c 4c 42 41 43 4b 20 7d 0a 20 20 65 78 65 63 73  LLBACK }.  execs
0db0: 71 6c 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52  ql { SELECT * FR
0dc0: 4f 4d 20 74 31 20 7d 0a 7d 20 7b 31 20 32 20 33  OM t1 }.} {1 2 3
0dd0: 20 34 20 35 20 36 20 37 20 38 20 39 20 31 30 20   4 5 6 7 8 9 10 
0de0: 31 31 20 31 32 20 31 33 20 31 34 7d 0a 64 62 32  11 12 13 14}.db2
0df0: 20 63 6c 6f 73 65 0a 0a 23 2d 2d 2d 2d 2d 2d 2d   close..#-------
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 2d 2d  ----------------
0e30: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0e40: 2d 2d 0a 23 20 54 68 65 20 66 6f 6c 6c 6f 77 69  --.# The followi
0e50: 6e 67 20 74 65 73 74 73 2c 20 77 61 6c 2d 34 2e  ng tests, wal-4.
0e60: 2a 2c 20 74 65 73 74 20 74 68 61 74 20 73 61 76  *, test that sav
0e70: 65 70 6f 69 6e 74 73 20 77 6f 72 6b 20 77 69 74  epoints work wit
0e80: 68 20 57 41 4c 20 0a 23 20 64 61 74 61 62 61 73  h WAL .# databas
0e90: 65 73 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 77 61  es..#.do_test wa
0ea0: 6c 2d 34 2e 31 20 7b 0a 20 20 65 78 65 63 73 71  l-4.1 {.  execsq
0eb0: 6c 20 7b 0a 20 20 20 20 44 45 4c 45 54 45 20 46  l {.    DELETE F
0ec0: 52 4f 4d 20 74 31 3b 0a 20 20 20 20 42 45 47 49  ROM t1;.    BEGI
0ed0: 4e 3b 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20  N;.      INSERT 
0ee0: 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 27  INTO t1 VALUES('
0ef0: 61 27 2c 20 27 62 27 29 3b 0a 20 20 20 20 20 20  a', 'b');.      
0f00: 53 41 56 45 50 4f 49 4e 54 20 73 70 3b 0a 20 20  SAVEPOINT sp;.  
0f10: 20 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54        INSERT INT
0f20: 4f 20 74 31 20 56 41 4c 55 45 53 28 27 63 27 2c  O t1 VALUES('c',
0f30: 20 27 64 27 29 3b 0a 20 20 20 20 20 20 20 20 53   'd');.        S
0f40: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 3b  ELECT * FROM t1;
0f50: 0a 20 20 7d 0a 7d 20 7b 61 20 62 20 63 20 64 7d  .  }.} {a b c d}
0f60: 0a 64 6f 5f 74 65 73 74 20 77 61 6c 2d 34 2e 32  .do_test wal-4.2
0f70: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20   {.  execsql {. 
0f80: 20 20 20 20 20 52 4f 4c 4c 42 41 43 4b 20 54 4f       ROLLBACK TO
0f90: 20 73 70 3b 0a 20 20 20 20 20 20 53 45 4c 45 43   sp;.      SELEC
0fa0: 54 20 2a 20 46 52 4f 4d 20 74 31 3b 0a 20 20 7d  T * FROM t1;.  }
0fb0: 0a 7d 20 7b 61 20 62 7d 0a 64 6f 5f 74 65 73 74  .} {a b}.do_test
0fc0: 20 77 61 6c 2d 34 2e 33 20 7b 0a 20 20 65 78 65   wal-4.3 {.  exe
0fd0: 63 73 71 6c 20 7b 0a 20 20 20 20 43 4f 4d 4d 49  csql {.    COMMI
0fe0: 54 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20  T;.    SELECT * 
0ff0: 46 52 4f 4d 20 74 31 3b 0a 20 20 7d 0a 7d 20 7b  FROM t1;.  }.} {
1000: 61 20 62 7d 0a 0a 64 6f 5f 74 65 73 74 20 77 61  a b}..do_test wa
1010: 6c 2d 34 2e 34 2e 31 20 7b 0a 20 20 64 62 20 63  l-4.4.1 {.  db c
1020: 6c 6f 73 65 0a 20 20 73 71 6c 69 74 65 33 20 64  lose.  sqlite3 d
1030: 62 20 74 65 73 74 2e 64 62 0a 20 20 64 62 20 66  b test.db.  db f
1040: 75 6e 63 20 62 6c 6f 62 20 62 6c 6f 62 0a 20 20  unc blob blob.  
1050: 6c 69 73 74 20 5b 65 78 65 63 73 71 6c 20 7b 20  list [execsql { 
1060: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31  SELECT * FROM t1
1070: 20 7d 5d 20 5b 66 69 6c 65 20 73 69 7a 65 20 74   }] [file size t
1080: 65 73 74 2e 64 62 2d 77 61 6c 5d 0a 7d 20 7b 7b  est.db-wal].} {{
1090: 61 20 62 7d 20 30 7d 0a 64 6f 5f 74 65 73 74 20  a b} 0}.do_test 
10a0: 77 61 6c 2d 34 2e 34 2e 32 20 7b 0a 20 20 65 78  wal-4.4.2 {.  ex
10b0: 65 63 73 71 6c 20 7b 20 50 52 41 47 4d 41 20 63  ecsql { PRAGMA c
10c0: 61 63 68 65 5f 73 69 7a 65 20 3d 20 31 30 20 7d  ache_size = 10 }
10d0: 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20  .  execsql {.   
10e0: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 32   CREATE TABLE t2
10f0: 28 61 2c 20 62 29 3b 0a 20 20 20 20 49 4e 53 45  (a, b);.    INSE
1100: 52 54 20 49 4e 54 4f 20 74 32 20 56 41 4c 55 45  RT INTO t2 VALUE
1110: 53 28 62 6c 6f 62 28 34 30 30 29 2c 20 62 6c 6f  S(blob(400), blo
1120: 62 28 34 30 30 29 29 3b 0a 20 20 20 20 53 41 56  b(400));.    SAV
1130: 45 50 4f 49 4e 54 20 74 72 3b 0a 20 20 20 20 20  EPOINT tr;.     
1140: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20   INSERT INTO t2 
1150: 53 45 4c 45 43 54 20 62 6c 6f 62 28 34 30 30 29  SELECT blob(400)
1160: 2c 20 62 6c 6f 62 28 34 30 30 29 20 46 52 4f 4d  , blob(400) FROM
1170: 20 74 32 3b 20 2f 2a 20 20 32 20 2a 2f 0a 20 20   t2; /*  2 */.  
1180: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
1190: 74 32 20 53 45 4c 45 43 54 20 62 6c 6f 62 28 34  t2 SELECT blob(4
11a0: 30 30 29 2c 20 62 6c 6f 62 28 34 30 30 29 20 46  00), blob(400) F
11b0: 52 4f 4d 20 74 32 3b 20 2f 2a 20 20 34 20 2a 2f  ROM t2; /*  4 */
11c0: 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e  .      INSERT IN
11d0: 54 4f 20 74 32 20 53 45 4c 45 43 54 20 62 6c 6f  TO t2 SELECT blo
11e0: 62 28 34 30 30 29 2c 20 62 6c 6f 62 28 34 30 30  b(400), blob(400
11f0: 29 20 46 52 4f 4d 20 74 32 3b 20 2f 2a 20 20 38  ) FROM t2; /*  8
1200: 20 2a 2f 0a 20 20 20 20 20 20 49 4e 53 45 52 54   */.      INSERT
1210: 20 49 4e 54 4f 20 74 32 20 53 45 4c 45 43 54 20   INTO t2 SELECT 
1220: 62 6c 6f 62 28 34 30 30 29 2c 20 62 6c 6f 62 28  blob(400), blob(
1230: 34 30 30 29 20 46 52 4f 4d 20 74 32 3b 20 2f 2a  400) FROM t2; /*
1240: 20 31 36 20 2a 2f 0a 20 20 20 20 20 20 49 4e 53   16 */.      INS
1250: 45 52 54 20 49 4e 54 4f 20 74 32 20 53 45 4c 45  ERT INTO t2 SELE
1260: 43 54 20 62 6c 6f 62 28 34 30 30 29 2c 20 62 6c  CT blob(400), bl
1270: 6f 62 28 34 30 30 29 20 46 52 4f 4d 20 74 32 3b  ob(400) FROM t2;
1280: 20 2f 2a 20 33 32 20 2a 2f 0a 20 20 20 20 20 20   /* 32 */.      
1290: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53  INSERT INTO t1 S
12a0: 45 4c 45 43 54 20 62 6c 6f 62 28 34 30 30 29 2c  ELECT blob(400),
12b0: 20 62 6c 6f 62 28 34 30 30 29 20 46 52 4f 4d 20   blob(400) FROM 
12c0: 74 31 3b 20 2f 2a 20 20 32 20 2a 2f 0a 20 20 20  t1; /*  2 */.   
12d0: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
12e0: 31 20 53 45 4c 45 43 54 20 62 6c 6f 62 28 34 30  1 SELECT blob(40
12f0: 30 29 2c 20 62 6c 6f 62 28 34 30 30 29 20 46 52  0), blob(400) FR
1300: 4f 4d 20 74 31 3b 20 2f 2a 20 20 34 20 2a 2f 0a  OM t1; /*  4 */.
1310: 20 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54        INSERT INT
1320: 4f 20 74 31 20 53 45 4c 45 43 54 20 62 6c 6f 62  O t1 SELECT blob
1330: 28 34 30 30 29 2c 20 62 6c 6f 62 28 34 30 30 29  (400), blob(400)
1340: 20 46 52 4f 4d 20 74 31 3b 20 2f 2a 20 20 38 20   FROM t1; /*  8 
1350: 2a 2f 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20  */.      INSERT 
1360: 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 62  INTO t1 SELECT b
1370: 6c 6f 62 28 34 30 30 29 2c 20 62 6c 6f 62 28 34  lob(400), blob(4
1380: 30 30 29 20 46 52 4f 4d 20 74 31 3b 20 2f 2a 20  00) FROM t1; /* 
1390: 31 36 20 2a 2f 0a 20 20 20 20 20 20 49 4e 53 45  16 */.      INSE
13a0: 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43  RT INTO t1 SELEC
13b0: 54 20 62 6c 6f 62 28 34 30 30 29 2c 20 62 6c 6f  T blob(400), blo
13c0: 62 28 34 30 30 29 20 46 52 4f 4d 20 74 31 3b 20  b(400) FROM t1; 
13d0: 2f 2a 20 33 32 20 2a 2f 0a 20 20 20 20 20 20 53  /* 32 */.      S
13e0: 45 4c 45 43 54 20 63 6f 75 6e 74 28 2a 29 20 46  ELECT count(*) F
13f0: 52 4f 4d 20 74 32 3b 0a 20 20 7d 0a 7d 20 7b 33  ROM t2;.  }.} {3
1400: 32 7d 0a 64 6f 5f 74 65 73 74 20 77 61 6c 2d 34  2}.do_test wal-4
1410: 2e 34 2e 33 20 7b 0a 20 20 65 78 65 63 73 71 6c  .4.3 {.  execsql
1420: 20 7b 20 52 4f 4c 4c 42 41 43 4b 20 54 4f 20 74   { ROLLBACK TO t
1430: 72 20 7d 0a 7d 20 7b 7d 0a 64 6f 5f 74 65 73 74  r }.} {}.do_test
1440: 20 77 61 6c 2d 34 2e 34 2e 34 20 7b 0a 20 20 73   wal-4.4.4 {.  s
1450: 65 74 20 6c 6f 67 73 69 7a 65 20 5b 66 69 6c 65  et logsize [file
1460: 20 73 69 7a 65 20 74 65 73 74 2e 64 62 2d 77 61   size test.db-wa
1470: 6c 5d 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20  l].  execsql {. 
1480: 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f       INSERT INTO
1490: 20 74 31 20 56 41 4c 55 45 53 28 27 78 27 2c 20   t1 VALUES('x', 
14a0: 27 79 27 29 3b 0a 20 20 20 20 52 45 4c 45 41 53  'y');.    RELEAS
14b0: 45 20 74 72 3b 0a 20 20 7d 0a 20 20 65 78 70 72  E tr;.  }.  expr
14c0: 20 7b 20 24 6c 6f 67 73 69 7a 65 20 3d 3d 20 5b   { $logsize == [
14d0: 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64  file size test.d
14e0: 62 2d 77 61 6c 5d 20 7d 0a 7d 20 7b 31 7d 0a 64  b-wal] }.} {1}.d
14f0: 6f 5f 74 65 73 74 20 77 61 6c 2d 34 2e 34 2e 35  o_test wal-4.4.5
1500: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 53   {.  execsql { S
1510: 45 4c 45 43 54 20 63 6f 75 6e 74 28 2a 29 20 46  ELECT count(*) F
1520: 52 4f 4d 20 74 32 20 7d 0a 7d 20 7b 31 7d 0a 64  ROM t2 }.} {1}.d
1530: 6f 5f 74 65 73 74 20 77 61 6c 2d 34 2e 34 2e 36  o_test wal-4.4.6
1540: 20 7b 0a 20 20 66 69 6c 65 20 63 6f 70 79 20 2d   {.  file copy -
1550: 66 6f 72 63 65 20 74 65 73 74 2e 64 62 20 74 65  force test.db te
1560: 73 74 32 2e 64 62 0a 20 20 66 69 6c 65 20 63 6f  st2.db.  file co
1570: 70 79 20 2d 66 6f 72 63 65 20 74 65 73 74 2e 64  py -force test.d
1580: 62 2d 77 61 6c 20 74 65 73 74 32 2e 64 62 2d 77  b-wal test2.db-w
1590: 61 6c 0a 20 20 73 71 6c 69 74 65 33 20 64 62 32  al.  sqlite3 db2
15a0: 20 74 65 73 74 32 2e 64 62 0a 20 20 65 78 65 63   test2.db.  exec
15b0: 73 71 6c 20 7b 20 53 45 4c 45 43 54 20 63 6f 75  sql { SELECT cou
15c0: 6e 74 28 2a 29 20 46 52 4f 4d 20 74 32 20 3b 20  nt(*) FROM t2 ; 
15d0: 53 45 4c 45 43 54 20 63 6f 75 6e 74 28 2a 29 20  SELECT count(*) 
15e0: 46 52 4f 4d 20 74 31 20 7d 20 64 62 32 0a 7d 20  FROM t1 } db2.} 
15f0: 7b 31 20 32 7d 0a 64 6f 5f 74 65 73 74 20 77 61  {1 2}.do_test wa
1600: 6c 2d 34 2e 34 2e 37 20 7b 0a 20 20 65 78 65 63  l-4.4.7 {.  exec
1610: 73 71 6c 20 7b 20 50 52 41 47 4d 41 20 69 6e 74  sql { PRAGMA int
1620: 65 67 72 69 74 79 5f 63 68 65 63 6b 20 7d 20 64  egrity_check } d
1630: 62 32 0a 7d 20 7b 6f 6b 7d 0a 64 62 32 20 63 6c  b2.} {ok}.db2 cl
1640: 6f 73 65 0a 0a 64 6f 5f 74 65 73 74 20 77 61 6c  ose..do_test wal
1650: 2d 34 2e 35 2e 31 20 7b 0a 20 20 72 65 6f 70 65  -4.5.1 {.  reope
1660: 6e 5f 64 62 0a 20 20 64 62 20 66 75 6e 63 20 62  n_db.  db func b
1670: 6c 6f 62 20 62 6c 6f 62 0a 20 20 65 78 65 63 73  lob blob.  execs
1680: 71 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d 41 20  ql {.    PRAGMA 
1690: 6a 6f 75 72 6e 61 6c 5f 6d 6f 64 65 20 3d 20 57  journal_mode = W
16a0: 41 4c 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54  AL;.    CREATE T
16b0: 41 42 4c 45 20 74 31 28 61 2c 20 62 29 3b 0a 20  ABLE t1(a, b);. 
16c0: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
16d0: 31 20 56 41 4c 55 45 53 28 27 61 27 2c 20 27 62  1 VALUES('a', 'b
16e0: 27 29 3b 0a 20 20 7d 0a 20 20 73 71 6c 69 74 65  ');.  }.  sqlite
16f0: 33 20 64 62 20 74 65 73 74 2e 64 62 0a 20 20 64  3 db test.db.  d
1700: 62 20 66 75 6e 63 20 62 6c 6f 62 20 62 6c 6f 62  b func blob blob
1710: 0a 20 20 6c 69 73 74 20 5b 65 78 65 63 73 71 6c  .  list [execsql
1720: 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d   { SELECT * FROM
1730: 20 74 31 20 7d 5d 20 5b 66 69 6c 65 20 73 69 7a   t1 }] [file siz
1740: 65 20 74 65 73 74 2e 64 62 2d 77 61 6c 5d 0a 7d  e test.db-wal].}
1750: 20 7b 7b 61 20 62 7d 20 30 7d 0a 64 6f 5f 74 65   {{a b} 0}.do_te
1760: 73 74 20 77 61 6c 2d 34 2e 35 2e 32 20 7b 0a 20  st wal-4.5.2 {. 
1770: 20 65 78 65 63 73 71 6c 20 7b 20 50 52 41 47 4d   execsql { PRAGM
1780: 41 20 63 61 63 68 65 5f 73 69 7a 65 20 3d 20 31  A cache_size = 1
1790: 30 20 7d 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  0 }.  execsql {.
17a0: 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45      CREATE TABLE
17b0: 20 74 32 28 61 2c 20 62 29 3b 0a 20 20 20 20 42   t2(a, b);.    B
17c0: 45 47 49 4e 3b 0a 20 20 20 20 49 4e 53 45 52 54  EGIN;.    INSERT
17d0: 20 49 4e 54 4f 20 74 32 20 56 41 4c 55 45 53 28   INTO t2 VALUES(
17e0: 62 6c 6f 62 28 34 30 30 29 2c 20 62 6c 6f 62 28  blob(400), blob(
17f0: 34 30 30 29 29 3b 0a 20 20 20 20 53 41 56 45 50  400));.    SAVEP
1800: 4f 49 4e 54 20 74 72 3b 0a 20 20 20 20 20 20 49  OINT tr;.      I
1810: 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20 53 45  NSERT INTO t2 SE
1820: 4c 45 43 54 20 62 6c 6f 62 28 34 30 30 29 2c 20  LECT blob(400), 
1830: 62 6c 6f 62 28 34 30 30 29 20 46 52 4f 4d 20 74  blob(400) FROM t
1840: 32 3b 20 2f 2a 20 20 32 20 2a 2f 0a 20 20 20 20  2; /*  2 */.    
1850: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32    INSERT INTO t2
1860: 20 53 45 4c 45 43 54 20 62 6c 6f 62 28 34 30 30   SELECT blob(400
1870: 29 2c 20 62 6c 6f 62 28 34 30 30 29 20 46 52 4f  ), blob(400) FRO
1880: 4d 20 74 32 3b 20 2f 2a 20 20 34 20 2a 2f 0a 20  M t2; /*  4 */. 
1890: 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f       INSERT INTO
18a0: 20 74 32 20 53 45 4c 45 43 54 20 62 6c 6f 62 28   t2 SELECT blob(
18b0: 34 30 30 29 2c 20 62 6c 6f 62 28 34 30 30 29 20  400), blob(400) 
18c0: 46 52 4f 4d 20 74 32 3b 20 2f 2a 20 20 38 20 2a  FROM t2; /*  8 *
18d0: 2f 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20 49  /.      INSERT I
18e0: 4e 54 4f 20 74 32 20 53 45 4c 45 43 54 20 62 6c  NTO t2 SELECT bl
18f0: 6f 62 28 34 30 30 29 2c 20 62 6c 6f 62 28 34 30  ob(400), blob(40
1900: 30 29 20 46 52 4f 4d 20 74 32 3b 20 2f 2a 20 31  0) FROM t2; /* 1
1910: 36 20 2a 2f 0a 20 20 20 20 20 20 49 4e 53 45 52  6 */.      INSER
1920: 54 20 49 4e 54 4f 20 74 32 20 53 45 4c 45 43 54  T INTO t2 SELECT
1930: 20 62 6c 6f 62 28 34 30 30 29 2c 20 62 6c 6f 62   blob(400), blob
1940: 28 34 30 30 29 20 46 52 4f 4d 20 74 32 3b 20 2f  (400) FROM t2; /
1950: 2a 20 33 32 20 2a 2f 0a 20 20 20 20 20 20 49 4e  * 32 */.      IN
1960: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c  SERT INTO t1 SEL
1970: 45 43 54 20 62 6c 6f 62 28 34 30 30 29 2c 20 62  ECT blob(400), b
1980: 6c 6f 62 28 34 30 30 29 20 46 52 4f 4d 20 74 31  lob(400) FROM t1
1990: 3b 20 2f 2a 20 20 32 20 2a 2f 0a 20 20 20 20 20  ; /*  2 */.     
19a0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
19b0: 53 45 4c 45 43 54 20 62 6c 6f 62 28 34 30 30 29  SELECT blob(400)
19c0: 2c 20 62 6c 6f 62 28 34 30 30 29 20 46 52 4f 4d  , blob(400) FROM
19d0: 20 74 31 3b 20 2f 2a 20 20 34 20 2a 2f 0a 20 20   t1; /*  4 */.  
19e0: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
19f0: 74 31 20 53 45 4c 45 43 54 20 62 6c 6f 62 28 34  t1 SELECT blob(4
1a00: 30 30 29 2c 20 62 6c 6f 62 28 34 30 30 29 20 46  00), blob(400) F
1a10: 52 4f 4d 20 74 31 3b 20 2f 2a 20 20 38 20 2a 2f  ROM t1; /*  8 */
1a20: 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e  .      INSERT IN
1a30: 54 4f 20 74 31 20 53 45 4c 45 43 54 20 62 6c 6f  TO t1 SELECT blo
1a40: 62 28 34 30 30 29 2c 20 62 6c 6f 62 28 34 30 30  b(400), blob(400
1a50: 29 20 46 52 4f 4d 20 74 31 3b 20 2f 2a 20 31 36  ) FROM t1; /* 16
1a60: 20 2a 2f 0a 20 20 20 20 20 20 49 4e 53 45 52 54   */.      INSERT
1a70: 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20   INTO t1 SELECT 
1a80: 62 6c 6f 62 28 34 30 30 29 2c 20 62 6c 6f 62 28  blob(400), blob(
1a90: 34 30 30 29 20 46 52 4f 4d 20 74 31 3b 20 2f 2a  400) FROM t1; /*
1aa0: 20 33 32 20 2a 2f 0a 20 20 20 20 20 20 53 45 4c   32 */.      SEL
1ab0: 45 43 54 20 63 6f 75 6e 74 28 2a 29 20 46 52 4f  ECT count(*) FRO
1ac0: 4d 20 74 32 3b 0a 20 20 7d 0a 7d 20 7b 33 32 7d  M t2;.  }.} {32}
1ad0: 0a 64 6f 5f 74 65 73 74 20 77 61 6c 2d 34 2e 35  .do_test wal-4.5
1ae0: 2e 33 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  .3 {.  execsql {
1af0: 20 52 4f 4c 4c 42 41 43 4b 20 54 4f 20 74 72 20   ROLLBACK TO tr 
1b00: 7d 0a 7d 20 7b 7d 0a 64 6f 5f 74 65 73 74 20 77  }.} {}.do_test w
1b10: 61 6c 2d 34 2e 35 2e 34 20 7b 0a 20 20 73 65 74  al-4.5.4 {.  set
1b20: 20 6c 6f 67 73 69 7a 65 20 5b 66 69 6c 65 20 73   logsize [file s
1b30: 69 7a 65 20 74 65 73 74 2e 64 62 2d 77 61 6c 5d  ize test.db-wal]
1b40: 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20  .  execsql {.   
1b50: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
1b60: 31 20 56 41 4c 55 45 53 28 27 78 27 2c 20 27 79  1 VALUES('x', 'y
1b70: 27 29 3b 0a 20 20 20 20 52 45 4c 45 41 53 45 20  ');.    RELEASE 
1b80: 74 72 3b 0a 20 20 20 20 43 4f 4d 4d 49 54 3b 0a  tr;.    COMMIT;.
1b90: 20 20 7d 0a 20 20 65 78 70 72 20 7b 20 24 6c 6f    }.  expr { $lo
1ba0: 67 73 69 7a 65 20 3d 3d 20 5b 66 69 6c 65 20 73  gsize == [file s
1bb0: 69 7a 65 20 74 65 73 74 2e 64 62 2d 77 61 6c 5d  ize test.db-wal]
1bc0: 20 7d 0a 7d 20 7b 31 7d 0a 64 6f 5f 74 65 73 74   }.} {1}.do_test
1bd0: 20 77 61 6c 2d 34 2e 35 2e 35 20 7b 0a 20 20 65   wal-4.5.5 {.  e
1be0: 78 65 63 73 71 6c 20 7b 20 53 45 4c 45 43 54 20  xecsql { SELECT 
1bf0: 63 6f 75 6e 74 28 2a 29 20 46 52 4f 4d 20 74 32  count(*) FROM t2
1c00: 20 3b 20 53 45 4c 45 43 54 20 63 6f 75 6e 74 28   ; SELECT count(
1c10: 2a 29 20 46 52 4f 4d 20 74 31 20 7d 0a 7d 20 7b  *) FROM t1 }.} {
1c20: 31 20 32 7d 0a 64 6f 5f 74 65 73 74 20 77 61 6c  1 2}.do_test wal
1c30: 2d 34 2e 35 2e 36 20 7b 0a 20 20 66 69 6c 65 20  -4.5.6 {.  file 
1c40: 63 6f 70 79 20 2d 66 6f 72 63 65 20 74 65 73 74  copy -force test
1c50: 2e 64 62 20 74 65 73 74 32 2e 64 62 0a 20 20 66  .db test2.db.  f
1c60: 69 6c 65 20 63 6f 70 79 20 2d 66 6f 72 63 65 20  ile copy -force 
1c70: 74 65 73 74 2e 64 62 2d 77 61 6c 20 74 65 73 74  test.db-wal test
1c80: 32 2e 64 62 2d 77 61 6c 0a 20 20 73 71 6c 69 74  2.db-wal.  sqlit
1c90: 65 33 20 64 62 32 20 74 65 73 74 32 2e 64 62 0a  e3 db2 test2.db.
1ca0: 20 20 65 78 65 63 73 71 6c 20 7b 20 53 45 4c 45    execsql { SELE
1cb0: 43 54 20 63 6f 75 6e 74 28 2a 29 20 46 52 4f 4d  CT count(*) FROM
1cc0: 20 74 32 20 3b 20 53 45 4c 45 43 54 20 63 6f 75   t2 ; SELECT cou
1cd0: 6e 74 28 2a 29 20 46 52 4f 4d 20 74 31 20 7d 20  nt(*) FROM t1 } 
1ce0: 64 62 32 0a 7d 20 7b 31 20 32 7d 0a 64 6f 5f 74  db2.} {1 2}.do_t
1cf0: 65 73 74 20 77 61 6c 2d 34 2e 35 2e 37 20 7b 0a  est wal-4.5.7 {.
1d00: 20 20 65 78 65 63 73 71 6c 20 7b 20 50 52 41 47    execsql { PRAG
1d10: 4d 41 20 69 6e 74 65 67 72 69 74 79 5f 63 68 65  MA integrity_che
1d20: 63 6b 20 7d 20 64 62 32 0a 7d 20 7b 6f 6b 7d 0a  ck } db2.} {ok}.
1d30: 64 62 32 20 63 6c 6f 73 65 0a 0a 0a 72 65 6f 70  db2 close...reop
1d40: 65 6e 5f 64 62 0a 64 6f 5f 74 65 73 74 20 77 61  en_db.do_test wa
1d50: 6c 2d 35 2e 31 20 7b 0a 20 20 65 78 65 63 73 71  l-5.1 {.  execsq
1d60: 6c 20 7b 0a 20 20 20 20 43 52 45 41 54 45 20 54  l {.    CREATE T
1d70: 45 4d 50 20 54 41 42 4c 45 20 74 32 28 61 2c 20  EMP TABLE t2(a, 
1d80: 62 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  b);.    INSERT I
1d90: 4e 54 4f 20 74 32 20 56 41 4c 55 45 53 28 31 2c  NTO t2 VALUES(1,
1da0: 20 32 29 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 64 6f   2);.  }.} {}.do
1db0: 5f 74 65 73 74 20 77 61 6c 2d 35 2e 32 20 7b 0a  _test wal-5.2 {.
1dc0: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
1dd0: 42 45 47 49 4e 3b 0a 20 20 20 20 20 20 49 4e 53  BEGIN;.      INS
1de0: 45 52 54 20 49 4e 54 4f 20 74 32 20 56 41 4c 55  ERT INTO t2 VALU
1df0: 45 53 28 33 2c 20 34 29 3b 0a 20 20 20 20 20 20  ES(3, 4);.      
1e00: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32  SELECT * FROM t2
1e10: 3b 0a 20 20 7d 0a 7d 20 7b 31 20 32 20 33 20 34  ;.  }.} {1 2 3 4
1e20: 7d 0a 64 6f 5f 74 65 73 74 20 77 61 6c 2d 35 2e  }.do_test wal-5.
1e30: 33 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  3 {.  execsql {.
1e40: 20 20 20 20 52 4f 4c 4c 42 41 43 4b 3b 0a 20 20      ROLLBACK;.  
1e50: 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20    SELECT * FROM 
1e60: 74 32 3b 0a 20 20 7d 0a 7d 20 7b 31 20 32 7d 0a  t2;.  }.} {1 2}.
1e70: 64 6f 5f 74 65 73 74 20 77 61 6c 2d 35 2e 34 20  do_test wal-5.4 
1e80: 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20  {.  execsql {.  
1e90: 20 20 43 52 45 41 54 45 20 54 45 4d 50 20 54 41    CREATE TEMP TA
1ea0: 42 4c 45 20 74 33 28 78 20 55 4e 49 51 55 45 29  BLE t3(x UNIQUE)
1eb0: 3b 0a 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20  ;.    BEGIN;.   
1ec0: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
1ed0: 32 20 56 41 4c 55 45 53 28 33 2c 20 34 29 3b 0a  2 VALUES(3, 4);.
1ee0: 20 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54        INSERT INT
1ef0: 4f 20 74 33 20 56 41 4c 55 45 53 28 27 61 62 63  O t3 VALUES('abc
1f00: 27 29 3b 0a 20 20 7d 0a 20 20 63 61 74 63 68 73  ');.  }.  catchs
1f10: 71 6c 20 7b 20 49 4e 53 45 52 54 20 49 4e 54 4f  ql { INSERT INTO
1f20: 20 74 33 20 56 41 4c 55 45 53 28 27 61 62 63 27   t3 VALUES('abc'
1f30: 29 20 7d 0a 7d 20 7b 31 20 7b 63 6f 6c 75 6d 6e  ) }.} {1 {column
1f40: 20 78 20 69 73 20 6e 6f 74 20 75 6e 69 71 75 65   x is not unique
1f50: 7d 7d 0a 64 6f 5f 74 65 73 74 20 77 61 6c 2d 35  }}.do_test wal-5
1f60: 2e 35 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  .5 {.  execsql {
1f70: 0a 20 20 20 20 43 4f 4d 4d 49 54 3b 0a 20 20 20  .    COMMIT;.   
1f80: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74   SELECT * FROM t
1f90: 32 3b 0a 20 20 7d 0a 7d 20 7b 31 20 32 20 33 20  2;.  }.} {1 2 3 
1fa0: 34 7d 0a 64 62 20 63 6c 6f 73 65 0a 0a 66 6f 72  4}.db close..for
1fb0: 65 61 63 68 20 73 65 63 74 6f 72 20 7b 35 31 32  each sector {512
1fc0: 20 34 30 39 36 7d 20 7b 0a 20 20 73 71 6c 69 74   4096} {.  sqlit
1fd0: 65 33 5f 73 69 6d 75 6c 61 74 65 5f 64 65 76 69  e3_simulate_devi
1fe0: 63 65 20 2d 73 65 63 74 6f 72 73 69 7a 65 20 24  ce -sectorsize $
1ff0: 73 65 63 74 6f 72 0a 20 20 66 6f 72 65 61 63 68  sector.  foreach
2000: 20 70 67 73 7a 20 7b 35 31 32 20 31 30 32 34 20   pgsz {512 1024 
2010: 32 30 34 38 20 34 30 39 36 7d 20 7b 0a 20 20 20  2048 4096} {.   
2020: 20 66 69 6c 65 20 64 65 6c 65 74 65 20 2d 66 6f   file delete -fo
2030: 72 63 65 20 74 65 73 74 2e 64 62 20 74 65 73 74  rce test.db test
2040: 2e 64 62 2d 77 61 6c 0a 20 20 20 20 64 6f 5f 74  .db-wal.    do_t
2050: 65 73 74 20 77 61 6c 2d 36 2e 24 73 65 63 74 6f  est wal-6.$secto
2060: 72 2e 24 70 67 73 7a 2e 31 20 7b 0a 20 20 20 20  r.$pgsz.1 {.    
2070: 20 20 73 71 6c 69 74 65 33 20 64 62 20 74 65 73    sqlite3 db tes
2080: 74 2e 64 62 20 2d 76 66 73 20 64 65 76 73 79 6d  t.db -vfs devsym
2090: 0a 20 20 20 20 20 20 65 78 65 63 73 71 6c 20 22  .      execsql "
20a0: 0a 20 20 20 20 20 20 20 20 50 52 41 47 4d 41 20  .        PRAGMA 
20b0: 70 61 67 65 5f 73 69 7a 65 20 3d 20 24 70 67 73  page_size = $pgs
20c0: 7a 3b 0a 20 20 20 20 20 20 20 20 50 52 41 47 4d  z;.        PRAGM
20d0: 41 20 6a 6f 75 72 6e 61 6c 5f 6d 6f 64 65 20 3d  A journal_mode =
20e0: 20 77 61 6c 3b 0a 20 20 20 20 20 20 22 0a 20 20   wal;.      ".  
20f0: 20 20 20 20 65 78 65 63 73 71 6c 20 22 0a 20 20      execsql ".  
2100: 20 20 20 20 20 20 43 52 45 41 54 45 20 54 41 42        CREATE TAB
2110: 4c 45 20 74 31 28 61 2c 20 62 29 3b 0a 20 20 20  LE t1(a, b);.   
2120: 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f       INSERT INTO
2130: 20 74 31 20 56 41 4c 55 45 53 28 31 2c 20 32 29   t1 VALUES(1, 2)
2140: 3b 0a 20 20 20 20 20 20 22 0a 20 20 20 20 20 20  ;.      ".      
2150: 64 62 20 63 6c 6f 73 65 0a 20 20 20 20 20 20 66  db close.      f
2160: 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62  ile size test.db
2170: 0a 20 20 20 20 7d 20 5b 65 78 70 72 20 24 70 67  .    } [expr $pg
2180: 73 7a 2a 32 5d 0a 20 20 0a 20 20 20 20 64 6f 5f  sz*2].  .    do_
2190: 74 65 73 74 20 77 61 6c 2d 36 2e 24 73 65 63 74  test wal-6.$sect
21a0: 6f 72 2e 24 70 67 73 7a 2e 32 20 7b 0a 20 20 20  or.$pgsz.2 {.   
21b0: 20 20 20 6c 6f 67 5f 64 65 6c 65 74 65 64 20 74     log_deleted t
21c0: 65 73 74 2e 64 62 2d 77 61 6c 0a 20 20 20 20 7d  est.db-wal.    }
21d0: 20 7b 31 7d 0a 20 20 7d 0a 7d 0a 0a 64 6f 5f 74   {1}.  }.}..do_t
21e0: 65 73 74 20 77 61 6c 2d 37 2e 31 20 7b 0a 20 20  est wal-7.1 {.  
21f0: 66 69 6c 65 20 64 65 6c 65 74 65 20 2d 66 6f 72  file delete -for
2200: 63 65 20 74 65 73 74 2e 64 62 20 74 65 73 74 2e  ce test.db test.
2210: 64 62 2d 77 61 6c 0a 20 20 73 71 6c 69 74 65 33  db-wal.  sqlite3
2220: 5f 77 61 6c 20 64 62 20 74 65 73 74 2e 64 62 0a  _wal db test.db.
2230: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
2240: 50 52 41 47 4d 41 20 70 61 67 65 5f 73 69 7a 65  PRAGMA page_size
2250: 20 3d 20 31 30 32 34 3b 0a 20 20 20 20 43 52 45   = 1024;.    CRE
2260: 41 54 45 20 54 41 42 4c 45 20 74 31 28 61 2c 20  ATE TABLE t1(a, 
2270: 62 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  b);.    INSERT I
2280: 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 31 2c  NTO t1 VALUES(1,
2290: 20 32 29 3b 0a 20 20 7d 0a 20 20 6c 69 73 74 20   2);.  }.  list 
22a0: 5b 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e  [file size test.
22b0: 64 62 5d 20 5b 66 69 6c 65 20 73 69 7a 65 20 74  db] [file size t
22c0: 65 73 74 2e 64 62 2d 77 61 6c 5d 0a 7d 20 5b 6c  est.db-wal].} [l
22d0: 69 73 74 20 31 30 32 34 20 5b 6c 6f 67 5f 66 69  ist 1024 [log_fi
22e0: 6c 65 5f 73 69 7a 65 20 33 20 31 30 32 34 5d 5d  le_size 3 1024]]
22f0: 0a 64 6f 5f 74 65 73 74 20 77 61 6c 2d 37 2e 32  .do_test wal-7.2
2300: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 50   {.  execsql { P
2310: 52 41 47 4d 41 20 63 68 65 63 6b 70 6f 69 6e 74  RAGMA checkpoint
2320: 20 7d 0a 20 20 6c 69 73 74 20 5b 66 69 6c 65 20   }.  list [file 
2330: 73 69 7a 65 20 74 65 73 74 2e 64 62 5d 20 5b 66  size test.db] [f
2340: 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62  ile size test.db
2350: 2d 77 61 6c 5d 0a 7d 20 5b 6c 69 73 74 20 32 30  -wal].} [list 20
2360: 34 38 20 5b 6c 6f 67 5f 66 69 6c 65 5f 73 69 7a  48 [log_file_siz
2370: 65 20 33 20 31 30 32 34 5d 5d 0a 0a 23 20 45 78  e 3 1024]]..# Ex
2380: 65 63 75 74 65 20 73 6f 6d 65 20 74 72 61 6e 73  ecute some trans
2390: 61 63 74 69 6f 6e 73 20 69 6e 20 61 75 74 6f 2d  actions in auto-
23a0: 76 61 63 75 75 6d 20 6d 6f 64 65 20 74 6f 20 74  vacuum mode to t
23b0: 65 73 74 20 64 61 74 61 62 61 73 65 20 66 69 6c  est database fil
23c0: 65 0a 23 20 74 72 75 6e 63 61 74 69 6f 6e 2e 0a  e.# truncation..
23d0: 23 0a 64 6f 5f 74 65 73 74 20 77 61 6c 2d 38 2e  #.do_test wal-8.
23e0: 31 20 7b 0a 20 20 72 65 6f 70 65 6e 5f 64 62 0a  1 {.  reopen_db.
23f0: 20 20 63 61 74 63 68 20 7b 20 64 62 20 63 6c 6f    catch { db clo
2400: 73 65 20 7d 0a 20 20 66 69 6c 65 20 64 65 6c 65  se }.  file dele
2410: 74 65 20 2d 66 6f 72 63 65 20 74 65 73 74 2e 64  te -force test.d
2420: 62 20 74 65 73 74 2e 64 62 2d 77 61 6c 0a 0a 20  b test.db-wal.. 
2430: 20 73 71 6c 69 74 65 33 20 64 62 20 74 65 73 74   sqlite3 db test
2440: 2e 64 62 0a 20 20 64 62 20 66 75 6e 63 74 69 6f  .db.  db functio
2450: 6e 20 62 6c 6f 62 20 62 6c 6f 62 0a 20 20 65 78  n blob blob.  ex
2460: 65 63 73 71 6c 20 7b 0a 20 20 20 20 50 52 41 47  ecsql {.    PRAG
2470: 4d 41 20 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d  MA auto_vacuum =
2480: 20 31 3b 0a 20 20 20 20 50 52 41 47 4d 41 20 6a   1;.    PRAGMA j
2490: 6f 75 72 6e 61 6c 5f 6d 6f 64 65 20 3d 20 77 61  ournal_mode = wa
24a0: 6c 3b 0a 20 20 20 20 50 52 41 47 4d 41 20 61 75  l;.    PRAGMA au
24b0: 74 6f 5f 76 61 63 75 75 6d 3b 0a 20 20 7d 0a 7d  to_vacuum;.  }.}
24c0: 20 7b 77 61 6c 20 31 7d 0a 64 6f 5f 74 65 73 74   {wal 1}.do_test
24d0: 20 77 61 6c 2d 38 2e 32 20 7b 0a 20 20 65 78 65   wal-8.2 {.  exe
24e0: 63 73 71 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d  csql {.    PRAGM
24f0: 41 20 70 61 67 65 5f 73 69 7a 65 20 3d 20 31 30  A page_size = 10
2500: 32 34 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54  24;.    CREATE T
2510: 41 42 4c 45 20 74 31 28 78 29 3b 0a 20 20 20 20  ABLE t1(x);.    
2520: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56  INSERT INTO t1 V
2530: 41 4c 55 45 53 28 62 6c 6f 62 28 39 30 30 29 29  ALUES(blob(900))
2540: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
2550: 4f 20 74 31 20 56 41 4c 55 45 53 28 62 6c 6f 62  O t1 VALUES(blob
2560: 28 39 30 30 29 29 3b 0a 20 20 20 20 49 4e 53 45  (900));.    INSE
2570: 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43  RT INTO t1 SELEC
2580: 54 20 62 6c 6f 62 28 39 30 30 29 20 46 52 4f 4d  T blob(900) FROM
2590: 20 74 31 3b 20 20 20 20 20 20 20 2f 2a 20 20 34   t1;       /*  4
25a0: 20 2a 2f 0a 20 20 20 20 49 4e 53 45 52 54 20 49   */.    INSERT I
25b0: 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 62 6c  NTO t1 SELECT bl
25c0: 6f 62 28 39 30 30 29 20 46 52 4f 4d 20 74 31 3b  ob(900) FROM t1;
25d0: 20 20 20 20 20 20 20 2f 2a 20 20 38 20 2a 2f 0a         /*  8 */.
25e0: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
25f0: 74 31 20 53 45 4c 45 43 54 20 62 6c 6f 62 28 39  t1 SELECT blob(9
2600: 30 30 29 20 46 52 4f 4d 20 74 31 3b 20 20 20 20  00) FROM t1;    
2610: 20 20 20 2f 2a 20 31 36 20 2a 2f 0a 20 20 20 20     /* 16 */.    
2620: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53  INSERT INTO t1 S
2630: 45 4c 45 43 54 20 62 6c 6f 62 28 39 30 30 29 20  ELECT blob(900) 
2640: 46 52 4f 4d 20 74 31 3b 20 20 20 20 20 20 20 2f  FROM t1;       /
2650: 2a 20 33 32 20 2a 2f 0a 20 20 20 20 49 4e 53 45  * 32 */.    INSE
2660: 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43  RT INTO t1 SELEC
2670: 54 20 62 6c 6f 62 28 39 30 30 29 20 46 52 4f 4d  T blob(900) FROM
2680: 20 74 31 3b 20 20 20 20 20 20 20 2f 2a 20 36 34   t1;       /* 64
2690: 20 2a 2f 0a 20 20 20 20 50 52 41 47 4d 41 20 63   */.    PRAGMA c
26a0: 68 65 63 6b 70 6f 69 6e 74 3b 0a 20 20 7d 0a 20  heckpoint;.  }. 
26b0: 20 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e   file size test.
26c0: 64 62 0a 7d 20 5b 65 78 70 72 20 36 38 2a 31 30  db.} [expr 68*10
26d0: 32 34 5d 0a 64 6f 5f 74 65 73 74 20 77 61 6c 2d  24].do_test wal-
26e0: 38 2e 33 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  8.3 {.  execsql 
26f0: 7b 20 0a 20 20 20 20 44 45 4c 45 54 45 20 46 52  { .    DELETE FR
2700: 4f 4d 20 74 31 20 57 48 45 52 45 20 72 6f 77 69  OM t1 WHERE rowi
2710: 64 3c 35 34 3b 0a 20 20 20 20 50 52 41 47 4d 41  d<54;.    PRAGMA
2720: 20 63 68 65 63 6b 70 6f 69 6e 74 3b 0a 20 20 7d   checkpoint;.  }
2730: 0a 20 20 66 69 6c 65 20 73 69 7a 65 20 74 65 73  .  file size tes
2740: 74 2e 64 62 0a 7d 20 5b 65 78 70 72 20 31 34 2a  t.db.} [expr 14*
2750: 31 30 32 34 5d 0a 0a 23 20 52 75 6e 20 73 6f 6d  1024]..# Run som
2760: 65 20 22 77 61 72 6d 2d 62 6f 64 79 22 20 74 65  e "warm-body" te
2770: 73 74 73 20 74 6f 20 65 6e 73 75 72 65 20 74 68  sts to ensure th
2780: 61 74 20 6c 6f 67 2d 73 75 6d 6d 61 72 79 20 66  at log-summary f
2790: 69 6c 65 73 20 77 69 74 68 20 6d 6f 72 65 0a 23  iles with more.#
27a0: 20 74 68 61 6e 20 32 35 36 20 65 6e 74 72 69 65   than 256 entrie
27b0: 73 20 28 6c 6f 67 20 73 75 6d 6d 61 72 69 65 73  s (log summaries
27c0: 20 74 68 61 74 20 63 6f 6e 74 61 69 6e 20 69 6e   that contain in
27d0: 64 65 78 20 62 6c 6f 63 6b 73 29 20 77 6f 72 6b  dex blocks) work
27e0: 20 4f 6b 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 77   Ok..#.do_test w
27f0: 61 6c 2d 39 2e 31 20 7b 0a 20 20 72 65 6f 70 65  al-9.1 {.  reope
2800: 6e 5f 64 62 0a 20 20 65 78 65 63 73 71 6c 20 7b  n_db.  execsql {
2810: 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c  .    CREATE TABL
2820: 45 20 74 31 28 78 20 50 52 49 4d 41 52 59 20 4b  E t1(x PRIMARY K
2830: 45 59 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20  EY);.    INSERT 
2840: 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 62  INTO t1 VALUES(b
2850: 6c 6f 62 28 39 30 30 29 29 3b 0a 20 20 20 20 49  lob(900));.    I
2860: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41  NSERT INTO t1 VA
2870: 4c 55 45 53 28 62 6c 6f 62 28 39 30 30 29 29 3b  LUES(blob(900));
2880: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
2890: 20 74 31 20 53 45 4c 45 43 54 20 62 6c 6f 62 28   t1 SELECT blob(
28a0: 39 30 30 29 20 46 52 4f 4d 20 74 31 3b 20 20 20  900) FROM t1;   
28b0: 20 20 20 20 2f 2a 20 20 34 20 2a 2f 0a 20 20 20      /*  4 */.   
28c0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
28d0: 53 45 4c 45 43 54 20 62 6c 6f 62 28 39 30 30 29  SELECT blob(900)
28e0: 20 46 52 4f 4d 20 74 31 3b 20 20 20 20 20 20 20   FROM t1;       
28f0: 2f 2a 20 20 38 20 2a 2f 0a 20 20 20 20 49 4e 53  /*  8 */.    INS
2900: 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45  ERT INTO t1 SELE
2910: 43 54 20 62 6c 6f 62 28 39 30 30 29 20 46 52 4f  CT blob(900) FRO
2920: 4d 20 74 31 3b 20 20 20 20 20 20 20 2f 2a 20 31  M t1;       /* 1
2930: 36 20 2a 2f 0a 20 20 20 20 49 4e 53 45 52 54 20  6 */.    INSERT 
2940: 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 62  INTO t1 SELECT b
2950: 6c 6f 62 28 39 30 30 29 20 46 52 4f 4d 20 74 31  lob(900) FROM t1
2960: 3b 20 20 20 20 20 20 20 2f 2a 20 33 32 20 2a 2f  ;       /* 32 */
2970: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
2980: 20 74 31 20 53 45 4c 45 43 54 20 62 6c 6f 62 28   t1 SELECT blob(
2990: 39 30 30 29 20 46 52 4f 4d 20 74 31 3b 20 20 20  900) FROM t1;   
29a0: 20 20 20 20 2f 2a 20 36 34 20 2a 2f 0a 20 20 20      /* 64 */.   
29b0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
29c0: 53 45 4c 45 43 54 20 62 6c 6f 62 28 39 30 30 29  SELECT blob(900)
29d0: 20 46 52 4f 4d 20 74 31 3b 20 20 20 20 20 20 20   FROM t1;       
29e0: 2f 2a 20 31 32 38 20 2a 2f 0a 20 20 20 20 49 4e  /* 128 */.    IN
29f0: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c  SERT INTO t1 SEL
2a00: 45 43 54 20 62 6c 6f 62 28 39 30 30 29 20 46 52  ECT blob(900) FR
2a10: 4f 4d 20 74 31 3b 20 20 20 20 20 20 20 2f 2a 20  OM t1;       /* 
2a20: 32 35 36 20 2a 2f 0a 20 20 7d 0a 20 20 66 69 6c  256 */.  }.  fil
2a30: 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62 0a 7d  e size test.db.}
2a40: 20 31 30 32 34 0a 64 6f 5f 74 65 73 74 20 77 61   1024.do_test wa
2a50: 6c 2d 39 2e 32 20 7b 0a 20 20 73 71 6c 69 74 65  l-9.2 {.  sqlite
2a60: 33 5f 77 61 6c 20 64 62 32 20 74 65 73 74 2e 64  3_wal db2 test.d
2a70: 62 0a 20 20 65 78 65 63 73 71 6c 20 7b 50 52 41  b.  execsql {PRA
2a80: 47 4d 41 20 69 6e 74 65 67 72 69 74 79 5f 63 68  GMA integrity_ch
2a90: 65 63 6b 20 7d 20 64 62 32 0a 7d 20 7b 6f 6b 7d  eck } db2.} {ok}
2aa0: 0a 0a 64 6f 5f 74 65 73 74 20 77 61 6c 2d 39 2e  ..do_test wal-9.
2ab0: 33 20 7b 0a 20 20 66 69 6c 65 20 64 65 6c 65 74  3 {.  file delet
2ac0: 65 20 2d 66 6f 72 63 65 20 74 65 73 74 32 2e 64  e -force test2.d
2ad0: 62 20 74 65 73 74 32 2e 64 62 2d 77 61 6c 0a 20  b test2.db-wal. 
2ae0: 20 66 69 6c 65 20 63 6f 70 79 20 74 65 73 74 2e   file copy test.
2af0: 64 62 20 74 65 73 74 32 2e 64 62 0a 20 20 66 69  db test2.db.  fi
2b00: 6c 65 20 63 6f 70 79 20 74 65 73 74 2e 64 62 2d  le copy test.db-
2b10: 77 61 6c 20 74 65 73 74 32 2e 64 62 2d 77 61 6c  wal test2.db-wal
2b20: 0a 20 20 73 71 6c 69 74 65 33 5f 77 61 6c 20 64  .  sqlite3_wal d
2b30: 62 33 20 74 65 73 74 32 2e 64 62 20 0a 20 20 65  b3 test2.db .  e
2b40: 78 65 63 73 71 6c 20 7b 50 52 41 47 4d 41 20 69  xecsql {PRAGMA i
2b50: 6e 74 65 67 72 69 74 79 5f 63 68 65 63 6b 20 7d  ntegrity_check }
2b60: 20 64 62 33 0a 7d 20 7b 6f 6b 7d 0a 64 62 33 20   db3.} {ok}.db3 
2b70: 63 6c 6f 73 65 0a 0a 64 6f 5f 74 65 73 74 20 77  close..do_test w
2b80: 61 6c 2d 39 2e 34 20 7b 0a 20 20 65 78 65 63 73  al-9.4 {.  execs
2b90: 71 6c 20 7b 20 50 52 41 47 4d 41 20 63 68 65 63  ql { PRAGMA chec
2ba0: 6b 70 6f 69 6e 74 20 7d 0a 20 20 64 62 32 20 63  kpoint }.  db2 c
2bb0: 6c 6f 73 65 0a 20 20 73 71 6c 69 74 65 33 5f 77  lose.  sqlite3_w
2bc0: 61 6c 20 64 62 32 20 74 65 73 74 2e 64 62 0a 20  al db2 test.db. 
2bd0: 20 65 78 65 63 73 71 6c 20 7b 50 52 41 47 4d 41   execsql {PRAGMA
2be0: 20 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63 6b   integrity_check
2bf0: 20 7d 20 64 62 32 0a 7d 20 7b 6f 6b 7d 0a 0a 66   } db2.} {ok}..f
2c00: 6f 72 65 61 63 68 20 68 61 6e 64 6c 65 20 7b 64  oreach handle {d
2c10: 62 20 64 62 32 20 64 62 33 7d 20 7b 20 63 61 74  b db2 db3} { cat
2c20: 63 68 20 7b 20 24 68 61 6e 64 6c 65 20 63 6c 6f  ch { $handle clo
2c30: 73 65 20 7d 20 7d 0a 75 6e 73 65 74 20 68 61 6e  se } }.unset han
2c40: 64 6c 65 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  dle..#----------
2c50: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2c60: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2c70: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2c80: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a  ---------------.
2c90: 23 20 54 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20  # The following 
2ca0: 62 6c 6f 63 6b 20 6f 66 20 74 65 73 74 73 20 2d  block of tests -
2cb0: 20 77 61 6c 2d 31 30 2e 2a 20 2d 20 74 65 73 74   wal-10.* - test
2cc0: 20 74 68 61 74 20 74 68 65 20 57 41 4c 20 6c 6f   that the WAL lo
2cd0: 63 6b 69 6e 67 20 0a 23 20 73 63 68 65 6d 65 20  cking .# scheme 
2ce0: 77 6f 72 6b 73 20 69 6e 20 73 69 6d 70 6c 65 20  works in simple 
2cf0: 63 61 73 65 73 2e 20 54 68 69 73 20 62 6c 6f 63  cases. This bloc
2d00: 6b 20 6f 66 20 74 65 73 74 73 20 69 73 20 72 75  k of tests is ru
2d10: 6e 20 74 77 69 63 65 2e 20 4f 6e 63 65 0a 23 20  n twice. Once.# 
2d20: 75 73 69 6e 67 20 6d 75 6c 74 69 70 6c 65 20 63  using multiple c
2d30: 6f 6e 6e 65 63 74 69 6f 6e 73 20 69 6e 20 74 68  onnections in th
2d40: 65 20 61 64 64 72 65 73 73 20 73 70 61 63 65 20  e address space 
2d50: 6f 66 20 74 68 65 20 63 75 72 72 65 6e 74 20 70  of the current p
2d60: 72 6f 63 65 73 73 2c 0a 23 20 61 6e 64 20 6f 6e  rocess,.# and on
2d70: 63 65 20 77 69 74 68 20 61 6c 6c 20 63 6f 6e 6e  ce with all conn
2d80: 65 63 74 69 6f 6e 73 20 65 78 63 65 70 74 20 6f  ections except o
2d90: 6e 65 20 72 75 6e 6e 69 6e 67 20 69 6e 20 65 78  ne running in ex
2da0: 74 65 72 6e 61 6c 20 70 72 6f 63 65 73 73 65 73  ternal processes
2db0: 2e 0a 23 0a 66 6f 72 65 61 63 68 20 63 6f 64 65  ..#.foreach code
2dc0: 20 5b 6c 69 73 74 20 7b 0a 20 20 73 65 74 20 3a   [list {.  set :
2dd0: 3a 63 6f 64 65 32 5f 63 68 61 6e 20 5b 6c 61 75  :code2_chan [lau
2de0: 6e 63 68 5f 74 65 73 74 66 69 78 74 75 72 65 5d  nch_testfixture]
2df0: 0a 20 20 73 65 74 20 3a 3a 63 6f 64 65 33 5f 63  .  set ::code3_c
2e00: 68 61 6e 20 5b 6c 61 75 6e 63 68 5f 74 65 73 74  han [launch_test
2e10: 66 69 78 74 75 72 65 5d 0a 20 20 70 72 6f 63 20  fixture].  proc 
2e20: 63 6f 64 65 32 20 7b 74 63 6c 7d 20 7b 20 74 65  code2 {tcl} { te
2e30: 73 74 66 69 78 74 75 72 65 20 24 3a 3a 63 6f 64  stfixture $::cod
2e40: 65 32 5f 63 68 61 6e 20 24 74 63 6c 20 7d 0a 20  e2_chan $tcl }. 
2e50: 20 70 72 6f 63 20 63 6f 64 65 33 20 7b 74 63 6c   proc code3 {tcl
2e60: 7d 20 7b 20 74 65 73 74 66 69 78 74 75 72 65 20  } { testfixture 
2e70: 24 3a 3a 63 6f 64 65 33 5f 63 68 61 6e 20 24 74  $::code3_chan $t
2e80: 63 6c 20 7d 0a 20 20 73 65 74 20 74 6e 20 31 0a  cl }.  set tn 1.
2e90: 7d 20 7b 0a 20 20 70 72 6f 63 20 63 6f 64 65 32  } {.  proc code2
2ea0: 20 7b 74 63 6c 7d 20 7b 20 75 70 6c 65 76 65 6c   {tcl} { uplevel
2eb0: 20 23 30 20 24 74 63 6c 20 7d 0a 20 20 70 72 6f   #0 $tcl }.  pro
2ec0: 63 20 63 6f 64 65 33 20 7b 74 63 6c 7d 20 7b 20  c code3 {tcl} { 
2ed0: 75 70 6c 65 76 65 6c 20 23 30 20 24 74 63 6c 20  uplevel #0 $tcl 
2ee0: 7d 0a 20 20 73 65 74 20 74 6e 20 32 0a 7d 5d 20  }.  set tn 2.}] 
2ef0: 7b 0a 0a 20 20 65 76 61 6c 20 24 63 6f 64 65 0a  {..  eval $code.
2f00: 20 20 72 65 6f 70 65 6e 5f 64 62 0a 0a 20 20 23    reopen_db..  #
2f10: 20 4f 70 65 6e 20 63 6f 6e 6e 65 63 74 69 6f 6e   Open connection
2f20: 73 20 5b 64 62 32 5d 20 61 6e 64 20 5b 64 62 33  s [db2] and [db3
2f30: 5d 2e 20 44 65 70 65 6e 64 69 6e 67 20 6f 6e 20  ]. Depending on 
2f40: 77 68 69 63 68 20 69 74 65 72 61 74 69 6f 6e 20  which iteration 
2f50: 74 68 69 73 0a 20 20 23 20 69 73 2c 20 74 68 65  this.  # is, the
2f60: 20 63 6f 6e 6e 65 63 74 69 6f 6e 73 20 6d 61 79   connections may
2f70: 20 62 65 20 63 72 65 61 74 65 64 20 69 6e 20 74   be created in t
2f80: 68 69 73 20 69 6e 74 65 72 70 72 65 74 65 72 2c  his interpreter,
2f90: 20 6f 72 20 69 6e 20 0a 20 20 23 20 69 6e 74 65   or in .  # inte
2fa0: 72 70 72 65 74 65 72 73 20 72 75 6e 6e 69 6e 67  rpreters running
2fb0: 20 69 6e 20 6f 74 68 65 72 20 4f 53 20 70 72 6f   in other OS pro
2fc0: 63 65 73 73 65 73 2e 20 41 73 20 73 75 63 68 2c  cesses. As such,
2fd0: 20 74 68 65 20 5b 64 62 32 5d 20 61 6e 64 20 5b   the [db2] and [
2fe0: 64 62 33 5d 0a 20 20 23 20 63 6f 6d 6d 61 6e 64  db3].  # command
2ff0: 73 20 73 68 6f 75 6c 64 20 6f 6e 6c 79 20 62 65  s should only be
3000: 20 61 63 63 65 73 73 65 64 20 77 69 74 68 69 6e   accessed within
3010: 20 5b 63 6f 64 65 32 5d 20 61 6e 64 20 5b 63 6f   [code2] and [co
3020: 64 65 33 5d 20 62 6c 6f 63 6b 73 2c 0a 20 20 23  de3] blocks,.  #
3030: 20 72 65 73 70 65 63 74 69 76 65 6c 79 2e 0a 20   respectively.. 
3040: 20 23 0a 20 20 63 6f 64 65 32 20 7b 20 73 71 6c   #.  code2 { sql
3050: 69 74 65 33 20 64 62 32 20 74 65 73 74 2e 64 62  ite3 db2 test.db
3060: 20 3b 20 64 62 32 20 65 76 61 6c 20 7b 20 50 52   ; db2 eval { PR
3070: 41 47 4d 41 20 6a 6f 75 72 6e 61 6c 5f 6d 6f 64  AGMA journal_mod
3080: 65 20 3d 20 57 41 4c 20 7d 20 7d 0a 20 20 63 6f  e = WAL } }.  co
3090: 64 65 33 20 7b 20 73 71 6c 69 74 65 33 20 64 62  de3 { sqlite3 db
30a0: 33 20 74 65 73 74 2e 64 62 20 3b 20 64 62 33 20  3 test.db ; db3 
30b0: 65 76 61 6c 20 7b 20 50 52 41 47 4d 41 20 6a 6f  eval { PRAGMA jo
30c0: 75 72 6e 61 6c 5f 6d 6f 64 65 20 3d 20 57 41 4c  urnal_mode = WAL
30d0: 20 7d 20 7d 0a 0a 20 20 23 20 53 68 6f 72 74 68   } }..  # Shorth
30e0: 61 6e 64 20 63 6f 6d 6d 61 6e 64 73 2e 20 45 78  and commands. Ex
30f0: 65 63 75 74 65 20 53 51 4c 20 75 73 69 6e 67 20  ecute SQL using 
3100: 64 61 74 61 62 61 73 65 20 63 6f 6e 6e 65 63 74  database connect
3110: 69 6f 6e 20 5b 64 62 32 5d 20 6f 72 20 0a 20 20  ion [db2] or .  
3120: 23 20 5b 64 62 33 5d 2e 20 52 65 74 75 72 6e 20  # [db3]. Return 
3130: 74 68 65 20 72 65 73 75 6c 74 73 2e 0a 20 20 23  the results..  #
3140: 0a 20 20 70 72 6f 63 20 73 71 6c 32 20 7b 73 71  .  proc sql2 {sq
3150: 6c 7d 20 7b 20 63 6f 64 65 32 20 5b 6c 69 73 74  l} { code2 [list
3160: 20 64 62 32 20 65 76 61 6c 20 24 73 71 6c 5d 20   db2 eval $sql] 
3170: 7d 0a 20 20 70 72 6f 63 20 73 71 6c 33 20 7b 73  }.  proc sql3 {s
3180: 71 6c 7d 20 7b 20 63 6f 64 65 33 20 5b 6c 69 73  ql} { code3 [lis
3190: 74 20 64 62 33 20 65 76 61 6c 20 24 73 71 6c 5d  t db3 eval $sql]
31a0: 20 7d 0a 0a 20 20 23 20 49 6e 69 74 69 61 6c 69   }..  # Initiali
31b0: 7a 65 20 74 68 65 20 64 61 74 61 62 61 73 65 20  ze the database 
31c0: 73 63 68 65 6d 61 20 61 6e 64 20 63 6f 6e 74 65  schema and conte
31d0: 6e 74 73 2e 0a 20 20 23 0a 20 20 64 6f 5f 74 65  nts..  #.  do_te
31e0: 73 74 20 77 61 6c 2d 31 30 2e 24 74 6e 2e 31 20  st wal-10.$tn.1 
31f0: 7b 0a 20 20 20 20 65 78 65 63 73 71 6c 20 7b 0a  {.    execsql {.
3200: 20 20 20 20 20 20 43 52 45 41 54 45 20 54 41 42        CREATE TAB
3210: 4c 45 20 74 31 28 61 2c 20 62 29 3b 0a 20 20 20  LE t1(a, b);.   
3220: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
3230: 31 20 56 41 4c 55 45 53 28 31 2c 20 32 29 3b 0a  1 VALUES(1, 2);.
3240: 20 20 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46        SELECT * F
3250: 52 4f 4d 20 74 31 3b 0a 20 20 20 20 7d 0a 20 20  ROM t1;.    }.  
3260: 7d 20 7b 31 20 32 7d 0a 0a 20 20 23 20 4f 70 65  } {1 2}..  # Ope
3270: 6e 20 61 20 74 72 61 6e 73 61 63 74 69 6f 6e 20  n a transaction 
3280: 61 6e 64 20 77 72 69 74 65 20 74 6f 20 74 68 65  and write to the
3290: 20 64 61 74 61 62 61 73 65 20 75 73 69 6e 67 20   database using 
32a0: 5b 64 62 5d 2e 20 43 68 65 63 6b 20 74 68 61 74  [db]. Check that
32b0: 20 5b 64 62 32 5d 0a 20 20 23 20 69 73 20 73 74   [db2].  # is st
32c0: 69 6c 6c 20 61 62 6c 65 20 74 6f 20 72 65 61 64  ill able to read
32d0: 20 74 68 65 20 73 6e 61 70 73 68 6f 74 20 62 65   the snapshot be
32e0: 66 6f 72 65 20 74 68 65 20 74 72 61 6e 73 61 63  fore the transac
32f0: 74 69 6f 6e 20 77 61 73 20 6f 70 65 6e 65 64 2e  tion was opened.
3300: 0a 20 20 23 0a 20 20 64 6f 5f 74 65 73 74 20 77  .  #.  do_test w
3310: 61 6c 2d 31 30 2e 24 74 6e 2e 32 20 7b 0a 20 20  al-10.$tn.2 {.  
3320: 20 20 65 78 65 63 73 71 6c 20 7b 20 42 45 47 49    execsql { BEGI
3330: 4e 3b 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74  N; INSERT INTO t
3340: 31 20 56 41 4c 55 45 53 28 33 2c 20 34 29 3b 20  1 VALUES(3, 4); 
3350: 7d 0a 20 20 20 20 73 71 6c 32 20 7b 53 45 4c 45  }.    sql2 {SELE
3360: 43 54 20 2a 20 46 52 4f 4d 20 74 31 7d 0a 20 20  CT * FROM t1}.  
3370: 7d 20 7b 31 20 32 7d 0a 0a 20 20 23 20 48 61 76  } {1 2}..  # Hav
3380: 65 20 5b 64 62 5d 20 63 6f 6d 6d 69 74 20 74 68  e [db] commit th
3390: 65 20 74 72 61 6e 73 61 63 74 69 6f 6e 2e 20 43  e transaction. C
33a0: 68 65 63 6b 20 74 68 61 74 20 5b 64 62 32 5d 20  heck that [db2] 
33b0: 69 73 20 6e 6f 77 20 73 65 65 69 6e 67 20 74 68  is now seeing th
33c0: 65 20 0a 20 20 23 20 6e 65 77 2c 20 75 70 64 61  e .  # new, upda
33d0: 74 65 64 20 73 6e 61 70 73 68 6f 74 2e 0a 20 20  ted snapshot..  
33e0: 23 0a 20 20 64 6f 5f 74 65 73 74 20 77 61 6c 2d  #.  do_test wal-
33f0: 31 30 2e 24 74 6e 2e 33 20 7b 0a 20 20 20 20 65  10.$tn.3 {.    e
3400: 78 65 63 73 71 6c 20 7b 20 43 4f 4d 4d 49 54 20  xecsql { COMMIT 
3410: 7d 0a 20 20 20 20 73 71 6c 32 20 7b 53 45 4c 45  }.    sql2 {SELE
3420: 43 54 20 2a 20 46 52 4f 4d 20 74 31 7d 0a 20 20  CT * FROM t1}.  
3430: 7d 20 7b 31 20 32 20 33 20 34 7d 0a 0a 20 20 23  } {1 2 3 4}..  #
3440: 20 48 61 76 65 20 5b 64 62 32 5d 20 6f 70 65 6e   Have [db2] open
3450: 20 61 20 72 65 61 64 20 74 72 61 6e 73 61 63 74   a read transact
3460: 69 6f 6e 2e 20 54 68 65 6e 20 77 72 69 74 65 20  ion. Then write 
3470: 74 6f 20 74 68 65 20 64 62 20 76 69 61 20 5b 64  to the db via [d
3480: 62 5d 2e 20 43 68 65 63 6b 0a 20 20 23 20 74 68  b]. Check.  # th
3490: 61 74 20 5b 64 62 32 5d 20 69 73 20 73 74 69 6c  at [db2] is stil
34a0: 6c 20 73 65 65 69 6e 67 20 74 68 65 20 6f 72 69  l seeing the ori
34b0: 67 69 6e 61 6c 20 73 6e 61 70 73 68 6f 74 2e 20  ginal snapshot. 
34c0: 54 68 65 6e 20 72 65 61 64 20 77 69 74 68 20 5b  Then read with [
34d0: 64 62 33 5d 2e 0a 20 20 23 20 5b 64 62 33 5d 20  db3]..  # [db3] 
34e0: 73 68 6f 75 6c 64 20 73 65 65 20 74 68 65 20 6e  should see the n
34f0: 65 77 6c 79 20 63 6f 6d 6d 69 74 74 65 64 20 64  ewly committed d
3500: 61 74 61 2e 0a 20 20 23 0a 20 20 64 6f 5f 74 65  ata..  #.  do_te
3510: 73 74 20 77 61 6c 2d 31 30 2e 24 74 6e 2e 34 20  st wal-10.$tn.4 
3520: 7b 0a 20 20 20 20 73 71 6c 32 20 7b 20 42 45 47  {.    sql2 { BEG
3530: 49 4e 20 3b 20 53 45 4c 45 43 54 20 2a 20 46 52  IN ; SELECT * FR
3540: 4f 4d 20 74 31 7d 0a 20 20 7d 20 7b 31 20 32 20  OM t1}.  } {1 2 
3550: 33 20 34 7d 0a 20 20 64 6f 5f 74 65 73 74 20 77  3 4}.  do_test w
3560: 61 6c 2d 31 30 2e 24 74 6e 2e 35 20 7b 0a 20 20  al-10.$tn.5 {.  
3570: 20 20 65 78 65 63 73 71 6c 20 7b 20 49 4e 53 45    execsql { INSE
3580: 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45  RT INTO t1 VALUE
3590: 53 28 35 2c 20 36 29 3b 20 7d 0a 20 20 20 20 73  S(5, 6); }.    s
35a0: 71 6c 32 20 7b 53 45 4c 45 43 54 20 2a 20 46 52  ql2 {SELECT * FR
35b0: 4f 4d 20 74 31 7d 0a 20 20 7d 20 7b 31 20 32 20  OM t1}.  } {1 2 
35c0: 33 20 34 7d 0a 20 20 64 6f 5f 74 65 73 74 20 77  3 4}.  do_test w
35d0: 61 6c 2d 31 30 2e 24 74 6e 2e 36 20 7b 0a 20 20  al-10.$tn.6 {.  
35e0: 20 20 73 71 6c 33 20 7b 53 45 4c 45 43 54 20 2a    sql3 {SELECT *
35f0: 20 46 52 4f 4d 20 74 31 7d 0a 20 20 7d 20 7b 31   FROM t1}.  } {1
3600: 20 32 20 33 20 34 20 35 20 36 7d 0a 20 20 64 6f   2 3 4 5 6}.  do
3610: 5f 74 65 73 74 20 77 61 6c 2d 31 30 2e 24 74 6e  _test wal-10.$tn
3620: 2e 37 20 7b 0a 20 20 20 20 73 71 6c 32 20 43 4f  .7 {.    sql2 CO
3630: 4d 4d 49 54 0a 20 20 7d 20 7b 7d 0a 0a 20 20 23  MMIT.  } {}..  #
3640: 20 48 61 76 65 20 5b 64 62 32 5d 20 6f 70 65 6e   Have [db2] open
3650: 20 61 20 77 72 69 74 65 20 74 72 61 6e 73 61 63   a write transac
3660: 74 69 6f 6e 2e 20 54 68 65 6e 20 61 74 74 65 6d  tion. Then attem
3670: 70 74 20 74 6f 20 77 72 69 74 65 20 74 6f 20 74  pt to write to t
3680: 68 65 20 0a 20 20 23 20 64 61 74 61 62 61 73 65  he .  # database
3690: 20 76 69 61 20 5b 64 62 5d 2e 20 54 68 69 73 20   via [db]. This 
36a0: 73 68 6f 75 6c 64 20 66 61 69 6c 20 28 77 72 69  should fail (wri
36b0: 74 65 72 20 6c 6f 63 6b 20 63 61 6e 6e 6f 74 20  ter lock cannot 
36c0: 62 65 20 6f 62 74 61 69 6e 65 64 29 2e 0a 20 20  be obtained)..  
36d0: 23 0a 20 20 23 20 54 68 65 6e 20 6f 70 65 6e 20  #.  # Then open 
36e0: 61 20 72 65 61 64 2d 74 72 61 6e 73 61 63 74 69  a read-transacti
36f0: 6f 6e 20 77 69 74 68 20 5b 64 62 5d 2e 20 43 6f  on with [db]. Co
3700: 6d 6d 69 74 20 74 68 65 20 5b 64 62 32 5d 20 74  mmit the [db2] t
3710: 72 61 6e 73 61 63 74 69 6f 6e 0a 20 20 23 20 74  ransaction.  # t
3720: 6f 20 64 69 73 6b 2e 20 56 65 72 69 66 79 20 74  o disk. Verify t
3730: 68 61 74 20 5b 64 62 5d 20 73 74 69 6c 6c 20 63  hat [db] still c
3740: 61 6e 6e 6f 74 20 77 72 69 74 65 20 74 6f 20 74  annot write to t
3750: 68 65 20 64 61 74 61 62 61 73 65 20 28 62 65 63  he database (bec
3760: 61 75 73 65 0a 20 20 23 20 69 74 20 69 73 20 72  ause.  # it is r
3770: 65 61 64 69 6e 67 20 61 6e 20 6f 6c 64 20 73 6e  eading an old sn
3780: 61 70 73 68 6f 74 29 2e 0a 20 20 23 0a 20 20 23  apshot)..  #.  #
3790: 20 43 6c 6f 73 65 20 74 68 65 20 63 75 72 72 65   Close the curre
37a0: 6e 74 20 5b 64 62 5d 20 74 72 61 6e 73 61 63 74  nt [db] transact
37b0: 69 6f 6e 2e 20 4f 70 65 6e 20 61 20 6e 65 77 20  ion. Open a new 
37c0: 6f 6e 65 2e 20 5b 64 62 5d 20 63 61 6e 20 6e 6f  one. [db] can no
37d0: 77 20 77 72 69 74 65 0a 20 20 23 20 74 6f 20 74  w write.  # to t
37e0: 68 65 20 64 61 74 61 62 61 73 65 20 28 61 73 20  he database (as 
37f0: 69 74 20 69 73 20 6e 6f 74 20 6c 6f 63 6b 65 64  it is not locked
3800: 20 61 6e 64 20 5b 64 62 5d 20 69 73 20 72 65 61   and [db] is rea
3810: 64 69 6e 67 20 74 68 65 20 6c 61 74 65 73 74 0a  ding the latest.
3820: 20 20 23 20 73 6e 61 70 73 68 6f 74 29 2e 0a 20    # snapshot).. 
3830: 20 23 0a 20 20 64 6f 5f 74 65 73 74 20 77 61 6c   #.  do_test wal
3840: 2d 31 30 2e 24 74 6e 2e 37 20 7b 0a 20 20 20 20  -10.$tn.7 {.    
3850: 73 71 6c 32 20 7b 20 42 45 47 49 4e 3b 20 49 4e  sql2 { BEGIN; IN
3860: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c  SERT INTO t1 VAL
3870: 55 45 53 28 37 2c 20 38 29 20 3b 20 7d 0a 20 20  UES(7, 8) ; }.  
3880: 20 20 63 61 74 63 68 73 71 6c 20 7b 20 49 4e 53    catchsql { INS
3890: 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55  ERT INTO t1 VALU
38a0: 45 53 28 39 2c 20 31 30 29 20 7d 0a 20 20 7d 20  ES(9, 10) }.  } 
38b0: 7b 31 20 7b 64 61 74 61 62 61 73 65 20 69 73 20  {1 {database is 
38c0: 6c 6f 63 6b 65 64 7d 7d 0a 20 20 64 6f 5f 74 65  locked}}.  do_te
38d0: 73 74 20 77 61 6c 2d 31 30 2e 24 74 6e 2e 38 20  st wal-10.$tn.8 
38e0: 7b 0a 20 20 20 20 65 78 65 63 73 71 6c 20 7b 20  {.    execsql { 
38f0: 42 45 47 49 4e 20 3b 20 53 45 4c 45 43 54 20 2a  BEGIN ; SELECT *
3900: 20 46 52 4f 4d 20 74 31 20 7d 0a 20 20 7d 20 7b   FROM t1 }.  } {
3910: 31 20 32 20 33 20 34 20 35 20 36 7d 0a 20 20 64  1 2 3 4 5 6}.  d
3920: 6f 5f 74 65 73 74 20 77 61 6c 2d 31 30 2e 24 74  o_test wal-10.$t
3930: 6e 2e 39 20 7b 0a 20 20 20 20 73 71 6c 32 20 43  n.9 {.    sql2 C
3940: 4f 4d 4d 49 54 0a 20 20 20 20 63 61 74 63 68 73  OMMIT.    catchs
3950: 71 6c 20 7b 20 49 4e 53 45 52 54 20 49 4e 54 4f  ql { INSERT INTO
3960: 20 74 31 20 56 41 4c 55 45 53 28 39 2c 20 31 30   t1 VALUES(9, 10
3970: 29 20 7d 0a 20 20 7d 20 7b 31 20 7b 64 61 74 61  ) }.  } {1 {data
3980: 62 61 73 65 20 69 73 20 6c 6f 63 6b 65 64 7d 7d  base is locked}}
3990: 0a 20 20 64 6f 5f 74 65 73 74 20 77 61 6c 2d 31  .  do_test wal-1
39a0: 30 2e 24 74 6e 2e 31 30 20 7b 0a 20 20 20 20 65  0.$tn.10 {.    e
39b0: 78 65 63 73 71 6c 20 7b 20 43 4f 4d 4d 49 54 3b  xecsql { COMMIT;
39c0: 20 42 45 47 49 4e 3b 20 49 4e 53 45 52 54 20 49   BEGIN; INSERT I
39d0: 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 39 2c  NTO t1 VALUES(9,
39e0: 20 31 30 29 3b 20 43 4f 4d 4d 49 54 3b 20 7d 0a   10); COMMIT; }.
39f0: 20 20 20 20 65 78 65 63 73 71 6c 20 7b 20 53 45      execsql { SE
3a00: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 7d  LECT * FROM t1 }
3a10: 0a 20 20 7d 20 7b 31 20 32 20 33 20 34 20 35 20  .  } {1 2 3 4 5 
3a20: 36 20 37 20 38 20 39 20 31 30 7d 0a 0a 20 20 23  6 7 8 9 10}..  #
3a30: 20 4f 70 65 6e 20 61 20 72 65 61 64 20 74 72 61   Open a read tra
3a40: 6e 73 61 63 74 69 6f 6e 20 77 69 74 68 20 5b 64  nsaction with [d
3a50: 62 32 5d 2e 20 43 68 65 63 6b 20 74 68 61 74 20  b2]. Check that 
3a60: 74 68 69 73 20 70 72 65 76 65 6e 74 73 20 5b 64  this prevents [d
3a70: 62 5d 20 66 72 6f 6d 0a 20 20 23 20 63 68 65 63  b] from.  # chec
3a80: 6b 70 6f 69 6e 74 69 6e 67 20 74 68 65 20 64 61  kpointing the da
3a90: 74 61 62 61 73 65 2e 20 42 75 74 20 6e 6f 74 20  tabase. But not 
3aa0: 66 72 6f 6d 20 77 72 69 74 69 6e 67 20 74 6f 20  from writing to 
3ab0: 69 74 2e 0a 20 20 23 0a 20 20 64 6f 5f 74 65 73  it..  #.  do_tes
3ac0: 74 20 77 61 6c 2d 31 30 2e 24 74 6e 2e 31 31 20  t wal-10.$tn.11 
3ad0: 7b 0a 20 20 20 20 73 71 6c 32 20 7b 20 42 45 47  {.    sql2 { BEG
3ae0: 49 4e 3b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f  IN; SELECT * FRO
3af0: 4d 20 74 31 20 7d 0a 20 20 7d 20 7b 31 20 32 20  M t1 }.  } {1 2 
3b00: 33 20 34 20 35 20 36 20 37 20 38 20 39 20 31 30  3 4 5 6 7 8 9 10
3b10: 7d 0a 20 20 64 6f 5f 74 65 73 74 20 77 61 6c 2d  }.  do_test wal-
3b20: 31 30 2e 24 74 6e 2e 31 32 20 7b 0a 20 20 20 20  10.$tn.12 {.    
3b30: 63 61 74 63 68 73 71 6c 20 7b 20 50 52 41 47 4d  catchsql { PRAGM
3b40: 41 20 63 68 65 63 6b 70 6f 69 6e 74 20 7d 20 0a  A checkpoint } .
3b50: 20 20 7d 20 7b 31 20 7b 64 61 74 61 62 61 73 65    } {1 {database
3b60: 20 69 73 20 6c 6f 63 6b 65 64 7d 7d 0a 20 20 64   is locked}}.  d
3b70: 6f 5f 74 65 73 74 20 77 61 6c 2d 31 30 2e 24 74  o_test wal-10.$t
3b80: 6e 2e 31 33 20 7b 0a 20 20 20 20 65 78 65 63 73  n.13 {.    execs
3b90: 71 6c 20 7b 20 49 4e 53 45 52 54 20 49 4e 54 4f  ql { INSERT INTO
3ba0: 20 74 31 20 56 41 4c 55 45 53 28 31 31 2c 20 31   t1 VALUES(11, 1
3bb0: 32 29 20 7d 0a 20 20 20 20 73 71 6c 32 20 7b 53  2) }.    sql2 {S
3bc0: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 7d  ELECT * FROM t1}
3bd0: 0a 20 20 7d 20 7b 31 20 32 20 33 20 34 20 35 20  .  } {1 2 3 4 5 
3be0: 36 20 37 20 38 20 39 20 31 30 7d 0a 0a 20 20 23  6 7 8 9 10}..  #
3bf0: 20 43 6f 6e 6e 65 63 74 69 6f 6e 20 5b 64 62 32   Connection [db2
3c00: 5d 20 69 73 20 68 6f 6c 64 69 6e 67 20 61 20 6c  ] is holding a l
3c10: 6f 63 6b 20 6f 6e 20 61 20 73 6e 61 70 73 68 6f  ock on a snapsho
3c20: 74 2c 20 70 72 65 76 65 6e 74 69 6e 67 20 5b 64  t, preventing [d
3c30: 62 5d 20 66 72 6f 6d 0a 20 20 23 20 63 68 65 63  b] from.  # chec
3c40: 6b 70 6f 69 6e 74 69 6e 67 20 74 68 65 20 64 61  kpointing the da
3c50: 74 61 62 61 73 65 2e 20 41 64 64 20 61 20 62 75  tabase. Add a bu
3c60: 73 79 2d 68 61 6e 64 6c 65 72 20 74 6f 20 5b 64  sy-handler to [d
3c70: 62 5d 2e 20 49 66 20 5b 64 62 32 5d 20 63 6f 6d  b]. If [db2] com
3c80: 70 6c 65 74 65 73 0a 20 20 23 20 69 74 73 20 74  pletes.  # its t
3c90: 72 61 6e 73 61 63 74 69 6f 6e 20 66 72 6f 6d 20  ransaction from 
3ca0: 77 69 74 68 69 6e 20 74 68 65 20 62 75 73 79 2d  within the busy-
3cb0: 68 61 6e 64 6c 65 72 2c 20 5b 64 62 5d 20 69 73  handler, [db] is
3cc0: 20 61 62 6c 65 20 74 6f 20 63 6f 6d 70 6c 65 74   able to complet
3cd0: 65 0a 20 20 23 20 74 68 65 20 63 68 65 63 6b 70  e.  # the checkp
3ce0: 6f 69 6e 74 20 6f 70 65 72 61 74 69 6f 6e 2e 0a  oint operation..
3cf0: 20 20 23 0a 20 20 70 72 6f 63 20 62 75 73 79 68    #.  proc busyh
3d00: 61 6e 64 6c 65 72 20 78 20 7b 0a 20 20 20 20 69  andler x {.    i
3d10: 66 20 7b 24 78 3d 3d 34 7d 20 7b 20 73 71 6c 32  f {$x==4} { sql2
3d20: 20 43 4f 4d 4d 49 54 20 7d 0a 20 20 20 20 69 66   COMMIT }.    if
3d30: 20 7b 24 78 3c 35 7d 20 7b 20 72 65 74 75 72 6e   {$x<5} { return
3d40: 20 30 20 7d 0a 20 20 20 20 72 65 74 75 72 6e 20   0 }.    return 
3d50: 31 0a 20 20 7d 0a 20 20 64 62 20 62 75 73 79 20  1.  }.  db busy 
3d60: 62 75 73 79 68 61 6e 64 6c 65 72 0a 20 20 64 6f  busyhandler.  do
3d70: 5f 74 65 73 74 20 77 61 6c 2d 31 30 2e 24 74 6e  _test wal-10.$tn
3d80: 2e 31 34 20 7b 0a 20 20 20 20 65 78 65 63 73 71  .14 {.    execsq
3d90: 6c 20 7b 20 50 52 41 47 4d 41 20 63 68 65 63 6b  l { PRAGMA check
3da0: 70 6f 69 6e 74 20 7d 20 0a 20 20 7d 20 7b 7d 0a  point } .  } {}.
3db0: 0a 20 20 23 20 53 69 6d 69 6c 61 72 20 74 6f 20  .  # Similar to 
3dc0: 74 68 65 20 74 65 73 74 20 61 62 6f 76 65 2e 20  the test above. 
3dd0: 45 78 63 65 70 74 20 74 68 69 73 20 74 69 6d 65  Except this time
3de0: 2c 20 61 20 6e 65 77 20 72 65 61 64 20 74 72 61  , a new read tra
3df0: 6e 73 61 63 74 69 6f 6e 20 69 73 0a 20 20 23 20  nsaction is.  # 
3e00: 73 74 61 72 74 65 64 20 28 64 62 33 29 20 77 68  started (db3) wh
3e10: 69 6c 65 20 74 68 65 20 63 68 65 63 6b 70 6f 69  ile the checkpoi
3e20: 6e 74 65 72 20 69 73 20 77 61 69 74 69 6e 67 20  nter is waiting 
3e30: 66 6f 72 20 61 6e 20 6f 6c 64 20 6f 6e 65 20 28  for an old one (
3e40: 64 62 32 29 20 74 6f 20 0a 20 20 23 20 66 69 6e  db2) to .  # fin
3e50: 69 73 68 2e 20 54 68 65 20 63 68 65 63 6b 70 6f  ish. The checkpo
3e60: 69 6e 74 65 72 20 63 61 6e 20 66 69 6e 69 73 68  inter can finish
3e70: 2c 20 62 75 74 20 61 6e 79 20 73 75 62 73 65 71  , but any subseq
3e80: 75 65 6e 74 20 77 72 69 74 65 20 6f 70 65 72 61  uent write opera
3e90: 74 69 6f 6e 73 20 0a 20 20 23 20 6d 75 73 74 20  tions .  # must 
3ea0: 77 61 69 74 20 75 6e 74 69 6c 20 61 66 74 65 72  wait until after
3eb0: 20 64 62 33 20 68 61 73 20 63 6c 6f 73 65 64 20   db3 has closed 
3ec0: 74 68 65 20 72 65 61 64 20 74 72 61 6e 73 61 63  the read transac
3ed0: 74 69 6f 6e 2c 20 61 73 20 64 62 33 20 69 73 20  tion, as db3 is 
3ee0: 61 0a 20 20 23 20 22 72 65 67 69 6f 6e 20 44 22  a.  # "region D"
3ef0: 20 77 72 69 74 65 72 2e 0a 20 20 23 0a 20 20 64   writer..  #.  d
3f00: 62 20 62 75 73 79 20 7b 7d 0a 20 20 64 6f 5f 74  b busy {}.  do_t
3f10: 65 73 74 20 77 61 6c 2d 31 30 2e 24 74 6e 2e 31  est wal-10.$tn.1
3f20: 35 20 7b 0a 20 20 20 20 73 71 6c 32 20 7b 20 42  5 {.    sql2 { B
3f30: 45 47 49 4e 3b 20 53 45 4c 45 43 54 20 2a 20 46  EGIN; SELECT * F
3f40: 52 4f 4d 20 74 31 3b 20 7d 0a 20 20 7d 20 7b 31  ROM t1; }.  } {1
3f50: 20 32 20 33 20 34 20 35 20 36 20 37 20 38 20 39   2 3 4 5 6 7 8 9
3f60: 20 31 30 20 31 31 20 31 32 7d 0a 20 20 64 6f 5f   10 11 12}.  do_
3f70: 74 65 73 74 20 77 61 6c 2d 31 30 2e 24 74 6e 2e  test wal-10.$tn.
3f80: 31 36 20 7b 0a 20 20 20 20 63 61 74 63 68 73 71  16 {.    catchsq
3f90: 6c 20 7b 20 50 52 41 47 4d 41 20 63 68 65 63 6b  l { PRAGMA check
3fa0: 70 6f 69 6e 74 20 7d 20 0a 20 20 7d 20 7b 31 20  point } .  } {1 
3fb0: 7b 64 61 74 61 62 61 73 65 20 69 73 20 6c 6f 63  {database is loc
3fc0: 6b 65 64 7d 7d 0a 20 20 70 72 6f 63 20 62 75 73  ked}}.  proc bus
3fd0: 79 68 61 6e 64 6c 65 72 20 78 20 7b 0a 20 20 20  yhandler x {.   
3fe0: 20 69 66 20 7b 24 78 3d 3d 33 7d 20 7b 20 73 71   if {$x==3} { sq
3ff0: 6c 33 20 7b 20 42 45 47 49 4e 3b 20 53 45 4c 45  l3 { BEGIN; SELE
4000: 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 7d 20 7d  CT * FROM t1 } }
4010: 0a 20 20 20 20 69 66 20 7b 24 78 3d 3d 34 7d 20  .    if {$x==4} 
4020: 7b 20 73 71 6c 32 20 43 4f 4d 4d 49 54 20 7d 0a  { sql2 COMMIT }.
4030: 20 20 20 20 69 66 20 7b 24 78 3c 35 7d 20 20 7b      if {$x<5}  {
4040: 20 72 65 74 75 72 6e 20 30 20 7d 0a 20 20 20 20   return 0 }.    
4050: 72 65 74 75 72 6e 20 31 0a 20 20 7d 0a 20 20 64  return 1.  }.  d
4060: 62 20 62 75 73 79 20 62 75 73 79 68 61 6e 64 6c  b busy busyhandl
4070: 65 72 0a 20 20 64 6f 5f 74 65 73 74 20 77 61 6c  er.  do_test wal
4080: 2d 31 30 2e 24 74 6e 2e 31 37 20 7b 0a 20 20 20  -10.$tn.17 {.   
4090: 20 65 78 65 63 73 71 6c 20 7b 20 50 52 41 47 4d   execsql { PRAGM
40a0: 41 20 63 68 65 63 6b 70 6f 69 6e 74 20 7d 20 0a  A checkpoint } .
40b0: 20 20 7d 20 7b 7d 0a 20 20 64 6f 5f 74 65 73 74    } {}.  do_test
40c0: 20 77 61 6c 2d 31 30 2e 24 74 6e 2e 31 38 20 7b   wal-10.$tn.18 {
40d0: 0a 20 20 20 20 73 71 6c 33 20 7b 20 53 45 4c 45  .    sql3 { SELE
40e0: 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 7d 0a 20  CT * FROM t1 }. 
40f0: 20 7d 20 7b 31 20 32 20 33 20 34 20 35 20 36 20   } {1 2 3 4 5 6 
4100: 37 20 38 20 39 20 31 30 20 31 31 20 31 32 7d 0a  7 8 9 10 11 12}.
4110: 20 20 64 6f 5f 74 65 73 74 20 77 61 6c 2d 31 30    do_test wal-10
4120: 2e 24 74 6e 2e 31 39 20 7b 0a 20 20 20 20 63 61  .$tn.19 {.    ca
4130: 74 63 68 73 71 6c 20 7b 20 49 4e 53 45 52 54 20  tchsql { INSERT 
4140: 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 31  INTO t1 VALUES(1
4150: 33 2c 20 31 34 29 20 7d 0a 20 20 7d 20 7b 31 20  3, 14) }.  } {1 
4160: 7b 64 61 74 61 62 61 73 65 20 69 73 20 6c 6f 63  {database is loc
4170: 6b 65 64 7d 7d 0a 20 20 64 6f 5f 74 65 73 74 20  ked}}.  do_test 
4180: 77 61 6c 2d 31 30 2e 24 74 6e 2e 32 30 20 7b 0a  wal-10.$tn.20 {.
4190: 20 20 20 20 65 78 65 63 73 71 6c 20 7b 20 53 45      execsql { SE
41a0: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 7d  LECT * FROM t1 }
41b0: 0a 20 20 7d 20 7b 31 20 32 20 33 20 34 20 35 20  .  } {1 2 3 4 5 
41c0: 36 20 37 20 38 20 39 20 31 30 20 31 31 20 31 32  6 7 8 9 10 11 12
41d0: 7d 0a 20 20 64 6f 5f 74 65 73 74 20 77 61 6c 2d  }.  do_test wal-
41e0: 31 30 2e 24 74 6e 2e 32 31 20 7b 0a 20 20 20 20  10.$tn.21 {.    
41f0: 73 71 6c 33 20 43 4f 4d 4d 49 54 0a 20 20 7d 20  sql3 COMMIT.  } 
4200: 7b 7d 0a 20 20 64 6f 5f 74 65 73 74 20 77 61 6c  {}.  do_test wal
4210: 2d 31 30 2e 24 74 6e 2e 32 32 20 7b 0a 20 20 20  -10.$tn.22 {.   
4220: 20 65 78 65 63 73 71 6c 20 7b 20 49 4e 53 45 52   execsql { INSER
4230: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53  T INTO t1 VALUES
4240: 28 31 33 2c 20 31 34 29 20 7d 0a 20 20 20 20 65  (13, 14) }.    e
4250: 78 65 63 73 71 6c 20 7b 20 53 45 4c 45 43 54 20  xecsql { SELECT 
4260: 2a 20 46 52 4f 4d 20 74 31 20 7d 0a 20 20 7d 20  * FROM t1 }.  } 
4270: 7b 31 20 32 20 33 20 34 20 35 20 36 20 37 20 38  {1 2 3 4 5 6 7 8
4280: 20 39 20 31 30 20 31 31 20 31 32 20 31 33 20 31   9 10 11 12 13 1
4290: 34 7d 0a 0a 20 20 23 20 53 65 74 20 5b 64 62 33  4}..  # Set [db3
42a0: 5d 20 75 70 20 61 73 20 61 20 22 72 65 67 69 6f  ] up as a "regio
42b0: 6e 20 44 22 20 72 65 61 64 65 72 20 61 67 61 69  n D" reader agai
42c0: 6e 2e 20 54 68 65 6e 20 75 70 67 72 61 64 65 20  n. Then upgrade 
42d0: 69 74 20 74 6f 20 61 20 77 72 69 74 65 72 0a 20  it to a writer. 
42e0: 20 23 20 61 6e 64 20 62 61 63 6b 20 64 6f 77 6e   # and back down
42f0: 20 74 6f 20 61 20 72 65 61 64 65 72 2e 20 54 68   to a reader. Th
4300: 65 6e 2c 20 63 68 65 63 6b 20 74 68 61 74 20 61  en, check that a
4310: 20 63 68 65 63 6b 70 6f 69 6e 74 20 69 73 20 6e   checkpoint is n
4320: 6f 74 20 70 6f 73 73 69 62 6c 65 0a 20 20 23 20  ot possible.  # 
4330: 28 61 73 20 5b 64 62 33 5d 20 73 74 69 6c 6c 20  (as [db3] still 
4340: 68 61 73 20 61 20 73 6e 61 70 73 68 6f 74 20 6c  has a snapshot l
4350: 6f 63 6b 65 64 29 2e 0a 20 20 23 0a 20 20 64 6f  ocked)..  #.  do
4360: 5f 74 65 73 74 20 77 61 6c 2d 31 30 2e 24 74 6e  _test wal-10.$tn
4370: 2e 32 33 20 7b 0a 20 20 20 20 65 78 65 63 73 71  .23 {.    execsq
4380: 6c 20 7b 20 50 52 41 47 4d 41 20 63 68 65 63 6b  l { PRAGMA check
4390: 70 6f 69 6e 74 20 7d 0a 20 20 7d 20 7b 7d 0a 20  point }.  } {}. 
43a0: 20 64 6f 5f 74 65 73 74 20 77 61 6c 2d 31 30 2e   do_test wal-10.
43b0: 24 74 6e 2e 32 34 20 7b 0a 20 20 20 20 73 71 6c  $tn.24 {.    sql
43c0: 32 20 7b 20 42 45 47 49 4e 3b 20 53 45 4c 45 43  2 { BEGIN; SELEC
43d0: 54 20 2a 20 46 52 4f 4d 20 74 31 3b 20 7d 0a 20  T * FROM t1; }. 
43e0: 20 7d 20 7b 31 20 32 20 33 20 34 20 35 20 36 20   } {1 2 3 4 5 6 
43f0: 37 20 38 20 39 20 31 30 20 31 31 20 31 32 20 31  7 8 9 10 11 12 1
4400: 33 20 31 34 7d 0a 20 20 64 6f 5f 74 65 73 74 20  3 14}.  do_test 
4410: 77 61 6c 2d 31 30 2e 24 74 6e 2e 32 35 20 7b 0a  wal-10.$tn.25 {.
4420: 20 20 20 20 65 78 65 63 73 71 6c 20 7b 20 50 52      execsql { PR
4430: 41 47 4d 41 20 63 68 65 63 6b 70 6f 69 6e 74 20  AGMA checkpoint 
4440: 7d 0a 20 20 7d 20 7b 7d 0a 20 20 64 6f 5f 74 65  }.  } {}.  do_te
4450: 73 74 20 77 61 6c 2d 31 30 2e 24 74 6e 2e 32 36  st wal-10.$tn.26
4460: 20 7b 0a 20 20 20 20 63 61 74 63 68 73 71 6c 20   {.    catchsql 
4470: 7b 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31  { INSERT INTO t1
4480: 20 56 41 4c 55 45 53 28 31 35 2c 20 31 36 29 20   VALUES(15, 16) 
4490: 7d 0a 20 20 7d 20 7b 31 20 7b 64 61 74 61 62 61  }.  } {1 {databa
44a0: 73 65 20 69 73 20 6c 6f 63 6b 65 64 7d 7d 0a 20  se is locked}}. 
44b0: 20 64 6f 5f 74 65 73 74 20 77 61 6c 2d 31 30 2e   do_test wal-10.
44c0: 24 74 6e 2e 32 37 20 7b 0a 20 20 20 20 73 71 6c  $tn.27 {.    sql
44d0: 33 20 7b 20 49 4e 53 45 52 54 20 49 4e 54 4f 20  3 { INSERT INTO 
44e0: 74 31 20 56 41 4c 55 45 53 28 31 35 2c 20 31 36  t1 VALUES(15, 16
44f0: 29 20 7d 0a 20 20 7d 20 7b 7d 0a 20 20 64 6f 5f  ) }.  } {}.  do_
4500: 74 65 73 74 20 77 61 6c 2d 31 30 2e 24 74 6e 2e  test wal-10.$tn.
4510: 32 38 20 7b 0a 20 20 20 20 63 6f 64 65 33 20 7b  28 {.    code3 {
4520: 0a 20 20 20 20 20 20 73 65 74 20 3a 3a 53 54 4d  .      set ::STM
4530: 54 20 5b 73 71 6c 69 74 65 33 5f 70 72 65 70 61  T [sqlite3_prepa
4540: 72 65 20 64 62 33 20 22 53 45 4c 45 43 54 20 2a  re db3 "SELECT *
4550: 20 46 52 4f 4d 20 74 31 22 20 2d 31 20 54 41 49   FROM t1" -1 TAI
4560: 4c 5d 0a 20 20 20 20 20 20 73 71 6c 69 74 65 33  L].      sqlite3
4570: 5f 73 74 65 70 20 24 3a 3a 53 54 4d 54 0a 20 20  _step $::STMT.  
4580: 20 20 7d 0a 20 20 20 20 73 71 6c 33 20 43 4f 4d    }.    sql3 COM
4590: 4d 49 54 0a 20 20 20 20 65 78 65 63 73 71 6c 20  MIT.    execsql 
45a0: 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20  { SELECT * FROM 
45b0: 74 31 20 7d 0a 20 20 7d 20 7b 31 20 32 20 33 20  t1 }.  } {1 2 3 
45c0: 34 20 35 20 36 20 37 20 38 20 39 20 31 30 20 31  4 5 6 7 8 9 10 1
45d0: 31 20 31 32 20 31 33 20 31 34 20 31 35 20 31 36  1 12 13 14 15 16
45e0: 7d 0a 20 20 64 62 20 62 75 73 79 20 7b 7d 0a 20  }.  db busy {}. 
45f0: 20 64 6f 5f 74 65 73 74 20 77 61 6c 2d 31 30 2e   do_test wal-10.
4600: 24 74 6e 2e 32 39 20 7b 0a 20 20 20 20 65 78 65  $tn.29 {.    exe
4610: 63 73 71 6c 20 7b 20 49 4e 53 45 52 54 20 49 4e  csql { INSERT IN
4620: 54 4f 20 74 31 20 56 41 4c 55 45 53 28 31 37 2c  TO t1 VALUES(17,
4630: 20 31 38 29 20 7d 0a 20 20 20 20 63 61 74 63 68   18) }.    catch
4640: 73 71 6c 20 7b 20 50 52 41 47 4d 41 20 63 68 65  sql { PRAGMA che
4650: 63 6b 70 6f 69 6e 74 20 7d 0a 20 20 7d 20 7b 31  ckpoint }.  } {1
4660: 20 7b 64 61 74 61 62 61 73 65 20 69 73 20 6c 6f   {database is lo
4670: 63 6b 65 64 7d 7d 0a 20 20 64 6f 5f 74 65 73 74  cked}}.  do_test
4680: 20 77 61 6c 2d 31 30 2e 24 74 6e 2e 33 30 20 7b   wal-10.$tn.30 {
4690: 0a 20 20 20 20 63 6f 64 65 33 20 7b 20 73 71 6c  .    code3 { sql
46a0: 69 74 65 33 5f 66 69 6e 61 6c 69 7a 65 20 24 3a  ite3_finalize $:
46b0: 3a 53 54 4d 54 20 7d 0a 20 20 20 20 65 78 65 63  :STMT }.    exec
46c0: 73 71 6c 20 7b 20 50 52 41 47 4d 41 20 63 68 65  sql { PRAGMA che
46d0: 63 6b 70 6f 69 6e 74 20 7d 0a 20 20 7d 20 7b 7d  ckpoint }.  } {}
46e0: 0a 0a 20 20 23 20 41 74 20 6f 6e 65 20 70 6f 69  ..  # At one poi
46f0: 6e 74 2c 20 69 66 20 61 20 72 65 61 64 65 72 20  nt, if a reader 
4700: 66 61 69 6c 65 64 20 74 6f 20 75 70 67 72 61 64  failed to upgrad
4710: 65 20 74 6f 20 61 20 77 72 69 74 65 72 20 62 65  e to a writer be
4720: 63 61 75 73 65 20 69 74 0a 20 20 23 20 77 61 73  cause it.  # was
4730: 20 72 65 61 64 69 6e 67 20 61 6e 20 6f 6c 64 20   reading an old 
4740: 73 6e 61 70 73 68 6f 74 2c 20 74 68 65 20 77 72  snapshot, the wr
4750: 69 74 65 2d 6c 6f 63 6b 73 20 77 65 72 65 20 6e  ite-locks were n
4760: 6f 74 20 62 65 69 6e 67 20 72 65 6c 65 61 73 65  ot being release
4770: 64 2e 0a 20 20 23 20 54 65 73 74 20 74 68 61 74  d..  # Test that
4780: 20 74 68 69 73 20 62 75 67 20 68 61 73 20 62 65   this bug has be
4790: 65 6e 20 66 69 78 65 64 2e 0a 20 20 23 0a 20 20  en fixed..  #.  
47a0: 64 6f 5f 74 65 73 74 20 77 61 6c 2d 31 30 2e 24  do_test wal-10.$
47b0: 74 6e 2e 33 31 20 7b 0a 20 20 20 20 65 78 65 63  tn.31 {.    exec
47c0: 73 71 6c 20 7b 20 42 45 47 49 4e 20 3b 20 53 45  sql { BEGIN ; SE
47d0: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 7d  LECT * FROM t1 }
47e0: 0a 20 20 20 20 73 71 6c 32 20 7b 20 49 4e 53 45  .    sql2 { INSE
47f0: 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45  RT INTO t1 VALUE
4800: 53 28 31 39 2c 20 32 30 29 20 7d 0a 20 20 20 20  S(19, 20) }.    
4810: 63 61 74 63 68 73 71 6c 20 7b 20 49 4e 53 45 52  catchsql { INSER
4820: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53  T INTO t1 VALUES
4830: 28 32 31 2c 20 32 32 29 20 7d 0a 20 20 7d 20 7b  (21, 22) }.  } {
4840: 31 20 7b 64 61 74 61 62 61 73 65 20 69 73 20 6c  1 {database is l
4850: 6f 63 6b 65 64 7d 7d 0a 20 20 64 6f 5f 74 65 73  ocked}}.  do_tes
4860: 74 20 77 61 6c 2d 31 30 2e 24 74 6e 2e 33 32 20  t wal-10.$tn.32 
4870: 7b 0a 20 20 20 20 23 20 54 68 69 73 20 73 74 61  {.    # This sta
4880: 74 65 6d 65 6e 74 20 77 6f 75 6c 64 20 66 61 69  tement would fai
4890: 6c 20 77 68 65 6e 20 74 68 65 20 62 75 67 20 77  l when the bug w
48a0: 61 73 20 70 72 65 73 65 6e 74 2e 0a 20 20 20 20  as present..    
48b0: 73 71 6c 32 20 7b 20 49 4e 53 45 52 54 20 49 4e  sql2 { INSERT IN
48c0: 54 4f 20 74 31 20 56 41 4c 55 45 53 28 32 31 2c  TO t1 VALUES(21,
48d0: 20 32 32 29 20 7d 0a 20 20 7d 20 7b 7d 0a 20 20   22) }.  } {}.  
48e0: 64 6f 5f 74 65 73 74 20 77 61 6c 2d 31 30 2e 24  do_test wal-10.$
48f0: 74 6e 2e 33 33 20 7b 0a 20 20 20 20 65 78 65 63  tn.33 {.    exec
4900: 73 71 6c 20 7b 20 53 45 4c 45 43 54 20 2a 20 46  sql { SELECT * F
4910: 52 4f 4d 20 74 31 20 3b 20 43 4f 4d 4d 49 54 20  ROM t1 ; COMMIT 
4920: 7d 0a 20 20 7d 20 7b 31 20 32 20 33 20 34 20 35  }.  } {1 2 3 4 5
4930: 20 36 20 37 20 38 20 39 20 31 30 20 31 31 20 31   6 7 8 9 10 11 1
4940: 32 20 31 33 20 31 34 20 31 35 20 31 36 20 31 37  2 13 14 15 16 17
4950: 20 31 38 7d 0a 20 20 64 6f 5f 74 65 73 74 20 77   18}.  do_test w
4960: 61 6c 2d 31 30 2e 24 74 6e 2e 33 34 20 7b 0a 20  al-10.$tn.34 {. 
4970: 20 20 20 65 78 65 63 73 71 6c 20 7b 20 53 45 4c     execsql { SEL
4980: 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 7d 0a  ECT * FROM t1 }.
4990: 20 20 7d 20 7b 31 20 32 20 33 20 34 20 35 20 36    } {1 2 3 4 5 6
49a0: 20 37 20 38 20 39 20 31 30 20 31 31 20 31 32 20   7 8 9 10 11 12 
49b0: 31 33 20 31 34 20 31 35 20 31 36 20 31 37 20 31  13 14 15 16 17 1
49c0: 38 20 31 39 20 32 30 20 32 31 20 32 32 7d 0a 0a  8 19 20 21 22}..
49d0: 20 20 63 61 74 63 68 20 7b 20 64 62 20 63 6c 6f    catch { db clo
49e0: 73 65 20 7d 0a 20 20 63 61 74 63 68 20 7b 20 63  se }.  catch { c
49f0: 6f 64 65 32 20 7b 20 64 62 32 20 63 6c 6f 73 65  ode2 { db2 close
4a00: 20 7d 20 7d 0a 20 20 63 61 74 63 68 20 7b 20 63   } }.  catch { c
4a10: 6f 64 65 33 20 7b 20 64 62 33 20 63 6c 6f 73 65  ode3 { db3 close
4a20: 20 7d 20 7d 0a 20 20 63 61 74 63 68 20 7b 20 63   } }.  catch { c
4a30: 6c 6f 73 65 20 24 3a 3a 63 6f 64 65 32 5f 63 68  lose $::code2_ch
4a40: 61 6e 20 7d 0a 20 20 63 61 74 63 68 20 7b 20 63  an }.  catch { c
4a50: 6c 6f 73 65 20 24 3a 3a 63 6f 64 65 33 5f 63 68  lose $::code3_ch
4a60: 61 6e 20 7d 0a 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d  an }.}..#-------
4a70: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
4a80: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
4a90: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
4aa0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
4ab0: 2d 2d 0a 23 20 54 68 69 73 20 62 6c 6f 63 6b 20  --.# This block 
4ac0: 6f 66 20 74 65 73 74 73 2c 20 77 61 6c 2d 31 31  of tests, wal-11
4ad0: 2e 2a 2c 20 74 65 73 74 20 74 68 61 74 20 6e 6f  .*, test that no
4ae0: 74 68 69 6e 67 20 67 6f 65 73 20 74 65 72 72 69  thing goes terri
4af0: 62 6c 79 20 77 72 6f 6e 67 0a 23 20 69 66 20 66  bly wrong.# if f
4b00: 72 61 6d 65 73 20 6d 75 73 74 20 62 65 20 77 72  rames must be wr
4b10: 69 74 74 65 6e 20 74 6f 20 74 68 65 20 6c 6f 67  itten to the log
4b20: 20 66 69 6c 65 20 62 65 66 6f 72 65 20 61 20 74   file before a t
4b30: 72 61 6e 73 61 63 74 69 6f 6e 20 69 73 0a 23 20  ransaction is.# 
4b40: 63 6f 6d 6d 69 74 74 65 64 20 28 69 6e 20 6f 72  committed (in or
4b50: 64 65 72 20 74 6f 20 66 72 65 65 20 75 70 20 6d  der to free up m
4b60: 65 6d 6f 72 79 29 2e 0a 23 0a 64 6f 5f 74 65 73  emory)..#.do_tes
4b70: 74 20 77 61 6c 2d 31 31 2e 31 20 7b 0a 20 20 72  t wal-11.1 {.  r
4b80: 65 6f 70 65 6e 5f 64 62 0a 20 20 65 78 65 63 73  eopen_db.  execs
4b90: 71 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d 41 20  ql {.    PRAGMA 
4ba0: 63 61 63 68 65 5f 73 69 7a 65 20 3d 20 31 30 3b  cache_size = 10;
4bb0: 0a 20 20 20 20 50 52 41 47 4d 41 20 70 61 67 65  .    PRAGMA page
4bc0: 5f 73 69 7a 65 20 3d 20 31 30 32 34 3b 0a 20 20  _size = 1024;.  
4bd0: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74    CREATE TABLE t
4be0: 31 28 78 20 50 52 49 4d 41 52 59 20 4b 45 59 29  1(x PRIMARY KEY)
4bf0: 3b 0a 20 20 7d 0a 20 20 6c 69 73 74 20 5b 65 78  ;.  }.  list [ex
4c00: 70 72 20 5b 66 69 6c 65 20 73 69 7a 65 20 74 65  pr [file size te
4c10: 73 74 2e 64 62 5d 2f 31 30 32 34 5d 20 5b 65 78  st.db]/1024] [ex
4c20: 70 72 20 5b 66 69 6c 65 20 73 69 7a 65 20 74 65  pr [file size te
4c30: 73 74 2e 64 62 2d 77 61 6c 5d 2f 31 30 34 34 5d  st.db-wal]/1044]
4c40: 0a 7d 20 7b 31 20 33 7d 0a 64 6f 5f 74 65 73 74  .} {1 3}.do_test
4c50: 20 77 61 6c 2d 31 31 2e 32 20 7b 0a 20 20 65 78   wal-11.2 {.  ex
4c60: 65 63 73 71 6c 20 7b 20 50 52 41 47 4d 41 20 63  ecsql { PRAGMA c
4c70: 68 65 63 6b 70 6f 69 6e 74 20 7d 0a 20 20 6c 69  heckpoint }.  li
4c80: 73 74 20 5b 65 78 70 72 20 5b 66 69 6c 65 20 73  st [expr [file s
4c90: 69 7a 65 20 74 65 73 74 2e 64 62 5d 2f 31 30 32  ize test.db]/102
4ca0: 34 5d 20 5b 66 69 6c 65 20 73 69 7a 65 20 74 65  4] [file size te
4cb0: 73 74 2e 64 62 2d 77 61 6c 5d 0a 7d 20 5b 6c 69  st.db-wal].} [li
4cc0: 73 74 20 33 20 5b 6c 6f 67 5f 66 69 6c 65 5f 73  st 3 [log_file_s
4cd0: 69 7a 65 20 33 20 31 30 32 34 5d 5d 0a 64 6f 5f  ize 3 1024]].do_
4ce0: 74 65 73 74 20 77 61 6c 2d 31 31 2e 33 20 7b 0a  test wal-11.3 {.
4cf0: 20 20 65 78 65 63 73 71 6c 20 7b 20 49 4e 53 45    execsql { INSE
4d00: 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45  RT INTO t1 VALUE
4d10: 53 28 20 62 6c 6f 62 28 39 30 30 29 20 29 20 7d  S( blob(900) ) }
4d20: 0a 20 20 6c 69 73 74 20 5b 65 78 70 72 20 5b 66  .  list [expr [f
4d30: 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62  ile size test.db
4d40: 5d 2f 31 30 32 34 5d 20 5b 66 69 6c 65 20 73 69  ]/1024] [file si
4d50: 7a 65 20 74 65 73 74 2e 64 62 2d 77 61 6c 5d 0a  ze test.db-wal].
4d60: 7d 20 5b 6c 69 73 74 20 33 20 5b 6c 6f 67 5f 66  } [list 3 [log_f
4d70: 69 6c 65 5f 73 69 7a 65 20 34 20 31 30 32 34 5d  ile_size 4 1024]
4d80: 5d 0a 0a 64 6f 5f 74 65 73 74 20 77 61 6c 2d 31  ]..do_test wal-1
4d90: 31 2e 34 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  1.4 {.  execsql 
4da0: 7b 20 0a 20 20 20 20 42 45 47 49 4e 3b 0a 20 20  { .    BEGIN;.  
4db0: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
4dc0: 74 31 20 53 45 4c 45 43 54 20 62 6c 6f 62 28 39  t1 SELECT blob(9
4dd0: 30 30 29 20 46 52 4f 4d 20 74 31 3b 20 20 20 2d  00) FROM t1;   -
4de0: 2d 20 32 0a 20 20 20 20 20 20 49 4e 53 45 52 54  - 2.      INSERT
4df0: 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20   INTO t1 SELECT 
4e00: 62 6c 6f 62 28 39 30 30 29 20 46 52 4f 4d 20 74  blob(900) FROM t
4e10: 31 3b 20 20 20 2d 2d 20 34 0a 20 20 20 20 20 20  1;   -- 4.      
4e20: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53  INSERT INTO t1 S
4e30: 45 4c 45 43 54 20 62 6c 6f 62 28 39 30 30 29 20  ELECT blob(900) 
4e40: 46 52 4f 4d 20 74 31 3b 20 20 20 2d 2d 20 38 0a  FROM t1;   -- 8.
4e50: 20 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54        INSERT INT
4e60: 4f 20 74 31 20 53 45 4c 45 43 54 20 62 6c 6f 62  O t1 SELECT blob
4e70: 28 39 30 30 29 20 46 52 4f 4d 20 74 31 3b 20 20  (900) FROM t1;  
4e80: 20 2d 2d 20 31 36 0a 20 20 7d 0a 20 20 6c 69 73   -- 16.  }.  lis
4e90: 74 20 5b 65 78 70 72 20 5b 66 69 6c 65 20 73 69  t [expr [file si
4ea0: 7a 65 20 74 65 73 74 2e 64 62 5d 2f 31 30 32 34  ze test.db]/1024
4eb0: 5d 20 5b 66 69 6c 65 20 73 69 7a 65 20 74 65 73  ] [file size tes
4ec0: 74 2e 64 62 2d 77 61 6c 5d 0a 7d 20 5b 6c 69 73  t.db-wal].} [lis
4ed0: 74 20 33 20 5b 6c 6f 67 5f 66 69 6c 65 5f 73 69  t 3 [log_file_si
4ee0: 7a 65 20 33 32 20 31 30 32 34 5d 5d 0a 64 6f 5f  ze 32 1024]].do_
4ef0: 74 65 73 74 20 77 61 6c 2d 31 31 2e 35 20 7b 0a  test wal-11.5 {.
4f00: 20 20 65 78 65 63 73 71 6c 20 7b 20 0a 20 20 20    execsql { .   
4f10: 20 53 45 4c 45 43 54 20 63 6f 75 6e 74 28 2a 29   SELECT count(*)
4f20: 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 50 52   FROM t1;.    PR
4f30: 41 47 4d 41 20 69 6e 74 65 67 72 69 74 79 5f 63  AGMA integrity_c
4f40: 68 65 63 6b 3b 0a 20 20 7d 0a 7d 20 7b 31 36 20  heck;.  }.} {16 
4f50: 6f 6b 7d 0a 64 6f 5f 74 65 73 74 20 77 61 6c 2d  ok}.do_test wal-
4f60: 31 31 2e 36 20 7b 0a 20 20 65 78 65 63 73 71 6c  11.6 {.  execsql
4f70: 20 43 4f 4d 4d 49 54 0a 20 20 6c 69 73 74 20 5b   COMMIT.  list [
4f80: 65 78 70 72 20 5b 66 69 6c 65 20 73 69 7a 65 20  expr [file size 
4f90: 74 65 73 74 2e 64 62 5d 2f 31 30 32 34 5d 20 5b  test.db]/1024] [
4fa0: 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64  file size test.d
4fb0: 62 2d 77 61 6c 5d 0a 7d 20 5b 6c 69 73 74 20 33  b-wal].} [list 3
4fc0: 20 5b 6c 6f 67 5f 66 69 6c 65 5f 73 69 7a 65 20   [log_file_size 
4fd0: 34 31 20 31 30 32 34 5d 5d 0a 64 6f 5f 74 65 73  41 1024]].do_tes
4fe0: 74 20 77 61 6c 2d 31 31 2e 37 20 7b 0a 20 20 65  t wal-11.7 {.  e
4ff0: 78 65 63 73 71 6c 20 7b 20 0a 20 20 20 20 53 45  xecsql { .    SE
5000: 4c 45 43 54 20 63 6f 75 6e 74 28 2a 29 20 46 52  LECT count(*) FR
5010: 4f 4d 20 74 31 3b 0a 20 20 20 20 50 52 41 47 4d  OM t1;.    PRAGM
5020: 41 20 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63  A integrity_chec
5030: 6b 3b 0a 20 20 7d 0a 7d 20 7b 31 36 20 6f 6b 7d  k;.  }.} {16 ok}
5040: 0a 64 6f 5f 74 65 73 74 20 77 61 6c 2d 31 31 2e  .do_test wal-11.
5050: 38 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 20  8 {.  execsql { 
5060: 50 52 41 47 4d 41 20 63 68 65 63 6b 70 6f 69 6e  PRAGMA checkpoin
5070: 74 20 7d 0a 20 20 6c 69 73 74 20 5b 65 78 70 72  t }.  list [expr
5080: 20 5b 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74   [file size test
5090: 2e 64 62 5d 2f 31 30 32 34 5d 20 5b 66 69 6c 65  .db]/1024] [file
50a0: 20 73 69 7a 65 20 74 65 73 74 2e 64 62 2d 77 61   size test.db-wa
50b0: 6c 5d 0a 7d 20 5b 6c 69 73 74 20 33 37 20 5b 6c  l].} [list 37 [l
50c0: 6f 67 5f 66 69 6c 65 5f 73 69 7a 65 20 34 31 20  og_file_size 41 
50d0: 31 30 32 34 5d 5d 0a 64 6f 5f 74 65 73 74 20 77  1024]].do_test w
50e0: 61 6c 2d 31 31 2e 39 20 7b 0a 20 20 64 62 20 63  al-11.9 {.  db c
50f0: 6c 6f 73 65 0a 20 20 6c 69 73 74 20 5b 65 78 70  lose.  list [exp
5100: 72 20 5b 66 69 6c 65 20 73 69 7a 65 20 74 65 73  r [file size tes
5110: 74 2e 64 62 5d 2f 31 30 32 34 5d 20 5b 6c 6f 67  t.db]/1024] [log
5120: 5f 64 65 6c 65 74 65 64 20 74 65 73 74 2e 64 62  _deleted test.db
5130: 2d 77 61 6c 5d 0a 7d 20 7b 33 37 20 31 7d 0a 73  -wal].} {37 1}.s
5140: 71 6c 69 74 65 33 5f 77 61 6c 20 64 62 20 74 65  qlite3_wal db te
5150: 73 74 2e 64 62 0a 64 6f 5f 74 65 73 74 20 77 61  st.db.do_test wa
5160: 6c 2d 31 31 2e 31 30 20 7b 0a 20 20 65 78 65 63  l-11.10 {.  exec
5170: 73 71 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d 41  sql {.    PRAGMA
5180: 20 63 61 63 68 65 5f 73 69 7a 65 20 3d 20 31 30   cache_size = 10
5190: 3b 0a 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20  ;.    BEGIN;.   
51a0: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
51b0: 31 20 53 45 4c 45 43 54 20 62 6c 6f 62 28 39 30  1 SELECT blob(90
51c0: 30 29 20 46 52 4f 4d 20 74 31 3b 20 20 20 2d 2d  0) FROM t1;   --
51d0: 20 33 32 0a 20 20 20 20 20 20 53 45 4c 45 43 54   32.      SELECT
51e0: 20 63 6f 75 6e 74 28 2a 29 20 46 52 4f 4d 20 74   count(*) FROM t
51f0: 31 3b 0a 20 20 7d 0a 20 20 6c 69 73 74 20 5b 65  1;.  }.  list [e
5200: 78 70 72 20 5b 66 69 6c 65 20 73 69 7a 65 20 74  xpr [file size t
5210: 65 73 74 2e 64 62 5d 2f 31 30 32 34 5d 20 5b 66  est.db]/1024] [f
5220: 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62  ile size test.db
5230: 2d 77 61 6c 5d 0a 7d 20 5b 6c 69 73 74 20 33 37  -wal].} [list 37
5240: 20 5b 6c 6f 67 5f 66 69 6c 65 5f 73 69 7a 65 20   [log_file_size 
5250: 33 37 20 31 30 32 34 5d 5d 0a 64 6f 5f 74 65 73  37 1024]].do_tes
5260: 74 20 77 61 6c 2d 31 31 2e 31 31 20 7b 0a 20 20  t wal-11.11 {.  
5270: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 20 20  execsql {.      
5280: 53 45 4c 45 43 54 20 63 6f 75 6e 74 28 2a 29 20  SELECT count(*) 
5290: 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 52 4f 4c  FROM t1;.    ROL
52a0: 4c 42 41 43 4b 3b 0a 20 20 20 20 53 45 4c 45 43  LBACK;.    SELEC
52b0: 54 20 63 6f 75 6e 74 28 2a 29 20 46 52 4f 4d 20  T count(*) FROM 
52c0: 74 31 3b 0a 20 20 7d 0a 7d 20 7b 33 32 20 31 36  t1;.  }.} {32 16
52d0: 7d 0a 64 6f 5f 74 65 73 74 20 77 61 6c 2d 31 31  }.do_test wal-11
52e0: 2e 31 32 20 7b 0a 20 20 6c 69 73 74 20 5b 65 78  .12 {.  list [ex
52f0: 70 72 20 5b 66 69 6c 65 20 73 69 7a 65 20 74 65  pr [file size te
5300: 73 74 2e 64 62 5d 2f 31 30 32 34 5d 20 5b 66 69  st.db]/1024] [fi
5310: 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62 2d  le size test.db-
5320: 77 61 6c 5d 0a 7d 20 5b 6c 69 73 74 20 33 37 20  wal].} [list 37 
5330: 5b 6c 6f 67 5f 66 69 6c 65 5f 73 69 7a 65 20 33  [log_file_size 3
5340: 37 20 31 30 32 34 5d 5d 0a 64 6f 5f 74 65 73 74  7 1024]].do_test
5350: 20 77 61 6c 2d 31 31 2e 31 33 20 7b 0a 20 20 65   wal-11.13 {.  e
5360: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 49 4e 53  xecsql {.    INS
5370: 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55  ERT INTO t1 VALU
5380: 45 53 28 20 62 6c 6f 62 28 39 30 30 29 20 29 3b  ES( blob(900) );
5390: 0a 20 20 20 20 53 45 4c 45 43 54 20 63 6f 75 6e  .    SELECT coun
53a0: 74 28 2a 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20  t(*) FROM t1;.  
53b0: 20 20 50 52 41 47 4d 41 20 69 6e 74 65 67 72 69    PRAGMA integri
53c0: 74 79 5f 63 68 65 63 6b 3b 0a 20 20 7d 0a 7d 20  ty_check;.  }.} 
53d0: 7b 31 37 20 6f 6b 7d 0a 64 6f 5f 74 65 73 74 20  {17 ok}.do_test 
53e0: 77 61 6c 2d 31 31 2e 31 34 20 7b 0a 20 20 6c 69  wal-11.14 {.  li
53f0: 73 74 20 5b 65 78 70 72 20 5b 66 69 6c 65 20 73  st [expr [file s
5400: 69 7a 65 20 74 65 73 74 2e 64 62 5d 2f 31 30 32  ize test.db]/102
5410: 34 5d 20 5b 66 69 6c 65 20 73 69 7a 65 20 74 65  4] [file size te
5420: 73 74 2e 64 62 2d 77 61 6c 5d 0a 7d 20 5b 6c 69  st.db-wal].} [li
5430: 73 74 20 33 37 20 5b 6c 6f 67 5f 66 69 6c 65 5f  st 37 [log_file_
5440: 73 69 7a 65 20 33 37 20 31 30 32 34 5d 5d 0a 0a  size 37 1024]]..
5450: 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  .#--------------
5460: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
5470: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
5480: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
5490: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54 68  -----------.# Th
54a0: 69 73 20 62 6c 6f 63 6b 20 6f 66 20 74 65 73 74  is block of test
54b0: 73 2c 20 77 61 6c 2d 31 32 2e 2a 2c 20 74 65 73  s, wal-12.*, tes
54c0: 74 73 20 74 68 65 20 66 69 78 20 66 6f 72 20 61  ts the fix for a
54d0: 20 70 72 6f 62 6c 65 6d 20 74 68 61 74 20 0a 23   problem that .#
54e0: 20 63 6f 75 6c 64 20 6f 63 63 75 72 20 69 66 20   could occur if 
54f0: 61 20 6c 6f 67 20 74 68 61 74 20 69 73 20 61 20  a log that is a 
5500: 70 72 65 66 69 78 20 6f 66 20 61 6e 20 6f 6c 64  prefix of an old
5510: 65 72 20 6c 6f 67 20 69 73 20 77 72 69 74 74 65  er log is writte
5520: 6e 20 0a 23 20 69 6e 74 6f 20 61 20 72 65 75 73  n .# into a reus
5530: 65 64 20 6c 6f 67 20 66 69 6c 65 2e 0a 23 0a 72  ed log file..#.r
5540: 65 6f 70 65 6e 5f 64 62 0a 64 6f 5f 74 65 73 74  eopen_db.do_test
5550: 20 77 61 6c 2d 31 32 2e 31 20 7b 0a 20 20 65 78   wal-12.1 {.  ex
5560: 65 63 73 71 6c 20 7b 0a 20 20 20 20 50 52 41 47  ecsql {.    PRAG
5570: 4d 41 20 70 61 67 65 5f 73 69 7a 65 20 3d 20 31  MA page_size = 1
5580: 30 32 34 3b 0a 20 20 20 20 43 52 45 41 54 45 20  024;.    CREATE 
5590: 54 41 42 4c 45 20 74 31 28 78 2c 20 79 29 3b 0a  TABLE t1(x, y);.
55a0: 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45      CREATE TABLE
55b0: 20 74 32 28 78 2c 20 79 29 3b 0a 20 20 20 20 49   t2(x, y);.    I
55c0: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41  NSERT INTO t1 VA
55d0: 4c 55 45 53 28 27 41 27 2c 20 31 29 3b 0a 20 20  LUES('A', 1);.  
55e0: 7d 0a 20 20 6c 69 73 74 20 5b 65 78 70 72 20 5b  }.  list [expr [
55f0: 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64  file size test.d
5600: 62 5d 2f 31 30 32 34 5d 20 5b 66 69 6c 65 20 73  b]/1024] [file s
5610: 69 7a 65 20 74 65 73 74 2e 64 62 2d 77 61 6c 5d  ize test.db-wal]
5620: 0a 7d 20 5b 6c 69 73 74 20 31 20 5b 6c 6f 67 5f  .} [list 1 [log_
5630: 66 69 6c 65 5f 73 69 7a 65 20 35 20 31 30 32 34  file_size 5 1024
5640: 5d 5d 0a 64 6f 5f 74 65 73 74 20 77 61 6c 2d 31  ]].do_test wal-1
5650: 32 2e 32 20 7b 0a 20 20 64 62 20 63 6c 6f 73 65  2.2 {.  db close
5660: 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20 74 65  .  sqlite3 db te
5670: 73 74 2e 64 62 0a 20 20 65 78 65 63 73 71 6c 20  st.db.  execsql 
5680: 7b 0a 20 20 20 20 50 52 41 47 4d 41 20 73 79 6e  {.    PRAGMA syn
5690: 63 68 72 6f 6e 6f 75 73 20 3d 20 6e 6f 72 6d 61  chronous = norma
56a0: 6c 3b 0a 20 20 20 20 55 50 44 41 54 45 20 74 31  l;.    UPDATE t1
56b0: 20 53 45 54 20 79 20 3d 20 30 20 57 48 45 52 45   SET y = 0 WHERE
56c0: 20 78 20 3d 20 27 41 27 3b 0a 20 20 7d 0a 20 20   x = 'A';.  }.  
56d0: 6c 69 73 74 20 5b 65 78 70 72 20 5b 66 69 6c 65  list [expr [file
56e0: 20 73 69 7a 65 20 74 65 73 74 2e 64 62 5d 2f 31   size test.db]/1
56f0: 30 32 34 5d 20 5b 65 78 70 72 20 5b 66 69 6c 65  024] [expr [file
5700: 20 73 69 7a 65 20 74 65 73 74 2e 64 62 2d 77 61   size test.db-wa
5710: 6c 5d 2f 31 30 34 34 5d 0a 7d 20 7b 33 20 31 7d  l]/1044].} {3 1}
5720: 0a 64 6f 5f 74 65 73 74 20 77 61 6c 2d 31 32 2e  .do_test wal-12.
5730: 33 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 20  3 {.  execsql { 
5740: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20 56  INSERT INTO t2 V
5750: 41 4c 55 45 53 28 27 42 27 2c 20 31 29 20 7d 0a  ALUES('B', 1) }.
5760: 20 20 6c 69 73 74 20 5b 65 78 70 72 20 5b 66 69    list [expr [fi
5770: 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62 5d  le size test.db]
5780: 2f 31 30 32 34 5d 20 5b 65 78 70 72 20 5b 66 69  /1024] [expr [fi
5790: 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62 2d  le size test.db-
57a0: 77 61 6c 5d 2f 31 30 34 34 5d 0a 7d 20 7b 33 20  wal]/1044].} {3 
57b0: 32 7d 0a 64 6f 5f 74 65 73 74 20 77 61 6c 2d 31  2}.do_test wal-1
57c0: 32 2e 34 20 7b 0a 20 20 66 69 6c 65 20 63 6f 70  2.4 {.  file cop
57d0: 79 20 2d 66 6f 72 63 65 20 74 65 73 74 2e 64 62  y -force test.db
57e0: 20 74 65 73 74 32 2e 64 62 0a 20 20 66 69 6c 65   test2.db.  file
57f0: 20 63 6f 70 79 20 2d 66 6f 72 63 65 20 74 65 73   copy -force tes
5800: 74 2e 64 62 2d 77 61 6c 20 74 65 73 74 32 2e 64  t.db-wal test2.d
5810: 62 2d 77 61 6c 0a 20 20 73 71 6c 69 74 65 33 5f  b-wal.  sqlite3_
5820: 77 61 6c 20 64 62 32 20 74 65 73 74 32 2e 64 62  wal db2 test2.db
5830: 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 53 45 4c  .  execsql { SEL
5840: 45 43 54 20 2a 20 46 52 4f 4d 20 74 32 20 7d 20  ECT * FROM t2 } 
5850: 64 62 32 0a 7d 20 7b 42 20 31 7d 0a 64 62 32 20  db2.} {B 1}.db2 
5860: 63 6c 6f 73 65 0a 64 6f 5f 74 65 73 74 20 77 61  close.do_test wa
5870: 6c 2d 31 32 2e 35 20 7b 0a 20 20 65 78 65 63 73  l-12.5 {.  execs
5880: 71 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d 41 20  ql {.    PRAGMA 
5890: 63 68 65 63 6b 70 6f 69 6e 74 3b 0a 20 20 20 20  checkpoint;.    
58a0: 55 50 44 41 54 45 20 74 32 20 53 45 54 20 79 20  UPDATE t2 SET y 
58b0: 3d 20 32 20 57 48 45 52 45 20 78 20 3d 20 27 42  = 2 WHERE x = 'B
58c0: 27 3b 20 0a 20 20 20 20 50 52 41 47 4d 41 20 63  '; .    PRAGMA c
58d0: 68 65 63 6b 70 6f 69 6e 74 3b 0a 20 20 20 20 55  heckpoint;.    U
58e0: 50 44 41 54 45 20 74 31 20 53 45 54 20 79 20 3d  PDATE t1 SET y =
58f0: 20 31 20 57 48 45 52 45 20 78 20 3d 20 27 41 27   1 WHERE x = 'A'
5900: 3b 0a 20 20 20 20 50 52 41 47 4d 41 20 63 68 65  ;.    PRAGMA che
5910: 63 6b 70 6f 69 6e 74 3b 0a 20 20 20 20 55 50 44  ckpoint;.    UPD
5920: 41 54 45 20 74 31 20 53 45 54 20 79 20 3d 20 30  ATE t1 SET y = 0
5930: 20 57 48 45 52 45 20 78 20 3d 20 27 41 27 3b 0a   WHERE x = 'A';.
5940: 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f      SELECT * FRO
5950: 4d 20 74 32 3b 0a 20 20 7d 0a 7d 20 7b 42 20 32  M t2;.  }.} {B 2
5960: 7d 0a 64 6f 5f 74 65 73 74 20 77 61 6c 2d 31 32  }.do_test wal-12
5970: 2e 36 20 7b 0a 20 20 66 69 6c 65 20 63 6f 70 79  .6 {.  file copy
5980: 20 2d 66 6f 72 63 65 20 74 65 73 74 2e 64 62 20   -force test.db 
5990: 74 65 73 74 32 2e 64 62 0a 20 20 66 69 6c 65 20  test2.db.  file 
59a0: 63 6f 70 79 20 2d 66 6f 72 63 65 20 74 65 73 74  copy -force test
59b0: 2e 64 62 2d 77 61 6c 20 74 65 73 74 32 2e 64 62  .db-wal test2.db
59c0: 2d 77 61 6c 0a 20 20 73 71 6c 69 74 65 33 5f 77  -wal.  sqlite3_w
59d0: 61 6c 20 64 62 32 20 74 65 73 74 32 2e 64 62 0a  al db2 test2.db.
59e0: 20 20 65 78 65 63 73 71 6c 20 7b 20 53 45 4c 45    execsql { SELE
59f0: 43 54 20 2a 20 46 52 4f 4d 20 74 32 20 7d 20 64  CT * FROM t2 } d
5a00: 62 32 0a 7d 20 7b 42 20 32 7d 0a 64 62 32 20 63  b2.} {B 2}.db2 c
5a10: 6c 6f 73 65 0a 64 62 20 63 6c 6f 73 65 0a 0a 23  lose.db close..#
5a20: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
5a30: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
5a40: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
5a50: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
5a60: 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54 65 73 74  ---------.# Test
5a70: 20 6c 61 72 67 65 20 6c 6f 67 20 73 75 6d 6d 61   large log summa
5a80: 72 69 65 73 2e 0a 23 0a 73 65 74 20 73 71 6c 69  ries..#.set sqli
5a90: 74 65 5f 77 61 6c 73 75 6d 6d 61 72 79 5f 6d 6d  te_walsummary_mm
5aa0: 61 70 5f 69 6e 63 72 20 36 34 0a 64 6f 5f 74 65  ap_incr 64.do_te
5ab0: 73 74 20 77 61 6c 2d 31 33 2e 31 2e 31 20 7b 0a  st wal-13.1.1 {.
5ac0: 20 20 6c 69 73 74 20 5b 66 69 6c 65 20 65 78 69    list [file exi
5ad0: 73 74 73 20 74 65 73 74 2e 64 62 5d 20 5b 66 69  sts test.db] [fi
5ae0: 6c 65 20 65 78 69 73 74 73 20 74 65 73 74 2e 64  le exists test.d
5af0: 62 2d 77 61 6c 5d 0a 7d 20 7b 31 20 30 7d 0a 64  b-wal].} {1 0}.d
5b00: 6f 5f 74 65 73 74 20 77 61 6c 2d 31 33 2e 31 2e  o_test wal-13.1.
5b10: 32 20 7b 0a 20 20 73 65 74 20 66 64 20 5b 6f 70  2 {.  set fd [op
5b20: 65 6e 20 74 65 73 74 2e 64 62 2d 77 61 6c 20 77  en test.db-wal w
5b30: 5d 0a 20 20 73 65 65 6b 20 24 66 64 20 5b 65 78  ].  seek $fd [ex
5b40: 70 72 20 32 30 30 2a 31 30 32 34 2a 31 30 32 34  pr 200*1024*1024
5b50: 5d 0a 20 20 70 75 74 73 20 24 66 64 20 22 22 0a  ].  puts $fd "".
5b60: 20 20 63 6c 6f 73 65 20 24 66 64 0a 20 20 73 71    close $fd.  sq
5b70: 6c 69 74 65 33 20 64 62 20 74 65 73 74 2e 64 62  lite3 db test.db
5b80: 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 53 45 4c  .  execsql { SEL
5b90: 45 43 54 20 2a 20 46 52 4f 4d 20 74 32 20 7d 0a  ECT * FROM t2 }.
5ba0: 7d 20 7b 42 20 32 7d 0a 64 6f 5f 74 65 73 74 20  } {B 2}.do_test 
5bb0: 77 61 6c 2d 31 33 2e 31 2e 33 20 7b 0a 20 20 64  wal-13.1.3 {.  d
5bc0: 62 20 63 6c 6f 73 65 0a 20 20 66 69 6c 65 20 65  b close.  file e
5bd0: 78 69 73 74 73 20 74 65 73 74 2e 64 62 2d 77 61  xists test.db-wa
5be0: 6c 0a 7d 20 7b 30 7d 0a 64 6f 5f 74 65 73 74 20  l.} {0}.do_test 
5bf0: 77 61 6c 2d 31 33 2e 31 2e 34 20 7b 0a 20 20 73  wal-13.1.4 {.  s
5c00: 71 6c 69 74 65 33 20 64 62 20 74 65 73 74 2e 64  qlite3 db test.d
5c10: 62 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 53 45  b.  execsql { SE
5c20: 4c 45 43 54 20 63 6f 75 6e 74 28 2a 29 20 46 52  LECT count(*) FR
5c30: 4f 4d 20 74 32 20 7d 0a 7d 20 7b 31 7d 0a 64 6f  OM t2 }.} {1}.do
5c40: 5f 74 65 73 74 20 77 61 6c 2d 31 33 2e 31 2e 35  _test wal-13.1.5
5c50: 20 7b 0a 20 20 66 6f 72 20 7b 73 65 74 20 69 20   {.  for {set i 
5c60: 30 7d 20 7b 24 69 20 3c 20 36 7d 20 7b 69 6e 63  0} {$i < 6} {inc
5c70: 72 20 69 7d 20 7b 0a 20 20 20 20 65 78 65 63 73  r i} {.    execs
5c80: 71 6c 20 7b 20 49 4e 53 45 52 54 20 49 4e 54 4f  ql { INSERT INTO
5c90: 20 74 32 20 53 45 4c 45 43 54 20 72 61 6e 64 6f   t2 SELECT rando
5ca0: 6d 62 6c 6f 62 28 34 30 30 29 2c 20 72 61 6e 64  mblob(400), rand
5cb0: 6f 6d 62 6c 6f 62 28 34 30 30 29 20 46 52 4f 4d  omblob(400) FROM
5cc0: 20 74 32 20 7d 0a 20 20 7d 0a 20 20 65 78 65 63   t2 }.  }.  exec
5cd0: 73 71 6c 20 7b 20 53 45 4c 45 43 54 20 63 6f 75  sql { SELECT cou
5ce0: 6e 74 28 2a 29 20 46 52 4f 4d 20 74 32 20 7d 0a  nt(*) FROM t2 }.
5cf0: 7d 20 5b 65 78 70 72 20 69 6e 74 28 70 6f 77 28  } [expr int(pow(
5d00: 32 2c 20 36 29 29 5d 0a 64 6f 5f 74 65 73 74 20  2, 6))].do_test 
5d10: 77 61 6c 2d 31 33 2e 31 2e 36 20 7b 0a 20 20 66  wal-13.1.6 {.  f
5d20: 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62  ile size test.db
5d30: 2d 77 61 6c 0a 7d 20 5b 6c 6f 67 5f 66 69 6c 65  -wal.} [log_file
5d40: 5f 73 69 7a 65 20 38 30 20 31 30 32 34 5d 0a 0a  _size 80 1024]..
5d50: 66 6f 72 65 61 63 68 20 63 6f 64 65 20 5b 6c 69  foreach code [li
5d60: 73 74 20 7b 0a 20 20 73 65 74 20 74 6e 20 32 0a  st {.  set tn 2.
5d70: 20 20 70 72 6f 63 20 62 75 64 64 79 20 7b 74 63    proc buddy {tc
5d80: 6c 7d 20 7b 20 75 70 6c 65 76 65 6c 20 23 30 20  l} { uplevel #0 
5d90: 24 74 63 6c 20 7d 0a 7d 20 7b 0a 20 20 73 65 74  $tcl }.} {.  set
5da0: 20 74 6e 20 33 0a 20 20 73 65 74 20 3a 3a 62 75   tn 3.  set ::bu
5db0: 64 64 79 20 5b 6c 61 75 6e 63 68 5f 74 65 73 74  ddy [launch_test
5dc0: 66 69 78 74 75 72 65 5d 0a 20 20 70 72 6f 63 20  fixture].  proc 
5dd0: 62 75 64 64 79 20 7b 74 63 6c 7d 20 7b 20 74 65  buddy {tcl} { te
5de0: 73 74 66 69 78 74 75 72 65 20 24 3a 3a 62 75 64  stfixture $::bud
5df0: 64 79 20 24 74 63 6c 20 7d 0a 7d 5d 20 7b 0a 0a  dy $tcl }.}] {..
5e00: 20 20 65 76 61 6c 20 24 63 6f 64 65 0a 20 20 72    eval $code.  r
5e10: 65 6f 70 65 6e 5f 64 62 0a 0a 20 20 64 6f 5f 74  eopen_db..  do_t
5e20: 65 73 74 20 77 61 6c 2d 31 33 2e 24 74 6e 2e 30  est wal-13.$tn.0
5e30: 20 7b 0a 20 20 20 20 62 75 64 64 79 20 7b 20 73   {.    buddy { s
5e40: 71 6c 69 74 65 33 20 64 62 32 20 74 65 73 74 2e  qlite3 db2 test.
5e50: 64 62 20 7d 0a 20 20 20 20 65 78 65 63 73 71 6c  db }.    execsql
5e60: 20 7b 0a 20 20 20 20 20 20 50 52 41 47 4d 41 20   {.      PRAGMA 
5e70: 6a 6f 75 72 6e 61 6c 5f 6d 6f 64 65 20 3d 20 57  journal_mode = W
5e80: 41 4c 3b 0a 20 20 20 20 20 20 43 52 45 41 54 45  AL;.      CREATE
5e90: 20 54 41 42 4c 45 20 74 31 28 78 29 3b 0a 20 20   TABLE t1(x);.  
5ea0: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
5eb0: 74 31 20 53 45 4c 45 43 54 20 72 61 6e 64 6f 6d  t1 SELECT random
5ec0: 62 6c 6f 62 28 34 30 30 29 3b 0a 20 20 20 20 7d  blob(400);.    }
5ed0: 0a 20 20 20 20 65 78 65 63 73 71 6c 20 7b 20 53  .    execsql { S
5ee0: 45 4c 45 43 54 20 63 6f 75 6e 74 28 2a 29 20 46  ELECT count(*) F
5ef0: 52 4f 4d 20 74 31 20 7d 0a 20 20 7d 20 7b 31 7d  ROM t1 }.  } {1}
5f00: 0a 0a 20 20 66 6f 72 20 7b 73 65 74 20 69 69 20  ..  for {set ii 
5f10: 31 7d 20 7b 24 69 69 3c 31 36 7d 20 7b 69 6e 63  1} {$ii<16} {inc
5f20: 72 20 69 69 7d 20 7b 0a 20 20 20 20 64 6f 5f 74  r ii} {.    do_t
5f30: 65 73 74 20 77 61 6c 2d 31 33 2e 24 74 6e 2e 24  est wal-13.$tn.$
5f40: 69 69 2e 61 20 7b 0a 20 20 20 20 20 20 62 75 64  ii.a {.      bud
5f50: 64 79 20 7b 20 64 62 32 20 65 76 61 6c 20 7b 20  dy { db2 eval { 
5f60: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53  INSERT INTO t1 S
5f70: 45 4c 45 43 54 20 72 61 6e 64 6f 6d 62 6c 6f 62  ELECT randomblob
5f80: 28 34 30 30 29 20 46 52 4f 4d 20 74 31 20 7d 20  (400) FROM t1 } 
5f90: 7d 0a 20 20 20 20 20 20 62 75 64 64 79 20 7b 20  }.      buddy { 
5fa0: 64 62 32 20 65 76 61 6c 20 7b 20 53 45 4c 45 43  db2 eval { SELEC
5fb0: 54 20 63 6f 75 6e 74 28 2a 29 20 46 52 4f 4d 20  T count(*) FROM 
5fc0: 74 31 20 7d 20 7d 0a 20 20 20 20 7d 20 5b 65 78  t1 } }.    } [ex
5fd0: 70 72 20 28 31 3c 3c 24 69 69 29 5d 0a 20 20 20  pr (1<<$ii)].   
5fe0: 20 64 6f 5f 74 65 73 74 20 77 61 6c 2d 31 33 2e   do_test wal-13.
5ff0: 24 74 6e 2e 24 69 69 2e 62 20 7b 0a 20 20 20 20  $tn.$ii.b {.    
6000: 20 20 64 62 20 65 76 61 6c 20 7b 20 53 45 4c 45    db eval { SELE
6010: 43 54 20 63 6f 75 6e 74 28 2a 29 20 46 52 4f 4d  CT count(*) FROM
6020: 20 74 31 20 7d 0a 20 20 20 20 7d 20 5b 65 78 70   t1 }.    } [exp
6030: 72 20 28 31 3c 3c 24 69 69 29 5d 0a 20 20 20 20  r (1<<$ii)].    
6040: 64 6f 5f 74 65 73 74 20 77 61 6c 2d 31 33 2e 24  do_test wal-13.$
6050: 74 6e 2e 24 69 69 2e 63 20 7b 0a 20 20 20 20 20  tn.$ii.c {.     
6060: 20 64 62 20 65 76 61 6c 20 7b 20 53 45 4c 45 43   db eval { SELEC
6070: 54 20 63 6f 75 6e 74 28 2a 29 20 46 52 4f 4d 20  T count(*) FROM 
6080: 74 31 20 7d 0a 20 20 20 20 7d 20 5b 65 78 70 72  t1 }.    } [expr
6090: 20 28 31 3c 3c 24 69 69 29 5d 0a 20 20 7d 0a 0a   (1<<$ii)].  }..
60a0: 20 20 63 61 74 63 68 20 7b 20 64 62 32 20 63 6c    catch { db2 cl
60b0: 6f 73 65 20 7d 0a 20 20 63 61 74 63 68 20 7b 20  ose }.  catch { 
60c0: 63 6c 6f 73 65 20 24 3a 3a 62 75 64 64 79 20 7d  close $::buddy }
60d0: 0a 20 20 64 62 20 63 6c 6f 73 65 0a 7d 0a 0a 66  .  db close.}..f
60e0: 69 6e 69 73 68 5f 74 65 73 74 0a 0a              inish_test..