/ Hex Artifact Content
Login

Artifact f2806eeba269efbe0132302b789f9fb4abf62264:


0000: 23 20 32 30 31 30 20 4a 75 6e 65 20 31 35 0a 23  # 2010 June 15.#
0010: 0a 23 20 54 68 65 20 61 75 74 68 6f 72 20 64 69  .# The author di
0020: 73 63 6c 61 69 6d 73 20 63 6f 70 79 72 69 67 68  sclaims copyrigh
0030: 74 20 74 6f 20 74 68 69 73 20 73 6f 75 72 63 65  t to this source
0040: 20 63 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63 65   code.  In place
0050: 20 6f 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e 6f   of.# a legal no
0060: 74 69 63 65 2c 20 68 65 72 65 20 69 73 20 61 20  tice, here is a 
0070: 62 6c 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20 20  blessing:.#.#   
0080: 20 4d 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f 64   May you do good
0090: 20 61 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a 23   and not evil..#
00a0: 20 20 20 20 4d 61 79 20 79 6f 75 20 66 69 6e 64      May you find
00b0: 20 66 6f 72 67 69 76 65 6e 65 73 73 20 66 6f 72   forgiveness for
00c0: 20 79 6f 75 72 73 65 6c 66 20 61 6e 64 20 66 6f   yourself and fo
00d0: 72 67 69 76 65 20 6f 74 68 65 72 73 2e 0a 23 20  rgive others..# 
00e0: 20 20 20 4d 61 79 20 79 6f 75 20 73 68 61 72 65     May you share
00f0: 20 66 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 74   freely, never t
0100: 61 6b 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20  aking more than 
0110: 79 6f 75 20 67 69 76 65 2e 0a 23 0a 23 2a 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 0a 23 0a 0a 73 65 74 20 74 65 73 74  ****.#..set test
0170: 64 69 72 20 5b 66 69 6c 65 20 64 69 72 6e 61 6d  dir [file dirnam
0180: 65 20 24 61 72 67 76 30 5d 0a 73 6f 75 72 63 65  e $argv0].source
0190: 20 24 74 65 73 74 64 69 72 2f 74 65 73 74 65 72   $testdir/tester
01a0: 2e 74 63 6c 0a 73 6f 75 72 63 65 20 24 74 65 73  .tcl.source $tes
01b0: 74 64 69 72 2f 6c 6f 63 6b 5f 63 6f 6d 6d 6f 6e  tdir/lock_common
01c0: 2e 74 63 6c 0a 73 6f 75 72 63 65 20 24 74 65 73  .tcl.source $tes
01d0: 74 64 69 72 2f 6d 61 6c 6c 6f 63 5f 63 6f 6d 6d  tdir/malloc_comm
01e0: 6f 6e 2e 74 63 6c 0a 0a 23 0a 23 20 70 61 67 65  on.tcl..#.# page
01f0: 72 31 2d 31 2e 2a 3a 20 54 65 73 74 20 69 6e 74  r1-1.*: Test int
0200: 65 72 2d 70 72 6f 63 65 73 73 20 6c 6f 63 6b 69  er-process locki
0210: 6e 67 20 28 63 6c 69 65 6e 74 73 20 69 6e 20 6d  ng (clients in m
0220: 75 6c 74 69 70 6c 65 20 70 72 6f 63 65 73 73 65  ultiple processe
0230: 73 29 2e 0a 23 0a 23 20 70 61 67 65 72 31 2d 32  s)..#.# pager1-2
0240: 2e 2a 3a 20 54 65 73 74 20 69 6e 74 72 61 2d 70  .*: Test intra-p
0250: 72 6f 63 65 73 73 20 6c 6f 63 6b 69 6e 67 20 28  rocess locking (
0260: 6d 75 6c 74 69 70 6c 65 20 63 6c 69 65 6e 74 73  multiple clients
0270: 20 69 6e 20 74 68 69 73 20 70 72 6f 63 65 73 73   in this process
0280: 29 2e 0a 23 0a 23 20 70 61 67 65 72 31 2d 33 2e  )..#.# pager1-3.
0290: 2a 3a 20 53 61 76 65 70 6f 69 6e 74 20 72 65 6c  *: Savepoint rel
02a0: 61 74 65 64 20 74 65 73 74 73 2e 0a 23 0a 23 20  ated tests..#.# 
02b0: 70 61 67 65 72 31 2d 34 2e 2a 3a 20 48 6f 74 2d  pager1-4.*: Hot-
02c0: 6a 6f 75 72 6e 61 6c 20 72 65 6c 61 74 65 64 20  journal related 
02d0: 74 65 73 74 73 2e 0a 23 0a 0a 70 72 6f 63 20 64  tests..#..proc d
02e0: 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 7b  o_execsql_test {
02f0: 74 65 73 74 6e 61 6d 65 20 73 71 6c 20 72 65 73  testname sql res
0300: 75 6c 74 7d 20 7b 0a 20 20 75 70 6c 65 76 65 6c  ult} {.  uplevel
0310: 20 64 6f 5f 74 65 73 74 20 24 74 65 73 74 6e 61   do_test $testna
0320: 6d 65 20 5b 6c 69 73 74 20 22 65 78 65 63 73 71  me [list "execsq
0330: 6c 20 7b 24 73 71 6c 7d 22 5d 20 5b 6c 69 73 74  l {$sql}"] [list
0340: 20 24 72 65 73 75 6c 74 5d 0a 7d 0a 70 72 6f 63   $result].}.proc
0350: 20 64 6f 5f 63 61 74 63 68 73 71 6c 5f 74 65 73   do_catchsql_tes
0360: 74 20 7b 74 65 73 74 6e 61 6d 65 20 73 71 6c 20  t {testname sql 
0370: 72 65 73 75 6c 74 7d 20 7b 0a 20 20 75 70 6c 65  result} {.  uple
0380: 76 65 6c 20 64 6f 5f 74 65 73 74 20 24 74 65 73  vel do_test $tes
0390: 74 6e 61 6d 65 20 5b 6c 69 73 74 20 22 63 61 74  tname [list "cat
03a0: 63 68 73 71 6c 20 7b 24 73 71 6c 7d 22 5d 20 5b  chsql {$sql}"] [
03b0: 6c 69 73 74 20 24 72 65 73 75 6c 74 5d 0a 7d 0a  list $result].}.
03c0: 0a 73 65 74 20 61 5f 73 74 72 69 6e 67 5f 63 6f  .set a_string_co
03d0: 75 6e 74 65 72 20 31 0a 70 72 6f 63 20 61 5f 73  unter 1.proc a_s
03e0: 74 72 69 6e 67 20 7b 6e 7d 20 7b 0a 20 20 67 6c  tring {n} {.  gl
03f0: 6f 62 61 6c 20 61 5f 73 74 72 69 6e 67 5f 63 6f  obal a_string_co
0400: 75 6e 74 65 72 0a 20 20 69 6e 63 72 20 61 5f 73  unter.  incr a_s
0410: 74 72 69 6e 67 5f 63 6f 75 6e 74 65 72 0a 20 20  tring_counter.  
0420: 73 74 72 69 6e 67 20 72 61 6e 67 65 20 5b 73 74  string range [st
0430: 72 69 6e 67 20 72 65 70 65 61 74 20 22 24 7b 61  ring repeat "${a
0440: 5f 73 74 72 69 6e 67 5f 63 6f 75 6e 74 65 72 7d  _string_counter}
0450: 2e 22 20 24 6e 5d 20 31 20 24 6e 0a 7d 0a 64 62  ." $n] 1 $n.}.db
0460: 20 66 75 6e 63 20 61 5f 73 74 72 69 6e 67 20 61   func a_string a
0470: 5f 73 74 72 69 6e 67 0a 0a 64 6f 5f 6d 75 6c 74  _string..do_mult
0480: 69 63 6c 69 65 6e 74 5f 74 65 73 74 20 74 6e 20  iclient_test tn 
0490: 7b 0a 0a 20 20 23 20 43 72 65 61 74 65 20 61 6e  {..  # Create an
04a0: 64 20 70 6f 70 75 6c 61 74 65 20 61 20 64 61 74  d populate a dat
04b0: 61 62 61 73 65 20 74 61 62 6c 65 20 75 73 69 6e  abase table usin
04c0: 67 20 63 6f 6e 6e 65 63 74 69 6f 6e 20 5b 64 62  g connection [db
04d0: 5d 2e 20 43 68 65 63 6b 20 0a 20 20 23 20 74 68  ]. Check .  # th
04e0: 61 74 20 63 6f 6e 6e 65 63 74 69 6f 6e 73 20 5b  at connections [
04f0: 64 62 32 5d 20 61 6e 64 20 5b 64 62 33 5d 20 63  db2] and [db3] c
0500: 61 6e 20 73 65 65 20 74 68 65 20 73 63 68 65 6d  an see the schem
0510: 61 20 61 6e 64 20 63 6f 6e 74 65 6e 74 2e 0a 20  a and content.. 
0520: 20 23 0a 20 20 64 6f 5f 74 65 73 74 20 70 61 67   #.  do_test pag
0530: 65 72 31 2d 24 74 6e 2e 31 20 7b 0a 20 20 20 20  er1-$tn.1 {.    
0540: 73 71 6c 31 20 7b 0a 20 20 20 20 20 20 43 52 45  sql1 {.      CRE
0550: 41 54 45 20 54 41 42 4c 45 20 74 31 28 61 20 50  ATE TABLE t1(a P
0560: 52 49 4d 41 52 59 20 4b 45 59 2c 20 62 29 3b 0a  RIMARY KEY, b);.
0570: 20 20 20 20 20 20 43 52 45 41 54 45 20 49 4e 44        CREATE IND
0580: 45 58 20 69 31 20 4f 4e 20 74 31 28 62 29 3b 0a  EX i1 ON t1(b);.
0590: 20 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54        INSERT INT
05a0: 4f 20 74 31 20 56 41 4c 55 45 53 28 31 2c 20 27  O t1 VALUES(1, '
05b0: 6f 6e 65 27 29 3b 0a 20 20 20 20 20 20 49 4e 53  one');.      INS
05c0: 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55  ERT INTO t1 VALU
05d0: 45 53 28 32 2c 20 27 74 77 6f 27 29 3b 0a 20 20  ES(2, 'two');.  
05e0: 20 20 7d 0a 20 20 7d 20 7b 7d 0a 20 20 64 6f 5f    }.  } {}.  do_
05f0: 74 65 73 74 20 70 61 67 65 72 31 2d 24 74 6e 2e  test pager1-$tn.
0600: 32 20 7b 20 73 71 6c 32 20 7b 20 53 45 4c 45 43  2 { sql2 { SELEC
0610: 54 20 2a 20 46 52 4f 4d 20 74 31 20 7d 20 7d 20  T * FROM t1 } } 
0620: 7b 31 20 6f 6e 65 20 32 20 74 77 6f 7d 0a 20 20  {1 one 2 two}.  
0630: 64 6f 5f 74 65 73 74 20 70 61 67 65 72 31 2d 24  do_test pager1-$
0640: 74 6e 2e 33 20 7b 20 73 71 6c 33 20 7b 20 53 45  tn.3 { sql3 { SE
0650: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 7d  LECT * FROM t1 }
0660: 20 7d 20 7b 31 20 6f 6e 65 20 32 20 74 77 6f 7d   } {1 one 2 two}
0670: 0a 0a 20 20 23 20 4f 70 65 6e 20 61 20 74 72 61  ..  # Open a tra
0680: 6e 73 61 63 74 69 6f 6e 20 61 6e 64 20 61 64 64  nsaction and add
0690: 20 61 20 72 6f 77 20 75 73 69 6e 67 20 5b 64 62   a row using [db
06a0: 5d 2e 20 54 68 69 73 20 70 75 74 73 20 5b 64 62  ]. This puts [db
06b0: 5d 20 69 6e 0a 20 20 23 20 52 45 53 45 52 56 45  ] in.  # RESERVE
06c0: 44 20 73 74 61 74 65 2e 20 43 68 65 63 6b 20 74  D state. Check t
06d0: 68 61 74 20 63 6f 6e 6e 65 63 74 69 6f 6e 73 20  hat connections 
06e0: 5b 64 62 32 5d 20 61 6e 64 20 5b 64 62 33 5d 20  [db2] and [db3] 
06f0: 63 61 6e 20 73 74 69 6c 6c 0a 20 20 23 20 72 65  can still.  # re
0700: 61 64 20 74 68 65 20 64 61 74 61 62 61 73 65 20  ad the database 
0710: 63 6f 6e 74 65 6e 74 20 61 73 20 69 74 20 77 61  content as it wa
0720: 73 20 62 65 66 6f 72 65 20 74 68 65 20 74 72 61  s before the tra
0730: 6e 73 61 63 74 69 6f 6e 20 77 61 73 0a 20 20 23  nsaction was.  #
0740: 20 6f 70 65 6e 65 64 2e 20 5b 64 62 5d 20 73 68   opened. [db] sh
0750: 6f 75 6c 64 20 73 65 65 20 74 68 65 20 69 6e 73  ould see the ins
0760: 65 72 74 65 64 20 72 6f 77 2e 0a 20 20 23 0a 20  erted row..  #. 
0770: 20 64 6f 5f 74 65 73 74 20 70 61 67 65 72 31 2d   do_test pager1-
0780: 24 74 6e 2e 34 20 7b 0a 20 20 20 20 73 71 6c 31  $tn.4 {.    sql1
0790: 20 7b 0a 20 20 20 20 20 20 42 45 47 49 4e 3b 0a   {.      BEGIN;.
07a0: 20 20 20 20 20 20 20 20 49 4e 53 45 52 54 20 49          INSERT I
07b0: 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 33 2c  NTO t1 VALUES(3,
07c0: 20 27 74 68 72 65 65 27 29 3b 0a 20 20 20 20 7d   'three');.    }
07d0: 0a 20 20 7d 20 7b 7d 0a 20 20 64 6f 5f 74 65 73  .  } {}.  do_tes
07e0: 74 20 70 61 67 65 72 31 2d 24 74 6e 2e 35 20 7b  t pager1-$tn.5 {
07f0: 20 73 71 6c 32 20 7b 20 53 45 4c 45 43 54 20 2a   sql2 { SELECT *
0800: 20 46 52 4f 4d 20 74 31 20 7d 20 7d 20 7b 31 20   FROM t1 } } {1 
0810: 6f 6e 65 20 32 20 74 77 6f 7d 0a 20 20 64 6f 5f  one 2 two}.  do_
0820: 74 65 73 74 20 70 61 67 65 72 31 2d 24 74 6e 2e  test pager1-$tn.
0830: 37 20 7b 20 73 71 6c 31 20 7b 20 53 45 4c 45 43  7 { sql1 { SELEC
0840: 54 20 2a 20 46 52 4f 4d 20 74 31 20 7d 20 7d 20  T * FROM t1 } } 
0850: 7b 31 20 6f 6e 65 20 32 20 74 77 6f 20 33 20 74  {1 one 2 two 3 t
0860: 68 72 65 65 7d 0a 0a 20 20 23 20 5b 64 62 5d 20  hree}..  # [db] 
0870: 73 74 69 6c 6c 20 68 61 73 20 61 6e 20 6f 70 65  still has an ope
0880: 6e 20 77 72 69 74 65 20 74 72 61 6e 73 61 63 74  n write transact
0890: 69 6f 6e 2e 20 43 68 65 63 6b 20 74 68 61 74 20  ion. Check that 
08a0: 74 68 69 73 20 70 72 65 76 65 6e 74 73 0a 20 20  this prevents.  
08b0: 23 20 6f 74 68 65 72 20 63 6f 6e 6e 65 63 74 69  # other connecti
08c0: 6f 6e 73 20 28 73 70 65 63 69 66 69 63 61 6c 6c  ons (specificall
08d0: 79 20 5b 64 62 32 5d 29 20 66 72 6f 6d 20 77 72  y [db2]) from wr
08e0: 69 74 69 6e 67 20 74 6f 20 74 68 65 20 64 61 74  iting to the dat
08f0: 61 62 61 73 65 2e 0a 20 20 23 0a 20 20 23 20 45  abase..  #.  # E
0900: 76 65 6e 20 69 66 20 5b 64 62 32 5d 20 6f 70 65  ven if [db2] ope
0910: 6e 73 20 61 20 74 72 61 6e 73 61 63 74 69 6f 6e  ns a transaction
0920: 20 66 69 72 73 74 2c 20 69 74 20 6d 61 79 20 6e   first, it may n
0930: 6f 74 20 77 72 69 74 65 20 74 6f 20 74 68 65 0a  ot write to the.
0940: 20 20 23 20 64 61 74 61 62 61 73 65 2e 20 41 66    # database. Af
0950: 74 65 72 20 74 68 65 20 61 74 74 65 6d 70 74 20  ter the attempt 
0960: 74 6f 20 77 72 69 74 65 20 74 68 65 20 64 62 20  to write the db 
0970: 77 69 74 68 69 6e 20 61 20 74 72 61 6e 73 61 63  within a transac
0980: 74 69 6f 6e 2c 20 0a 20 20 23 20 5b 64 62 32 5d  tion, .  # [db2]
0990: 20 69 73 20 6c 65 66 74 20 77 69 74 68 20 61 6e   is left with an
09a0: 20 6f 70 65 6e 20 74 72 61 6e 73 61 63 74 69 6f   open transactio
09b0: 6e 2c 20 62 75 74 20 6e 6f 74 20 61 20 72 65 61  n, but not a rea
09c0: 64 2d 6c 6f 63 6b 20 6f 6e 0a 20 20 23 20 74 68  d-lock on.  # th
09d0: 65 20 6d 61 69 6e 20 64 61 74 61 62 61 73 65 2e  e main database.
09e0: 20 53 6f 20 69 74 20 64 6f 65 73 20 6e 6f 74 20   So it does not 
09f0: 70 72 65 76 65 6e 74 20 5b 64 62 5d 20 66 72 6f  prevent [db] fro
0a00: 6d 20 63 6f 6d 6d 69 74 74 69 6e 67 2e 0a 20 20  m committing..  
0a10: 23 0a 20 20 64 6f 5f 74 65 73 74 20 70 61 67 65  #.  do_test page
0a20: 72 31 2d 24 74 6e 2e 38 20 7b 20 0a 20 20 20 20  r1-$tn.8 { .    
0a30: 63 73 71 6c 32 20 7b 20 55 50 44 41 54 45 20 74  csql2 { UPDATE t
0a40: 31 20 53 45 54 20 61 20 3d 20 61 20 2b 20 31 30  1 SET a = a + 10
0a50: 20 7d 0a 20 20 7d 20 7b 31 20 7b 64 61 74 61 62   }.  } {1 {datab
0a60: 61 73 65 20 69 73 20 6c 6f 63 6b 65 64 7d 7d 0a  ase is locked}}.
0a70: 20 20 64 6f 5f 74 65 73 74 20 70 61 67 65 72 31    do_test pager1
0a80: 2d 24 74 6e 2e 39 20 7b 20 0a 20 20 20 20 63 73  -$tn.9 { .    cs
0a90: 71 6c 32 20 7b 20 0a 20 20 20 20 20 20 42 45 47  ql2 { .      BEG
0aa0: 49 4e 3b 0a 20 20 20 20 20 20 55 50 44 41 54 45  IN;.      UPDATE
0ab0: 20 74 31 20 53 45 54 20 61 20 3d 20 61 20 2b 20   t1 SET a = a + 
0ac0: 31 30 3b 0a 20 20 20 20 7d 0a 20 20 7d 20 7b 31  10;.    }.  } {1
0ad0: 20 7b 64 61 74 61 62 61 73 65 20 69 73 20 6c 6f   {database is lo
0ae0: 63 6b 65 64 7d 7d 0a 0a 20 20 23 20 48 61 76 65  cked}}..  # Have
0af0: 20 5b 64 62 5d 20 63 6f 6d 6d 69 74 20 69 74 73   [db] commit its
0b00: 20 74 72 61 6e 73 61 63 74 69 6f 6e 73 2e 20 43   transactions. C
0b10: 68 65 63 6b 20 74 68 65 20 6f 74 68 65 72 20 63  heck the other c
0b20: 6f 6e 6e 65 63 74 69 6f 6e 73 20 63 61 6e 0a 20  onnections can. 
0b30: 20 23 20 6e 6f 77 20 73 65 65 20 74 68 65 20 6e   # now see the n
0b40: 65 77 20 64 61 74 61 62 61 73 65 20 63 6f 6e 74  ew database cont
0b50: 65 6e 74 2e 0a 20 20 23 0a 20 20 64 6f 5f 74 65  ent..  #.  do_te
0b60: 73 74 20 70 61 67 65 72 31 2d 24 74 6e 2e 31 30  st pager1-$tn.10
0b70: 20 7b 20 73 71 6c 31 20 7b 20 43 4f 4d 4d 49 54   { sql1 { COMMIT
0b80: 20 7d 20 7d 20 7b 7d 0a 20 20 64 6f 5f 74 65 73   } } {}.  do_tes
0b90: 74 20 70 61 67 65 72 31 2d 24 74 6e 2e 31 31 20  t pager1-$tn.11 
0ba0: 7b 20 73 71 6c 31 20 7b 20 53 45 4c 45 43 54 20  { sql1 { SELECT 
0bb0: 2a 20 46 52 4f 4d 20 74 31 20 7d 20 7d 20 7b 31  * FROM t1 } } {1
0bc0: 20 6f 6e 65 20 32 20 74 77 6f 20 33 20 74 68 72   one 2 two 3 thr
0bd0: 65 65 7d 0a 20 20 64 6f 5f 74 65 73 74 20 70 61  ee}.  do_test pa
0be0: 67 65 72 31 2d 24 74 6e 2e 31 32 20 7b 20 73 71  ger1-$tn.12 { sq
0bf0: 6c 32 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52  l2 { SELECT * FR
0c00: 4f 4d 20 74 31 20 7d 20 7d 20 7b 31 20 6f 6e 65  OM t1 } } {1 one
0c10: 20 32 20 74 77 6f 20 33 20 74 68 72 65 65 7d 0a   2 two 3 three}.
0c20: 20 20 64 6f 5f 74 65 73 74 20 70 61 67 65 72 31    do_test pager1
0c30: 2d 24 74 6e 2e 31 33 20 7b 20 73 71 6c 33 20 7b  -$tn.13 { sql3 {
0c40: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74   SELECT * FROM t
0c50: 31 20 7d 20 7d 20 7b 31 20 6f 6e 65 20 32 20 74  1 } } {1 one 2 t
0c60: 77 6f 20 33 20 74 68 72 65 65 7d 0a 0a 20 20 23  wo 3 three}..  #
0c70: 20 43 68 65 63 6b 20 74 68 61 74 2c 20 61 73 20   Check that, as 
0c80: 6e 6f 74 65 64 20 61 62 6f 76 65 2c 20 5b 64 62  noted above, [db
0c90: 32 5d 20 72 65 61 6c 6c 79 20 64 69 64 20 6b 65  2] really did ke
0ca0: 65 70 20 61 6e 20 6f 70 65 6e 20 74 72 61 6e 73  ep an open trans
0cb0: 61 63 74 69 6f 6e 0a 20 20 23 20 61 66 74 65 72  action.  # after
0cc0: 20 74 68 65 20 61 74 74 65 6d 70 74 20 74 6f 20   the attempt to 
0cd0: 77 72 69 74 65 20 74 68 65 20 64 61 74 61 62 61  write the databa
0ce0: 73 65 20 66 61 69 6c 65 64 2e 0a 20 20 23 0a 20  se failed..  #. 
0cf0: 20 64 6f 5f 74 65 73 74 20 70 61 67 65 72 31 2d   do_test pager1-
0d00: 24 74 6e 2e 31 34 20 7b 20 0a 20 20 20 20 63 73  $tn.14 { .    cs
0d10: 71 6c 32 20 7b 20 42 45 47 49 4e 20 7d 20 0a 20  ql2 { BEGIN } . 
0d20: 20 7d 20 7b 31 20 7b 63 61 6e 6e 6f 74 20 73 74   } {1 {cannot st
0d30: 61 72 74 20 61 20 74 72 61 6e 73 61 63 74 69 6f  art a transactio
0d40: 6e 20 77 69 74 68 69 6e 20 61 20 74 72 61 6e 73  n within a trans
0d50: 61 63 74 69 6f 6e 7d 7d 0a 20 20 64 6f 5f 74 65  action}}.  do_te
0d60: 73 74 20 70 61 67 65 72 31 2d 24 74 6e 2e 31 35  st pager1-$tn.15
0d70: 20 7b 20 73 71 6c 32 20 7b 20 52 4f 4c 4c 42 41   { sql2 { ROLLBA
0d80: 43 4b 20 7d 20 7d 20 7b 7d 0a 0a 20 20 23 20 48  CK } } {}..  # H
0d90: 61 76 65 20 5b 64 62 32 5d 20 6f 70 65 6e 20 61  ave [db2] open a
0da0: 20 74 72 61 6e 73 61 63 74 69 6f 6e 20 61 6e 64   transaction and
0db0: 20 74 61 6b 65 20 61 20 72 65 61 64 2d 6c 6f 63   take a read-loc
0dc0: 6b 20 6f 6e 20 74 68 65 20 64 61 74 61 62 61 73  k on the databas
0dd0: 65 2e 0a 20 20 23 20 43 68 65 63 6b 20 74 68 61  e..  # Check tha
0de0: 74 20 74 68 69 73 20 70 72 65 76 65 6e 74 73 20  t this prevents 
0df0: 5b 64 62 5d 20 66 72 6f 6d 20 77 72 69 74 69 6e  [db] from writin
0e00: 67 20 74 6f 20 74 68 65 20 64 61 74 61 62 61 73  g to the databas
0e10: 65 20 28 6f 75 74 73 69 64 65 0a 20 20 23 20 6f  e (outside.  # o
0e20: 66 20 61 6e 79 20 74 72 61 6e 73 61 63 74 69 6f  f any transactio
0e30: 6e 29 2e 20 41 66 74 65 72 20 74 68 69 73 20 66  n). After this f
0e40: 61 69 6c 73 2c 20 63 68 65 63 6b 20 74 68 61 74  ails, check that
0e50: 20 5b 64 62 33 5d 20 63 61 6e 20 72 65 61 64 0a   [db3] can read.
0e60: 20 20 23 20 74 68 65 20 64 62 20 28 73 68 6f 77    # the db (show
0e70: 69 6e 67 20 74 68 61 74 20 5b 64 62 5d 20 64 69  ing that [db] di
0e80: 64 20 6e 6f 74 20 74 61 6b 65 20 61 20 50 45 4e  d not take a PEN
0e90: 44 49 4e 47 20 6c 6f 63 6b 20 65 74 63 2e 29 0a  DING lock etc.).
0ea0: 20 20 23 0a 20 20 64 6f 5f 74 65 73 74 20 70 61    #.  do_test pa
0eb0: 67 65 72 31 2d 24 74 6e 2e 31 35 20 7b 20 0a 20  ger1-$tn.15 { . 
0ec0: 20 20 20 73 71 6c 32 20 7b 20 42 45 47 49 4e 3b     sql2 { BEGIN;
0ed0: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74   SELECT * FROM t
0ee0: 31 3b 20 7d 0a 20 20 7d 20 7b 31 20 6f 6e 65 20  1; }.  } {1 one 
0ef0: 32 20 74 77 6f 20 33 20 74 68 72 65 65 7d 0a 20  2 two 3 three}. 
0f00: 20 64 6f 5f 74 65 73 74 20 70 61 67 65 72 31 2d   do_test pager1-
0f10: 24 74 6e 2e 31 36 20 7b 20 0a 20 20 20 20 63 73  $tn.16 { .    cs
0f20: 71 6c 31 20 7b 20 55 50 44 41 54 45 20 74 31 20  ql1 { UPDATE t1 
0f30: 53 45 54 20 61 20 3d 20 61 20 2b 20 31 30 20 7d  SET a = a + 10 }
0f40: 0a 20 20 7d 20 7b 31 20 7b 64 61 74 61 62 61 73  .  } {1 {databas
0f50: 65 20 69 73 20 6c 6f 63 6b 65 64 7d 7d 0a 20 20  e is locked}}.  
0f60: 64 6f 5f 74 65 73 74 20 70 61 67 65 72 31 2d 24  do_test pager1-$
0f70: 74 6e 2e 31 37 20 7b 20 73 71 6c 33 20 7b 20 53  tn.17 { sql3 { S
0f80: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20  ELECT * FROM t1 
0f90: 7d 20 7d 20 7b 31 20 6f 6e 65 20 32 20 74 77 6f  } } {1 one 2 two
0fa0: 20 33 20 74 68 72 65 65 7d 0a 0a 20 20 23 20 54   3 three}..  # T
0fb0: 68 69 73 20 74 69 6d 65 2c 20 68 61 76 65 20 5b  his time, have [
0fc0: 64 62 5d 20 6f 70 65 6e 20 61 20 74 72 61 6e 73  db] open a trans
0fd0: 61 63 74 69 6f 6e 20 62 65 66 6f 72 65 20 77 72  action before wr
0fe0: 69 74 69 6e 67 20 74 68 65 20 64 61 74 61 62 61  iting the databa
0ff0: 73 65 2e 0a 20 20 23 20 54 68 69 73 20 77 6f 72  se..  # This wor
1000: 6b 73 20 2d 20 5b 64 62 5d 20 67 65 74 73 20 61  ks - [db] gets a
1010: 20 52 45 53 45 52 56 45 44 20 6c 6f 63 6b 20 77   RESERVED lock w
1020: 68 69 63 68 20 64 6f 65 73 20 6e 6f 74 20 63 6f  hich does not co
1030: 6e 66 6c 69 63 74 20 77 69 74 68 0a 20 20 23 20  nflict with.  # 
1040: 74 68 65 20 53 48 41 52 45 44 20 6c 6f 63 6b 20  the SHARED lock 
1050: 5b 64 62 32 5d 20 69 73 20 68 6f 6c 64 69 6e 67  [db2] is holding
1060: 2e 0a 20 20 23 0a 20 20 64 6f 5f 74 65 73 74 20  ..  #.  do_test 
1070: 70 61 67 65 72 31 2d 24 74 6e 2e 31 38 20 7b 20  pager1-$tn.18 { 
1080: 0a 20 20 20 20 73 71 6c 31 20 7b 20 0a 20 20 20  .    sql1 { .   
1090: 20 20 20 42 45 47 49 4e 3b 20 20 0a 20 20 20 20     BEGIN;  .    
10a0: 20 20 55 50 44 41 54 45 20 74 31 20 53 45 54 20    UPDATE t1 SET 
10b0: 61 20 3d 20 61 20 2b 20 31 30 3b 20 0a 20 20 20  a = a + 10; .   
10c0: 20 7d 0a 20 20 7d 20 7b 7d 0a 20 20 64 6f 5f 74   }.  } {}.  do_t
10d0: 65 73 74 20 70 61 67 65 72 31 2d 24 74 6e 2d 31  est pager1-$tn-1
10e0: 39 20 7b 20 0a 20 20 20 20 73 71 6c 31 20 7b 20  9 { .    sql1 { 
10f0: 50 52 41 47 4d 41 20 6c 6f 63 6b 5f 73 74 61 74  PRAGMA lock_stat
1100: 75 73 20 7d 20 0a 20 20 7d 20 7b 6d 61 69 6e 20  us } .  } {main 
1110: 72 65 73 65 72 76 65 64 20 74 65 6d 70 20 63 6c  reserved temp cl
1120: 6f 73 65 64 7d 0a 20 20 64 6f 5f 74 65 73 74 20  osed}.  do_test 
1130: 70 61 67 65 72 31 2d 24 74 6e 2d 32 30 20 7b 20  pager1-$tn-20 { 
1140: 0a 20 20 20 20 73 71 6c 32 20 7b 20 50 52 41 47  .    sql2 { PRAG
1150: 4d 41 20 6c 6f 63 6b 5f 73 74 61 74 75 73 20 7d  MA lock_status }
1160: 20 0a 20 20 7d 20 7b 6d 61 69 6e 20 73 68 61 72   .  } {main shar
1170: 65 64 20 74 65 6d 70 20 63 6c 6f 73 65 64 7d 0a  ed temp closed}.
1180: 0a 20 20 23 20 43 68 65 63 6b 20 74 68 61 74 20  .  # Check that 
1190: 61 6c 6c 20 63 6f 6e 6e 65 63 74 69 6f 6e 73 20  all connections 
11a0: 63 61 6e 20 73 74 69 6c 6c 20 72 65 61 64 20 74  can still read t
11b0: 68 65 20 64 61 74 61 62 61 73 65 2e 20 4f 6e 6c  he database. Onl
11c0: 79 20 5b 64 62 5d 20 73 65 65 73 0a 20 20 23 20  y [db] sees.  # 
11d0: 74 68 65 20 75 70 64 61 74 65 64 20 63 6f 6e 74  the updated cont
11e0: 65 6e 74 20 28 61 73 20 74 68 65 20 74 72 61 6e  ent (as the tran
11f0: 73 61 63 74 69 6f 6e 20 68 61 73 20 6e 6f 74 20  saction has not 
1200: 62 65 65 6e 20 63 6f 6d 6d 69 74 74 65 64 20 79  been committed y
1210: 65 74 29 2e 0a 20 20 23 0a 20 20 64 6f 5f 74 65  et)..  #.  do_te
1220: 73 74 20 70 61 67 65 72 31 2d 24 74 6e 2e 32 31  st pager1-$tn.21
1230: 20 7b 20 73 71 6c 31 20 7b 20 53 45 4c 45 43 54   { sql1 { SELECT
1240: 20 2a 20 46 52 4f 4d 20 74 31 20 7d 20 7d 20 7b   * FROM t1 } } {
1250: 31 31 20 6f 6e 65 20 31 32 20 74 77 6f 20 31 33  11 one 12 two 13
1260: 20 74 68 72 65 65 7d 0a 20 20 64 6f 5f 74 65 73   three}.  do_tes
1270: 74 20 70 61 67 65 72 31 2d 24 74 6e 2e 32 32 20  t pager1-$tn.22 
1280: 7b 20 73 71 6c 32 20 7b 20 53 45 4c 45 43 54 20  { sql2 { SELECT 
1290: 2a 20 46 52 4f 4d 20 74 31 20 7d 20 7d 20 7b 31  * FROM t1 } } {1
12a0: 20 6f 6e 65 20 32 20 74 77 6f 20 33 20 74 68 72   one 2 two 3 thr
12b0: 65 65 7d 0a 20 20 64 6f 5f 74 65 73 74 20 70 61  ee}.  do_test pa
12c0: 67 65 72 31 2d 24 74 6e 2e 32 33 20 7b 20 73 71  ger1-$tn.23 { sq
12d0: 6c 33 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52  l3 { SELECT * FR
12e0: 4f 4d 20 74 31 20 7d 20 7d 20 7b 31 20 6f 6e 65  OM t1 } } {1 one
12f0: 20 32 20 74 77 6f 20 33 20 74 68 72 65 65 7d 0a   2 two 3 three}.
1300: 0a 20 20 23 20 42 65 63 61 75 73 65 20 5b 64 62  .  # Because [db
1310: 32 5d 20 73 74 69 6c 6c 20 68 61 73 20 74 68 65  2] still has the
1320: 20 53 48 41 52 45 44 20 6c 6f 63 6b 2c 20 5b 64   SHARED lock, [d
1330: 62 5d 20 69 73 20 75 6e 61 62 6c 65 20 74 6f 20  b] is unable to 
1340: 63 6f 6d 6d 69 74 20 74 68 65 0a 20 20 23 20 74  commit the.  # t
1350: 72 61 6e 73 61 63 74 69 6f 6e 2e 20 49 66 20 69  ransaction. If i
1360: 74 20 74 72 69 65 73 2c 20 61 6e 20 65 72 72 6f  t tries, an erro
1370: 72 20 69 73 20 72 65 74 75 72 6e 65 64 20 61 6e  r is returned an
1380: 64 20 74 68 65 20 63 6f 6e 6e 65 63 74 69 6f 6e  d the connection
1390: 20 0a 20 20 23 20 75 70 67 72 61 64 65 73 20 74   .  # upgrades t
13a0: 6f 20 61 20 50 45 4e 44 49 4e 47 20 6c 6f 63 6b  o a PENDING lock
13b0: 2e 0a 20 20 23 0a 20 20 23 20 4f 6e 63 65 20 74  ..  #.  # Once t
13c0: 68 69 73 20 68 61 70 70 65 6e 73 2c 20 5b 64 62  his happens, [db
13d0: 5d 20 63 61 6e 20 72 65 61 64 20 74 68 65 20 64  ] can read the d
13e0: 61 74 61 62 61 73 65 20 61 6e 64 20 73 65 65 20  atabase and see 
13f0: 74 68 65 20 6e 65 77 20 63 6f 6e 74 65 6e 74 2c  the new content,
1400: 0a 20 20 23 20 5b 64 62 32 5d 20 28 73 74 69 6c  .  # [db2] (stil
1410: 6c 20 68 6f 6c 64 69 6e 67 20 53 48 41 52 45 44  l holding SHARED
1420: 29 20 63 61 6e 20 73 74 69 6c 6c 20 72 65 61 64  ) can still read
1430: 20 74 68 65 20 6f 6c 64 20 63 6f 6e 74 65 6e 74   the old content
1440: 2c 20 62 75 74 20 5b 64 62 33 5d 0a 20 20 23 20  , but [db3].  # 
1450: 28 6e 6f 74 20 68 6f 6c 64 69 6e 67 20 61 6e 79  (not holding any
1460: 20 6c 6f 63 6b 29 20 69 73 20 70 72 65 76 65 6e   lock) is preven
1470: 74 65 64 20 62 79 20 5b 64 62 5d 27 73 20 50 45  ted by [db]'s PE
1480: 4e 44 49 4e 47 20 66 72 6f 6d 20 72 65 61 64 69  NDING from readi
1490: 6e 67 0a 20 20 23 20 74 68 65 20 64 61 74 61 62  ng.  # the datab
14a0: 61 73 65 2e 0a 20 20 23 0a 20 20 64 6f 5f 74 65  ase..  #.  do_te
14b0: 73 74 20 70 61 67 65 72 31 2d 24 74 6e 2e 32 34  st pager1-$tn.24
14c0: 20 7b 20 63 73 71 6c 31 20 7b 20 43 4f 4d 4d 49   { csql1 { COMMI
14d0: 54 20 7d 20 7d 20 7b 31 20 7b 64 61 74 61 62 61  T } } {1 {databa
14e0: 73 65 20 69 73 20 6c 6f 63 6b 65 64 7d 7d 0a 20  se is locked}}. 
14f0: 20 64 6f 5f 74 65 73 74 20 70 61 67 65 72 31 2d   do_test pager1-
1500: 24 74 6e 2d 32 35 20 7b 20 0a 20 20 20 20 73 71  $tn-25 { .    sq
1510: 6c 31 20 7b 20 50 52 41 47 4d 41 20 6c 6f 63 6b  l1 { PRAGMA lock
1520: 5f 73 74 61 74 75 73 20 7d 20 0a 20 20 7d 20 7b  _status } .  } {
1530: 6d 61 69 6e 20 70 65 6e 64 69 6e 67 20 74 65 6d  main pending tem
1540: 70 20 63 6c 6f 73 65 64 7d 0a 20 20 64 6f 5f 74  p closed}.  do_t
1550: 65 73 74 20 70 61 67 65 72 31 2d 24 74 6e 2e 32  est pager1-$tn.2
1560: 36 20 7b 20 73 71 6c 31 20 7b 20 53 45 4c 45 43  6 { sql1 { SELEC
1570: 54 20 2a 20 46 52 4f 4d 20 74 31 20 20 7d 20 7d  T * FROM t1  } }
1580: 20 7b 31 31 20 6f 6e 65 20 31 32 20 74 77 6f 20   {11 one 12 two 
1590: 31 33 20 74 68 72 65 65 7d 0a 20 20 64 6f 5f 74  13 three}.  do_t
15a0: 65 73 74 20 70 61 67 65 72 31 2d 24 74 6e 2e 32  est pager1-$tn.2
15b0: 37 20 7b 20 73 71 6c 32 20 7b 20 53 45 4c 45 43  7 { sql2 { SELEC
15c0: 54 20 2a 20 46 52 4f 4d 20 74 31 20 20 7d 20 7d  T * FROM t1  } }
15d0: 20 7b 31 20 6f 6e 65 20 32 20 74 77 6f 20 33 20   {1 one 2 two 3 
15e0: 74 68 72 65 65 7d 0a 20 20 64 6f 5f 74 65 73 74  three}.  do_test
15f0: 20 70 61 67 65 72 31 2d 24 74 6e 2e 32 38 20 7b   pager1-$tn.28 {
1600: 20 63 73 71 6c 33 20 7b 20 53 45 4c 45 43 54 20   csql3 { SELECT 
1610: 2a 20 46 52 4f 4d 20 74 31 20 7d 20 7d 20 7b 31  * FROM t1 } } {1
1620: 20 7b 64 61 74 61 62 61 73 65 20 69 73 20 6c 6f   {database is lo
1630: 63 6b 65 64 7d 7d 0a 0a 20 20 23 20 48 61 76 65  cked}}..  # Have
1640: 20 5b 64 62 32 5d 20 63 6f 6d 6d 69 74 20 69 74   [db2] commit it
1650: 73 20 72 65 61 64 20 74 72 61 6e 73 61 63 74 69  s read transacti
1660: 6f 6e 2c 20 72 65 6c 65 61 73 69 6e 67 20 74 68  on, releasing th
1670: 65 20 53 48 41 52 45 44 20 6c 6f 63 6b 20 69 74  e SHARED lock it
1680: 0a 20 20 23 20 69 73 20 68 6f 6c 64 69 6e 67 2e  .  # is holding.
1690: 20 4e 6f 77 2c 20 6e 65 69 74 68 65 72 20 5b 64   Now, neither [d
16a0: 62 32 5d 20 6e 6f 72 20 5b 64 62 33 5d 20 6d 61  b2] nor [db3] ma
16b0: 79 20 72 65 61 64 20 74 68 65 20 64 61 74 61 62  y read the datab
16c0: 61 73 65 20 28 61 73 20 5b 64 62 5d 0a 20 20 23  ase (as [db].  #
16d0: 20 69 73 20 73 74 69 6c 6c 20 68 6f 6c 64 69 6e   is still holdin
16e0: 67 20 61 20 50 45 4e 44 49 4e 47 29 2e 0a 20 20  g a PENDING)..  
16f0: 23 0a 20 20 64 6f 5f 74 65 73 74 20 70 61 67 65  #.  do_test page
1700: 72 31 2d 24 74 6e 2e 32 39 20 7b 20 73 71 6c 32  r1-$tn.29 { sql2
1710: 20 7b 20 43 4f 4d 4d 49 54 20 7d 20 7d 20 7b 7d   { COMMIT } } {}
1720: 0a 20 20 64 6f 5f 74 65 73 74 20 70 61 67 65 72  .  do_test pager
1730: 31 2d 24 74 6e 2e 33 30 20 7b 20 63 73 71 6c 32  1-$tn.30 { csql2
1740: 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d   { SELECT * FROM
1750: 20 74 31 20 7d 20 7d 20 7b 31 20 7b 64 61 74 61   t1 } } {1 {data
1760: 62 61 73 65 20 69 73 20 6c 6f 63 6b 65 64 7d 7d  base is locked}}
1770: 0a 20 20 64 6f 5f 74 65 73 74 20 70 61 67 65 72  .  do_test pager
1780: 31 2d 24 74 6e 2e 33 31 20 7b 20 63 73 71 6c 33  1-$tn.31 { csql3
1790: 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d   { SELECT * FROM
17a0: 20 74 31 20 7d 20 7d 20 7b 31 20 7b 64 61 74 61   t1 } } {1 {data
17b0: 62 61 73 65 20 69 73 20 6c 6f 63 6b 65 64 7d 7d  base is locked}}
17c0: 0a 0a 20 20 23 20 5b 64 62 5d 20 69 73 20 6e 6f  ..  # [db] is no
17d0: 77 20 61 62 6c 65 20 74 6f 20 63 6f 6d 6d 69 74  w able to commit
17e0: 20 74 68 65 20 74 72 61 6e 73 61 63 74 69 6f 6e   the transaction
17f0: 2e 20 4f 6e 63 65 20 74 68 65 20 74 72 61 6e 73  . Once the trans
1800: 61 63 74 69 6f 6e 20 69 73 20 0a 20 20 23 20 63  action is .  # c
1810: 6f 6d 6d 69 74 74 65 64 2c 20 61 6c 6c 20 74 68  ommitted, all th
1820: 72 65 65 20 63 6f 6e 6e 65 63 74 69 6f 6e 73 20  ree connections 
1830: 63 61 6e 20 72 65 61 64 20 74 68 65 20 6e 65 77  can read the new
1840: 20 63 6f 6e 74 65 6e 74 2e 0a 20 20 23 0a 20 20   content..  #.  
1850: 64 6f 5f 74 65 73 74 20 70 61 67 65 72 31 2d 24  do_test pager1-$
1860: 74 6e 2e 32 35 20 7b 20 73 71 6c 31 20 7b 20 55  tn.25 { sql1 { U
1870: 50 44 41 54 45 20 74 31 20 53 45 54 20 61 20 3d  PDATE t1 SET a =
1880: 20 61 2b 31 30 20 7d 20 7d 20 7b 7d 0a 20 20 64   a+10 } } {}.  d
1890: 6f 5f 74 65 73 74 20 70 61 67 65 72 31 2d 24 74  o_test pager1-$t
18a0: 6e 2e 32 36 20 7b 20 73 71 6c 31 20 7b 20 43 4f  n.26 { sql1 { CO
18b0: 4d 4d 49 54 20 7d 20 7d 20 7b 7d 0a 20 20 64 6f  MMIT } } {}.  do
18c0: 5f 74 65 73 74 20 70 61 67 65 72 31 2d 24 74 6e  _test pager1-$tn
18d0: 2e 32 37 20 7b 20 73 71 6c 31 20 7b 20 53 45 4c  .27 { sql1 { SEL
18e0: 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 7d 20  ECT * FROM t1 } 
18f0: 7d 20 7b 32 31 20 6f 6e 65 20 32 32 20 74 77 6f  } {21 one 22 two
1900: 20 32 33 20 74 68 72 65 65 7d 0a 20 20 64 6f 5f   23 three}.  do_
1910: 74 65 73 74 20 70 61 67 65 72 31 2d 24 74 6e 2e  test pager1-$tn.
1920: 32 37 20 7b 20 73 71 6c 32 20 7b 20 53 45 4c 45  27 { sql2 { SELE
1930: 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 7d 20 7d  CT * FROM t1 } }
1940: 20 7b 32 31 20 6f 6e 65 20 32 32 20 74 77 6f 20   {21 one 22 two 
1950: 32 33 20 74 68 72 65 65 7d 0a 20 20 64 6f 5f 74  23 three}.  do_t
1960: 65 73 74 20 70 61 67 65 72 31 2d 24 74 6e 2e 32  est pager1-$tn.2
1970: 38 20 7b 20 73 71 6c 33 20 7b 20 53 45 4c 45 43  8 { sql3 { SELEC
1980: 54 20 2a 20 46 52 4f 4d 20 74 31 20 7d 20 7d 20  T * FROM t1 } } 
1990: 7b 32 31 20 6f 6e 65 20 32 32 20 74 77 6f 20 32  {21 one 22 two 2
19a0: 33 20 74 68 72 65 65 7d 0a 7d 0a 0a 23 2d 2d 2d  3 three}.}..#---
19b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
19c0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
19d0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
19e0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
19f0: 2d 2d 2d 2d 2d 2d 0a 23 20 53 61 76 65 70 6f 69  ------.# Savepoi
1a00: 6e 74 20 72 65 6c 61 74 65 64 20 74 65 73 74 20  nt related test 
1a10: 63 61 73 65 73 2e 0a 23 20 0a 64 6f 5f 74 65 73  cases..# .do_tes
1a20: 74 20 70 61 67 65 72 31 2d 33 2e 31 20 7b 0a 20  t pager1-3.1 {. 
1a30: 20 66 61 75 6c 74 73 69 6d 5f 64 65 6c 65 74 65   faultsim_delete
1a40: 5f 61 6e 64 5f 72 65 6f 70 65 6e 0a 20 20 65 78  _and_reopen.  ex
1a50: 65 63 73 71 6c 20 7b 0a 20 20 20 20 43 52 45 41  ecsql {.    CREA
1a60: 54 45 20 54 41 42 4c 45 20 74 31 28 61 20 50 52  TE TABLE t1(a PR
1a70: 49 4d 41 52 59 20 4b 45 59 2c 20 62 29 3b 0a 20  IMARY KEY, b);. 
1a80: 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20     CREATE TABLE 
1a90: 63 6f 75 6e 74 65 72 28 0a 20 20 20 20 20 20 69  counter(.      i
1aa0: 20 43 48 45 43 4b 20 28 69 3c 35 29 2c 20 0a 20   CHECK (i<5), . 
1ab0: 20 20 20 20 20 75 20 43 48 45 43 4b 20 28 75 3c       u CHECK (u<
1ac0: 31 30 29 0a 20 20 20 20 29 3b 0a 20 20 20 20 49  10).    );.    I
1ad0: 4e 53 45 52 54 20 49 4e 54 4f 20 63 6f 75 6e 74  NSERT INTO count
1ae0: 65 72 20 56 41 4c 55 45 53 28 30 2c 20 30 29 3b  er VALUES(0, 0);
1af0: 0a 20 20 20 20 43 52 45 41 54 45 20 54 52 49 47  .    CREATE TRIG
1b00: 47 45 52 20 74 72 31 20 41 46 54 45 52 20 49 4e  GER tr1 AFTER IN
1b10: 53 45 52 54 20 4f 4e 20 74 31 20 42 45 47 49 4e  SERT ON t1 BEGIN
1b20: 0a 20 20 20 20 20 20 55 50 44 41 54 45 20 63 6f  .      UPDATE co
1b30: 75 6e 74 65 72 20 53 45 54 20 69 20 3d 20 69 2b  unter SET i = i+
1b40: 31 3b 0a 20 20 20 20 45 4e 44 3b 0a 20 20 20 20  1;.    END;.    
1b50: 43 52 45 41 54 45 20 54 52 49 47 47 45 52 20 74  CREATE TRIGGER t
1b60: 72 32 20 41 46 54 45 52 20 55 50 44 41 54 45 20  r2 AFTER UPDATE 
1b70: 4f 4e 20 74 31 20 42 45 47 49 4e 0a 20 20 20 20  ON t1 BEGIN.    
1b80: 20 20 55 50 44 41 54 45 20 63 6f 75 6e 74 65 72    UPDATE counter
1b90: 20 53 45 54 20 75 20 3d 20 75 2b 31 3b 0a 20 20   SET u = u+1;.  
1ba0: 20 20 45 4e 44 3b 0a 20 20 7d 0a 20 20 65 78 65    END;.  }.  exe
1bb0: 63 73 71 6c 20 7b 20 53 45 4c 45 43 54 20 2a 20  csql { SELECT * 
1bc0: 46 52 4f 4d 20 63 6f 75 6e 74 65 72 20 7d 0a 7d  FROM counter }.}
1bd0: 20 7b 30 20 30 7d 0a 0a 64 6f 5f 65 78 65 63 73   {0 0}..do_execs
1be0: 71 6c 5f 74 65 73 74 20 70 61 67 65 72 31 2d 33  ql_test pager1-3
1bf0: 2e 32 20 7b 0a 20 20 42 45 47 49 4e 3b 0a 20 20  .2 {.  BEGIN;.  
1c00: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31    INSERT INTO t1
1c10: 20 56 41 4c 55 45 53 28 31 2c 20 72 61 6e 64 6f   VALUES(1, rando
1c20: 6d 62 6c 6f 62 28 31 35 30 30 29 29 3b 0a 20 20  mblob(1500));.  
1c30: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31    INSERT INTO t1
1c40: 20 56 41 4c 55 45 53 28 32 2c 20 72 61 6e 64 6f   VALUES(2, rando
1c50: 6d 62 6c 6f 62 28 31 35 30 30 29 29 3b 0a 20 20  mblob(1500));.  
1c60: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31    INSERT INTO t1
1c70: 20 56 41 4c 55 45 53 28 33 2c 20 72 61 6e 64 6f   VALUES(3, rando
1c80: 6d 62 6c 6f 62 28 31 35 30 30 29 29 3b 0a 20 20  mblob(1500));.  
1c90: 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20    SELECT * FROM 
1ca0: 63 6f 75 6e 74 65 72 3b 0a 7d 20 7b 33 20 30 7d  counter;.} {3 0}
1cb0: 0a 64 6f 5f 63 61 74 63 68 73 71 6c 5f 74 65 73  .do_catchsql_tes
1cc0: 74 20 70 61 67 65 72 31 2d 33 2e 33 20 7b 0a 20  t pager1-3.3 {. 
1cd0: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
1ce0: 31 20 53 45 4c 45 43 54 20 61 2b 33 2c 20 72 61  1 SELECT a+3, ra
1cf0: 6e 64 6f 6d 62 6c 6f 62 28 31 35 30 30 29 20 46  ndomblob(1500) F
1d00: 52 4f 4d 20 74 31 0a 7d 20 7b 31 20 7b 63 6f 6e  ROM t1.} {1 {con
1d10: 73 74 72 61 69 6e 74 20 66 61 69 6c 65 64 7d 7d  straint failed}}
1d20: 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74  .do_execsql_test
1d30: 20 70 61 67 65 72 31 2d 33 2e 34 20 7b 20 53 45   pager1-3.4 { SE
1d40: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 63 6f 75 6e  LECT * FROM coun
1d50: 74 65 72 20 7d 20 7b 33 20 30 7d 0a 64 6f 5f 65  ter } {3 0}.do_e
1d60: 78 65 63 73 71 6c 5f 74 65 73 74 20 70 61 67 65  xecsql_test page
1d70: 72 31 2d 33 2e 35 20 7b 20 53 45 4c 45 43 54 20  r1-3.5 { SELECT 
1d80: 61 20 46 52 4f 4d 20 74 31 20 7d 20 7b 31 20 32  a FROM t1 } {1 2
1d90: 20 33 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74   3}.do_execsql_t
1da0: 65 73 74 20 70 61 67 65 72 31 2d 33 2e 36 20 7b  est pager1-3.6 {
1db0: 20 43 4f 4d 4d 49 54 20 7d 20 7b 7d 0a 0a 74 65   COMMIT } {}..te
1dc0: 73 74 76 66 73 20 74 76 20 2d 64 65 66 61 75 6c  stvfs tv -defaul
1dd0: 74 20 31 0a 66 6f 72 65 61 63 68 20 63 6f 64 65  t 1.foreach code
1de0: 20 5b 6c 69 73 74 20 7b 0a 20 20 73 65 74 20 73   [list {.  set s
1df0: 20 35 31 32 0a 20 20 73 65 74 20 73 71 6c 20 7b   512.  set sql {
1e00: 20 50 52 41 47 4d 41 20 73 79 6e 63 68 72 6f 6e   PRAGMA synchron
1e10: 6f 75 73 20 3d 20 6f 66 66 20 7d 0a 7d 20 7b 0a  ous = off }.} {.
1e20: 20 20 73 65 74 20 73 20 31 30 32 34 0a 20 20 73    set s 1024.  s
1e30: 65 74 20 73 71 6c 20 7b 20 50 52 41 47 4d 41 20  et sql { PRAGMA 
1e40: 6a 6f 75 72 6e 61 6c 5f 6d 6f 64 65 20 3d 20 6d  journal_mode = m
1e50: 65 6d 6f 72 79 20 7d 0a 7d 20 7b 0a 20 20 73 65  emory }.} {.  se
1e60: 74 20 73 20 32 30 34 38 0a 20 20 74 76 20 64 65  t s 2048.  tv de
1e70: 76 63 68 61 72 20 73 61 66 65 5f 61 70 70 65 6e  vchar safe_appen
1e80: 64 0a 7d 20 7b 0a 20 20 73 65 74 20 73 20 34 30  d.} {.  set s 40
1e90: 39 36 0a 20 20 73 65 74 20 73 71 6c 20 7b 20 50  96.  set sql { P
1ea0: 52 41 47 4d 41 20 6a 6f 75 72 6e 61 6c 5f 6d 6f  RAGMA journal_mo
1eb0: 64 65 20 3d 20 57 41 4c 20 7d 0a 7d 5d 20 7b 0a  de = WAL }.}] {.
1ec0: 20 20 65 76 61 6c 20 24 63 6f 64 65 0a 20 20 74    eval $code.  t
1ed0: 76 20 73 65 63 74 6f 72 73 69 7a 65 20 24 73 0a  v sectorsize $s.
1ee0: 20 20 0a 20 20 64 6f 5f 74 65 73 74 20 70 61 67    .  do_test pag
1ef0: 65 72 31 2d 33 2e 37 2e 24 73 2e 31 20 7b 0a 20  er1-3.7.$s.1 {. 
1f00: 20 20 20 66 61 75 6c 74 73 69 6d 5f 64 65 6c 65     faultsim_dele
1f10: 74 65 5f 61 6e 64 5f 72 65 6f 70 65 6e 0a 20 20  te_and_reopen.  
1f20: 20 20 65 78 65 63 73 71 6c 20 24 73 71 6c 0a 20    execsql $sql. 
1f30: 20 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20     execsql {.   
1f40: 20 20 20 50 52 41 47 4d 41 20 63 61 63 68 65 5f     PRAGMA cache_
1f50: 73 69 7a 65 20 3d 20 31 30 3b 0a 20 20 20 20 20  size = 10;.     
1f60: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 31   CREATE TABLE t1
1f70: 28 69 20 49 4e 54 45 47 45 52 20 50 52 49 4d 41  (i INTEGER PRIMA
1f80: 52 59 20 4b 45 59 2c 20 6a 20 62 6c 6f 62 29 3b  RY KEY, j blob);
1f90: 0a 20 20 20 20 7d 0a 20 20 7d 20 7b 7d 0a 0a 20  .    }.  } {}.. 
1fa0: 20 73 65 74 20 74 6e 20 30 0a 20 20 73 65 74 20   set tn 0.  set 
1fb0: 6c 6f 77 70 6f 69 6e 74 20 30 0a 20 20 66 6f 72  lowpoint 0.  for
1fc0: 65 61 63 68 20 78 20 7b 0a 20 20 20 20 37 30 20  each x {.    70 
1fd0: 32 32 20 39 36 20 35 39 20 39 36 20 35 30 20 32  22 96 59 96 50 2
1fe0: 32 20 35 36 20 32 31 20 31 36 20 33 37 20 36 34  2 56 21 16 37 64
1ff0: 20 34 33 20 34 30 20 20 30 20 33 38 20 32 32 20   43 40  0 38 22 
2000: 33 38 20 35 35 20 20 30 20 20 36 20 20 20 0a 20  38 55  0  6   . 
2010: 20 20 20 34 33 20 36 32 20 33 32 20 39 33 20 35     43 62 32 93 5
2020: 34 20 31 38 20 31 33 20 32 39 20 34 35 20 36 36  4 18 13 29 45 66
2030: 20 32 39 20 32 35 20 36 31 20 33 31 20 35 33 20   29 25 61 31 53 
2040: 38 32 20 37 35 20 32 35 20 39 36 20 38 36 20 31  82 75 25 96 86 1
2050: 30 20 36 39 20 20 20 0a 20 20 20 20 20 32 20 32  0 69   .     2 2
2060: 39 20 20 36 20 36 30 20 38 30 20 39 35 20 34 32  9  6 60 80 95 42
2070: 20 38 32 20 38 35 20 35 30 20 36 38 20 39 36 20   82 85 50 68 96 
2080: 39 30 20 33 39 20 37 38 20 36 39 20 38 37 20 39  90 39 78 69 87 9
2090: 37 20 34 38 20 37 34 20 36 35 20 34 33 20 20 20  7 48 74 65 43   
20a0: 0a 20 20 78 0a 20 20 20 20 38 36 20 33 34 20 32  .  x.    86 34 2
20b0: 36 20 35 30 20 34 31 20 38 35 20 35 38 20 34 34  6 50 41 85 58 44
20c0: 20 38 39 20 32 32 20 20 36 20 35 31 20 34 35 20   89 22  6 51 45 
20d0: 34 36 20 35 38 20 33 32 20 39 37 20 20 36 20 20  46 58 32 97  6  
20e0: 31 20 31 32 20 33 32 20 20 32 20 20 20 0a 20 20  1 12 32  2   .  
20f0: 20 20 36 39 20 33 39 20 34 38 20 37 31 20 33 33    69 39 48 71 33
2100: 20 33 31 20 20 35 20 35 38 20 39 30 20 34 33 20   31  5 58 90 43 
2110: 32 34 20 35 34 20 31 32 20 20 39 20 31 38 20 35  24 54 12  9 18 5
2120: 37 20 20 34 20 33 38 20 39 31 20 34 32 20 32 37  7  4 38 91 42 27
2130: 20 34 35 20 20 20 0a 20 20 20 20 35 30 20 33 38   45   .    50 38
2140: 20 35 36 20 32 39 20 31 30 20 20 30 20 32 36 20   56 29 10  0 26 
2150: 33 37 20 38 33 20 20 31 20 37 38 20 31 35 20 34  37 83  1 78 15 4
2160: 37 20 33 30 20 37 35 20 36 32 20 34 36 20 32 39  7 30 75 62 46 29
2170: 20 36 38 20 20 35 20 33 30 20 20 34 20 20 20 0a   68  5 30  4   .
2180: 20 20 20 20 32 37 20 39 36 20 33 33 20 39 35 20      27 96 33 95 
2190: 37 39 20 37 35 20 35 36 20 31 30 20 32 39 20 37  79 75 56 10 29 7
21a0: 30 20 33 32 20 37 35 20 35 32 20 38 38 20 20 35  0 32 75 52 88  5
21b0: 20 33 36 20 35 30 20 35 37 20 34 36 20 36 33 20   36 50 57 46 63 
21c0: 38 38 20 36 35 20 20 20 0a 20 20 78 0a 20 20 20  88 65   .  x.   
21d0: 20 34 34 20 39 35 20 36 34 20 32 30 20 32 34 20   44 95 64 20 24 
21e0: 33 35 20 36 39 20 36 31 20 36 31 20 20 32 20 33  35 69 61 61  2 3
21f0: 35 20 39 32 20 34 32 20 34 36 20 32 33 20 39 38  5 92 42 46 23 98
2200: 20 37 38 20 20 31 20 33 38 20 37 32 20 37 39 20   78  1 38 72 79 
2210: 33 35 20 20 20 0a 20 20 20 20 39 34 20 33 37 20  35   .    94 37 
2220: 31 33 20 35 39 20 20 35 20 39 33 20 32 37 20 35  13 59  5 93 27 5
2230: 38 20 38 30 20 37 35 20 35 38 20 20 37 20 36 37  8 80 75 58  7 67
2240: 20 31 33 20 31 30 20 37 36 20 38 34 20 20 34 20   13 10 76 84  4 
2250: 20 38 20 37 30 20 38 31 20 34 35 20 20 20 0a 20   8 70 81 45   . 
2260: 20 20 20 20 38 20 34 31 20 39 38 20 20 35 20 36      8 41 98  5 6
2270: 30 20 32 36 20 39 32 20 32 39 20 39 31 20 39 30  0 26 92 29 91 90
2280: 20 20 32 20 36 32 20 34 30 20 20 34 20 20 35 20    2 62 40  4  5 
2290: 32 32 20 38 30 20 31 35 20 38 33 20 37 36 20 35  22 80 15 83 76 5
22a0: 32 20 38 38 20 20 20 0a 20 20 20 20 32 39 20 20  2 88   .    29  
22b0: 35 20 36 38 20 37 33 20 37 32 20 20 37 20 35 34  5 68 73 72  7 54
22c0: 20 31 37 20 38 39 20 33 32 20 38 31 20 39 34 20   17 89 32 81 94 
22d0: 35 31 20 32 38 20 35 33 20 37 31 20 20 38 20 34  51 28 53 71  8 4
22e0: 32 20 35 34 20 35 39 20 37 30 20 37 39 20 20 20  2 54 59 70 79   
22f0: 0a 20 20 78 0a 20 20 20 20 33 35 20 35 39 20 33  .  x.    35 59 3
2300: 37 20 32 32 20 20 38 20 37 32 20 31 30 20 34 38  7 22  8 72 10 48
2310: 20 37 39 20 20 36 20 38 37 20 39 36 20 35 39 20   79  6 87 96 59 
2320: 39 35 20 34 35 20 35 36 20 20 36 20 20 34 20 38  95 45 56  6  4 8
2330: 36 20 36 38 20 32 35 20 32 38 20 20 20 0a 20 20  6 68 25 28   .  
2340: 20 20 34 33 20 37 35 20 34 37 20 20 39 20 35 33    43 75 47  9 53
2350: 20 31 38 20 36 39 20 35 31 20 31 31 20 39 34 20   18 69 51 11 94 
2360: 38 36 20 36 35 20 32 33 20 38 37 20 34 39 20 31  86 65 23 87 49 1
2370: 39 20 32 30 20 32 30 20 33 33 20 31 34 20 31 31  9 20 20 33 14 11
2380: 20 38 36 20 20 20 0a 20 20 20 20 34 32 20 32 33   86   .    42 23
2390: 20 20 38 20 34 30 20 39 34 20 35 35 20 20 34 20    8 40 94 55  4 
23a0: 33 38 20 35 32 20 33 30 20 20 36 20 32 35 20 34  38 52 30  6 25 4
23b0: 34 20 37 39 20 35 37 20 38 32 20 33 30 20 38 37  4 79 57 82 30 87
23c0: 20 38 36 20 37 35 20 34 30 20 39 32 20 20 20 0a   86 75 40 92   .
23d0: 20 20 20 20 32 39 20 32 36 20 38 32 20 39 31 20      29 26 82 91 
23e0: 36 37 20 36 34 20 31 35 20 35 31 20 31 37 20 31  67 64 15 51 17 1
23f0: 31 20 31 35 20 32 37 20 33 32 20 20 37 20 33 38  1 15 27 32  7 38
2400: 20 20 31 20 35 32 20 38 32 20 32 36 20 39 39 20    1 52 82 26 99 
2410: 31 37 20 31 38 20 20 20 0a 20 20 20 20 33 38 20  17 18   .    38 
2420: 31 33 20 32 30 20 36 35 20 39 31 20 39 38 20 35  13 20 65 91 98 5
2430: 30 20 38 31 20 34 39 20 31 35 20 39 34 20 34 35  0 81 49 15 94 45
2440: 20 38 34 20 33 35 20 33 31 20 36 37 20 31 33 20   84 35 31 67 13 
2450: 34 33 20 37 38 20 20 33 20 39 34 20 37 37 20 20  43 78  3 94 77  
2460: 20 0a 20 20 20 20 34 37 20 31 38 20 39 36 20 36   .    47 18 96 6
2470: 36 20 39 39 20 37 37 20 31 31 20 31 31 20 37 30  6 99 77 11 11 70
2480: 20 31 38 20 20 31 20 32 39 20 37 39 20 35 37 20   18  1 29 79 57 
2490: 35 39 20 38 36 20 39 34 20 33 34 20 39 31 20 31  59 86 94 34 91 1
24a0: 35 20 32 34 20 35 33 20 20 20 0a 20 20 20 20 36  5 24 53   .    6
24b0: 31 20 37 33 20 35 38 20 34 36 20 33 36 20 37 39  1 73 58 46 36 79
24c0: 20 39 30 20 38 39 20 31 32 20 20 30 20 39 31 20   90 89 12  0 91 
24d0: 20 30 20 38 36 20 34 34 20 37 31 20 38 33 20 37   0 86 44 71 83 7
24e0: 35 20 37 36 20 39 37 20 36 35 20 31 33 20 38 30  5 76 97 65 13 80
24f0: 20 20 20 0a 20 20 20 20 34 32 20 33 39 20 31 35     .    42 39 15
2500: 20 34 34 20 39 30 20 31 38 20 36 37 20 36 39 20   44 90 18 67 69 
2510: 20 31 20 37 32 20 31 37 20 39 39 20 31 32 20 37   1 72 17 99 12 7
2520: 32 20 37 37 20 31 37 20 20 33 20 33 34 20 37 35  2 77 17  3 34 75
2530: 20 35 39 20 39 32 20 37 36 20 20 20 0a 20 20 20   59 92 76   .   
2540: 20 31 38 20 38 36 20 36 30 20 31 32 20 32 30 20   18 86 60 12 20 
2550: 39 38 20 34 38 20 31 34 20 31 32 20 36 37 20 34  98 48 14 12 67 4
2560: 35 20 34 34 20 31 30 20 20 32 20 20 35 20 38 38  5 44 10  2  5 88
2570: 20 20 37 20 34 35 20 20 35 20 34 37 20 34 35 20    7 45  5 47 45 
2580: 37 35 20 20 20 0a 20 20 20 20 31 39 20 32 35 20  75   .    19 25 
2590: 34 32 20 36 32 20 36 36 20 31 37 20 39 34 20 36  42 62 66 17 94 6
25a0: 33 20 20 30 20 35 33 20 33 38 20 38 31 20 32 36  3  0 53 38 81 26
25b0: 20 31 31 20 39 37 20 33 33 20 31 33 20 33 36 20   11 97 33 13 36 
25c0: 38 31 20 38 32 20 37 33 20 32 36 20 20 20 0a 20  81 82 73 26   . 
25d0: 20 20 20 37 38 20 39 30 20 32 38 20 37 38 20 32     78 90 28 78 2
25e0: 36 20 36 31 20 20 39 20 37 34 20 37 30 20 35 33  6 61  9 74 70 53
25f0: 20 31 37 20 38 36 20 35 31 20 39 30 20 20 33 20   17 86 51 90  3 
2600: 33 30 20 39 39 20 20 35 20 32 35 20 34 34 20 20  30 99  5 25 44  
2610: 36 20 37 32 20 20 20 0a 20 20 20 20 38 34 20 33  6 72   .    84 3
2620: 32 20 37 34 20 34 36 20 31 36 20 34 34 20 37 34  2 74 46 16 44 74
2630: 20 38 32 20 38 34 20 20 39 20 35 38 20 39 30 20   82 84  9 58 90 
2640: 38 35 20 38 32 20 35 33 20 34 30 20 33 37 20 0a  85 82 53 40 37 .
2650: 20 20 7d 20 7b 0a 20 20 20 20 69 6e 63 72 20 74    } {.    incr t
2660: 6e 0a 20 20 20 20 73 65 74 20 6e 6f 77 20 5b 64  n.    set now [d
2670: 62 20 6f 6e 65 20 7b 53 45 4c 45 43 54 20 63 6f  b one {SELECT co
2680: 75 6e 74 28 69 29 20 46 52 4f 4d 20 74 31 7d 5d  unt(i) FROM t1}]
2690: 0a 20 20 20 20 69 66 20 7b 24 78 20 3d 3d 20 22  .    if {$x == "
26a0: 78 22 7d 20 7b 0a 20 20 20 20 20 20 65 78 65 63  x"} {.      exec
26b0: 73 71 6c 20 7b 20 43 4f 4d 4d 49 54 20 3b 20 42  sql { COMMIT ; B
26c0: 45 47 49 4e 20 7d 0a 20 20 20 20 20 20 73 65 74  EGIN }.      set
26d0: 20 6c 6f 77 70 6f 69 6e 74 20 24 6e 6f 77 0a 20   lowpoint $now. 
26e0: 20 20 20 20 20 64 6f 5f 74 65 73 74 20 70 61 67       do_test pag
26f0: 65 72 31 2e 33 2e 37 2e 24 73 2e 32 2e 24 74 6e  er1.3.7.$s.2.$tn
2700: 20 7b 20 0a 20 20 20 20 20 20 20 20 73 71 6c 69   { .        sqli
2710: 74 65 33 20 64 62 32 20 74 65 73 74 2e 64 62 0a  te3 db2 test.db.
2720: 20 20 20 20 20 20 20 20 65 78 65 63 73 71 6c 20          execsql 
2730: 7b 0a 20 20 20 20 20 20 20 20 20 20 53 45 4c 45  {.          SELE
2740: 43 54 20 43 4f 41 4c 45 53 43 45 28 6d 61 78 28  CT COALESCE(max(
2750: 69 29 2c 20 30 29 20 46 52 4f 4d 20 74 31 3b 0a  i), 0) FROM t1;.
2760: 20 20 20 20 20 20 20 20 20 20 50 52 41 47 4d 41            PRAGMA
2770: 20 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63 6b   integrity_check
2780: 3b 0a 20 20 20 20 20 20 20 20 7d 20 0a 20 20 20  ;.        } .   
2790: 20 20 20 7d 20 5b 6c 69 73 74 20 24 6c 6f 77 70     } [list $lowp
27a0: 6f 69 6e 74 20 6f 6b 5d 0a 20 20 20 20 20 20 64  oint ok].      d
27b0: 62 32 20 63 6c 6f 73 65 0a 20 20 20 20 7d 20 65  b2 close.    } e
27c0: 6c 73 65 20 7b 0a 20 20 20 20 20 20 69 66 20 7b  lse {.      if {
27d0: 24 6e 6f 77 20 3e 20 24 78 20 7d 20 7b 0a 20 20  $now > $x } {.  
27e0: 20 20 20 20 20 20 69 66 20 7b 20 24 78 3e 3d 24        if { $x>=$
27f0: 6c 6f 77 70 6f 69 6e 74 20 7d 20 7b 0a 20 20 20  lowpoint } {.   
2800: 20 20 20 20 20 20 20 65 78 65 63 73 71 6c 20 22         execsql "
2810: 52 4f 4c 4c 42 41 43 4b 20 54 4f 20 73 70 5f 24  ROLLBACK TO sp_$
2820: 78 22 0a 20 20 20 20 20 20 20 20 7d 20 65 6c 73  x".        } els
2830: 65 20 7b 0a 20 20 20 20 20 20 20 20 20 20 65 78  e {.          ex
2840: 65 63 73 71 6c 20 22 44 45 4c 45 54 45 20 46 52  ecsql "DELETE FR
2850: 4f 4d 20 74 31 20 57 48 45 52 45 20 69 3e 24 78  OM t1 WHERE i>$x
2860: 22 0a 20 20 20 20 20 20 20 20 20 20 73 65 74 20  ".          set 
2870: 6c 6f 77 70 6f 69 6e 74 20 24 78 0a 20 20 20 20  lowpoint $x.    
2880: 20 20 20 20 7d 0a 20 20 20 20 20 20 7d 20 65 6c      }.      } el
2890: 73 65 69 66 20 7b 24 6e 6f 77 20 3c 20 24 78 7d  seif {$now < $x}
28a0: 20 7b 0a 20 20 20 20 20 20 20 20 66 6f 72 20 7b   {.        for {
28b0: 73 65 74 20 6b 20 24 6e 6f 77 7d 20 7b 24 6b 20  set k $now} {$k 
28c0: 3c 20 24 78 7d 20 7b 69 6e 63 72 20 6b 7d 20 7b  < $x} {incr k} {
28d0: 0a 20 20 20 20 20 20 20 20 20 20 65 78 65 63 73  .          execs
28e0: 71 6c 20 22 53 41 56 45 50 4f 49 4e 54 20 73 70  ql "SAVEPOINT sp
28f0: 5f 24 6b 22 0a 20 20 20 20 20 20 20 20 20 20 65  _$k".          e
2900: 78 65 63 73 71 6c 20 7b 20 49 4e 53 45 52 54 20  xecsql { INSERT 
2910: 49 4e 54 4f 20 74 31 28 6a 29 20 56 41 4c 55 45  INTO t1(j) VALUE
2920: 53 28 72 61 6e 64 6f 6d 62 6c 6f 62 28 31 35 30  S(randomblob(150
2930: 30 29 29 20 7d 0a 20 20 20 20 20 20 20 20 7d 0a  0)) }.        }.
2940: 20 20 20 20 20 20 7d 0a 20 20 20 20 20 20 64 6f        }.      do
2950: 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 70 61  _execsql_test pa
2960: 67 65 72 31 2e 33 2e 37 2e 24 73 2e 32 2e 24 74  ger1.3.7.$s.2.$t
2970: 6e 20 7b 20 0a 20 20 20 20 20 20 20 20 53 45 4c  n { .        SEL
2980: 45 43 54 20 43 4f 41 4c 45 53 43 45 28 6d 61 78  ECT COALESCE(max
2990: 28 69 29 2c 20 30 29 20 46 52 4f 4d 20 74 31 3b  (i), 0) FROM t1;
29a0: 0a 20 20 20 20 20 20 20 20 50 52 41 47 4d 41 20  .        PRAGMA 
29b0: 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63 6b 3b  integrity_check;
29c0: 0a 20 20 20 20 20 20 7d 20 5b 6c 69 73 74 20 24  .      } [list $
29d0: 78 20 6f 6b 5d 0a 20 20 20 20 7d 0a 20 20 7d 0a  x ok].    }.  }.
29e0: 7d 0a 64 62 20 63 6c 6f 73 65 0a 74 76 20 64 65  }.db close.tv de
29f0: 6c 65 74 65 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d  lete..#---------
2a00: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2a10: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2a20: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2a30: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2a40: 0a 23 20 48 6f 74 20 6a 6f 75 72 6e 61 6c 20 72  .# Hot journal r
2a50: 6f 6c 6c 62 61 63 6b 20 72 65 6c 61 74 65 64 20  ollback related 
2a60: 74 65 73 74 20 63 61 73 65 73 2e 0a 23 0a 23 20  test cases..#.# 
2a70: 70 61 67 65 72 31 2e 34 2e 31 2e 2a 3a 20 54 65  pager1.4.1.*: Te
2a80: 73 74 20 74 68 61 74 20 74 68 65 20 70 61 67 65  st that the page
2a90: 72 20 6d 6f 64 75 6c 65 20 64 65 6c 65 74 65 73  r module deletes
2aa0: 20 76 65 72 79 20 73 6d 61 6c 6c 20 69 6e 76 61   very small inva
2ab0: 6c 69 64 0a 23 20 20 20 20 20 20 20 20 20 20 20  lid.#           
2ac0: 20 20 20 20 6a 6f 75 72 6e 61 6c 20 66 69 6c 65      journal file
2ad0: 73 2e 0a 23 0a 23 20 70 61 67 65 72 31 2e 34 2e  s..#.# pager1.4.
2ae0: 32 2e 2a 3a 20 54 65 73 74 20 74 68 61 74 20 69  2.*: Test that i
2af0: 66 20 74 68 65 20 6d 61 73 74 65 72 20 6a 6f 75  f the master jou
2b00: 72 6e 61 6c 20 70 6f 69 6e 74 65 72 20 61 74 20  rnal pointer at 
2b10: 74 68 65 20 65 6e 64 20 6f 66 20 61 0a 23 20 20  the end of a.#  
2b20: 20 20 20 20 20 20 20 20 20 20 20 20 20 68 6f 74               hot
2b30: 2d 6a 6f 75 72 6e 61 6c 20 66 69 6c 65 20 61 70  -journal file ap
2b40: 70 65 61 72 73 20 74 6f 20 62 65 20 63 6f 72 72  pears to be corr
2b50: 75 70 74 20 28 63 68 65 63 6b 73 75 6d 20 64 6f  upt (checksum do
2b60: 65 73 20 6e 6f 74 0a 23 20 20 20 20 20 20 20 20  es not.#        
2b70: 20 20 20 20 20 20 20 63 6f 6d 70 75 74 65 29 20         compute) 
2b80: 74 68 65 20 61 73 73 6f 63 69 61 74 65 64 20 6a  the associated j
2b90: 6f 75 72 6e 61 6c 20 69 73 20 72 6f 6c 6c 65 64  ournal is rolled
2ba0: 20 62 61 63 6b 20 28 61 6e 64 20 6e 6f 0a 23 20   back (and no.# 
2bb0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 78 41                xA
2bc0: 63 63 65 73 73 28 29 20 63 61 6c 6c 20 74 6f 20  ccess() call to 
2bd0: 63 68 65 63 6b 20 66 6f 72 20 74 68 65 20 70 72  check for the pr
2be0: 65 73 65 6e 63 65 20 6f 66 20 61 6e 79 20 6d 61  esence of any ma
2bf0: 73 74 65 72 20 0a 23 20 20 20 20 20 20 20 20 20  ster .#         
2c00: 20 20 20 20 20 20 6a 6f 75 72 6e 61 6c 20 66 69        journal fi
2c10: 6c 65 20 69 73 20 6d 61 64 65 29 2e 0a 23 20 0a  le is made)..# .
2c20: 64 6f 5f 74 65 73 74 20 70 61 67 65 72 31 2e 34  do_test pager1.4
2c30: 2e 31 2e 31 20 7b 0a 20 20 66 61 75 6c 74 73 69  .1.1 {.  faultsi
2c40: 6d 5f 64 65 6c 65 74 65 5f 61 6e 64 5f 72 65 6f  m_delete_and_reo
2c50: 70 65 6e 0a 20 20 65 78 65 63 73 71 6c 20 7b 20  pen.  execsql { 
2c60: 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c  .    CREATE TABL
2c70: 45 20 78 28 79 2c 20 7a 29 3b 0a 20 20 20 20 49  E x(y, z);.    I
2c80: 4e 53 45 52 54 20 49 4e 54 4f 20 78 20 56 41 4c  NSERT INTO x VAL
2c90: 55 45 53 28 31 2c 20 32 29 3b 0a 20 20 7d 0a 20  UES(1, 2);.  }. 
2ca0: 20 73 65 74 20 66 64 20 5b 6f 70 65 6e 20 74 65   set fd [open te
2cb0: 73 74 2e 64 62 2d 6a 6f 75 72 6e 61 6c 20 77 5d  st.db-journal w]
2cc0: 0a 20 20 70 75 74 73 20 2d 6e 6f 6e 65 77 6c 69  .  puts -nonewli
2cd0: 6e 65 20 24 66 64 20 22 68 65 6c 6c 6f 77 6f 72  ne $fd "hellowor
2ce0: 6c 64 22 0a 20 20 63 6c 6f 73 65 20 24 66 64 0a  ld".  close $fd.
2cf0: 20 20 66 69 6c 65 20 65 78 69 73 74 73 20 74 65    file exists te
2d00: 73 74 2e 64 62 2d 6a 6f 75 72 6e 61 6c 0a 7d 20  st.db-journal.} 
2d10: 7b 31 7d 0a 64 6f 5f 74 65 73 74 20 70 61 67 65  {1}.do_test page
2d20: 72 31 2e 34 2e 31 2e 32 20 7b 20 65 78 65 63 73  r1.4.1.2 { execs
2d30: 71 6c 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52  ql { SELECT * FR
2d40: 4f 4d 20 78 20 7d 20 7d 20 7b 31 20 32 7d 0a 64  OM x } } {1 2}.d
2d50: 6f 5f 74 65 73 74 20 70 61 67 65 72 31 2e 34 2e  o_test pager1.4.
2d60: 31 2e 33 20 7b 20 66 69 6c 65 20 65 78 69 73 74  1.3 { file exist
2d70: 73 20 74 65 73 74 2e 64 62 2d 6a 6f 75 72 6e 61  s test.db-journa
2d80: 6c 20 7d 20 7b 30 7d 0a 0a 23 20 53 65 74 20 75  l } {0}..# Set u
2d90: 70 20 61 20 5b 74 65 73 74 76 66 73 5d 20 74 6f  p a [testvfs] to
2da0: 20 73 6e 61 70 73 68 6f 74 20 74 68 65 20 66 69   snapshot the fi
2db0: 6c 65 2d 73 79 73 74 65 6d 20 6a 75 73 74 20 62  le-system just b
2dc0: 65 66 6f 72 65 20 53 51 4c 69 74 65 0a 23 20 64  efore SQLite.# d
2dd0: 65 6c 65 74 65 73 20 74 68 65 20 6d 61 73 74 65  eletes the maste
2de0: 72 2d 6a 6f 75 72 6e 61 6c 20 74 6f 20 63 6f 6d  r-journal to com
2df0: 6d 69 74 20 61 20 6d 75 6c 74 69 2d 66 69 6c 65  mit a multi-file
2e00: 20 74 72 61 6e 73 61 63 74 69 6f 6e 2e 0a 23 0a   transaction..#.
2e10: 23 20 49 6e 20 73 75 62 73 65 71 75 65 6e 74 20  # In subsequent 
2e20: 74 65 73 74 20 63 61 73 65 73 2c 20 69 6e 76 6f  test cases, invo
2e30: 6b 69 6e 67 20 5b 66 61 75 6c 74 73 69 6d 5f 72  king [faultsim_r
2e40: 65 73 74 6f 72 65 5f 61 6e 64 5f 72 65 6f 70 65  estore_and_reope
2e50: 6e 5d 20 73 65 74 73 0a 23 20 75 70 20 74 68 65  n] sets.# up the
2e60: 20 66 69 6c 65 20 73 79 73 74 65 6d 20 74 6f 20   file system to 
2e70: 63 6f 6e 74 61 69 6e 20 74 77 6f 20 64 61 74 61  contain two data
2e80: 62 61 73 65 73 2c 20 74 77 6f 20 68 6f 74 2d 6a  bases, two hot-j
2e90: 6f 75 72 6e 61 6c 20 66 69 6c 65 73 20 61 6e 64  ournal files and
2ea0: 0a 23 20 61 20 6d 61 73 74 65 72 2d 6a 6f 75 72  .# a master-jour
2eb0: 6e 61 6c 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 70  nal..#.do_test p
2ec0: 61 67 65 72 31 2e 34 2e 32 2e 31 20 7b 0a 20 20  ager1.4.2.1 {.  
2ed0: 74 65 73 74 76 66 73 20 74 73 74 76 66 73 20 2d  testvfs tstvfs -
2ee0: 64 65 66 61 75 6c 74 20 31 0a 20 20 74 73 74 76  default 1.  tstv
2ef0: 66 73 20 66 69 6c 74 65 72 20 78 44 65 6c 65 74  fs filter xDelet
2f00: 65 0a 20 20 74 73 74 76 66 73 20 73 63 72 69 70  e.  tstvfs scrip
2f10: 74 20 78 44 65 6c 65 74 65 43 61 6c 6c 62 61 63  t xDeleteCallbac
2f20: 6b 0a 20 20 70 72 6f 63 20 78 44 65 6c 65 74 65  k.  proc xDelete
2f30: 43 61 6c 6c 62 61 63 6b 20 7b 6d 65 74 68 6f 64  Callback {method
2f40: 20 66 69 6c 65 20 61 72 67 73 7d 20 7b 0a 20 20   file args} {.  
2f50: 20 20 73 65 74 20 66 69 6c 65 20 5b 66 69 6c 65    set file [file
2f60: 20 74 61 69 6c 20 24 66 69 6c 65 5d 0a 20 20 20   tail $file].   
2f70: 20 69 66 20 7b 20 5b 73 74 72 69 6e 67 20 6d 61   if { [string ma
2f80: 74 63 68 20 2a 6d 6a 2a 20 24 66 69 6c 65 5d 20  tch *mj* $file] 
2f90: 7d 20 7b 20 66 61 75 6c 74 73 69 6d 5f 73 61 76  } { faultsim_sav
2fa0: 65 20 7d 0a 20 20 7d 0a 20 20 66 61 75 6c 74 73  e }.  }.  faults
2fb0: 69 6d 5f 64 65 6c 65 74 65 5f 61 6e 64 5f 72 65  im_delete_and_re
2fc0: 6f 70 65 6e 0a 20 20 64 62 20 66 75 6e 63 20 61  open.  db func a
2fd0: 5f 73 74 72 69 6e 67 20 61 5f 73 74 72 69 6e 67  _string a_string
2fe0: 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20  .  execsql {.   
2ff0: 20 41 54 54 41 43 48 20 27 74 65 73 74 2e 64 62   ATTACH 'test.db
3000: 32 27 20 41 53 20 61 75 78 3b 0a 20 20 20 20 50  2' AS aux;.    P
3010: 52 41 47 4d 41 20 6a 6f 75 72 6e 61 6c 5f 6d 6f  RAGMA journal_mo
3020: 64 65 20 3d 20 44 45 4c 45 54 45 3b 0a 20 20 20  de = DELETE;.   
3030: 20 50 52 41 47 4d 41 20 6d 61 69 6e 2e 63 61 63   PRAGMA main.cac
3040: 68 65 5f 73 69 7a 65 20 3d 20 31 30 3b 0a 20 20  he_size = 10;.  
3050: 20 20 50 52 41 47 4d 41 20 61 75 78 2e 63 61 63    PRAGMA aux.cac
3060: 68 65 5f 73 69 7a 65 20 3d 20 31 30 3b 0a 20 20  he_size = 10;.  
3070: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74    CREATE TABLE t
3080: 31 28 61 20 55 4e 49 51 55 45 2c 20 62 20 55 4e  1(a UNIQUE, b UN
3090: 49 51 55 45 29 3b 0a 20 20 20 20 43 52 45 41 54  IQUE);.    CREAT
30a0: 45 20 54 41 42 4c 45 20 61 75 78 2e 74 32 28 61  E TABLE aux.t2(a
30b0: 20 55 4e 49 51 55 45 2c 20 62 20 55 4e 49 51 55   UNIQUE, b UNIQU
30c0: 45 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  E);.    INSERT I
30d0: 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 61 5f  NTO t1 VALUES(a_
30e0: 73 74 72 69 6e 67 28 32 30 30 29 2c 20 61 5f 73  string(200), a_s
30f0: 74 72 69 6e 67 28 33 30 30 29 29 3b 0a 20 20 20  tring(300));.   
3100: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
3110: 53 45 4c 45 43 54 20 61 5f 73 74 72 69 6e 67 28  SELECT a_string(
3120: 32 30 30 29 2c 20 61 5f 73 74 72 69 6e 67 28 33  200), a_string(3
3130: 30 30 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20  00) FROM t1;.   
3140: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
3150: 53 45 4c 45 43 54 20 61 5f 73 74 72 69 6e 67 28  SELECT a_string(
3160: 32 30 30 29 2c 20 61 5f 73 74 72 69 6e 67 28 33  200), a_string(3
3170: 30 30 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20  00) FROM t1;.   
3180: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20   INSERT INTO t2 
3190: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31  SELECT * FROM t1
31a0: 3b 0a 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20  ;.    BEGIN;.   
31b0: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
31c0: 31 20 53 45 4c 45 43 54 20 61 5f 73 74 72 69 6e  1 SELECT a_strin
31d0: 67 28 32 30 31 29 2c 20 61 5f 73 74 72 69 6e 67  g(201), a_string
31e0: 28 33 30 31 29 20 46 52 4f 4d 20 74 31 3b 0a 20  (301) FROM t1;. 
31f0: 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f       INSERT INTO
3200: 20 74 31 20 53 45 4c 45 43 54 20 61 5f 73 74 72   t1 SELECT a_str
3210: 69 6e 67 28 32 30 32 29 2c 20 61 5f 73 74 72 69  ing(202), a_stri
3220: 6e 67 28 33 30 32 29 20 46 52 4f 4d 20 74 31 3b  ng(302) FROM t1;
3230: 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e  .      INSERT IN
3240: 54 4f 20 74 31 20 53 45 4c 45 43 54 20 61 5f 73  TO t1 SELECT a_s
3250: 74 72 69 6e 67 28 32 30 33 29 2c 20 61 5f 73 74  tring(203), a_st
3260: 72 69 6e 67 28 33 30 33 29 20 46 52 4f 4d 20 74  ring(303) FROM t
3270: 31 3b 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20  1;.      INSERT 
3280: 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 61  INTO t1 SELECT a
3290: 5f 73 74 72 69 6e 67 28 32 30 34 29 2c 20 61 5f  _string(204), a_
32a0: 73 74 72 69 6e 67 28 33 30 34 29 20 46 52 4f 4d  string(304) FROM
32b0: 20 74 31 3b 0a 20 20 20 20 20 20 52 45 50 4c 41   t1;.      REPLA
32c0: 43 45 20 49 4e 54 4f 20 74 32 20 53 45 4c 45 43  CE INTO t2 SELEC
32d0: 54 20 2a 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20  T * FROM t1;.   
32e0: 20 43 4f 4d 4d 49 54 3b 0a 20 20 7d 0a 20 20 64   COMMIT;.  }.  d
32f0: 62 20 63 6c 6f 73 65 0a 20 20 74 73 74 76 66 73  b close.  tstvfs
3300: 20 64 65 6c 65 74 65 0a 7d 20 7b 7d 0a 64 6f 5f   delete.} {}.do_
3310: 74 65 73 74 20 70 61 67 65 72 31 2e 34 2e 32 2e  test pager1.4.2.
3320: 32 20 7b 0a 20 20 66 61 75 6c 74 73 69 6d 5f 72  2 {.  faultsim_r
3330: 65 73 74 6f 72 65 5f 61 6e 64 5f 72 65 6f 70 65  estore_and_reope
3340: 6e 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20  n.  execsql {.  
3350: 20 20 53 45 4c 45 43 54 20 63 6f 75 6e 74 28 2a    SELECT count(*
3360: 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 50  ) FROM t1;.    P
3370: 52 41 47 4d 41 20 69 6e 74 65 67 72 69 74 79 5f  RAGMA integrity_
3380: 63 68 65 63 6b 3b 0a 20 20 7d 0a 7d 20 7b 34 20  check;.  }.} {4 
3390: 6f 6b 7d 0a 64 6f 5f 74 65 73 74 20 70 61 67 65  ok}.do_test page
33a0: 72 31 2e 34 2e 32 2e 33 20 7b 0a 20 20 66 61 75  r1.4.2.3 {.  fau
33b0: 6c 74 73 69 6d 5f 72 65 73 74 6f 72 65 5f 61 6e  ltsim_restore_an
33c0: 64 5f 72 65 6f 70 65 6e 0a 20 20 66 6f 72 65 61  d_reopen.  forea
33d0: 63 68 20 66 20 5b 67 6c 6f 62 20 74 65 73 74 2e  ch f [glob test.
33e0: 64 62 2d 6d 6a 2a 5d 20 7b 20 66 69 6c 65 20 64  db-mj*] { file d
33f0: 65 6c 65 74 65 20 2d 66 6f 72 63 65 20 24 66 20  elete -force $f 
3400: 7d 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20  }.  execsql {.  
3410: 20 20 53 45 4c 45 43 54 20 63 6f 75 6e 74 28 2a    SELECT count(*
3420: 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 50  ) FROM t1;.    P
3430: 52 41 47 4d 41 20 69 6e 74 65 67 72 69 74 79 5f  RAGMA integrity_
3440: 63 68 65 63 6b 3b 0a 20 20 7d 0a 7d 20 7b 36 34  check;.  }.} {64
3450: 20 6f 6b 7d 0a 64 6f 5f 74 65 73 74 20 70 61 67   ok}.do_test pag
3460: 65 72 31 2e 34 2e 32 2e 34 20 7b 0a 20 20 66 61  er1.4.2.4 {.  fa
3470: 75 6c 74 73 69 6d 5f 72 65 73 74 6f 72 65 5f 61  ultsim_restore_a
3480: 6e 64 5f 72 65 6f 70 65 6e 0a 20 20 68 65 78 69  nd_reopen.  hexi
3490: 6f 5f 77 72 69 74 65 20 74 65 73 74 2e 64 62 2d  o_write test.db-
34a0: 6a 6f 75 72 6e 61 6c 20 5b 65 78 70 72 20 5b 66  journal [expr [f
34b0: 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62  ile size test.db
34c0: 2d 6a 6f 75 72 6e 61 6c 5d 2d 32 30 5d 20 31 32  -journal]-20] 12
34d0: 33 34 35 36 0a 20 20 65 78 65 63 73 71 6c 20 7b  3456.  execsql {
34e0: 0a 20 20 20 20 53 45 4c 45 43 54 20 63 6f 75 6e  .    SELECT coun
34f0: 74 28 2a 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20  t(*) FROM t1;.  
3500: 20 20 50 52 41 47 4d 41 20 69 6e 74 65 67 72 69    PRAGMA integri
3510: 74 79 5f 63 68 65 63 6b 3b 0a 20 20 7d 0a 7d 20  ty_check;.  }.} 
3520: 7b 34 20 6f 6b 7d 0a 64 6f 5f 74 65 73 74 20 70  {4 ok}.do_test p
3530: 61 67 65 72 31 2e 34 2e 32 2e 35 20 7b 0a 20 20  ager1.4.2.5 {.  
3540: 66 61 75 6c 74 73 69 6d 5f 72 65 73 74 6f 72 65  faultsim_restore
3550: 5f 61 6e 64 5f 72 65 6f 70 65 6e 0a 20 20 68 65  _and_reopen.  he
3560: 78 69 6f 5f 77 72 69 74 65 20 74 65 73 74 2e 64  xio_write test.d
3570: 62 2d 6a 6f 75 72 6e 61 6c 20 5b 65 78 70 72 20  b-journal [expr 
3580: 5b 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e  [file size test.
3590: 64 62 2d 6a 6f 75 72 6e 61 6c 5d 2d 32 30 5d 20  db-journal]-20] 
35a0: 31 32 33 34 35 36 0a 20 20 66 6f 72 65 61 63 68  123456.  foreach
35b0: 20 66 20 5b 67 6c 6f 62 20 74 65 73 74 2e 64 62   f [glob test.db
35c0: 2d 6d 6a 2a 5d 20 7b 20 66 69 6c 65 20 64 65 6c  -mj*] { file del
35d0: 65 74 65 20 2d 66 6f 72 63 65 20 24 66 20 7d 0a  ete -force $f }.
35e0: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
35f0: 53 45 4c 45 43 54 20 63 6f 75 6e 74 28 2a 29 20  SELECT count(*) 
3600: 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 50 52 41  FROM t1;.    PRA
3610: 47 4d 41 20 69 6e 74 65 67 72 69 74 79 5f 63 68  GMA integrity_ch
3620: 65 63 6b 3b 0a 20 20 7d 0a 7d 20 7b 34 20 6f 6b  eck;.  }.} {4 ok
3630: 7d 0a 0a 66 69 6e 69 73 68 5f 74 65 73 74 0a 0a  }..finish_test..