/ Hex Artifact Content
Login

Artifact 60dec408563461f9fbf04d4d301b1b4db23f7525:


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 0a 70  ated tests..#..p
02b0: 72 6f 63 20 64 6f 5f 65 78 65 63 73 71 6c 5f 74  roc do_execsql_t
02c0: 65 73 74 20 7b 74 65 73 74 6e 61 6d 65 20 73 71  est {testname sq
02d0: 6c 20 72 65 73 75 6c 74 7d 20 7b 0a 20 20 75 70  l result} {.  up
02e0: 6c 65 76 65 6c 20 64 6f 5f 74 65 73 74 20 24 74  level do_test $t
02f0: 65 73 74 6e 61 6d 65 20 5b 6c 69 73 74 20 22 65  estname [list "e
0300: 78 65 63 73 71 6c 20 7b 24 73 71 6c 7d 22 5d 20  xecsql {$sql}"] 
0310: 5b 6c 69 73 74 20 24 72 65 73 75 6c 74 5d 0a 7d  [list $result].}
0320: 0a 70 72 6f 63 20 64 6f 5f 63 61 74 63 68 73 71  .proc do_catchsq
0330: 6c 5f 74 65 73 74 20 7b 74 65 73 74 6e 61 6d 65  l_test {testname
0340: 20 73 71 6c 20 72 65 73 75 6c 74 7d 20 7b 0a 20   sql result} {. 
0350: 20 75 70 6c 65 76 65 6c 20 64 6f 5f 74 65 73 74   uplevel do_test
0360: 20 24 74 65 73 74 6e 61 6d 65 20 5b 6c 69 73 74   $testname [list
0370: 20 22 63 61 74 63 68 73 71 6c 20 7b 24 73 71 6c   "catchsql {$sql
0380: 7d 22 5d 20 5b 6c 69 73 74 20 24 72 65 73 75 6c  }"] [list $resul
0390: 74 5d 0a 7d 0a 0a 73 65 74 20 61 5f 73 74 72 69  t].}..set a_stri
03a0: 6e 67 5f 63 6f 75 6e 74 65 72 20 31 0a 70 72 6f  ng_counter 1.pro
03b0: 63 20 61 5f 73 74 72 69 6e 67 20 7b 6e 7d 20 7b  c a_string {n} {
03c0: 0a 20 20 67 6c 6f 62 61 6c 20 61 5f 73 74 72 69  .  global a_stri
03d0: 6e 67 5f 63 6f 75 6e 74 65 72 0a 20 20 69 6e 63  ng_counter.  inc
03e0: 72 20 61 5f 73 74 72 69 6e 67 5f 63 6f 75 6e 74  r a_string_count
03f0: 65 72 0a 20 20 73 74 72 69 6e 67 20 72 61 6e 67  er.  string rang
0400: 65 20 5b 73 74 72 69 6e 67 20 72 65 70 65 61 74  e [string repeat
0410: 20 22 24 7b 61 5f 73 74 72 69 6e 67 5f 63 6f 75   "${a_string_cou
0420: 6e 74 65 72 7d 2e 22 20 24 6e 5d 20 31 20 24 6e  nter}." $n] 1 $n
0430: 0a 7d 0a 64 62 20 66 75 6e 63 20 61 5f 73 74 72  .}.db func a_str
0440: 69 6e 67 20 61 5f 73 74 72 69 6e 67 0a 0a 64 6f  ing a_string..do
0450: 5f 6d 75 6c 74 69 63 6c 69 65 6e 74 5f 74 65 73  _multiclient_tes
0460: 74 20 74 6e 20 7b 0a 0a 20 20 23 20 43 72 65 61  t tn {..  # Crea
0470: 74 65 20 61 6e 64 20 70 6f 70 75 6c 61 74 65 20  te and populate 
0480: 61 20 64 61 74 61 62 61 73 65 20 74 61 62 6c 65  a database table
0490: 20 75 73 69 6e 67 20 63 6f 6e 6e 65 63 74 69 6f   using connectio
04a0: 6e 20 5b 64 62 5d 2e 20 43 68 65 63 6b 20 0a 20  n [db]. Check . 
04b0: 20 23 20 74 68 61 74 20 63 6f 6e 6e 65 63 74 69   # that connecti
04c0: 6f 6e 73 20 5b 64 62 32 5d 20 61 6e 64 20 5b 64  ons [db2] and [d
04d0: 62 33 5d 20 63 61 6e 20 73 65 65 20 74 68 65 20  b3] can see the 
04e0: 73 63 68 65 6d 61 20 61 6e 64 20 63 6f 6e 74 65  schema and conte
04f0: 6e 74 2e 0a 20 20 23 0a 20 20 64 6f 5f 74 65 73  nt..  #.  do_tes
0500: 74 20 70 61 67 65 72 31 2d 24 74 6e 2e 31 20 7b  t pager1-$tn.1 {
0510: 0a 20 20 20 20 73 71 6c 31 20 7b 0a 20 20 20 20  .    sql1 {.    
0520: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74    CREATE TABLE t
0530: 31 28 61 20 50 52 49 4d 41 52 59 20 4b 45 59 2c  1(a PRIMARY KEY,
0540: 20 62 29 3b 0a 20 20 20 20 20 20 43 52 45 41 54   b);.      CREAT
0550: 45 20 49 4e 44 45 58 20 69 31 20 4f 4e 20 74 31  E INDEX i1 ON t1
0560: 28 62 29 3b 0a 20 20 20 20 20 20 49 4e 53 45 52  (b);.      INSER
0570: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53  T INTO t1 VALUES
0580: 28 31 2c 20 27 6f 6e 65 27 29 3b 0a 20 20 20 20  (1, 'one');.    
0590: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31    INSERT INTO t1
05a0: 20 56 41 4c 55 45 53 28 32 2c 20 27 74 77 6f 27   VALUES(2, 'two'
05b0: 29 3b 0a 20 20 20 20 7d 0a 20 20 7d 20 7b 7d 0a  );.    }.  } {}.
05c0: 20 20 64 6f 5f 74 65 73 74 20 70 61 67 65 72 31    do_test pager1
05d0: 2d 24 74 6e 2e 32 20 7b 20 73 71 6c 32 20 7b 20  -$tn.2 { sql2 { 
05e0: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31  SELECT * FROM t1
05f0: 20 7d 20 7d 20 7b 31 20 6f 6e 65 20 32 20 74 77   } } {1 one 2 tw
0600: 6f 7d 0a 20 20 64 6f 5f 74 65 73 74 20 70 61 67  o}.  do_test pag
0610: 65 72 31 2d 24 74 6e 2e 33 20 7b 20 73 71 6c 33  er1-$tn.3 { sql3
0620: 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d   { SELECT * FROM
0630: 20 74 31 20 7d 20 7d 20 7b 31 20 6f 6e 65 20 32   t1 } } {1 one 2
0640: 20 74 77 6f 7d 0a 0a 20 20 23 20 4f 70 65 6e 20   two}..  # Open 
0650: 61 20 74 72 61 6e 73 61 63 74 69 6f 6e 20 61 6e  a transaction an
0660: 64 20 61 64 64 20 61 20 72 6f 77 20 75 73 69 6e  d add a row usin
0670: 67 20 5b 64 62 5d 2e 20 54 68 69 73 20 70 75 74  g [db]. This put
0680: 73 20 5b 64 62 5d 20 69 6e 0a 20 20 23 20 52 45  s [db] in.  # RE
0690: 53 45 52 56 45 44 20 73 74 61 74 65 2e 20 43 68  SERVED state. Ch
06a0: 65 63 6b 20 74 68 61 74 20 63 6f 6e 6e 65 63 74  eck that connect
06b0: 69 6f 6e 73 20 5b 64 62 32 5d 20 61 6e 64 20 5b  ions [db2] and [
06c0: 64 62 33 5d 20 63 61 6e 20 73 74 69 6c 6c 0a 20  db3] can still. 
06d0: 20 23 20 72 65 61 64 20 74 68 65 20 64 61 74 61   # read the data
06e0: 62 61 73 65 20 63 6f 6e 74 65 6e 74 20 61 73 20  base content as 
06f0: 69 74 20 77 61 73 20 62 65 66 6f 72 65 20 74 68  it was before th
0700: 65 20 74 72 61 6e 73 61 63 74 69 6f 6e 20 77 61  e transaction wa
0710: 73 0a 20 20 23 20 6f 70 65 6e 65 64 2e 20 5b 64  s.  # opened. [d
0720: 62 5d 20 73 68 6f 75 6c 64 20 73 65 65 20 74 68  b] should see th
0730: 65 20 69 6e 73 65 72 74 65 64 20 72 6f 77 2e 0a  e inserted row..
0740: 20 20 23 0a 20 20 64 6f 5f 74 65 73 74 20 70 61    #.  do_test pa
0750: 67 65 72 31 2d 24 74 6e 2e 34 20 7b 0a 20 20 20  ger1-$tn.4 {.   
0760: 20 73 71 6c 31 20 7b 0a 20 20 20 20 20 20 42 45   sql1 {.      BE
0770: 47 49 4e 3b 0a 20 20 20 20 20 20 20 20 49 4e 53  GIN;.        INS
0780: 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55  ERT INTO t1 VALU
0790: 45 53 28 33 2c 20 27 74 68 72 65 65 27 29 3b 0a  ES(3, 'three');.
07a0: 20 20 20 20 7d 0a 20 20 7d 20 7b 7d 0a 20 20 64      }.  } {}.  d
07b0: 6f 5f 74 65 73 74 20 70 61 67 65 72 31 2d 24 74  o_test pager1-$t
07c0: 6e 2e 35 20 7b 20 73 71 6c 32 20 7b 20 53 45 4c  n.5 { sql2 { SEL
07d0: 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 7d 20  ECT * FROM t1 } 
07e0: 7d 20 7b 31 20 6f 6e 65 20 32 20 74 77 6f 7d 0a  } {1 one 2 two}.
07f0: 20 20 64 6f 5f 74 65 73 74 20 70 61 67 65 72 31    do_test pager1
0800: 2d 24 74 6e 2e 37 20 7b 20 73 71 6c 31 20 7b 20  -$tn.7 { sql1 { 
0810: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31  SELECT * FROM t1
0820: 20 7d 20 7d 20 7b 31 20 6f 6e 65 20 32 20 74 77   } } {1 one 2 tw
0830: 6f 20 33 20 74 68 72 65 65 7d 0a 0a 20 20 23 20  o 3 three}..  # 
0840: 5b 64 62 5d 20 73 74 69 6c 6c 20 68 61 73 20 61  [db] still has a
0850: 6e 20 6f 70 65 6e 20 77 72 69 74 65 20 74 72 61  n open write tra
0860: 6e 73 61 63 74 69 6f 6e 2e 20 43 68 65 63 6b 20  nsaction. Check 
0870: 74 68 61 74 20 74 68 69 73 20 70 72 65 76 65 6e  that this preven
0880: 74 73 0a 20 20 23 20 6f 74 68 65 72 20 63 6f 6e  ts.  # other con
0890: 6e 65 63 74 69 6f 6e 73 20 28 73 70 65 63 69 66  nections (specif
08a0: 69 63 61 6c 6c 79 20 5b 64 62 32 5d 29 20 66 72  ically [db2]) fr
08b0: 6f 6d 20 77 72 69 74 69 6e 67 20 74 6f 20 74 68  om writing to th
08c0: 65 20 64 61 74 61 62 61 73 65 2e 0a 20 20 23 0a  e database..  #.
08d0: 20 20 23 20 45 76 65 6e 20 69 66 20 5b 64 62 32    # Even if [db2
08e0: 5d 20 6f 70 65 6e 73 20 61 20 74 72 61 6e 73 61  ] opens a transa
08f0: 63 74 69 6f 6e 20 66 69 72 73 74 2c 20 69 74 20  ction first, it 
0900: 6d 61 79 20 6e 6f 74 20 77 72 69 74 65 20 74 6f  may not write to
0910: 20 74 68 65 0a 20 20 23 20 64 61 74 61 62 61 73   the.  # databas
0920: 65 2e 20 41 66 74 65 72 20 74 68 65 20 61 74 74  e. After the att
0930: 65 6d 70 74 20 74 6f 20 77 72 69 74 65 20 74 68  empt to write th
0940: 65 20 64 62 20 77 69 74 68 69 6e 20 61 20 74 72  e db within a tr
0950: 61 6e 73 61 63 74 69 6f 6e 2c 20 0a 20 20 23 20  ansaction, .  # 
0960: 5b 64 62 32 5d 20 69 73 20 6c 65 66 74 20 77 69  [db2] is left wi
0970: 74 68 20 61 6e 20 6f 70 65 6e 20 74 72 61 6e 73  th an open trans
0980: 61 63 74 69 6f 6e 2c 20 62 75 74 20 6e 6f 74 20  action, but not 
0990: 61 20 72 65 61 64 2d 6c 6f 63 6b 20 6f 6e 0a 20  a read-lock on. 
09a0: 20 23 20 74 68 65 20 6d 61 69 6e 20 64 61 74 61   # the main data
09b0: 62 61 73 65 2e 20 53 6f 20 69 74 20 64 6f 65 73  base. So it does
09c0: 20 6e 6f 74 20 70 72 65 76 65 6e 74 20 5b 64 62   not prevent [db
09d0: 5d 20 66 72 6f 6d 20 63 6f 6d 6d 69 74 74 69 6e  ] from committin
09e0: 67 2e 0a 20 20 23 0a 20 20 64 6f 5f 74 65 73 74  g..  #.  do_test
09f0: 20 70 61 67 65 72 31 2d 24 74 6e 2e 38 20 7b 20   pager1-$tn.8 { 
0a00: 0a 20 20 20 20 63 73 71 6c 32 20 7b 20 55 50 44  .    csql2 { UPD
0a10: 41 54 45 20 74 31 20 53 45 54 20 61 20 3d 20 61  ATE t1 SET a = a
0a20: 20 2b 20 31 30 20 7d 0a 20 20 7d 20 7b 31 20 7b   + 10 }.  } {1 {
0a30: 64 61 74 61 62 61 73 65 20 69 73 20 6c 6f 63 6b  database is lock
0a40: 65 64 7d 7d 0a 20 20 64 6f 5f 74 65 73 74 20 70  ed}}.  do_test p
0a50: 61 67 65 72 31 2d 24 74 6e 2e 39 20 7b 20 0a 20  ager1-$tn.9 { . 
0a60: 20 20 20 63 73 71 6c 32 20 7b 20 0a 20 20 20 20     csql2 { .    
0a70: 20 20 42 45 47 49 4e 3b 0a 20 20 20 20 20 20 55    BEGIN;.      U
0a80: 50 44 41 54 45 20 74 31 20 53 45 54 20 61 20 3d  PDATE t1 SET a =
0a90: 20 61 20 2b 20 31 30 3b 0a 20 20 20 20 7d 0a 20   a + 10;.    }. 
0aa0: 20 7d 20 7b 31 20 7b 64 61 74 61 62 61 73 65 20   } {1 {database 
0ab0: 69 73 20 6c 6f 63 6b 65 64 7d 7d 0a 0a 20 20 23  is locked}}..  #
0ac0: 20 48 61 76 65 20 5b 64 62 5d 20 63 6f 6d 6d 69   Have [db] commi
0ad0: 74 20 69 74 73 20 74 72 61 6e 73 61 63 74 69 6f  t its transactio
0ae0: 6e 73 2e 20 43 68 65 63 6b 20 74 68 65 20 6f 74  ns. Check the ot
0af0: 68 65 72 20 63 6f 6e 6e 65 63 74 69 6f 6e 73 20  her connections 
0b00: 63 61 6e 0a 20 20 23 20 6e 6f 77 20 73 65 65 20  can.  # now see 
0b10: 74 68 65 20 6e 65 77 20 64 61 74 61 62 61 73 65  the new database
0b20: 20 63 6f 6e 74 65 6e 74 2e 0a 20 20 23 0a 20 20   content..  #.  
0b30: 64 6f 5f 74 65 73 74 20 70 61 67 65 72 31 2d 24  do_test pager1-$
0b40: 74 6e 2e 31 30 20 7b 20 73 71 6c 31 20 7b 20 43  tn.10 { sql1 { C
0b50: 4f 4d 4d 49 54 20 7d 20 7d 20 7b 7d 0a 20 20 64  OMMIT } } {}.  d
0b60: 6f 5f 74 65 73 74 20 70 61 67 65 72 31 2d 24 74  o_test pager1-$t
0b70: 6e 2e 31 31 20 7b 20 73 71 6c 31 20 7b 20 53 45  n.11 { sql1 { SE
0b80: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 7d  LECT * FROM t1 }
0b90: 20 7d 20 7b 31 20 6f 6e 65 20 32 20 74 77 6f 20   } {1 one 2 two 
0ba0: 33 20 74 68 72 65 65 7d 0a 20 20 64 6f 5f 74 65  3 three}.  do_te
0bb0: 73 74 20 70 61 67 65 72 31 2d 24 74 6e 2e 31 32  st pager1-$tn.12
0bc0: 20 7b 20 73 71 6c 32 20 7b 20 53 45 4c 45 43 54   { sql2 { SELECT
0bd0: 20 2a 20 46 52 4f 4d 20 74 31 20 7d 20 7d 20 7b   * FROM t1 } } {
0be0: 31 20 6f 6e 65 20 32 20 74 77 6f 20 33 20 74 68  1 one 2 two 3 th
0bf0: 72 65 65 7d 0a 20 20 64 6f 5f 74 65 73 74 20 70  ree}.  do_test p
0c00: 61 67 65 72 31 2d 24 74 6e 2e 31 33 20 7b 20 73  ager1-$tn.13 { s
0c10: 71 6c 33 20 7b 20 53 45 4c 45 43 54 20 2a 20 46  ql3 { SELECT * F
0c20: 52 4f 4d 20 74 31 20 7d 20 7d 20 7b 31 20 6f 6e  ROM t1 } } {1 on
0c30: 65 20 32 20 74 77 6f 20 33 20 74 68 72 65 65 7d  e 2 two 3 three}
0c40: 0a 0a 20 20 23 20 43 68 65 63 6b 20 74 68 61 74  ..  # Check that
0c50: 2c 20 61 73 20 6e 6f 74 65 64 20 61 62 6f 76 65  , as noted above
0c60: 2c 20 5b 64 62 32 5d 20 72 65 61 6c 6c 79 20 64  , [db2] really d
0c70: 69 64 20 6b 65 65 70 20 61 6e 20 6f 70 65 6e 20  id keep an open 
0c80: 74 72 61 6e 73 61 63 74 69 6f 6e 0a 20 20 23 20  transaction.  # 
0c90: 61 66 74 65 72 20 74 68 65 20 61 74 74 65 6d 70  after the attemp
0ca0: 74 20 74 6f 20 77 72 69 74 65 20 74 68 65 20 64  t to write the d
0cb0: 61 74 61 62 61 73 65 20 66 61 69 6c 65 64 2e 0a  atabase failed..
0cc0: 20 20 23 0a 20 20 64 6f 5f 74 65 73 74 20 70 61    #.  do_test pa
0cd0: 67 65 72 31 2d 24 74 6e 2e 31 34 20 7b 20 0a 20  ger1-$tn.14 { . 
0ce0: 20 20 20 63 73 71 6c 32 20 7b 20 42 45 47 49 4e     csql2 { BEGIN
0cf0: 20 7d 20 0a 20 20 7d 20 7b 31 20 7b 63 61 6e 6e   } .  } {1 {cann
0d00: 6f 74 20 73 74 61 72 74 20 61 20 74 72 61 6e 73  ot start a trans
0d10: 61 63 74 69 6f 6e 20 77 69 74 68 69 6e 20 61 20  action within a 
0d20: 74 72 61 6e 73 61 63 74 69 6f 6e 7d 7d 0a 20 20  transaction}}.  
0d30: 64 6f 5f 74 65 73 74 20 70 61 67 65 72 31 2d 24  do_test pager1-$
0d40: 74 6e 2e 31 35 20 7b 20 73 71 6c 32 20 7b 20 52  tn.15 { sql2 { R
0d50: 4f 4c 4c 42 41 43 4b 20 7d 20 7d 20 7b 7d 0a 0a  OLLBACK } } {}..
0d60: 20 20 23 20 48 61 76 65 20 5b 64 62 32 5d 20 6f    # Have [db2] o
0d70: 70 65 6e 20 61 20 74 72 61 6e 73 61 63 74 69 6f  pen a transactio
0d80: 6e 20 61 6e 64 20 74 61 6b 65 20 61 20 72 65 61  n and take a rea
0d90: 64 2d 6c 6f 63 6b 20 6f 6e 20 74 68 65 20 64 61  d-lock on the da
0da0: 74 61 62 61 73 65 2e 0a 20 20 23 20 43 68 65 63  tabase..  # Chec
0db0: 6b 20 74 68 61 74 20 74 68 69 73 20 70 72 65 76  k that this prev
0dc0: 65 6e 74 73 20 5b 64 62 5d 20 66 72 6f 6d 20 77  ents [db] from w
0dd0: 72 69 74 69 6e 67 20 74 6f 20 74 68 65 20 64 61  riting to the da
0de0: 74 61 62 61 73 65 20 28 6f 75 74 73 69 64 65 0a  tabase (outside.
0df0: 20 20 23 20 6f 66 20 61 6e 79 20 74 72 61 6e 73    # of any trans
0e00: 61 63 74 69 6f 6e 29 2e 20 41 66 74 65 72 20 74  action). After t
0e10: 68 69 73 20 66 61 69 6c 73 2c 20 63 68 65 63 6b  his fails, check
0e20: 20 74 68 61 74 20 5b 64 62 33 5d 20 63 61 6e 20   that [db3] can 
0e30: 72 65 61 64 0a 20 20 23 20 74 68 65 20 64 62 20  read.  # the db 
0e40: 28 73 68 6f 77 69 6e 67 20 74 68 61 74 20 5b 64  (showing that [d
0e50: 62 5d 20 64 69 64 20 6e 6f 74 20 74 61 6b 65 20  b] did not take 
0e60: 61 20 50 45 4e 44 49 4e 47 20 6c 6f 63 6b 20 65  a PENDING lock e
0e70: 74 63 2e 29 0a 20 20 23 0a 20 20 64 6f 5f 74 65  tc.).  #.  do_te
0e80: 73 74 20 70 61 67 65 72 31 2d 24 74 6e 2e 31 35  st pager1-$tn.15
0e90: 20 7b 20 0a 20 20 20 20 73 71 6c 32 20 7b 20 42   { .    sql2 { B
0ea0: 45 47 49 4e 3b 20 53 45 4c 45 43 54 20 2a 20 46  EGIN; SELECT * F
0eb0: 52 4f 4d 20 74 31 3b 20 7d 0a 20 20 7d 20 7b 31  ROM t1; }.  } {1
0ec0: 20 6f 6e 65 20 32 20 74 77 6f 20 33 20 74 68 72   one 2 two 3 thr
0ed0: 65 65 7d 0a 20 20 64 6f 5f 74 65 73 74 20 70 61  ee}.  do_test pa
0ee0: 67 65 72 31 2d 24 74 6e 2e 31 36 20 7b 20 0a 20  ger1-$tn.16 { . 
0ef0: 20 20 20 63 73 71 6c 31 20 7b 20 55 50 44 41 54     csql1 { UPDAT
0f00: 45 20 74 31 20 53 45 54 20 61 20 3d 20 61 20 2b  E t1 SET a = a +
0f10: 20 31 30 20 7d 0a 20 20 7d 20 7b 31 20 7b 64 61   10 }.  } {1 {da
0f20: 74 61 62 61 73 65 20 69 73 20 6c 6f 63 6b 65 64  tabase is locked
0f30: 7d 7d 0a 20 20 64 6f 5f 74 65 73 74 20 70 61 67  }}.  do_test pag
0f40: 65 72 31 2d 24 74 6e 2e 31 37 20 7b 20 73 71 6c  er1-$tn.17 { sql
0f50: 33 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f  3 { SELECT * FRO
0f60: 4d 20 74 31 20 7d 20 7d 20 7b 31 20 6f 6e 65 20  M t1 } } {1 one 
0f70: 32 20 74 77 6f 20 33 20 74 68 72 65 65 7d 0a 0a  2 two 3 three}..
0f80: 20 20 23 20 54 68 69 73 20 74 69 6d 65 2c 20 68    # This time, h
0f90: 61 76 65 20 5b 64 62 5d 20 6f 70 65 6e 20 61 20  ave [db] open a 
0fa0: 74 72 61 6e 73 61 63 74 69 6f 6e 20 62 65 66 6f  transaction befo
0fb0: 72 65 20 77 72 69 74 69 6e 67 20 74 68 65 20 64  re writing the d
0fc0: 61 74 61 62 61 73 65 2e 0a 20 20 23 20 54 68 69  atabase..  # Thi
0fd0: 73 20 77 6f 72 6b 73 20 2d 20 5b 64 62 5d 20 67  s works - [db] g
0fe0: 65 74 73 20 61 20 52 45 53 45 52 56 45 44 20 6c  ets a RESERVED l
0ff0: 6f 63 6b 20 77 68 69 63 68 20 64 6f 65 73 20 6e  ock which does n
1000: 6f 74 20 63 6f 6e 66 6c 69 63 74 20 77 69 74 68  ot conflict with
1010: 0a 20 20 23 20 74 68 65 20 53 48 41 52 45 44 20  .  # the SHARED 
1020: 6c 6f 63 6b 20 5b 64 62 32 5d 20 69 73 20 68 6f  lock [db2] is ho
1030: 6c 64 69 6e 67 2e 0a 20 20 23 0a 20 20 64 6f 5f  lding..  #.  do_
1040: 74 65 73 74 20 70 61 67 65 72 31 2d 24 74 6e 2e  test pager1-$tn.
1050: 31 38 20 7b 20 0a 20 20 20 20 73 71 6c 31 20 7b  18 { .    sql1 {
1060: 20 0a 20 20 20 20 20 20 42 45 47 49 4e 3b 20 20   .      BEGIN;  
1070: 0a 20 20 20 20 20 20 55 50 44 41 54 45 20 74 31  .      UPDATE t1
1080: 20 53 45 54 20 61 20 3d 20 61 20 2b 20 31 30 3b   SET a = a + 10;
1090: 20 0a 20 20 20 20 7d 0a 20 20 7d 20 7b 7d 0a 20   .    }.  } {}. 
10a0: 20 64 6f 5f 74 65 73 74 20 70 61 67 65 72 31 2d   do_test pager1-
10b0: 24 74 6e 2d 31 39 20 7b 20 0a 20 20 20 20 73 71  $tn-19 { .    sq
10c0: 6c 31 20 7b 20 50 52 41 47 4d 41 20 6c 6f 63 6b  l1 { PRAGMA lock
10d0: 5f 73 74 61 74 75 73 20 7d 20 0a 20 20 7d 20 7b  _status } .  } {
10e0: 6d 61 69 6e 20 72 65 73 65 72 76 65 64 20 74 65  main reserved te
10f0: 6d 70 20 63 6c 6f 73 65 64 7d 0a 20 20 64 6f 5f  mp closed}.  do_
1100: 74 65 73 74 20 70 61 67 65 72 31 2d 24 74 6e 2d  test pager1-$tn-
1110: 32 30 20 7b 20 0a 20 20 20 20 73 71 6c 32 20 7b  20 { .    sql2 {
1120: 20 50 52 41 47 4d 41 20 6c 6f 63 6b 5f 73 74 61   PRAGMA lock_sta
1130: 74 75 73 20 7d 20 0a 20 20 7d 20 7b 6d 61 69 6e  tus } .  } {main
1140: 20 73 68 61 72 65 64 20 74 65 6d 70 20 63 6c 6f   shared temp clo
1150: 73 65 64 7d 0a 0a 20 20 23 20 43 68 65 63 6b 20  sed}..  # Check 
1160: 74 68 61 74 20 61 6c 6c 20 63 6f 6e 6e 65 63 74  that all connect
1170: 69 6f 6e 73 20 63 61 6e 20 73 74 69 6c 6c 20 72  ions can still r
1180: 65 61 64 20 74 68 65 20 64 61 74 61 62 61 73 65  ead the database
1190: 2e 20 4f 6e 6c 79 20 5b 64 62 5d 20 73 65 65 73  . Only [db] sees
11a0: 0a 20 20 23 20 74 68 65 20 75 70 64 61 74 65 64  .  # the updated
11b0: 20 63 6f 6e 74 65 6e 74 20 28 61 73 20 74 68 65   content (as the
11c0: 20 74 72 61 6e 73 61 63 74 69 6f 6e 20 68 61 73   transaction has
11d0: 20 6e 6f 74 20 62 65 65 6e 20 63 6f 6d 6d 69 74   not been commit
11e0: 74 65 64 20 79 65 74 29 2e 0a 20 20 23 0a 20 20  ted yet)..  #.  
11f0: 64 6f 5f 74 65 73 74 20 70 61 67 65 72 31 2d 24  do_test pager1-$
1200: 74 6e 2e 32 31 20 7b 20 73 71 6c 31 20 7b 20 53  tn.21 { sql1 { S
1210: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20  ELECT * FROM t1 
1220: 7d 20 7d 20 7b 31 31 20 6f 6e 65 20 31 32 20 74  } } {11 one 12 t
1230: 77 6f 20 31 33 20 74 68 72 65 65 7d 0a 20 20 64  wo 13 three}.  d
1240: 6f 5f 74 65 73 74 20 70 61 67 65 72 31 2d 24 74  o_test pager1-$t
1250: 6e 2e 32 32 20 7b 20 73 71 6c 32 20 7b 20 53 45  n.22 { sql2 { SE
1260: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 7d  LECT * FROM t1 }
1270: 20 7d 20 7b 31 20 6f 6e 65 20 32 20 74 77 6f 20   } {1 one 2 two 
1280: 33 20 74 68 72 65 65 7d 0a 20 20 64 6f 5f 74 65  3 three}.  do_te
1290: 73 74 20 70 61 67 65 72 31 2d 24 74 6e 2e 32 33  st pager1-$tn.23
12a0: 20 7b 20 73 71 6c 33 20 7b 20 53 45 4c 45 43 54   { sql3 { SELECT
12b0: 20 2a 20 46 52 4f 4d 20 74 31 20 7d 20 7d 20 7b   * FROM t1 } } {
12c0: 31 20 6f 6e 65 20 32 20 74 77 6f 20 33 20 74 68  1 one 2 two 3 th
12d0: 72 65 65 7d 0a 0a 20 20 23 20 42 65 63 61 75 73  ree}..  # Becaus
12e0: 65 20 5b 64 62 32 5d 20 73 74 69 6c 6c 20 68 61  e [db2] still ha
12f0: 73 20 74 68 65 20 53 48 41 52 45 44 20 6c 6f 63  s the SHARED loc
1300: 6b 2c 20 5b 64 62 5d 20 69 73 20 75 6e 61 62 6c  k, [db] is unabl
1310: 65 20 74 6f 20 63 6f 6d 6d 69 74 20 74 68 65 0a  e to commit the.
1320: 20 20 23 20 74 72 61 6e 73 61 63 74 69 6f 6e 2e    # transaction.
1330: 20 49 66 20 69 74 20 74 72 69 65 73 2c 20 61 6e   If it tries, an
1340: 20 65 72 72 6f 72 20 69 73 20 72 65 74 75 72 6e   error is return
1350: 65 64 20 61 6e 64 20 74 68 65 20 63 6f 6e 6e 65  ed and the conne
1360: 63 74 69 6f 6e 20 0a 20 20 23 20 75 70 67 72 61  ction .  # upgra
1370: 64 65 73 20 74 6f 20 61 20 50 45 4e 44 49 4e 47  des to a PENDING
1380: 20 6c 6f 63 6b 2e 0a 20 20 23 0a 20 20 23 20 4f   lock..  #.  # O
1390: 6e 63 65 20 74 68 69 73 20 68 61 70 70 65 6e 73  nce this happens
13a0: 2c 20 5b 64 62 5d 20 63 61 6e 20 72 65 61 64 20  , [db] can read 
13b0: 74 68 65 20 64 61 74 61 62 61 73 65 20 61 6e 64  the database and
13c0: 20 73 65 65 20 74 68 65 20 6e 65 77 20 63 6f 6e   see the new con
13d0: 74 65 6e 74 2c 0a 20 20 23 20 5b 64 62 32 5d 20  tent,.  # [db2] 
13e0: 28 73 74 69 6c 6c 20 68 6f 6c 64 69 6e 67 20 53  (still holding S
13f0: 48 41 52 45 44 29 20 63 61 6e 20 73 74 69 6c 6c  HARED) can still
1400: 20 72 65 61 64 20 74 68 65 20 6f 6c 64 20 63 6f   read the old co
1410: 6e 74 65 6e 74 2c 20 62 75 74 20 5b 64 62 33 5d  ntent, but [db3]
1420: 0a 20 20 23 20 28 6e 6f 74 20 68 6f 6c 64 69 6e  .  # (not holdin
1430: 67 20 61 6e 79 20 6c 6f 63 6b 29 20 69 73 20 70  g any lock) is p
1440: 72 65 76 65 6e 74 65 64 20 62 79 20 5b 64 62 5d  revented by [db]
1450: 27 73 20 50 45 4e 44 49 4e 47 20 66 72 6f 6d 20  's PENDING from 
1460: 72 65 61 64 69 6e 67 0a 20 20 23 20 74 68 65 20  reading.  # the 
1470: 64 61 74 61 62 61 73 65 2e 0a 20 20 23 0a 20 20  database..  #.  
1480: 64 6f 5f 74 65 73 74 20 70 61 67 65 72 31 2d 24  do_test pager1-$
1490: 74 6e 2e 32 34 20 7b 20 63 73 71 6c 31 20 7b 20  tn.24 { csql1 { 
14a0: 43 4f 4d 4d 49 54 20 7d 20 7d 20 7b 31 20 7b 64  COMMIT } } {1 {d
14b0: 61 74 61 62 61 73 65 20 69 73 20 6c 6f 63 6b 65  atabase is locke
14c0: 64 7d 7d 0a 20 20 64 6f 5f 74 65 73 74 20 70 61  d}}.  do_test pa
14d0: 67 65 72 31 2d 24 74 6e 2d 32 35 20 7b 20 0a 20  ger1-$tn-25 { . 
14e0: 20 20 20 73 71 6c 31 20 7b 20 50 52 41 47 4d 41     sql1 { PRAGMA
14f0: 20 6c 6f 63 6b 5f 73 74 61 74 75 73 20 7d 20 0a   lock_status } .
1500: 20 20 7d 20 7b 6d 61 69 6e 20 70 65 6e 64 69 6e    } {main pendin
1510: 67 20 74 65 6d 70 20 63 6c 6f 73 65 64 7d 0a 20  g temp closed}. 
1520: 20 64 6f 5f 74 65 73 74 20 70 61 67 65 72 31 2d   do_test pager1-
1530: 24 74 6e 2e 32 36 20 7b 20 73 71 6c 31 20 7b 20  $tn.26 { sql1 { 
1540: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31  SELECT * FROM t1
1550: 20 20 7d 20 7d 20 7b 31 31 20 6f 6e 65 20 31 32    } } {11 one 12
1560: 20 74 77 6f 20 31 33 20 74 68 72 65 65 7d 0a 20   two 13 three}. 
1570: 20 64 6f 5f 74 65 73 74 20 70 61 67 65 72 31 2d   do_test pager1-
1580: 24 74 6e 2e 32 37 20 7b 20 73 71 6c 32 20 7b 20  $tn.27 { sql2 { 
1590: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31  SELECT * FROM t1
15a0: 20 20 7d 20 7d 20 7b 31 20 6f 6e 65 20 32 20 74    } } {1 one 2 t
15b0: 77 6f 20 33 20 74 68 72 65 65 7d 0a 20 20 64 6f  wo 3 three}.  do
15c0: 5f 74 65 73 74 20 70 61 67 65 72 31 2d 24 74 6e  _test pager1-$tn
15d0: 2e 32 38 20 7b 20 63 73 71 6c 33 20 7b 20 53 45  .28 { csql3 { SE
15e0: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 7d  LECT * FROM t1 }
15f0: 20 7d 20 7b 31 20 7b 64 61 74 61 62 61 73 65 20   } {1 {database 
1600: 69 73 20 6c 6f 63 6b 65 64 7d 7d 0a 0a 20 20 23  is locked}}..  #
1610: 20 48 61 76 65 20 5b 64 62 32 5d 20 63 6f 6d 6d   Have [db2] comm
1620: 69 74 20 69 74 73 20 72 65 61 64 20 74 72 61 6e  it its read tran
1630: 73 61 63 74 69 6f 6e 2c 20 72 65 6c 65 61 73 69  saction, releasi
1640: 6e 67 20 74 68 65 20 53 48 41 52 45 44 20 6c 6f  ng the SHARED lo
1650: 63 6b 20 69 74 0a 20 20 23 20 69 73 20 68 6f 6c  ck it.  # is hol
1660: 64 69 6e 67 2e 20 4e 6f 77 2c 20 6e 65 69 74 68  ding. Now, neith
1670: 65 72 20 5b 64 62 32 5d 20 6e 6f 72 20 5b 64 62  er [db2] nor [db
1680: 33 5d 20 6d 61 79 20 72 65 61 64 20 74 68 65 20  3] may read the 
1690: 64 61 74 61 62 61 73 65 20 28 61 73 20 5b 64 62  database (as [db
16a0: 5d 0a 20 20 23 20 69 73 20 73 74 69 6c 6c 20 68  ].  # is still h
16b0: 6f 6c 64 69 6e 67 20 61 20 50 45 4e 44 49 4e 47  olding a PENDING
16c0: 29 2e 0a 20 20 23 0a 20 20 64 6f 5f 74 65 73 74  )..  #.  do_test
16d0: 20 70 61 67 65 72 31 2d 24 74 6e 2e 32 39 20 7b   pager1-$tn.29 {
16e0: 20 73 71 6c 32 20 7b 20 43 4f 4d 4d 49 54 20 7d   sql2 { COMMIT }
16f0: 20 7d 20 7b 7d 0a 20 20 64 6f 5f 74 65 73 74 20   } {}.  do_test 
1700: 70 61 67 65 72 31 2d 24 74 6e 2e 33 30 20 7b 20  pager1-$tn.30 { 
1710: 63 73 71 6c 32 20 7b 20 53 45 4c 45 43 54 20 2a  csql2 { SELECT *
1720: 20 46 52 4f 4d 20 74 31 20 7d 20 7d 20 7b 31 20   FROM t1 } } {1 
1730: 7b 64 61 74 61 62 61 73 65 20 69 73 20 6c 6f 63  {database is loc
1740: 6b 65 64 7d 7d 0a 20 20 64 6f 5f 74 65 73 74 20  ked}}.  do_test 
1750: 70 61 67 65 72 31 2d 24 74 6e 2e 33 31 20 7b 20  pager1-$tn.31 { 
1760: 63 73 71 6c 33 20 7b 20 53 45 4c 45 43 54 20 2a  csql3 { SELECT *
1770: 20 46 52 4f 4d 20 74 31 20 7d 20 7d 20 7b 31 20   FROM t1 } } {1 
1780: 7b 64 61 74 61 62 61 73 65 20 69 73 20 6c 6f 63  {database is loc
1790: 6b 65 64 7d 7d 0a 0a 20 20 23 20 5b 64 62 5d 20  ked}}..  # [db] 
17a0: 69 73 20 6e 6f 77 20 61 62 6c 65 20 74 6f 20 63  is now able to c
17b0: 6f 6d 6d 69 74 20 74 68 65 20 74 72 61 6e 73 61  ommit the transa
17c0: 63 74 69 6f 6e 2e 20 4f 6e 63 65 20 74 68 65 20  ction. Once the 
17d0: 74 72 61 6e 73 61 63 74 69 6f 6e 20 69 73 20 0a  transaction is .
17e0: 20 20 23 20 63 6f 6d 6d 69 74 74 65 64 2c 20 61    # committed, a
17f0: 6c 6c 20 74 68 72 65 65 20 63 6f 6e 6e 65 63 74  ll three connect
1800: 69 6f 6e 73 20 63 61 6e 20 72 65 61 64 20 74 68  ions can read th
1810: 65 20 6e 65 77 20 63 6f 6e 74 65 6e 74 2e 0a 20  e new content.. 
1820: 20 23 0a 20 20 64 6f 5f 74 65 73 74 20 70 61 67   #.  do_test pag
1830: 65 72 31 2d 24 74 6e 2e 32 35 20 7b 20 73 71 6c  er1-$tn.25 { sql
1840: 31 20 7b 20 55 50 44 41 54 45 20 74 31 20 53 45  1 { UPDATE t1 SE
1850: 54 20 61 20 3d 20 61 2b 31 30 20 7d 20 7d 20 7b  T a = a+10 } } {
1860: 7d 0a 20 20 64 6f 5f 74 65 73 74 20 70 61 67 65  }.  do_test page
1870: 72 31 2d 24 74 6e 2e 32 36 20 7b 20 73 71 6c 31  r1-$tn.26 { sql1
1880: 20 7b 20 43 4f 4d 4d 49 54 20 7d 20 7d 20 7b 7d   { COMMIT } } {}
1890: 0a 20 20 64 6f 5f 74 65 73 74 20 70 61 67 65 72  .  do_test pager
18a0: 31 2d 24 74 6e 2e 32 37 20 7b 20 73 71 6c 31 20  1-$tn.27 { sql1 
18b0: 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20  { SELECT * FROM 
18c0: 74 31 20 7d 20 7d 20 7b 32 31 20 6f 6e 65 20 32  t1 } } {21 one 2
18d0: 32 20 74 77 6f 20 32 33 20 74 68 72 65 65 7d 0a  2 two 23 three}.
18e0: 20 20 64 6f 5f 74 65 73 74 20 70 61 67 65 72 31    do_test pager1
18f0: 2d 24 74 6e 2e 32 37 20 7b 20 73 71 6c 32 20 7b  -$tn.27 { sql2 {
1900: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74   SELECT * FROM t
1910: 31 20 7d 20 7d 20 7b 32 31 20 6f 6e 65 20 32 32  1 } } {21 one 22
1920: 20 74 77 6f 20 32 33 20 74 68 72 65 65 7d 0a 20   two 23 three}. 
1930: 20 64 6f 5f 74 65 73 74 20 70 61 67 65 72 31 2d   do_test pager1-
1940: 24 74 6e 2e 32 38 20 7b 20 73 71 6c 33 20 7b 20  $tn.28 { sql3 { 
1950: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31  SELECT * FROM t1
1960: 20 7d 20 7d 20 7b 32 31 20 6f 6e 65 20 32 32 20   } } {21 one 22 
1970: 74 77 6f 20 32 33 20 74 68 72 65 65 7d 0a 7d 0a  two 23 three}.}.
1980: 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  .#--------------
1990: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
19a0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
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 0a 23 20 53 61  -----------.# Sa
19d0: 76 65 70 6f 69 6e 74 20 72 65 6c 61 74 65 64 20  vepoint related 
19e0: 74 65 73 74 20 63 61 73 65 73 2e 0a 23 20 0a 64  test cases..# .d
19f0: 6f 5f 74 65 73 74 20 70 61 67 65 72 31 2d 33 2e  o_test pager1-3.
1a00: 31 20 7b 0a 20 20 66 61 75 6c 74 73 69 6d 5f 64  1 {.  faultsim_d
1a10: 65 6c 65 74 65 5f 61 6e 64 5f 72 65 6f 70 65 6e  elete_and_reopen
1a20: 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20  .  execsql {.   
1a30: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 31   CREATE TABLE t1
1a40: 28 61 20 50 52 49 4d 41 52 59 20 4b 45 59 2c 20  (a PRIMARY KEY, 
1a50: 62 29 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54  b);.    CREATE T
1a60: 41 42 4c 45 20 63 6f 75 6e 74 65 72 28 0a 20 20  ABLE counter(.  
1a70: 20 20 20 20 69 20 43 48 45 43 4b 20 28 69 3c 35      i CHECK (i<5
1a80: 29 2c 20 0a 20 20 20 20 20 20 75 20 43 48 45 43  ), .      u CHEC
1a90: 4b 20 28 75 3c 31 30 29 0a 20 20 20 20 29 3b 0a  K (u<10).    );.
1aa0: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
1ab0: 63 6f 75 6e 74 65 72 20 56 41 4c 55 45 53 28 30  counter VALUES(0
1ac0: 2c 20 30 29 3b 0a 20 20 20 20 43 52 45 41 54 45  , 0);.    CREATE
1ad0: 20 54 52 49 47 47 45 52 20 74 72 31 20 41 46 54   TRIGGER tr1 AFT
1ae0: 45 52 20 49 4e 53 45 52 54 20 4f 4e 20 74 31 20  ER INSERT ON t1 
1af0: 42 45 47 49 4e 0a 20 20 20 20 20 20 55 50 44 41  BEGIN.      UPDA
1b00: 54 45 20 63 6f 75 6e 74 65 72 20 53 45 54 20 69  TE counter SET i
1b10: 20 3d 20 69 2b 31 3b 0a 20 20 20 20 45 4e 44 3b   = i+1;.    END;
1b20: 0a 20 20 20 20 43 52 45 41 54 45 20 54 52 49 47  .    CREATE TRIG
1b30: 47 45 52 20 74 72 32 20 41 46 54 45 52 20 55 50  GER tr2 AFTER UP
1b40: 44 41 54 45 20 4f 4e 20 74 31 20 42 45 47 49 4e  DATE ON t1 BEGIN
1b50: 0a 20 20 20 20 20 20 55 50 44 41 54 45 20 63 6f  .      UPDATE co
1b60: 75 6e 74 65 72 20 53 45 54 20 75 20 3d 20 75 2b  unter SET u = u+
1b70: 31 3b 0a 20 20 20 20 45 4e 44 3b 0a 20 20 7d 0a  1;.    END;.  }.
1b80: 20 20 65 78 65 63 73 71 6c 20 7b 20 53 45 4c 45    execsql { SELE
1b90: 43 54 20 2a 20 46 52 4f 4d 20 63 6f 75 6e 74 65  CT * FROM counte
1ba0: 72 20 7d 0a 7d 20 7b 30 20 30 7d 0a 0a 64 6f 5f  r }.} {0 0}..do_
1bb0: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 70 61 67  execsql_test pag
1bc0: 65 72 31 2d 33 2e 32 20 7b 0a 20 20 42 45 47 49  er1-3.2 {.  BEGI
1bd0: 4e 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e  N;.    INSERT IN
1be0: 54 4f 20 74 31 20 56 41 4c 55 45 53 28 31 2c 20  TO t1 VALUES(1, 
1bf0: 72 61 6e 64 6f 6d 62 6c 6f 62 28 31 35 30 30 29  randomblob(1500)
1c00: 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e  );.    INSERT IN
1c10: 54 4f 20 74 31 20 56 41 4c 55 45 53 28 32 2c 20  TO t1 VALUES(2, 
1c20: 72 61 6e 64 6f 6d 62 6c 6f 62 28 31 35 30 30 29  randomblob(1500)
1c30: 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e  );.    INSERT IN
1c40: 54 4f 20 74 31 20 56 41 4c 55 45 53 28 33 2c 20  TO t1 VALUES(3, 
1c50: 72 61 6e 64 6f 6d 62 6c 6f 62 28 31 35 30 30 29  randomblob(1500)
1c60: 29 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20  );.    SELECT * 
1c70: 46 52 4f 4d 20 63 6f 75 6e 74 65 72 3b 0a 7d 20  FROM counter;.} 
1c80: 7b 33 20 30 7d 0a 64 6f 5f 63 61 74 63 68 73 71  {3 0}.do_catchsq
1c90: 6c 5f 74 65 73 74 20 70 61 67 65 72 31 2d 33 2e  l_test pager1-3.
1ca0: 33 20 7b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  3 {.    INSERT I
1cb0: 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 61 2b  NTO t1 SELECT a+
1cc0: 33 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 31 35  3, randomblob(15
1cd0: 30 30 29 20 46 52 4f 4d 20 74 31 0a 7d 20 7b 31  00) FROM t1.} {1
1ce0: 20 7b 63 6f 6e 73 74 72 61 69 6e 74 20 66 61 69   {constraint fai
1cf0: 6c 65 64 7d 7d 0a 64 6f 5f 65 78 65 63 73 71 6c  led}}.do_execsql
1d00: 5f 74 65 73 74 20 70 61 67 65 72 31 2d 33 2e 34  _test pager1-3.4
1d10: 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d   { SELECT * FROM
1d20: 20 63 6f 75 6e 74 65 72 20 7d 20 7b 33 20 30 7d   counter } {3 0}
1d30: 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74  .do_execsql_test
1d40: 20 70 61 67 65 72 31 2d 33 2e 35 20 7b 20 53 45   pager1-3.5 { SE
1d50: 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31 20 7d  LECT a FROM t1 }
1d60: 20 7b 31 20 32 20 33 7d 0a 64 6f 5f 65 78 65 63   {1 2 3}.do_exec
1d70: 73 71 6c 5f 74 65 73 74 20 70 61 67 65 72 31 2d  sql_test pager1-
1d80: 33 2e 36 20 7b 20 43 4f 4d 4d 49 54 20 7d 20 7b  3.6 { COMMIT } {
1d90: 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  }..#------------
1da0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1db0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1dc0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1dd0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20  -------------.# 
1de0: 48 6f 74 20 6a 6f 75 72 6e 61 6c 20 72 6f 6c 6c  Hot journal roll
1df0: 62 61 63 6b 20 72 65 6c 61 74 65 64 20 74 65 73  back related tes
1e00: 74 20 63 61 73 65 73 2e 0a 23 0a 23 20 70 61 67  t cases..#.# pag
1e10: 65 72 31 2e 34 2e 31 2e 2a 3a 20 54 65 73 74 20  er1.4.1.*: Test 
1e20: 74 68 61 74 20 74 68 65 20 70 61 67 65 72 20 6d  that the pager m
1e30: 6f 64 75 6c 65 20 64 65 6c 65 74 65 73 20 76 65  odule deletes ve
1e40: 72 79 20 73 6d 61 6c 6c 20 69 6e 76 61 6c 69 64  ry small invalid
1e50: 0a 23 20 20 20 20 20 20 20 20 20 20 20 20 20 20  .#              
1e60: 20 6a 6f 75 72 6e 61 6c 20 66 69 6c 65 73 2e 0a   journal files..
1e70: 23 0a 23 20 70 61 67 65 72 31 2e 34 2e 32 2e 2a  #.# pager1.4.2.*
1e80: 3a 20 54 65 73 74 20 74 68 61 74 20 69 66 20 74  : Test that if t
1e90: 68 65 20 6d 61 73 74 65 72 20 6a 6f 75 72 6e 61  he master journa
1ea0: 6c 20 70 6f 69 6e 74 65 72 20 61 74 20 74 68 65  l pointer at the
1eb0: 20 65 6e 64 20 6f 66 20 61 0a 23 20 20 20 20 20   end of a.#     
1ec0: 20 20 20 20 20 20 20 20 20 20 68 6f 74 2d 6a 6f            hot-jo
1ed0: 75 72 6e 61 6c 20 66 69 6c 65 20 61 70 70 65 61  urnal file appea
1ee0: 72 73 20 74 6f 20 62 65 20 63 6f 72 72 75 70 74  rs to be corrupt
1ef0: 20 28 63 68 65 63 6b 73 75 6d 20 64 6f 65 73 20   (checksum does 
1f00: 6e 6f 74 0a 23 20 20 20 20 20 20 20 20 20 20 20  not.#           
1f10: 20 20 20 20 63 6f 6d 70 75 74 65 29 20 74 68 65      compute) the
1f20: 20 61 73 73 6f 63 69 61 74 65 64 20 6a 6f 75 72   associated jour
1f30: 6e 61 6c 20 69 73 20 72 6f 6c 6c 65 64 20 62 61  nal is rolled ba
1f40: 63 6b 20 28 61 6e 64 20 6e 6f 0a 23 20 20 20 20  ck (and no.#    
1f50: 20 20 20 20 20 20 20 20 20 20 20 78 41 63 63 65             xAcce
1f60: 73 73 28 29 20 63 61 6c 6c 20 74 6f 20 63 68 65  ss() call to che
1f70: 63 6b 20 66 6f 72 20 74 68 65 20 70 72 65 73 65  ck for the prese
1f80: 6e 63 65 20 6f 66 20 61 6e 79 20 6d 61 73 74 65  nce of any maste
1f90: 72 20 0a 23 20 20 20 20 20 20 20 20 20 20 20 20  r .#            
1fa0: 20 20 20 6a 6f 75 72 6e 61 6c 20 66 69 6c 65 20     journal file 
1fb0: 69 73 20 6d 61 64 65 29 2e 0a 23 20 0a 64 6f 5f  is made)..# .do_
1fc0: 74 65 73 74 20 70 61 67 65 72 31 2e 34 2e 31 2e  test pager1.4.1.
1fd0: 31 20 7b 0a 20 20 66 61 75 6c 74 73 69 6d 5f 64  1 {.  faultsim_d
1fe0: 65 6c 65 74 65 5f 61 6e 64 5f 72 65 6f 70 65 6e  elete_and_reopen
1ff0: 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 0a 20 20  .  execsql { .  
2000: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 78    CREATE TABLE x
2010: 28 79 2c 20 7a 29 3b 0a 20 20 20 20 49 4e 53 45  (y, z);.    INSE
2020: 52 54 20 49 4e 54 4f 20 78 20 56 41 4c 55 45 53  RT INTO x VALUES
2030: 28 31 2c 20 32 29 3b 0a 20 20 7d 0a 20 20 73 65  (1, 2);.  }.  se
2040: 74 20 66 64 20 5b 6f 70 65 6e 20 74 65 73 74 2e  t fd [open test.
2050: 64 62 2d 6a 6f 75 72 6e 61 6c 20 77 5d 0a 20 20  db-journal w].  
2060: 70 75 74 73 20 2d 6e 6f 6e 65 77 6c 69 6e 65 20  puts -nonewline 
2070: 24 66 64 20 22 68 65 6c 6c 6f 77 6f 72 6c 64 22  $fd "helloworld"
2080: 0a 20 20 63 6c 6f 73 65 20 24 66 64 0a 20 20 66  .  close $fd.  f
2090: 69 6c 65 20 65 78 69 73 74 73 20 74 65 73 74 2e  ile exists test.
20a0: 64 62 2d 6a 6f 75 72 6e 61 6c 0a 7d 20 7b 31 7d  db-journal.} {1}
20b0: 0a 64 6f 5f 74 65 73 74 20 70 61 67 65 72 31 2e  .do_test pager1.
20c0: 34 2e 31 2e 32 20 7b 20 65 78 65 63 73 71 6c 20  4.1.2 { execsql 
20d0: 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20  { SELECT * FROM 
20e0: 78 20 7d 20 7d 20 7b 31 20 32 7d 0a 64 6f 5f 74  x } } {1 2}.do_t
20f0: 65 73 74 20 70 61 67 65 72 31 2e 34 2e 31 2e 33  est pager1.4.1.3
2100: 20 7b 20 66 69 6c 65 20 65 78 69 73 74 73 20 74   { file exists t
2110: 65 73 74 2e 64 62 2d 6a 6f 75 72 6e 61 6c 20 7d  est.db-journal }
2120: 20 7b 30 7d 0a 0a 23 20 53 65 74 20 75 70 20 61   {0}..# Set up a
2130: 20 5b 74 65 73 74 76 66 73 5d 20 74 6f 20 73 6e   [testvfs] to sn
2140: 61 70 73 68 6f 74 20 74 68 65 20 66 69 6c 65 2d  apshot the file-
2150: 73 79 73 74 65 6d 20 6a 75 73 74 20 62 65 66 6f  system just befo
2160: 72 65 20 53 51 4c 69 74 65 0a 23 20 64 65 6c 65  re SQLite.# dele
2170: 74 65 73 20 74 68 65 20 6d 61 73 74 65 72 2d 6a  tes the master-j
2180: 6f 75 72 6e 61 6c 20 74 6f 20 63 6f 6d 6d 69 74  ournal to commit
2190: 20 61 20 6d 75 6c 74 69 2d 66 69 6c 65 20 74 72   a multi-file tr
21a0: 61 6e 73 61 63 74 69 6f 6e 2e 0a 23 0a 23 20 49  ansaction..#.# I
21b0: 6e 20 73 75 62 73 65 71 75 65 6e 74 20 74 65 73  n subsequent tes
21c0: 74 20 63 61 73 65 73 2c 20 69 6e 76 6f 6b 69 6e  t cases, invokin
21d0: 67 20 5b 66 61 75 6c 74 73 69 6d 5f 72 65 73 74  g [faultsim_rest
21e0: 6f 72 65 5f 61 6e 64 5f 72 65 6f 70 65 6e 5d 20  ore_and_reopen] 
21f0: 73 65 74 73 0a 23 20 75 70 20 74 68 65 20 66 69  sets.# up the fi
2200: 6c 65 20 73 79 73 74 65 6d 20 74 6f 20 63 6f 6e  le system to con
2210: 74 61 69 6e 20 74 77 6f 20 64 61 74 61 62 61 73  tain two databas
2220: 65 73 2c 20 74 77 6f 20 68 6f 74 2d 6a 6f 75 72  es, two hot-jour
2230: 6e 61 6c 20 66 69 6c 65 73 20 61 6e 64 0a 23 20  nal files and.# 
2240: 61 20 6d 61 73 74 65 72 2d 6a 6f 75 72 6e 61 6c  a master-journal
2250: 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 70 61 67 65  ..#.do_test page
2260: 72 31 2e 34 2e 32 2e 31 20 7b 0a 20 20 74 65 73  r1.4.2.1 {.  tes
2270: 74 76 66 73 20 74 73 74 76 66 73 20 2d 64 65 66  tvfs tstvfs -def
2280: 61 75 6c 74 20 31 0a 20 20 74 73 74 76 66 73 20  ault 1.  tstvfs 
2290: 66 69 6c 74 65 72 20 78 44 65 6c 65 74 65 0a 20  filter xDelete. 
22a0: 20 74 73 74 76 66 73 20 73 63 72 69 70 74 20 78   tstvfs script x
22b0: 44 65 6c 65 74 65 43 61 6c 6c 62 61 63 6b 0a 20  DeleteCallback. 
22c0: 20 70 72 6f 63 20 78 44 65 6c 65 74 65 43 61 6c   proc xDeleteCal
22d0: 6c 62 61 63 6b 20 7b 6d 65 74 68 6f 64 20 66 69  lback {method fi
22e0: 6c 65 20 61 72 67 73 7d 20 7b 0a 20 20 20 20 73  le args} {.    s
22f0: 65 74 20 66 69 6c 65 20 5b 66 69 6c 65 20 74 61  et file [file ta
2300: 69 6c 20 24 66 69 6c 65 5d 0a 20 20 20 20 69 66  il $file].    if
2310: 20 7b 20 5b 73 74 72 69 6e 67 20 6d 61 74 63 68   { [string match
2320: 20 2a 6d 6a 2a 20 24 66 69 6c 65 5d 20 7d 20 7b   *mj* $file] } {
2330: 20 66 61 75 6c 74 73 69 6d 5f 73 61 76 65 20 7d   faultsim_save }
2340: 0a 20 20 7d 0a 20 20 66 61 75 6c 74 73 69 6d 5f  .  }.  faultsim_
2350: 64 65 6c 65 74 65 5f 61 6e 64 5f 72 65 6f 70 65  delete_and_reope
2360: 6e 0a 20 20 64 62 20 66 75 6e 63 20 61 5f 73 74  n.  db func a_st
2370: 72 69 6e 67 20 61 5f 73 74 72 69 6e 67 0a 20 20  ring a_string.  
2380: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 41 54  execsql {.    AT
2390: 54 41 43 48 20 27 74 65 73 74 2e 64 62 32 27 20  TACH 'test.db2' 
23a0: 41 53 20 61 75 78 3b 0a 20 20 20 20 50 52 41 47  AS aux;.    PRAG
23b0: 4d 41 20 6a 6f 75 72 6e 61 6c 5f 6d 6f 64 65 20  MA journal_mode 
23c0: 3d 20 44 45 4c 45 54 45 3b 0a 20 20 20 20 50 52  = DELETE;.    PR
23d0: 41 47 4d 41 20 6d 61 69 6e 2e 63 61 63 68 65 5f  AGMA main.cache_
23e0: 73 69 7a 65 20 3d 20 31 30 3b 0a 20 20 20 20 50  size = 10;.    P
23f0: 52 41 47 4d 41 20 61 75 78 2e 63 61 63 68 65 5f  RAGMA aux.cache_
2400: 73 69 7a 65 20 3d 20 31 30 3b 0a 20 20 20 20 43  size = 10;.    C
2410: 52 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 61  REATE TABLE t1(a
2420: 20 55 4e 49 51 55 45 2c 20 62 20 55 4e 49 51 55   UNIQUE, b UNIQU
2430: 45 29 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54  E);.    CREATE T
2440: 41 42 4c 45 20 61 75 78 2e 74 32 28 61 20 55 4e  ABLE aux.t2(a UN
2450: 49 51 55 45 2c 20 62 20 55 4e 49 51 55 45 29 3b  IQUE, b UNIQUE);
2460: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
2470: 20 74 31 20 56 41 4c 55 45 53 28 61 5f 73 74 72   t1 VALUES(a_str
2480: 69 6e 67 28 32 30 30 29 2c 20 61 5f 73 74 72 69  ing(200), a_stri
2490: 6e 67 28 33 30 30 29 29 3b 0a 20 20 20 20 49 4e  ng(300));.    IN
24a0: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c  SERT INTO t1 SEL
24b0: 45 43 54 20 61 5f 73 74 72 69 6e 67 28 32 30 30  ECT a_string(200
24c0: 29 2c 20 61 5f 73 74 72 69 6e 67 28 33 30 30 29  ), a_string(300)
24d0: 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e   FROM t1;.    IN
24e0: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c  SERT INTO t1 SEL
24f0: 45 43 54 20 61 5f 73 74 72 69 6e 67 28 32 30 30  ECT a_string(200
2500: 29 2c 20 61 5f 73 74 72 69 6e 67 28 33 30 30 29  ), a_string(300)
2510: 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e   FROM t1;.    IN
2520: 53 45 52 54 20 49 4e 54 4f 20 74 32 20 53 45 4c  SERT INTO t2 SEL
2530: 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 3b 0a 20  ECT * FROM t1;. 
2540: 20 20 20 42 45 47 49 4e 3b 0a 20 20 20 20 20 20     BEGIN;.      
2550: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53  INSERT INTO t1 S
2560: 45 4c 45 43 54 20 61 5f 73 74 72 69 6e 67 28 32  ELECT a_string(2
2570: 30 31 29 2c 20 61 5f 73 74 72 69 6e 67 28 33 30  01), a_string(30
2580: 31 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20  1) FROM t1;.    
2590: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31    INSERT INTO t1
25a0: 20 53 45 4c 45 43 54 20 61 5f 73 74 72 69 6e 67   SELECT a_string
25b0: 28 32 30 32 29 2c 20 61 5f 73 74 72 69 6e 67 28  (202), a_string(
25c0: 33 30 32 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20  302) FROM t1;.  
25d0: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
25e0: 74 31 20 53 45 4c 45 43 54 20 61 5f 73 74 72 69  t1 SELECT a_stri
25f0: 6e 67 28 32 30 33 29 2c 20 61 5f 73 74 72 69 6e  ng(203), a_strin
2600: 67 28 33 30 33 29 20 46 52 4f 4d 20 74 31 3b 0a  g(303) FROM t1;.
2610: 20 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54        INSERT INT
2620: 4f 20 74 31 20 53 45 4c 45 43 54 20 61 5f 73 74  O t1 SELECT a_st
2630: 72 69 6e 67 28 32 30 34 29 2c 20 61 5f 73 74 72  ring(204), a_str
2640: 69 6e 67 28 33 30 34 29 20 46 52 4f 4d 20 74 31  ing(304) FROM t1
2650: 3b 0a 20 20 20 20 20 20 52 45 50 4c 41 43 45 20  ;.      REPLACE 
2660: 49 4e 54 4f 20 74 32 20 53 45 4c 45 43 54 20 2a  INTO t2 SELECT *
2670: 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 43 4f   FROM t1;.    CO
2680: 4d 4d 49 54 3b 0a 20 20 7d 0a 20 20 64 62 20 63  MMIT;.  }.  db c
2690: 6c 6f 73 65 0a 20 20 74 73 74 76 66 73 20 64 65  lose.  tstvfs de
26a0: 6c 65 74 65 0a 7d 20 7b 7d 0a 64 6f 5f 74 65 73  lete.} {}.do_tes
26b0: 74 20 70 61 67 65 72 31 2e 34 2e 32 2e 32 20 7b  t pager1.4.2.2 {
26c0: 0a 20 20 66 61 75 6c 74 73 69 6d 5f 72 65 73 74  .  faultsim_rest
26d0: 6f 72 65 5f 61 6e 64 5f 72 65 6f 70 65 6e 0a 20  ore_and_reopen. 
26e0: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53   execsql {.    S
26f0: 45 4c 45 43 54 20 63 6f 75 6e 74 28 2a 29 20 46  ELECT count(*) F
2700: 52 4f 4d 20 74 31 3b 0a 20 20 20 20 50 52 41 47  ROM t1;.    PRAG
2710: 4d 41 20 69 6e 74 65 67 72 69 74 79 5f 63 68 65  MA integrity_che
2720: 63 6b 3b 0a 20 20 7d 0a 7d 20 7b 34 20 6f 6b 7d  ck;.  }.} {4 ok}
2730: 0a 64 6f 5f 74 65 73 74 20 70 61 67 65 72 31 2e  .do_test pager1.
2740: 34 2e 32 2e 33 20 7b 0a 20 20 66 61 75 6c 74 73  4.2.3 {.  faults
2750: 69 6d 5f 72 65 73 74 6f 72 65 5f 61 6e 64 5f 72  im_restore_and_r
2760: 65 6f 70 65 6e 0a 20 20 66 6f 72 65 61 63 68 20  eopen.  foreach 
2770: 66 20 5b 67 6c 6f 62 20 74 65 73 74 2e 64 62 2d  f [glob test.db-
2780: 6d 6a 2a 5d 20 7b 20 66 69 6c 65 20 64 65 6c 65  mj*] { file dele
2790: 74 65 20 2d 66 6f 72 63 65 20 24 66 20 7d 0a 20  te -force $f }. 
27a0: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53   execsql {.    S
27b0: 45 4c 45 43 54 20 63 6f 75 6e 74 28 2a 29 20 46  ELECT count(*) F
27c0: 52 4f 4d 20 74 31 3b 0a 20 20 20 20 50 52 41 47  ROM t1;.    PRAG
27d0: 4d 41 20 69 6e 74 65 67 72 69 74 79 5f 63 68 65  MA integrity_che
27e0: 63 6b 3b 0a 20 20 7d 0a 7d 20 7b 36 34 20 6f 6b  ck;.  }.} {64 ok
27f0: 7d 0a 64 6f 5f 74 65 73 74 20 70 61 67 65 72 31  }.do_test pager1
2800: 2e 34 2e 32 2e 34 20 7b 0a 20 20 66 61 75 6c 74  .4.2.4 {.  fault
2810: 73 69 6d 5f 72 65 73 74 6f 72 65 5f 61 6e 64 5f  sim_restore_and_
2820: 72 65 6f 70 65 6e 0a 20 20 68 65 78 69 6f 5f 77  reopen.  hexio_w
2830: 72 69 74 65 20 74 65 73 74 2e 64 62 2d 6a 6f 75  rite test.db-jou
2840: 72 6e 61 6c 20 5b 65 78 70 72 20 5b 66 69 6c 65  rnal [expr [file
2850: 20 73 69 7a 65 20 74 65 73 74 2e 64 62 2d 6a 6f   size test.db-jo
2860: 75 72 6e 61 6c 5d 2d 32 30 5d 20 31 32 33 34 35  urnal]-20] 12345
2870: 36 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20  6.  execsql {.  
2880: 20 20 53 45 4c 45 43 54 20 63 6f 75 6e 74 28 2a    SELECT count(*
2890: 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 50  ) FROM t1;.    P
28a0: 52 41 47 4d 41 20 69 6e 74 65 67 72 69 74 79 5f  RAGMA integrity_
28b0: 63 68 65 63 6b 3b 0a 20 20 7d 0a 7d 20 7b 34 20  check;.  }.} {4 
28c0: 6f 6b 7d 0a 64 6f 5f 74 65 73 74 20 70 61 67 65  ok}.do_test page
28d0: 72 31 2e 34 2e 32 2e 35 20 7b 0a 20 20 66 61 75  r1.4.2.5 {.  fau
28e0: 6c 74 73 69 6d 5f 72 65 73 74 6f 72 65 5f 61 6e  ltsim_restore_an
28f0: 64 5f 72 65 6f 70 65 6e 0a 20 20 68 65 78 69 6f  d_reopen.  hexio
2900: 5f 77 72 69 74 65 20 74 65 73 74 2e 64 62 2d 6a  _write test.db-j
2910: 6f 75 72 6e 61 6c 20 5b 65 78 70 72 20 5b 66 69  ournal [expr [fi
2920: 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62 2d  le size test.db-
2930: 6a 6f 75 72 6e 61 6c 5d 2d 32 30 5d 20 31 32 33  journal]-20] 123
2940: 34 35 36 0a 20 20 66 6f 72 65 61 63 68 20 66 20  456.  foreach f 
2950: 5b 67 6c 6f 62 20 74 65 73 74 2e 64 62 2d 6d 6a  [glob test.db-mj
2960: 2a 5d 20 7b 20 66 69 6c 65 20 64 65 6c 65 74 65  *] { file delete
2970: 20 2d 66 6f 72 63 65 20 24 66 20 7d 0a 20 20 65   -force $f }.  e
2980: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c  xecsql {.    SEL
2990: 45 43 54 20 63 6f 75 6e 74 28 2a 29 20 46 52 4f  ECT count(*) FRO
29a0: 4d 20 74 31 3b 0a 20 20 20 20 50 52 41 47 4d 41  M t1;.    PRAGMA
29b0: 20 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63 6b   integrity_check
29c0: 3b 0a 20 20 7d 0a 7d 20 7b 34 20 6f 6b 7d 0a 0a  ;.  }.} {4 ok}..
29d0: 66 69 6e 69 73 68 5f 74 65 73 74 0a 0a           finish_test..