1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
|
# name: test/sql/storage/commit_abort_large.test_slow
# description: Test abort of commit with many values
# group: [storage]
# load the DB from disk
load __TEST_DIR__/commit_abort.db
statement ok
PRAGMA wal_autocheckpoint='1TB';
statement ok
PRAGMA enable_verification
statement ok
CREATE TABLE test (a INTEGER PRIMARY KEY, b INTEGER, c VARCHAR);
statement ok
INSERT INTO test VALUES (11, 22, 'hello'), (13, 22, 'world'), (12, 21, 'test'), (10, NULL, NULL);
# start a transaction for con and con2
statement ok con1
BEGIN TRANSACTION
statement ok con2
BEGIN TRANSACTION
# insert the value 14 in con1
statement ok con1
INSERT INTO test VALUES (14, 10, 'con')
# insert a bunch of unique values in con2
statement ok con2
INSERT INTO test SELECT i, NULL, NULL FROM range(15, 1000000) tbl(i);
# now insert value 14
statement ok con2
INSERT INTO test VALUES (14, 10, 'con2')
# commit both
# con2 will fail
statement ok con1
COMMIT
statement error con2
COMMIT
----
query III
SELECT * FROM test ORDER BY a, b, c
----
10 NULL NULL
11 22 hello
12 21 test
13 22 world
14 10 con
statement ok con1
INSERT INTO test VALUES (15, NULL, NULL)
statement ok con1
INSERT INTO test VALUES (16, 24, 'blabla')
query III
SELECT * FROM test ORDER BY a, b, c
----
10 NULL NULL
11 22 hello
12 21 test
13 22 world
14 10 con
15 NULL NULL
16 24 blabla
restart
statement ok
PRAGMA enable_verification
query III
SELECT * FROM test ORDER BY a, b, c
----
10 NULL NULL
11 22 hello
12 21 test
13 22 world
14 10 con
15 NULL NULL
16 24 blabla
restart
query III
SELECT * FROM test ORDER BY a, b, c
----
10 NULL NULL
11 22 hello
12 21 test
13 22 world
14 10 con
15 NULL NULL
16 24 blabla
|
