1
# Copyright (C) 2008-2009 Sun Microsystems, Inc. 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
package GenTest::Validator::RepeatableRead;
21
@ISA = qw(GenTest::Validator GenTest);
26
use GenTest::Comparator;
27
use GenTest::Constants;
29
use GenTest::Validator;
32
# We check for database consistency using queries which walk the table in various ways
33
# We should have also probed each row individually, however this is too CPU intensive
37
'/* no additional predicate */', # Rerun original query (does not cause bugs)
38
'AND `pk` > -16777216', # Index scan on PK
39
# 'AND `int_key` > -16777216', # Index scan on key
40
# 'AND `int_key` > -16777216 ORDER BY `int_key` LIMIT 1000000', # Falcon LIMIT optimization (broken)
44
my ($validator, $executors, $results) = @_;
45
my $executor = $executors->[0];
46
my $orig_result = $results->[0];
47
my $orig_query = $orig_result->query();
49
return STATUS_OK if $orig_query !~ m{^\s*select}io;
50
return STATUS_OK if $orig_result->err() > 0;
52
foreach my $predicate (@predicates) {
53
my $new_query = $orig_query." ".$predicate;
54
my $new_result = $executor->execute($new_query);
55
return STATUS_OK if not defined $new_result->data();
57
my $compare_outcome = GenTest::Comparator::compare($orig_result, $new_result);
58
if ($compare_outcome > STATUS_OK) {
59
say("Query: $orig_query returns different result when executed with additional predicate '$predicate' (".$orig_result->rows()." vs. ".$new_result->rows()." rows).");
60
say(GenTest::Comparator::dumpDiff($orig_result, $new_result));
62
say("Full result from the original query: $orig_query");
63
print join("\n", sort map { join("\t", @$_) } @{$orig_result->data()})."\n";
64
say("Full result from the follow-up query: $new_query");
65
print join("\n", sort map { join("\t", @$_) } @{$new_result->data()})."\n";
67
say("Executing the same queries a second time:");
69
foreach my $repeat_query ($orig_query, $new_query) {
70
my $repeat_result = $executor->execute($repeat_query);
71
say("Full result from the repeat of the query: $repeat_query");
72
print join("\n", sort map { join("\t", @$_) } @{$repeat_result->data()})."\n";
75
return $compare_outcome; # - STATUS_SELECT_REDUCTION;