Artifact
65b98e8812489e157a2bd51fb44c520f6bc76e32:
- File
test/lock.test
— part of check-in
[a2228351]
at
2004-06-10 00:29:09
on branch trunk
— Check for schema updates if the parser fails to find a table. More locking
test updates. (CVS 1555)
(user:
drh
size: 8635)
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.