/ Hex Artifact Content
Login

Artifact c05c68d4dc2700a982f89133ce103a1a84cc285f:


0000: 23 20 32 30 31 30 20 4d 61 72 63 68 20 31 37 0a  # 2010 March 17.
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 20 54 68 65 20 74 65 73  L" mode. The tes
0210: 74 73 20 69 6e 20 74 68 69 73 20 66 69 6c 65 20  ts in this file 
0220: 75 73 65 20 0a 23 20 62 72 75 74 65 20 66 6f 72  use .# brute for
0230: 63 65 20 6d 65 74 68 6f 64 73 2c 20 73 6f 20 6d  ce methods, so m
0240: 61 79 20 74 61 6b 65 20 61 20 77 68 69 6c 65 20  ay take a while 
0250: 74 6f 20 72 75 6e 2e 0a 23 0a 0a 73 65 74 20 74  to run..#..set t
0260: 65 73 74 64 69 72 20 5b 66 69 6c 65 20 64 69 72  estdir [file dir
0270: 6e 61 6d 65 20 24 61 72 67 76 30 5d 0a 73 6f 75  name $argv0].sou
0280: 72 63 65 20 24 74 65 73 74 64 69 72 2f 74 65 73  rce $testdir/tes
0290: 74 65 72 2e 74 63 6c 0a 73 6f 75 72 63 65 20 24  ter.tcl.source $
02a0: 74 65 73 74 64 69 72 2f 77 61 6c 5f 63 6f 6d 6d  testdir/wal_comm
02b0: 6f 6e 2e 74 63 6c 0a 73 6f 75 72 63 65 20 24 74  on.tcl.source $t
02c0: 65 73 74 64 69 72 2f 6c 6f 63 6b 5f 63 6f 6d 6d  estdir/lock_comm
02d0: 6f 6e 2e 74 63 6c 0a 0a 69 66 63 61 70 61 62 6c  on.tcl..ifcapabl
02e0: 65 20 21 77 61 6c 20 7b 66 69 6e 69 73 68 5f 74  e !wal {finish_t
02f0: 65 73 74 20 3b 20 72 65 74 75 72 6e 20 7d 0a 0a  est ; return }..
0300: 73 65 74 20 74 65 73 74 70 72 65 66 69 78 20 77  set testprefix w
0310: 61 6c 73 6c 6f 77 0a 0a 70 72 6f 63 20 72 65 6f  alslow..proc reo
0320: 70 65 6e 5f 64 62 20 7b 7d 20 7b 0a 20 20 63 61  pen_db {} {.  ca
0330: 74 63 68 20 7b 20 64 62 20 63 6c 6f 73 65 20 7d  tch { db close }
0340: 0a 20 20 66 6f 72 63 65 64 65 6c 65 74 65 20 74  .  forcedelete t
0350: 65 73 74 2e 64 62 20 74 65 73 74 2e 64 62 2d 77  est.db test.db-w
0360: 61 6c 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20  al.  sqlite3 db 
0370: 74 65 73 74 2e 64 62 0a 20 20 65 78 65 63 73 71  test.db.  execsq
0380: 6c 20 7b 20 50 52 41 47 4d 41 20 6a 6f 75 72 6e  l { PRAGMA journ
0390: 61 6c 5f 6d 6f 64 65 20 3d 20 77 61 6c 20 7d 0a  al_mode = wal }.
03a0: 7d 0a 0a 64 62 20 63 6c 6f 73 65 0a 73 61 76 65  }..db close.save
03b0: 5f 70 72 6e 67 5f 73 74 61 74 65 0a 66 6f 72 20  _prng_state.for 
03c0: 7b 73 65 74 20 73 65 65 64 20 31 7d 20 7b 24 73  {set seed 1} {$s
03d0: 65 65 64 3c 31 30 7d 20 7b 69 6e 63 72 20 73 65  eed<10} {incr se
03e0: 65 64 7d 20 7b 0a 20 20 65 78 70 72 20 73 72 61  ed} {.  expr sra
03f0: 6e 64 28 24 73 65 65 64 29 0a 20 20 72 65 73 74  nd($seed).  rest
0400: 6f 72 65 5f 70 72 6e 67 5f 73 74 61 74 65 0a 20  ore_prng_state. 
0410: 20 72 65 6f 70 65 6e 5f 64 62 0a 20 20 64 6f 5f   reopen_db.  do_
0420: 74 65 73 74 20 77 61 6c 73 6c 6f 77 2d 31 2e 73  test walslow-1.s
0430: 65 65 64 3d 24 73 65 65 64 2e 30 20 7b 0a 20 20  eed=$seed.0 {.  
0440: 20 20 65 78 65 63 73 71 6c 20 7b 20 43 52 45 41    execsql { CREA
0450: 54 45 20 54 41 42 4c 45 20 74 31 28 61 2c 20 62  TE TABLE t1(a, b
0460: 29 20 7d 0a 20 20 20 20 65 78 65 63 73 71 6c 20  ) }.    execsql 
0470: 7b 20 43 52 45 41 54 45 20 49 4e 44 45 58 20 69  { CREATE INDEX i
0480: 31 20 4f 4e 20 74 31 28 61 29 20 7d 0a 20 20 20  1 ON t1(a) }.   
0490: 20 65 78 65 63 73 71 6c 20 7b 20 43 52 45 41 54   execsql { CREAT
04a0: 45 20 49 4e 44 45 58 20 69 32 20 4f 4e 20 74 31  E INDEX i2 ON t1
04b0: 28 62 29 20 7d 0a 20 20 7d 20 7b 7d 0a 0a 20 20  (b) }.  } {}..  
04c0: 66 6f 72 20 7b 73 65 74 20 69 54 65 73 74 20 31  for {set iTest 1
04d0: 7d 20 7b 24 69 54 65 73 74 20 3c 20 31 30 30 7d  } {$iTest < 100}
04e0: 20 7b 69 6e 63 72 20 69 54 65 73 74 7d 20 7b 0a   {incr iTest} {.
04f0: 0a 20 20 20 20 64 6f 5f 74 65 73 74 20 77 61 6c  .    do_test wal
0500: 73 6c 6f 77 2d 31 2e 73 65 65 64 3d 24 73 65 65  slow-1.seed=$see
0510: 64 2e 24 69 54 65 73 74 2e 31 20 7b 0a 20 20 20  d.$iTest.1 {.   
0520: 20 20 20 73 65 74 20 77 20 5b 65 78 70 72 20 69     set w [expr i
0530: 6e 74 28 72 61 6e 64 28 29 2a 32 30 30 30 29 5d  nt(rand()*2000)]
0540: 0a 20 20 20 20 20 20 73 65 74 20 78 20 5b 65 78  .      set x [ex
0550: 70 72 20 69 6e 74 28 72 61 6e 64 28 29 2a 32 30  pr int(rand()*20
0560: 30 30 29 5d 0a 20 20 20 20 20 20 65 78 65 63 73  00)].      execs
0570: 71 6c 20 7b 20 49 4e 53 45 52 54 20 49 4e 54 4f  ql { INSERT INTO
0580: 20 74 31 20 56 41 4c 55 45 53 28 72 61 6e 64 6f   t1 VALUES(rando
0590: 6d 62 6c 6f 62 28 24 77 29 2c 20 72 61 6e 64 6f  mblob($w), rando
05a0: 6d 62 6c 6f 62 28 24 78 29 29 20 7d 0a 20 20 20  mblob($x)) }.   
05b0: 20 20 20 65 78 65 63 73 71 6c 20 7b 20 50 52 41     execsql { PRA
05c0: 47 4d 41 20 69 6e 74 65 67 72 69 74 79 5f 63 68  GMA integrity_ch
05d0: 65 63 6b 20 7d 0a 20 20 20 20 7d 20 7b 6f 6b 7d  eck }.    } {ok}
05e0: 0a 0a 20 20 20 20 64 6f 5f 74 65 73 74 20 77 61  ..    do_test wa
05f0: 6c 73 6c 6f 77 2d 31 2e 73 65 65 64 3d 24 73 65  lslow-1.seed=$se
0600: 65 64 2e 24 69 54 65 73 74 2e 32 20 7b 0a 20 20  ed.$iTest.2 {.  
0610: 20 20 20 20 65 78 65 63 73 71 6c 20 22 50 52 41      execsql "PRA
0620: 47 4d 41 20 77 61 6c 5f 63 68 65 63 6b 70 6f 69  GMA wal_checkpoi
0630: 6e 74 3b 22 0a 20 20 20 20 20 20 65 78 65 63 73  nt;".      execs
0640: 71 6c 20 7b 20 50 52 41 47 4d 41 20 69 6e 74 65  ql { PRAGMA inte
0650: 67 72 69 74 79 5f 63 68 65 63 6b 20 7d 0a 20 20  grity_check }.  
0660: 20 20 7d 20 7b 6f 6b 7d 0a 0a 20 20 20 20 64 6f    } {ok}..    do
0670: 5f 74 65 73 74 20 77 61 6c 73 6c 6f 77 2d 31 2e  _test walslow-1.
0680: 73 65 65 64 3d 24 73 65 65 64 2e 24 69 54 65 73  seed=$seed.$iTes
0690: 74 2e 33 20 7b 0a 20 20 20 20 20 20 66 6f 72 63  t.3 {.      forc
06a0: 65 64 65 6c 65 74 65 20 74 65 73 74 58 2e 64 62  edelete testX.db
06b0: 20 74 65 73 74 58 2e 64 62 2d 77 61 6c 0a 20 20   testX.db-wal.  
06c0: 20 20 20 20 63 6f 70 79 5f 66 69 6c 65 20 74 65      copy_file te
06d0: 73 74 2e 64 62 20 74 65 73 74 58 2e 64 62 0a 20  st.db testX.db. 
06e0: 20 20 20 20 20 63 6f 70 79 5f 66 69 6c 65 20 74       copy_file t
06f0: 65 73 74 2e 64 62 2d 77 61 6c 20 74 65 73 74 58  est.db-wal testX
0700: 2e 64 62 2d 77 61 6c 0a 20 20 0a 20 20 20 20 20  .db-wal.  .     
0710: 20 73 71 6c 69 74 65 33 20 64 62 32 20 74 65 73   sqlite3 db2 tes
0720: 74 58 2e 64 62 0a 20 20 20 20 20 20 65 78 65 63  tX.db.      exec
0730: 73 71 6c 20 7b 20 50 52 41 47 4d 41 20 6a 6f 75  sql { PRAGMA jou
0740: 72 6e 61 6c 5f 6d 6f 64 65 20 3d 20 57 41 4c 20  rnal_mode = WAL 
0750: 7d 20 64 62 32 0a 20 20 20 20 20 20 65 78 65 63  } db2.      exec
0760: 73 71 6c 20 7b 20 50 52 41 47 4d 41 20 69 6e 74  sql { PRAGMA int
0770: 65 67 72 69 74 79 5f 63 68 65 63 6b 20 7d 20 64  egrity_check } d
0780: 62 32 0a 20 20 20 20 7d 20 7b 6f 6b 7d 0a 20 20  b2.    } {ok}.  
0790: 0a 20 20 20 20 64 6f 5f 74 65 73 74 20 77 61 6c  .    do_test wal
07a0: 73 6c 6f 77 2d 31 2e 73 65 65 64 3d 24 73 65 65  slow-1.seed=$see
07b0: 64 2e 24 69 54 65 73 74 2e 34 20 7b 0a 20 20 20  d.$iTest.4 {.   
07c0: 20 20 20 65 78 65 63 73 71 6c 20 7b 20 53 45 4c     execsql { SEL
07d0: 45 43 54 20 63 6f 75 6e 74 28 2a 29 20 46 52 4f  ECT count(*) FRO
07e0: 4d 20 74 31 20 57 48 45 52 45 20 61 21 3d 62 20  M t1 WHERE a!=b 
07f0: 7d 20 64 62 32 0a 20 20 20 20 7d 20 5b 65 78 65  } db2.    } [exe
0800: 63 73 71 6c 20 7b 20 53 45 4c 45 43 54 20 63 6f  csql { SELECT co
0810: 75 6e 74 28 2a 29 20 46 52 4f 4d 20 74 31 20 57  unt(*) FROM t1 W
0820: 48 45 52 45 20 61 21 3d 62 20 7d 5d 0a 20 20 20  HERE a!=b }].   
0830: 20 64 62 32 20 63 6c 6f 73 65 0a 20 20 7d 0a 7d   db2 close.  }.}
0840: 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ..#-------------
0850: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0860: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0870: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0880: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54  ------------.# T
0890: 65 73 74 20 63 61 73 65 20 77 61 6c 73 6c 6f 77  est case walslow
08a0: 2d 33 2e 2a 20 74 65 73 74 73 20 74 68 61 74 20  -3.* tests that 
08b0: 74 68 65 20 63 68 65 63 6b 73 75 6d 20 63 61 6c  the checksum cal
08c0: 63 75 6c 61 74 69 6f 6e 20 64 65 74 65 63 74 73  culation detects
08d0: 20 73 69 6e 67 6c 65 20 0a 23 20 62 79 74 65 20   single .# byte 
08e0: 63 68 61 6e 67 65 73 20 74 6f 20 66 72 61 6d 65  changes to frame
08f0: 20 6f 72 20 66 72 61 6d 65 2d 68 65 61 64 65 72   or frame-header
0900: 20 64 61 74 61 20 61 6e 64 20 63 6f 6e 73 69 64   data and consid
0910: 65 72 73 20 74 68 65 20 66 72 61 6d 65 0a 23 20  ers the frame.# 
0920: 69 6e 76 61 6c 69 64 20 61 73 20 61 20 72 65 73  invalid as a res
0930: 75 6c 74 2e 0a 23 0a 72 65 73 65 74 5f 64 62 0a  ult..#.reset_db.
0940: 64 6f 5f 74 65 73 74 20 33 2e 31 20 7b 0a 0a 20  do_test 3.1 {.. 
0950: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 50   execsql {.    P
0960: 52 41 47 4d 41 20 73 79 6e 63 68 72 6f 6e 6f 75  RAGMA synchronou
0970: 73 20 3d 20 4e 4f 52 4d 41 4c 3b 0a 20 20 20 20  s = NORMAL;.    
0980: 50 52 41 47 4d 41 20 70 61 67 65 5f 73 69 7a 65  PRAGMA page_size
0990: 20 3d 20 31 30 32 34 3b 0a 20 20 20 20 43 52 45   = 1024;.    CRE
09a0: 41 54 45 20 54 41 42 4c 45 20 74 31 28 61 2c 20  ATE TABLE t1(a, 
09b0: 62 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  b);.    INSERT I
09c0: 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 31 2c  NTO t1 VALUES(1,
09d0: 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 33 30 30 29   randomblob(300)
09e0: 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e  );.    INSERT IN
09f0: 54 4f 20 74 31 20 56 41 4c 55 45 53 28 32 2c 20  TO t1 VALUES(2, 
0a00: 72 61 6e 64 6f 6d 62 6c 6f 62 28 33 30 30 29 29  randomblob(300))
0a10: 3b 0a 20 20 20 20 50 52 41 47 4d 41 20 6a 6f 75  ;.    PRAGMA jou
0a20: 72 6e 61 6c 5f 6d 6f 64 65 20 3d 20 57 41 4c 3b  rnal_mode = WAL;
0a30: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
0a40: 20 74 31 20 56 41 4c 55 45 53 28 33 2c 20 72 61   t1 VALUES(3, ra
0a50: 6e 64 6f 6d 62 6c 6f 62 28 33 30 30 29 29 3b 0a  ndomblob(300));.
0a60: 20 20 7d 0a 0a 20 20 66 69 6c 65 20 73 69 7a 65    }..  file size
0a70: 20 74 65 73 74 2e 64 62 2d 77 61 6c 0a 7d 20 5b   test.db-wal.} [
0a80: 77 61 6c 5f 66 69 6c 65 5f 73 69 7a 65 20 31 20  wal_file_size 1 
0a90: 31 30 32 34 5d 0a 64 6f 5f 74 65 73 74 20 33 2e  1024].do_test 3.
0aa0: 32 20 7b 0a 20 20 66 6f 72 63 65 63 6f 70 79 20  2 {.  forcecopy 
0ab0: 74 65 73 74 2e 64 62 2d 77 61 6c 20 74 65 73 74  test.db-wal test
0ac0: 32 2e 64 62 2d 77 61 6c 0a 20 20 66 6f 72 63 65  2.db-wal.  force
0ad0: 63 6f 70 79 20 74 65 73 74 2e 64 62 20 74 65 73  copy test.db tes
0ae0: 74 32 2e 64 62 0a 20 20 73 71 6c 69 74 65 33 20  t2.db.  sqlite3 
0af0: 64 62 32 20 74 65 73 74 32 2e 64 62 0a 20 20 65  db2 test2.db.  e
0b00: 78 65 63 73 71 6c 20 7b 20 53 45 4c 45 43 54 20  xecsql { SELECT 
0b10: 61 20 46 52 4f 4d 20 74 31 20 7d 20 64 62 32 0a  a FROM t1 } db2.
0b20: 7d 20 7b 31 20 32 20 33 7d 0a 64 62 32 20 63 6c  } {1 2 3}.db2 cl
0b30: 6f 73 65 0a 66 6f 72 63 65 63 6f 70 79 20 74 65  ose.forcecopy te
0b40: 73 74 2e 64 62 20 74 65 73 74 32 2e 64 62 0a 0a  st.db test2.db..
0b50: 66 6f 72 65 61 63 68 20 69 6e 63 72 20 7b 31 20  foreach incr {1 
0b60: 32 20 33 20 32 30 20 34 30 20 36 30 20 38 30 20  2 3 20 40 60 80 
0b70: 31 30 30 20 31 32 30 20 31 34 30 20 31 36 30 20  100 120 140 160 
0b80: 31 38 30 20 32 30 30 20 32 32 30 20 32 34 30 20  180 200 220 240 
0b90: 32 35 33 20 32 35 34 20 32 35 35 7d 20 7b 0a 20  253 254 255} {. 
0ba0: 20 64 6f 5f 74 65 73 74 20 33 2e 33 2e 24 69 6e   do_test 3.3.$in
0bb0: 63 72 20 7b 0a 20 20 20 20 73 65 74 20 46 41 49  cr {.    set FAI
0bc0: 4c 20 30 0a 20 20 20 20 66 6f 72 20 7b 73 65 74  L 0.    for {set
0bd0: 20 69 4f 66 66 20 30 7d 20 7b 24 69 4f 66 66 20   iOff 0} {$iOff 
0be0: 3c 20 5b 77 61 6c 5f 66 69 6c 65 5f 73 69 7a 65  < [wal_file_size
0bf0: 20 31 20 31 30 32 34 5d 7d 20 7b 69 6e 63 72 20   1 1024]} {incr 
0c00: 69 4f 66 66 7d 20 7b 0a 0a 20 20 20 20 20 20 66  iOff} {..      f
0c10: 6f 72 63 65 63 6f 70 79 20 74 65 73 74 2e 64 62  orcecopy test.db
0c20: 2d 77 61 6c 20 74 65 73 74 32 2e 64 62 2d 77 61  -wal test2.db-wa
0c30: 6c 0a 20 20 20 20 20 20 73 65 74 20 66 64 20 5b  l.      set fd [
0c40: 6f 70 65 6e 20 74 65 73 74 32 2e 64 62 2d 77 61  open test2.db-wa
0c50: 6c 20 72 2b 5d 0a 20 20 20 20 20 20 66 63 6f 6e  l r+].      fcon
0c60: 66 69 67 75 72 65 20 24 66 64 20 2d 65 6e 63 6f  figure $fd -enco
0c70: 64 69 6e 67 20 62 69 6e 61 72 79 0a 20 20 20 20  ding binary.    
0c80: 20 20 66 63 6f 6e 66 69 67 75 72 65 20 24 66 64    fconfigure $fd
0c90: 20 2d 74 72 61 6e 73 6c 61 74 69 6f 6e 20 62 69   -translation bi
0ca0: 6e 61 72 79 0a 20 20 0a 20 20 20 20 20 20 73 65  nary.  .      se
0cb0: 65 6b 20 24 66 64 20 24 69 4f 66 66 0a 20 20 20  ek $fd $iOff.   
0cc0: 20 20 20 62 69 6e 61 72 79 20 73 63 61 6e 20 5b     binary scan [
0cd0: 72 65 61 64 20 24 66 64 20 31 5d 20 63 20 78 0a  read $fd 1] c x.
0ce0: 20 20 20 20 20 20 73 65 65 6b 20 24 66 64 20 24        seek $fd $
0cf0: 69 4f 66 66 0a 20 20 20 20 20 20 70 75 74 73 20  iOff.      puts 
0d00: 2d 6e 6f 6e 65 77 6c 69 6e 65 20 24 66 64 20 5b  -nonewline $fd [
0d10: 62 69 6e 61 72 79 20 66 6f 72 6d 61 74 20 63 20  binary format c 
0d20: 5b 65 78 70 72 20 7b 28 24 78 2b 24 69 6e 63 72  [expr {($x+$incr
0d30: 29 26 30 78 46 46 7d 5d 5d 0a 20 20 20 20 20 20  )&0xFF}]].      
0d40: 63 6c 6f 73 65 20 24 66 64 0a 20 20 20 20 0a 20  close $fd.    . 
0d50: 20 20 20 20 20 73 71 6c 69 74 65 33 20 64 62 32       sqlite3 db2
0d60: 20 74 65 73 74 32 2e 64 62 0a 20 20 20 20 20 20   test2.db.      
0d70: 69 66 20 7b 20 5b 65 78 65 63 73 71 6c 20 7b 20  if { [execsql { 
0d80: 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31  SELECT a FROM t1
0d90: 20 7d 20 64 62 32 5d 20 21 3d 20 22 31 20 32 22   } db2] != "1 2"
0da0: 20 7d 20 7b 73 65 74 20 46 41 49 4c 20 31 7d 0a   } {set FAIL 1}.
0db0: 20 20 20 20 20 20 64 62 32 20 63 6c 6f 73 65 0a        db2 close.
0dc0: 20 20 20 20 7d 0a 20 20 20 20 73 65 74 20 46 41      }.    set FA
0dd0: 49 4c 0a 20 20 7d 20 7b 30 7d 0a 7d 0a 0a 0a 23  IL.  } {0}.}...#
0de0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0df0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0e00: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0e10: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0e20: 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54 65 73 74  ---------.# Test
0e30: 20 6c 61 72 67 65 20 6c 6f 67 20 73 75 6d 6d 61   large log summa
0e40: 72 69 65 73 2e 0a 23 0a 23 20 49 6e 20 74 68 69  ries..#.# In thi
0e50: 73 20 63 61 73 65 20 22 6c 61 72 67 65 22 20 75  s case "large" u
0e60: 73 75 61 6c 6c 79 20 6d 65 61 6e 73 20 61 20 6c  sually means a l
0e70: 6f 67 20 66 69 6c 65 20 74 68 61 74 20 72 65 71  og file that req
0e80: 75 69 72 65 73 20 61 20 77 61 6c 2d 69 6e 64 65  uires a wal-inde
0e90: 78 0a 23 20 6d 61 70 70 69 6e 67 20 6c 61 72 67  x.# mapping larg
0ea0: 65 72 20 74 68 61 6e 20 36 34 4b 42 20 28 74 68  er than 64KB (th
0eb0: 65 20 64 65 66 61 75 6c 74 20 69 6e 69 74 69 61  e default initia
0ec0: 6c 20 61 6c 6c 6f 63 61 74 69 6f 6e 29 2e 20 41  l allocation). A
0ed0: 20 36 34 4b 42 20 77 61 6c 2d 69 6e 64 65 78 0a   64KB wal-index.
0ee0: 23 20 69 73 20 6c 61 72 67 65 20 65 6e 6f 75 67  # is large enoug
0ef0: 68 20 66 6f 72 20 61 20 6c 6f 67 20 66 69 6c 65  h for a log file
0f00: 20 74 68 61 74 20 63 6f 6e 74 61 69 6e 73 20 61   that contains a
0f10: 70 70 72 6f 78 69 6d 61 74 65 6c 79 20 31 33 31  pproximately 131
0f20: 30 30 20 66 72 61 6d 65 73 2e 0a 23 20 53 6f 20  00 frames..# So 
0f30: 74 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 74 65  the following te
0f40: 73 74 73 20 63 72 65 61 74 65 20 6c 6f 67 73 20  sts create logs 
0f50: 63 6f 6e 74 61 69 6e 69 6e 67 20 61 74 20 6c 65  containing at le
0f60: 61 73 74 20 74 68 69 73 20 6d 61 6e 79 20 66 72  ast this many fr
0f70: 61 6d 65 73 2e 0a 23 0a 23 20 34 2e 31 2e 2a 3a  ames..#.# 4.1.*:
0f80: 20 54 68 69 73 20 74 65 73 74 20 63 61 73 65 20   This test case 
0f90: 63 72 65 61 74 65 73 20 61 20 76 65 72 79 20 6c  creates a very l
0fa0: 61 72 67 65 20 6c 6f 67 20 66 69 6c 65 20 77 69  arge log file wi
0fb0: 74 68 69 6e 20 74 68 65 0a 23 20 20 20 20 20 20  thin the.#      
0fc0: 20 20 66 69 6c 65 2d 73 79 73 74 65 6d 20 28 61    file-system (a
0fd0: 72 6f 75 6e 64 20 32 30 30 4d 42 29 2e 20 54 68  round 200MB). Th
0fe0: 65 20 6c 6f 67 20 66 69 6c 65 20 64 6f 65 73 20  e log file does 
0ff0: 6e 6f 74 20 63 6f 6e 74 61 69 6e 0a 23 20 20 20  not contain.#   
1000: 20 20 20 20 20 61 6e 79 20 76 61 6c 69 64 20 66       any valid f
1010: 72 61 6d 65 73 2e 20 54 65 73 74 20 74 68 61 74  rames. Test that
1020: 20 74 68 65 20 64 61 74 61 62 61 73 65 20 66 69   the database fi
1030: 6c 65 20 63 61 6e 20 73 74 69 6c 6c 20 62 65 0a  le can still be.
1040: 23 20 20 20 20 20 20 20 20 6f 70 65 6e 65 64 20  #        opened 
1050: 61 6e 64 20 71 75 65 72 69 65 64 2c 20 61 6e 64  and queried, and
1060: 20 74 68 61 74 20 74 68 65 20 69 6e 76 61 6c 69   that the invali
1070: 64 20 6c 6f 67 20 66 69 6c 65 20 63 61 75 73 65  d log file cause
1080: 73 20 6e 6f 20 0a 23 20 20 20 20 20 20 20 20 70  s no .#        p
1090: 72 6f 62 6c 65 6d 73 2e 0a 23 0a 23 20 34 2e 32  roblems..#.# 4.2
10a0: 2e 2a 3a 20 54 65 73 74 20 74 68 61 74 20 61 20  .*: Test that a 
10b0: 70 72 6f 63 65 73 73 20 6d 61 79 20 63 72 65 61  process may crea
10c0: 74 65 20 61 20 6c 61 72 67 65 20 6c 6f 67 20 66  te a large log f
10d0: 69 6c 65 20 61 6e 64 20 71 75 65 72 79 0a 23 20  ile and query.# 
10e0: 20 20 20 20 20 20 20 74 68 65 20 64 61 74 61 62         the datab
10f0: 61 73 65 20 28 69 6e 63 6c 75 64 69 6e 67 20 74  ase (including t
1100: 68 65 20 6c 6f 67 20 66 69 6c 65 20 74 68 61 74  he log file that
1110: 20 69 74 20 69 74 73 65 6c 66 20 63 72 65 61 74   it itself creat
1120: 65 64 29 2e 0a 23 0a 23 20 34 2e 33 2e 2a 3a 20  ed)..#.# 4.3.*: 
1130: 54 65 73 74 20 74 68 61 74 20 69 66 20 61 20 76  Test that if a v
1140: 65 72 79 20 6c 61 72 67 65 20 6c 6f 67 20 66 69  ery large log fi
1150: 6c 65 20 69 73 20 63 72 65 61 74 65 64 2c 20 61  le is created, a
1160: 6e 64 20 74 68 65 6e 20 61 0a 23 20 20 20 20 20  nd then a.#     
1170: 20 20 20 73 65 63 6f 6e 64 20 63 6f 6e 6e 65 63     second connec
1180: 74 69 6f 6e 20 69 73 20 6f 70 65 6e 65 64 20 6f  tion is opened o
1190: 6e 20 74 68 65 20 64 61 74 61 62 61 73 65 20 66  n the database f
11a0: 69 6c 65 2c 20 69 74 20 69 73 20 70 6f 73 73 69  ile, it is possi
11b0: 62 6c 65 0a 23 20 20 20 20 20 20 20 20 74 6f 20  ble.#        to 
11c0: 71 75 65 72 79 20 74 68 65 20 64 61 74 61 62 61  query the databa
11d0: 73 65 20 28 61 6e 64 20 74 68 65 20 76 65 72 79  se (and the very
11e0: 20 6c 61 72 67 65 20 6c 6f 67 29 20 75 73 69 6e   large log) usin
11f0: 67 20 74 68 65 0a 23 20 20 20 20 20 20 20 20 73  g the.#        s
1200: 65 63 6f 6e 64 20 63 6f 6e 6e 65 63 74 69 6f 6e  econd connection
1210: 2e 0a 23 0a 23 20 34 2e 34 2e 2a 3a 20 53 61 6d  ..#.# 4.4.*: Sam
1220: 65 20 74 65 73 74 20 61 73 20 77 61 6c 2d 31 33  e test as wal-13
1230: 2e 33 2e 2a 2e 20 45 78 63 65 70 74 20 69 6e 20  .3.*. Except in 
1240: 74 68 69 73 20 63 61 73 65 20 74 68 65 20 73 65  this case the se
1250: 63 6f 6e 64 0a 23 20 20 20 20 20 20 20 20 63 6f  cond.#        co
1260: 6e 6e 65 63 74 69 6f 6e 20 69 73 20 6f 70 65 6e  nnection is open
1270: 65 64 20 62 79 20 61 6e 20 65 78 74 65 72 6e 61  ed by an externa
1280: 6c 20 70 72 6f 63 65 73 73 2e 0a 23 0a 73 65 74  l process..#.set
1290: 20 3a 3a 62 6c 6f 62 63 6e 74 20 30 0a 70 72 6f   ::blobcnt 0.pro
12a0: 63 20 62 6c 6f 62 20 7b 6e 42 79 74 65 7d 20 7b  c blob {nByte} {
12b0: 0a 20 20 69 6e 63 72 20 3a 3a 62 6c 6f 62 63 6e  .  incr ::blobcn
12c0: 74 0a 20 20 72 65 74 75 72 6e 20 5b 73 74 72 69  t.  return [stri
12d0: 6e 67 20 72 61 6e 67 65 20 5b 73 74 72 69 6e 67  ng range [string
12e0: 20 72 65 70 65 61 74 20 22 24 7b 3a 3a 62 6c 6f   repeat "${::blo
12f0: 62 63 6e 74 7d 78 22 20 24 6e 42 79 74 65 5d 20  bcnt}x" $nByte] 
1300: 31 20 24 6e 42 79 74 65 5d 0a 7d 0a 0a 72 65 73  1 $nByte].}..res
1310: 65 74 5f 64 62 0a 64 6f 5f 65 78 65 63 73 71 6c  et_db.do_execsql
1320: 5f 74 65 73 74 20 34 2e 31 20 7b 0a 20 20 50 52  _test 4.1 {.  PR
1330: 41 47 4d 41 20 6a 6f 75 72 6e 61 6c 5f 6d 6f 64  AGMA journal_mod
1340: 65 20 3d 20 77 61 6c 3b 0a 20 20 43 52 45 41 54  e = wal;.  CREAT
1350: 45 20 54 41 42 4c 45 20 74 31 28 78 2c 20 79 29  E TABLE t1(x, y)
1360: 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20  ;.  INSERT INTO 
1370: 22 74 31 22 20 56 41 4c 55 45 53 28 27 41 27 2c  "t1" VALUES('A',
1380: 30 29 3b 0a 20 20 43 52 45 41 54 45 20 54 41 42  0);.  CREATE TAB
1390: 4c 45 20 74 32 28 78 2c 20 79 29 3b 0a 20 20 49  LE t2(x, y);.  I
13a0: 4e 53 45 52 54 20 49 4e 54 4f 20 22 74 32 22 20  NSERT INTO "t2" 
13b0: 56 41 4c 55 45 53 28 27 42 27 2c 32 29 3b 0a 7d  VALUES('B',2);.}
13c0: 20 7b 77 61 6c 7d 0a 64 62 20 63 6c 6f 73 65 0a   {wal}.db close.
13d0: 0a 64 6f 5f 74 65 73 74 20 34 2e 31 2e 31 20 7b  .do_test 4.1.1 {
13e0: 0a 20 20 6c 69 73 74 20 5b 66 69 6c 65 20 65 78  .  list [file ex
13f0: 69 73 74 73 20 74 65 73 74 2e 64 62 5d 20 5b 66  ists test.db] [f
1400: 69 6c 65 20 65 78 69 73 74 73 20 74 65 73 74 2e  ile exists test.
1410: 64 62 2d 77 61 6c 5d 0a 7d 20 7b 31 20 30 7d 0a  db-wal].} {1 0}.
1420: 64 6f 5f 74 65 73 74 20 34 2e 31 2e 32 20 7b 0a  do_test 4.1.2 {.
1430: 20 20 73 65 74 20 66 64 20 5b 6f 70 65 6e 20 74    set fd [open t
1440: 65 73 74 2e 64 62 2d 77 61 6c 20 77 5d 0a 20 20  est.db-wal w].  
1450: 73 65 65 6b 20 24 66 64 20 5b 65 78 70 72 20 32  seek $fd [expr 2
1460: 30 30 2a 31 30 32 34 2a 31 30 32 34 5d 0a 20 20  00*1024*1024].  
1470: 70 75 74 73 20 24 66 64 20 22 22 0a 20 20 63 6c  puts $fd "".  cl
1480: 6f 73 65 20 24 66 64 0a 20 20 73 71 6c 69 74 65  ose $fd.  sqlite
1490: 33 20 64 62 20 74 65 73 74 2e 64 62 0a 20 20 65  3 db test.db.  e
14a0: 78 65 63 73 71 6c 20 7b 20 53 45 4c 45 43 54 20  xecsql { SELECT 
14b0: 2a 20 46 52 4f 4d 20 74 32 20 7d 0a 7d 20 7b 42  * FROM t2 }.} {B
14c0: 20 32 7d 0a 64 6f 5f 74 65 73 74 20 34 2e 31 2e   2}.do_test 4.1.
14d0: 33 20 7b 0a 20 20 64 62 20 63 6c 6f 73 65 0a 20  3 {.  db close. 
14e0: 20 66 69 6c 65 20 65 78 69 73 74 73 20 74 65 73   file exists tes
14f0: 74 2e 64 62 2d 77 61 6c 0a 7d 20 7b 30 7d 0a 0a  t.db-wal.} {0}..
1500: 64 6f 5f 74 65 73 74 20 34 2e 32 2e 31 20 7b 0a  do_test 4.2.1 {.
1510: 20 20 73 71 6c 69 74 65 33 20 64 62 20 74 65 73    sqlite3 db tes
1520: 74 2e 64 62 0a 20 20 65 78 65 63 73 71 6c 20 7b  t.db.  execsql {
1530: 20 53 45 4c 45 43 54 20 63 6f 75 6e 74 28 2a 29   SELECT count(*)
1540: 20 46 52 4f 4d 20 74 32 20 7d 0a 7d 20 7b 31 7d   FROM t2 }.} {1}
1550: 0a 64 6f 5f 74 65 73 74 20 34 2e 32 2e 32 20 7b  .do_test 4.2.2 {
1560: 0a 20 20 64 62 20 66 75 6e 63 74 69 6f 6e 20 62  .  db function b
1570: 6c 6f 62 20 62 6c 6f 62 0a 20 20 66 6f 72 20 7b  lob blob.  for {
1580: 73 65 74 20 69 20 30 7d 20 7b 24 69 20 3c 20 31  set i 0} {$i < 1
1590: 36 7d 20 7b 69 6e 63 72 20 69 7d 20 7b 0a 20 20  6} {incr i} {.  
15a0: 20 20 65 78 65 63 73 71 6c 20 7b 20 49 4e 53 45    execsql { INSE
15b0: 52 54 20 49 4e 54 4f 20 74 32 20 53 45 4c 45 43  RT INTO t2 SELEC
15c0: 54 20 62 6c 6f 62 28 34 30 30 29 2c 20 62 6c 6f  T blob(400), blo
15d0: 62 28 34 30 30 29 20 46 52 4f 4d 20 74 32 20 7d  b(400) FROM t2 }
15e0: 0a 20 20 7d 0a 20 20 65 78 65 63 73 71 6c 20 7b  .  }.  execsql {
15f0: 20 53 45 4c 45 43 54 20 63 6f 75 6e 74 28 2a 29   SELECT count(*)
1600: 20 46 52 4f 4d 20 74 32 20 7d 0a 7d 20 5b 65 78   FROM t2 }.} [ex
1610: 70 72 20 69 6e 74 28 70 6f 77 28 32 2c 20 31 36  pr int(pow(2, 16
1620: 29 29 5d 0a 64 6f 5f 74 65 73 74 20 34 2e 32 2e  ))].do_test 4.2.
1630: 33 20 7b 0a 20 20 65 78 70 72 20 5b 66 69 6c 65  3 {.  expr [file
1640: 20 73 69 7a 65 20 74 65 73 74 2e 64 62 2d 77 61   size test.db-wa
1650: 6c 5d 20 3e 20 5b 77 61 6c 5f 66 69 6c 65 5f 73  l] > [wal_file_s
1660: 69 7a 65 20 33 33 30 30 30 20 31 30 32 34 5d 0a  ize 33000 1024].
1670: 7d 20 31 0a 0a 64 6f 5f 6d 75 6c 74 69 63 6c 69  } 1..do_multicli
1680: 65 6e 74 5f 74 65 73 74 20 74 6e 20 7b 0a 20 20  ent_test tn {.  
1690: 69 6e 63 72 20 74 6e 20 32 0a 0a 20 20 64 6f 5f  incr tn 2..  do_
16a0: 74 65 73 74 20 34 2e 24 74 6e 2e 30 20 7b 0a 20  test 4.$tn.0 {. 
16b0: 20 20 20 73 71 6c 31 20 7b 0a 20 20 20 20 20 20     sql1 {.      
16c0: 50 52 41 47 4d 41 20 6a 6f 75 72 6e 61 6c 5f 6d  PRAGMA journal_m
16d0: 6f 64 65 20 3d 20 57 41 4c 3b 0a 20 20 20 20 20  ode = WAL;.     
16e0: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 31   CREATE TABLE t1
16f0: 28 78 29 3b 0a 20 20 20 20 20 20 49 4e 53 45 52  (x);.      INSER
1700: 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54  T INTO t1 SELECT
1710: 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 38 30 30 29   randomblob(800)
1720: 3b 0a 20 20 20 20 7d 0a 20 20 20 20 73 71 6c 31  ;.    }.    sql1
1730: 20 7b 20 53 45 4c 45 43 54 20 63 6f 75 6e 74 28   { SELECT count(
1740: 2a 29 20 46 52 4f 4d 20 74 31 20 7d 0a 20 20 7d  *) FROM t1 }.  }
1750: 20 7b 31 7d 0a 0a 20 20 66 6f 72 20 7b 73 65 74   {1}..  for {set
1760: 20 69 69 20 31 7d 20 7b 24 69 69 3c 31 36 7d 20   ii 1} {$ii<16} 
1770: 7b 69 6e 63 72 20 69 69 7d 20 7b 0a 20 20 20 20  {incr ii} {.    
1780: 64 6f 5f 74 65 73 74 20 34 2e 24 74 6e 2e 24 69  do_test 4.$tn.$i
1790: 69 2e 61 20 7b 0a 20 20 20 20 20 20 73 71 6c 32  i.a {.      sql2
17a0: 20 7b 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74   { INSERT INTO t
17b0: 31 20 53 45 4c 45 43 54 20 72 61 6e 64 6f 6d 62  1 SELECT randomb
17c0: 6c 6f 62 28 38 30 30 29 20 46 52 4f 4d 20 74 31  lob(800) FROM t1
17d0: 20 7d 0a 20 20 20 20 20 20 73 71 6c 32 20 7b 20   }.      sql2 { 
17e0: 53 45 4c 45 43 54 20 63 6f 75 6e 74 28 2a 29 20  SELECT count(*) 
17f0: 46 52 4f 4d 20 74 31 20 7d 0a 20 20 20 20 7d 20  FROM t1 }.    } 
1800: 5b 65 78 70 72 20 28 31 3c 3c 24 69 69 29 5d 0a  [expr (1<<$ii)].
1810: 20 20 20 20 64 6f 5f 74 65 73 74 20 34 2e 24 74      do_test 4.$t
1820: 6e 2e 24 69 69 2e 62 20 7b 0a 20 20 20 20 20 20  n.$ii.b {.      
1830: 73 71 6c 31 20 7b 20 53 45 4c 45 43 54 20 63 6f  sql1 { SELECT co
1840: 75 6e 74 28 2a 29 20 46 52 4f 4d 20 74 31 20 7d  unt(*) FROM t1 }
1850: 0a 20 20 20 20 7d 20 5b 65 78 70 72 20 28 31 3c  .    } [expr (1<
1860: 3c 24 69 69 29 5d 0a 20 20 20 20 64 6f 5f 74 65  <$ii)].    do_te
1870: 73 74 20 34 2e 24 74 6e 2e 24 69 69 2e 63 20 7b  st 4.$tn.$ii.c {
1880: 0a 20 20 20 20 20 20 73 71 6c 31 20 7b 20 53 45  .      sql1 { SE
1890: 4c 45 43 54 20 63 6f 75 6e 74 28 2a 29 20 46 52  LECT count(*) FR
18a0: 4f 4d 20 74 31 20 7d 0a 20 20 20 20 7d 20 5b 65  OM t1 }.    } [e
18b0: 78 70 72 20 28 31 3c 3c 24 69 69 29 5d 0a 20 20  xpr (1<<$ii)].  
18c0: 20 20 64 6f 5f 74 65 73 74 20 34 2e 24 74 6e 2e    do_test 4.$tn.
18d0: 24 69 69 2e 64 20 7b 0a 20 20 20 20 20 20 73 71  $ii.d {.      sq
18e0: 6c 31 20 7b 20 50 52 41 47 4d 41 20 69 6e 74 65  l1 { PRAGMA inte
18f0: 67 72 69 74 79 5f 63 68 65 63 6b 20 7d 0a 20 20  grity_check }.  
1900: 20 20 7d 20 7b 6f 6b 7d 0a 20 20 7d 0a 7d 0a 0a    } {ok}.  }.}..
1910: 66 69 6e 69 73 68 5f 74 65 73 74 0a              finish_test.