1
# Copyright (C) 2010 Patrick Crews. All rights reserved.
2
# Use is subject to license terms.
4
# This program is free software; you can redistribute it and/or modify
5
# it under the terms of the GNU General Public License as published by
6
# the Free Software Foundation; version 2 of the License.
8
# This program is distributed in the hope that it will be useful, but
9
# WITHOUT ANY WARRANTY; without even the implied warranty of
10
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
11
# General Public License for more details.
13
# You should have received a copy of the GNU General Public License
14
# along with this program; if not, write to the Free Software
15
# Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301
18
# This grammar is designed to generate a transactional workload for validating transaction handling and replication
21
# This is still a work in progress and is likely to change.
22
# We are generating a fair number of invalid queries and we could tighten things up, however,
23
# we have found a number of bugs with this grammar as it currently exists.
26
transaction | transaction |
27
normal_query | normal_query | normal_query ;
34
insert_query | update | delete |
35
insert_query | update | delete |
36
insert_query | update | delete |
37
insert_query | update | delete |
38
insert_query | update | delete |
39
insert_query | update | delete |
40
insert_query | update | delete |
41
insert_query | update | delete |
42
insert_query | update | delete |
43
insert_query | update | delete |
44
SAVEPOINT A /*Generated by THREAD_ID _thread_id*/ ;
45
#ROLLBACK TO SAVEPOINT A /*Generated by THREAD_ID _thread_id*/ ;
48
normal_query_list ; normal_query ; normal_query ; normal_query ; normal_query ; normal_query |
49
normal_query ; normal_query ; normal_query ; normal_query ; normal_query ; normal_query |
50
normal_query ; normal_query ; normal_query ; normal_query ;
53
SET AUTOCOMMIT=OFF /*Generated by THREAD_ID _thread_id*/ ; START TRANSACTION /*Generated by THREAD_ID _thread_id*/ ; normal_query_list ; end_transaction ; SET AUTOCOMMIT=ON /*Generated by THREAD_ID _thread_id*/ ;
59
COMMIT /*Generated by THREAD_ID _thread_id*/|
60
COMMIT /*Generated by THREAD_ID _thread_id*/|
61
COMMIT /*Generated by THREAD_ID _thread_id*/|
62
COMMIT /*Generated by THREAD_ID _thread_id*/|
63
COMMIT /*Generated by THREAD_ID _thread_id*/|
64
ROLLBACK /*Generated by THREAD_ID _thread_id*/;
68
SELECT select_list FROM join_list where LIMIT large_digit for_update_lock_in_share_mode /*Generated by THREAD_ID _thread_id*/ ;
71
X . _field_key | X . _field_key |
78
SELECT _field_key FROM _table WHERE `pk` = value ;
80
# Use index for all joins
83
_table AS X LEFT JOIN _table AS Y USING ( _field_key );
85
for_update_lock_in_share_mode:
98
insert_replace INTO _table ( insert_column_list )
99
SELECT insert_column_list
100
FROM _table where_insert
101
ORDER BY _field_list LIMIT insert_limit /*Generated by THREAD_ID _thread_id*/;
104
INSERT | INSERT | INSERT | INSERT | INSERT |
105
INSERT | INSERT | INSERT | INSERT | INSERT |
109
# We use a set column list because even though all tables have the same
110
# columns, each table has a different order of those columns for
111
# enhanced randomness
112
`col_char_10` , `col_char_10_key` , `col_char_10_not_null` , `col_char_10_not_null_key` ,
113
`col_char_255` , `col_char_255_key` , `col_char_255_not_null` , `col_char_255_not_null_key` ,
114
`col_int` , `col_int_key` , `col_int_not_null` , `col_int_not_null_key` ,
115
`col_bigint` , `col_bigint_key` , `col_bigint_not_null` , `col_bigint_not_null_key` ,
116
`col_enum` , `col_enum_key` , `col_enum_not_null` , `col_enum_not_null_key`
120
UPDATE _table SET update_clause where_insert ORDER BY _field_list LIMIT large_digit /*Generated by THREAD_ID _thread_id*/ ;
123
no_pk_int_field_name = int_value ;
125
# We use a smaller limit on DELETE so that we delete less than we insert
128
DELETE FROM _table where_insert ORDER BY _field_list LIMIT small_digit /*Generated by THREAD_ID _thread_id*/ ;
135
| ORDER BY X . _field_key ;
137
# Use an index at all times
140
WHERE X . _field_key < value | # Use only < to reduce deadlocks
141
WHERE X . _field_key IN ( value , value , value , value , value ) |
142
WHERE X . int_field_name BETWEEN small_digit AND large_digit |
143
WHERE X . int_field_name BETWEEN _tinyint_unsigned AND _int_unsigned ;
146
# only used in select's, but causing crashes on bad
147
# compares like enum to int
148
WHERE X . _field_key = ( subselect ) ;
157
WHERE int_field_name compare_operator int_value |
158
WHERE char_field_name compare_operator char_value |
159
WHERE int_field_name IN (int_value_list) |
160
WHERE char_field_name IN (char_value_list) |
161
WHERE int_field_name BETWEEN int_value AND int_value |
162
WHERE int_field BETWEEN _tinyint_unsigned AND _int_unsigned |
163
WHERE int_field BETWEEN small_digit AND large_digit |
167
# rules to introduce some fuzz testing
168
# we deliberately allow the chance of bad
169
# comparisons here to see what happens
170
WHERE _field_key = ( subselect ) |
171
WHERE _field_key compare_operator value |
172
WHERE _field_key IN ( subselect ) ;
175
= | = | = | = | < | > | <= | >= | != ;
180
_digit | _digit | large_digit | small_digit |
181
_digit | insert_limit | _tinyint_unsigned |
182
_digit | _digit | large_digit | small_digit |
183
_digit | insert_limit | _tinyint_unsigned |
187
int_value_list, int_value | int_value | int_value ;
190
_char | _char | _quid ;
193
char_value_list, char_value | char_value | char_value ;
196
`pk` | `col_int_key` | `col_int` |
197
`col_bigint` | `col_bigint_key` |
198
`col_int_not_null` | `col_int_not_null_key` ;
200
no_pk_int_field_name:
201
`col_int_key` | `col_int` |
202
`col_bigint` | `col_bigint_key` |
203
`col_int_not_null` | `col_int_not_null_key` ;
207
`col_char_10` | `col_char_10_key` |
208
`col_char_10_not_null_key` | `col_char_10_not_null` |
209
`col_char_255` | `col_char_255_key` |
210
`col_char_255_not_null` | `col_char_255_not_null_key` ;
219
10 | 10 | 25 | 25 | 25 | 25 | 50 | 50 | 100 ;
222
_digit | _tinyint_unsigned | _varchar(1) | _int_unsigned ;