mirror of
https://github.com/tursodatabase/libsql.git
synced 2024-12-16 05:38:47 +00:00
133 lines
3.5 KiB
Plaintext
133 lines
3.5 KiB
Plaintext
# 2012 March 31
|
|
#
|
|
# 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.
|
|
#
|
|
#***********************************************************************
|
|
#
|
|
# Focus on the interaction between RELEASE and ROLLBACK TO with
|
|
# pending query aborts. See ticket [27ca74af3c083f787a1c44b11fbb7c53bdbbcf1e].
|
|
#
|
|
|
|
set testdir [file dirname $argv0]
|
|
source $testdir/tester.tcl
|
|
|
|
# The RELEASE of an inner savepoint should not effect pending queries.
|
|
#
|
|
do_test savepoint7-1.1 {
|
|
db eval {
|
|
CREATE TABLE t1(a,b,c);
|
|
CREATE TABLE t2(x,y,z);
|
|
INSERT INTO t1 VALUES(1,2,3);
|
|
INSERT INTO t1 VALUES(4,5,6);
|
|
INSERT INTO t1 VALUES(7,8,9);
|
|
SAVEPOINT x1;
|
|
}
|
|
db eval {SELECT * FROM t1} {
|
|
db eval {
|
|
SAVEPOINT x2;
|
|
CREATE TABLE IF NOT EXISTS t3(xyz);
|
|
INSERT INTO t2 VALUES($a,$b,$c);
|
|
RELEASE x2;
|
|
}
|
|
}
|
|
db eval {SELECT * FROM t2; RELEASE x1}
|
|
} {1 2 3 4 5 6 7 8 9}
|
|
|
|
do_test savepoint7-1.2 {
|
|
db eval {DELETE FROM t2;}
|
|
db eval {SELECT * FROM t1} {
|
|
db eval {
|
|
SAVEPOINT x2;
|
|
INSERT INTO t2 VALUES($a,$b,$c);
|
|
RELEASE x2;
|
|
}
|
|
}
|
|
db eval {SELECT * FROM t2;}
|
|
} {1 2 3 4 5 6 7 8 9}
|
|
|
|
do_test savepoint7-1.3 {
|
|
db eval {DELETE FROM t2; BEGIN;}
|
|
db eval {SELECT * FROM t1} {
|
|
db eval {
|
|
SAVEPOINT x2;
|
|
INSERT INTO t2 VALUES($a,$b,$c);
|
|
RELEASE x2;
|
|
}
|
|
}
|
|
db eval {SELECT * FROM t2; ROLLBACK;}
|
|
} {1 2 3 4 5 6 7 8 9}
|
|
|
|
# However, a ROLLBACK of an inner savepoint will abort all queries, including
|
|
# queries in outer contexts.
|
|
#
|
|
do_test savepoint7-2.1 {
|
|
db eval {DELETE FROM t2; SAVEPOINT x1; CREATE TABLE t4(abc);}
|
|
set rc [catch {
|
|
db eval {SELECT * FROM t1} {
|
|
db eval {
|
|
SAVEPOINT x2;
|
|
INSERT INTO t2 VALUES($a,$b,$c);
|
|
ROLLBACK TO x2;
|
|
}
|
|
}
|
|
} msg]
|
|
db eval {RELEASE x1}
|
|
list $rc $msg [db eval {SELECT * FROM t2}]
|
|
} {1 {abort due to ROLLBACK} {}}
|
|
|
|
do_test savepoint7-2.2 {
|
|
db eval {DELETE FROM t2;}
|
|
set rc [catch {
|
|
db eval {SELECT * FROM t1} {
|
|
db eval {
|
|
SAVEPOINT x2;
|
|
CREATE TABLE t5(pqr);
|
|
INSERT INTO t2 VALUES($a,$b,$c);
|
|
ROLLBACK TO x2;
|
|
}
|
|
}
|
|
} msg]
|
|
list $rc $msg [db eval {SELECT * FROM t2}]
|
|
} {1 {abort due to ROLLBACK} {}}
|
|
|
|
# Ticket: https://www.sqlite.org/src/tktview/7f7f8026eda387d544b
|
|
# Segfault in the in-memory journal logic triggered by a tricky
|
|
# combination of SAVEPOINT operations.
|
|
#
|
|
unset -nocomplain i
|
|
for {set i 248} {$i<=253} {incr i} {
|
|
do_test savepoint7-3.$i {
|
|
db close
|
|
forcedelete test.db
|
|
sqlite3 db test.db
|
|
db eval {
|
|
PRAGMA page_size=1024;
|
|
PRAGMA temp_store=MEMORY;
|
|
BEGIN;
|
|
CREATE TABLE t1(x INTEGER PRIMARY KEY, y TEXT);
|
|
WITH RECURSIVE c(x) AS (VALUES(1) UNION SELECT x+1 FROM c WHERE x<$::i)
|
|
INSERT INTO t1(x,y) SELECT x*10, printf('%04d%.800c',x,'*') FROM c;
|
|
SAVEPOINT one;
|
|
SELECT count(*) FROM t1;
|
|
WITH RECURSIVE c(x) AS (VALUES(1) UNION SELECT x+1 FROM c WHERE x<$::i)
|
|
INSERT INTO t1(x,y) SELECT x*10+1, printf('%04d%.800c',x,'*') FROM c;
|
|
ROLLBACK TO one;
|
|
SELECT count(*) FROM t1;
|
|
SAVEPOINT twoB;
|
|
WITH RECURSIVE c(x) AS (VALUES(1) UNION SELECT x+1 FROM c WHERE x<10)
|
|
INSERT INTO t1(x,y) SELECT x*10+2, printf('%04d%.800c',x,'*') FROM c;
|
|
ROLLBACK TO twoB;
|
|
RELEASE one;
|
|
COMMIT;
|
|
}
|
|
} [list $i $i]
|
|
}
|
|
|
|
|
|
finish_test
|