/ Hex Artifact Content
Login

Artifact 65b98e8812489e157a2bd51fb44c520f6bc76e32:


0000: 23 20 32 30 30 31 20 53 65 70 74 65 6d 62 65 72  # 2001 September
0010: 20 31 35 0a 23 0a 23 20 54 68 65 20 61 75 74 68   15.#.# The auth
0020: 6f 72 20 64 69 73 63 6c 61 69 6d 73 20 63 6f 70  or disclaims cop
0030: 79 72 69 67 68 74 20 74 6f 20 74 68 69 73 20 73  yright to this s
0040: 6f 75 72 63 65 20 63 6f 64 65 2e 20 20 49 6e 20  ource code.  In 
0050: 70 6c 61 63 65 20 6f 66 0a 23 20 61 20 6c 65 67  place of.# a leg
0060: 61 6c 20 6e 6f 74 69 63 65 2c 20 68 65 72 65 20  al notice, here 
0070: 69 73 20 61 20 62 6c 65 73 73 69 6e 67 3a 0a 23  is a blessing:.#
0080: 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 64 6f  .#    May you do
0090: 20 67 6f 6f 64 20 61 6e 64 20 6e 6f 74 20 65 76   good and not ev
00a0: 69 6c 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75  il..#    May you
00b0: 20 66 69 6e 64 20 66 6f 72 67 69 76 65 6e 65 73   find forgivenes
00c0: 73 20 66 6f 72 20 79 6f 75 72 73 65 6c 66 20 61  s for yourself a
00d0: 6e 64 20 66 6f 72 67 69 76 65 20 6f 74 68 65 72  nd forgive other
00e0: 73 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20  s..#    May you 
00f0: 73 68 61 72 65 20 66 72 65 65 6c 79 2c 20 6e 65  share freely, ne
0100: 76 65 72 20 74 61 6b 69 6e 67 20 6d 6f 72 65 20  ver taking more 
0110: 74 68 61 6e 20 79 6f 75 20 67 69 76 65 2e 0a 23  than you give..#
0120: 0a 23 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  .#**************
0130: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0140: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0150: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0160: 2a 2a 2a 2a 2a 2a 2a 2a 2a 0a 23 20 54 68 69 73  *********.# This
0170: 20 66 69 6c 65 20 69 6d 70 6c 65 6d 65 6e 74 73   file implements
0180: 20 72 65 67 72 65 73 73 69 6f 6e 20 74 65 73 74   regression test
0190: 73 20 66 6f 72 20 53 51 4c 69 74 65 20 6c 69 62  s for SQLite lib
01a0: 72 61 72 79 2e 20 20 54 68 65 0a 23 20 66 6f 63  rary.  The.# foc
01b0: 75 73 20 6f 66 20 74 68 69 73 20 73 63 72 69 70  us of this scrip
01c0: 74 20 69 73 20 64 61 74 61 62 61 73 65 20 6c 6f  t is database lo
01d0: 63 6b 73 2e 0a 23 0a 23 20 24 49 64 3a 20 6c 6f  cks..#.# $Id: lo
01e0: 63 6b 2e 74 65 73 74 2c 76 20 31 2e 32 33 20 32  ck.test,v 1.23 2
01f0: 30 30 34 2f 30 36 2f 31 30 20 30 30 3a 32 39 3a  004/06/10 00:29:
0200: 31 32 20 64 72 68 20 45 78 70 20 24 0a 0a 0a 73  12 drh Exp $...s
0210: 65 74 20 74 65 73 74 64 69 72 20 5b 66 69 6c 65  et testdir [file
0220: 20 64 69 72 6e 61 6d 65 20 24 61 72 67 76 30 5d   dirname $argv0]
0230: 0a 73 6f 75 72 63 65 20 24 74 65 73 74 64 69 72  .source $testdir
0240: 2f 74 65 73 74 65 72 2e 74 63 6c 0a 0a 23 20 43  /tester.tcl..# C
0250: 72 65 61 74 65 20 61 6e 20 61 6c 74 65 72 6e 61  reate an alterna
0260: 74 69 76 65 20 63 6f 6e 6e 65 63 74 69 6f 6e 20  tive connection 
0270: 74 6f 20 74 68 65 20 64 61 74 61 62 61 73 65 0a  to the database.
0280: 23 0a 64 6f 5f 74 65 73 74 20 6c 6f 63 6b 2d 31  #.do_test lock-1
0290: 2e 30 20 7b 0a 20 20 73 71 6c 69 74 65 20 64 62  .0 {.  sqlite db
02a0: 32 20 2e 2f 74 65 73 74 2e 64 62 0a 20 20 73 65  2 ./test.db.  se
02b0: 74 20 64 75 6d 6d 79 20 7b 7d 0a 7d 20 7b 7d 0a  t dummy {}.} {}.
02c0: 64 6f 5f 74 65 73 74 20 6c 6f 63 6b 2d 31 2e 31  do_test lock-1.1
02d0: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 53 45   {.  execsql {SE
02e0: 4c 45 43 54 20 6e 61 6d 65 20 46 52 4f 4d 20 73  LECT name FROM s
02f0: 71 6c 69 74 65 5f 6d 61 73 74 65 72 20 57 48 45  qlite_master WHE
0300: 52 45 20 74 79 70 65 3d 27 74 61 62 6c 65 27 20  RE type='table' 
0310: 4f 52 44 45 52 20 42 59 20 6e 61 6d 65 7d 0a 7d  ORDER BY name}.}
0320: 20 7b 7d 0a 64 6f 5f 74 65 73 74 20 6c 6f 63 6b   {}.do_test lock
0330: 2d 31 2e 32 20 7b 0a 20 20 65 78 65 63 73 71 6c  -1.2 {.  execsql
0340: 20 7b 53 45 4c 45 43 54 20 6e 61 6d 65 20 46 52   {SELECT name FR
0350: 4f 4d 20 73 71 6c 69 74 65 5f 6d 61 73 74 65 72  OM sqlite_master
0360: 20 57 48 45 52 45 20 74 79 70 65 3d 27 74 61 62   WHERE type='tab
0370: 6c 65 27 20 4f 52 44 45 52 20 42 59 20 6e 61 6d  le' ORDER BY nam
0380: 65 7d 20 64 62 32 0a 7d 20 7b 7d 0a 64 6f 5f 74  e} db2.} {}.do_t
0390: 65 73 74 20 6c 6f 63 6b 2d 31 2e 33 20 7b 0a 20  est lock-1.3 {. 
03a0: 20 65 78 65 63 73 71 6c 20 7b 43 52 45 41 54 45   execsql {CREATE
03b0: 20 54 41 42 4c 45 20 74 31 28 61 20 69 6e 74 2c   TABLE t1(a int,
03c0: 20 62 20 69 6e 74 29 7d 0a 20 20 65 78 65 63 73   b int)}.  execs
03d0: 71 6c 20 7b 53 45 4c 45 43 54 20 6e 61 6d 65 20  ql {SELECT name 
03e0: 46 52 4f 4d 20 73 71 6c 69 74 65 5f 6d 61 73 74  FROM sqlite_mast
03f0: 65 72 20 57 48 45 52 45 20 74 79 70 65 3d 27 74  er WHERE type='t
0400: 61 62 6c 65 27 20 4f 52 44 45 52 20 42 59 20 6e  able' ORDER BY n
0410: 61 6d 65 7d 0a 7d 20 7b 74 31 7d 0a 64 6f 5f 74  ame}.} {t1}.do_t
0420: 65 73 74 20 6c 6f 63 6b 2d 31 2e 35 20 7b 0a 20  est lock-1.5 {. 
0430: 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20   catchsql {.    
0440: 20 53 45 4c 45 43 54 20 6e 61 6d 65 20 46 52 4f   SELECT name FRO
0450: 4d 20 73 71 6c 69 74 65 5f 6d 61 73 74 65 72 20  M sqlite_master 
0460: 57 48 45 52 45 20 74 79 70 65 3d 27 74 61 62 6c  WHERE type='tabl
0470: 65 27 20 4f 52 44 45 52 20 42 59 20 6e 61 6d 65  e' ORDER BY name
0480: 0a 20 20 7d 20 64 62 32 0a 7d 20 7b 30 20 74 31  .  } db2.} {0 t1
0490: 7d 0a 0a 64 6f 5f 74 65 73 74 20 6c 6f 63 6b 2d  }..do_test lock-
04a0: 31 2e 36 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  1.6 {.  execsql 
04b0: 7b 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20  {INSERT INTO t1 
04c0: 56 41 4c 55 45 53 28 31 2c 32 29 7d 0a 20 20 65  VALUES(1,2)}.  e
04d0: 78 65 63 73 71 6c 20 7b 53 45 4c 45 43 54 20 2a  xecsql {SELECT *
04e0: 20 46 52 4f 4d 20 74 31 7d 0a 7d 20 7b 31 20 32   FROM t1}.} {1 2
04f0: 7d 0a 64 6f 5f 74 65 73 74 20 6c 6f 63 6b 2d 31  }.do_test lock-1
0500: 2e 37 2e 31 20 7b 0a 20 20 63 61 74 63 68 73 71  .7.1 {.  catchsq
0510: 6c 20 7b 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d  l {SELECT * FROM
0520: 20 74 31 7d 20 64 62 32 0a 7d 20 7b 31 20 7b 6e   t1} db2.} {1 {n
0530: 6f 20 73 75 63 68 20 74 61 62 6c 65 3a 20 74 31  o such table: t1
0540: 7d 7d 0a 64 6f 5f 74 65 73 74 20 6c 6f 63 6b 2d  }}.do_test lock-
0550: 31 2e 37 2e 32 20 7b 0a 20 20 63 61 74 63 68 73  1.7.2 {.  catchs
0560: 71 6c 20 7b 53 45 4c 45 43 54 20 2a 20 46 52 4f  ql {SELECT * FRO
0570: 4d 20 74 31 7d 20 64 62 32 0a 7d 20 7b 30 20 7b  M t1} db2.} {0 {
0580: 31 20 32 7d 7d 0a 64 6f 5f 74 65 73 74 20 6c 6f  1 2}}.do_test lo
0590: 63 6b 2d 31 2e 38 20 7b 0a 20 20 65 78 65 63 73  ck-1.8 {.  execs
05a0: 71 6c 20 7b 55 50 44 41 54 45 20 74 31 20 53 45  ql {UPDATE t1 SE
05b0: 54 20 61 3d 62 2c 20 62 3d 61 7d 20 64 62 32 0a  T a=b, b=a} db2.
05c0: 20 20 65 78 65 63 73 71 6c 20 7b 53 45 4c 45 43    execsql {SELEC
05d0: 54 20 2a 20 46 52 4f 4d 20 74 31 7d 20 64 62 32  T * FROM t1} db2
05e0: 0a 7d 20 7b 32 20 31 7d 0a 64 6f 5f 74 65 73 74  .} {2 1}.do_test
05f0: 20 6c 6f 63 6b 2d 31 2e 39 20 7b 0a 20 20 65 78   lock-1.9 {.  ex
0600: 65 63 73 71 6c 20 7b 53 45 4c 45 43 54 20 2a 20  ecsql {SELECT * 
0610: 46 52 4f 4d 20 74 31 7d 0a 7d 20 7b 32 20 31 7d  FROM t1}.} {2 1}
0620: 0a 64 6f 5f 74 65 73 74 20 6c 6f 63 6b 2d 31 2e  .do_test lock-1.
0630: 31 30 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  10 {.  execsql {
0640: 42 45 47 49 4e 20 54 52 41 4e 53 41 43 54 49 4f  BEGIN TRANSACTIO
0650: 4e 7d 0a 20 20 65 78 65 63 73 71 6c 20 7b 55 50  N}.  execsql {UP
0660: 44 41 54 45 20 74 31 20 53 45 54 20 61 20 3d 20  DATE t1 SET a = 
0670: 30 20 57 48 45 52 45 20 30 7d 0a 20 20 65 78 65  0 WHERE 0}.  exe
0680: 63 73 71 6c 20 7b 53 45 4c 45 43 54 20 2a 20 46  csql {SELECT * F
0690: 52 4f 4d 20 74 31 7d 0a 7d 20 7b 32 20 31 7d 0a  ROM t1}.} {2 1}.
06a0: 64 6f 5f 74 65 73 74 20 6c 6f 63 6b 2d 31 2e 31  do_test lock-1.1
06b0: 31 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b  1 {.  catchsql {
06c0: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31  SELECT * FROM t1
06d0: 7d 20 64 62 32 0a 7d 20 7b 30 20 7b 32 20 31 7d  } db2.} {0 {2 1}
06e0: 7d 0a 64 6f 5f 74 65 73 74 20 6c 6f 63 6b 2d 31  }.do_test lock-1
06f0: 2e 31 32 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  .12 {.  execsql 
0700: 7b 52 4f 4c 4c 42 41 43 4b 7d 0a 20 20 63 61 74  {ROLLBACK}.  cat
0710: 63 68 73 71 6c 20 7b 53 45 4c 45 43 54 20 2a 20  chsql {SELECT * 
0720: 46 52 4f 4d 20 74 31 7d 0a 7d 20 7b 30 20 7b 32  FROM t1}.} {0 {2
0730: 20 31 7d 7d 0a 0a 64 6f 5f 74 65 73 74 20 6c 6f   1}}..do_test lo
0740: 63 6b 2d 31 2e 31 33 20 7b 0a 20 20 65 78 65 63  ck-1.13 {.  exec
0750: 73 71 6c 20 7b 43 52 45 41 54 45 20 54 41 42 4c  sql {CREATE TABL
0760: 45 20 74 32 28 78 20 69 6e 74 2c 20 79 20 69 6e  E t2(x int, y in
0770: 74 29 7d 0a 20 20 65 78 65 63 73 71 6c 20 7b 49  t)}.  execsql {I
0780: 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20 56 41  NSERT INTO t2 VA
0790: 4c 55 45 53 28 38 2c 39 29 7d 0a 20 20 65 78 65  LUES(8,9)}.  exe
07a0: 63 73 71 6c 20 7b 53 45 4c 45 43 54 20 2a 20 46  csql {SELECT * F
07b0: 52 4f 4d 20 74 32 7d 0a 7d 20 7b 38 20 39 7d 0a  ROM t2}.} {8 9}.
07c0: 64 6f 5f 74 65 73 74 20 6c 6f 63 6b 2d 31 2e 31  do_test lock-1.1
07d0: 34 2e 31 20 7b 0a 20 20 63 61 74 63 68 73 71 6c  4.1 {.  catchsql
07e0: 20 7b 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20   {SELECT * FROM 
07f0: 74 32 7d 20 64 62 32 0a 7d 20 7b 31 20 7b 6e 6f  t2} db2.} {1 {no
0800: 20 73 75 63 68 20 74 61 62 6c 65 3a 20 74 32 7d   such table: t2}
0810: 7d 0a 64 6f 5f 74 65 73 74 20 6c 6f 63 6b 2d 31  }.do_test lock-1
0820: 2e 31 34 2e 32 20 7b 0a 20 20 63 61 74 63 68 73  .14.2 {.  catchs
0830: 71 6c 20 7b 53 45 4c 45 43 54 20 2a 20 46 52 4f  ql {SELECT * FRO
0840: 4d 20 74 31 7d 20 64 62 32 0a 7d 20 7b 30 20 7b  M t1} db2.} {0 {
0850: 32 20 31 7d 7d 0a 64 6f 5f 74 65 73 74 20 6c 6f  2 1}}.do_test lo
0860: 63 6b 2d 31 2e 31 35 20 7b 0a 20 20 63 61 74 63  ck-1.15 {.  catc
0870: 68 73 71 6c 20 7b 53 45 4c 45 43 54 20 2a 20 46  hsql {SELECT * F
0880: 52 4f 4d 20 74 32 7d 20 64 62 32 0a 7d 20 7b 30  ROM t2} db2.} {0
0890: 20 7b 38 20 39 7d 7d 0a 0a 64 6f 5f 74 65 73 74   {8 9}}..do_test
08a0: 20 6c 6f 63 6b 2d 31 2e 31 36 20 7b 0a 20 20 64   lock-1.16 {.  d
08b0: 62 20 65 76 61 6c 20 7b 53 45 4c 45 43 54 20 2a  b eval {SELECT *
08c0: 20 46 52 4f 4d 20 74 31 7d 20 71 76 20 7b 0a 20   FROM t1} qv {. 
08d0: 20 20 20 73 65 74 20 78 20 5b 64 62 20 65 76 61     set x [db eva
08e0: 6c 20 7b 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d  l {SELECT * FROM
08f0: 20 74 31 7d 5d 0a 20 20 7d 0a 20 20 73 65 74 20   t1}].  }.  set 
0900: 78 0a 7d 20 7b 32 20 31 7d 0a 64 6f 5f 74 65 73  x.} {2 1}.do_tes
0910: 74 20 6c 6f 63 6b 2d 31 2e 31 37 20 7b 0a 20 20  t lock-1.17 {.  
0920: 64 62 20 65 76 61 6c 20 7b 53 45 4c 45 43 54 20  db eval {SELECT 
0930: 2a 20 46 52 4f 4d 20 74 31 7d 20 71 76 20 7b 0a  * FROM t1} qv {.
0940: 20 20 20 20 73 65 74 20 78 20 5b 64 62 20 65 76      set x [db ev
0950: 61 6c 20 7b 53 45 4c 45 43 54 20 2a 20 46 52 4f  al {SELECT * FRO
0960: 4d 20 74 32 7d 5d 0a 20 20 7d 0a 20 20 73 65 74  M t2}].  }.  set
0970: 20 78 0a 7d 20 7b 38 20 39 7d 0a 0a 23 20 59 6f   x.} {8 9}..# Yo
0980: 75 20 63 61 6e 6e 6f 74 20 55 50 44 41 54 45 20  u cannot UPDATE 
0990: 61 20 74 61 62 6c 65 20 66 72 6f 6d 20 77 69 74  a table from wit
09a0: 68 69 6e 20 74 68 65 20 63 61 6c 6c 62 61 63 6b  hin the callback
09b0: 20 6f 66 20 61 20 53 45 4c 45 43 54 0a 23 20 6f   of a SELECT.# o
09c0: 6e 20 74 68 61 74 20 73 61 6d 65 20 74 61 62 6c  n that same tabl
09d0: 65 20 62 65 63 61 75 73 65 20 74 68 65 20 53 45  e because the SE
09e0: 4c 45 43 54 20 68 61 73 20 74 68 65 20 74 61 62  LECT has the tab
09f0: 6c 65 20 6c 6f 63 6b 65 64 2e 0a 23 0a 64 6f 5f  le locked..#.do_
0a00: 74 65 73 74 20 6c 6f 63 6b 2d 31 2e 31 38 20 7b  test lock-1.18 {
0a10: 0a 20 20 64 62 20 65 76 61 6c 20 7b 53 45 4c 45  .  db eval {SELE
0a20: 43 54 20 2a 20 46 52 4f 4d 20 74 31 7d 20 71 76  CT * FROM t1} qv
0a30: 20 7b 0a 20 20 20 20 73 65 74 20 72 20 5b 63 61   {.    set r [ca
0a40: 74 63 68 20 7b 64 62 20 65 76 61 6c 20 7b 55 50  tch {db eval {UP
0a50: 44 41 54 45 20 74 31 20 53 45 54 20 61 3d 62 2c  DATE t1 SET a=b,
0a60: 20 62 3d 61 7d 7d 20 6d 73 67 5d 0a 20 20 20 20   b=a}} msg].    
0a70: 6c 61 70 70 65 6e 64 20 72 20 24 6d 73 67 0a 20  lappend r $msg. 
0a80: 20 7d 0a 20 20 73 65 74 20 72 0a 7d 20 7b 31 20   }.  set r.} {1 
0a90: 7b 64 61 74 61 62 61 73 65 20 74 61 62 6c 65 20  {database table 
0aa0: 69 73 20 6c 6f 63 6b 65 64 7d 7d 0a 0a 23 20 42  is locked}}..# B
0ab0: 75 74 20 79 6f 75 20 63 61 6e 20 55 50 44 41 54  ut you can UPDAT
0ac0: 45 20 61 20 64 69 66 66 65 72 65 6e 74 20 74 61  E a different ta
0ad0: 62 6c 65 20 66 72 6f 6d 20 74 68 65 20 6f 6e 65  ble from the one
0ae0: 20 74 68 61 74 20 69 73 20 75 73 65 64 20 69 6e   that is used in
0af0: 0a 23 20 74 68 65 20 53 45 4c 45 43 54 2e 0a 23  .# the SELECT..#
0b00: 0a 64 6f 5f 74 65 73 74 20 6c 6f 63 6b 2d 31 2e  .do_test lock-1.
0b10: 31 39 20 7b 0a 20 20 64 62 20 65 76 61 6c 20 7b  19 {.  db eval {
0b20: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31  SELECT * FROM t1
0b30: 7d 20 71 76 20 7b 0a 20 20 20 20 73 65 74 20 72  } qv {.    set r
0b40: 20 5b 63 61 74 63 68 20 7b 64 62 20 65 76 61 6c   [catch {db eval
0b50: 20 7b 55 50 44 41 54 45 20 74 32 20 53 45 54 20   {UPDATE t2 SET 
0b60: 78 3d 79 2c 20 79 3d 78 7d 7d 20 6d 73 67 5d 0a  x=y, y=x}} msg].
0b70: 20 20 20 20 6c 61 70 70 65 6e 64 20 72 20 24 6d      lappend r $m
0b80: 73 67 0a 20 20 7d 0a 20 20 73 65 74 20 72 0a 7d  sg.  }.  set r.}
0b90: 20 7b 30 20 7b 7d 7d 0a 64 6f 5f 74 65 73 74 20   {0 {}}.do_test 
0ba0: 6c 6f 63 6b 2d 31 2e 32 30 20 7b 0a 20 20 65 78  lock-1.20 {.  ex
0bb0: 65 63 73 71 6c 20 7b 53 45 4c 45 43 54 20 2a 20  ecsql {SELECT * 
0bc0: 46 52 4f 4d 20 74 32 7d 0a 7d 20 7b 39 20 38 7d  FROM t2}.} {9 8}
0bd0: 0a 0a 23 20 49 74 20 69 73 20 70 6f 73 73 69 62  ..# It is possib
0be0: 6c 65 20 74 6f 20 64 6f 20 61 20 53 45 4c 45 43  le to do a SELEC
0bf0: 54 20 6f 66 20 74 68 65 20 73 61 6d 65 20 74 61  T of the same ta
0c00: 62 6c 65 20 77 69 74 68 69 6e 20 74 68 65 0a 23  ble within the.#
0c10: 20 63 61 6c 6c 62 61 63 6b 20 6f 66 20 61 6e 6f   callback of ano
0c20: 74 68 65 72 20 53 45 4c 45 43 54 20 6f 6e 20 74  ther SELECT on t
0c30: 68 61 74 20 73 61 6d 65 20 74 61 62 6c 65 20 62  hat same table b
0c40: 65 63 61 75 73 65 20 74 77 6f 0a 23 20 6f 72 20  ecause two.# or 
0c50: 6d 6f 72 65 20 72 65 61 64 2d 6f 6e 6c 79 20 63  more read-only c
0c60: 75 72 73 6f 72 73 20 63 61 6e 20 62 65 20 6f 70  ursors can be op
0c70: 65 6e 20 61 74 20 6f 6e 63 65 2e 0a 23 0a 64 6f  en at once..#.do
0c80: 5f 74 65 73 74 20 6c 6f 63 6b 2d 31 2e 32 31 20  _test lock-1.21 
0c90: 7b 0a 20 20 64 62 20 65 76 61 6c 20 7b 53 45 4c  {.  db eval {SEL
0ca0: 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 7d 20 71  ECT * FROM t1} q
0cb0: 76 20 7b 0a 20 20 20 20 73 65 74 20 72 20 5b 63  v {.    set r [c
0cc0: 61 74 63 68 20 7b 64 62 20 65 76 61 6c 20 7b 53  atch {db eval {S
0cd0: 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31 7d  ELECT a FROM t1}
0ce0: 7d 20 6d 73 67 5d 0a 20 20 20 20 6c 61 70 70 65  } msg].    lappe
0cf0: 6e 64 20 72 20 24 6d 73 67 0a 20 20 7d 0a 20 20  nd r $msg.  }.  
0d00: 73 65 74 20 72 0a 7d 20 7b 30 20 32 7d 0a 0a 23  set r.} {0 2}..#
0d10: 20 55 6e 64 65 72 20 55 4e 49 58 20 79 6f 75 20   Under UNIX you 
0d20: 63 61 6e 20 64 6f 20 74 77 6f 20 53 45 4c 45 43  can do two SELEC
0d30: 54 73 20 61 74 20 6f 6e 63 65 20 77 69 74 68 20  Ts at once with 
0d40: 64 69 66 66 65 72 65 6e 74 20 64 61 74 61 62 61  different databa
0d50: 73 65 0a 23 20 63 6f 6e 6e 65 63 74 69 6f 6e 73  se.# connections
0d60: 2c 20 62 65 63 61 75 73 65 20 55 4e 49 58 20 73  , because UNIX s
0d70: 75 70 70 6f 72 74 73 20 72 65 61 64 65 72 2f 77  upports reader/w
0d80: 72 69 74 65 72 20 6c 6f 63 6b 73 2e 20 20 55 6e  riter locks.  Un
0d90: 64 65 72 20 77 69 6e 64 6f 77 73 2c 0a 23 20 74  der windows,.# t
0da0: 68 69 73 20 69 73 20 6e 6f 74 20 70 6f 73 73 69  his is not possi
0db0: 62 6c 65 2e 0a 23 0a 69 66 20 7b 24 3a 3a 74 63  ble..#.if {$::tc
0dc0: 6c 5f 70 6c 61 74 66 6f 72 6d 28 70 6c 61 74 66  l_platform(platf
0dd0: 6f 72 6d 29 3d 3d 22 75 6e 69 78 22 7d 20 7b 0a  orm)=="unix"} {.
0de0: 20 20 64 6f 5f 74 65 73 74 20 6c 6f 63 6b 2d 31    do_test lock-1
0df0: 2e 32 32 20 7b 0a 20 20 20 20 64 62 20 65 76 61  .22 {.    db eva
0e00: 6c 20 7b 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d  l {SELECT * FROM
0e10: 20 74 31 7d 20 71 76 20 7b 0a 20 20 20 20 20 20   t1} qv {.      
0e20: 73 65 74 20 72 20 5b 63 61 74 63 68 20 7b 64 62  set r [catch {db
0e30: 32 20 65 76 61 6c 20 7b 53 45 4c 45 43 54 20 61  2 eval {SELECT a
0e40: 20 46 52 4f 4d 20 74 31 7d 7d 20 6d 73 67 5d 0a   FROM t1}} msg].
0e50: 20 20 20 20 20 20 6c 61 70 70 65 6e 64 20 72 20        lappend r 
0e60: 24 6d 73 67 0a 20 20 20 20 7d 0a 20 20 20 20 73  $msg.    }.    s
0e70: 65 74 20 72 0a 20 20 7d 20 7b 30 20 32 7d 0a 7d  et r.  } {0 2}.}
0e80: 0a 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63 6b  .integrity_check
0e90: 20 6c 6f 63 6b 2d 31 2e 32 33 0a 0a 23 20 49 66   lock-1.23..# If
0ea0: 20 6f 6e 65 20 74 68 72 65 61 64 20 68 61 73 20   one thread has 
0eb0: 61 20 74 72 61 6e 73 61 63 74 69 6f 6e 20 61 6e  a transaction an
0ec0: 6f 74 68 65 72 20 74 68 72 65 61 64 20 63 61 6e  other thread can
0ed0: 6e 6f 74 20 73 74 61 72 74 0a 23 20 61 20 74 72  not start.# a tr
0ee0: 61 6e 73 61 63 74 69 6f 6e 2e 20 20 2d 3e 20 4e  ansaction.  -> N
0ef0: 6f 74 20 74 72 75 65 20 69 6e 20 76 65 72 73 69  ot true in versi
0f00: 6f 6e 20 33 2e 30 2e 20 20 42 75 74 20 69 66 20  on 3.0.  But if 
0f10: 6f 6e 65 20 74 68 72 65 61 64 0a 23 20 61 73 20  one thread.# as 
0f20: 61 20 52 45 53 45 52 56 45 44 20 6c 6f 63 6b 20  a RESERVED lock 
0f30: 61 6e 6f 74 68 65 72 20 74 68 72 65 61 64 20 63  another thread c
0f40: 61 6e 6e 6f 74 20 61 63 71 75 69 72 65 20 6f 6e  annot acquire on
0f50: 65 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 6c 6f 63  e..#.do_test loc
0f60: 6b 2d 32 2e 31 20 7b 0a 20 20 65 78 65 63 73 71  k-2.1 {.  execsq
0f70: 6c 20 7b 42 45 47 49 4e 20 54 52 41 4e 53 41 43  l {BEGIN TRANSAC
0f80: 54 49 4f 4e 7d 0a 20 20 65 78 65 63 73 71 6c 20  TION}.  execsql 
0f90: 7b 55 50 44 41 54 45 20 74 31 20 53 45 54 20 61  {UPDATE t1 SET a
0fa0: 20 3d 20 30 20 57 48 45 52 45 20 30 7d 0a 20 20   = 0 WHERE 0}.  
0fb0: 65 78 65 63 73 71 6c 20 7b 42 45 47 49 4e 20 54  execsql {BEGIN T
0fc0: 52 41 4e 53 41 43 54 49 4f 4e 7d 20 64 62 32 0a  RANSACTION} db2.
0fd0: 20 20 73 65 74 20 72 20 5b 63 61 74 63 68 20 7b    set r [catch {
0fe0: 65 78 65 63 73 71 6c 20 7b 55 50 44 41 54 45 20  execsql {UPDATE 
0ff0: 74 31 20 53 45 54 20 61 20 3d 20 30 20 57 48 45  t1 SET a = 0 WHE
1000: 52 45 20 30 7d 20 64 62 32 7d 20 6d 73 67 5d 0a  RE 0} db2} msg].
1010: 20 20 65 78 65 63 73 71 6c 20 7b 52 4f 4c 4c 42    execsql {ROLLB
1020: 41 43 4b 7d 20 64 62 32 0a 20 20 6c 61 70 70 65  ACK} db2.  lappe
1030: 6e 64 20 72 20 24 6d 73 67 0a 7d 20 7b 31 20 7b  nd r $msg.} {1 {
1040: 64 61 74 61 62 61 73 65 20 69 73 20 6c 6f 63 6b  database is lock
1050: 65 64 7d 7d 0a 0a 23 20 41 20 74 68 72 65 61 64  ed}}..# A thread
1060: 20 63 61 6e 20 72 65 61 64 20 77 68 65 6e 20 61   can read when a
1070: 6e 6f 74 68 65 72 20 68 61 73 20 61 20 52 45 53  nother has a RES
1080: 45 52 56 45 44 20 6c 6f 63 6b 2e 0a 23 0a 64 6f  ERVED lock..#.do
1090: 5f 74 65 73 74 20 6c 6f 63 6b 2d 32 2e 32 20 7b  _test lock-2.2 {
10a0: 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 53 45 4c  .  catchsql {SEL
10b0: 45 43 54 20 2a 20 46 52 4f 4d 20 74 32 7d 20 64  ECT * FROM t2} d
10c0: 62 32 0a 7d 20 7b 30 20 7b 39 20 38 7d 7d 0a 0a  b2.} {0 {9 8}}..
10d0: 23 20 49 66 20 74 68 65 20 6f 74 68 65 72 20 74  # If the other t
10e0: 68 72 65 61 64 20 28 74 68 65 20 6f 6e 65 20 74  hread (the one t
10f0: 68 61 74 20 64 6f 65 73 20 6e 6f 74 20 68 6f 6c  hat does not hol
1100: 64 20 74 68 65 20 74 72 61 6e 73 61 63 74 69 6f  d the transactio
1110: 6e 20 77 69 74 68 0a 23 20 61 20 52 45 53 45 52  n with.# a RESER
1120: 56 45 44 20 6c 6f 63 6b 29 20 74 72 69 65 73 20  VED lock) tries 
1130: 74 6f 20 67 65 74 20 61 20 52 45 53 45 52 56 45  to get a RESERVE
1140: 44 20 6c 6f 63 6b 2c 20 77 65 20 67 65 74 20 61  D lock, we get a
1150: 20 62 75 73 79 20 63 61 6c 6c 62 61 63 6b 2e 0a   busy callback..
1160: 23 0a 64 6f 5f 74 65 73 74 20 6c 6f 63 6b 2d 32  #.do_test lock-2
1170: 2e 33 20 7b 0a 20 20 70 72 6f 63 20 63 61 6c 6c  .3 {.  proc call
1180: 62 61 63 6b 20 7b 61 72 67 73 7d 20 7b 0a 20 20  back {args} {.  
1190: 20 20 73 65 74 20 3a 3a 63 61 6c 6c 62 61 63 6b    set ::callback
11a0: 5f 76 61 6c 75 65 20 24 61 72 67 73 0a 20 20 20  _value $args.   
11b0: 20 62 72 65 61 6b 0a 20 20 7d 0a 20 20 73 65 74   break.  }.  set
11c0: 20 3a 3a 63 61 6c 6c 62 61 63 6b 5f 76 61 6c 75   ::callback_valu
11d0: 65 20 7b 7d 0a 20 20 64 62 32 20 62 75 73 79 20  e {}.  db2 busy 
11e0: 63 61 6c 6c 62 61 63 6b 0a 20 20 73 65 74 20 72  callback.  set r
11f0: 20 5b 63 61 74 63 68 20 7b 65 78 65 63 73 71 6c   [catch {execsql
1200: 20 7b 55 50 44 41 54 45 20 74 31 20 53 45 54 20   {UPDATE t1 SET 
1210: 61 3d 62 2c 20 62 3d 61 7d 20 64 62 32 7d 20 6d  a=b, b=a} db2} m
1220: 73 67 5d 0a 20 20 6c 61 70 70 65 6e 64 20 72 20  sg].  lappend r 
1230: 24 6d 73 67 0a 20 20 6c 61 70 70 65 6e 64 20 72  $msg.  lappend r
1240: 20 24 3a 3a 63 61 6c 6c 62 61 63 6b 5f 76 61 6c   $::callback_val
1250: 75 65 0a 7d 20 7b 31 20 7b 64 61 74 61 62 61 73  ue.} {1 {databas
1260: 65 20 69 73 20 6c 6f 63 6b 65 64 7d 20 7b 7b 7d  e is locked} {{}
1270: 20 31 7d 7d 0a 64 6f 5f 74 65 73 74 20 6c 6f 63   1}}.do_test loc
1280: 6b 2d 32 2e 34 20 7b 0a 20 20 70 72 6f 63 20 63  k-2.4 {.  proc c
1290: 61 6c 6c 62 61 63 6b 20 7b 66 69 6c 65 20 63 6f  allback {file co
12a0: 75 6e 74 7d 20 7b 0a 20 20 20 20 6c 61 70 70 65  unt} {.    lappe
12b0: 6e 64 20 3a 3a 63 61 6c 6c 62 61 63 6b 5f 76 61  nd ::callback_va
12c0: 6c 75 65 20 24 63 6f 75 6e 74 0a 20 20 20 20 69  lue $count.    i
12d0: 66 20 7b 24 63 6f 75 6e 74 3e 34 7d 20 62 72 65  f {$count>4} bre
12e0: 61 6b 0a 20 20 7d 0a 20 20 73 65 74 20 3a 3a 63  ak.  }.  set ::c
12f0: 61 6c 6c 62 61 63 6b 5f 76 61 6c 75 65 20 7b 7d  allback_value {}
1300: 0a 20 20 64 62 32 20 62 75 73 79 20 63 61 6c 6c  .  db2 busy call
1310: 62 61 63 6b 0a 20 20 73 65 74 20 72 20 5b 63 61  back.  set r [ca
1320: 74 63 68 20 7b 65 78 65 63 73 71 6c 20 7b 55 50  tch {execsql {UP
1330: 44 41 54 45 20 74 31 20 53 45 54 20 61 3d 62 2c  DATE t1 SET a=b,
1340: 20 62 3d 61 7d 20 64 62 32 7d 20 6d 73 67 5d 0a   b=a} db2} msg].
1350: 20 20 6c 61 70 70 65 6e 64 20 72 20 24 6d 73 67    lappend r $msg
1360: 0a 20 20 6c 61 70 70 65 6e 64 20 72 20 24 3a 3a  .  lappend r $::
1370: 63 61 6c 6c 62 61 63 6b 5f 76 61 6c 75 65 0a 7d  callback_value.}
1380: 20 7b 31 20 7b 64 61 74 61 62 61 73 65 20 69 73   {1 {database is
1390: 20 6c 6f 63 6b 65 64 7d 20 7b 31 20 32 20 33 20   locked} {1 2 3 
13a0: 34 20 35 7d 7d 0a 64 6f 5f 74 65 73 74 20 6c 6f  4 5}}.do_test lo
13b0: 63 6b 2d 32 2e 35 20 7b 0a 20 20 70 72 6f 63 20  ck-2.5 {.  proc 
13c0: 63 61 6c 6c 62 61 63 6b 20 7b 66 69 6c 65 20 63  callback {file c
13d0: 6f 75 6e 74 7d 20 7b 0a 20 20 20 20 6c 61 70 70  ount} {.    lapp
13e0: 65 6e 64 20 3a 3a 63 61 6c 6c 62 61 63 6b 5f 76  end ::callback_v
13f0: 61 6c 75 65 20 24 63 6f 75 6e 74 0a 20 20 20 20  alue $count.    
1400: 69 66 20 7b 24 63 6f 75 6e 74 3e 34 7d 20 62 72  if {$count>4} br
1410: 65 61 6b 0a 20 20 7d 0a 20 20 73 65 74 20 3a 3a  eak.  }.  set ::
1420: 63 61 6c 6c 62 61 63 6b 5f 76 61 6c 75 65 20 7b  callback_value {
1430: 7d 0a 20 20 64 62 32 20 62 75 73 79 20 63 61 6c  }.  db2 busy cal
1440: 6c 62 61 63 6b 0a 20 20 73 65 74 20 72 20 5b 63  lback.  set r [c
1450: 61 74 63 68 20 7b 65 78 65 63 73 71 6c 20 7b 53  atch {execsql {S
1460: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 7d  ELECT * FROM t1}
1470: 20 64 62 32 7d 20 6d 73 67 5d 0a 20 20 6c 61 70   db2} msg].  lap
1480: 70 65 6e 64 20 72 20 24 6d 73 67 0a 20 20 6c 61  pend r $msg.  la
1490: 70 70 65 6e 64 20 72 20 24 3a 3a 63 61 6c 6c 62  ppend r $::callb
14a0: 61 63 6b 5f 76 61 6c 75 65 0a 7d 20 7b 30 20 7b  ack_value.} {0 {
14b0: 32 20 31 7d 20 7b 7d 7d 0a 0a 23 20 49 6e 20 74  2 1} {}}..# In t
14c0: 68 69 73 20 74 65 73 74 2c 20 74 68 65 20 33 72  his test, the 3r
14d0: 64 20 69 6e 76 6f 63 61 74 69 6f 6e 20 6f 66 20  d invocation of 
14e0: 74 68 65 20 62 75 73 79 20 63 61 6c 6c 62 61 63  the busy callbac
14f0: 6b 20 63 61 75 73 65 73 0a 23 20 74 68 65 20 66  k causes.# the f
1500: 69 72 73 74 20 74 68 72 65 61 64 20 74 6f 20 72  irst thread to r
1510: 65 6c 65 61 73 65 20 69 74 73 20 74 72 61 6e 73  elease its trans
1520: 61 63 74 69 6f 6e 2e 20 20 54 68 61 74 20 61 6c  action.  That al
1530: 6c 6f 77 73 20 74 68 65 0a 23 20 73 65 63 6f 6e  lows the.# secon
1540: 64 20 74 68 72 65 61 64 20 74 6f 20 63 6f 6e 74  d thread to cont
1550: 69 6e 75 65 2e 0a 23 0a 64 6f 5f 74 65 73 74 20  inue..#.do_test 
1560: 6c 6f 63 6b 2d 32 2e 36 20 7b 0a 20 20 70 72 6f  lock-2.6 {.  pro
1570: 63 20 63 61 6c 6c 62 61 63 6b 20 7b 66 69 6c 65  c callback {file
1580: 20 63 6f 75 6e 74 7d 20 7b 0a 20 20 20 20 6c 61   count} {.    la
1590: 70 70 65 6e 64 20 3a 3a 63 61 6c 6c 62 61 63 6b  ppend ::callback
15a0: 5f 76 61 6c 75 65 20 24 63 6f 75 6e 74 0a 20 20  _value $count.  
15b0: 20 20 69 66 20 7b 24 63 6f 75 6e 74 3e 32 7d 20    if {$count>2} 
15c0: 7b 0a 20 20 20 20 20 20 65 78 65 63 73 71 6c 20  {.      execsql 
15d0: 7b 52 4f 4c 4c 42 41 43 4b 7d 0a 20 20 20 20 7d  {ROLLBACK}.    }
15e0: 0a 20 20 7d 0a 20 20 73 65 74 20 3a 3a 63 61 6c  .  }.  set ::cal
15f0: 6c 62 61 63 6b 5f 76 61 6c 75 65 20 7b 7d 0a 20  lback_value {}. 
1600: 20 64 62 32 20 62 75 73 79 20 63 61 6c 6c 62 61   db2 busy callba
1610: 63 6b 0a 20 20 73 65 74 20 72 20 5b 63 61 74 63  ck.  set r [catc
1620: 68 20 7b 65 78 65 63 73 71 6c 20 7b 53 45 4c 45  h {execsql {SELE
1630: 43 54 20 2a 20 46 52 4f 4d 20 74 32 7d 20 64 62  CT * FROM t2} db
1640: 32 7d 20 6d 73 67 5d 0a 20 20 6c 61 70 70 65 6e  2} msg].  lappen
1650: 64 20 72 20 24 6d 73 67 0a 20 20 6c 61 70 70 65  d r $msg.  lappe
1660: 6e 64 20 72 20 24 3a 3a 63 61 6c 6c 62 61 63 6b  nd r $::callback
1670: 5f 76 61 6c 75 65 0a 7d 20 7b 30 20 7b 39 20 38  _value.} {0 {9 8
1680: 7d 20 7b 7d 7d 0a 64 6f 5f 74 65 73 74 20 6c 6f  } {}}.do_test lo
1690: 63 6b 2d 32 2e 37 20 7b 0a 20 20 70 72 6f 63 20  ck-2.7 {.  proc 
16a0: 63 61 6c 6c 62 61 63 6b 20 7b 66 69 6c 65 20 63  callback {file c
16b0: 6f 75 6e 74 7d 20 7b 0a 20 20 20 20 6c 61 70 70  ount} {.    lapp
16c0: 65 6e 64 20 3a 3a 63 61 6c 6c 62 61 63 6b 5f 76  end ::callback_v
16d0: 61 6c 75 65 20 24 63 6f 75 6e 74 0a 20 20 20 20  alue $count.    
16e0: 69 66 20 7b 24 63 6f 75 6e 74 3e 32 7d 20 7b 0a  if {$count>2} {.
16f0: 20 20 20 20 20 20 65 78 65 63 73 71 6c 20 7b 52        execsql {R
1700: 4f 4c 4c 42 41 43 4b 7d 0a 20 20 20 20 7d 0a 20  OLLBACK}.    }. 
1710: 20 7d 0a 20 20 73 65 74 20 3a 3a 63 61 6c 6c 62   }.  set ::callb
1720: 61 63 6b 5f 76 61 6c 75 65 20 7b 7d 0a 20 20 64  ack_value {}.  d
1730: 62 32 20 62 75 73 79 20 63 61 6c 6c 62 61 63 6b  b2 busy callback
1740: 0a 20 20 65 78 65 63 73 71 6c 20 7b 42 45 47 49  .  execsql {BEGI
1750: 4e 20 54 52 41 4e 53 41 43 54 49 4f 4e 7d 20 64  N TRANSACTION} d
1760: 62 32 0a 20 20 73 65 74 20 72 20 5b 63 61 74 63  b2.  set r [catc
1770: 68 20 7b 65 78 65 63 73 71 6c 20 7b 55 50 44 41  h {execsql {UPDA
1780: 54 45 20 74 31 20 53 45 54 20 61 20 3d 20 30 20  TE t1 SET a = 0 
1790: 57 48 45 52 45 20 30 7d 20 64 62 32 7d 20 6d 73  WHERE 0} db2} ms
17a0: 67 5d 0a 20 20 65 78 65 63 73 71 6c 20 7b 52 4f  g].  execsql {RO
17b0: 4c 4c 42 41 43 4b 7d 20 64 62 32 0a 20 20 6c 61  LLBACK} db2.  la
17c0: 70 70 65 6e 64 20 72 20 24 6d 73 67 0a 20 20 6c  ppend r $msg.  l
17d0: 61 70 70 65 6e 64 20 72 20 24 3a 3a 63 61 6c 6c  append r $::call
17e0: 62 61 63 6b 5f 76 61 6c 75 65 0a 7d 20 7b 30 20  back_value.} {0 
17f0: 7b 7d 20 7b 31 20 32 20 33 7d 7d 0a 0a 23 20 54  {} {1 2 3}}..# T
1800: 65 73 74 20 74 68 65 20 62 75 69 6c 74 2d 69 6e  est the built-in
1810: 20 62 75 73 79 20 74 69 6d 65 6f 75 74 20 68 61   busy timeout ha
1820: 6e 64 6c 65 72 0a 23 0a 64 6f 5f 74 65 73 74 20  ndler.#.do_test 
1830: 6c 6f 63 6b 2d 32 2e 38 20 7b 0a 20 20 64 62 32  lock-2.8 {.  db2
1840: 20 74 69 6d 65 6f 75 74 20 34 30 30 0a 20 20 65   timeout 400.  e
1850: 78 65 63 73 71 6c 20 42 45 47 49 4e 0a 20 20 65  xecsql BEGIN.  e
1860: 78 65 63 73 71 6c 20 7b 55 50 44 41 54 45 20 74  xecsql {UPDATE t
1870: 31 20 53 45 54 20 61 20 3d 20 30 20 57 48 45 52  1 SET a = 0 WHER
1880: 45 20 30 7d 0a 20 20 63 61 74 63 68 73 71 6c 20  E 0}.  catchsql 
1890: 42 45 47 49 4e 20 64 62 32 0a 20 20 63 61 74 63  BEGIN db2.  catc
18a0: 68 73 71 6c 20 7b 55 50 44 41 54 45 20 74 31 20  hsql {UPDATE t1 
18b0: 53 45 54 20 61 20 3d 20 30 20 57 48 45 52 45 20  SET a = 0 WHERE 
18c0: 30 7d 20 64 62 32 0a 7d 20 7b 31 20 7b 64 61 74  0} db2.} {1 {dat
18d0: 61 62 61 73 65 20 69 73 20 6c 6f 63 6b 65 64 7d  abase is locked}
18e0: 7d 0a 64 6f 5f 74 65 73 74 20 6c 6f 63 6b 2d 32  }.do_test lock-2
18f0: 2e 39 20 7b 0a 20 20 64 62 32 20 74 69 6d 65 6f  .9 {.  db2 timeo
1900: 75 74 20 30 0a 20 20 65 78 65 63 73 71 6c 20 43  ut 0.  execsql C
1910: 4f 4d 4d 49 54 0a 7d 20 7b 7d 0a 69 6e 74 65 67  OMMIT.} {}.integ
1920: 72 69 74 79 5f 63 68 65 63 6b 20 6c 6f 63 6b 2d  rity_check lock-
1930: 32 2e 31 30 0a 0a 23 20 54 72 79 20 74 6f 20 73  2.10..# Try to s
1940: 74 61 72 74 20 74 77 6f 20 74 72 61 6e 73 61 63  tart two transac
1950: 74 69 6f 6e 73 20 69 6e 20 61 20 72 6f 77 0a 23  tions in a row.#
1960: 0a 64 6f 5f 74 65 73 74 20 6c 6f 63 6b 2d 33 2e  .do_test lock-3.
1970: 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 42  1 {.  execsql {B
1980: 45 47 49 4e 20 54 52 41 4e 53 41 43 54 49 4f 4e  EGIN TRANSACTION
1990: 7d 0a 20 20 73 65 74 20 72 20 5b 63 61 74 63 68  }.  set r [catch
19a0: 20 7b 65 78 65 63 73 71 6c 20 7b 42 45 47 49 4e   {execsql {BEGIN
19b0: 20 54 52 41 4e 53 41 43 54 49 4f 4e 7d 7d 20 6d   TRANSACTION}} m
19c0: 73 67 5d 0a 20 20 65 78 65 63 73 71 6c 20 7b 52  sg].  execsql {R
19d0: 4f 4c 4c 42 41 43 4b 7d 0a 20 20 6c 61 70 70 65  OLLBACK}.  lappe
19e0: 6e 64 20 72 20 24 6d 73 67 0a 7d 20 7b 31 20 7b  nd r $msg.} {1 {
19f0: 63 61 6e 6e 6f 74 20 73 74 61 72 74 20 61 20 74  cannot start a t
1a00: 72 61 6e 73 61 63 74 69 6f 6e 20 77 69 74 68 69  ransaction withi
1a10: 6e 20 61 20 74 72 61 6e 73 61 63 74 69 6f 6e 7d  n a transaction}
1a20: 7d 0a 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63  }.integrity_chec
1a30: 6b 20 6c 6f 63 6b 2d 33 2e 32 0a 0a 23 20 4d 61  k lock-3.2..# Ma
1a40: 6b 65 20 73 75 72 65 20 74 68 65 20 62 75 73 79  ke sure the busy
1a50: 20 68 61 6e 64 6c 65 72 20 61 6e 64 20 65 72 72   handler and err
1a60: 6f 72 20 6d 65 73 73 61 67 65 73 20 77 6f 72 6b  or messages work
1a70: 20 77 68 65 6e 0a 23 20 6f 70 65 6e 69 6e 67 20   when.# opening 
1a80: 61 20 6e 65 77 20 70 6f 69 6e 74 65 72 20 74 6f  a new pointer to
1a90: 20 74 68 65 20 64 61 74 61 62 61 73 65 20 77 68   the database wh
1aa0: 69 6c 65 20 61 6e 6f 74 68 65 72 20 70 6f 69 6e  ile another poin
1ab0: 74 65 72 0a 23 20 68 61 73 20 74 68 65 20 64 61  ter.# has the da
1ac0: 74 61 62 61 73 65 20 6c 6f 63 6b 65 64 2e 0a 23  tabase locked..#
1ad0: 0a 64 6f 5f 74 65 73 74 20 6c 6f 63 6b 2d 34 2e  .do_test lock-4.
1ae0: 31 20 7b 0a 20 20 64 62 32 20 63 6c 6f 73 65 0a  1 {.  db2 close.
1af0: 20 20 63 61 74 63 68 20 7b 64 62 20 65 76 61 6c    catch {db eval
1b00: 20 52 4f 4c 4c 42 41 43 4b 7d 0a 20 20 64 62 20   ROLLBACK}.  db 
1b10: 65 76 61 6c 20 42 45 47 49 4e 0a 20 20 64 62 20  eval BEGIN.  db 
1b20: 65 76 61 6c 20 7b 55 50 44 41 54 45 20 74 31 20  eval {UPDATE t1 
1b30: 53 45 54 20 61 3d 30 20 57 48 45 52 45 20 30 7d  SET a=0 WHERE 0}
1b40: 0a 20 20 73 71 6c 69 74 65 20 64 62 32 20 2e 2f  .  sqlite db2 ./
1b50: 74 65 73 74 2e 64 62 0a 20 20 63 61 74 63 68 73  test.db.  catchs
1b60: 71 6c 20 7b 55 50 44 41 54 45 20 74 31 20 53 45  ql {UPDATE t1 SE
1b70: 54 20 61 3d 30 7d 20 64 62 32 0a 7d 20 7b 31 20  T a=0} db2.} {1 
1b80: 7b 64 61 74 61 62 61 73 65 20 69 73 20 6c 6f 63  {database is loc
1b90: 6b 65 64 7d 7d 0a 64 6f 5f 74 65 73 74 20 6c 6f  ked}}.do_test lo
1ba0: 63 6b 2d 34 2e 32 20 7b 0a 20 20 73 65 74 20 3a  ck-4.2 {.  set :
1bb0: 3a 63 61 6c 6c 62 61 63 6b 5f 76 61 6c 75 65 20  :callback_value 
1bc0: 7b 7d 0a 20 20 73 65 74 20 72 63 20 5b 63 61 74  {}.  set rc [cat
1bd0: 63 68 20 7b 64 62 32 20 65 76 61 6c 20 7b 55 50  ch {db2 eval {UP
1be0: 44 41 54 45 20 74 31 20 53 45 54 20 61 3d 30 7d  DATE t1 SET a=0}
1bf0: 7d 20 6d 73 67 5d 0a 20 20 6c 61 70 70 65 6e 64  } msg].  lappend
1c00: 20 72 63 20 24 6d 73 67 20 24 3a 3a 63 61 6c 6c   rc $msg $::call
1c10: 62 61 63 6b 5f 76 61 6c 75 65 0a 7d 20 7b 31 20  back_value.} {1 
1c20: 7b 64 61 74 61 62 61 73 65 20 69 73 20 6c 6f 63  {database is loc
1c30: 6b 65 64 7d 20 7b 7d 7d 0a 64 6f 5f 74 65 73 74  ked} {}}.do_test
1c40: 20 6c 6f 63 6b 2d 34 2e 33 20 7b 0a 20 20 70 72   lock-4.3 {.  pr
1c50: 6f 63 20 63 61 6c 6c 62 61 63 6b 20 7b 66 69 6c  oc callback {fil
1c60: 65 20 63 6f 75 6e 74 7d 20 7b 0a 20 20 20 20 6c  e count} {.    l
1c70: 61 70 70 65 6e 64 20 3a 3a 63 61 6c 6c 62 61 63  append ::callbac
1c80: 6b 5f 76 61 6c 75 65 20 24 63 6f 75 6e 74 0a 20  k_value $count. 
1c90: 20 20 20 69 66 20 7b 24 63 6f 75 6e 74 3e 34 7d     if {$count>4}
1ca0: 20 62 72 65 61 6b 0a 20 20 7d 0a 20 20 64 62 32   break.  }.  db2
1cb0: 20 62 75 73 79 20 63 61 6c 6c 62 61 63 6b 0a 20   busy callback. 
1cc0: 20 73 65 74 20 72 63 20 5b 63 61 74 63 68 20 7b   set rc [catch {
1cd0: 64 62 32 20 65 76 61 6c 20 7b 55 50 44 41 54 45  db2 eval {UPDATE
1ce0: 20 74 31 20 53 45 54 20 61 3d 30 7d 7d 20 6d 73   t1 SET a=0}} ms
1cf0: 67 5d 0a 20 20 6c 61 70 70 65 6e 64 20 72 63 20  g].  lappend rc 
1d00: 24 6d 73 67 20 24 3a 3a 63 61 6c 6c 62 61 63 6b  $msg $::callback
1d10: 5f 76 61 6c 75 65 0a 7d 20 7b 31 20 7b 64 61 74  _value.} {1 {dat
1d20: 61 62 61 73 65 20 69 73 20 6c 6f 63 6b 65 64 7d  abase is locked}
1d30: 20 7b 31 20 32 20 33 20 34 20 35 7d 7d 0a 65 78   {1 2 3 4 5}}.ex
1d40: 65 63 73 71 6c 20 7b 52 4f 4c 4c 42 41 43 4b 7d  ecsql {ROLLBACK}
1d50: 0a 0a 23 20 57 68 65 6e 20 6f 6e 65 20 74 68 72  ..# When one thr
1d60: 65 61 64 20 69 73 20 77 72 69 74 69 6e 67 2c 20  ead is writing, 
1d70: 6f 74 68 65 72 20 74 68 72 65 61 64 73 20 63 61  other threads ca
1d80: 6e 6e 6f 74 20 72 65 61 64 2e 20 20 45 78 63 65  nnot read.  Exce
1d90: 70 74 20 69 66 20 74 68 65 0a 23 20 77 72 69 74  pt if the.# writ
1da0: 69 6e 67 20 74 68 72 65 61 64 20 69 73 20 77 72  ing thread is wr
1db0: 69 74 69 6e 67 20 74 6f 20 69 74 73 20 74 65 6d  iting to its tem
1dc0: 70 6f 72 61 72 79 20 74 61 62 6c 65 73 2c 20 74  porary tables, t
1dd0: 68 65 20 6f 74 68 65 72 20 74 68 72 65 61 64 73  he other threads
1de0: 0a 23 20 63 61 6e 20 73 74 69 6c 6c 20 72 65 61  .# can still rea
1df0: 64 2e 20 20 2d 3e 20 4e 6f 74 20 73 6f 20 69 6e  d.  -> Not so in
1e00: 20 33 2e 30 2e 20 20 4f 6e 65 20 74 68 72 65 61   3.0.  One threa
1e10: 64 20 63 61 6e 20 72 65 61 64 20 77 68 69 6c 65  d can read while
1e20: 20 61 6e 6f 74 68 65 72 0a 23 20 68 6f 6c 64 73   another.# holds
1e30: 20 61 20 52 45 53 45 52 56 45 44 20 6c 6f 63 6b   a RESERVED lock
1e40: 2e 0a 23 0a 70 72 6f 63 20 74 78 5f 65 78 65 63  ..#.proc tx_exec
1e50: 20 7b 73 71 6c 7d 20 7b 0a 20 20 64 62 32 20 65   {sql} {.  db2 e
1e60: 76 61 6c 20 24 73 71 6c 0a 7d 0a 64 6f 5f 74 65  val $sql.}.do_te
1e70: 73 74 20 6c 6f 63 6b 2d 35 2e 31 20 7b 0a 20 20  st lock-5.1 {.  
1e80: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45  execsql {.    SE
1e90: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 0a 20  LECT * FROM t1. 
1ea0: 20 7d 0a 7d 20 7b 32 20 31 7d 0a 64 6f 5f 74 65   }.} {2 1}.do_te
1eb0: 73 74 20 6c 6f 63 6b 2d 35 2e 32 20 7b 0a 20 20  st lock-5.2 {.  
1ec0: 64 62 20 66 75 6e 63 74 69 6f 6e 20 74 78 5f 65  db function tx_e
1ed0: 78 65 63 20 74 78 5f 65 78 65 63 0a 20 20 63 61  xec tx_exec.  ca
1ee0: 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 49 4e 53  tchsql {.    INS
1ef0: 45 52 54 20 49 4e 54 4f 20 74 31 28 61 2c 62 29  ERT INTO t1(a,b)
1f00: 20 53 45 4c 45 43 54 20 33 2c 20 74 78 5f 65 78   SELECT 3, tx_ex
1f10: 65 63 28 27 53 45 4c 45 43 54 20 79 20 46 52 4f  ec('SELECT y FRO
1f20: 4d 20 74 32 20 4c 49 4d 49 54 20 31 27 29 3b 0a  M t2 LIMIT 1');.
1f30: 20 20 7d 0a 7d 20 7b 30 20 7b 7d 7d 0a 64 6f 5f    }.} {0 {}}.do_
1f40: 74 65 73 74 20 6c 6f 63 6b 2d 35 2e 33 20 7b 0a  test lock-5.3 {.
1f50: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
1f60: 43 52 45 41 54 45 20 54 45 4d 50 20 54 41 42 4c  CREATE TEMP TABL
1f70: 45 20 74 33 28 78 29 3b 0a 20 20 20 20 53 45 4c  E t3(x);.    SEL
1f80: 45 43 54 20 2a 20 46 52 4f 4d 20 74 33 3b 0a 20  ECT * FROM t3;. 
1f90: 20 7d 0a 7d 20 7b 7d 0a 64 6f 5f 74 65 73 74 20   }.} {}.do_test 
1fa0: 6c 6f 63 6b 2d 35 2e 34 20 7b 0a 20 20 63 61 74  lock-5.4 {.  cat
1fb0: 63 68 73 71 6c 20 7b 0a 20 20 20 20 49 4e 53 45  chsql {.    INSE
1fc0: 52 54 20 49 4e 54 4f 20 74 33 20 53 45 4c 45 43  RT INTO t3 SELEC
1fd0: 54 20 74 78 5f 65 78 65 63 28 27 53 45 4c 45 43  T tx_exec('SELEC
1fe0: 54 20 79 20 46 52 4f 4d 20 74 32 20 4c 49 4d 49  T y FROM t2 LIMI
1ff0: 54 20 31 27 29 3b 0a 20 20 7d 0a 7d 20 7b 30 20  T 1');.  }.} {0 
2000: 7b 7d 7d 0a 64 6f 5f 74 65 73 74 20 6c 6f 63 6b  {}}.do_test lock
2010: 2d 35 2e 35 20 7b 0a 20 20 65 78 65 63 73 71 6c  -5.5 {.  execsql
2020: 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20   {.    SELECT * 
2030: 46 52 4f 4d 20 74 33 3b 0a 20 20 7d 0a 7d 20 7b  FROM t3;.  }.} {
2040: 38 7d 0a 64 6f 5f 74 65 73 74 20 6c 6f 63 6b 2d  8}.do_test lock-
2050: 35 2e 36 20 7b 0a 20 20 63 61 74 63 68 73 71 6c  5.6 {.  catchsql
2060: 20 7b 0a 20 20 20 20 55 50 44 41 54 45 20 74 31   {.    UPDATE t1
2070: 20 53 45 54 20 61 3d 74 78 5f 65 78 65 63 28 27   SET a=tx_exec('
2080: 53 45 4c 45 43 54 20 78 20 46 52 4f 4d 20 74 32  SELECT x FROM t2
2090: 27 29 3b 0a 20 20 7d 0a 7d 20 7b 30 20 7b 7d 7d  ');.  }.} {0 {}}
20a0: 0a 64 6f 5f 74 65 73 74 20 6c 6f 63 6b 2d 35 2e  .do_test lock-5.
20b0: 37 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  7 {.  execsql {.
20c0: 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f      SELECT * FRO
20d0: 4d 20 74 31 3b 0a 20 20 7d 0a 7d 20 7b 39 20 31  M t1;.  }.} {9 1
20e0: 20 39 20 38 7d 0a 64 6f 5f 74 65 73 74 20 6c 6f   9 8}.do_test lo
20f0: 63 6b 2d 35 2e 38 20 7b 0a 20 20 63 61 74 63 68  ck-5.8 {.  catch
2100: 73 71 6c 20 7b 0a 20 20 20 20 55 50 44 41 54 45  sql {.    UPDATE
2110: 20 74 33 20 53 45 54 20 78 3d 74 78 5f 65 78 65   t3 SET x=tx_exe
2120: 63 28 27 53 45 4c 45 43 54 20 78 20 46 52 4f 4d  c('SELECT x FROM
2130: 20 74 32 27 29 3b 0a 20 20 7d 0a 7d 20 7b 30 20   t2');.  }.} {0 
2140: 7b 7d 7d 0a 64 6f 5f 74 65 73 74 20 6c 6f 63 6b  {}}.do_test lock
2150: 2d 35 2e 39 20 7b 0a 20 20 65 78 65 63 73 71 6c  -5.9 {.  execsql
2160: 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20   {.    SELECT * 
2170: 46 52 4f 4d 20 74 33 3b 0a 20 20 7d 0a 7d 20 7b  FROM t3;.  }.} {
2180: 39 7d 0a 0a 64 6f 5f 74 65 73 74 20 6c 6f 63 6b  9}..do_test lock
2190: 2d 39 39 39 2e 31 20 7b 0a 20 20 72 65 6e 61 6d  -999.1 {.  renam
21a0: 65 20 64 62 32 20 7b 7d 0a 7d 20 7b 7d 0a 0a 66  e db2 {}.} {}..f
21b0: 69 6e 69 73 68 5f 74 65 73 74 0a                 inish_test.