/ Hex Artifact Content
Login

Artifact de8dbaf6d9e41481c460ba31ca61e163d7348f8e:


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 20 77 69 74 68 20 6d 75 6c  L" mode with mul
0210: 74 69 70 6c 65 20 74 68 72 65 61 64 73 2e 0a 23  tiple threads..#
0220: 0a 0a 73 65 74 20 74 65 73 74 64 69 72 20 5b 66  ..set testdir [f
0230: 69 6c 65 20 64 69 72 6e 61 6d 65 20 24 61 72 67  ile dirname $arg
0240: 76 30 5d 0a 0a 73 6f 75 72 63 65 20 24 74 65 73  v0]..source $tes
0250: 74 64 69 72 2f 74 65 73 74 65 72 2e 74 63 6c 0a  tdir/tester.tcl.
0260: 73 6f 75 72 63 65 20 24 74 65 73 74 64 69 72 2f  source $testdir/
0270: 6c 6f 63 6b 5f 63 6f 6d 6d 6f 6e 2e 74 63 6c 0a  lock_common.tcl.
0280: 69 66 20 7b 5b 72 75 6e 5f 74 68 72 65 61 64 5f  if {[run_thread_
0290: 74 65 73 74 73 5d 3d 3d 30 7d 20 7b 20 66 69 6e  tests]==0} { fin
02a0: 69 73 68 5f 74 65 73 74 20 3b 20 72 65 74 75 72  ish_test ; retur
02b0: 6e 20 7d 0a 69 66 63 61 70 61 62 6c 65 20 21 77  n }.ifcapable !w
02c0: 61 6c 20 20 20 20 20 20 20 20 20 20 20 20 20 7b  al             {
02d0: 20 66 69 6e 69 73 68 5f 74 65 73 74 20 3b 20 72   finish_test ; r
02e0: 65 74 75 72 6e 20 7d 0a 0a 73 65 74 20 73 71 6c  eturn }..set sql
02f0: 69 74 65 5f 77 61 6c 73 75 6d 6d 61 72 79 5f 6d  ite_walsummary_m
0300: 6d 61 70 5f 69 6e 63 72 20 36 34 0a 0a 23 20 48  map_incr 64..# H
0310: 6f 77 20 6c 6f 6e 67 2c 20 69 6e 20 73 65 63 6f  ow long, in seco
0320: 6e 64 73 2c 20 74 6f 20 72 75 6e 20 65 61 63 68  nds, to run each
0330: 20 74 65 73 74 20 66 6f 72 2e 20 49 66 20 61 20   test for. If a 
0340: 74 65 73 74 20 69 73 20 73 65 74 20 74 6f 20 72  test is set to r
0350: 75 6e 20 66 6f 72 0a 23 20 30 20 73 65 63 6f 6e  un for.# 0 secon
0360: 64 73 2c 20 69 74 20 69 73 20 6f 6d 69 74 74 65  ds, it is omitte
0370: 64 20 65 6e 74 69 72 65 6c 79 2e 0a 23 0a 75 6e  d entirely..#.un
0380: 73 65 74 20 2d 6e 6f 63 6f 6d 70 6c 61 69 6e 20  set -nocomplain 
0390: 73 65 63 6f 6e 64 73 0a 73 65 74 20 73 65 63 6f  seconds.set seco
03a0: 6e 64 73 28 77 61 6c 74 68 72 65 61 64 2d 31 29  nds(walthread-1)
03b0: 20 32 30 0a 73 65 74 20 73 65 63 6f 6e 64 73 28   20.set seconds(
03c0: 77 61 6c 74 68 72 65 61 64 2d 32 29 20 32 30 0a  walthread-2) 20.
03d0: 73 65 74 20 73 65 63 6f 6e 64 73 28 77 61 6c 74  set seconds(walt
03e0: 68 72 65 61 64 2d 33 29 20 32 30 0a 73 65 74 20  hread-3) 20.set 
03f0: 73 65 63 6f 6e 64 73 28 77 61 6c 74 68 72 65 61  seconds(walthrea
0400: 64 2d 34 29 20 32 30 0a 73 65 74 20 73 65 63 6f  d-4) 20.set seco
0410: 6e 64 73 28 77 61 6c 74 68 72 65 61 64 2d 35 29  nds(walthread-5)
0420: 20 31 0a 0a 23 20 54 68 65 20 70 61 72 61 6d 65   1..# The parame
0430: 74 65 72 20 69 73 20 74 68 65 20 6e 61 6d 65 20  ter is the name 
0440: 6f 66 20 61 20 76 61 72 69 61 62 6c 65 20 69 6e  of a variable in
0450: 20 74 68 65 20 63 61 6c 6c 65 72 73 20 63 6f 6e   the callers con
0460: 74 65 78 74 2e 20 54 68 65 0a 23 20 76 61 72 69  text. The.# vari
0470: 61 62 6c 65 20 6d 61 79 20 6f 72 20 6d 61 79 20  able may or may 
0480: 6e 6f 74 20 65 78 69 73 74 20 77 68 65 6e 20 74  not exist when t
0490: 68 69 73 20 63 6f 6d 6d 61 6e 64 20 69 73 20 69  his command is i
04a0: 6e 76 6f 6b 65 64 2e 0a 23 0a 23 20 49 66 20 74  nvoked..#.# If t
04b0: 68 65 20 76 61 72 69 61 62 6c 65 20 64 6f 65 73  he variable does
04c0: 20 65 78 69 73 74 2c 20 69 74 73 20 76 61 6c 75   exist, its valu
04d0: 65 20 69 73 20 72 65 74 75 72 6e 65 64 2e 20 4f  e is returned. O
04e0: 74 68 65 72 77 69 73 65 2c 20 74 68 69 73 0a 23  therwise, this.#
04f0: 20 63 6f 6d 6d 61 6e 64 20 75 73 65 73 20 5b 76   command uses [v
0500: 77 61 69 74 5d 20 74 6f 20 77 61 69 74 20 75 6e  wait] to wait un
0510: 74 69 6c 20 69 74 20 69 73 20 73 65 74 2c 20 74  til it is set, t
0520: 68 65 6e 20 72 65 74 75 72 6e 73 20 74 68 65 20  hen returns the 
0530: 76 61 6c 75 65 2e 0a 23 20 49 6e 20 6f 74 68 65  value..# In othe
0540: 72 20 77 6f 72 64 73 2c 20 74 68 69 73 20 69 73  r words, this is
0550: 20 61 20 76 65 72 73 69 6f 6e 20 6f 66 20 74 68   a version of th
0560: 65 20 5b 73 65 74 20 56 41 52 4e 41 4d 45 5d 20  e [set VARNAME] 
0570: 63 6f 6d 6d 61 6e 64 20 74 68 61 74 0a 23 20 62  command that.# b
0580: 6c 6f 63 6b 73 20 75 6e 74 69 6c 20 61 20 76 61  locks until a va
0590: 72 69 61 62 6c 65 20 65 78 69 73 74 73 2e 0a 23  riable exists..#
05a0: 0a 70 72 6f 63 20 77 61 69 74 5f 66 6f 72 5f 76  .proc wait_for_v
05b0: 61 72 20 7b 76 61 72 6e 61 6d 65 7d 20 7b 0a 20  ar {varname} {. 
05c0: 20 69 66 20 7b 30 3d 3d 5b 75 70 6c 65 76 65 6c   if {0==[uplevel
05d0: 20 5b 6c 69 73 74 20 69 6e 66 6f 20 65 78 69 73   [list info exis
05e0: 74 73 20 24 76 61 72 6e 61 6d 65 5d 5d 7d 20 7b  ts $varname]]} {
05f0: 0a 20 20 20 20 75 70 6c 65 76 65 6c 20 5b 6c 69  .    uplevel [li
0600: 73 74 20 76 77 61 69 74 20 24 76 61 72 6e 61 6d  st vwait $varnam
0610: 65 5d 0a 20 20 7d 0a 20 20 75 70 6c 65 76 65 6c  e].  }.  uplevel
0620: 20 5b 6c 69 73 74 20 73 65 74 20 24 76 61 72 6e   [list set $varn
0630: 61 6d 65 5d 0a 7d 0a 0a 23 20 54 68 65 20 61 72  ame].}..# The ar
0640: 67 75 6d 65 6e 74 20 69 73 20 74 68 65 20 6e 61  gument is the na
0650: 6d 65 20 6f 66 20 61 20 6c 69 73 74 20 76 61 72  me of a list var
0660: 69 61 62 6c 65 20 69 6e 20 74 68 65 20 63 61 6c  iable in the cal
0670: 6c 65 72 73 20 63 6f 6e 74 65 78 74 2e 20 54 68  lers context. Th
0680: 65 20 0a 23 20 66 69 72 73 74 20 65 6c 65 6d 65  e .# first eleme
0690: 6e 74 20 6f 66 20 74 68 65 20 6c 69 73 74 20 69  nt of the list i
06a0: 73 20 72 65 6d 6f 76 65 64 20 61 6e 64 20 72 65  s removed and re
06b0: 74 75 72 6e 65 64 2e 20 46 6f 72 20 65 78 61 6d  turned. For exam
06c0: 70 6c 65 3a 0a 23 0a 23 20 20 20 73 65 74 20 4c  ple:.#.#   set L
06d0: 20 7b 61 20 62 20 63 7d 0a 23 20 20 20 73 65 74   {a b c}.#   set
06e0: 20 78 20 5b 6c 73 68 69 66 74 20 4c 5d 0a 23 20   x [lshift L].# 
06f0: 20 20 61 73 73 65 72 74 20 7b 20 24 78 20 3d 3d    assert { $x ==
0700: 20 22 61 22 20 26 26 20 24 4c 20 3d 3d 20 22 62   "a" && $L == "b
0710: 20 63 22 20 7d 0a 23 0a 70 72 6f 63 20 6c 73 68   c" }.#.proc lsh
0720: 69 66 74 20 7b 6c 76 61 72 7d 20 7b 0a 20 20 75  ift {lvar} {.  u
0730: 70 76 61 72 20 24 6c 76 61 72 20 4c 0a 20 20 73  pvar $lvar L.  s
0740: 65 74 20 72 65 74 20 5b 6c 69 6e 64 65 78 20 24  et ret [lindex $
0750: 4c 20 30 5d 0a 20 20 73 65 74 20 4c 20 5b 6c 72  L 0].  set L [lr
0760: 61 6e 67 65 20 24 4c 20 31 20 65 6e 64 5d 0a 20  ange $L 1 end]. 
0770: 20 72 65 74 75 72 6e 20 24 72 65 74 0a 7d 0a 0a   return $ret.}..
0780: 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  .#--------------
0790: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
07a0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
07b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
07c0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 20 20  -----------.#   
07d0: 64 6f 5f 74 68 72 65 61 64 5f 74 65 73 74 20 54  do_thread_test T
07e0: 45 53 54 4e 41 4d 45 20 4f 50 54 49 4f 4e 53 2e  ESTNAME OPTIONS.
07f0: 2e 2e 0a 23 20 0a 23 20 77 68 65 72 65 20 4f 50  ...# .# where OP
0800: 54 49 4f 4e 53 20 61 72 65 3a 20 0a 23 0a 23 20  TIONS are: .#.# 
0810: 20 20 2d 73 65 63 6f 6e 64 73 20 20 20 53 45 43    -seconds   SEC
0820: 4f 4e 44 53 20 20 20 20 20 20 20 20 20 20 20 20  ONDS            
0830: 20 20 20 20 48 6f 77 20 6d 61 6e 79 20 73 65 63      How many sec
0840: 6f 6e 64 73 20 74 6f 20 72 75 6e 20 74 68 65 20  onds to run the 
0850: 74 65 73 74 20 66 6f 72 0a 23 20 20 20 2d 69 6e  test for.#   -in
0860: 69 74 20 20 20 20 20 20 53 43 52 49 50 54 20 20  it      SCRIPT  
0870: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 53                 S
0880: 63 72 69 70 74 20 74 6f 20 72 75 6e 20 62 65 66  cript to run bef
0890: 6f 72 65 20 74 65 73 74 2e 0a 23 20 20 20 2d 74  ore test..#   -t
08a0: 68 72 65 61 64 20 20 20 20 4e 41 4d 45 20 43 4f  hread    NAME CO
08b0: 55 4e 54 20 53 43 52 49 50 54 20 20 20 20 20 20  UNT SCRIPT      
08c0: 53 63 72 69 70 74 73 20 74 6f 20 72 75 6e 20 69  Scripts to run i
08d0: 6e 20 74 68 72 65 61 64 73 20 28 6f 72 20 70 72  n threads (or pr
08e0: 6f 63 65 73 73 65 73 29 2e 0a 23 20 20 20 2d 70  ocesses)..#   -p
08f0: 72 6f 63 65 73 73 65 73 20 42 4f 4f 4c 45 41 4e  rocesses BOOLEAN
0900: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0910: 54 72 75 65 20 74 6f 20 75 73 65 20 70 72 6f 63  True to use proc
0920: 65 73 73 65 73 20 69 6e 73 74 65 61 64 20 6f 66  esses instead of
0930: 20 74 68 72 65 61 64 73 2e 0a 23 20 20 20 2d 63   threads..#   -c
0940: 68 65 63 6b 20 20 20 20 20 53 43 52 49 50 54 20  heck     SCRIPT 
0950: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0960: 53 63 72 69 70 74 20 74 6f 20 72 75 6e 20 61 66  Script to run af
0970: 74 65 72 20 74 65 73 74 2e 0a 23 0a 70 72 6f 63  ter test..#.proc
0980: 20 64 6f 5f 74 68 72 65 61 64 5f 74 65 73 74 20   do_thread_test 
0990: 7b 61 72 67 73 7d 20 7b 0a 0a 20 20 73 65 74 20  {args} {..  set 
09a0: 41 20 24 61 72 67 73 0a 0a 20 20 73 65 74 20 50  A $args..  set P
09b0: 28 74 65 73 74 6e 61 6d 65 29 20 5b 6c 73 68 69  (testname) [lshi
09c0: 66 74 20 41 5d 0a 20 20 73 65 74 20 50 28 73 65  ft A].  set P(se
09d0: 63 6f 6e 64 73 29 20 35 0a 20 20 73 65 74 20 50  conds) 5.  set P
09e0: 28 69 6e 69 74 29 20 22 22 0a 20 20 73 65 74 20  (init) "".  set 
09f0: 50 28 74 68 72 65 61 64 73 29 20 5b 6c 69 73 74  P(threads) [list
0a00: 5d 0a 20 20 73 65 74 20 50 28 70 72 6f 63 65 73  ].  set P(proces
0a10: 73 65 73 29 20 30 0a 20 20 73 65 74 20 50 28 63  ses) 0.  set P(c
0a20: 68 65 63 6b 29 20 7b 0a 20 20 20 20 73 65 74 20  heck) {.    set 
0a30: 69 63 20 5b 64 62 20 65 76 61 6c 20 22 50 52 41  ic [db eval "PRA
0a40: 47 4d 41 20 69 6e 74 65 67 72 69 74 79 5f 63 68  GMA integrity_ch
0a50: 65 63 6b 22 5d 0a 20 20 20 20 69 66 20 7b 24 69  eck"].    if {$i
0a60: 63 20 21 3d 20 22 6f 6b 22 7d 20 7b 20 65 72 72  c != "ok"} { err
0a70: 6f 72 20 24 69 63 20 7d 0a 20 20 7d 0a 0a 20 20  or $ic }.  }..  
0a80: 75 6e 73 65 74 20 2d 6e 6f 63 6f 6d 70 6c 61 69  unset -nocomplai
0a90: 6e 20 3a 3a 64 6f 6e 65 0a 0a 20 20 77 68 69 6c  n ::done..  whil
0aa0: 65 20 7b 5b 6c 6c 65 6e 67 74 68 20 24 41 5d 3e  e {[llength $A]>
0ab0: 30 7d 20 7b 0a 20 20 20 20 73 65 74 20 61 20 5b  0} {.    set a [
0ac0: 6c 73 68 69 66 74 20 41 5d 0a 20 20 20 20 73 77  lshift A].    sw
0ad0: 69 74 63 68 20 2d 67 6c 6f 62 20 2d 2d 20 24 61  itch -glob -- $a
0ae0: 20 7b 0a 20 20 20 20 20 20 2d 73 65 63 6f 6e 64   {.      -second
0af0: 73 20 7b 0a 20 20 20 20 20 20 20 20 73 65 74 20  s {.        set 
0b00: 50 28 73 65 63 6f 6e 64 73 29 20 5b 6c 73 68 69  P(seconds) [lshi
0b10: 66 74 20 41 5d 0a 20 20 20 20 20 20 7d 0a 0a 20  ft A].      }.. 
0b20: 20 20 20 20 20 2d 69 6e 69 74 20 7b 0a 20 20 20       -init {.   
0b30: 20 20 20 20 20 73 65 74 20 50 28 69 6e 69 74 29       set P(init)
0b40: 20 5b 6c 73 68 69 66 74 20 41 5d 0a 20 20 20 20   [lshift A].    
0b50: 20 20 7d 0a 0a 20 20 20 20 20 20 2d 70 72 6f 63    }..      -proc
0b60: 65 73 73 65 73 20 7b 0a 20 20 20 20 20 20 20 20  esses {.        
0b70: 73 65 74 20 50 28 70 72 6f 63 65 73 73 65 73 29  set P(processes)
0b80: 20 5b 6c 73 68 69 66 74 20 41 5d 0a 20 20 20 20   [lshift A].    
0b90: 20 20 7d 0a 0a 20 20 20 20 20 20 2d 63 68 65 63    }..      -chec
0ba0: 6b 20 7b 0a 20 20 20 20 20 20 20 20 73 65 74 20  k {.        set 
0bb0: 50 28 63 68 65 63 6b 29 20 5b 6c 73 68 69 66 74  P(check) [lshift
0bc0: 20 41 5d 0a 20 20 20 20 20 20 7d 0a 0a 20 20 20   A].      }..   
0bd0: 20 20 20 2d 74 68 72 65 61 64 20 7b 0a 20 20 20     -thread {.   
0be0: 20 20 20 20 20 73 65 74 20 6e 61 6d 65 20 20 5b       set name  [
0bf0: 6c 73 68 69 66 74 20 41 5d 0a 20 20 20 20 20 20  lshift A].      
0c00: 20 20 73 65 74 20 63 6f 75 6e 74 20 5b 6c 73 68    set count [lsh
0c10: 69 66 74 20 41 5d 0a 20 20 20 20 20 20 20 20 73  ift A].        s
0c20: 65 74 20 70 72 67 20 20 20 5b 6c 73 68 69 66 74  et prg   [lshift
0c30: 20 41 5d 0a 20 20 20 20 20 20 20 20 6c 61 70 70   A].        lapp
0c40: 65 6e 64 20 50 28 74 68 72 65 61 64 73 29 20 5b  end P(threads) [
0c50: 6c 69 73 74 20 24 6e 61 6d 65 20 24 63 6f 75 6e  list $name $coun
0c60: 74 20 24 70 72 67 5d 0a 20 20 20 20 20 20 7d 0a  t $prg].      }.
0c70: 0a 20 20 20 20 20 20 64 65 66 61 75 6c 74 20 7b  .      default {
0c80: 0a 20 20 20 20 20 20 20 20 65 72 72 6f 72 20 22  .        error "
0c90: 55 6e 6b 6e 6f 77 6e 20 6f 70 74 69 6f 6e 3a 20  Unknown option: 
0ca0: 24 61 22 0a 20 20 20 20 20 20 7d 0a 20 20 20 20  $a".      }.    
0cb0: 7d 0a 20 20 7d 0a 0a 20 20 69 66 20 7b 24 50 28  }.  }..  if {$P(
0cc0: 73 65 63 6f 6e 64 73 29 20 3d 3d 20 30 7d 20 7b  seconds) == 0} {
0cd0: 0a 20 20 20 20 70 75 74 73 20 22 53 6b 69 70 70  .    puts "Skipp
0ce0: 69 6e 67 20 24 50 28 74 65 73 74 6e 61 6d 65 29  ing $P(testname)
0cf0: 22 0a 20 20 20 20 72 65 74 75 72 6e 0a 20 20 7d  ".    return.  }
0d00: 0a 0a 20 20 70 75 74 73 20 22 52 75 6e 6e 69 6e  ..  puts "Runnin
0d10: 67 20 24 50 28 74 65 73 74 6e 61 6d 65 29 20 66  g $P(testname) f
0d20: 6f 72 20 24 50 28 73 65 63 6f 6e 64 73 29 20 73  or $P(seconds) s
0d30: 65 63 6f 6e 64 73 2e 2e 2e 22 0a 0a 20 20 63 61  econds..."..  ca
0d40: 74 63 68 20 7b 20 64 62 20 63 6c 6f 73 65 20 7d  tch { db close }
0d50: 0a 20 20 66 6f 72 63 65 64 65 6c 65 74 65 20 74  .  forcedelete t
0d60: 65 73 74 2e 64 62 20 74 65 73 74 2e 64 62 2d 6a  est.db test.db-j
0d70: 6f 75 72 6e 61 6c 20 74 65 73 74 2e 64 62 2d 77  ournal test.db-w
0d80: 61 6c 0a 0a 20 20 73 71 6c 69 74 65 33 20 64 62  al..  sqlite3 db
0d90: 20 74 65 73 74 2e 64 62 0a 20 20 65 76 61 6c 20   test.db.  eval 
0da0: 24 50 28 69 6e 69 74 29 0a 20 20 63 61 74 63 68  $P(init).  catch
0db0: 20 7b 20 64 62 20 63 6c 6f 73 65 20 7d 0a 0a 20   { db close }.. 
0dc0: 20 66 6f 72 65 61 63 68 20 54 20 24 50 28 74 68   foreach T $P(th
0dd0: 72 65 61 64 73 29 20 7b 0a 20 20 20 20 73 65 74  reads) {.    set
0de0: 20 6e 61 6d 65 20 20 5b 6c 69 6e 64 65 78 20 24   name  [lindex $
0df0: 54 20 30 5d 0a 20 20 20 20 73 65 74 20 63 6f 75  T 0].    set cou
0e00: 6e 74 20 5b 6c 69 6e 64 65 78 20 24 54 20 31 5d  nt [lindex $T 1]
0e10: 0a 20 20 20 20 73 65 74 20 70 72 67 20 20 20 5b  .    set prg   [
0e20: 6c 69 6e 64 65 78 20 24 54 20 32 5d 0a 0a 20 20  lindex $T 2]..  
0e30: 20 20 66 6f 72 20 7b 73 65 74 20 69 20 31 7d 20    for {set i 1} 
0e40: 7b 24 69 20 3c 3d 20 24 63 6f 75 6e 74 7d 20 7b  {$i <= $count} {
0e50: 69 6e 63 72 20 69 7d 20 7b 0a 20 20 20 20 20 20  incr i} {.      
0e60: 73 65 74 20 76 61 72 73 20 22 0a 20 20 20 20 20  set vars ".     
0e70: 20 20 20 73 65 74 20 45 28 70 69 64 29 20 24 69     set E(pid) $i
0e80: 0a 20 20 20 20 20 20 20 20 73 65 74 20 45 28 6e  .        set E(n
0e90: 74 68 72 65 61 64 29 20 24 63 6f 75 6e 74 0a 20  thread) $count. 
0ea0: 20 20 20 20 20 20 20 73 65 74 20 45 28 73 65 63         set E(sec
0eb0: 6f 6e 64 73 29 20 24 50 28 73 65 63 6f 6e 64 73  onds) $P(seconds
0ec0: 29 0a 20 20 20 20 20 20 22 0a 20 20 20 20 20 20  ).      ".      
0ed0: 73 65 74 20 70 72 6f 67 72 61 6d 20 5b 73 74 72  set program [str
0ee0: 69 6e 67 20 6d 61 70 20 5b 6c 69 73 74 20 25 54  ing map [list %T
0ef0: 45 53 54 25 20 24 70 72 67 20 25 56 41 52 53 25  EST% $prg %VARS%
0f00: 20 24 76 61 72 73 5d 20 7b 0a 0a 20 20 20 20 20   $vars] {..     
0f10: 20 20 20 25 56 41 52 53 25 0a 0a 20 20 20 20 20     %VARS%..     
0f20: 20 20 20 70 72 6f 63 20 75 73 6c 65 65 70 20 7b     proc usleep {
0f30: 6d 73 7d 20 7b 0a 20 20 20 20 20 20 20 20 20 20  ms} {.          
0f40: 73 65 74 20 3a 3a 75 73 6c 65 65 70 20 30 0a 20  set ::usleep 0. 
0f50: 20 20 20 20 20 20 20 20 20 61 66 74 65 72 20 24           after $
0f60: 6d 73 20 7b 73 65 74 20 3a 3a 75 73 6c 65 65 70  ms {set ::usleep
0f70: 20 31 7d 0a 20 20 20 20 20 20 20 20 20 20 76 77   1}.          vw
0f80: 61 69 74 20 3a 3a 75 73 6c 65 65 70 0a 20 20 20  ait ::usleep.   
0f90: 20 20 20 20 20 7d 0a 0a 20 20 20 20 20 20 20 20       }..        
0fa0: 70 72 6f 63 20 69 6e 74 65 67 72 69 74 79 5f 63  proc integrity_c
0fb0: 68 65 63 6b 20 7b 7b 64 62 20 64 62 7d 7d 20 7b  heck {{db db}} {
0fc0: 0a 20 20 20 20 20 20 20 20 20 20 73 65 74 20 69  .          set i
0fd0: 63 20 5b 24 64 62 20 65 76 61 6c 20 7b 50 52 41  c [$db eval {PRA
0fe0: 47 4d 41 20 69 6e 74 65 67 72 69 74 79 5f 63 68  GMA integrity_ch
0ff0: 65 63 6b 7d 5d 0a 20 20 20 20 20 20 20 20 20 20  eck}].          
1000: 69 66 20 7b 24 69 63 20 21 3d 20 22 6f 6b 22 7d  if {$ic != "ok"}
1010: 20 7b 65 72 72 6f 72 20 24 69 63 7d 0a 20 20 20   {error $ic}.   
1020: 20 20 20 20 20 7d 0a 0a 20 20 20 20 20 20 20 20       }..        
1030: 70 72 6f 63 20 62 75 73 79 68 61 6e 64 6c 65 72  proc busyhandler
1040: 20 7b 6e 7d 20 7b 20 75 73 6c 65 65 70 20 31 30   {n} { usleep 10
1050: 20 3b 20 72 65 74 75 72 6e 20 30 20 7d 0a 0a 20   ; return 0 }.. 
1060: 20 20 20 20 20 20 20 73 71 6c 69 74 65 33 20 64         sqlite3 d
1070: 62 20 74 65 73 74 2e 64 62 0a 20 20 20 20 20 20  b test.db.      
1080: 20 20 64 62 20 62 75 73 79 20 62 75 73 79 68 61    db busy busyha
1090: 6e 64 6c 65 72 0a 20 20 20 20 20 20 20 20 64 62  ndler.        db
10a0: 20 65 76 61 6c 20 7b 20 53 45 4c 45 43 54 20 72   eval { SELECT r
10b0: 61 6e 64 6f 6d 62 6c 6f 62 28 24 45 28 70 69 64  andomblob($E(pid
10c0: 29 2a 35 29 20 7d 0a 0a 20 20 20 20 20 20 20 20  )*5) }..        
10d0: 73 65 74 20 3a 3a 66 69 6e 69 73 68 65 64 20 30  set ::finished 0
10e0: 0a 20 20 20 20 20 20 20 20 61 66 74 65 72 20 5b  .        after [
10f0: 65 78 70 72 20 24 45 28 73 65 63 6f 6e 64 73 29  expr $E(seconds)
1100: 20 2a 20 31 30 30 30 5d 20 7b 73 65 74 20 3a 3a   * 1000] {set ::
1110: 66 69 6e 69 73 68 65 64 20 31 7d 0a 20 20 20 20  finished 1}.    
1120: 20 20 20 20 70 72 6f 63 20 74 74 5f 63 6f 6e 74      proc tt_cont
1130: 69 6e 75 65 20 7b 7d 20 7b 20 75 70 64 61 74 65  inue {} { update
1140: 20 3b 20 65 78 70 72 20 28 24 3a 3a 66 69 6e 69   ; expr ($::fini
1150: 73 68 65 64 3d 3d 30 29 20 7d 0a 0a 20 20 20 20  shed==0) }..    
1160: 20 20 20 20 73 65 74 20 72 63 20 5b 63 61 74 63      set rc [catc
1170: 68 20 7b 20 25 54 45 53 54 25 20 7d 20 6d 73 67  h { %TEST% } msg
1180: 5d 0a 0a 20 20 20 20 20 20 20 20 63 61 74 63 68  ]..        catch
1190: 20 7b 20 64 62 20 63 6c 6f 73 65 20 7d 0a 20 20   { db close }.  
11a0: 20 20 20 20 20 20 6c 69 73 74 20 24 72 63 20 24        list $rc $
11b0: 6d 73 67 0a 20 20 20 20 20 20 7d 5d 0a 0a 20 20  msg.      }]..  
11c0: 20 20 20 20 69 66 20 7b 24 50 28 70 72 6f 63 65      if {$P(proce
11d0: 73 73 65 73 29 3d 3d 30 7d 20 7b 0a 20 20 20 20  sses)==0} {.    
11e0: 20 20 20 20 73 71 6c 74 68 72 65 61 64 20 73 70      sqlthread sp
11f0: 61 77 6e 20 3a 3a 64 6f 6e 65 28 24 6e 61 6d 65  awn ::done($name
1200: 2c 24 69 29 20 24 70 72 6f 67 72 61 6d 0a 20 20  ,$i) $program.  
1210: 20 20 20 20 7d 20 65 6c 73 65 20 7b 0a 20 20 20      } else {.   
1220: 20 20 20 20 20 74 65 73 74 66 69 78 74 75 72 65       testfixture
1230: 5f 6e 62 20 3a 3a 64 6f 6e 65 28 24 6e 61 6d 65  _nb ::done($name
1240: 2c 24 69 29 20 24 70 72 6f 67 72 61 6d 0a 20 20  ,$i) $program.  
1250: 20 20 20 20 7d 0a 20 20 20 20 7d 0a 20 20 7d 0a      }.    }.  }.
1260: 0a 20 20 73 65 74 20 72 65 70 6f 72 74 20 22 20  .  set report " 
1270: 20 52 65 73 75 6c 74 73 3a 22 0a 20 20 66 6f 72   Results:".  for
1280: 65 61 63 68 20 54 20 24 50 28 74 68 72 65 61 64  each T $P(thread
1290: 73 29 20 7b 0a 20 20 20 20 73 65 74 20 6e 61 6d  s) {.    set nam
12a0: 65 20 20 5b 6c 69 6e 64 65 78 20 24 54 20 30 5d  e  [lindex $T 0]
12b0: 0a 20 20 20 20 73 65 74 20 63 6f 75 6e 74 20 5b  .    set count [
12c0: 6c 69 6e 64 65 78 20 24 54 20 31 5d 0a 20 20 20  lindex $T 1].   
12d0: 20 73 65 74 20 70 72 67 20 20 20 5b 6c 69 6e 64   set prg   [lind
12e0: 65 78 20 24 54 20 32 5d 0a 0a 20 20 20 20 73 65  ex $T 2]..    se
12f0: 74 20 72 65 73 6c 69 73 74 20 5b 6c 69 73 74 5d  t reslist [list]
1300: 0a 20 20 20 20 66 6f 72 20 7b 73 65 74 20 69 20  .    for {set i 
1310: 31 7d 20 7b 24 69 20 3c 3d 20 24 63 6f 75 6e 74  1} {$i <= $count
1320: 7d 20 7b 69 6e 63 72 20 69 7d 20 7b 0a 20 20 20  } {incr i} {.   
1330: 20 20 20 73 65 74 20 72 65 73 20 5b 77 61 69 74     set res [wait
1340: 5f 66 6f 72 5f 76 61 72 20 3a 3a 64 6f 6e 65 28  _for_var ::done(
1350: 24 6e 61 6d 65 2c 24 69 29 5d 0a 20 20 20 20 20  $name,$i)].     
1360: 20 6c 61 70 70 65 6e 64 20 72 65 73 6c 69 73 74   lappend reslist
1370: 20 5b 6c 69 6e 64 65 78 20 24 72 65 73 20 31 5d   [lindex $res 1]
1380: 0a 20 20 20 20 20 20 64 6f 5f 74 65 73 74 20 24  .      do_test $
1390: 50 28 74 65 73 74 6e 61 6d 65 29 2e 24 6e 61 6d  P(testname).$nam
13a0: 65 2e 24 69 20 5b 6c 69 73 74 20 6c 69 6e 64 65  e.$i [list linde
13b0: 78 20 24 72 65 73 20 30 5d 20 30 0a 20 20 20 20  x $res 0] 0.    
13c0: 7d 0a 0a 20 20 20 20 61 70 70 65 6e 64 20 72 65  }..    append re
13d0: 70 6f 72 74 20 22 20 20 20 24 6e 61 6d 65 20 24  port "   $name $
13e0: 72 65 73 6c 69 73 74 22 0a 20 20 7d 0a 20 20 70  reslist".  }.  p
13f0: 75 74 73 20 24 72 65 70 6f 72 74 0a 0a 20 20 73  uts $report..  s
1400: 71 6c 69 74 65 33 20 64 62 20 74 65 73 74 2e 64  qlite3 db test.d
1410: 62 0a 20 20 73 65 74 20 72 65 73 20 22 22 0a 20  b.  set res "". 
1420: 20 69 66 20 7b 5b 63 61 74 63 68 20 24 50 28 63   if {[catch $P(c
1430: 68 65 63 6b 29 20 6d 73 67 5d 7d 20 7b 20 73 65  heck) msg]} { se
1440: 74 20 72 65 73 20 24 6d 73 67 20 7d 0a 20 20 64  t res $msg }.  d
1450: 6f 5f 74 65 73 74 20 24 50 28 74 65 73 74 6e 61  o_test $P(testna
1460: 6d 65 29 2e 63 68 65 63 6b 20 5b 6c 69 73 74 20  me).check [list 
1470: 73 65 74 20 7b 7d 20 24 72 65 73 5d 20 22 22 0a  set {} $res] "".
1480: 7d 0a 0a 23 20 41 20 77 72 61 70 70 65 72 20 61  }..# A wrapper a
1490: 72 6f 75 6e 64 20 5b 64 6f 5f 74 68 72 65 61 64  round [do_thread
14a0: 5f 74 65 73 74 5d 20 77 68 69 63 68 20 72 75 6e  _test] which run
14b0: 73 20 74 68 65 20 73 70 65 63 69 66 69 65 64 20  s the specified 
14c0: 74 65 73 74 20 74 77 69 63 65 2e 0a 23 20 4f 6e  test twice..# On
14d0: 63 65 20 75 73 69 6e 67 20 70 72 6f 63 65 73 73  ce using process
14e0: 65 73 2c 20 6f 6e 63 65 20 75 73 69 6e 67 20 74  es, once using t
14f0: 68 72 65 61 64 73 2e 20 54 68 69 73 20 63 6f 6d  hreads. This com
1500: 6d 61 6e 64 20 74 61 6b 65 73 20 74 68 65 20 73  mand takes the s
1510: 61 6d 65 0a 23 20 61 72 67 75 6d 65 6e 74 73 20  ame.# arguments 
1520: 61 73 20 5b 64 6f 5f 74 68 72 65 61 64 5f 74 65  as [do_thread_te
1530: 73 74 5d 2c 20 65 78 63 65 70 74 20 73 70 65 63  st], except spec
1540: 69 66 79 69 6e 67 20 74 68 65 20 2d 70 72 6f 63  ifying the -proc
1550: 65 73 73 65 73 20 73 77 69 74 63 68 0a 23 20 69  esses switch.# i
1560: 73 20 69 6c 6c 65 67 61 6c 2e 0a 23 0a 70 72 6f  s illegal..#.pro
1570: 63 20 64 6f 5f 74 68 72 65 61 64 5f 74 65 73 74  c do_thread_test
1580: 32 20 7b 61 72 67 73 7d 20 7b 0a 20 20 73 65 74  2 {args} {.  set
1590: 20 6e 61 6d 65 20 5b 6c 69 6e 64 65 78 20 24 61   name [lindex $a
15a0: 72 67 73 20 30 5d 0a 20 20 69 66 20 7b 5b 6c 73  rgs 0].  if {[ls
15b0: 65 61 72 63 68 20 24 61 72 67 73 20 2d 70 72 6f  earch $args -pro
15c0: 63 65 73 73 65 73 5d 3e 3d 30 7d 20 7b 20 65 72  cesses]>=0} { er
15d0: 72 6f 72 20 22 62 61 64 20 6f 70 74 69 6f 6e 3a  ror "bad option:
15e0: 20 2d 70 72 6f 63 65 73 73 65 73 22 7d 0a 20 20   -processes"}.  
15f0: 75 70 6c 65 76 65 6c 20 5b 6c 72 65 70 6c 61 63  uplevel [lreplac
1600: 65 20 24 61 72 67 73 20 30 20 30 20 64 6f 5f 74  e $args 0 0 do_t
1610: 68 72 65 61 64 5f 74 65 73 74 20 22 24 6e 61 6d  hread_test "$nam
1620: 65 2d 74 68 72 65 61 64 73 22 20 2d 70 72 6f 63  e-threads" -proc
1630: 65 73 73 65 73 20 30 5d 0a 20 20 75 70 6c 65 76  esses 0].  uplev
1640: 65 6c 20 5b 6c 72 65 70 6c 61 63 65 20 24 61 72  el [lreplace $ar
1650: 67 73 20 30 20 30 20 64 6f 5f 74 68 72 65 61 64  gs 0 0 do_thread
1660: 5f 74 65 73 74 20 22 24 6e 61 6d 65 2d 70 72 6f  _test "$name-pro
1670: 63 65 73 73 65 73 22 20 2d 70 72 6f 63 65 73 73  cesses" -process
1680: 65 73 20 31 5d 0a 7d 0a 0a 23 2d 2d 2d 2d 2d 2d  es 1].}..#------
1690: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
16a0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
16b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
16c0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
16d0: 2d 2d 2d 2d 0a 23 20 53 74 61 72 74 20 31 30 20  ----.# Start 10 
16e0: 74 68 72 65 61 64 73 2e 20 45 61 63 68 20 74 68  threads. Each th
16f0: 72 65 61 64 20 70 65 72 66 6f 72 6d 73 20 62 6f  read performs bo
1700: 74 68 20 72 65 61 64 20 61 6e 64 20 77 72 69 74  th read and writ
1710: 65 20 0a 23 20 74 72 61 6e 73 61 63 74 69 6f 6e  e .# transaction
1720: 73 2e 20 45 61 63 68 20 72 65 61 64 20 74 72 61  s. Each read tra
1730: 6e 73 61 63 74 69 6f 6e 20 63 6f 6e 73 69 73 74  nsaction consist
1740: 73 20 6f 66 3a 0a 23 0a 23 20 20 20 31 29 20 52  s of:.#.#   1) R
1750: 65 61 64 69 6e 67 20 74 68 65 20 6d 64 35 73 75  eading the md5su
1760: 6d 20 6f 66 20 61 6c 6c 20 62 75 74 20 74 68 65  m of all but the
1770: 20 6c 61 73 74 20 74 61 62 6c 65 20 72 6f 77 2c   last table row,
1780: 0a 23 20 20 20 32 29 20 52 75 6e 6e 69 6e 67 20  .#   2) Running 
1790: 69 6e 74 65 67 72 69 74 79 20 63 68 65 63 6b 2e  integrity check.
17a0: 0a 23 20 20 20 33 29 20 52 65 61 64 69 6e 67 20  .#   3) Reading 
17b0: 74 68 65 20 76 61 6c 75 65 20 73 74 6f 72 65 64  the value stored
17c0: 20 69 6e 20 74 68 65 20 6c 61 73 74 20 74 61 62   in the last tab
17d0: 6c 65 20 72 6f 77 2c 0a 23 20 20 20 34 29 20 43  le row,.#   4) C
17e0: 68 65 63 6b 20 74 68 61 74 20 74 68 65 20 76 61  heck that the va
17f0: 6c 75 65 73 20 72 65 61 64 20 69 6e 20 73 74 65  lues read in ste
1800: 70 73 20 31 20 61 6e 64 20 33 20 61 72 65 20 74  ps 1 and 3 are t
1810: 68 65 20 73 61 6d 65 2c 20 61 6e 64 20 74 68 61  he same, and tha
1820: 74 0a 23 20 20 20 20 20 20 74 68 65 20 6d 64 35  t.#      the md5
1830: 73 75 6d 20 6f 66 20 61 6c 6c 20 62 75 74 20 74  sum of all but t
1840: 68 65 20 6c 61 73 74 20 74 61 62 6c 65 20 72 6f  he last table ro
1850: 77 20 68 61 73 20 6e 6f 74 20 63 68 61 6e 67 65  w has not change
1860: 64 2e 0a 23 0a 23 20 45 61 63 68 20 77 72 69 74  d..#.# Each writ
1870: 65 20 74 72 61 6e 73 61 63 74 69 6f 6e 20 63 6f  e transaction co
1880: 6e 73 69 73 74 73 20 6f 66 3a 0a 23 0a 23 20 20  nsists of:.#.#  
1890: 20 31 29 20 4d 6f 64 69 66 79 69 6e 67 20 74 68   1) Modifying th
18a0: 65 20 63 6f 6e 74 65 6e 74 73 20 6f 66 20 74 31  e contents of t1
18b0: 20 28 69 6e 73 65 72 74 69 6e 67 2c 20 75 70 64   (inserting, upd
18c0: 61 74 69 6e 67 2c 20 64 65 6c 65 74 69 6e 67 20  ating, deleting 
18d0: 72 6f 77 73 29 2e 0a 23 20 20 20 32 29 20 41 70  rows)..#   2) Ap
18e0: 70 65 6e 64 69 6e 67 20 61 20 6e 65 77 20 72 6f  pending a new ro
18f0: 77 20 74 6f 20 74 68 65 20 74 61 62 6c 65 20 63  w to the table c
1900: 6f 6e 74 61 69 6e 69 6e 67 20 74 68 65 20 6d 64  ontaining the md
1910: 35 73 75 6d 28 29 20 6f 66 20 61 6c 6c 0a 23 20  5sum() of all.# 
1920: 20 20 20 20 20 72 6f 77 73 20 69 6e 20 74 68 65       rows in the
1930: 20 74 61 62 6c 65 2e 0a 23 0a 23 20 45 61 63 68   table..#.# Each
1940: 20 6f 66 20 74 68 65 20 4e 20 74 68 72 65 61 64   of the N thread
1950: 73 20 72 75 6e 73 20 4e 20 72 65 61 64 20 74 72  s runs N read tr
1960: 61 6e 73 61 63 74 69 6f 6e 73 20 66 6f 6c 6c 6f  ansactions follo
1970: 77 65 64 20 62 79 20 61 20 73 69 6e 67 6c 65 20  wed by a single 
1980: 77 72 69 74 65 0a 23 20 74 72 61 6e 73 61 63 74  write.# transact
1990: 69 6f 6e 20 69 6e 20 61 20 6c 6f 6f 70 20 61 73  ion in a loop as
19a0: 20 66 61 73 74 20 61 73 20 70 6f 73 73 69 62 6c   fast as possibl
19b0: 65 2e 0a 23 0a 23 20 54 68 65 72 65 20 69 73 20  e..#.# There is 
19c0: 61 6c 73 6f 20 61 20 73 69 6e 67 6c 65 20 63 68  also a single ch
19d0: 65 63 6b 70 6f 69 6e 74 65 72 20 74 68 72 65 61  eckpointer threa
19e0: 64 2e 20 49 74 20 72 75 6e 73 20 74 68 65 20 66  d. It runs the f
19f0: 6f 6c 6c 6f 77 69 6e 67 20 6c 6f 6f 70 3a 0a 23  ollowing loop:.#
1a00: 0a 23 20 20 20 31 29 20 45 78 65 63 75 74 65 20  .#   1) Execute 
1a10: 22 50 52 41 47 4d 41 20 77 61 6c 5f 63 68 65 63  "PRAGMA wal_chec
1a20: 6b 70 6f 69 6e 74 22 0a 23 20 20 20 32 29 20 53  kpoint".#   2) S
1a30: 6c 65 65 70 20 66 6f 72 20 35 30 30 20 6d 73 2e  leep for 500 ms.
1a40: 0a 23 0a 64 6f 5f 74 68 72 65 61 64 5f 74 65 73  .#.do_thread_tes
1a50: 74 32 20 77 61 6c 74 68 72 65 61 64 2d 31 20 2d  t2 walthread-1 -
1a60: 73 65 63 6f 6e 64 73 20 24 73 65 63 6f 6e 64 73  seconds $seconds
1a70: 28 77 61 6c 74 68 72 65 61 64 2d 31 29 20 2d 69  (walthread-1) -i
1a80: 6e 69 74 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  nit {.  execsql 
1a90: 7b 0a 20 20 20 20 50 52 41 47 4d 41 20 6a 6f 75  {.    PRAGMA jou
1aa0: 72 6e 61 6c 5f 6d 6f 64 65 20 3d 20 57 41 4c 3b  rnal_mode = WAL;
1ab0: 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c  .    CREATE TABL
1ac0: 45 20 74 31 28 78 20 50 52 49 4d 41 52 59 20 4b  E t1(x PRIMARY K
1ad0: 45 59 29 3b 0a 20 20 20 20 50 52 41 47 4d 41 20  EY);.    PRAGMA 
1ae0: 6c 6f 63 6b 5f 73 74 61 74 75 73 3b 0a 20 20 20  lock_status;.   
1af0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
1b00: 56 41 4c 55 45 53 28 72 61 6e 64 6f 6d 62 6c 6f  VALUES(randomblo
1b10: 62 28 31 30 30 29 29 3b 0a 20 20 20 20 49 4e 53  b(100));.    INS
1b20: 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55  ERT INTO t1 VALU
1b30: 45 53 28 72 61 6e 64 6f 6d 62 6c 6f 62 28 31 30  ES(randomblob(10
1b40: 30 29 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20  0));.    INSERT 
1b50: 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 6d  INTO t1 SELECT m
1b60: 64 35 73 75 6d 28 78 29 20 46 52 4f 4d 20 74 31  d5sum(x) FROM t1
1b70: 3b 0a 20 20 7d 0a 7d 20 2d 74 68 72 65 61 64 20  ;.  }.} -thread 
1b80: 6d 61 69 6e 20 31 30 20 7b 0a 0a 20 20 70 72 6f  main 10 {..  pro
1b90: 63 20 72 65 61 64 5f 74 72 61 6e 73 61 63 74 69  c read_transacti
1ba0: 6f 6e 20 7b 7d 20 7b 0a 20 20 20 20 73 65 74 20  on {} {.    set 
1bb0: 72 65 73 75 6c 74 73 20 5b 64 62 20 65 76 61 6c  results [db eval
1bc0: 20 7b 0a 20 20 20 20 20 20 42 45 47 49 4e 3b 0a   {.      BEGIN;.
1bd0: 20 20 20 20 20 20 20 20 50 52 41 47 4d 41 20 69          PRAGMA i
1be0: 6e 74 65 67 72 69 74 79 5f 63 68 65 63 6b 3b 0a  ntegrity_check;.
1bf0: 20 20 20 20 20 20 20 20 53 45 4c 45 43 54 20 6d          SELECT m
1c00: 64 35 73 75 6d 28 78 29 20 46 52 4f 4d 20 74 31  d5sum(x) FROM t1
1c10: 20 57 48 45 52 45 20 72 6f 77 69 64 20 21 3d 20   WHERE rowid != 
1c20: 28 53 45 4c 45 43 54 20 6d 61 78 28 72 6f 77 69  (SELECT max(rowi
1c30: 64 29 20 46 52 4f 4d 20 74 31 29 3b 0a 20 20 20  d) FROM t1);.   
1c40: 20 20 20 20 20 53 45 4c 45 43 54 20 78 20 46 52       SELECT x FR
1c50: 4f 4d 20 74 31 20 57 48 45 52 45 20 72 6f 77 69  OM t1 WHERE rowi
1c60: 64 20 3d 20 28 53 45 4c 45 43 54 20 6d 61 78 28  d = (SELECT max(
1c70: 72 6f 77 69 64 29 20 46 52 4f 4d 20 74 31 29 3b  rowid) FROM t1);
1c80: 0a 20 20 20 20 20 20 20 20 53 45 4c 45 43 54 20  .        SELECT 
1c90: 6d 64 35 73 75 6d 28 78 29 20 46 52 4f 4d 20 74  md5sum(x) FROM t
1ca0: 31 20 57 48 45 52 45 20 72 6f 77 69 64 20 21 3d  1 WHERE rowid !=
1cb0: 20 28 53 45 4c 45 43 54 20 6d 61 78 28 72 6f 77   (SELECT max(row
1cc0: 69 64 29 20 46 52 4f 4d 20 74 31 29 3b 0a 20 20  id) FROM t1);.  
1cd0: 20 20 20 20 43 4f 4d 4d 49 54 3b 0a 20 20 20 20      COMMIT;.    
1ce0: 7d 5d 0a 0a 20 20 20 20 69 66 20 7b 5b 6c 6c 65  }]..    if {[lle
1cf0: 6e 67 74 68 20 24 72 65 73 75 6c 74 73 5d 21 3d  ngth $results]!=
1d00: 34 0a 20 20 20 20 20 7c 7c 20 5b 6c 69 6e 64 65  4.     || [linde
1d10: 78 20 24 72 65 73 75 6c 74 73 20 30 5d 20 21 3d  x $results 0] !=
1d20: 20 22 6f 6b 22 0a 20 20 20 20 20 7c 7c 20 5b 6c   "ok".     || [l
1d30: 69 6e 64 65 78 20 24 72 65 73 75 6c 74 73 20 31  index $results 1
1d40: 5d 20 21 3d 20 5b 6c 69 6e 64 65 78 20 24 72 65  ] != [lindex $re
1d50: 73 75 6c 74 73 20 32 5d 0a 20 20 20 20 20 7c 7c  sults 2].     ||
1d60: 20 5b 6c 69 6e 64 65 78 20 24 72 65 73 75 6c 74   [lindex $result
1d70: 73 20 32 5d 20 21 3d 20 5b 6c 69 6e 64 65 78 20  s 2] != [lindex 
1d80: 24 72 65 73 75 6c 74 73 20 33 5d 0a 20 20 20 20  $results 3].    
1d90: 7d 20 7b 0a 20 20 20 20 20 20 65 72 72 6f 72 20  } {.      error 
1da0: 22 46 61 69 6c 65 64 20 72 65 61 64 20 74 72 61  "Failed read tra
1db0: 6e 73 61 63 74 69 6f 6e 3a 20 24 72 65 73 75 6c  nsaction: $resul
1dc0: 74 73 22 0a 20 20 20 20 7d 0a 20 20 7d 0a 0a 20  ts".    }.  }.. 
1dd0: 20 70 72 6f 63 20 77 72 69 74 65 5f 74 72 61 6e   proc write_tran
1de0: 73 61 63 74 69 6f 6e 20 7b 7d 20 7b 0a 20 20 20  saction {} {.   
1df0: 20 64 62 20 65 76 61 6c 20 7b 0a 20 20 20 20 20   db eval {.     
1e00: 20 42 45 47 49 4e 3b 0a 20 20 20 20 20 20 20 20   BEGIN;.        
1e10: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56  INSERT INTO t1 V
1e20: 41 4c 55 45 53 28 72 61 6e 64 6f 6d 62 6c 6f 62  ALUES(randomblob
1e30: 28 31 30 31 20 2b 20 24 3a 3a 45 28 70 69 64 29  (101 + $::E(pid)
1e40: 29 29 3b 0a 20 20 20 20 20 20 20 20 49 4e 53 45  ));.        INSE
1e50: 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45  RT INTO t1 VALUE
1e60: 53 28 72 61 6e 64 6f 6d 62 6c 6f 62 28 31 30 31  S(randomblob(101
1e70: 20 2b 20 24 3a 3a 45 28 70 69 64 29 29 29 3b 0a   + $::E(pid)));.
1e80: 20 20 20 20 20 20 20 20 49 4e 53 45 52 54 20 49          INSERT I
1e90: 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 6d 64  NTO t1 SELECT md
1ea0: 35 73 75 6d 28 78 29 20 46 52 4f 4d 20 74 31 3b  5sum(x) FROM t1;
1eb0: 0a 20 20 20 20 20 20 43 4f 4d 4d 49 54 3b 0a 20  .      COMMIT;. 
1ec0: 20 20 20 7d 0a 20 20 7d 0a 0a 20 20 23 20 54 75     }.  }..  # Tu
1ed0: 72 6e 20 6f 66 66 20 61 75 74 6f 2d 63 68 65 63  rn off auto-chec
1ee0: 6b 70 6f 69 6e 74 2e 20 4f 74 68 65 72 77 69 73  kpoint. Otherwis
1ef0: 65 2c 20 61 6e 20 61 75 74 6f 2d 63 68 65 63 6b  e, an auto-check
1f00: 70 6f 69 6e 74 20 72 75 6e 20 62 79 20 61 0a 20  point run by a. 
1f10: 20 23 20 77 72 69 74 65 72 20 6d 61 79 20 63 61   # writer may ca
1f20: 75 73 65 20 74 68 65 20 64 65 64 69 63 61 74 65  use the dedicate
1f30: 64 20 63 68 65 63 6b 70 6f 69 6e 74 20 74 68 72  d checkpoint thr
1f40: 65 61 64 20 74 6f 20 72 65 74 75 72 6e 20 61 6e  ead to return an
1f50: 0a 20 20 23 20 53 51 4c 49 54 45 5f 42 55 53 59  .  # SQLITE_BUSY
1f60: 20 65 72 72 6f 72 2e 0a 20 20 23 0a 20 20 64 62   error..  #.  db
1f70: 20 65 76 61 6c 20 7b 20 50 52 41 47 4d 41 20 77   eval { PRAGMA w
1f80: 61 6c 5f 61 75 74 6f 63 68 65 63 6b 70 6f 69 6e  al_autocheckpoin
1f90: 74 20 3d 20 30 20 7d 0a 0a 20 20 73 65 74 20 6e  t = 0 }..  set n
1fa0: 52 75 6e 20 30 0a 20 20 77 68 69 6c 65 20 7b 5b  Run 0.  while {[
1fb0: 74 74 5f 63 6f 6e 74 69 6e 75 65 5d 7d 20 7b 0a  tt_continue]} {.
1fc0: 20 20 20 20 72 65 61 64 5f 74 72 61 6e 73 61 63      read_transac
1fd0: 74 69 6f 6e 0a 20 20 20 20 77 72 69 74 65 5f 74  tion.    write_t
1fe0: 72 61 6e 73 61 63 74 69 6f 6e 20 0a 20 20 20 20  ransaction .    
1ff0: 69 6e 63 72 20 6e 52 75 6e 0a 20 20 7d 0a 20 20  incr nRun.  }.  
2000: 73 65 74 20 6e 52 75 6e 0a 0a 7d 20 2d 74 68 72  set nRun..} -thr
2010: 65 61 64 20 63 6b 70 74 20 31 20 7b 0a 20 20 73  ead ckpt 1 {.  s
2020: 65 74 20 6e 52 75 6e 20 30 0a 20 20 77 68 69 6c  et nRun 0.  whil
2030: 65 20 7b 5b 74 74 5f 63 6f 6e 74 69 6e 75 65 5d  e {[tt_continue]
2040: 7d 20 7b 0a 20 20 20 20 64 62 20 65 76 61 6c 20  } {.    db eval 
2050: 22 50 52 41 47 4d 41 20 77 61 6c 5f 63 68 65 63  "PRAGMA wal_chec
2060: 6b 70 6f 69 6e 74 22 0a 20 20 20 20 75 73 6c 65  kpoint".    usle
2070: 65 70 20 35 30 30 0a 20 20 20 20 69 6e 63 72 20  ep 500.    incr 
2080: 6e 52 75 6e 0a 20 20 7d 0a 20 20 73 65 74 20 6e  nRun.  }.  set n
2090: 52 75 6e 0a 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d  Run.}..#--------
20a0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
20b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
20c0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
20d0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
20e0: 2d 2d 0a 23 20 54 68 69 73 20 74 65 73 74 20 68  --.# This test h
20f0: 61 73 20 63 6c 69 65 6e 74 73 20 72 75 6e 20 74  as clients run t
2100: 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 70 72 6f  he following pro
2110: 63 65 64 75 72 65 20 61 73 20 66 61 73 74 20 61  cedure as fast a
2120: 73 20 70 6f 73 73 69 62 6c 65 0a 23 20 69 6e 20  s possible.# in 
2130: 61 20 6c 6f 6f 70 3a 0a 23 0a 23 20 20 20 31 2e  a loop:.#.#   1.
2140: 20 4f 70 65 6e 20 61 20 64 61 74 61 62 61 73 65   Open a database
2150: 20 68 61 6e 64 6c 65 2e 0a 23 20 20 20 32 2e 20   handle..#   2. 
2160: 45 78 65 63 75 74 65 20 61 20 72 65 61 64 2d 6f  Execute a read-o
2170: 6e 6c 79 20 74 72 61 6e 73 61 63 74 69 6f 6e 20  nly transaction 
2180: 6f 6e 20 74 68 65 20 64 62 2e 0a 23 20 20 20 33  on the db..#   3
2190: 2e 20 44 6f 20 22 50 52 41 47 4d 41 20 6a 6f 75  . Do "PRAGMA jou
21a0: 72 6e 61 6c 5f 6d 6f 64 65 20 3d 20 58 58 58 22  rnal_mode = XXX"
21b0: 2c 20 77 68 65 72 65 20 58 58 58 20 69 73 20 6f  , where XXX is o
21c0: 6e 65 20 6f 66 20 57 41 4c 20 6f 72 20 44 45 4c  ne of WAL or DEL
21d0: 45 54 45 2e 0a 23 20 20 20 20 20 20 49 67 6e 6f  ETE..#      Igno
21e0: 72 65 20 61 6e 79 20 53 51 4c 49 54 45 5f 42 55  re any SQLITE_BU
21f0: 53 59 20 65 72 72 6f 72 2e 0a 23 20 20 20 34 2e  SY error..#   4.
2200: 20 45 78 65 63 75 74 65 20 61 20 77 72 69 74 65   Execute a write
2210: 20 74 72 61 6e 73 61 63 74 69 6f 6e 20 74 6f 20   transaction to 
2220: 69 6e 73 65 72 74 20 61 20 72 6f 77 20 69 6e 74  insert a row int
2230: 6f 20 74 68 65 20 64 62 2e 0a 23 20 20 20 35 2e  o the db..#   5.
2240: 20 52 75 6e 20 22 50 52 41 47 4d 41 20 69 6e 74   Run "PRAGMA int
2250: 65 67 72 69 74 79 5f 63 68 65 63 6b 22 0a 23 0a  egrity_check".#.
2260: 23 20 41 74 20 70 72 65 73 65 6e 74 2c 20 74 68  # At present, th
2270: 65 72 65 20 61 72 65 20 34 20 63 6c 69 65 6e 74  ere are 4 client
2280: 73 20 69 6e 20 74 6f 74 61 6c 2e 20 32 20 64 6f  s in total. 2 do
2290: 20 22 6a 6f 75 72 6e 61 6c 5f 6d 6f 64 65 20 3d   "journal_mode =
22a0: 20 57 41 4c 22 2c 20 61 6e 64 0a 23 20 74 77 6f   WAL", and.# two
22b0: 20 64 6f 20 22 6a 6f 75 72 6e 61 6c 5f 6d 6f 64   do "journal_mod
22c0: 65 20 3d 20 44 45 4c 45 54 45 22 2e 0a 23 0a 23  e = DELETE"..#.#
22d0: 20 45 61 63 68 20 63 6c 69 65 6e 74 20 72 65 74   Each client ret
22e0: 75 72 6e 73 20 61 20 73 74 72 69 6e 67 20 6f 66  urns a string of
22f0: 20 74 68 65 20 66 6f 72 6d 20 22 57 20 77 2c 20   the form "W w, 
2300: 52 20 72 22 2c 20 77 68 65 72 65 20 57 20 69 73  R r", where W is
2310: 20 74 68 65 20 0a 23 20 6e 75 6d 62 65 72 20 6f   the .# number o
2320: 66 20 77 72 69 74 65 2d 74 72 61 6e 73 61 63 74  f write-transact
2330: 69 6f 6e 73 20 70 65 72 66 6f 72 6d 65 64 20 75  ions performed u
2340: 73 69 6e 67 20 61 20 57 41 4c 20 6a 6f 75 72 6e  sing a WAL journ
2350: 61 6c 2c 20 61 6e 64 20 44 20 69 73 0a 23 20 74  al, and D is.# t
2360: 68 65 20 6e 75 6d 62 65 72 20 6f 66 20 77 72 69  he number of wri
2370: 74 65 2d 74 72 61 6e 73 61 63 74 69 6f 6e 73 20  te-transactions 
2380: 70 65 72 66 6f 72 6d 65 64 20 75 73 69 6e 67 20  performed using 
2390: 61 20 72 6f 6c 6c 62 61 63 6b 20 6a 6f 75 72 6e  a rollback journ
23a0: 61 6c 2e 0a 23 20 46 6f 72 20 65 78 61 6d 70 6c  al..# For exampl
23b0: 65 2c 20 22 31 39 32 20 77 2c 20 31 38 35 20 72  e, "192 w, 185 r
23c0: 22 2e 0a 23 0a 64 6f 5f 74 68 72 65 61 64 5f 74  "..#.do_thread_t
23d0: 65 73 74 32 20 77 61 6c 74 68 72 65 61 64 2d 32  est2 walthread-2
23e0: 20 2d 73 65 63 6f 6e 64 73 20 24 73 65 63 6f 6e   -seconds $secon
23f0: 64 73 28 77 61 6c 74 68 72 65 61 64 2d 32 29 20  ds(walthread-2) 
2400: 2d 69 6e 69 74 20 7b 0a 20 20 65 78 65 63 73 71  -init {.  execsq
2410: 6c 20 7b 20 43 52 45 41 54 45 20 54 41 42 4c 45  l { CREATE TABLE
2420: 20 74 31 28 78 20 49 4e 54 45 47 45 52 20 50 52   t1(x INTEGER PR
2430: 49 4d 41 52 59 20 4b 45 59 2c 20 79 20 55 4e 49  IMARY KEY, y UNI
2440: 51 55 45 29 20 7d 0a 7d 20 2d 74 68 72 65 61 64  QUE) }.} -thread
2450: 20 52 42 20 32 20 7b 0a 0a 20 20 64 62 20 63 6c   RB 2 {..  db cl
2460: 6f 73 65 0a 20 20 73 65 74 20 6e 52 75 6e 20 30  ose.  set nRun 0
2470: 0a 20 20 73 65 74 20 6e 44 65 6c 20 30 0a 20 20  .  set nDel 0.  
2480: 77 68 69 6c 65 20 7b 5b 74 74 5f 63 6f 6e 74 69  while {[tt_conti
2490: 6e 75 65 5d 7d 20 7b 0a 20 20 20 20 73 71 6c 69  nue]} {.    sqli
24a0: 74 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a 20  te3 db test.db. 
24b0: 20 20 20 64 62 20 62 75 73 79 20 62 75 73 79 68     db busy busyh
24c0: 61 6e 64 6c 65 72 0a 20 20 20 20 64 62 20 65 76  andler.    db ev
24d0: 61 6c 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52  al { SELECT * FR
24e0: 4f 4d 20 73 71 6c 69 74 65 5f 6d 61 73 74 65 72  OM sqlite_master
24f0: 20 7d 0a 20 20 20 20 63 61 74 63 68 20 7b 20 64   }.    catch { d
2500: 62 20 65 76 61 6c 20 7b 20 50 52 41 47 4d 41 20  b eval { PRAGMA 
2510: 6a 6f 75 72 6e 61 6c 5f 6d 6f 64 65 20 3d 20 44  journal_mode = D
2520: 45 4c 45 54 45 20 7d 20 7d 0a 20 20 20 20 64 62  ELETE } }.    db
2530: 20 65 76 61 6c 20 7b 0a 20 20 20 20 20 20 42 45   eval {.      BE
2540: 47 49 4e 3b 0a 20 20 20 20 20 20 49 4e 53 45 52  GIN;.      INSER
2550: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53  T INTO t1 VALUES
2560: 28 4e 55 4c 4c 2c 20 72 61 6e 64 6f 6d 62 6c 6f  (NULL, randomblo
2570: 62 28 31 30 30 2b 24 45 28 70 69 64 29 29 29 3b  b(100+$E(pid)));
2580: 0a 20 20 20 20 7d 0a 20 20 20 20 69 6e 63 72 20  .    }.    incr 
2590: 6e 52 75 6e 20 31 0a 20 20 20 20 69 6e 63 72 20  nRun 1.    incr 
25a0: 6e 44 65 6c 20 5b 66 69 6c 65 20 65 78 69 73 74  nDel [file exist
25b0: 73 20 74 65 73 74 2e 64 62 2d 6a 6f 75 72 6e 61  s test.db-journa
25c0: 6c 5d 0a 20 20 20 20 69 66 20 7b 5b 66 69 6c 65  l].    if {[file
25d0: 20 65 78 69 73 74 73 20 74 65 73 74 2e 64 62 2d   exists test.db-
25e0: 6a 6f 75 72 6e 61 6c 5d 20 2b 20 5b 66 69 6c 65  journal] + [file
25f0: 20 65 78 69 73 74 73 20 74 65 73 74 2e 64 62 2d   exists test.db-
2600: 77 61 6c 5d 20 21 3d 20 31 7d 20 7b 0a 20 20 20  wal] != 1} {.   
2610: 20 20 20 65 72 72 6f 72 20 22 46 69 6c 65 2d 73     error "File-s
2620: 79 73 74 65 6d 20 6c 6f 6f 6b 73 20 62 61 64 2e  ystem looks bad.
2630: 2e 2e 22 0a 20 20 20 20 7d 0a 20 20 20 20 64 62  ..".    }.    db
2640: 20 65 76 61 6c 20 43 4f 4d 4d 49 54 0a 0a 20 20   eval COMMIT..  
2650: 20 20 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63    integrity_chec
2660: 6b 0a 20 20 20 20 64 62 20 63 6c 6f 73 65 0a 20  k.    db close. 
2670: 20 7d 0a 20 20 6c 69 73 74 20 24 6e 52 75 6e 20   }.  list $nRun 
2680: 24 6e 44 65 6c 0a 20 20 73 65 74 20 7b 7d 20 22  $nDel.  set {} "
2690: 5b 65 78 70 72 20 24 6e 52 75 6e 2d 24 6e 44 65  [expr $nRun-$nDe
26a0: 6c 5d 20 77 2c 20 24 6e 44 65 6c 20 72 22 0a 0a  l] w, $nDel r"..
26b0: 7d 20 2d 74 68 72 65 61 64 20 57 41 4c 20 32 20  } -thread WAL 2 
26c0: 7b 0a 20 20 64 62 20 63 6c 6f 73 65 0a 20 20 73  {.  db close.  s
26d0: 65 74 20 6e 52 75 6e 20 30 0a 20 20 73 65 74 20  et nRun 0.  set 
26e0: 6e 44 65 6c 20 30 0a 20 20 77 68 69 6c 65 20 7b  nDel 0.  while {
26f0: 5b 74 74 5f 63 6f 6e 74 69 6e 75 65 5d 7d 20 7b  [tt_continue]} {
2700: 0a 20 20 20 20 73 71 6c 69 74 65 33 20 64 62 20  .    sqlite3 db 
2710: 74 65 73 74 2e 64 62 0a 20 20 20 20 64 62 20 62  test.db.    db b
2720: 75 73 79 20 62 75 73 79 68 61 6e 64 6c 65 72 0a  usy busyhandler.
2730: 20 20 20 20 64 62 20 65 76 61 6c 20 7b 20 53 45      db eval { SE
2740: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 73 71 6c 69  LECT * FROM sqli
2750: 74 65 5f 6d 61 73 74 65 72 20 7d 0a 20 20 20 20  te_master }.    
2760: 63 61 74 63 68 20 7b 20 64 62 20 65 76 61 6c 20  catch { db eval 
2770: 7b 20 50 52 41 47 4d 41 20 6a 6f 75 72 6e 61 6c  { PRAGMA journal
2780: 5f 6d 6f 64 65 20 3d 20 57 41 4c 20 7d 20 7d 0a  _mode = WAL } }.
2790: 20 20 20 20 64 62 20 65 76 61 6c 20 7b 0a 20 20      db eval {.  
27a0: 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20 20 20      BEGIN;.     
27b0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
27c0: 56 41 4c 55 45 53 28 4e 55 4c 4c 2c 20 72 61 6e  VALUES(NULL, ran
27d0: 64 6f 6d 62 6c 6f 62 28 31 31 30 2b 24 45 28 70  domblob(110+$E(p
27e0: 69 64 29 29 29 3b 0a 20 20 20 20 7d 0a 20 20 20  id)));.    }.   
27f0: 20 69 6e 63 72 20 6e 52 75 6e 20 31 0a 20 20 20   incr nRun 1.   
2800: 20 69 6e 63 72 20 6e 44 65 6c 20 5b 66 69 6c 65   incr nDel [file
2810: 20 65 78 69 73 74 73 20 74 65 73 74 2e 64 62 2d   exists test.db-
2820: 6a 6f 75 72 6e 61 6c 5d 0a 20 20 20 20 69 66 20  journal].    if 
2830: 7b 5b 66 69 6c 65 20 65 78 69 73 74 73 20 74 65  {[file exists te
2840: 73 74 2e 64 62 2d 6a 6f 75 72 6e 61 6c 5d 20 2b  st.db-journal] +
2850: 20 5b 66 69 6c 65 20 65 78 69 73 74 73 20 74 65   [file exists te
2860: 73 74 2e 64 62 2d 77 61 6c 5d 20 21 3d 20 31 7d  st.db-wal] != 1}
2870: 20 7b 0a 20 20 20 20 20 20 65 72 72 6f 72 20 22   {.      error "
2880: 46 69 6c 65 2d 73 79 73 74 65 6d 20 6c 6f 6f 6b  File-system look
2890: 73 20 62 61 64 2e 2e 2e 22 0a 20 20 20 20 7d 0a  s bad...".    }.
28a0: 20 20 20 20 64 62 20 65 76 61 6c 20 43 4f 4d 4d      db eval COMM
28b0: 49 54 0a 0a 20 20 20 20 69 6e 74 65 67 72 69 74  IT..    integrit
28c0: 79 5f 63 68 65 63 6b 0a 20 20 20 20 64 62 20 63  y_check.    db c
28d0: 6c 6f 73 65 0a 20 20 7d 0a 20 20 73 65 74 20 7b  lose.  }.  set {
28e0: 7d 20 22 5b 65 78 70 72 20 24 6e 52 75 6e 2d 24  } "[expr $nRun-$
28f0: 6e 44 65 6c 5d 20 77 2c 20 24 6e 44 65 6c 20 72  nDel] w, $nDel r
2900: 22 0a 7d 0a 0a 64 6f 5f 74 68 72 65 61 64 5f 74  ".}..do_thread_t
2910: 65 73 74 20 77 61 6c 74 68 72 65 61 64 2d 33 20  est walthread-3 
2920: 2d 73 65 63 6f 6e 64 73 20 24 73 65 63 6f 6e 64  -seconds $second
2930: 73 28 77 61 6c 74 68 72 65 61 64 2d 33 29 20 2d  s(walthread-3) -
2940: 69 6e 69 74 20 7b 0a 20 20 65 78 65 63 73 71 6c  init {.  execsql
2950: 20 7b 0a 20 20 20 20 50 52 41 47 4d 41 20 6a 6f   {.    PRAGMA jo
2960: 75 72 6e 61 6c 5f 6d 6f 64 65 20 3d 20 57 41 4c  urnal_mode = WAL
2970: 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42  ;.    CREATE TAB
2980: 4c 45 20 74 31 28 63 6e 74 20 50 52 49 4d 41 52  LE t1(cnt PRIMAR
2990: 59 20 4b 45 59 2c 20 73 75 6d 31 2c 20 73 75 6d  Y KEY, sum1, sum
29a0: 32 29 3b 0a 20 20 20 20 43 52 45 41 54 45 20 49  2);.    CREATE I
29b0: 4e 44 45 58 20 69 31 20 4f 4e 20 74 31 28 73 75  NDEX i1 ON t1(su
29c0: 6d 31 29 3b 0a 20 20 20 20 43 52 45 41 54 45 20  m1);.    CREATE 
29d0: 49 4e 44 45 58 20 69 32 20 4f 4e 20 74 31 28 73  INDEX i2 ON t1(s
29e0: 75 6d 32 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  um2);.    INSERT
29f0: 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28   INTO t1 VALUES(
2a00: 30 2c 20 30 2c 20 30 29 3b 0a 20 20 7d 0a 7d 20  0, 0, 0);.  }.} 
2a10: 2d 74 68 72 65 61 64 20 74 20 31 30 20 7b 0a 0a  -thread t 10 {..
2a20: 20 20 73 65 74 20 6e 65 78 74 77 72 69 74 65 20    set nextwrite 
2a30: 24 45 28 70 69 64 29 0a 0a 20 20 70 72 6f 63 20  $E(pid)..  proc 
2a40: 77 61 6c 5f 68 6f 6f 6b 20 7b 7a 44 62 20 6e 45  wal_hook {zDb nE
2a50: 6e 74 72 79 7d 20 7b 0a 20 20 20 20 69 66 20 7b  ntry} {.    if {
2a60: 24 6e 45 6e 74 72 79 3e 31 30 7d 20 7b 20 0a 20  $nEntry>10} { . 
2a70: 20 20 20 20 20 73 65 74 20 72 63 20 5b 63 61 74       set rc [cat
2a80: 63 68 20 7b 20 64 62 20 65 76 61 6c 20 7b 50 52  ch { db eval {PR
2a90: 41 47 4d 41 20 77 61 6c 5f 63 68 65 63 6b 70 6f  AGMA wal_checkpo
2aa0: 69 6e 74 7d 20 7d 20 6d 73 67 5d 0a 20 20 20 20  int} } msg].    
2ab0: 20 20 69 66 20 7b 24 72 63 20 26 26 20 24 6d 73    if {$rc && $ms
2ac0: 67 20 21 3d 20 22 64 61 74 61 62 61 73 65 20 69  g != "database i
2ad0: 73 20 6c 6f 63 6b 65 64 22 7d 20 7b 20 65 72 72  s locked"} { err
2ae0: 6f 72 20 24 6d 73 67 20 7d 0a 20 20 20 20 7d 0a  or $msg }.    }.
2af0: 20 20 20 20 72 65 74 75 72 6e 20 30 0a 20 20 7d      return 0.  }
2b00: 0a 20 20 64 62 20 77 61 6c 5f 68 6f 6f 6b 20 77  .  db wal_hook w
2b10: 61 6c 5f 68 6f 6f 6b 0a 0a 20 20 77 68 69 6c 65  al_hook..  while
2b20: 20 7b 5b 74 74 5f 63 6f 6e 74 69 6e 75 65 5d 7d   {[tt_continue]}
2b30: 20 7b 0a 20 20 20 20 73 65 74 20 6d 61 78 20 30   {.    set max 0
2b40: 0a 20 20 20 20 77 68 69 6c 65 20 7b 20 24 6d 61  .    while { $ma
2b50: 78 20 21 3d 20 28 24 6e 65 78 74 77 72 69 74 65  x != ($nextwrite
2b60: 2d 31 29 20 26 26 20 5b 74 74 5f 63 6f 6e 74 69  -1) && [tt_conti
2b70: 6e 75 65 5d 20 7d 20 7b 0a 20 20 20 20 20 20 73  nue] } {.      s
2b80: 65 74 20 6d 61 78 20 5b 64 62 20 65 76 61 6c 20  et max [db eval 
2b90: 7b 20 53 45 4c 45 43 54 20 6d 61 78 28 63 6e 74  { SELECT max(cnt
2ba0: 29 20 46 52 4f 4d 20 74 31 20 7d 5d 0a 20 20 20  ) FROM t1 }].   
2bb0: 20 7d 0a 0a 20 20 20 20 69 66 20 7b 5b 74 74 5f   }..    if {[tt_
2bc0: 63 6f 6e 74 69 6e 75 65 5d 7d 20 7b 0a 20 20 20  continue]} {.   
2bd0: 20 20 20 73 65 74 20 73 75 6d 31 20 5b 64 62 20     set sum1 [db 
2be0: 65 76 61 6c 20 7b 20 53 45 4c 45 43 54 20 73 75  eval { SELECT su
2bf0: 6d 28 63 6e 74 29 20 46 52 4f 4d 20 74 31 20 7d  m(cnt) FROM t1 }
2c00: 5d 0a 20 20 20 20 20 20 73 65 74 20 73 75 6d 32  ].      set sum2
2c10: 20 5b 64 62 20 65 76 61 6c 20 7b 20 53 45 4c 45   [db eval { SELE
2c20: 43 54 20 73 75 6d 28 73 75 6d 31 29 20 46 52 4f  CT sum(sum1) FRO
2c30: 4d 20 74 31 20 7d 5d 0a 20 20 20 20 20 20 64 62  M t1 }].      db
2c40: 20 65 76 61 6c 20 7b 20 49 4e 53 45 52 54 20 49   eval { INSERT I
2c50: 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 24 6e  NTO t1 VALUES($n
2c60: 65 78 74 77 72 69 74 65 2c 20 24 73 75 6d 31 2c  extwrite, $sum1,
2c70: 20 24 73 75 6d 32 29 20 7d 0a 20 20 20 20 20 20   $sum2) }.      
2c80: 69 6e 63 72 20 6e 65 78 74 77 72 69 74 65 20 24  incr nextwrite $
2c90: 45 28 6e 74 68 72 65 61 64 29 0a 20 20 20 20 20  E(nthread).     
2ca0: 20 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63 6b   integrity_check
2cb0: 0a 20 20 20 20 7d 0a 20 20 7d 0a 0a 20 20 73 65  .    }.  }..  se
2cc0: 74 20 7b 7d 20 6f 6b 0a 7d 20 2d 63 68 65 63 6b  t {} ok.} -check
2cd0: 20 7b 0a 20 20 70 75 74 73 20 22 20 20 46 69 6e   {.  puts "  Fin
2ce0: 61 6c 20 64 62 20 63 6f 6e 74 61 69 6e 73 20 5b  al db contains [
2cf0: 64 62 20 65 76 61 6c 20 7b 53 45 4c 45 43 54 20  db eval {SELECT 
2d00: 63 6f 75 6e 74 28 2a 29 20 46 52 4f 4d 20 74 31  count(*) FROM t1
2d10: 7d 5d 20 72 6f 77 73 22 0a 20 20 70 75 74 73 20  }] rows".  puts 
2d20: 22 20 20 46 69 6e 61 6c 20 69 6e 74 65 67 72 69  "  Final integri
2d30: 74 79 2d 63 68 65 63 6b 20 73 61 79 73 3a 20 5b  ty-check says: [
2d40: 64 62 20 65 76 61 6c 20 7b 50 52 41 47 4d 41 20  db eval {PRAGMA 
2d50: 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63 6b 7d  integrity_check}
2d60: 5d 22 0a 0a 20 20 23 20 43 68 65 63 6b 20 74 68  ]"..  # Check th
2d70: 61 74 20 74 68 65 20 63 6f 6e 74 65 6e 74 73 20  at the contents 
2d80: 6f 66 20 74 68 65 20 64 61 74 61 62 61 73 65 20  of the database 
2d90: 61 72 65 20 4f 6b 2e 0a 20 20 73 65 74 20 63 20  are Ok..  set c 
2da0: 30 0a 20 20 73 65 74 20 73 31 20 30 0a 20 20 73  0.  set s1 0.  s
2db0: 65 74 20 73 32 20 30 0a 20 20 64 62 20 65 76 61  et s2 0.  db eva
2dc0: 6c 20 7b 20 53 45 4c 45 43 54 20 63 6e 74 2c 20  l { SELECT cnt, 
2dd0: 73 75 6d 31 2c 20 73 75 6d 32 20 46 52 4f 4d 20  sum1, sum2 FROM 
2de0: 74 31 20 4f 52 44 45 52 20 42 59 20 63 6e 74 20  t1 ORDER BY cnt 
2df0: 7d 20 7b 0a 20 20 20 20 69 66 20 7b 24 63 20 21  } {.    if {$c !
2e00: 3d 20 24 63 6e 74 20 7c 7c 20 24 73 31 20 21 3d  = $cnt || $s1 !=
2e10: 20 24 73 75 6d 31 20 7c 7c 20 24 73 32 20 21 3d   $sum1 || $s2 !=
2e20: 20 24 73 75 6d 32 7d 20 7b 0a 20 20 20 20 20 20   $sum2} {.      
2e30: 65 72 72 6f 72 20 22 64 61 74 61 62 61 73 65 20  error "database 
2e40: 63 6f 6e 74 65 6e 74 20 69 73 20 69 6e 76 61 6c  content is inval
2e50: 69 64 22 0a 20 20 20 20 7d 0a 20 20 20 20 69 6e  id".    }.    in
2e60: 63 72 20 73 32 20 24 73 31 0a 20 20 20 20 69 6e  cr s2 $s1.    in
2e70: 63 72 20 73 31 20 24 63 0a 20 20 20 20 69 6e 63  cr s1 $c.    inc
2e80: 72 20 63 20 31 0a 20 20 7d 0a 7d 0a 0a 64 6f 5f  r c 1.  }.}..do_
2e90: 74 68 72 65 61 64 5f 74 65 73 74 32 20 77 61 6c  thread_test2 wal
2ea0: 74 68 72 65 61 64 2d 34 20 2d 73 65 63 6f 6e 64  thread-4 -second
2eb0: 73 20 24 73 65 63 6f 6e 64 73 28 77 61 6c 74 68  s $seconds(walth
2ec0: 72 65 61 64 2d 34 29 20 2d 69 6e 69 74 20 7b 0a  read-4) -init {.
2ed0: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
2ee0: 50 52 41 47 4d 41 20 6a 6f 75 72 6e 61 6c 5f 6d  PRAGMA journal_m
2ef0: 6f 64 65 20 3d 20 57 41 4c 3b 0a 20 20 20 20 43  ode = WAL;.    C
2f00: 52 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 61  REATE TABLE t1(a
2f10: 20 49 4e 54 45 47 45 52 20 50 52 49 4d 41 52 59   INTEGER PRIMARY
2f20: 20 4b 45 59 2c 20 62 20 55 4e 49 51 55 45 29 3b   KEY, b UNIQUE);
2f30: 0a 20 20 7d 0a 7d 20 2d 74 68 72 65 61 64 20 72  .  }.} -thread r
2f40: 20 31 20 7b 0a 20 20 23 20 54 68 69 73 20 63 6f   1 {.  # This co
2f50: 6e 6e 65 63 74 69 6f 6e 20 6f 6e 6c 79 20 65 76  nnection only ev
2f60: 65 72 20 72 65 61 64 73 20 74 68 65 20 64 61 74  er reads the dat
2f70: 61 62 61 73 65 2e 20 54 68 65 72 65 66 6f 72 65  abase. Therefore
2f80: 20 74 68 65 20 0a 20 20 23 20 62 75 73 79 2d 68   the .  # busy-h
2f90: 61 6e 64 6c 65 72 20 69 73 20 6e 6f 74 20 72 65  andler is not re
2fa0: 71 75 69 72 65 64 2e 20 44 69 73 61 62 6c 65 20  quired. Disable 
2fb0: 69 74 20 74 6f 20 63 68 65 63 6b 20 74 68 61 74  it to check that
2fc0: 20 74 68 69 73 20 69 73 20 74 72 75 65 2e 0a 20   this is true.. 
2fd0: 20 23 0a 20 20 23 20 55 50 44 41 54 45 3a 20 54   #.  # UPDATE: T
2fe0: 68 61 74 20 69 73 20 6e 6f 20 6c 6f 6e 67 65 72  hat is no longer
2ff0: 20 65 6e 74 69 72 65 6c 79 20 74 72 75 65 20 2d   entirely true -
3000: 20 61 73 20 77 65 20 64 6f 6e 27 74 20 75 73 65   as we don't use
3010: 20 61 20 62 6c 6f 63 6b 69 6e 67 0a 20 20 23 20   a blocking.  # 
3020: 6c 6f 63 6b 20 74 6f 20 65 6e 74 65 72 20 52 45  lock to enter RE
3030: 43 4f 56 45 52 20 73 74 61 74 65 2e 20 57 68 69  COVER state. Whi
3040: 63 68 20 6d 65 61 6e 73 20 74 68 65 72 65 20 69  ch means there i
3050: 73 20 61 20 73 6d 61 6c 6c 20 63 68 61 6e 63 65  s a small chance
3060: 20 61 0a 20 20 23 20 72 65 61 64 65 72 20 63 61   a.  # reader ca
3070: 6e 20 73 65 65 20 61 6e 20 53 51 4c 49 54 45 5f  n see an SQLITE_
3080: 42 55 53 59 2e 0a 20 20 23 0a 20 20 77 68 69 6c  BUSY..  #.  whil
3090: 65 20 7b 5b 74 74 5f 63 6f 6e 74 69 6e 75 65 5d  e {[tt_continue]
30a0: 7d 20 7b 0a 20 20 20 20 69 6e 74 65 67 72 69 74  } {.    integrit
30b0: 79 5f 63 68 65 63 6b 0a 20 20 7d 0a 20 20 73 65  y_check.  }.  se
30c0: 74 20 7b 7d 20 6f 6b 0a 7d 20 2d 74 68 72 65 61  t {} ok.} -threa
30d0: 64 20 77 20 31 20 7b 0a 0a 20 20 70 72 6f 63 20  d w 1 {..  proc 
30e0: 77 61 6c 5f 68 6f 6f 6b 20 7b 7a 44 62 20 6e 45  wal_hook {zDb nE
30f0: 6e 74 72 79 7d 20 7b 0a 20 20 20 20 69 66 20 7b  ntry} {.    if {
3100: 24 6e 45 6e 74 72 79 3e 31 35 7d 20 7b 64 62 20  $nEntry>15} {db 
3110: 65 76 61 6c 20 7b 50 52 41 47 4d 41 20 77 61 6c  eval {PRAGMA wal
3120: 5f 63 68 65 63 6b 70 6f 69 6e 74 7d 7d 0a 20 20  _checkpoint}}.  
3130: 20 20 72 65 74 75 72 6e 20 30 0a 20 20 7d 0a 20    return 0.  }. 
3140: 20 64 62 20 77 61 6c 5f 68 6f 6f 6b 20 77 61 6c   db wal_hook wal
3150: 5f 68 6f 6f 6b 0a 20 20 73 65 74 20 72 6f 77 20  _hook.  set row 
3160: 31 0a 20 20 77 68 69 6c 65 20 7b 5b 74 74 5f 63  1.  while {[tt_c
3170: 6f 6e 74 69 6e 75 65 5d 7d 20 7b 0a 20 20 20 20  ontinue]} {.    
3180: 64 62 20 65 76 61 6c 20 7b 20 52 45 50 4c 41 43  db eval { REPLAC
3190: 45 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53  E INTO t1 VALUES
31a0: 28 24 72 6f 77 2c 20 72 61 6e 64 6f 6d 62 6c 6f  ($row, randomblo
31b0: 62 28 33 30 30 29 29 20 7d 0a 20 20 20 20 69 6e  b(300)) }.    in
31c0: 63 72 20 72 6f 77 0a 20 20 20 20 69 66 20 7b 24  cr row.    if {$
31d0: 72 6f 77 20 3d 3d 20 31 30 7d 20 7b 20 73 65 74  row == 10} { set
31e0: 20 72 6f 77 20 31 20 7d 0a 20 20 7d 0a 0a 20 20   row 1 }.  }..  
31f0: 73 65 74 20 7b 7d 20 6f 6b 0a 7d 0a 0a 0a 23 20  set {} ok.}...# 
3200: 54 68 69 73 20 74 65 73 74 20 63 61 73 65 20 61  This test case a
3210: 74 74 65 6d 70 74 73 20 74 6f 20 70 72 6f 76 6f  ttempts to provo
3220: 6b 65 20 61 20 64 65 61 64 6c 6f 63 6b 20 63 6f  ke a deadlock co
3230: 6e 64 69 74 69 6f 6e 20 74 68 61 74 20 65 78 69  ndition that exi
3240: 73 74 65 64 20 69 6e 0a 23 20 74 68 65 20 75 6e  sted in.# the un
3250: 69 78 20 56 46 53 20 61 74 20 6f 6e 65 20 70 6f  ix VFS at one po
3260: 69 6e 74 2e 20 54 68 65 20 70 72 6f 62 6c 65 6d  int. The problem
3270: 20 6f 63 63 75 72 72 65 64 20 6f 6e 6c 79 20 77   occurred only w
3280: 68 69 6c 65 20 72 65 63 6f 76 65 72 69 6e 67 20  hile recovering 
3290: 61 20 0a 23 20 76 65 72 79 20 6c 61 72 67 65 20  a .# very large 
32a0: 77 61 6c 20 66 69 6c 65 20 28 6f 6e 65 20 74 68  wal file (one th
32b0: 61 74 20 72 65 71 75 69 72 65 73 20 61 20 77 61  at requires a wa
32c0: 6c 2d 69 6e 64 65 78 20 6c 61 72 67 65 72 20 74  l-index larger t
32d0: 68 61 6e 20 74 68 65 20 0a 23 20 69 6e 69 74 69  han the .# initi
32e0: 61 6c 20 64 65 66 61 75 6c 74 20 61 6c 6c 6f 63  al default alloc
32f0: 61 74 69 6f 6e 20 6f 66 20 36 34 4b 42 29 2e 0a  ation of 64KB)..
3300: 23 0a 64 6f 5f 74 68 72 65 61 64 5f 74 65 73 74  #.do_thread_test
3310: 20 77 61 6c 74 68 72 65 61 64 2d 35 20 2d 73 65   walthread-5 -se
3320: 63 6f 6e 64 73 20 24 73 65 63 6f 6e 64 73 28 77  conds $seconds(w
3330: 61 6c 74 68 72 65 61 64 2d 35 29 20 2d 69 6e 69  althread-5) -ini
3340: 74 20 7b 0a 0a 20 20 70 72 6f 63 20 6c 6f 67 5f  t {..  proc log_
3350: 66 69 6c 65 5f 73 69 7a 65 20 7b 6e 46 72 61 6d  file_size {nFram
3360: 65 20 70 67 73 7a 7d 20 7b 0a 20 20 20 20 65 78  e pgsz} {.    ex
3370: 70 72 20 7b 31 32 20 2b 20 28 24 70 67 73 7a 2b  pr {12 + ($pgsz+
3380: 31 36 29 2a 24 6e 46 72 61 6d 65 7d 0a 20 20 7d  16)*$nFrame}.  }
3390: 0a 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20  ..  execsql {.  
33a0: 20 20 50 52 41 47 4d 41 20 70 61 67 65 5f 73 69    PRAGMA page_si
33b0: 7a 65 20 3d 20 31 30 32 34 3b 0a 20 20 20 20 50  ze = 1024;.    P
33c0: 52 41 47 4d 41 20 6a 6f 75 72 6e 61 6c 5f 6d 6f  RAGMA journal_mo
33d0: 64 65 20 3d 20 57 41 4c 3b 0a 20 20 20 20 43 52  de = WAL;.    CR
33e0: 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 78 29  EATE TABLE t1(x)
33f0: 3b 0a 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20  ;.    BEGIN;.   
3400: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
3410: 31 20 56 41 4c 55 45 53 28 72 61 6e 64 6f 6d 62  1 VALUES(randomb
3420: 6c 6f 62 28 39 30 30 29 29 3b 0a 20 20 20 20 20  lob(900));.     
3430: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
3440: 53 45 4c 45 43 54 20 72 61 6e 64 6f 6d 62 6c 6f  SELECT randomblo
3450: 62 28 39 30 30 29 20 46 52 4f 4d 20 74 31 3b 20  b(900) FROM t1; 
3460: 20 20 20 20 20 2f 2a 20 20 20 20 20 32 20 2a 2f       /*     2 */
3470: 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e  .      INSERT IN
3480: 54 4f 20 74 31 20 53 45 4c 45 43 54 20 72 61 6e  TO t1 SELECT ran
3490: 64 6f 6d 62 6c 6f 62 28 39 30 30 29 20 46 52 4f  domblob(900) FRO
34a0: 4d 20 74 31 3b 20 20 20 20 20 20 2f 2a 20 20 20  M t1;      /*   
34b0: 20 20 34 20 2a 2f 0a 20 20 20 20 20 20 49 4e 53    4 */.      INS
34c0: 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45  ERT INTO t1 SELE
34d0: 43 54 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 39 30  CT randomblob(90
34e0: 30 29 20 46 52 4f 4d 20 74 31 3b 20 20 20 20 20  0) FROM t1;     
34f0: 20 2f 2a 20 20 20 20 20 38 20 2a 2f 0a 20 20 20   /*     8 */.   
3500: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
3510: 31 20 53 45 4c 45 43 54 20 72 61 6e 64 6f 6d 62  1 SELECT randomb
3520: 6c 6f 62 28 39 30 30 29 20 46 52 4f 4d 20 74 31  lob(900) FROM t1
3530: 3b 20 20 20 20 20 20 2f 2a 20 20 20 20 31 36 20  ;      /*    16 
3540: 2a 2f 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20  */.      INSERT 
3550: 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 72  INTO t1 SELECT r
3560: 61 6e 64 6f 6d 62 6c 6f 62 28 39 30 30 29 20 46  andomblob(900) F
3570: 52 4f 4d 20 74 31 3b 20 20 20 20 20 20 2f 2a 20  ROM t1;      /* 
3580: 20 20 20 33 32 20 2a 2f 0a 20 20 20 20 20 20 49     32 */.      I
3590: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45  NSERT INTO t1 SE
35a0: 4c 45 43 54 20 72 61 6e 64 6f 6d 62 6c 6f 62 28  LECT randomblob(
35b0: 39 30 30 29 20 46 52 4f 4d 20 74 31 3b 20 20 20  900) FROM t1;   
35c0: 20 20 20 2f 2a 20 20 20 20 36 34 20 2a 2f 0a 20     /*    64 */. 
35d0: 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f       INSERT INTO
35e0: 20 74 31 20 53 45 4c 45 43 54 20 72 61 6e 64 6f   t1 SELECT rando
35f0: 6d 62 6c 6f 62 28 39 30 30 29 20 46 52 4f 4d 20  mblob(900) FROM 
3600: 74 31 3b 20 20 20 20 20 20 2f 2a 20 20 20 31 32  t1;      /*   12
3610: 38 20 2a 2f 0a 20 20 20 20 20 20 49 4e 53 45 52  8 */.      INSER
3620: 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54  T INTO t1 SELECT
3630: 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 39 30 30 29   randomblob(900)
3640: 20 46 52 4f 4d 20 74 31 3b 20 20 20 20 20 20 2f   FROM t1;      /
3650: 2a 20 20 20 32 35 36 20 2a 2f 0a 20 20 20 20 20  *   256 */.     
3660: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
3670: 53 45 4c 45 43 54 20 72 61 6e 64 6f 6d 62 6c 6f  SELECT randomblo
3680: 62 28 39 30 30 29 20 46 52 4f 4d 20 74 31 3b 20  b(900) FROM t1; 
3690: 20 20 20 20 20 2f 2a 20 20 20 35 31 32 20 2a 2f       /*   512 */
36a0: 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e  .      INSERT IN
36b0: 54 4f 20 74 31 20 53 45 4c 45 43 54 20 72 61 6e  TO t1 SELECT ran
36c0: 64 6f 6d 62 6c 6f 62 28 39 30 30 29 20 46 52 4f  domblob(900) FRO
36d0: 4d 20 74 31 3b 20 20 20 20 20 20 2f 2a 20 20 31  M t1;      /*  1
36e0: 30 32 34 20 2a 2f 0a 20 20 20 20 20 20 49 4e 53  024 */.      INS
36f0: 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45  ERT INTO t1 SELE
3700: 43 54 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 39 30  CT randomblob(90
3710: 30 29 20 46 52 4f 4d 20 74 31 3b 20 20 20 20 20  0) FROM t1;     
3720: 20 2f 2a 20 20 32 30 34 38 20 2a 2f 0a 20 20 20   /*  2048 */.   
3730: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
3740: 31 20 53 45 4c 45 43 54 20 72 61 6e 64 6f 6d 62  1 SELECT randomb
3750: 6c 6f 62 28 39 30 30 29 20 46 52 4f 4d 20 74 31  lob(900) FROM t1
3760: 3b 20 20 20 20 20 20 2f 2a 20 20 34 30 39 36 20  ;      /*  4096 
3770: 2a 2f 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20  */.      INSERT 
3780: 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 72  INTO t1 SELECT r
3790: 61 6e 64 6f 6d 62 6c 6f 62 28 39 30 30 29 20 46  andomblob(900) F
37a0: 52 4f 4d 20 74 31 3b 20 20 20 20 20 20 2f 2a 20  ROM t1;      /* 
37b0: 20 38 31 39 32 20 2a 2f 0a 20 20 20 20 20 20 49   8192 */.      I
37c0: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45  NSERT INTO t1 SE
37d0: 4c 45 43 54 20 72 61 6e 64 6f 6d 62 6c 6f 62 28  LECT randomblob(
37e0: 39 30 30 29 20 46 52 4f 4d 20 74 31 3b 20 20 20  900) FROM t1;   
37f0: 20 20 20 2f 2a 20 31 36 33 38 34 20 2a 2f 0a 20     /* 16384 */. 
3800: 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f       INSERT INTO
3810: 20 74 31 20 53 45 4c 45 43 54 20 72 61 6e 64 6f   t1 SELECT rando
3820: 6d 62 6c 6f 62 28 39 30 30 29 20 46 52 4f 4d 20  mblob(900) FROM 
3830: 74 31 3b 20 20 20 20 20 20 2f 2a 20 33 32 37 36  t1;      /* 3276
3840: 38 20 2a 2f 0a 20 20 20 20 20 20 49 4e 53 45 52  8 */.      INSER
3850: 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54  T INTO t1 SELECT
3860: 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 39 30 30 29   randomblob(900)
3870: 20 46 52 4f 4d 20 74 31 3b 20 20 20 20 20 20 2f   FROM t1;      /
3880: 2a 20 36 35 35 33 36 20 2a 2f 0a 20 20 20 20 43  * 65536 */.    C
3890: 4f 4d 4d 49 54 3b 0a 20 20 7d 0a 0a 20 20 66 6f  OMMIT;.  }..  fo
38a0: 72 63 65 63 6f 70 79 20 74 65 73 74 2e 64 62 2d  rcecopy test.db-
38b0: 77 61 6c 20 62 61 6b 2e 64 62 2d 77 61 6c 0a 20  wal bak.db-wal. 
38c0: 20 66 6f 72 63 65 63 6f 70 79 20 74 65 73 74 2e   forcecopy test.
38d0: 64 62 20 62 61 6b 2e 64 62 0a 20 20 64 62 20 63  db bak.db.  db c
38e0: 6c 6f 73 65 0a 0a 20 20 66 6f 72 63 65 63 6f 70  lose..  forcecop
38f0: 79 20 62 61 6b 2e 64 62 2d 77 61 6c 20 74 65 73  y bak.db-wal tes
3900: 74 2e 64 62 2d 77 61 6c 0a 20 20 66 6f 72 63 65  t.db-wal.  force
3910: 63 6f 70 79 20 62 61 6b 2e 64 62 20 74 65 73 74  copy bak.db test
3920: 2e 64 62 0a 0a 20 20 69 66 20 7b 5b 66 69 6c 65  .db..  if {[file
3930: 20 73 69 7a 65 20 74 65 73 74 2e 64 62 2d 77 61   size test.db-wa
3940: 6c 5d 20 3c 20 5b 6c 6f 67 5f 66 69 6c 65 5f 73  l] < [log_file_s
3950: 69 7a 65 20 5b 65 78 70 72 20 36 34 2a 31 30 32  ize [expr 64*102
3960: 34 5d 20 31 30 32 34 5d 7d 20 7b 0a 20 20 20 20  4] 1024]} {.    
3970: 65 72 72 6f 72 20 22 53 6f 6d 65 68 6f 77 20 66  error "Somehow f
3980: 61 69 6c 65 64 20 74 6f 20 63 72 65 61 74 65 20  ailed to create 
3990: 61 20 6c 61 72 67 65 20 6c 6f 67 20 66 69 6c 65  a large log file
39a0: 22 0a 20 20 7d 0a 20 20 70 75 74 73 20 22 44 61  ".  }.  puts "Da
39b0: 74 61 62 61 73 65 20 77 69 74 68 20 6c 61 72 67  tabase with larg
39c0: 65 20 6c 6f 67 20 66 69 6c 65 20 72 65 63 6f 76  e log file recov
39d0: 65 72 65 64 2e 20 4e 6f 77 20 72 75 6e 6e 69 6e  ered. Now runnin
39e0: 67 20 63 6c 69 65 6e 74 73 2e 2e 2e 22 0a 7d 20  g clients...".} 
39f0: 2d 74 68 72 65 61 64 20 54 20 35 20 7b 0a 20 20  -thread T 5 {.  
3a00: 64 62 20 65 76 61 6c 20 7b 20 53 45 4c 45 43 54  db eval { SELECT
3a10: 20 63 6f 75 6e 74 28 2a 29 20 46 52 4f 4d 20 74   count(*) FROM t
3a20: 31 20 7d 0a 7d 0a 75 6e 73 65 74 20 2d 6e 6f 63  1 }.}.unset -noc
3a30: 6f 6d 70 6c 61 69 6e 20 73 65 63 6f 6e 64 73 0a  omplain seconds.
3a40: 0a 66 69 6e 69 73 68 5f 74 65 73 74 0a           .finish_test.