Index: third_party/sqlite/sqlite-src-3070603/test/shared_err.test |
diff --git a/third_party/sqlite/sqlite-src-3070603/test/shared_err.test b/third_party/sqlite/sqlite-src-3070603/test/shared_err.test |
new file mode 100644 |
index 0000000000000000000000000000000000000000..f501fc70d9daa047675bc79e989978ad0d8771f2 |
--- /dev/null |
+++ b/third_party/sqlite/sqlite-src-3070603/test/shared_err.test |
@@ -0,0 +1,521 @@ |
+# 2005 December 30 |
+# |
+# The author disclaims copyright to this source code. In place of |
+# a legal notice, here is a blessing: |
+# |
+# May you do good and not evil. |
+# May you find forgiveness for yourself and forgive others. |
+# May you share freely, never taking more than you give. |
+# |
+#*********************************************************************** |
+# |
+# The focus of the tests in this file are IO errors that occur in a shared |
+# cache context. What happens to connection B if one connection A encounters |
+# an IO-error whilst reading or writing the file-system? |
+# |
+# $Id: shared_err.test,v 1.24 2008/10/12 00:27:54 shane Exp $ |
+ |
+proc skip {args} {} |
+ |
+ |
+set testdir [file dirname $argv0] |
+source $testdir/tester.tcl |
+source $testdir/malloc_common.tcl |
+db close |
+ |
+ifcapable !shared_cache||!subquery { |
+ finish_test |
+ return |
+} |
+ |
+set ::enable_shared_cache [sqlite3_enable_shared_cache 1] |
+ |
+do_ioerr_test shared_ioerr-1 -tclprep { |
+ sqlite3 db2 test.db |
+ execsql { |
+ PRAGMA read_uncommitted = 1; |
+ CREATE TABLE t1(a,b,c); |
+ BEGIN; |
+ SELECT * FROM sqlite_master; |
+ } db2 |
+} -sqlbody { |
+ SELECT * FROM sqlite_master; |
+ INSERT INTO t1 VALUES(1,2,3); |
+ BEGIN TRANSACTION; |
+ INSERT INTO t1 VALUES(1,2,3); |
+ INSERT INTO t1 VALUES(4,5,6); |
+ ROLLBACK; |
+ SELECT * FROM t1; |
+ BEGIN TRANSACTION; |
+ INSERT INTO t1 VALUES(1,2,3); |
+ INSERT INTO t1 VALUES(4,5,6); |
+ COMMIT; |
+ SELECT * FROM t1; |
+ DELETE FROM t1 WHERE a<100; |
+} -cleanup { |
+ do_test shared_ioerr-1.$n.cleanup.1 { |
+ set res [catchsql { |
+ SELECT * FROM t1; |
+ } db2] |
+ set possible_results [list \ |
+ "1 {disk I/O error}" \ |
+ "0 {1 2 3}" \ |
+ "0 {1 2 3 1 2 3 4 5 6}" \ |
+ "0 {1 2 3 1 2 3 4 5 6 1 2 3 4 5 6}" \ |
+ "0 {}" \ |
+ "1 {database disk image is malformed}" \ |
+ ] |
+ set rc [expr [lsearch -exact $possible_results $res] >= 0] |
+ if {$rc != 1} { |
+ puts "" |
+ puts "Result: $res" |
+ } |
+ set rc |
+ } {1} |
+ |
+ # The "database disk image is malformed" is a special case that can |
+ # occur if an IO error occurs during a rollback in the {SELECT * FROM t1} |
+ # statement above. This test is to make sure there is no real database |
+ # corruption. |
+ db2 close |
+ do_test shared_ioerr-1.$n.cleanup.2 { |
+ execsql {pragma integrity_check} db |
+ } {ok} |
+} |
+ |
+do_ioerr_test shared_ioerr-2 -tclprep { |
+ sqlite3 db2 test.db |
+ execsql { |
+ PRAGMA read_uncommitted = 1; |
+ BEGIN; |
+ CREATE TABLE t1(a, b); |
+ INSERT INTO t1(oid) VALUES(NULL); |
+ INSERT INTO t1(oid) SELECT NULL FROM t1; |
+ INSERT INTO t1(oid) SELECT NULL FROM t1; |
+ INSERT INTO t1(oid) SELECT NULL FROM t1; |
+ INSERT INTO t1(oid) SELECT NULL FROM t1; |
+ INSERT INTO t1(oid) SELECT NULL FROM t1; |
+ INSERT INTO t1(oid) SELECT NULL FROM t1; |
+ INSERT INTO t1(oid) SELECT NULL FROM t1; |
+ INSERT INTO t1(oid) SELECT NULL FROM t1; |
+ INSERT INTO t1(oid) SELECT NULL FROM t1; |
+ INSERT INTO t1(oid) SELECT NULL FROM t1; |
+ UPDATE t1 set a = oid, b = 'abcdefghijklmnopqrstuvwxyz0123456789'; |
+ CREATE INDEX i1 ON t1(a); |
+ COMMIT; |
+ BEGIN; |
+ SELECT * FROM sqlite_master; |
+ } db2 |
+} -tclbody { |
+ set ::residx 0 |
+ execsql {DELETE FROM t1 WHERE 0 = (a % 2);} |
+ incr ::residx |
+ |
+ # When this transaction begins the table contains 512 entries. The |
+ # two statements together add 512+146 more if it succeeds. |
+ # (1024/7==146) |
+ execsql {BEGIN;} |
+ execsql {INSERT INTO t1 SELECT a+1, b FROM t1;} |
+ execsql {INSERT INTO t1 SELECT 'string' || a, b FROM t1 WHERE 0 = (a%7);} |
+ execsql {COMMIT;} |
+ |
+ incr ::residx |
+} -cleanup { |
+ catchsql ROLLBACK |
+ do_test shared_ioerr-2.$n.cleanup.1 { |
+ set res [catchsql { |
+ SELECT max(a), min(a), count(*) FROM (SELECT a FROM t1 order by a); |
+ } db2] |
+ set possible_results [list \ |
+ {0 {1024 1 1024}} \ |
+ {0 {1023 1 512}} \ |
+ {0 {string994 1 1170}} \ |
+ ] |
+ set idx [lsearch -exact $possible_results $res] |
+ set success [expr {$idx==$::residx || $res=="1 {disk I/O error}"}] |
+ if {!$success} { |
+ puts "" |
+ puts "Result: \"$res\" ($::residx)" |
+ } |
+ set success |
+ } {1} |
+ db2 close |
+} |
+ |
+# This test is designed to provoke an IO error when a cursor position is |
+# "saved" (because another cursor is going to modify the underlying table). |
+# |
+do_ioerr_test shared_ioerr-3 -tclprep { |
+ sqlite3 db2 test.db |
+ execsql { |
+ PRAGMA read_uncommitted = 1; |
+ PRAGMA cache_size = 10; |
+ BEGIN; |
+ CREATE TABLE t1(a, b, UNIQUE(a, b)); |
+ } db2 |
+ for {set i 0} {$i < 200} {incr i} { |
+ set a [string range [string repeat "[format %03d $i]." 5] 0 end-1] |
+ |
+ set b [string repeat $i 2000] |
+ execsql {INSERT INTO t1 VALUES($a, $b)} db2 |
+ } |
+ execsql {COMMIT} db2 |
+ set ::DB2 [sqlite3_connection_pointer db2] |
+ set ::STMT [sqlite3_prepare $::DB2 "SELECT a FROM t1 ORDER BY a" -1 DUMMY] |
+ sqlite3_step $::STMT ;# Cursor points at 000.000.000.000 |
+ sqlite3_step $::STMT ;# Cursor points at 001.001.001.001 |
+ |
+} -tclbody { |
+ execsql { |
+ BEGIN; |
+ INSERT INTO t1 VALUES('201.201.201.201.201', NULL); |
+ UPDATE t1 SET a = '202.202.202.202.202' WHERE a LIKE '201%'; |
+ COMMIT; |
+ } |
+} -cleanup { |
+ set ::steprc [sqlite3_step $::STMT] |
+ set ::column [sqlite3_column_text $::STMT 0] |
+ set ::finalrc [sqlite3_finalize $::STMT] |
+ |
+ # There are three possible outcomes here (assuming persistent IO errors): |
+ # |
+ # 1. If the [sqlite3_step] did not require any IO (required pages in |
+ # the cache), then the next row ("002...") may be retrieved |
+ # successfully. |
+ # |
+ # 2. If the [sqlite3_step] does require IO, then [sqlite3_step] returns |
+ # SQLITE_ERROR and [sqlite3_finalize] returns IOERR. |
+ # |
+ # 3. If, after the initial IO error, SQLite tried to rollback the |
+ # active transaction and a second IO error was encountered, then |
+ # statement $::STMT will have been aborted. This means [sqlite3_stmt] |
+ # returns SQLITE_ABORT, and the statement cursor does not move. i.e. |
+ # [sqlite3_column] still returns the current row ("001...") and |
+ # [sqlite3_finalize] returns SQLITE_OK. |
+ # |
+ |
+ do_test shared_ioerr-3.$n.cleanup.1 { |
+ expr { |
+ $::steprc eq "SQLITE_ROW" || |
+ $::steprc eq "SQLITE_ERROR" || |
+ $::steprc eq "SQLITE_ABORT" |
+ } |
+ } {1} |
+ do_test shared_ioerr-3.$n.cleanup.2 { |
+ expr { |
+ ($::steprc eq "SQLITE_ROW" && $::column eq "002.002.002.002.002") || |
+ ($::steprc eq "SQLITE_ERROR" && $::column eq "") || |
+ ($::steprc eq "SQLITE_ABORT" && $::column eq "001.001.001.001.001") |
+ } |
+ } {1} |
+ do_test shared_ioerr-3.$n.cleanup.3 { |
+ expr { |
+ ($::steprc eq "SQLITE_ROW" && $::finalrc eq "SQLITE_OK") || |
+ ($::steprc eq "SQLITE_ERROR" && $::finalrc eq "SQLITE_IOERR") || |
+ ($::steprc eq "SQLITE_ERROR" && $::finalrc eq "SQLITE_ABORT") |
+ } |
+ } {1} |
+ |
+# db2 eval {select * from sqlite_master} |
+ db2 close |
+} |
+ |
+# This is a repeat of the previous test except that this time we |
+# are doing a reverse-order scan of the table when the cursor is |
+# "saved". |
+# |
+do_ioerr_test shared_ioerr-3rev -tclprep { |
+ sqlite3 db2 test.db |
+ execsql { |
+ PRAGMA read_uncommitted = 1; |
+ PRAGMA cache_size = 10; |
+ BEGIN; |
+ CREATE TABLE t1(a, b, UNIQUE(a, b)); |
+ } db2 |
+ for {set i 0} {$i < 200} {incr i} { |
+ set a [string range [string repeat "[format %03d $i]." 5] 0 end-1] |
+ |
+ set b [string repeat $i 2000] |
+ execsql {INSERT INTO t1 VALUES($a, $b)} db2 |
+ } |
+ execsql {COMMIT} db2 |
+ set ::DB2 [sqlite3_connection_pointer db2] |
+ set ::STMT [sqlite3_prepare $::DB2 \ |
+ "SELECT a FROM t1 ORDER BY a DESC" -1 DUMMY] |
+ sqlite3_step $::STMT ;# Cursor points at 199.199.199.199.199 |
+ sqlite3_step $::STMT ;# Cursor points at 198.198.198.198.198 |
+ |
+} -tclbody { |
+ execsql { |
+ BEGIN; |
+ INSERT INTO t1 VALUES('201.201.201.201.201', NULL); |
+ UPDATE t1 SET a = '202.202.202.202.202' WHERE a LIKE '201%'; |
+ COMMIT; |
+ } |
+} -cleanup { |
+ set ::steprc [sqlite3_step $::STMT] |
+ set ::column [sqlite3_column_text $::STMT 0] |
+ set ::finalrc [sqlite3_finalize $::STMT] |
+ |
+ # There are three possible outcomes here (assuming persistent IO errors): |
+ # |
+ # 1. If the [sqlite3_step] did not require any IO (required pages in |
+ # the cache), then the next row ("002...") may be retrieved |
+ # successfully. |
+ # |
+ # 2. If the [sqlite3_step] does require IO, then [sqlite3_step] returns |
+ # SQLITE_ERROR and [sqlite3_finalize] returns IOERR. |
+ # |
+ # 3. If, after the initial IO error, SQLite tried to rollback the |
+ # active transaction and a second IO error was encountered, then |
+ # statement $::STMT will have been aborted. This means [sqlite3_stmt] |
+ # returns SQLITE_ABORT, and the statement cursor does not move. i.e. |
+ # [sqlite3_column] still returns the current row ("001...") and |
+ # [sqlite3_finalize] returns SQLITE_OK. |
+ # |
+ |
+ do_test shared_ioerr-3rev.$n.cleanup.1 { |
+ expr { |
+ $::steprc eq "SQLITE_ROW" || |
+ $::steprc eq "SQLITE_ERROR" || |
+ $::steprc eq "SQLITE_ABORT" |
+ } |
+ } {1} |
+ do_test shared_ioerr-3rev.$n.cleanup.2 { |
+ expr { |
+ ($::steprc eq "SQLITE_ROW" && $::column eq "197.197.197.197.197") || |
+ ($::steprc eq "SQLITE_ERROR" && $::column eq "") || |
+ ($::steprc eq "SQLITE_ABORT" && $::column eq "198.198.198.198.198") |
+ } |
+ } {1} |
+ do_test shared_ioerr-3rev.$n.cleanup.3 { |
+ expr { |
+ ($::steprc eq "SQLITE_ROW" && $::finalrc eq "SQLITE_OK") || |
+ ($::steprc eq "SQLITE_ERROR" && $::finalrc eq "SQLITE_IOERR") || |
+ ($::steprc eq "SQLITE_ERROR" && $::finalrc eq "SQLITE_ABORT") |
+ } |
+ } {1} |
+ |
+# db2 eval {select * from sqlite_master} |
+ db2 close |
+} |
+ |
+# Provoke a malloc() failure when a cursor position is being saved. This |
+# only happens with index cursors (because they malloc() space to save the |
+# current key value). It does not happen with tables, because an integer |
+# key does not require a malloc() to store. |
+# |
+# The library should return an SQLITE_NOMEM to the caller. The query that |
+# owns the cursor (the one for which the position is not saved) should |
+# continue unaffected. |
+# |
+do_malloc_test shared_err-4 -tclprep { |
+ sqlite3 db2 test.db |
+ execsql { |
+ PRAGMA read_uncommitted = 1; |
+ BEGIN; |
+ CREATE TABLE t1(a, b, UNIQUE(a, b)); |
+ } db2 |
+ for {set i 0} {$i < 5} {incr i} { |
+ set a [string repeat $i 10] |
+ set b [string repeat $i 2000] |
+ execsql {INSERT INTO t1 VALUES($a, $b)} db2 |
+ } |
+ execsql {COMMIT} db2 |
+ set ::DB2 [sqlite3_connection_pointer db2] |
+ set ::STMT [sqlite3_prepare $::DB2 "SELECT a FROM t1 ORDER BY a" -1 DUMMY] |
+ sqlite3_step $::STMT ;# Cursor points at 0000000000 |
+ sqlite3_step $::STMT ;# Cursor points at 1111111111 |
+} -tclbody { |
+ execsql { |
+ INSERT INTO t1 VALUES(6, NULL); |
+ } |
+} -cleanup { |
+ do_test shared_malloc-4.$::n.cleanup.1 { |
+ set ::rc [sqlite3_step $::STMT] |
+ expr {$::rc=="SQLITE_ROW" || $::rc=="SQLITE_ERROR"} |
+ } {1} |
+ if {$::rc=="SQLITE_ROW"} { |
+ do_test shared_malloc-4.$::n.cleanup.2 { |
+ sqlite3_column_text $::STMT 0 |
+ } {2222222222} |
+ } |
+ do_test shared_malloc-4.$::n.cleanup.3 { |
+ set rc [sqlite3_finalize $::STMT] |
+ expr {$rc=="SQLITE_OK" || $rc=="SQLITE_ABORT" || |
+ $rc=="SQLITE_NOMEM" || $rc=="SQLITE_IOERR"} |
+ } {1} |
+# db2 eval {select * from sqlite_master} |
+ db2 close |
+} |
+ |
+do_malloc_test shared_err-5 -tclbody { |
+ db close |
+ sqlite3 dbX test.db |
+ sqlite3 dbY test.db |
+ dbX close |
+ dbY close |
+} -cleanup { |
+ catch {dbX close} |
+ catch {dbY close} |
+} |
+ |
+do_malloc_test shared_err-6 -tclbody { |
+ catch {db close} |
+ ifcapable deprecated { |
+ sqlite3_thread_cleanup |
+ } |
+ sqlite3_enable_shared_cache 0 |
+} -cleanup { |
+ sqlite3_enable_shared_cache 1 |
+} |
+ |
+# As of 3.5.0, sqlite3_enable_shared_cache can be called at |
+# any time and from any thread |
+#do_test shared_err-misuse-7.1 { |
+# sqlite3 db test.db |
+# catch { |
+# sqlite3_enable_shared_cache 0 |
+# } msg |
+# set msg |
+#} {library routine called out of sequence} |
+ |
+# Again provoke a malloc() failure when a cursor position is being saved, |
+# this time during a ROLLBACK operation by some other handle. |
+# |
+# The library should return an SQLITE_NOMEM to the caller. The query that |
+# owns the cursor (the one for which the position is not saved) should |
+# be aborted. |
+# |
+set ::aborted 0 |
+do_malloc_test shared_err-8 -tclprep { |
+ sqlite3 db2 test.db |
+ execsql { |
+ PRAGMA read_uncommitted = 1; |
+ BEGIN; |
+ CREATE TABLE t1(a, b, UNIQUE(a, b)); |
+ } db2 |
+ for {set i 0} {$i < 2} {incr i} { |
+ set a [string repeat $i 10] |
+ set b [string repeat $i 2000] |
+ execsql {INSERT INTO t1 VALUES($a, $b)} db2 |
+ } |
+ execsql {COMMIT} db2 |
+ set ::DB2 [sqlite3_connection_pointer db2] |
+ set ::STMT [sqlite3_prepare $::DB2 "SELECT a FROM t1 ORDER BY a" -1 DUMMY] |
+ sqlite3_step $::STMT ;# Cursor points at 0000000000 |
+ sqlite3_step $::STMT ;# Cursor points at 1111111111 |
+} -tclbody { |
+ execsql { |
+ BEGIN; |
+ INSERT INTO t1 VALUES(6, NULL); |
+ ROLLBACK; |
+ } |
+} -cleanup { |
+ # UPDATE: As of [5668], if the rollback fails SQLITE_CORRUPT is returned. |
+ # So these tests have been updated to expect SQLITE_CORRUPT and its |
+ # associated English language error message. |
+ # |
+ do_test shared_malloc-8.$::n.cleanup.1 { |
+ set res [catchsql {SELECT a FROM t1} db2] |
+ set ans [lindex $res 1] |
+ if {[lindex $res 0]} { |
+ set r [expr { |
+ $ans=="disk I/O error" || |
+ $ans=="out of memory" || |
+ $ans=="database disk image is malformed" |
+ }] |
+ } else { |
+ set r [expr {[lrange $ans 0 1]=="0000000000 1111111111"}] |
+ } |
+ } {1} |
+ do_test shared_malloc-8.$::n.cleanup.2 { |
+ set rc1 [sqlite3_step $::STMT] |
+ set rc2 [sqlite3_finalize $::STMT] |
+ if {$rc2=="SQLITE_ABORT"} { |
+ incr ::aborted |
+ } |
+ expr { |
+ ($rc1=="SQLITE_DONE" && $rc2=="SQLITE_OK") || |
+ ($rc1=="SQLITE_ERROR" && $rc2=="SQLITE_ABORT") || |
+ ($rc1=="SQLITE_ERROR" && $rc2=="SQLITE_NOMEM") || |
+ ($rc1=="SQLITE_ERROR" && $rc2=="SQLITE_IOERR") || |
+ ($rc1=="SQLITE_ERROR" && $rc2=="SQLITE_CORRUPT") |
+ } |
+ } {1} |
+ db2 close |
+} |
+do_test shared_malloc-8.X { |
+ # Test that one or more queries were aborted due to the malloc() failure. |
+ expr $::aborted>=1 |
+} {1} |
+ |
+# This test is designed to catch a specific bug that was present during |
+# development of 3.5.0. If a malloc() failed while setting the page-size, |
+# a buffer (Pager.pTmpSpace) was being freed. This could cause a seg-fault |
+# later if another connection tried to use the pager. |
+# |
+# This test will crash 3.4.2. |
+# |
+do_malloc_test shared_err-9 -tclprep { |
+ sqlite3 db2 test.db |
+} -sqlbody { |
+ PRAGMA page_size = 4096; |
+ PRAGMA page_size = 1024; |
+} -cleanup { |
+ db2 eval { |
+ CREATE TABLE abc(a, b, c); |
+ BEGIN; |
+ INSERT INTO abc VALUES(1, 2, 3); |
+ ROLLBACK; |
+ } |
+ db2 close |
+} |
+ |
+catch {db close} |
+catch {db2 close} |
+do_malloc_test shared_err-10 -tclprep { |
+ sqlite3 db test.db |
+ sqlite3 db2 test.db |
+ |
+ db eval { SELECT * FROM sqlite_master } |
+ db2 eval { |
+ BEGIN; |
+ CREATE TABLE abc(a, b, c); |
+ } |
+} -tclbody { |
+ catch {db eval {SELECT * FROM sqlite_master}} |
+ error 1 |
+} -cleanup { |
+ execsql { SELECT * FROM sqlite_master } |
+} |
+ |
+do_malloc_test shared_err-11 -tclprep { |
+ sqlite3 db test.db |
+ sqlite3 db2 test.db |
+ |
+ db eval { SELECT * FROM sqlite_master } |
+ db2 eval { |
+ BEGIN; |
+ CREATE TABLE abc(a, b, c); |
+ } |
+} -tclbody { |
+ catch {db eval {SELECT * FROM sqlite_master}} |
+ catch {sqlite3_errmsg16 db} |
+ error 1 |
+} -cleanup { |
+ execsql { SELECT * FROM sqlite_master } |
+} |
+ |
+catch {db close} |
+catch {db2 close} |
+ |
+do_malloc_test shared_err-12 -sqlbody { |
+ CREATE TABLE abc(a, b, c); |
+ INSERT INTO abc VALUES(1, 2, 3); |
+} |
+ |
+catch {db close} |
+catch {db2 close} |
+sqlite3_enable_shared_cache $::enable_shared_cache |
+finish_test |