Artifact
854f3f428bb2e0ae91cb2400596a8f1ab7eaa409:
- File
test/unlocked.test
— part of check-in
[6da0e962]
at
2015-07-28 16:46:49
on branch begin-concurrent
— Add some test cases and fix some small problems with BEGIN UNLOCKED transactions.
(user:
dan
size: 8700)
0000: 23 20 32 30 31 35 20 4a 75 6c 79 20 32 36 0a 23 # 2015 July 26.#
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 65 74 20 3a 3a 74 65 73 74 70 .tcl.set ::testp
01d0: 72 65 66 69 78 20 75 6e 6c 6f 63 6b 65 64 0a 0a refix unlocked..
01e0: 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 .do_execsql_test
01f0: 20 31 2e 30 20 7b 0a 20 20 50 52 41 47 4d 41 20 1.0 {. PRAGMA
0200: 6a 6f 75 72 6e 61 6c 5f 6d 6f 64 65 20 3d 20 77 journal_mode = w
0210: 61 6c 3b 0a 7d 20 7b 77 61 6c 7d 0a 0a 64 6f 5f al;.} {wal}..do_
0220: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 31 2e 31 execsql_test 1.1
0230: 20 7b 0a 20 20 43 52 45 41 54 45 20 54 41 42 4c {. CREATE TABL
0240: 45 20 74 31 28 6b 20 49 4e 54 45 47 45 52 20 50 E t1(k INTEGER P
0250: 52 49 4d 41 52 59 20 4b 45 59 2c 20 76 29 3b 0a RIMARY KEY, v);.
0260: 20 20 42 45 47 49 4e 20 55 4e 4c 4f 43 4b 45 44 BEGIN UNLOCKED
0270: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 ;. INSERT INT
0280: 4f 20 74 31 20 56 41 4c 55 45 53 28 31 2c 20 27 O t1 VALUES(1, '
0290: 61 62 63 64 27 29 3b 0a 20 20 43 4f 4d 4d 49 54 abcd');. COMMIT
02a0: 3b 0a 7d 0a 0a 64 6f 5f 65 78 65 63 73 71 6c 5f ;.}..do_execsql_
02b0: 74 65 73 74 20 31 2e 32 20 7b 0a 20 20 53 45 4c test 1.2 {. SEL
02c0: 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 3b 0a 7d ECT * FROM t1;.}
02d0: 20 7b 31 20 61 62 63 64 7d 0a 0a 64 6f 5f 65 78 {1 abcd}..do_ex
02e0: 65 63 73 71 6c 5f 74 65 73 74 20 31 2e 33 20 7b ecsql_test 1.3 {
02f0: 0a 20 20 42 45 47 49 4e 20 55 4e 4c 4f 43 4b 45 . BEGIN UNLOCKE
0300: 44 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e D;. INSERT IN
0310: 54 4f 20 74 31 20 56 41 4c 55 45 53 28 32 2c 20 TO t1 VALUES(2,
0320: 27 65 66 67 68 27 29 3b 0a 20 20 52 4f 4c 4c 42 'efgh');. ROLLB
0330: 41 43 4b 3b 0a 7d 0a 0a 64 6f 5f 65 78 65 63 73 ACK;.}..do_execs
0340: 71 6c 5f 74 65 73 74 20 31 2e 34 20 7b 0a 20 20 ql_test 1.4 {.
0350: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 SELECT * FROM t1
0360: 3b 0a 7d 20 7b 31 20 61 62 63 64 7d 0a 0a 0a 23 ;.} {1 abcd}...#
0370: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0380: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0390: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
03a0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
03b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 55 4e 4c 4f ---------.# UNLO
03c0: 43 4b 45 44 20 74 72 61 6e 73 61 63 74 69 6f 6e CKED transaction
03d0: 73 20 63 61 6e 6e 6f 74 20 64 6f 20 63 61 63 68 s cannot do cach
03e0: 65 20 73 70 69 6c 6c 73 2e 0a 23 0a 66 6f 72 65 e spills..#.fore
03f0: 61 63 68 20 7b 74 6e 20 74 72 61 6e 73 20 73 70 ach {tn trans sp
0400: 69 6c 6c 7d 20 7b 0a 20 20 31 20 7b 42 45 47 49 ill} {. 1 {BEGI
0410: 4e 20 55 4e 4c 4f 43 4b 45 44 7d 20 20 30 0a 20 N UNLOCKED} 0.
0420: 20 32 20 7b 42 45 47 49 4e 7d 20 20 20 20 20 20 2 {BEGIN}
0430: 20 20 20 20 20 31 0a 7d 20 7b 0a 20 20 64 6f 5f 1.} {. do_
0440: 74 65 73 74 20 31 2e 35 2e 24 74 6e 20 7b 0a 20 test 1.5.$tn {.
0450: 20 20 20 73 71 6c 69 74 65 33 20 64 62 32 20 74 sqlite3 db2 t
0460: 65 73 74 2e 64 62 0a 20 20 20 20 73 65 74 20 77 est.db. set w
0470: 61 6c 73 7a 20 5b 66 69 6c 65 20 73 69 7a 65 20 alsz [file size
0480: 74 65 73 74 2e 64 62 2d 77 61 6c 5d 0a 0a 20 20 test.db-wal]..
0490: 20 20 65 78 65 63 73 71 6c 20 7b 20 50 52 41 47 execsql { PRAG
04a0: 4d 41 20 63 61 63 68 65 5f 73 69 7a 65 20 3d 20 MA cache_size =
04b0: 31 30 20 7d 20 64 62 32 0a 20 20 20 20 65 78 65 10 } db2. exe
04c0: 63 73 71 6c 20 24 74 72 61 6e 73 20 64 62 32 0a csql $trans db2.
04d0: 20 20 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 execsql {.
04e0: 20 20 20 20 57 49 54 48 20 63 6e 74 28 69 29 20 WITH cnt(i)
04f0: 41 53 20 28 53 45 4c 45 43 54 20 31 20 55 4e 49 AS (SELECT 1 UNI
0500: 4f 4e 20 41 4c 4c 20 53 45 4c 45 43 54 20 69 2b ON ALL SELECT i+
0510: 31 20 46 52 4f 4d 20 63 6e 74 20 57 48 45 52 45 1 FROM cnt WHERE
0520: 20 69 3c 35 30 29 0a 20 20 20 20 20 20 20 20 49 i<50). I
0530: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 28 76 29 NSERT INTO t1(v)
0540: 20 53 45 4c 45 43 54 20 72 61 6e 64 6f 6d 62 6c SELECT randombl
0550: 6f 62 28 39 30 30 29 20 46 52 4f 4d 20 63 6e 74 ob(900) FROM cnt
0560: 3b 0a 20 20 20 20 7d 20 64 62 32 0a 0a 20 20 20 ;. } db2..
0570: 20 65 78 70 72 20 7b 5b 66 69 6c 65 20 73 69 7a expr {[file siz
0580: 65 20 74 65 73 74 2e 64 62 2d 77 61 6c 5d 3d 3d e test.db-wal]==
0590: 24 77 61 6c 73 7a 7d 0a 20 20 7d 20 5b 65 78 70 $walsz}. } [exp
05a0: 72 20 21 24 73 70 69 6c 6c 5d 0a 0a 20 20 65 78 r !$spill].. ex
05b0: 65 63 73 71 6c 20 52 4f 4c 4c 42 41 43 4b 20 64 ecsql ROLLBACK d
05c0: 62 32 0a 20 20 64 62 32 20 63 6c 6f 73 65 0a 7d b2. db2 close.}
05d0: 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ..#-------------
05e0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
05f0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0600: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0610: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 55 ------------.# U
0620: 4e 4c 4f 43 4b 45 44 20 74 72 61 6e 73 61 63 74 NLOCKED transact
0630: 69 6f 6e 73 20 6d 61 6e 20 6e 6f 74 20 62 65 20 ions man not be
0640: 63 6f 6d 6d 69 74 74 65 64 20 77 68 69 6c 65 20 committed while
0650: 74 68 65 72 65 20 61 72 65 20 61 63 74 69 76 65 there are active
0660: 0a 23 20 72 65 61 64 65 72 73 2e 0a 64 6f 5f 65 .# readers..do_e
0670: 78 65 63 73 71 6c 5f 74 65 73 74 20 31 2e 36 2e xecsql_test 1.6.
0680: 73 65 74 75 70 20 7b 0a 20 20 44 52 4f 50 20 54 setup {. DROP T
0690: 41 42 4c 45 20 74 31 3b 0a 20 20 43 52 45 41 54 ABLE t1;. CREAT
06a0: 45 20 54 41 42 4c 45 20 74 31 28 61 2c 20 62 29 E TABLE t1(a, b)
06b0: 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 ;. INSERT INTO
06c0: 74 31 20 56 41 4c 55 45 53 28 31 2c 20 32 29 3b t1 VALUES(1, 2);
06d0: 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 . INSERT INTO t
06e0: 31 20 56 41 4c 55 45 53 28 33 2c 20 34 29 3b 0a 1 VALUES(3, 4);.
06f0: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 INSERT INTO t1
0700: 20 56 41 4c 55 45 53 28 35 2c 20 36 29 3b 0a 7d VALUES(5, 6);.}
0710: 0a 66 6f 72 65 61 63 68 20 7b 74 6e 20 74 72 61 .foreach {tn tra
0720: 6e 73 20 63 6f 6d 6d 69 74 5f 6f 6b 7d 20 7b 0a ns commit_ok} {.
0730: 20 20 31 20 7b 42 45 47 49 4e 20 55 4e 4c 4f 43 1 {BEGIN UNLOC
0740: 4b 45 44 7d 20 20 30 0a 20 20 32 20 7b 42 45 47 KED} 0. 2 {BEG
0750: 49 4e 7d 20 20 20 20 20 20 20 20 20 20 20 31 0a IN} 1.
0760: 7d 20 7b 0a 20 20 64 6f 5f 74 65 73 74 20 31 2e } {. do_test 1.
0770: 36 2e 24 74 6e 2e 31 20 7b 0a 20 20 20 20 73 65 6.$tn.1 {. se
0780: 74 20 73 74 6d 74 20 5b 73 71 6c 69 74 65 33 5f t stmt [sqlite3_
0790: 70 72 65 70 61 72 65 20 64 62 20 22 53 45 4c 45 prepare db "SELE
07a0: 43 54 20 2a 20 46 52 4f 4d 20 74 31 22 20 2d 31 CT * FROM t1" -1
07b0: 20 64 75 6d 6d 79 5d 0a 20 20 20 20 73 71 6c 69 dummy]. sqli
07c0: 74 65 33 5f 73 74 65 70 20 24 73 74 6d 74 0a 20 te3_step $stmt.
07d0: 20 7d 20 53 51 4c 49 54 45 5f 52 4f 57 0a 20 20 } SQLITE_ROW.
07e0: 64 6f 5f 74 65 73 74 20 31 2e 36 2e 24 74 6e 2e do_test 1.6.$tn.
07f0: 32 20 7b 0a 20 20 20 20 65 78 65 63 73 71 6c 20 2 {. execsql
0800: 24 74 72 61 6e 73 0a 20 20 20 20 65 78 65 63 73 $trans. execs
0810: 71 6c 20 7b 20 49 4e 53 45 52 54 20 49 4e 54 4f ql { INSERT INTO
0820: 20 74 31 20 56 41 4c 55 45 53 28 37 2c 20 38 29 t1 VALUES(7, 8)
0830: 20 7d 0a 20 20 7d 20 7b 7d 0a 0a 20 20 69 66 20 }. } {}.. if
0840: 7b 20 24 63 6f 6d 6d 69 74 5f 6f 6b 20 7d 20 7b { $commit_ok } {
0850: 0a 20 20 20 20 64 6f 5f 74 65 73 74 20 31 2e 36 . do_test 1.6
0860: 2e 24 74 6e 2e 33 20 7b 20 63 61 74 63 68 73 71 .$tn.3 { catchsq
0870: 6c 20 43 4f 4d 4d 49 54 20 7d 20 7b 30 20 7b 7d l COMMIT } {0 {}
0880: 7d 0a 20 20 7d 20 65 6c 73 65 20 7b 0a 20 20 20 }. } else {.
0890: 20 64 6f 5f 74 65 73 74 20 31 2e 36 2e 24 74 6e do_test 1.6.$tn
08a0: 2e 34 20 7b 20 63 61 74 63 68 73 71 6c 20 43 4f .4 { catchsql CO
08b0: 4d 4d 49 54 20 7d 20 7b 2f 31 20 7b 63 61 6e 6e MMIT } {/1 {cann
08c0: 6f 74 20 63 6f 6d 6d 69 74 20 74 72 61 6e 73 61 ot commit transa
08d0: 63 74 69 6f 6e 20 2e 2a 7d 2f 7d 0a 20 20 7d 0a ction .*}/}. }.
08e0: 0a 20 20 73 71 6c 69 74 65 33 5f 66 69 6e 61 6c . sqlite3_final
08f0: 69 7a 65 20 24 73 74 6d 74 0a 20 20 63 61 74 63 ize $stmt. catc
0900: 68 73 71 6c 20 52 4f 4c 4c 42 41 43 4b 0a 7d 0a hsql ROLLBACK.}.
0910: 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d .#--------------
0920: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0930: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0940: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0950: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 55 4e -----------.# UN
0960: 4c 4f 43 4b 45 44 20 74 72 61 6e 73 61 63 74 69 LOCKED transacti
0970: 6f 6e 73 20 6d 61 79 20 6e 6f 74 20 6d 6f 64 69 ons may not modi
0980: 66 79 20 74 68 65 20 64 62 20 73 63 68 65 6d 61 fy the db schema
0990: 2e 0a 23 0a 66 6f 72 65 61 63 68 20 7b 74 6e 20 ..#.foreach {tn
09a0: 73 71 6c 7d 20 7b 0a 20 20 31 20 7b 20 43 52 45 sql} {. 1 { CRE
09b0: 41 54 45 20 54 41 42 4c 45 20 78 78 28 61 2c 20 ATE TABLE xx(a,
09c0: 62 29 20 7d 0a 20 20 32 20 7b 20 44 52 4f 50 20 b) }. 2 { DROP
09d0: 54 41 42 4c 45 20 74 31 20 7d 0a 7d 20 7b 0a 20 TABLE t1 }.} {.
09e0: 20 64 6f 5f 63 61 74 63 68 73 71 6c 5f 74 65 73 do_catchsql_tes
09f0: 74 20 31 2e 37 2e 24 74 6e 2e 31 20 22 0a 20 20 t 1.7.$tn.1 ".
0a00: 20 20 42 45 47 49 4e 20 55 4e 4c 4f 43 4b 45 44 BEGIN UNLOCKED
0a10: 3b 0a 20 20 20 20 24 73 71 6c 0a 20 20 22 20 7b ;. $sql. " {
0a20: 31 20 7b 63 61 6e 6e 6f 74 20 6d 6f 64 69 66 79 1 {cannot modify
0a30: 20 64 61 74 61 62 61 73 65 20 73 63 68 65 6d 61 database schema
0a40: 20 2d 20 55 4e 4c 4f 43 4b 45 44 20 74 72 61 6e - UNLOCKED tran
0a50: 73 61 63 74 69 6f 6e 7d 7d 0a 0a 20 20 64 6f 5f saction}}.. do_
0a60: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 31 2e 37 execsql_test 1.7
0a70: 2e 24 74 6e 2e 32 20 52 4f 4c 4c 42 41 43 4b 0a .$tn.2 ROLLBACK.
0a80: 7d 0a 0a 0a 64 6f 5f 6d 75 6c 74 69 63 6c 69 65 }...do_multiclie
0a90: 6e 74 5f 74 65 73 74 20 74 6e 20 7b 0a 0a 20 20 nt_test tn {..
0aa0: 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d #---------------
0ab0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0ac0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0ad0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0ae0: 2d 2d 2d 2d 2d 2d 2d 2d 0a 20 20 23 20 31 2e 20 --------. # 1.
0af0: 53 74 61 72 74 20 61 6e 20 55 4e 4c 4f 43 4b 45 Start an UNLOCKE
0b00: 44 20 74 72 61 6e 73 61 63 74 69 6f 6e 20 75 73 D transaction us
0b10: 69 6e 67 20 5b 64 62 31 5d 2e 0a 20 20 23 0a 20 ing [db1].. #.
0b20: 20 23 20 32 2e 20 53 74 61 72 74 20 61 6e 64 20 # 2. Start and
0b30: 74 68 65 6e 20 72 6f 6c 6c 62 61 63 6b 20 61 20 then rollback a
0b40: 72 65 67 75 6c 61 72 20 74 72 61 6e 73 61 63 74 regular transact
0b50: 69 6f 6e 20 75 73 69 6e 67 20 5b 64 62 32 5d 2e ion using [db2].
0b60: 20 54 68 69 73 20 0a 20 20 23 20 20 20 20 63 61 This . # ca
0b70: 6e 20 62 65 20 64 6f 6e 65 20 61 73 20 74 68 65 n be done as the
0b80: 20 6f 6e 67 6f 69 6e 67 20 5b 64 62 31 5d 20 74 ongoing [db1] t
0b90: 72 61 6e 73 61 63 74 69 6f 6e 20 69 73 20 55 4e ransaction is UN
0ba0: 4c 4f 43 4b 45 44 2e 0a 20 20 23 0a 20 20 23 20 LOCKED.. #. #
0bb0: 33 2e 20 54 68 65 20 5b 64 62 31 5d 20 74 72 61 3. The [db1] tra
0bc0: 6e 73 61 63 74 69 6f 6e 20 63 61 6e 20 6e 6f 77 nsaction can now
0bd0: 20 62 65 20 63 6f 6d 6d 69 74 74 65 64 2c 20 61 be committed, a
0be0: 73 20 5b 64 62 32 5d 20 68 61 73 20 72 65 6c 69 s [db2] has reli
0bf0: 6e 71 75 69 73 68 65 64 0a 20 20 23 20 20 20 20 nquished. #
0c00: 74 68 65 20 77 72 69 74 65 20 6c 6f 63 6b 2e 0a the write lock..
0c10: 20 20 23 0a 20 20 64 6f 5f 74 65 73 74 20 32 2e #. do_test 2.
0c20: 24 74 6e 2e 31 2e 31 20 7b 0a 20 20 20 20 73 71 $tn.1.1 {. sq
0c30: 6c 31 20 7b 20 0a 20 20 20 20 20 20 50 52 41 47 l1 { . PRAG
0c40: 4d 41 20 6a 6f 75 72 6e 61 6c 5f 6d 6f 64 65 20 MA journal_mode
0c50: 3d 20 77 61 6c 3b 0a 20 20 20 20 20 20 43 52 45 = wal;. CRE
0c60: 41 54 45 20 54 41 42 4c 45 20 74 31 28 6b 20 49 ATE TABLE t1(k I
0c70: 4e 54 45 47 45 52 20 50 52 49 4d 41 52 59 20 4b NTEGER PRIMARY K
0c80: 45 59 2c 20 76 29 3b 0a 20 20 20 20 20 20 49 4e EY, v);. IN
0c90: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c SERT INTO t1 VAL
0ca0: 55 45 53 28 31 2c 20 27 6f 6e 65 27 29 3b 0a 20 UES(1, 'one');.
0cb0: 20 20 20 7d 0a 20 20 20 20 73 71 6c 31 20 7b 20 }. sql1 {
0cc0: 0a 20 20 20 20 20 20 42 45 47 49 4e 20 55 4e 4c . BEGIN UNL
0cd0: 4f 43 4b 45 44 3b 0a 20 20 20 20 20 20 20 20 49 OCKED;. I
0ce0: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 NSERT INTO t1 VA
0cf0: 4c 55 45 53 28 32 2c 20 27 74 77 6f 27 29 3b 0a LUES(2, 'two');.
0d00: 20 20 20 20 7d 0a 20 20 20 20 63 6f 64 65 31 20 }. code1
0d10: 7b 20 73 71 6c 69 74 65 33 5f 67 65 74 5f 61 75 { sqlite3_get_au
0d20: 74 6f 63 6f 6d 6d 69 74 20 64 62 20 7d 0a 20 20 tocommit db }.
0d30: 7d 20 30 0a 0a 20 20 64 6f 5f 74 65 73 74 20 32 } 0.. do_test 2
0d40: 2e 24 74 6e 2e 31 2e 32 20 7b 0a 20 20 20 20 73 .$tn.1.2 {. s
0d50: 71 6c 32 20 7b 0a 20 20 20 20 20 20 42 45 47 49 ql2 {. BEGI
0d60: 4e 3b 0a 20 20 20 20 20 20 20 20 49 4e 53 45 52 N;. INSER
0d70: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 T INTO t1 VALUES
0d80: 28 33 2c 20 27 74 68 72 65 65 27 29 3b 0a 20 20 (3, 'three');.
0d90: 20 20 20 20 52 4f 4c 4c 42 41 43 4b 3b 0a 20 20 ROLLBACK;.
0da0: 20 20 7d 0a 20 20 7d 20 7b 7d 0a 0a 20 20 64 6f }. } {}.. do
0db0: 5f 74 65 73 74 20 32 2e 24 74 6e 2e 31 2e 33 20 _test 2.$tn.1.3
0dc0: 7b 0a 20 20 20 20 73 71 6c 31 20 43 4f 4d 4d 49 {. sql1 COMMI
0dd0: 54 0a 20 20 20 20 73 71 6c 32 20 7b 20 53 45 4c T. sql2 { SEL
0de0: 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 7d 0a ECT * FROM t1 }.
0df0: 20 20 7d 20 7b 31 20 6f 6e 65 20 32 20 74 77 6f } {1 one 2 two
0e00: 7d 0a 20 20 0a 20 20 23 2d 2d 2d 2d 2d 2d 2d 2d }. . #--------
0e10: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0e20: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0e30: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0e40: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a ---------------.
0e50: 20 20 23 20 31 2e 20 53 74 61 72 74 20 61 6e 20 # 1. Start an
0e60: 55 4e 4c 4f 43 4b 45 44 20 74 72 61 6e 73 61 63 UNLOCKED transac
0e70: 74 69 6f 6e 20 75 73 69 6e 67 20 5b 64 62 31 5d tion using [db1]
0e80: 2e 0a 20 20 23 0a 20 20 23 20 32 2e 20 43 6f 6d .. #. # 2. Com
0e90: 6d 69 74 20 61 20 74 72 61 6e 73 61 63 74 69 6f mit a transactio
0ea0: 6e 20 75 73 69 6e 67 20 5b 64 62 32 5d 2e 0a 20 n using [db2]..
0eb0: 20 23 0a 20 20 23 20 33 2e 20 54 72 79 20 74 6f #. # 3. Try to
0ec0: 20 63 6f 6d 6d 69 74 20 77 69 74 68 20 5b 64 62 commit with [db
0ed0: 31 5d 2e 20 43 68 65 63 6b 20 74 68 61 74 20 53 1]. Check that S
0ee0: 51 4c 49 54 45 5f 42 55 53 59 5f 53 4e 41 50 53 QLITE_BUSY_SNAPS
0ef0: 48 4f 54 20 69 73 20 72 65 74 75 72 6e 65 64 2c HOT is returned,
0f00: 0a 20 20 23 20 20 20 20 61 6e 64 20 74 68 65 20 . # and the
0f10: 74 72 61 6e 73 61 63 74 69 6f 6e 20 69 73 20 6e transaction is n
0f20: 6f 74 20 72 6f 6c 6c 65 64 20 62 61 63 6b 2e 0a ot rolled back..
0f30: 20 20 23 0a 20 20 64 6f 5f 74 65 73 74 20 32 2e #. do_test 2.
0f40: 24 74 6e 2e 32 2e 31 20 7b 0a 20 20 20 20 73 71 $tn.2.1 {. sq
0f50: 6c 31 20 7b 0a 20 20 20 20 20 20 42 45 47 49 4e l1 {. BEGIN
0f60: 20 55 4e 4c 4f 43 4b 45 44 3b 0a 20 20 20 20 20 UNLOCKED;.
0f70: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 INSERT INTO t
0f80: 31 20 56 41 4c 55 45 53 28 2d 31 2c 20 27 68 65 1 VALUES(-1, 'he
0f90: 6c 6c 6f 20 77 6f 72 6c 64 27 29 3b 0a 20 20 20 llo world');.
0fa0: 20 7d 0a 20 20 7d 20 7b 7d 0a 0a 20 20 64 6f 5f }. } {}.. do_
0fb0: 74 65 73 74 20 32 2e 24 74 6e 2e 32 2e 32 20 7b test 2.$tn.2.2 {
0fc0: 0a 20 20 20 20 73 71 6c 32 20 7b 0a 20 20 20 20 . sql2 {.
0fd0: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 INSERT INTO t1
0fe0: 20 56 41 4c 55 45 53 28 33 2c 20 27 74 68 72 65 VALUES(3, 'thre
0ff0: 65 27 29 3b 0a 20 20 20 20 7d 0a 20 20 7d 20 7b e');. }. } {
1000: 7d 0a 0a 20 20 64 6f 5f 74 65 73 74 20 32 2e 24 }.. do_test 2.$
1010: 74 6e 2e 32 2e 33 2e 31 20 7b 0a 20 20 20 20 73 tn.2.3.1 {. s
1020: 65 74 20 72 63 20 5b 63 61 74 63 68 20 7b 20 73 et rc [catch { s
1030: 71 6c 31 20 43 4f 4d 4d 49 54 20 7d 20 6d 73 67 ql1 COMMIT } msg
1040: 5d 0a 20 20 20 20 6c 69 73 74 20 24 72 63 20 24 ]. list $rc $
1050: 6d 73 67 0a 20 20 7d 20 7b 31 20 7b 64 61 74 61 msg. } {1 {data
1060: 62 61 73 65 20 69 73 20 6c 6f 63 6b 65 64 7d 7d base is locked}}
1070: 0a 0a 20 20 64 6f 5f 74 65 73 74 20 32 2e 24 74 .. do_test 2.$t
1080: 6e 2e 32 2e 33 2e 32 20 7b 0a 20 20 20 20 63 6f n.2.3.2 {. co
1090: 64 65 31 20 7b 20 6c 69 73 74 20 5b 73 71 6c 69 de1 { list [sqli
10a0: 74 65 33 5f 65 78 74 65 6e 64 65 64 5f 65 72 72 te3_extended_err
10b0: 63 6f 64 65 20 64 62 5d 20 5b 73 71 6c 69 74 65 code db] [sqlite
10c0: 33 5f 67 65 74 5f 61 75 74 6f 63 6f 6d 6d 69 74 3_get_autocommit
10d0: 20 64 62 5d 20 7d 0a 20 20 7d 20 7b 53 51 4c 49 db] }. } {SQLI
10e0: 54 45 5f 42 55 53 59 5f 53 4e 41 50 53 48 4f 54 TE_BUSY_SNAPSHOT
10f0: 20 30 7d 0a 0a 20 20 64 6f 5f 74 65 73 74 20 32 0}.. do_test 2
1100: 2e 24 74 6e 2e 32 2e 33 2e 33 20 7b 0a 20 20 20 .$tn.2.3.3 {.
1110: 20 73 71 6c 31 20 7b 0a 20 20 20 20 20 20 53 45 sql1 {. SE
1120: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 3b 0a LECT * FROM t1;.
1130: 20 20 20 20 20 20 52 4f 4c 4c 42 41 43 4b 3b 0a ROLLBACK;.
1140: 20 20 20 20 7d 0a 20 20 7d 20 7b 2d 31 20 7b 68 }. } {-1 {h
1150: 65 6c 6c 6f 20 77 6f 72 6c 64 7d 20 31 20 6f 6e ello world} 1 on
1160: 65 20 32 20 74 77 6f 7d 0a 20 20 0a 20 20 23 2d e 2 two}. . #-
1170: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
1180: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
1190: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
11a0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
11b0: 2d 2d 2d 2d 2d 2d 0a 20 20 23 20 31 2e 20 53 74 ------. # 1. St
11c0: 61 72 74 20 61 6e 20 55 4e 4c 4f 43 4b 45 44 20 art an UNLOCKED
11d0: 74 72 61 6e 73 61 63 74 69 6f 6e 20 75 73 69 6e transaction usin
11e0: 67 20 5b 64 62 31 5d 2e 0a 20 20 23 0a 20 20 23 g [db1].. #. #
11f0: 20 32 2e 20 4f 70 65 6e 20 61 20 74 72 61 6e 73 2. Open a trans
1200: 61 63 74 69 6f 6e 20 75 73 69 6e 67 20 5b 64 62 action using [db
1210: 32 5d 2e 0a 20 20 23 0a 20 20 23 20 33 2e 20 54 2].. #. # 3. T
1220: 72 79 20 74 6f 20 63 6f 6d 6d 69 74 20 77 69 74 ry to commit wit
1230: 68 20 5b 64 62 31 5d 2e 20 43 68 65 63 6b 20 74 h [db1]. Check t
1240: 68 61 74 20 53 51 4c 49 54 45 5f 42 55 53 59 20 hat SQLITE_BUSY
1250: 69 73 20 72 65 74 75 72 6e 65 64 2c 0a 20 20 23 is returned,. #
1260: 20 20 20 20 61 6e 64 20 74 68 65 20 74 72 61 6e and the tran
1270: 73 61 63 74 69 6f 6e 20 69 73 20 6e 6f 74 20 72 saction is not r
1280: 6f 6c 6c 65 64 20 62 61 63 6b 2e 0a 20 20 23 0a olled back.. #.
1290: 20 20 23 20 34 2e 20 48 61 76 65 20 5b 64 62 32 # 4. Have [db2
12a0: 5d 20 72 6f 6c 6c 20 69 74 73 20 74 72 61 6e 73 ] roll its trans
12b0: 61 63 74 69 6f 6e 20 62 61 63 6b 2e 20 54 68 65 action back. The
12c0: 6e 20 63 68 65 63 6b 20 74 68 61 74 20 5b 64 62 n check that [db
12d0: 31 5d 20 63 61 6e 0a 20 20 23 20 20 20 20 63 6f 1] can. # co
12e0: 6d 6d 69 74 2e 0a 20 20 23 0a 20 20 64 6f 5f 74 mmit.. #. do_t
12f0: 65 73 74 20 32 2e 24 74 6e 2e 33 2e 31 20 7b 0a est 2.$tn.3.1 {.
1300: 20 20 20 20 73 71 6c 31 20 7b 0a 20 20 20 20 20 sql1 {.
1310: 20 42 45 47 49 4e 20 55 4e 4c 4f 43 4b 45 44 3b BEGIN UNLOCKED;
1320: 0a 20 20 20 20 20 20 20 20 49 4e 53 45 52 54 20 . INSERT
1330: 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 34 INTO t1 VALUES(4
1340: 2c 20 27 66 6f 75 72 27 29 3b 0a 20 20 20 20 7d , 'four');. }
1350: 0a 20 20 7d 20 7b 7d 0a 0a 20 20 64 6f 5f 74 65 . } {}.. do_te
1360: 73 74 20 32 2e 24 74 6e 2e 33 2e 32 20 7b 0a 20 st 2.$tn.3.2 {.
1370: 20 20 20 73 71 6c 32 20 7b 0a 20 20 20 20 20 20 sql2 {.
1380: 42 45 47 49 4e 3b 0a 20 20 20 20 20 20 20 20 49 BEGIN;. I
1390: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 NSERT INTO t1 VA
13a0: 4c 55 45 53 28 2d 31 2c 20 27 78 79 7a 27 29 3b LUES(-1, 'xyz');
13b0: 0a 20 20 20 20 7d 0a 20 20 7d 20 7b 7d 0a 0a 20 . }. } {}..
13c0: 20 64 6f 5f 74 65 73 74 20 32 2e 24 74 6e 2e 33 do_test 2.$tn.3
13d0: 2e 33 2e 31 20 7b 0a 20 20 20 20 73 65 74 20 72 .3.1 {. set r
13e0: 63 20 5b 63 61 74 63 68 20 7b 20 73 71 6c 31 20 c [catch { sql1
13f0: 43 4f 4d 4d 49 54 20 7d 20 6d 73 67 5d 0a 20 20 COMMIT } msg].
1400: 20 20 6c 69 73 74 20 24 72 63 20 24 6d 73 67 0a list $rc $msg.
1410: 20 20 7d 20 7b 31 20 7b 64 61 74 61 62 61 73 65 } {1 {database
1420: 20 69 73 20 6c 6f 63 6b 65 64 7d 7d 0a 0a 20 20 is locked}}..
1430: 64 6f 5f 74 65 73 74 20 32 2e 24 74 6e 2e 33 2e do_test 2.$tn.3.
1440: 33 2e 32 20 7b 0a 20 20 20 20 63 6f 64 65 31 20 3.2 {. code1
1450: 7b 20 6c 69 73 74 20 5b 73 71 6c 69 74 65 33 5f { list [sqlite3_
1460: 65 78 74 65 6e 64 65 64 5f 65 72 72 63 6f 64 65 extended_errcode
1470: 20 64 62 5d 20 5b 73 71 6c 69 74 65 33 5f 67 65 db] [sqlite3_ge
1480: 74 5f 61 75 74 6f 63 6f 6d 6d 69 74 20 64 62 5d t_autocommit db]
1490: 20 7d 0a 20 20 7d 20 7b 53 51 4c 49 54 45 5f 42 }. } {SQLITE_B
14a0: 55 53 59 20 30 7d 0a 0a 20 20 64 6f 5f 74 65 73 USY 0}.. do_tes
14b0: 74 20 32 2e 24 74 6e 2e 33 2e 33 2e 33 20 7b 0a t 2.$tn.3.3.3 {.
14c0: 20 20 20 20 73 71 6c 31 20 7b 20 53 45 4c 45 43 sql1 { SELEC
14d0: 54 20 2a 20 46 52 4f 4d 20 74 31 3b 20 7d 0a 20 T * FROM t1; }.
14e0: 20 7d 20 7b 31 20 6f 6e 65 20 32 20 74 77 6f 20 } {1 one 2 two
14f0: 33 20 74 68 72 65 65 20 34 20 66 6f 75 72 7d 0a 3 three 4 four}.
1500: 0a 20 20 64 6f 5f 74 65 73 74 20 32 2e 24 74 6e . do_test 2.$tn
1510: 2e 33 2e 34 20 7b 0a 20 20 20 20 73 71 6c 32 20 .3.4 {. sql2
1520: 52 4f 4c 4c 42 41 43 4b 0a 20 20 20 20 73 71 6c ROLLBACK. sql
1530: 31 20 43 4f 4d 4d 49 54 0a 20 20 20 20 73 71 6c 1 COMMIT. sql
1540: 31 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 1 { SELECT * FRO
1550: 4d 20 74 31 3b 20 7d 0a 20 20 7d 20 7b 31 20 6f M t1; }. } {1 o
1560: 6e 65 20 32 20 74 77 6f 20 33 20 74 68 72 65 65 ne 2 two 3 three
1570: 20 34 20 66 6f 75 72 7d 0a 0a 20 20 23 2d 2d 2d 4 four}.. #---
1580: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
1590: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
15a0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
15b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
15c0: 2d 2d 2d 2d 0a 20 20 23 20 31 2e 20 43 72 65 61 ----. # 1. Crea
15d0: 74 65 20 61 20 73 65 63 6f 6e 64 20 74 61 62 6c te a second tabl
15e0: 65 20 2d 20 74 32 2e 0a 20 20 23 0a 20 20 23 20 e - t2.. #. #
15f0: 32 2e 20 57 72 69 74 65 20 74 6f 20 74 31 20 77 2. Write to t1 w
1600: 69 74 68 20 5b 64 62 5d 20 61 6e 64 20 74 32 20 ith [db] and t2
1610: 77 69 74 68 20 5b 64 62 32 5d 2e 0a 20 20 23 0a with [db2].. #.
1620: 20 20 23 20 33 2e 20 53 65 65 20 69 66 20 69 74 # 3. See if it
1630: 20 77 6f 72 6b 65 64 2e 0a 20 20 23 0a 20 20 64 worked.. #. d
1640: 6f 5f 74 65 73 74 20 32 2e 24 74 6e 2e 34 2e 31 o_test 2.$tn.4.1
1650: 20 7b 0a 20 20 20 20 73 71 6c 31 20 7b 20 43 52 {. sql1 { CR
1660: 45 41 54 45 20 54 41 42 4c 45 20 74 32 28 61 2c EATE TABLE t2(a,
1670: 20 62 29 20 7d 0a 20 20 7d 20 7b 7d 0a 20 20 64 b) }. } {}. d
1680: 6f 5f 74 65 73 74 20 32 2e 24 74 6e 2e 34 2e 32 o_test 2.$tn.4.2
1690: 20 7b 0a 20 20 20 20 73 71 6c 32 20 7b 0a 20 20 {. sql2 {.
16a0: 20 20 20 20 42 45 47 49 4e 20 55 4e 4c 4f 43 4b BEGIN UNLOCK
16b0: 45 44 3b 0a 20 20 20 20 20 20 20 20 49 4e 53 45 ED;. INSE
16c0: 52 54 20 49 4e 54 4f 20 74 32 20 56 41 4c 55 45 RT INTO t2 VALUE
16d0: 53 28 27 69 27 2c 20 27 6e 27 29 3b 0a 20 20 20 S('i', 'n');.
16e0: 20 7d 0a 0a 20 20 20 20 73 71 6c 31 20 7b 0a 20 }.. sql1 {.
16f0: 20 20 20 20 20 42 45 47 49 4e 20 55 4e 4c 4f 43 BEGIN UNLOC
1700: 4b 45 44 3b 0a 20 20 20 20 20 20 20 20 49 4e 53 KED;. INS
1710: 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 ERT INTO t1 VALU
1720: 45 53 28 35 2c 20 27 66 69 76 65 27 29 3b 0a 20 ES(5, 'five');.
1730: 20 20 20 20 20 43 4f 4d 4d 49 54 3b 0a 20 20 20 COMMIT;.
1740: 20 7d 0a 0a 20 20 20 20 73 71 6c 32 20 43 4f 4d }.. sql2 COM
1750: 4d 49 54 0a 20 20 7d 20 7b 7d 0a 0a 20 20 64 6f MIT. } {}.. do
1760: 5f 74 65 73 74 20 32 2e 24 74 6e 2e 34 2e 33 2e _test 2.$tn.4.3.
1770: 31 20 7b 0a 20 20 20 20 73 71 6c 32 20 7b 53 45 1 {. sql2 {SE
1780: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 7d 0a LECT * FROM t1}.
1790: 20 20 7d 20 7b 31 20 6f 6e 65 20 32 20 74 77 6f } {1 one 2 two
17a0: 20 33 20 74 68 72 65 65 20 34 20 66 6f 75 72 20 3 three 4 four
17b0: 35 20 66 69 76 65 7d 0a 20 20 64 6f 5f 74 65 73 5 five}. do_tes
17c0: 74 20 32 2e 24 74 6e 2e 34 2e 33 2e 32 20 7b 0a t 2.$tn.4.3.2 {.
17d0: 20 20 20 20 73 71 6c 31 20 7b 53 45 4c 45 43 54 sql1 {SELECT
17e0: 20 2a 20 46 52 4f 4d 20 74 31 7d 0a 20 20 7d 20 * FROM t1}. }
17f0: 7b 31 20 6f 6e 65 20 32 20 74 77 6f 20 33 20 74 {1 one 2 two 3 t
1800: 68 72 65 65 20 34 20 66 6f 75 72 20 35 20 66 69 hree 4 four 5 fi
1810: 76 65 7d 0a 0a 20 20 64 6f 5f 74 65 73 74 20 32 ve}.. do_test 2
1820: 2e 24 74 6e 2e 34 2e 33 2e 33 20 7b 20 73 71 6c .$tn.4.3.3 { sql
1830: 32 20 7b 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 2 {SELECT * FROM
1840: 20 74 32 7d 20 7d 20 7b 69 20 6e 7d 0a 20 20 64 t2} } {i n}. d
1850: 6f 5f 74 65 73 74 20 32 2e 24 74 6e 2e 34 2e 33 o_test 2.$tn.4.3
1860: 2e 34 20 7b 20 73 71 6c 31 20 7b 53 45 4c 45 43 .4 { sql1 {SELEC
1870: 54 20 2a 20 46 52 4f 4d 20 74 32 7d 20 7d 20 7b T * FROM t2} } {
1880: 69 20 6e 7d 0a 0a 20 20 23 2d 2d 2d 2d 2d 2d 2d i n}.. #-------
1890: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
18a0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
18b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
18c0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
18d0: 0a 20 20 23 20 54 68 65 20 22 73 63 68 65 6d 61 . # The "schema
18e0: 20 63 6f 6f 6b 69 65 22 20 69 73 73 75 65 2e 0a cookie" issue..
18f0: 20 20 23 0a 20 20 23 20 31 2e 20 42 65 67 69 6e #. # 1. Begin
1900: 20 61 6e 64 20 55 4e 4c 4f 43 4b 45 44 20 77 72 and UNLOCKED wr
1910: 69 74 65 20 74 6f 20 22 74 31 22 20 75 73 69 6e ite to "t1" usin
1920: 67 20 5b 64 62 5d 0a 20 20 23 0a 20 20 23 20 32 g [db]. #. # 2
1930: 2e 20 43 72 65 61 74 65 20 61 6e 20 69 6e 64 65 . Create an inde
1940: 78 20 6f 6e 20 74 31 20 75 73 69 6e 67 20 5b 64 x on t1 using [d
1950: 62 32 5d 2e 0a 20 20 23 0a 20 20 23 20 33 2e 20 b2].. #. # 3.
1960: 41 74 74 65 6d 70 74 20 74 6f 20 63 6f 6d 6d 69 Attempt to commi
1970: 74 20 74 68 65 20 55 4e 4c 4f 43 4b 45 44 20 77 t the UNLOCKED w
1980: 72 69 74 65 2e 20 54 68 69 73 20 69 73 20 61 6e rite. This is an
1990: 20 53 51 4c 49 54 45 5f 42 55 53 59 5f 53 4e 41 SQLITE_BUSY_SNA
19a0: 50 53 48 4f 54 2c 0a 20 20 23 20 20 20 20 65 76 PSHOT,. # ev
19b0: 65 6e 20 74 68 6f 75 67 68 20 74 68 65 72 65 20 en though there
19c0: 69 73 20 6e 6f 20 70 61 67 65 20 63 6f 6c 6c 69 is no page colli
19d0: 73 69 6f 6e 2e 0a 20 20 23 0a 20 20 64 6f 5f 74 sion.. #. do_t
19e0: 65 73 74 20 32 2e 24 74 6e 2e 35 2e 31 20 7b 0a est 2.$tn.5.1 {.
19f0: 20 20 20 20 73 71 6c 31 20 7b 0a 20 20 20 20 20 sql1 {.
1a00: 20 42 45 47 49 4e 20 55 4e 4c 4f 43 4b 45 44 3b BEGIN UNLOCKED;
1a10: 0a 20 20 20 20 20 20 20 20 49 4e 53 45 52 54 20 . INSERT
1a20: 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 36 INTO t1 VALUES(6
1a30: 2c 20 27 73 69 78 27 29 3b 0a 20 20 20 20 7d 0a , 'six');. }.
1a40: 20 20 7d 20 7b 7d 0a 0a 20 20 64 6f 5f 74 65 73 } {}.. do_tes
1a50: 74 20 32 2e 24 74 6e 2e 35 2e 32 20 7b 0a 20 20 t 2.$tn.5.2 {.
1a60: 20 20 73 71 6c 32 20 7b 20 43 52 45 41 54 45 20 sql2 { CREATE
1a70: 49 4e 44 45 58 20 69 31 20 4f 4e 20 74 31 28 76 INDEX i1 ON t1(v
1a80: 29 3b 20 7d 0a 20 20 7d 20 7b 7d 0a 0a 20 20 64 ); }. } {}.. d
1a90: 6f 5f 74 65 73 74 20 32 2e 24 74 6e 2e 35 2e 33 o_test 2.$tn.5.3
1aa0: 20 7b 0a 20 20 20 20 6c 69 73 74 20 5b 63 61 74 {. list [cat
1ab0: 63 68 20 7b 20 73 71 6c 31 20 7b 20 43 4f 4d 4d ch { sql1 { COMM
1ac0: 49 54 20 7d 20 7d 20 6d 73 67 5d 20 24 6d 73 67 IT } } msg] $msg
1ad0: 20 5b 73 71 6c 69 74 65 33 5f 65 72 72 63 6f 64 [sqlite3_errcod
1ae0: 65 20 64 62 5d 0a 20 20 7d 20 7b 31 20 7b 64 61 e db]. } {1 {da
1af0: 74 61 62 61 73 65 20 69 73 20 6c 6f 63 6b 65 64 tabase is locked
1b00: 7d 20 53 51 4c 49 54 45 5f 42 55 53 59 5f 53 4e } SQLITE_BUSY_SN
1b10: 41 50 53 48 4f 54 7d 0a 0a 20 20 64 6f 5f 74 65 APSHOT}.. do_te
1b20: 73 74 20 32 2e 24 74 6e 2e 35 2e 34 20 7b 0a 20 st 2.$tn.5.4 {.
1b30: 20 20 20 73 71 6c 32 20 7b 20 50 52 41 47 4d 41 sql2 { PRAGMA
1b40: 20 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63 6b integrity_check
1b50: 20 7d 0a 20 20 7d 20 7b 6f 6b 7d 0a 20 20 63 61 }. } {ok}. ca
1b60: 74 63 68 20 7b 20 73 71 6c 31 20 52 4f 4c 4c 42 tch { sql1 ROLLB
1b70: 41 43 4b 20 7d 0a 0a 20 20 23 2d 2d 2d 2d 2d 2d ACK }.. #------
1b80: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
1b90: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
1ba0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
1bb0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
1bc0: 2d 0a 20 20 23 20 54 68 65 20 22 73 63 68 65 6d -. # The "schem
1bd0: 61 20 63 6f 6f 6b 69 65 22 20 69 73 73 75 65 2e a cookie" issue.
1be0: 0a 20 20 23 0a 20 20 23 20 31 2e 20 42 65 67 69 . #. # 1. Begi
1bf0: 6e 20 61 6e 20 55 4e 4c 4f 43 4b 45 44 20 77 72 n an UNLOCKED wr
1c00: 69 74 65 20 74 6f 20 22 74 31 22 20 75 73 69 6e ite to "t1" usin
1c10: 67 20 5b 64 62 5d 0a 20 20 23 0a 20 20 23 20 32 g [db]. #. # 2
1c20: 2e 20 4c 6f 74 73 20 6f 66 20 69 6e 73 65 72 74 . Lots of insert
1c30: 73 20 69 6e 74 6f 20 74 32 2e 20 45 6e 6f 75 67 s into t2. Enoug
1c40: 68 20 74 6f 20 67 72 6f 77 20 74 68 65 20 64 62 h to grow the db
1c50: 20 66 69 6c 65 2e 0a 20 20 23 0a 20 20 23 20 33 file.. #. # 3
1c60: 2e 20 43 68 65 63 6b 20 74 68 61 74 20 74 68 65 . Check that the
1c70: 20 55 4e 4c 4f 43 4b 45 44 20 74 72 61 6e 73 61 UNLOCKED transa
1c80: 63 74 69 6f 6e 20 63 61 6e 20 73 74 69 6c 6c 20 ction can still
1c90: 62 65 20 63 6f 6d 6d 69 74 74 65 64 2e 0a 20 20 be committed..
1ca0: 23 0a 20 20 64 6f 5f 74 65 73 74 20 32 2e 24 74 #. do_test 2.$t
1cb0: 6e 2e 36 2e 31 20 7b 0a 20 20 20 20 73 71 6c 31 n.6.1 {. sql1
1cc0: 20 7b 0a 20 20 20 20 20 20 42 45 47 49 4e 20 55 {. BEGIN U
1cd0: 4e 4c 4f 43 4b 45 44 3b 0a 20 20 20 20 20 20 20 NLOCKED;.
1ce0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 INSERT INTO t1
1cf0: 56 41 4c 55 45 53 28 36 2c 20 27 73 69 78 27 29 VALUES(6, 'six')
1d00: 3b 0a 20 20 20 20 7d 0a 20 20 7d 20 7b 7d 0a 0a ;. }. } {}..
1d10: 20 20 64 6f 5f 74 65 73 74 20 32 2e 24 74 6e 2e do_test 2.$tn.
1d20: 36 2e 32 20 7b 0a 20 20 20 20 73 71 6c 32 20 7b 6.2 {. sql2 {
1d30: 20 0a 20 20 20 20 20 20 57 49 54 48 20 73 72 63 . WITH src
1d40: 28 61 2c 62 29 20 41 53 20 28 0a 20 20 20 20 20 (a,b) AS (.
1d50: 20 20 20 56 41 4c 55 45 53 28 31 2c 31 29 20 55 VALUES(1,1) U
1d60: 4e 49 4f 4e 20 41 4c 4c 20 53 45 4c 45 43 54 20 NION ALL SELECT
1d70: 61 2b 31 2c 62 2b 31 20 46 52 4f 4d 20 73 72 63 a+1,b+1 FROM src
1d80: 20 57 48 45 52 45 20 61 3c 31 30 30 30 30 0a 20 WHERE a<10000.
1d90: 20 20 20 20 20 29 20 49 4e 53 45 52 54 20 49 4e ) INSERT IN
1da0: 54 4f 20 74 32 20 53 45 4c 45 43 54 20 2a 20 46 TO t2 SELECT * F
1db0: 52 4f 4d 20 73 72 63 3b 0a 20 20 20 20 7d 0a 20 ROM src;. }.
1dc0: 20 7d 20 7b 7d 0a 0a 20 20 64 6f 5f 74 65 73 74 } {}.. do_test
1dd0: 20 32 2e 24 74 6e 2e 36 2e 33 20 7b 0a 20 20 20 2.$tn.6.3 {.
1de0: 20 73 71 6c 31 20 7b 0a 20 20 20 20 20 20 53 45 sql1 {. SE
1df0: 4c 45 43 54 20 63 6f 75 6e 74 28 2a 29 20 46 52 LECT count(*) FR
1e00: 4f 4d 20 74 32 3b 0a 20 20 20 20 20 20 43 4f 4d OM t2;. COM
1e10: 4d 49 54 3b 0a 20 20 20 20 20 20 53 45 4c 45 43 MIT;. SELEC
1e20: 54 20 63 6f 75 6e 74 28 2a 29 20 46 52 4f 4d 20 T count(*) FROM
1e30: 74 32 3b 0a 20 20 20 20 7d 0a 20 20 7d 20 7b 31 t2;. }. } {1
1e40: 20 31 30 30 30 31 7d 0a 0a 20 20 23 2d 2d 2d 2d 10001}.. #----
1e50: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
1e60: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
1e70: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
1e80: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
1e90: 2d 2d 2d 0a 20 20 23 20 0a 20 20 23 20 31 2e 20 ---. # . # 1.
1ea0: 42 65 67 69 6e 20 61 6e 20 62 69 67 20 55 4e 4c Begin an big UNL
1eb0: 4f 43 4b 45 44 20 77 72 69 74 65 20 74 6f 20 22 OCKED write to "
1ec0: 74 31 22 20 75 73 69 6e 67 20 5b 64 62 5d 20 2d t1" using [db] -
1ed0: 20 6c 61 72 67 65 20 65 6e 6f 75 67 68 20 74 6f large enough to
1ee0: 0a 20 20 23 20 20 20 20 67 72 6f 77 20 74 68 65 . # grow the
1ef0: 20 64 62 20 66 69 6c 65 2e 0a 20 20 23 0a 20 20 db file.. #.
1f00: 23 20 32 2e 20 4c 6f 74 73 20 6f 66 20 69 6e 73 # 2. Lots of ins
1f10: 65 72 74 73 20 69 6e 74 6f 20 74 32 2e 20 41 6c erts into t2. Al
1f20: 73 6f 20 65 6e 6f 75 67 68 20 74 6f 20 67 72 6f so enough to gro
1f30: 77 20 74 68 65 20 64 62 20 66 69 6c 65 2e 0a 20 w the db file..
1f40: 20 23 0a 20 20 23 20 33 2e 20 43 68 65 63 6b 20 #. # 3. Check
1f50: 74 68 61 74 20 74 68 65 20 55 4e 4c 4f 43 4b 45 that the UNLOCKE
1f60: 44 20 74 72 61 6e 73 61 63 74 69 6f 6e 20 63 61 D transaction ca
1f70: 6e 6e 6f 74 20 62 65 20 63 6f 6d 6d 69 74 74 65 nnot be committe
1f80: 64 20 28 64 75 65 20 74 6f 20 61 20 63 6c 61 73 d (due to a clas
1f90: 68 0a 20 20 23 20 20 20 20 6f 6e 20 70 61 67 65 h. # on page
1fa0: 20 31 20 2d 20 74 68 65 20 64 62 20 73 69 7a 65 1 - the db size
1fb0: 20 66 69 65 6c 64 29 2e 0a 20 20 23 0a 20 20 64 field).. #. d
1fc0: 6f 5f 74 65 73 74 20 32 2e 24 74 6e 2e 37 2e 31 o_test 2.$tn.7.1
1fd0: 20 7b 0a 20 20 20 20 73 71 6c 31 20 7b 0a 20 20 {. sql1 {.
1fe0: 20 20 20 20 42 45 47 49 4e 20 55 4e 4c 4f 43 4b BEGIN UNLOCK
1ff0: 45 44 3b 0a 20 20 20 20 20 20 20 20 57 49 54 48 ED;. WITH
2000: 20 73 72 63 28 61 2c 62 29 20 41 53 20 28 0a 20 src(a,b) AS (.
2010: 20 20 20 20 20 20 20 20 20 56 41 4c 55 45 53 28 VALUES(
2020: 31 30 30 30 30 2c 31 30 30 30 30 29 20 55 4e 49 10000,10000) UNI
2030: 4f 4e 20 41 4c 4c 20 53 45 4c 45 43 54 20 61 2b ON ALL SELECT a+
2040: 31 2c 62 2b 31 20 46 52 4f 4d 20 73 72 63 20 57 1,b+1 FROM src W
2050: 48 45 52 45 20 61 3c 32 30 30 30 30 0a 20 20 20 HERE a<20000.
2060: 20 20 20 20 20 29 20 49 4e 53 45 52 54 20 49 4e ) INSERT IN
2070: 54 4f 20 74 31 20 53 45 4c 45 43 54 20 2a 20 46 TO t1 SELECT * F
2080: 52 4f 4d 20 73 72 63 3b 0a 20 20 20 20 7d 0a 20 ROM src;. }.
2090: 20 7d 20 7b 7d 0a 0a 20 20 64 6f 5f 74 65 73 74 } {}.. do_test
20a0: 20 32 2e 24 74 6e 2e 37 2e 32 20 7b 0a 20 20 20 2.$tn.7.2 {.
20b0: 20 73 71 6c 32 20 7b 20 0a 20 20 20 20 20 20 57 sql2 { . W
20c0: 49 54 48 20 73 72 63 28 61 2c 62 29 20 41 53 20 ITH src(a,b) AS
20d0: 28 0a 20 20 20 20 20 20 20 20 56 41 4c 55 45 53 (. VALUES
20e0: 28 31 2c 31 29 20 55 4e 49 4f 4e 20 41 4c 4c 20 (1,1) UNION ALL
20f0: 53 45 4c 45 43 54 20 61 2b 31 2c 62 2b 31 20 46 SELECT a+1,b+1 F
2100: 52 4f 4d 20 73 72 63 20 57 48 45 52 45 20 61 3c ROM src WHERE a<
2110: 31 30 30 30 30 0a 20 20 20 20 20 20 29 20 49 4e 10000. ) IN
2120: 53 45 52 54 20 49 4e 54 4f 20 74 32 20 53 45 4c SERT INTO t2 SEL
2130: 45 43 54 20 2a 20 46 52 4f 4d 20 73 72 63 3b 0a ECT * FROM src;.
2140: 20 20 20 20 7d 0a 20 20 7d 20 7b 7d 0a 0a 20 20 }. } {}..
2150: 64 6f 5f 74 65 73 74 20 32 2e 24 74 6e 2e 37 2e do_test 2.$tn.7.
2160: 33 20 7b 0a 20 20 20 20 6c 69 73 74 20 5b 63 61 3 {. list [ca
2170: 74 63 68 20 7b 20 73 71 6c 31 20 7b 20 43 4f 4d tch { sql1 { COM
2180: 4d 49 54 20 7d 20 7d 20 6d 73 67 5d 20 24 6d 73 MIT } } msg] $ms
2190: 67 20 5b 73 71 6c 69 74 65 33 5f 65 72 72 63 6f g [sqlite3_errco
21a0: 64 65 20 64 62 5d 0a 20 20 7d 20 7b 31 20 7b 64 de db]. } {1 {d
21b0: 61 74 61 62 61 73 65 20 69 73 20 6c 6f 63 6b 65 atabase is locke
21c0: 64 7d 20 53 51 4c 49 54 45 5f 42 55 53 59 5f 53 d} SQLITE_BUSY_S
21d0: 4e 41 50 53 48 4f 54 7d 0a 20 20 73 71 6c 31 20 NAPSHOT}. sql1
21e0: 52 4f 4c 4c 42 41 43 4b 0a 0a 0a 7d 0a 0a 0a 0a ROLLBACK...}....
21f0: 66 69 6e 69 73 68 5f 74 65 73 74 0a finish_test.