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 | ROLLBACK TO SAVEPOINT A ;
47
normal_query_list ; normal_query ; normal_query ; normal_query ; normal_query ; normal_query |
48
normal_query ; normal_query ; normal_query ; normal_query ; normal_query ; normal_query |
49
normal_query ; normal_query ; normal_query ; normal_query ;
52
SET AUTOCOMMIT=OFF ; START TRANSACTION ; normal_query_list ; end_transaction ; SET AUTOCOMMIT=ON ;
58
COMMIT | COMMIT | COMMIT | COMMIT | COMMIT | ROLLBACK ;
62
SELECT select_list FROM join_list where LIMIT large_digit for_update_lock_in_share_mode;
65
X . _field_key | X . _field_key |
72
SELECT _field_key FROM _table WHERE `pk` = value ;
74
# Use index for all joins
77
_table AS X LEFT JOIN _table AS Y USING ( _field_key );
79
for_update_lock_in_share_mode:
92
insert_replace INTO _table ( insert_column_list )
93
SELECT insert_column_list
94
FROM _table where_insert
95
ORDER BY _field_list LIMIT insert_limit ;
98
INSERT | INSERT | INSERT | INSERT | INSERT |
99
INSERT | INSERT | INSERT | INSERT | INSERT |
103
# We use a set column list because even though all tables have the same
104
# columns, each table has a different order of those columns for
105
# enhanced randomness
106
`col_char_10` , `col_char_10_key` , `col_char_10_not_null` , `col_char_10_not_null_key` ,
107
`col_char_255` , `col_char_255_key` , `col_char_255_not_null` , `col_char_255_not_null_key` ,
108
`col_int` , `col_int_key` , `col_int_not_null` , `col_int_not_null_key` ,
109
`col_bigint` , `col_bigint_key` , `col_bigint_not_null` , `col_bigint_not_null_key` ,
110
`col_enum` , `col_enum_key` , `col_enum_not_null` , `col_enum_not_null_key` ,
111
`col_text` , `col_text_key` , `col_text_not_null` , `col_text_not_null_key`
115
UPDATE _table SET update_clause where_insert ORDER BY _field_list LIMIT large_digit ;
118
no_pk_int_field_name = int_value ;
120
# We use a smaller limit on DELETE so that we delete less than we insert
123
DELETE FROM _table where_insert ORDER BY _field_list LIMIT small_digit ;
130
| ORDER BY X . _field_key ;
132
# Use an index at all times
135
WHERE X . _field_key < value | # Use only < to reduce deadlocks
136
WHERE X . _field_key IN ( value , value , value , value , value ) |
137
WHERE X . int_field_name BETWEEN small_digit AND large_digit |
138
WHERE X . int_field_name BETWEEN _tinyint_unsigned AND _int_unsigned ;
141
# only used in select's, but causing crashes on bad
142
# compares like enum to int
143
WHERE X . _field_key = ( subselect ) ;
152
WHERE int_field_name compare_operator int_value |
153
WHERE char_field_name compare_operator char_value |
154
WHERE int_field_name IN (int_value_list) |
155
WHERE char_field_name IN (char_value_list) |
156
WHERE int_field_name BETWEEN int_value AND int_value |
157
WHERE int_field BETWEEN _tinyint_unsigned AND _int_unsigned |
158
WHERE int_field BETWEEN small_digit AND large_digit |
162
# rules to introduce some fuzz testing
163
# we deliberately allow the chance of bad
164
# comparisons here to see what happens
165
WHERE _field_key = ( subselect ) |
166
WHERE _field_key compare_operator value |
167
WHERE _field_key IN ( subselect ) ;
170
= | = | = | = | < | > | <= | >= | != ;
175
_digit | _digit | large_digit | small_digit |
176
_digit | insert_limit | _tinyint_unsigned |
177
_digit | _digit | large_digit | small_digit |
178
_digit | insert_limit | _tinyint_unsigned |
182
int_value_list, int_value | int_value | int_value ;
185
_char | _char | _quid ;
188
char_value_list, char_value | char_value | char_value ;
191
`pk` | `col_int_key` | `col_int` |
192
`col_bigint` | `col_bigint_key` |
193
`col_int_not_null` | `col_int_not_null_key` ;
195
no_pk_int_field_name:
196
`col_int_key` | `col_int` |
197
`col_bigint` | `col_bigint_key` |
198
`col_int_not_null` | `col_int_not_null_key` ;
202
`col_char_10` | `col_char_10_key` | `col_text_not_null` | `col_text_not_null_key` |
203
`col_text_key` | `col_text` | `col_char_10_not_null_key` | `col_char_10_not_null` |
204
`col_char_255` | `col_char_255_key` | `col_char_255_not_null` | `col_char_255_not_null_key` ;
213
10 | 10 | 25 | 25 | 25 | 25 | 50 | 50 | 100 ;
216
_digit | _tinyint_unsigned | _varchar(1) | _int_unsigned ;