/ Hex Artifact Content
Login

Artifact 4e75fc0ebe91d3f96d929098048dedbd67fdc16f:


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 64 6f 5f 6d 75 6c 74 69 63 6c  t].}..do_multicl
03a0: 69 65 6e 74 5f 74 65 73 74 20 74 6e 20 7b 0a 0a  ient_test tn {..
03b0: 20 20 23 20 43 72 65 61 74 65 20 61 6e 64 20 70    # Create and p
03c0: 6f 70 75 6c 61 74 65 20 61 20 64 61 74 61 62 61  opulate a databa
03d0: 73 65 20 74 61 62 6c 65 20 75 73 69 6e 67 20 63  se table using c
03e0: 6f 6e 6e 65 63 74 69 6f 6e 20 5b 64 62 5d 2e 20  onnection [db]. 
03f0: 43 68 65 63 6b 20 0a 20 20 23 20 74 68 61 74 20  Check .  # that 
0400: 63 6f 6e 6e 65 63 74 69 6f 6e 73 20 5b 64 62 32  connections [db2
0410: 5d 20 61 6e 64 20 5b 64 62 33 5d 20 63 61 6e 20  ] and [db3] can 
0420: 73 65 65 20 74 68 65 20 73 63 68 65 6d 61 20 61  see the schema a
0430: 6e 64 20 63 6f 6e 74 65 6e 74 2e 0a 20 20 23 0a  nd content..  #.
0440: 20 20 64 6f 5f 74 65 73 74 20 70 61 67 65 72 31    do_test pager1
0450: 2d 24 74 6e 2e 31 20 7b 0a 20 20 20 20 73 71 6c  -$tn.1 {.    sql
0460: 31 20 7b 0a 20 20 20 20 20 20 43 52 45 41 54 45  1 {.      CREATE
0470: 20 54 41 42 4c 45 20 74 31 28 61 20 50 52 49 4d   TABLE t1(a PRIM
0480: 41 52 59 20 4b 45 59 2c 20 62 29 3b 0a 20 20 20  ARY KEY, b);.   
0490: 20 20 20 43 52 45 41 54 45 20 49 4e 44 45 58 20     CREATE INDEX 
04a0: 69 31 20 4f 4e 20 74 31 28 62 29 3b 0a 20 20 20  i1 ON t1(b);.   
04b0: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
04c0: 31 20 56 41 4c 55 45 53 28 31 2c 20 27 6f 6e 65  1 VALUES(1, 'one
04d0: 27 29 3b 0a 20 20 20 20 20 20 49 4e 53 45 52 54  ');.      INSERT
04e0: 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28   INTO t1 VALUES(
04f0: 32 2c 20 27 74 77 6f 27 29 3b 0a 20 20 20 20 7d  2, 'two');.    }
0500: 0a 20 20 7d 20 7b 7d 0a 20 20 64 6f 5f 74 65 73  .  } {}.  do_tes
0510: 74 20 70 61 67 65 72 31 2d 24 74 6e 2e 32 20 7b  t pager1-$tn.2 {
0520: 20 73 71 6c 32 20 7b 20 53 45 4c 45 43 54 20 2a   sql2 { SELECT *
0530: 20 46 52 4f 4d 20 74 31 20 7d 20 7d 20 7b 31 20   FROM t1 } } {1 
0540: 6f 6e 65 20 32 20 74 77 6f 7d 0a 20 20 64 6f 5f  one 2 two}.  do_
0550: 74 65 73 74 20 70 61 67 65 72 31 2d 24 74 6e 2e  test pager1-$tn.
0560: 33 20 7b 20 73 71 6c 33 20 7b 20 53 45 4c 45 43  3 { sql3 { SELEC
0570: 54 20 2a 20 46 52 4f 4d 20 74 31 20 7d 20 7d 20  T * FROM t1 } } 
0580: 7b 31 20 6f 6e 65 20 32 20 74 77 6f 7d 0a 0a 20  {1 one 2 two}.. 
0590: 20 23 20 4f 70 65 6e 20 61 20 74 72 61 6e 73 61   # Open a transa
05a0: 63 74 69 6f 6e 20 61 6e 64 20 61 64 64 20 61 20  ction and add a 
05b0: 72 6f 77 20 75 73 69 6e 67 20 5b 64 62 5d 2e 20  row using [db]. 
05c0: 54 68 69 73 20 70 75 74 73 20 5b 64 62 5d 20 69  This puts [db] i
05d0: 6e 0a 20 20 23 20 52 45 53 45 52 56 45 44 20 73  n.  # RESERVED s
05e0: 74 61 74 65 2e 20 43 68 65 63 6b 20 74 68 61 74  tate. Check that
05f0: 20 63 6f 6e 6e 65 63 74 69 6f 6e 73 20 5b 64 62   connections [db
0600: 32 5d 20 61 6e 64 20 5b 64 62 33 5d 20 63 61 6e  2] and [db3] can
0610: 20 73 74 69 6c 6c 0a 20 20 23 20 72 65 61 64 20   still.  # read 
0620: 74 68 65 20 64 61 74 61 62 61 73 65 20 63 6f 6e  the database con
0630: 74 65 6e 74 20 61 73 20 69 74 20 77 61 73 20 62  tent as it was b
0640: 65 66 6f 72 65 20 74 68 65 20 74 72 61 6e 73 61  efore the transa
0650: 63 74 69 6f 6e 20 77 61 73 0a 20 20 23 20 6f 70  ction was.  # op
0660: 65 6e 65 64 2e 20 5b 64 62 5d 20 73 68 6f 75 6c  ened. [db] shoul
0670: 64 20 73 65 65 20 74 68 65 20 69 6e 73 65 72 74  d see the insert
0680: 65 64 20 72 6f 77 2e 0a 20 20 23 0a 20 20 64 6f  ed row..  #.  do
0690: 5f 74 65 73 74 20 70 61 67 65 72 31 2d 24 74 6e  _test pager1-$tn
06a0: 2e 34 20 7b 0a 20 20 20 20 73 71 6c 31 20 7b 0a  .4 {.    sql1 {.
06b0: 20 20 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20        BEGIN;.   
06c0: 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f       INSERT INTO
06d0: 20 74 31 20 56 41 4c 55 45 53 28 33 2c 20 27 74   t1 VALUES(3, 't
06e0: 68 72 65 65 27 29 3b 0a 20 20 20 20 7d 0a 20 20  hree');.    }.  
06f0: 7d 20 7b 7d 0a 20 20 64 6f 5f 74 65 73 74 20 70  } {}.  do_test p
0700: 61 67 65 72 31 2d 24 74 6e 2e 35 20 7b 20 73 71  ager1-$tn.5 { sq
0710: 6c 32 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52  l2 { SELECT * FR
0720: 4f 4d 20 74 31 20 7d 20 7d 20 7b 31 20 6f 6e 65  OM t1 } } {1 one
0730: 20 32 20 74 77 6f 7d 0a 20 20 64 6f 5f 74 65 73   2 two}.  do_tes
0740: 74 20 70 61 67 65 72 31 2d 24 74 6e 2e 37 20 7b  t pager1-$tn.7 {
0750: 20 73 71 6c 31 20 7b 20 53 45 4c 45 43 54 20 2a   sql1 { SELECT *
0760: 20 46 52 4f 4d 20 74 31 20 7d 20 7d 20 7b 31 20   FROM t1 } } {1 
0770: 6f 6e 65 20 32 20 74 77 6f 20 33 20 74 68 72 65  one 2 two 3 thre
0780: 65 7d 0a 0a 20 20 23 20 5b 64 62 5d 20 73 74 69  e}..  # [db] sti
0790: 6c 6c 20 68 61 73 20 61 6e 20 6f 70 65 6e 20 77  ll has an open w
07a0: 72 69 74 65 20 74 72 61 6e 73 61 63 74 69 6f 6e  rite transaction
07b0: 2e 20 43 68 65 63 6b 20 74 68 61 74 20 74 68 69  . Check that thi
07c0: 73 20 70 72 65 76 65 6e 74 73 0a 20 20 23 20 6f  s prevents.  # o
07d0: 74 68 65 72 20 63 6f 6e 6e 65 63 74 69 6f 6e 73  ther connections
07e0: 20 28 73 70 65 63 69 66 69 63 61 6c 6c 79 20 5b   (specifically [
07f0: 64 62 32 5d 29 20 66 72 6f 6d 20 77 72 69 74 69  db2]) from writi
0800: 6e 67 20 74 6f 20 74 68 65 20 64 61 74 61 62 61  ng to the databa
0810: 73 65 2e 0a 20 20 23 0a 20 20 23 20 45 76 65 6e  se..  #.  # Even
0820: 20 69 66 20 5b 64 62 32 5d 20 6f 70 65 6e 73 20   if [db2] opens 
0830: 61 20 74 72 61 6e 73 61 63 74 69 6f 6e 20 66 69  a transaction fi
0840: 72 73 74 2c 20 69 74 20 6d 61 79 20 6e 6f 74 20  rst, it may not 
0850: 77 72 69 74 65 20 74 6f 20 74 68 65 0a 20 20 23  write to the.  #
0860: 20 64 61 74 61 62 61 73 65 2e 20 41 66 74 65 72   database. After
0870: 20 74 68 65 20 61 74 74 65 6d 70 74 20 74 6f 20   the attempt to 
0880: 77 72 69 74 65 20 74 68 65 20 64 62 20 77 69 74  write the db wit
0890: 68 69 6e 20 61 20 74 72 61 6e 73 61 63 74 69 6f  hin a transactio
08a0: 6e 2c 20 0a 20 20 23 20 5b 64 62 32 5d 20 69 73  n, .  # [db2] is
08b0: 20 6c 65 66 74 20 77 69 74 68 20 61 6e 20 6f 70   left with an op
08c0: 65 6e 20 74 72 61 6e 73 61 63 74 69 6f 6e 2c 20  en transaction, 
08d0: 62 75 74 20 6e 6f 74 20 61 20 72 65 61 64 2d 6c  but not a read-l
08e0: 6f 63 6b 20 6f 6e 0a 20 20 23 20 74 68 65 20 6d  ock on.  # the m
08f0: 61 69 6e 20 64 61 74 61 62 61 73 65 2e 20 53 6f  ain database. So
0900: 20 69 74 20 64 6f 65 73 20 6e 6f 74 20 70 72 65   it does not pre
0910: 76 65 6e 74 20 5b 64 62 5d 20 66 72 6f 6d 20 63  vent [db] from c
0920: 6f 6d 6d 69 74 74 69 6e 67 2e 0a 20 20 23 0a 20  ommitting..  #. 
0930: 20 64 6f 5f 74 65 73 74 20 70 61 67 65 72 31 2d   do_test pager1-
0940: 24 74 6e 2e 38 20 7b 20 0a 20 20 20 20 63 73 71  $tn.8 { .    csq
0950: 6c 32 20 7b 20 55 50 44 41 54 45 20 74 31 20 53  l2 { UPDATE t1 S
0960: 45 54 20 61 20 3d 20 61 20 2b 20 31 30 20 7d 0a  ET a = a + 10 }.
0970: 20 20 7d 20 7b 31 20 7b 64 61 74 61 62 61 73 65    } {1 {database
0980: 20 69 73 20 6c 6f 63 6b 65 64 7d 7d 0a 20 20 64   is locked}}.  d
0990: 6f 5f 74 65 73 74 20 70 61 67 65 72 31 2d 24 74  o_test pager1-$t
09a0: 6e 2e 39 20 7b 20 0a 20 20 20 20 63 73 71 6c 32  n.9 { .    csql2
09b0: 20 7b 20 0a 20 20 20 20 20 20 42 45 47 49 4e 3b   { .      BEGIN;
09c0: 0a 20 20 20 20 20 20 55 50 44 41 54 45 20 74 31  .      UPDATE t1
09d0: 20 53 45 54 20 61 20 3d 20 61 20 2b 20 31 30 3b   SET a = a + 10;
09e0: 0a 20 20 20 20 7d 0a 20 20 7d 20 7b 31 20 7b 64  .    }.  } {1 {d
09f0: 61 74 61 62 61 73 65 20 69 73 20 6c 6f 63 6b 65  atabase is locke
0a00: 64 7d 7d 0a 0a 20 20 23 20 48 61 76 65 20 5b 64  d}}..  # Have [d
0a10: 62 5d 20 63 6f 6d 6d 69 74 20 69 74 73 20 74 72  b] commit its tr
0a20: 61 6e 73 61 63 74 69 6f 6e 73 2e 20 43 68 65 63  ansactions. Chec
0a30: 6b 20 74 68 65 20 6f 74 68 65 72 20 63 6f 6e 6e  k the other conn
0a40: 65 63 74 69 6f 6e 73 20 63 61 6e 0a 20 20 23 20  ections can.  # 
0a50: 6e 6f 77 20 73 65 65 20 74 68 65 20 6e 65 77 20  now see the new 
0a60: 64 61 74 61 62 61 73 65 20 63 6f 6e 74 65 6e 74  database content
0a70: 2e 0a 20 20 23 0a 20 20 64 6f 5f 74 65 73 74 20  ..  #.  do_test 
0a80: 70 61 67 65 72 31 2d 24 74 6e 2e 31 30 20 7b 20  pager1-$tn.10 { 
0a90: 73 71 6c 31 20 7b 20 43 4f 4d 4d 49 54 20 7d 20  sql1 { COMMIT } 
0aa0: 7d 20 7b 7d 0a 20 20 64 6f 5f 74 65 73 74 20 70  } {}.  do_test p
0ab0: 61 67 65 72 31 2d 24 74 6e 2e 31 31 20 7b 20 73  ager1-$tn.11 { s
0ac0: 71 6c 31 20 7b 20 53 45 4c 45 43 54 20 2a 20 46  ql1 { SELECT * F
0ad0: 52 4f 4d 20 74 31 20 7d 20 7d 20 7b 31 20 6f 6e  ROM t1 } } {1 on
0ae0: 65 20 32 20 74 77 6f 20 33 20 74 68 72 65 65 7d  e 2 two 3 three}
0af0: 0a 20 20 64 6f 5f 74 65 73 74 20 70 61 67 65 72  .  do_test pager
0b00: 31 2d 24 74 6e 2e 31 32 20 7b 20 73 71 6c 32 20  1-$tn.12 { sql2 
0b10: 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20  { SELECT * FROM 
0b20: 74 31 20 7d 20 7d 20 7b 31 20 6f 6e 65 20 32 20  t1 } } {1 one 2 
0b30: 74 77 6f 20 33 20 74 68 72 65 65 7d 0a 20 20 64  two 3 three}.  d
0b40: 6f 5f 74 65 73 74 20 70 61 67 65 72 31 2d 24 74  o_test pager1-$t
0b50: 6e 2e 31 33 20 7b 20 73 71 6c 33 20 7b 20 53 45  n.13 { sql3 { SE
0b60: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 7d  LECT * FROM t1 }
0b70: 20 7d 20 7b 31 20 6f 6e 65 20 32 20 74 77 6f 20   } {1 one 2 two 
0b80: 33 20 74 68 72 65 65 7d 0a 0a 20 20 23 20 43 68  3 three}..  # Ch
0b90: 65 63 6b 20 74 68 61 74 2c 20 61 73 20 6e 6f 74  eck that, as not
0ba0: 65 64 20 61 62 6f 76 65 2c 20 5b 64 62 32 5d 20  ed above, [db2] 
0bb0: 72 65 61 6c 6c 79 20 64 69 64 20 6b 65 65 70 20  really did keep 
0bc0: 61 6e 20 6f 70 65 6e 20 74 72 61 6e 73 61 63 74  an open transact
0bd0: 69 6f 6e 0a 20 20 23 20 61 66 74 65 72 20 74 68  ion.  # after th
0be0: 65 20 61 74 74 65 6d 70 74 20 74 6f 20 77 72 69  e attempt to wri
0bf0: 74 65 20 74 68 65 20 64 61 74 61 62 61 73 65 20  te the database 
0c00: 66 61 69 6c 65 64 2e 0a 20 20 23 0a 20 20 64 6f  failed..  #.  do
0c10: 5f 74 65 73 74 20 70 61 67 65 72 31 2d 24 74 6e  _test pager1-$tn
0c20: 2e 31 34 20 7b 20 0a 20 20 20 20 63 73 71 6c 32  .14 { .    csql2
0c30: 20 7b 20 42 45 47 49 4e 20 7d 20 0a 20 20 7d 20   { BEGIN } .  } 
0c40: 7b 31 20 7b 63 61 6e 6e 6f 74 20 73 74 61 72 74  {1 {cannot start
0c50: 20 61 20 74 72 61 6e 73 61 63 74 69 6f 6e 20 77   a transaction w
0c60: 69 74 68 69 6e 20 61 20 74 72 61 6e 73 61 63 74  ithin a transact
0c70: 69 6f 6e 7d 7d 0a 20 20 64 6f 5f 74 65 73 74 20  ion}}.  do_test 
0c80: 70 61 67 65 72 31 2d 24 74 6e 2e 31 35 20 7b 20  pager1-$tn.15 { 
0c90: 73 71 6c 32 20 7b 20 52 4f 4c 4c 42 41 43 4b 20  sql2 { ROLLBACK 
0ca0: 7d 20 7d 20 7b 7d 0a 0a 20 20 23 20 48 61 76 65  } } {}..  # Have
0cb0: 20 5b 64 62 32 5d 20 6f 70 65 6e 20 61 20 74 72   [db2] open a tr
0cc0: 61 6e 73 61 63 74 69 6f 6e 20 61 6e 64 20 74 61  ansaction and ta
0cd0: 6b 65 20 61 20 72 65 61 64 2d 6c 6f 63 6b 20 6f  ke a read-lock o
0ce0: 6e 20 74 68 65 20 64 61 74 61 62 61 73 65 2e 0a  n the database..
0cf0: 20 20 23 20 43 68 65 63 6b 20 74 68 61 74 20 74    # Check that t
0d00: 68 69 73 20 70 72 65 76 65 6e 74 73 20 5b 64 62  his prevents [db
0d10: 5d 20 66 72 6f 6d 20 77 72 69 74 69 6e 67 20 74  ] from writing t
0d20: 6f 20 74 68 65 20 64 61 74 61 62 61 73 65 20 28  o the database (
0d30: 6f 75 74 73 69 64 65 0a 20 20 23 20 6f 66 20 61  outside.  # of a
0d40: 6e 79 20 74 72 61 6e 73 61 63 74 69 6f 6e 29 2e  ny transaction).
0d50: 20 41 66 74 65 72 20 74 68 69 73 20 66 61 69 6c   After this fail
0d60: 73 2c 20 63 68 65 63 6b 20 74 68 61 74 20 5b 64  s, check that [d
0d70: 62 33 5d 20 63 61 6e 20 72 65 61 64 0a 20 20 23  b3] can read.  #
0d80: 20 74 68 65 20 64 62 20 28 73 68 6f 77 69 6e 67   the db (showing
0d90: 20 74 68 61 74 20 5b 64 62 5d 20 64 69 64 20 6e   that [db] did n
0da0: 6f 74 20 74 61 6b 65 20 61 20 50 45 4e 44 49 4e  ot take a PENDIN
0db0: 47 20 6c 6f 63 6b 20 65 74 63 2e 29 0a 20 20 23  G lock etc.).  #
0dc0: 0a 20 20 64 6f 5f 74 65 73 74 20 70 61 67 65 72  .  do_test pager
0dd0: 31 2d 24 74 6e 2e 31 35 20 7b 20 0a 20 20 20 20  1-$tn.15 { .    
0de0: 73 71 6c 32 20 7b 20 42 45 47 49 4e 3b 20 53 45  sql2 { BEGIN; SE
0df0: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 3b 20  LECT * FROM t1; 
0e00: 7d 0a 20 20 7d 20 7b 31 20 6f 6e 65 20 32 20 74  }.  } {1 one 2 t
0e10: 77 6f 20 33 20 74 68 72 65 65 7d 0a 20 20 64 6f  wo 3 three}.  do
0e20: 5f 74 65 73 74 20 70 61 67 65 72 31 2d 24 74 6e  _test pager1-$tn
0e30: 2e 31 36 20 7b 20 0a 20 20 20 20 63 73 71 6c 31  .16 { .    csql1
0e40: 20 7b 20 55 50 44 41 54 45 20 74 31 20 53 45 54   { UPDATE t1 SET
0e50: 20 61 20 3d 20 61 20 2b 20 31 30 20 7d 0a 20 20   a = a + 10 }.  
0e60: 7d 20 7b 31 20 7b 64 61 74 61 62 61 73 65 20 69  } {1 {database i
0e70: 73 20 6c 6f 63 6b 65 64 7d 7d 0a 20 20 64 6f 5f  s locked}}.  do_
0e80: 74 65 73 74 20 70 61 67 65 72 31 2d 24 74 6e 2e  test pager1-$tn.
0e90: 31 37 20 7b 20 73 71 6c 33 20 7b 20 53 45 4c 45  17 { sql3 { SELE
0ea0: 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 7d 20 7d  CT * FROM t1 } }
0eb0: 20 7b 31 20 6f 6e 65 20 32 20 74 77 6f 20 33 20   {1 one 2 two 3 
0ec0: 74 68 72 65 65 7d 0a 0a 20 20 23 20 54 68 69 73  three}..  # This
0ed0: 20 74 69 6d 65 2c 20 68 61 76 65 20 5b 64 62 5d   time, have [db]
0ee0: 20 6f 70 65 6e 20 61 20 74 72 61 6e 73 61 63 74   open a transact
0ef0: 69 6f 6e 20 62 65 66 6f 72 65 20 77 72 69 74 69  ion before writi
0f00: 6e 67 20 74 68 65 20 64 61 74 61 62 61 73 65 2e  ng the database.
0f10: 0a 20 20 23 20 54 68 69 73 20 77 6f 72 6b 73 20  .  # This works 
0f20: 2d 20 5b 64 62 5d 20 67 65 74 73 20 61 20 52 45  - [db] gets a RE
0f30: 53 45 52 56 45 44 20 6c 6f 63 6b 20 77 68 69 63  SERVED lock whic
0f40: 68 20 64 6f 65 73 20 6e 6f 74 20 63 6f 6e 66 6c  h does not confl
0f50: 69 63 74 20 77 69 74 68 0a 20 20 23 20 74 68 65  ict with.  # the
0f60: 20 53 48 41 52 45 44 20 6c 6f 63 6b 20 5b 64 62   SHARED lock [db
0f70: 32 5d 20 69 73 20 68 6f 6c 64 69 6e 67 2e 0a 20  2] is holding.. 
0f80: 20 23 0a 20 20 64 6f 5f 74 65 73 74 20 70 61 67   #.  do_test pag
0f90: 65 72 31 2d 24 74 6e 2e 31 38 20 7b 20 0a 20 20  er1-$tn.18 { .  
0fa0: 20 20 73 71 6c 31 20 7b 20 0a 20 20 20 20 20 20    sql1 { .      
0fb0: 42 45 47 49 4e 3b 20 20 0a 20 20 20 20 20 20 55  BEGIN;  .      U
0fc0: 50 44 41 54 45 20 74 31 20 53 45 54 20 61 20 3d  PDATE t1 SET a =
0fd0: 20 61 20 2b 20 31 30 3b 20 0a 20 20 20 20 7d 0a   a + 10; .    }.
0fe0: 20 20 7d 20 7b 7d 0a 20 20 64 6f 5f 74 65 73 74    } {}.  do_test
0ff0: 20 70 61 67 65 72 31 2d 24 74 6e 2d 31 39 20 7b   pager1-$tn-19 {
1000: 20 0a 20 20 20 20 73 71 6c 31 20 7b 20 50 52 41   .    sql1 { PRA
1010: 47 4d 41 20 6c 6f 63 6b 5f 73 74 61 74 75 73 20  GMA lock_status 
1020: 7d 20 0a 20 20 7d 20 7b 6d 61 69 6e 20 72 65 73  } .  } {main res
1030: 65 72 76 65 64 20 74 65 6d 70 20 63 6c 6f 73 65  erved temp close
1040: 64 7d 0a 20 20 64 6f 5f 74 65 73 74 20 70 61 67  d}.  do_test pag
1050: 65 72 31 2d 24 74 6e 2d 32 30 20 7b 20 0a 20 20  er1-$tn-20 { .  
1060: 20 20 73 71 6c 32 20 7b 20 50 52 41 47 4d 41 20    sql2 { PRAGMA 
1070: 6c 6f 63 6b 5f 73 74 61 74 75 73 20 7d 20 0a 20  lock_status } . 
1080: 20 7d 20 7b 6d 61 69 6e 20 73 68 61 72 65 64 20   } {main shared 
1090: 74 65 6d 70 20 63 6c 6f 73 65 64 7d 0a 0a 20 20  temp closed}..  
10a0: 23 20 43 68 65 63 6b 20 74 68 61 74 20 61 6c 6c  # Check that all
10b0: 20 63 6f 6e 6e 65 63 74 69 6f 6e 73 20 63 61 6e   connections can
10c0: 20 73 74 69 6c 6c 20 72 65 61 64 20 74 68 65 20   still read the 
10d0: 64 61 74 61 62 61 73 65 2e 20 4f 6e 6c 79 20 5b  database. Only [
10e0: 64 62 5d 20 73 65 65 73 0a 20 20 23 20 74 68 65  db] sees.  # the
10f0: 20 75 70 64 61 74 65 64 20 63 6f 6e 74 65 6e 74   updated content
1100: 20 28 61 73 20 74 68 65 20 74 72 61 6e 73 61 63   (as the transac
1110: 74 69 6f 6e 20 68 61 73 20 6e 6f 74 20 62 65 65  tion has not bee
1120: 6e 20 63 6f 6d 6d 69 74 74 65 64 20 79 65 74 29  n committed yet)
1130: 2e 0a 20 20 23 0a 20 20 64 6f 5f 74 65 73 74 20  ..  #.  do_test 
1140: 70 61 67 65 72 31 2d 24 74 6e 2e 32 31 20 7b 20  pager1-$tn.21 { 
1150: 73 71 6c 31 20 7b 20 53 45 4c 45 43 54 20 2a 20  sql1 { SELECT * 
1160: 46 52 4f 4d 20 74 31 20 7d 20 7d 20 7b 31 31 20  FROM t1 } } {11 
1170: 6f 6e 65 20 31 32 20 74 77 6f 20 31 33 20 74 68  one 12 two 13 th
1180: 72 65 65 7d 0a 20 20 64 6f 5f 74 65 73 74 20 70  ree}.  do_test p
1190: 61 67 65 72 31 2d 24 74 6e 2e 32 32 20 7b 20 73  ager1-$tn.22 { s
11a0: 71 6c 32 20 7b 20 53 45 4c 45 43 54 20 2a 20 46  ql2 { SELECT * F
11b0: 52 4f 4d 20 74 31 20 7d 20 7d 20 7b 31 20 6f 6e  ROM t1 } } {1 on
11c0: 65 20 32 20 74 77 6f 20 33 20 74 68 72 65 65 7d  e 2 two 3 three}
11d0: 0a 20 20 64 6f 5f 74 65 73 74 20 70 61 67 65 72  .  do_test pager
11e0: 31 2d 24 74 6e 2e 32 33 20 7b 20 73 71 6c 33 20  1-$tn.23 { sql3 
11f0: 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20  { SELECT * FROM 
1200: 74 31 20 7d 20 7d 20 7b 31 20 6f 6e 65 20 32 20  t1 } } {1 one 2 
1210: 74 77 6f 20 33 20 74 68 72 65 65 7d 0a 0a 20 20  two 3 three}..  
1220: 23 20 42 65 63 61 75 73 65 20 5b 64 62 32 5d 20  # Because [db2] 
1230: 73 74 69 6c 6c 20 68 61 73 20 74 68 65 20 53 48  still has the SH
1240: 41 52 45 44 20 6c 6f 63 6b 2c 20 5b 64 62 5d 20  ARED lock, [db] 
1250: 69 73 20 75 6e 61 62 6c 65 20 74 6f 20 63 6f 6d  is unable to com
1260: 6d 69 74 20 74 68 65 0a 20 20 23 20 74 72 61 6e  mit the.  # tran
1270: 73 61 63 74 69 6f 6e 2e 20 49 66 20 69 74 20 74  saction. If it t
1280: 72 69 65 73 2c 20 61 6e 20 65 72 72 6f 72 20 69  ries, an error i
1290: 73 20 72 65 74 75 72 6e 65 64 20 61 6e 64 20 74  s returned and t
12a0: 68 65 20 63 6f 6e 6e 65 63 74 69 6f 6e 20 0a 20  he connection . 
12b0: 20 23 20 75 70 67 72 61 64 65 73 20 74 6f 20 61   # upgrades to a
12c0: 20 50 45 4e 44 49 4e 47 20 6c 6f 63 6b 2e 0a 20   PENDING lock.. 
12d0: 20 23 0a 20 20 23 20 4f 6e 63 65 20 74 68 69 73   #.  # Once this
12e0: 20 68 61 70 70 65 6e 73 2c 20 5b 64 62 5d 20 63   happens, [db] c
12f0: 61 6e 20 72 65 61 64 20 74 68 65 20 64 61 74 61  an read the data
1300: 62 61 73 65 20 61 6e 64 20 73 65 65 20 74 68 65  base and see the
1310: 20 6e 65 77 20 63 6f 6e 74 65 6e 74 2c 0a 20 20   new content,.  
1320: 23 20 5b 64 62 32 5d 20 28 73 74 69 6c 6c 20 68  # [db2] (still h
1330: 6f 6c 64 69 6e 67 20 53 48 41 52 45 44 29 20 63  olding SHARED) c
1340: 61 6e 20 73 74 69 6c 6c 20 72 65 61 64 20 74 68  an still read th
1350: 65 20 6f 6c 64 20 63 6f 6e 74 65 6e 74 2c 20 62  e old content, b
1360: 75 74 20 5b 64 62 33 5d 0a 20 20 23 20 28 6e 6f  ut [db3].  # (no
1370: 74 20 68 6f 6c 64 69 6e 67 20 61 6e 79 20 6c 6f  t holding any lo
1380: 63 6b 29 20 69 73 20 70 72 65 76 65 6e 74 65 64  ck) is prevented
1390: 20 62 79 20 5b 64 62 5d 27 73 20 50 45 4e 44 49   by [db]'s PENDI
13a0: 4e 47 20 66 72 6f 6d 20 72 65 61 64 69 6e 67 0a  NG from reading.
13b0: 20 20 23 20 74 68 65 20 64 61 74 61 62 61 73 65    # the database
13c0: 2e 0a 20 20 23 0a 20 20 64 6f 5f 74 65 73 74 20  ..  #.  do_test 
13d0: 70 61 67 65 72 31 2d 24 74 6e 2e 32 34 20 7b 20  pager1-$tn.24 { 
13e0: 63 73 71 6c 31 20 7b 20 43 4f 4d 4d 49 54 20 7d  csql1 { COMMIT }
13f0: 20 7d 20 7b 31 20 7b 64 61 74 61 62 61 73 65 20   } {1 {database 
1400: 69 73 20 6c 6f 63 6b 65 64 7d 7d 0a 20 20 64 6f  is locked}}.  do
1410: 5f 74 65 73 74 20 70 61 67 65 72 31 2d 24 74 6e  _test pager1-$tn
1420: 2d 32 35 20 7b 20 0a 20 20 20 20 73 71 6c 31 20  -25 { .    sql1 
1430: 7b 20 50 52 41 47 4d 41 20 6c 6f 63 6b 5f 73 74  { PRAGMA lock_st
1440: 61 74 75 73 20 7d 20 0a 20 20 7d 20 7b 6d 61 69  atus } .  } {mai
1450: 6e 20 70 65 6e 64 69 6e 67 20 74 65 6d 70 20 63  n pending temp c
1460: 6c 6f 73 65 64 7d 0a 20 20 64 6f 5f 74 65 73 74  losed}.  do_test
1470: 20 70 61 67 65 72 31 2d 24 74 6e 2e 32 36 20 7b   pager1-$tn.26 {
1480: 20 73 71 6c 31 20 7b 20 53 45 4c 45 43 54 20 2a   sql1 { SELECT *
1490: 20 46 52 4f 4d 20 74 31 20 20 7d 20 7d 20 7b 31   FROM t1  } } {1
14a0: 31 20 6f 6e 65 20 31 32 20 74 77 6f 20 31 33 20  1 one 12 two 13 
14b0: 74 68 72 65 65 7d 0a 20 20 64 6f 5f 74 65 73 74  three}.  do_test
14c0: 20 70 61 67 65 72 31 2d 24 74 6e 2e 32 37 20 7b   pager1-$tn.27 {
14d0: 20 73 71 6c 32 20 7b 20 53 45 4c 45 43 54 20 2a   sql2 { SELECT *
14e0: 20 46 52 4f 4d 20 74 31 20 20 7d 20 7d 20 7b 31   FROM t1  } } {1
14f0: 20 6f 6e 65 20 32 20 74 77 6f 20 33 20 74 68 72   one 2 two 3 thr
1500: 65 65 7d 0a 20 20 64 6f 5f 74 65 73 74 20 70 61  ee}.  do_test pa
1510: 67 65 72 31 2d 24 74 6e 2e 32 38 20 7b 20 63 73  ger1-$tn.28 { cs
1520: 71 6c 33 20 7b 20 53 45 4c 45 43 54 20 2a 20 46  ql3 { SELECT * F
1530: 52 4f 4d 20 74 31 20 7d 20 7d 20 7b 31 20 7b 64  ROM t1 } } {1 {d
1540: 61 74 61 62 61 73 65 20 69 73 20 6c 6f 63 6b 65  atabase is locke
1550: 64 7d 7d 0a 0a 20 20 23 20 48 61 76 65 20 5b 64  d}}..  # Have [d
1560: 62 32 5d 20 63 6f 6d 6d 69 74 20 69 74 73 20 72  b2] commit its r
1570: 65 61 64 20 74 72 61 6e 73 61 63 74 69 6f 6e 2c  ead transaction,
1580: 20 72 65 6c 65 61 73 69 6e 67 20 74 68 65 20 53   releasing the S
1590: 48 41 52 45 44 20 6c 6f 63 6b 20 69 74 0a 20 20  HARED lock it.  
15a0: 23 20 69 73 20 68 6f 6c 64 69 6e 67 2e 20 4e 6f  # is holding. No
15b0: 77 2c 20 6e 65 69 74 68 65 72 20 5b 64 62 32 5d  w, neither [db2]
15c0: 20 6e 6f 72 20 5b 64 62 33 5d 20 6d 61 79 20 72   nor [db3] may r
15d0: 65 61 64 20 74 68 65 20 64 61 74 61 62 61 73 65  ead the database
15e0: 20 28 61 73 20 5b 64 62 5d 0a 20 20 23 20 69 73   (as [db].  # is
15f0: 20 73 74 69 6c 6c 20 68 6f 6c 64 69 6e 67 20 61   still holding a
1600: 20 50 45 4e 44 49 4e 47 29 2e 0a 20 20 23 0a 20   PENDING)..  #. 
1610: 20 64 6f 5f 74 65 73 74 20 70 61 67 65 72 31 2d   do_test pager1-
1620: 24 74 6e 2e 32 39 20 7b 20 73 71 6c 32 20 7b 20  $tn.29 { sql2 { 
1630: 43 4f 4d 4d 49 54 20 7d 20 7d 20 7b 7d 0a 20 20  COMMIT } } {}.  
1640: 64 6f 5f 74 65 73 74 20 70 61 67 65 72 31 2d 24  do_test pager1-$
1650: 74 6e 2e 33 30 20 7b 20 63 73 71 6c 32 20 7b 20  tn.30 { csql2 { 
1660: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31  SELECT * FROM t1
1670: 20 7d 20 7d 20 7b 31 20 7b 64 61 74 61 62 61 73   } } {1 {databas
1680: 65 20 69 73 20 6c 6f 63 6b 65 64 7d 7d 0a 20 20  e is locked}}.  
1690: 64 6f 5f 74 65 73 74 20 70 61 67 65 72 31 2d 24  do_test pager1-$
16a0: 74 6e 2e 33 31 20 7b 20 63 73 71 6c 33 20 7b 20  tn.31 { csql3 { 
16b0: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31  SELECT * FROM t1
16c0: 20 7d 20 7d 20 7b 31 20 7b 64 61 74 61 62 61 73   } } {1 {databas
16d0: 65 20 69 73 20 6c 6f 63 6b 65 64 7d 7d 0a 0a 20  e is locked}}.. 
16e0: 20 23 20 5b 64 62 5d 20 69 73 20 6e 6f 77 20 61   # [db] is now a
16f0: 62 6c 65 20 74 6f 20 63 6f 6d 6d 69 74 20 74 68  ble to commit th
1700: 65 20 74 72 61 6e 73 61 63 74 69 6f 6e 2e 20 4f  e transaction. O
1710: 6e 63 65 20 74 68 65 20 74 72 61 6e 73 61 63 74  nce the transact
1720: 69 6f 6e 20 69 73 20 0a 20 20 23 20 63 6f 6d 6d  ion is .  # comm
1730: 69 74 74 65 64 2c 20 61 6c 6c 20 74 68 72 65 65  itted, all three
1740: 20 63 6f 6e 6e 65 63 74 69 6f 6e 73 20 63 61 6e   connections can
1750: 20 72 65 61 64 20 74 68 65 20 6e 65 77 20 63 6f   read the new co
1760: 6e 74 65 6e 74 2e 0a 20 20 23 0a 20 20 64 6f 5f  ntent..  #.  do_
1770: 74 65 73 74 20 70 61 67 65 72 31 2d 24 74 6e 2e  test pager1-$tn.
1780: 32 35 20 7b 20 73 71 6c 31 20 7b 20 55 50 44 41  25 { sql1 { UPDA
1790: 54 45 20 74 31 20 53 45 54 20 61 20 3d 20 61 2b  TE t1 SET a = a+
17a0: 31 30 20 7d 20 7d 20 7b 7d 0a 20 20 64 6f 5f 74  10 } } {}.  do_t
17b0: 65 73 74 20 70 61 67 65 72 31 2d 24 74 6e 2e 32  est pager1-$tn.2
17c0: 36 20 7b 20 73 71 6c 31 20 7b 20 43 4f 4d 4d 49  6 { sql1 { COMMI
17d0: 54 20 7d 20 7d 20 7b 7d 0a 20 20 64 6f 5f 74 65  T } } {}.  do_te
17e0: 73 74 20 70 61 67 65 72 31 2d 24 74 6e 2e 32 37  st pager1-$tn.27
17f0: 20 7b 20 73 71 6c 31 20 7b 20 53 45 4c 45 43 54   { sql1 { SELECT
1800: 20 2a 20 46 52 4f 4d 20 74 31 20 7d 20 7d 20 7b   * FROM t1 } } {
1810: 32 31 20 6f 6e 65 20 32 32 20 74 77 6f 20 32 33  21 one 22 two 23
1820: 20 74 68 72 65 65 7d 0a 20 20 64 6f 5f 74 65 73   three}.  do_tes
1830: 74 20 70 61 67 65 72 31 2d 24 74 6e 2e 32 37 20  t pager1-$tn.27 
1840: 7b 20 73 71 6c 32 20 7b 20 53 45 4c 45 43 54 20  { sql2 { SELECT 
1850: 2a 20 46 52 4f 4d 20 74 31 20 7d 20 7d 20 7b 32  * FROM t1 } } {2
1860: 31 20 6f 6e 65 20 32 32 20 74 77 6f 20 32 33 20  1 one 22 two 23 
1870: 74 68 72 65 65 7d 0a 20 20 64 6f 5f 74 65 73 74  three}.  do_test
1880: 20 70 61 67 65 72 31 2d 24 74 6e 2e 32 38 20 7b   pager1-$tn.28 {
1890: 20 73 71 6c 33 20 7b 20 53 45 4c 45 43 54 20 2a   sql3 { SELECT *
18a0: 20 46 52 4f 4d 20 74 31 20 7d 20 7d 20 7b 32 31   FROM t1 } } {21
18b0: 20 6f 6e 65 20 32 32 20 74 77 6f 20 32 33 20 74   one 22 two 23 t
18c0: 68 72 65 65 7d 0a 7d 0a 0a 64 6f 5f 74 65 73 74  hree}.}..do_test
18d0: 20 70 61 67 65 72 31 2d 33 2e 31 20 7b 0a 20 20   pager1-3.1 {.  
18e0: 66 61 75 6c 74 73 69 6d 5f 64 65 6c 65 74 65 5f  faultsim_delete_
18f0: 61 6e 64 5f 72 65 6f 70 65 6e 0a 20 20 65 78 65  and_reopen.  exe
1900: 63 73 71 6c 20 7b 0a 20 20 20 20 43 52 45 41 54  csql {.    CREAT
1910: 45 20 54 41 42 4c 45 20 74 31 28 61 20 50 52 49  E TABLE t1(a PRI
1920: 4d 41 52 59 20 4b 45 59 2c 20 62 29 3b 0a 20 20  MARY KEY, b);.  
1930: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 63    CREATE TABLE c
1940: 6f 75 6e 74 65 72 28 0a 20 20 20 20 20 20 69 20  ounter(.      i 
1950: 43 48 45 43 4b 20 28 69 3c 35 29 2c 20 0a 20 20  CHECK (i<5), .  
1960: 20 20 20 20 75 20 43 48 45 43 4b 20 28 75 3c 31      u CHECK (u<1
1970: 30 29 0a 20 20 20 20 29 3b 0a 20 20 20 20 49 4e  0).    );.    IN
1980: 53 45 52 54 20 49 4e 54 4f 20 63 6f 75 6e 74 65  SERT INTO counte
1990: 72 20 56 41 4c 55 45 53 28 30 2c 20 30 29 3b 0a  r VALUES(0, 0);.
19a0: 20 20 20 20 43 52 45 41 54 45 20 54 52 49 47 47      CREATE TRIGG
19b0: 45 52 20 74 72 31 20 41 46 54 45 52 20 49 4e 53  ER tr1 AFTER INS
19c0: 45 52 54 20 4f 4e 20 74 31 20 42 45 47 49 4e 0a  ERT ON t1 BEGIN.
19d0: 20 20 20 20 20 20 55 50 44 41 54 45 20 63 6f 75        UPDATE cou
19e0: 6e 74 65 72 20 53 45 54 20 69 20 3d 20 69 2b 31  nter SET i = i+1
19f0: 3b 0a 20 20 20 20 45 4e 44 3b 0a 20 20 20 20 43  ;.    END;.    C
1a00: 52 45 41 54 45 20 54 52 49 47 47 45 52 20 74 72  REATE TRIGGER tr
1a10: 32 20 41 46 54 45 52 20 55 50 44 41 54 45 20 4f  2 AFTER UPDATE O
1a20: 4e 20 74 31 20 42 45 47 49 4e 0a 20 20 20 20 20  N t1 BEGIN.     
1a30: 20 55 50 44 41 54 45 20 63 6f 75 6e 74 65 72 20   UPDATE counter 
1a40: 53 45 54 20 75 20 3d 20 75 2b 31 3b 0a 20 20 20  SET u = u+1;.   
1a50: 20 45 4e 44 3b 0a 20 20 7d 0a 20 20 65 78 65 63   END;.  }.  exec
1a60: 73 71 6c 20 7b 20 53 45 4c 45 43 54 20 2a 20 46  sql { SELECT * F
1a70: 52 4f 4d 20 63 6f 75 6e 74 65 72 20 7d 0a 7d 20  ROM counter }.} 
1a80: 7b 30 20 30 7d 0a 0a 64 6f 5f 65 78 65 63 73 71  {0 0}..do_execsq
1a90: 6c 5f 74 65 73 74 20 70 61 67 65 72 31 2d 33 2e  l_test pager1-3.
1aa0: 32 20 7b 0a 20 20 42 45 47 49 4e 3b 0a 20 20 20  2 {.  BEGIN;.   
1ab0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
1ac0: 56 41 4c 55 45 53 28 31 2c 20 72 61 6e 64 6f 6d  VALUES(1, random
1ad0: 62 6c 6f 62 28 31 35 30 30 29 29 3b 0a 20 20 20  blob(1500));.   
1ae0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
1af0: 56 41 4c 55 45 53 28 32 2c 20 72 61 6e 64 6f 6d  VALUES(2, random
1b00: 62 6c 6f 62 28 31 35 30 30 29 29 3b 0a 20 20 20  blob(1500));.   
1b10: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
1b20: 56 41 4c 55 45 53 28 33 2c 20 72 61 6e 64 6f 6d  VALUES(3, random
1b30: 62 6c 6f 62 28 31 35 30 30 29 29 3b 0a 20 20 20  blob(1500));.   
1b40: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 63   SELECT * FROM c
1b50: 6f 75 6e 74 65 72 3b 0a 7d 20 7b 33 20 30 7d 0a  ounter;.} {3 0}.
1b60: 64 6f 5f 63 61 74 63 68 73 71 6c 5f 74 65 73 74  do_catchsql_test
1b70: 20 70 61 67 65 72 31 2d 33 2e 33 20 7b 0a 20 20   pager1-3.3 {.  
1b80: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31    INSERT INTO t1
1b90: 20 53 45 4c 45 43 54 20 61 2b 33 2c 20 72 61 6e   SELECT a+3, ran
1ba0: 64 6f 6d 62 6c 6f 62 28 31 35 30 30 29 20 46 52  domblob(1500) FR
1bb0: 4f 4d 20 74 31 0a 7d 20 7b 31 20 7b 63 6f 6e 73  OM t1.} {1 {cons
1bc0: 74 72 61 69 6e 74 20 66 61 69 6c 65 64 7d 7d 0a  traint failed}}.
1bd0: 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20  do_execsql_test 
1be0: 70 61 67 65 72 31 2d 33 2e 34 20 7b 20 53 45 4c  pager1-3.4 { SEL
1bf0: 45 43 54 20 2a 20 46 52 4f 4d 20 63 6f 75 6e 74  ECT * FROM count
1c00: 65 72 20 7d 20 7b 33 20 30 7d 0a 64 6f 5f 65 78  er } {3 0}.do_ex
1c10: 65 63 73 71 6c 5f 74 65 73 74 20 70 61 67 65 72  ecsql_test pager
1c20: 31 2d 33 2e 35 20 7b 20 53 45 4c 45 43 54 20 61  1-3.5 { SELECT a
1c30: 20 46 52 4f 4d 20 74 31 20 7d 20 7b 31 20 32 20   FROM t1 } {1 2 
1c40: 33 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65  3}.do_execsql_te
1c50: 73 74 20 70 61 67 65 72 31 2d 33 2e 36 20 7b 20  st pager1-3.6 { 
1c60: 43 4f 4d 4d 49 54 20 7d 20 7b 7d 0a 0a 66 69 6e  COMMIT } {}..fin
1c70: 69 73 68 5f 74 65 73 74 0a 0a                    ish_test..