Skip to content
Projects
Groups
Snippets
Help
Loading...
Help
Support
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
M
MariaDB
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
0
Issues
0
List
Boards
Labels
Milestones
Merge Requests
0
Merge Requests
0
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Analytics
Analytics
CI / CD
Repository
Value Stream
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
nexedi
MariaDB
Commits
1c599c8e
Commit
1c599c8e
authored
Jan 09, 2006
by
pekka@mysql.com
Browse files
Options
Browse Files
Download
Plain Diff
Merge mysql.com:/space/pekka/ndb/version/my50
into mysql.com:/space/pekka/ndb/version/my51
parents
86e35aff
44ea4f54
Changes
1
Show whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
817 additions
and
338 deletions
+817
-338
storage/ndb/test/ndbapi/test_event_merge.cpp
storage/ndb/test/ndbapi/test_event_merge.cpp
+817
-338
No files found.
storage/ndb/test/ndbapi/test_event_merge.cpp
View file @
1c599c8e
...
@@ -27,6 +27,9 @@
...
@@ -27,6 +27,9 @@
#undef version50
#undef version50
#endif
#endif
// until rbr in 5.1
#undef version51rbr
#if !defined(min) || !defined(max)
#if !defined(min) || !defined(max)
#define min(x, y) ((x) < (y) ? (x) : (y))
#define min(x, y) ((x) < (y) ? (x) : (y))
#define max(x, y) ((x) > (y) ? (x) : (y))
#define max(x, y) ((x) > (y) ? (x) : (y))
...
@@ -42,7 +45,14 @@
...
@@ -42,7 +45,14 @@
* 2) In event API version >= 5.1 separate commits within same GCI are
* 2) In event API version >= 5.1 separate commits within same GCI are
* by default merged. This is required to read blob data via NdbBlob.
* by default merged. This is required to read blob data via NdbBlob.
*
*
* This test program ignores Blob columns in version 5.0.
* Option --separate-events disables GCI merge and implies --no-blobs.
* This is used to test basic events functionality.
*
* Option --no-blobs omits blob attributes. This is used to test GCI
* merge without getting into blob bugs.
*
* Option --no-multiops allows 1 operation per commit. This avoids TUP
* and blob multi-operation bugs.
*
*
* There are 5 ways (ignoring NUL operand) to compose 2 ops:
* There are 5 ways (ignoring NUL operand) to compose 2 ops:
* 5.0 bugs 5.1 bugs
* 5.0 bugs 5.1 bugs
...
@@ -59,42 +69,69 @@ struct Opts {
...
@@ -59,42 +69,69 @@ struct Opts {
uint
loop
;
uint
loop
;
uint
maxops
;
uint
maxops
;
uint
maxpk
;
uint
maxpk
;
const
char
*
opstr
;
my_bool
no_blobs
;
my_bool
no_multiops
;
my_bool
one_blob
;
const
char
*
opstring
;
uint
seed
;
uint
seed
;
my_bool
separate_events
;
my_bool
separate_events
;
my_bool
use_table
;
my_bool
use_table
;
};
};
static
Opts
g_opts
;
static
Opts
g_opts
;
static
const
uint
g_maxops
=
10000
;
static
const
uint
g_maxpk
=
100
;
static
const
uint
g_maxpk
=
100
;
static
const
uint
g_maxopstringpart
=
100
;
static
const
char
*
g_opstringpart
[
g_maxopstringpart
];
static
uint
g_opstringparts
=
0
;
static
uint
g_loop
=
0
;
static
Ndb_cluster_connection
*
g_ncc
=
0
;
static
Ndb_cluster_connection
*
g_ncc
=
0
;
static
Ndb
*
g_ndb
=
0
;
static
Ndb
*
g_ndb
=
0
;
static
NdbDictionary
::
Dictionary
*
g_dic
=
0
;
static
NdbDictionary
::
Dictionary
*
g_dic
=
0
;
static
NdbTransaction
*
g_con
=
0
;
static
NdbTransaction
*
g_con
=
0
;
static
NdbOperation
*
g_op
=
0
;
static
NdbOperation
*
g_op
=
0
;
static
NdbScanOperation
*
g_scan_op
=
0
;
static
const
char
*
g_tabname
=
"tem1"
;
static
const
char
*
g_tabname
=
"tem1"
;
static
const
char
*
g_evtname
=
"tem1ev1"
;
static
const
char
*
g_evtname
=
"tem1ev1"
;
static
const
uint
g_charlen
=
5
;
static
const
uint
g_charlen
=
5
;
static
const
char
*
g_charval
=
"abcde"
;
static
const
char
*
g_charval
=
"abcde
fgh
"
;
static
const
char
*
g_csname
=
"latin1_swedish_ci"
;
static
const
char
*
g_csname
=
"latin1_swedish_ci"
;
static
uint
g_blobinlinesize
=
256
;
static
uint
g_blobpartsize
=
2000
;
static
uint
g_blobstripesize
=
2
;
static
const
uint
g_maxblobsize
=
100000
;
static
const
NdbDictionary
::
Table
*
g_tab
=
0
;
static
const
NdbDictionary
::
Table
*
g_tab
=
0
;
static
const
NdbDictionary
::
Event
*
g_evt
=
0
;
static
const
NdbDictionary
::
Event
*
g_evt
=
0
;
static
NdbEventOperation
*
g_evt_op
=
0
;
static
NdbEventOperation
*
g_evt_op
=
0
;
static
NdbBlob
*
g_bh
=
0
;
static
uint
static
uint
urandom
(
uint
n
)
urandom
()
{
{
uint
r
=
(
uint
)
random
();
uint
r
=
(
uint
)
random
();
if
(
n
!=
0
)
r
=
r
%
n
;
return
r
;
return
r
;
}
}
static
uint
urandom
(
uint
m
)
{
if
(
m
==
0
)
return
0
;
uint
r
=
urandom
();
r
=
r
%
m
;
return
r
;
}
static
bool
urandom
(
uint
per
,
uint
cent
)
{
return
urandom
(
cent
)
<
per
;
}
static
int
&
g_loglevel
=
g_opts
.
loglevel
;
// default log level
static
int
&
g_loglevel
=
g_opts
.
loglevel
;
// default log level
#define chkdb(x) \
#define chkdb(x) \
...
@@ -139,11 +176,21 @@ errdb()
...
@@ -139,11 +176,21 @@ errdb()
if
(
e
.
code
!=
0
)
if
(
e
.
code
!=
0
)
ll0
(
++
any
<<
" op: error "
<<
e
);
ll0
(
++
any
<<
" op: error "
<<
e
);
}
}
if
(
g_scan_op
!=
0
)
{
const
NdbError
&
e
=
g_scan_op
->
getNdbError
();
if
(
e
.
code
!=
0
)
ll0
(
++
any
<<
" scan_op: error "
<<
e
);
}
if
(
g_evt_op
!=
0
)
{
if
(
g_evt_op
!=
0
)
{
const
NdbError
&
e
=
g_evt_op
->
getNdbError
();
const
NdbError
&
e
=
g_evt_op
->
getNdbError
();
if
(
e
.
code
!=
0
)
if
(
e
.
code
!=
0
)
ll0
(
++
any
<<
" evt_op: error "
<<
e
);
ll0
(
++
any
<<
" evt_op: error "
<<
e
);
}
}
if
(
g_bh
!=
0
)
{
const
NdbError
&
e
=
g_bh
->
getNdbError
();
if
(
e
.
code
!=
0
)
ll0
(
++
any
<<
" evt_op: error "
<<
e
);
}
if
(
!
any
)
if
(
!
any
)
ll0
(
"unknown db error"
);
ll0
(
"unknown db error"
);
}
}
...
@@ -156,31 +203,47 @@ struct Col {
...
@@ -156,31 +203,47 @@ struct Col {
bool
nullable
;
bool
nullable
;
uint
length
;
uint
length
;
uint
size
;
uint
size
;
bool
isblob
()
const
{
return
type
==
NdbDictionary
::
Column
::
Text
;
}
};
};
static
Col
g_col
[]
=
{
static
Col
g_col
[]
=
{
{
0
,
"pk1"
,
NdbDictionary
::
Column
::
Unsigned
,
true
,
false
,
1
,
4
},
{
0
,
"pk1"
,
NdbDictionary
::
Column
::
Unsigned
,
true
,
false
,
1
,
4
},
{
1
,
"pk2"
,
NdbDictionary
::
Column
::
Char
,
true
,
false
,
g_charlen
,
g_charlen
},
{
1
,
"pk2"
,
NdbDictionary
::
Column
::
Char
,
true
,
false
,
g_charlen
,
g_charlen
},
{
2
,
"seq"
,
NdbDictionary
::
Column
::
Unsigned
,
false
,
false
,
1
,
4
},
{
2
,
"seq"
,
NdbDictionary
::
Column
::
Unsigned
,
false
,
false
,
1
,
4
},
{
3
,
"cc1"
,
NdbDictionary
::
Column
::
Char
,
false
,
true
,
g_charlen
,
g_charlen
}
{
3
,
"cc1"
,
NdbDictionary
::
Column
::
Char
,
false
,
true
,
g_charlen
,
g_charlen
},
{
4
,
"tx1"
,
NdbDictionary
::
Column
::
Text
,
false
,
true
,
0
,
0
},
{
5
,
"tx2"
,
NdbDictionary
::
Column
::
Text
,
false
,
true
,
0
,
0
}
};
};
static
const
uint
g_ncol
=
sizeof
(
g_col
)
/
sizeof
(
g_col
[
0
]);
static
const
uint
g_maxcol
=
sizeof
(
g_col
)
/
sizeof
(
g_col
[
0
]);
static
uint
ncol
()
{
uint
n
=
g_maxcol
;
if
(
g_opts
.
no_blobs
)
n
-=
2
;
else
if
(
g_opts
.
one_blob
)
n
-=
1
;
return
n
;
}
static
const
Col
&
static
const
Col
&
getcol
(
uint
i
)
getcol
(
uint
i
)
{
{
if
(
i
<
g_ncol
)
if
(
i
<
ncol
()
)
return
g_col
[
i
];
return
g_col
[
i
];
assert
(
false
);
assert
(
false
);
return
g_col
[
g_ncol
];
return
g_col
[
0
];
}
}
static
const
Col
&
static
const
Col
&
getcol
(
const
char
*
name
)
getcol
(
const
char
*
name
)
{
{
uint
i
;
uint
i
;
for
(
i
=
0
;
i
<
g_ncol
;
i
++
)
for
(
i
=
0
;
i
<
ncol
()
;
i
++
)
if
(
strcmp
(
g_col
[
i
].
name
,
name
)
==
0
)
if
(
strcmp
(
g_col
[
i
].
name
,
name
)
==
0
)
break
;
break
;
return
getcol
(
i
);
return
getcol
(
i
);
...
@@ -195,7 +258,7 @@ createtable()
...
@@ -195,7 +258,7 @@ createtable()
CHARSET_INFO
*
cs
;
CHARSET_INFO
*
cs
;
chkrc
((
cs
=
get_charset_by_name
(
g_csname
,
MYF
(
0
)))
!=
0
);
chkrc
((
cs
=
get_charset_by_name
(
g_csname
,
MYF
(
0
)))
!=
0
);
uint
i
;
uint
i
;
for
(
i
=
0
;
i
<
g_ncol
;
i
++
)
{
for
(
i
=
0
;
i
<
ncol
()
;
i
++
)
{
const
Col
&
c
=
g_col
[
i
];
const
Col
&
c
=
g_col
[
i
];
NdbDictionary
::
Column
col
(
c
.
name
);
NdbDictionary
::
Column
col
(
c
.
name
);
col
.
setType
(
c
.
type
);
col
.
setType
(
c
.
type
);
...
@@ -210,6 +273,12 @@ createtable()
...
@@ -210,6 +273,12 @@ createtable()
col
.
setLength
(
c
.
length
);
col
.
setLength
(
c
.
length
);
col
.
setCharset
(
cs
);
col
.
setCharset
(
cs
);
break
;
break
;
case
NdbDictionary
:
:
Column
::
Text
:
col
.
setInlineSize
(
g_blobinlinesize
);
col
.
setPartSize
(
g_blobpartsize
);
col
.
setStripeSize
(
g_blobstripesize
);
col
.
setCharset
(
cs
);
break
;
default:
default:
assert
(
false
);
assert
(
false
);
break
;
break
;
...
@@ -256,48 +325,75 @@ droptable()
...
@@ -256,48 +325,75 @@ droptable()
}
}
struct
Data
{
struct
Data
{
struct
Txt
{
char
*
val
;
uint
len
;
};
union
Ptr
{
Uint32
*
u32
;
char
*
ch
;
Txt
*
txt
;
void
*
v
;
};
Uint32
pk1
;
Uint32
pk1
;
char
pk2
[
g_charlen
+
1
];
char
pk2
[
g_charlen
+
1
];
Uint32
seq
;
Uint32
seq
;
char
cc1
[
g_charlen
+
1
];
char
cc1
[
g_charlen
+
1
];
void
*
ptr
[
g_ncol
];
Txt
tx1
;
int
ind
[
g_ncol
];
// -1 = no data, 1 = NULL, 0 = not NULL
Txt
tx2
;
Ptr
ptr
[
g_maxcol
];
int
ind
[
g_maxcol
];
// -1 = no data, 1 = NULL, 0 = not NULL
uint
noop
;
// bit: omit in NdbOperation (implicit NULL INS or no UPD)
uint
ppeq
;
// bit: post/pre data value equal in GCI data[0]/data[1]
void
init
()
{
void
init
()
{
uint
i
;
uint
i
;
pk1
=
0
;
pk1
=
0
;
memset
(
pk2
,
0
,
sizeof
(
pk2
));
memset
(
pk2
,
0
,
sizeof
(
pk2
));
seq
=
0
;
seq
=
0
;
memset
(
cc1
,
0
,
sizeof
(
cc1
));
memset
(
cc1
,
0
,
sizeof
(
cc1
));
ptr
[
0
]
=
&
pk1
;
tx1
.
val
=
tx2
.
val
=
0
;
ptr
[
1
]
=
pk2
;
tx1
.
len
=
tx2
.
len
=
0
;
ptr
[
2
]
=
&
seq
;
ptr
[
0
].
u32
=
&
pk1
;
ptr
[
3
]
=
cc1
;
ptr
[
1
].
ch
=
pk2
;
for
(
i
=
0
;
i
<
g_ncol
;
i
++
)
ptr
[
2
].
u32
=
&
seq
;
ptr
[
3
].
ch
=
cc1
;
ptr
[
4
].
txt
=
&
tx1
;
ptr
[
5
].
txt
=
&
tx2
;
for
(
i
=
0
;
i
<
g_maxcol
;
i
++
)
ind
[
i
]
=
-
1
;
ind
[
i
]
=
-
1
;
noop
=
0
;
ppeq
=
0
;
}
void
free
()
{
delete
[]
tx1
.
val
;
delete
[]
tx2
.
val
;
init
();
}
}
};
};
static
int
static
int
cmp
data
(
const
Data
&
d1
,
const
Data
&
d2
)
cmp
col
(
const
Col
&
c
,
const
Data
&
d1
,
const
Data
&
d2
)
{
{
uint
i
;
uint
i
=
c
.
no
;
for
(
i
=
0
;
i
<
g_ncol
;
i
++
)
{
const
Col
&
c
=
getcol
(
i
);
if
(
d1
.
ind
[
i
]
!=
d2
.
ind
[
i
])
if
(
d1
.
ind
[
i
]
!=
d2
.
ind
[
i
])
return
1
;
return
1
;
if
(
d1
.
ind
[
i
]
==
0
&&
memcmp
(
d1
.
ptr
[
i
],
d2
.
ptr
[
i
],
c
.
size
)
!=
0
)
if
(
d1
.
ind
[
i
]
==
0
)
{
switch
(
c
.
type
)
{
case
NdbDictionary
:
:
Column
::
Unsigned
:
if
(
*
d1
.
ptr
[
i
].
u32
!=
*
d2
.
ptr
[
i
].
u32
)
return
1
;
return
1
;
}
break
;
return
0
;
case
NdbDictionary
:
:
Column
::
Char
:
}
if
(
memcmp
(
d1
.
ptr
[
i
].
ch
,
d2
.
ptr
[
i
].
ch
,
c
.
size
)
!=
0
)
return
1
;
static
int
break
;
cmpdata
(
const
Data
(
&
d1
)[
2
],
const
Data
(
&
d2
)[
2
])
case
NdbDictionary
:
:
Column
::
Text
:
{
{
if
(
cmpdata
(
d1
[
0
],
d2
[
0
])
!=
0
)
const
Data
::
Txt
&
t1
=
*
d1
.
ptr
[
i
].
txt
;
const
Data
::
Txt
&
t2
=
*
d2
.
ptr
[
i
].
txt
;
if
(
t1
.
len
!=
t2
.
len
)
return
1
;
return
1
;
if
(
cmpdata
(
d1
[
1
],
d2
[
1
]
)
!=
0
)
if
(
memcmp
(
t1
.
val
,
t2
.
val
,
t1
.
len
)
!=
0
)
return
1
;
return
1
;
}
break
;
default:
assert
(
false
);
break
;
}
}
return
0
;
return
0
;
}
}
...
@@ -305,9 +401,10 @@ static NdbOut&
...
@@ -305,9 +401,10 @@ static NdbOut&
operator
<<
(
NdbOut
&
out
,
const
Data
&
d
)
operator
<<
(
NdbOut
&
out
,
const
Data
&
d
)
{
{
uint
i
;
uint
i
;
for
(
i
=
0
;
i
<
g_ncol
;
i
++
)
{
for
(
i
=
0
;
i
<
ncol
()
;
i
++
)
{
const
Col
&
c
=
getcol
(
i
);
const
Col
&
c
=
getcol
(
i
);
out
<<
(
i
==
0
?
""
:
" "
)
<<
c
.
name
<<
"="
;
out
<<
(
i
==
0
?
""
:
" "
)
<<
c
.
name
;
out
<<
(
!
(
d
.
noop
&
(
1
<<
i
))
?
"="
:
":"
);
if
(
d
.
ind
[
i
]
==
-
1
)
if
(
d
.
ind
[
i
]
==
-
1
)
continue
;
continue
;
if
(
d
.
ind
[
i
]
==
1
)
{
if
(
d
.
ind
[
i
]
==
1
)
{
...
@@ -316,12 +413,12 @@ operator<<(NdbOut& out, const Data& d)
...
@@ -316,12 +413,12 @@ operator<<(NdbOut& out, const Data& d)
}
}
switch
(
c
.
type
)
{
switch
(
c
.
type
)
{
case
NdbDictionary
:
:
Column
::
Unsigned
:
case
NdbDictionary
:
:
Column
::
Unsigned
:
out
<<
*
(
Uint32
*
)
d
.
ptr
[
i
]
;
out
<<
*
d
.
ptr
[
i
].
u32
;
break
;
break
;
case
NdbDictionary
:
:
Column
::
Char
:
case
NdbDictionary
:
:
Column
::
Char
:
{
{
char
buf
[
g_charlen
+
1
];
char
buf
[
g_charlen
+
1
];
memcpy
(
buf
,
d
.
ptr
[
i
],
g_charlen
);
memcpy
(
buf
,
d
.
ptr
[
i
]
.
ch
,
g_charlen
);
uint
n
=
g_charlen
;
uint
n
=
g_charlen
;
while
(
1
)
{
while
(
1
)
{
buf
[
n
]
=
0
;
buf
[
n
]
=
0
;
...
@@ -332,8 +429,27 @@ operator<<(NdbOut& out, const Data& d)
...
@@ -332,8 +429,27 @@ operator<<(NdbOut& out, const Data& d)
out
<<
"'"
<<
buf
<<
"'"
;
out
<<
"'"
<<
buf
<<
"'"
;
}
}
break
;
break
;
case
NdbDictionary
:
:
Column
::
Text
:
{
Data
::
Txt
&
t
=
*
d
.
ptr
[
i
].
txt
;
bool
first
=
true
;
uint
j
=
0
;
while
(
j
<
t
.
len
)
{
char
c
[
2
];
c
[
0
]
=
t
.
val
[
j
++
];
c
[
1
]
=
0
;
uint
m
=
1
;
while
(
j
<
t
.
len
&&
t
.
val
[
j
]
==
c
[
0
])
j
++
,
m
++
;
if
(
!
first
)
out
<<
"+"
;
first
=
false
;
out
<<
m
<<
c
;
}
}
break
;
default:
default:
out
<<
"?"
;
assert
(
false
)
;
break
;
break
;
}
}
}
}
...
@@ -354,18 +470,26 @@ struct Op { // single or composite
...
@@ -354,18 +470,26 @@ struct Op { // single or composite
Type
type
;
Type
type
;
Op
*
next_op
;
// within one commit
Op
*
next_op
;
// within one commit
Op
*
next_com
;
// next commit chain or next event
Op
*
next_com
;
// next commit chain or next event
Op
*
next_gci
;
// groups commit chains (unless --separate-events)
Op
*
next_ev
;
Op
*
next_free
;
// free list
bool
free
;
// on free list
uint
num_op
;
uint
num_op
;
uint
num_com
;
uint
num_com
;
Data
data
[
2
];
// 0-post 1-pre
Data
data
[
2
];
// 0-post 1-pre
bool
match
;
// matched to event
bool
match
;
// matched to event
void
init
()
{
Uint32
gci
;
// defined for com op and event
void
init
(
Kind
a_kind
)
{
kind
=
a_kind
;
assert
(
kind
==
OP
||
kind
==
EV
);
assert
(
kind
==
OP
||
kind
==
EV
);
type
=
NUL
;
type
=
NUL
;
next_op
=
next_com
=
0
;
next_op
=
next_com
=
next_gci
=
next_ev
=
next_free
=
0
;
free
=
false
;
num_op
=
num_com
=
0
;
num_op
=
num_com
=
0
;
data
[
0
].
init
();
data
[
0
].
init
();
data
[
1
].
init
();
data
[
1
].
init
();
match
=
false
;
match
=
false
;
gci
=
0
;
}
}
};
};
...
@@ -398,6 +522,8 @@ operator<<(NdbOut& out, const Op& op)
...
@@ -398,6 +522,8 @@ operator<<(NdbOut& out, const Op& op)
out
<<
op
.
type
;
out
<<
op
.
type
;
out
<<
" "
<<
op
.
data
[
0
];
out
<<
" "
<<
op
.
data
[
0
];
out
<<
" ["
<<
op
.
data
[
1
]
<<
"]"
;
out
<<
" ["
<<
op
.
data
[
1
]
<<
"]"
;
if
(
op
.
gci
!=
0
)
out
<<
" gci:"
<<
op
.
gci
;
return
out
;
return
out
;
}
}
...
@@ -423,75 +549,104 @@ seteventtype(Op* ev, NdbDictionary::Event::TableEvent te)
...
@@ -423,75 +549,104 @@ seteventtype(Op* ev, NdbDictionary::Event::TableEvent te)
return
0
;
return
0
;
}
}
static
Op
*
g_opfree
=
0
;
static
uint
g_freeops
=
0
;
static
uint
g_usedops
=
0
;
static
uint
g_usedops
=
0
;
static
uint
g_usedevs
=
0
;
static
uint
g_maxcom
=
10
;
// max ops per commit
static
Op
g_oplist
[
g_maxops
];
static
Op
g_evlist
[
g_maxops
];
static
uint
g_maxcom
=
8
;
// max ops per commit
static
Op
*
g_pk_op
[
g_maxpk
];
static
Op
*
g_pk_op
[
g_maxpk
];
static
Op
*
g_pk_ev
[
g_maxpk
];
static
Op
*
g_pk_ev
[
g_maxpk
];
static
uint
g_seq
=
0
;
static
uint
g_seq
=
0
;
static
NdbRecAttr
*
g_ev_ra
[
2
][
g_maxcol
];
// 0-post 1-pre
static
Ndb
RecAttr
*
g_ra
[
2
][
g_n
col
];
// 0-post 1-pre
static
Ndb
Blob
*
g_ev_bh
[
2
][
g_max
col
];
// 0-post 1-pre
static
Op
*
g_rec_ev
;
static
Op
*
g_rec_ev
;
static
uint
g_ev_cnt
[
g_maxpk
];
static
uint
g_ev_pos
[
g_maxpk
];
static
uint
getfreeops
()
{
assert
(
g_opts
.
maxops
>=
g_usedops
);
return
g_opts
.
maxops
-
g_usedops
;
}
static
uint
getfreeevs
()
{
assert
(
g_opts
.
maxops
>=
g_usedevs
);
return
g_opts
.
maxops
-
g_usedevs
;
}
static
Op
*
static
Op
*
getop
()
getop
(
Op
::
Kind
a_kind
)
{
{
if
(
g_usedops
<
g_opts
.
maxops
)
{
if
(
g_opfree
==
0
)
{
Op
*
op
=
&
g_oplist
[
g_usedops
++
];
assert
(
g_freeops
==
0
);
op
->
kind
=
Op
::
OP
;
Op
*
op
=
new
Op
;
op
->
init
();
assert
(
op
!=
0
);
op
->
next_free
=
g_opfree
;
g_opfree
=
op
;
op
->
free
=
true
;
g_freeops
++
;
}
Op
*
op
=
g_opfree
;
g_opfree
=
op
->
next_free
;
assert
(
g_freeops
!=
0
);
g_freeops
--
;
g_usedops
++
;
op
->
init
(
a_kind
);
return
op
;
return
op
;
}
assert
(
false
);
return
0
;
}
}
static
Op
*
static
void
getev
(
)
freeop
(
Op
*
op
)
{
{
if
(
g_usedevs
<
g_opts
.
maxops
)
{
assert
(
!
op
->
free
);
Op
*
ev
=
&
g_evlist
[
g_usedevs
++
];
op
->
data
[
0
].
free
();
ev
->
kind
=
Op
::
EV
;
op
->
data
[
1
].
free
();
ev
->
init
();
op
->
free
=
true
;
return
ev
;
op
->
next_free
=
g_opfree
;
}
g_opfree
=
op
;
assert
(
false
);
g_freeops
++
;
return
0
;
assert
(
g_usedops
!=
0
);
g_usedops
--
;
}
}
static
void
static
void
resetmem
()
resetmem
()
{
{
int
i
,
j
;
int
i
,
j
;
for
(
j
=
0
;
j
<
2
;
j
++
)
for
(
j
=
0
;
j
<
2
;
j
++
)
{
for
(
i
=
0
;
i
<
g_ncol
;
i
++
)
for
(
i
=
0
;
i
<
g_maxcol
;
i
++
)
{
g_ra
[
j
][
i
]
=
0
;
g_ev_ra
[
j
][
i
]
=
0
;
g_ev_bh
[
j
][
i
]
=
0
;
}
}
if
(
g_rec_ev
!=
0
)
{
freeop
(
g_rec_ev
);
g_rec_ev
=
0
;
g_rec_ev
=
0
;
for
(
i
=
0
;
i
<
g_opts
.
maxpk
;
i
++
)
}
g_pk_op
[
i
]
=
0
;
Uint32
pk1
;
for
(
i
=
0
;
i
<
g_opts
.
maxpk
;
i
++
)
for
(
pk1
=
0
;
pk1
<
g_opts
.
maxpk
;
pk1
++
)
g_ev_cnt
[
i
]
=
0
;
g_ev_pos
[
pk1
]
=
0
;
g_seq
=
0
;
// leave g_seq
g_usedops
=
0
;
for
(
pk1
=
0
;
pk1
<
g_opts
.
maxpk
;
pk1
++
)
{
g_usedevs
=
0
;
if
(
g_pk_op
[
pk1
]
!=
0
)
{
Op
*
tot_op
=
g_pk_op
[
pk1
];
while
(
tot_op
->
next_gci
!=
0
)
{
Op
*
gci_op
=
tot_op
->
next_gci
;
while
(
gci_op
->
next_com
!=
0
)
{
Op
*
com_op
=
gci_op
->
next_com
;
while
(
com_op
->
next_op
!=
0
)
{
Op
*
op
=
com_op
->
next_op
;
com_op
->
next_op
=
op
->
next_op
;
freeop
(
op
);
}
gci_op
->
next_com
=
com_op
->
next_com
;
freeop
(
com_op
);
}
tot_op
->
next_gci
=
gci_op
->
next_gci
;
freeop
(
gci_op
);
}
freeop
(
tot_op
);
g_pk_op
[
pk1
]
=
0
;
}
if
(
g_pk_ev
[
pk1
]
!=
0
)
{
Op
*
tot_op
=
g_pk_ev
[
pk1
];
while
(
tot_op
->
next_ev
!=
0
)
{
Op
*
ev
=
tot_op
->
next_ev
;
tot_op
->
next_ev
=
ev
->
next_ev
;
freeop
(
ev
);
}
freeop
(
tot_op
);
g_pk_ev
[
pk1
]
=
0
;
}
}
assert
(
g_usedops
==
0
);
}
}
struct
Comp
{
struct
Comp
{
...
@@ -512,39 +667,43 @@ static const uint g_ncomp = sizeof(g_comp)/sizeof(g_comp[0]);
...
@@ -512,39 +667,43 @@ static const uint g_ncomp = sizeof(g_comp)/sizeof(g_comp[0]);
static
int
static
int
checkop
(
const
Op
*
op
,
Uint32
&
pk1
)
checkop
(
const
Op
*
op
,
Uint32
&
pk1
)
{
{
const
Data
(
&
d
)[
2
]
=
op
->
data
;
Op
::
Type
t
=
op
->
type
;
Op
::
Type
t
=
op
->
type
;
chkrc
(
t
==
Op
::
NUL
||
t
==
Op
::
INS
||
t
==
Op
::
DEL
||
t
==
Op
::
UPD
);
if
(
t
==
Op
::
NUL
)
{
const
Col
&
c
=
getcol
(
"pk1"
);
return
0
;
chkrc
(
d
[
0
].
ind
[
c
.
no
]
==
0
);
chkrc
(
t
==
Op
::
INS
||
t
==
Op
::
DEL
||
t
==
Op
::
UPD
);
pk1
=
d
[
0
].
pk1
;
const
Data
&
d0
=
op
->
data
[
0
];
const
Data
&
d1
=
op
->
data
[
1
];
{
const
Col
&
c
=
getcol
(
"pk1"
);
chkrc
(
d0
.
ind
[
c
.
no
]
==
0
);
pk1
=
d0
.
pk1
;
chkrc
(
pk1
<
g_opts
.
maxpk
);
chkrc
(
pk1
<
g_opts
.
maxpk
);
}
}
uint
i
;
uint
i
;
for
(
i
=
0
;
i
<
g_ncol
;
i
++
)
{
for
(
i
=
0
;
i
<
ncol
()
;
i
++
)
{
const
Col
&
c
=
getcol
(
i
);
const
Col
&
c
=
getcol
(
i
);
if
(
t
!=
Op
::
NUL
)
{
const
int
ind0
=
d0
.
ind
[
i
];
const
int
ind1
=
d1
.
ind
[
i
];
// the rules are the rules..
if
(
c
.
pk
)
{
if
(
c
.
pk
)
{
chkrc
(
d
[
0
].
ind
[
i
]
==
0
);
// even DEL has PK in post data
chkrc
(
ind0
==
0
);
// always PK in post data
if
(
t
==
Op
::
INS
)
{
if
(
t
==
Op
::
INS
)
chkrc
(
d
[
1
].
ind
[
i
]
==
-
1
);
chkrc
(
ind1
==
-
1
);
}
else
if
(
t
==
Op
::
DEL
)
{
if
(
t
==
Op
::
DEL
)
chkrc
(
d
[
1
].
ind
[
i
]
==
-
1
);
chkrc
(
ind1
==
-
1
);
// no PK in pre data
}
else
{
if
(
t
==
Op
::
UPD
)
chkrc
(
d
[
1
].
ind
[
i
]
==
0
);
chkrc
(
ind1
==
0
);
}
}
}
else
{
if
(
!
c
.
pk
)
{
if
(
t
==
Op
::
INS
)
{
if
(
t
==
Op
::
INS
)
chkrc
(
d
[
0
].
ind
[
i
]
>=
0
);
chkrc
(
ind0
>=
0
&&
ind1
==
-
1
);
chkrc
(
d
[
1
].
ind
[
i
]
==
-
1
);
if
(
t
==
Op
::
DEL
)
}
else
if
(
t
==
Op
::
DEL
)
{
chkrc
(
ind0
==
-
1
&&
ind1
>=
0
);
// always non-PK in pre data
chkrc
(
d
[
0
].
ind
[
i
]
==
-
1
);
if
(
t
==
Op
::
UPD
)
chkrc
(
d
[
1
].
ind
[
i
]
>=
0
);
chkrc
(
ind0
==
-
1
||
ind1
>=
0
);
// update must have pre data
}
else
if
(
op
->
kind
==
Op
::
OP
)
{
}
chkrc
(
d
[
0
].
ind
[
i
]
>=
0
);
if
(
!
c
.
nullable
)
{
chkrc
(
d
[
1
].
ind
[
i
]
>=
0
);
chkrc
(
ind0
<=
0
&&
ind1
<=
0
);
}
}
}
}
}
}
return
0
;
return
0
;
...
@@ -563,27 +722,37 @@ comptype(Op::Type t1, Op::Type t2) // only non-NUL
...
@@ -563,27 +722,37 @@ comptype(Op::Type t1, Op::Type t2) // only non-NUL
static
void
static
void
copycol
(
const
Col
&
c
,
const
Data
&
d1
,
Data
&
d3
)
copycol
(
const
Col
&
c
,
const
Data
&
d1
,
Data
&
d3
)
{
{
if
((
d3
.
ind
[
c
.
no
]
=
d1
.
ind
[
c
.
no
])
!=
-
1
)
uint
i
=
c
.
no
;
memmove
(
d3
.
ptr
[
c
.
no
],
d1
.
ptr
[
c
.
no
],
c
.
size
);
if
((
d3
.
ind
[
i
]
=
d1
.
ind
[
i
])
==
0
)
{
if
(
!
c
.
isblob
())
{
memmove
(
d3
.
ptr
[
i
].
v
,
d1
.
ptr
[
i
].
v
,
c
.
size
);
}
else
{
Data
::
Txt
&
t1
=
*
d1
.
ptr
[
i
].
txt
;
Data
::
Txt
&
t3
=
*
d3
.
ptr
[
i
].
txt
;
delete
[]
t3
.
val
;
t3
.
val
=
new
char
[
t1
.
len
];
t3
.
len
=
t1
.
len
;
memcpy
(
t3
.
val
,
t1
.
val
,
t1
.
len
);
}
}
}
}
static
void
static
void
copydata
(
const
Data
&
d1
,
Data
&
d3
,
bool
pk
,
bool
nonpk
)
copydata
(
const
Data
&
d1
,
Data
&
d3
,
bool
pk
,
bool
nonpk
)
{
{
uint
i
;
uint
i
;
for
(
i
=
0
;
i
<
g_ncol
;
i
++
)
{
for
(
i
=
0
;
i
<
ncol
()
;
i
++
)
{
const
Col
&
c
=
g_col
[
i
];
const
Col
&
c
=
g_col
[
i
];
if
(
c
.
pk
&&
pk
||
!
c
.
pk
&&
nonpk
)
if
(
c
.
pk
&&
pk
||
!
c
.
pk
&&
nonpk
)
copycol
(
c
,
d1
,
d3
);
copycol
(
c
,
d1
,
d3
);
}
}
}
}
// not needed for ops
static
void
static
void
compdata
(
const
Data
&
d1
,
const
Data
&
d2
,
Data
&
d3
,
bool
pk
,
bool
nonpk
)
compdata
(
const
Data
&
d1
,
const
Data
&
d2
,
Data
&
d3
,
bool
pk
,
bool
nonpk
)
{
{
uint
i
;
uint
i
;
for
(
i
=
0
;
i
<
g_ncol
;
i
++
)
{
for
(
i
=
0
;
i
<
ncol
()
;
i
++
)
{
const
Col
&
c
=
g_col
[
i
];
const
Col
&
c
=
g_col
[
i
];
if
(
c
.
pk
&&
pk
||
!
c
.
pk
&&
nonpk
)
{
if
(
c
.
pk
&&
pk
||
!
c
.
pk
&&
nonpk
)
{
const
Data
*
d
=
0
;
const
Data
*
d
=
0
;
...
@@ -607,6 +776,7 @@ copyop(const Op* op1, Op* op3)
...
@@ -607,6 +776,7 @@ copyop(const Op* op1, Op* op3)
op3
->
type
=
op1
->
type
;
op3
->
type
=
op1
->
type
;
copydata
(
op1
->
data
[
0
],
op3
->
data
[
0
],
true
,
true
);
copydata
(
op1
->
data
[
0
],
op3
->
data
[
0
],
true
,
true
);
copydata
(
op1
->
data
[
1
],
op3
->
data
[
1
],
true
,
true
);
copydata
(
op1
->
data
[
1
],
op3
->
data
[
1
],
true
,
true
);
op3
->
gci
=
op1
->
gci
;
Uint32
pk1_tmp
;
Uint32
pk1_tmp
;
reqrc
(
checkop
(
op3
,
pk1_tmp
)
==
0
);
reqrc
(
checkop
(
op3
,
pk1_tmp
)
==
0
);
}
}
...
@@ -623,19 +793,38 @@ compop(const Op* op1, const Op* op2, Op* op3) // op1 o op2 = op3
...
@@ -623,19 +793,38 @@ compop(const Op* op1, const Op* op2, Op* op3) // op1 o op2 = op3
copyop
(
op2
,
op3
);
copyop
(
op2
,
op3
);
return
0
;
return
0
;
}
}
Op
::
Kind
kind
=
op1
->
kind
==
Op
::
OP
&&
op2
->
kind
==
Op
::
OP
?
Op
::
OP
:
Op
::
EV
;
Op
*
res_op
=
getop
(
kind
);
chkrc
((
comp
=
comptype
(
op1
->
type
,
op2
->
type
))
!=
0
);
chkrc
((
comp
=
comptype
(
op1
->
type
,
op2
->
type
))
!=
0
);
op3
->
type
=
comp
->
t3
;
res_op
->
type
=
comp
->
t3
;
// sucks
if
(
res_op
->
type
==
Op
::
INS
)
{
copydata
(
op2
->
data
[
0
],
op3
->
data
[
0
],
true
,
false
);
// INS o UPD
if
(
op3
->
type
!=
Op
::
DEL
)
compdata
(
op1
->
data
[
0
],
op2
->
data
[
0
],
res_op
->
data
[
0
],
true
,
true
);
copydata
(
op2
->
data
[
0
],
op3
->
data
[
0
],
false
,
true
);
// pre = undef
if
(
op3
->
type
!=
Op
::
INS
)
}
copydata
(
op1
->
data
[
1
],
op3
->
data
[
1
],
false
,
true
);
if
(
res_op
->
type
==
Op
::
DEL
)
{
if
(
op3
->
type
==
Op
::
UPD
)
// UPD o DEL
copydata
(
op2
->
data
[
0
],
op3
->
data
[
1
],
true
,
false
);
copydata
(
op2
->
data
[
0
],
res_op
->
data
[
0
],
true
,
false
);
// PK
copydata
(
op1
->
data
[
1
],
res_op
->
data
[
1
],
false
,
true
);
// non-PK
}
if
(
res_op
->
type
==
Op
::
UPD
&&
op1
->
type
==
Op
::
DEL
)
{
// DEL o INS
copydata
(
op2
->
data
[
0
],
res_op
->
data
[
0
],
true
,
true
);
copydata
(
op1
->
data
[
0
],
res_op
->
data
[
1
],
true
,
false
);
// PK
copydata
(
op1
->
data
[
1
],
res_op
->
data
[
1
],
false
,
true
);
// non-PK
}
if
(
res_op
->
type
==
Op
::
UPD
&&
op1
->
type
==
Op
::
UPD
)
{
// UPD o UPD
compdata
(
op1
->
data
[
0
],
op2
->
data
[
0
],
res_op
->
data
[
0
],
true
,
true
);
compdata
(
op2
->
data
[
1
],
op1
->
data
[
1
],
res_op
->
data
[
1
],
true
,
true
);
}
assert
(
op1
->
gci
==
op2
->
gci
);
res_op
->
gci
=
op2
->
gci
;
Uint32
pk1_tmp
;
Uint32
pk1_tmp
;
reqrc
(
checkop
(
op3
,
pk1_tmp
)
==
0
);
reqrc
(
checkop
(
res_op
,
pk1_tmp
)
==
0
);
// not eliminating identical post-pre fields
copyop
(
res_op
,
op3
);
freeop
(
res_op
);
return
0
;
return
0
;
}
}
...
@@ -648,12 +837,14 @@ createevent()
...
@@ -648,12 +837,14 @@ createevent()
NdbDictionary
::
Event
evt
(
g_evtname
);
NdbDictionary
::
Event
evt
(
g_evtname
);
evt
.
setTable
(
*
g_tab
);
evt
.
setTable
(
*
g_tab
);
evt
.
addTableEvent
(
NdbDictionary
::
Event
::
TE_ALL
);
evt
.
addTableEvent
(
NdbDictionary
::
Event
::
TE_ALL
);
// pk always
uint
i
;
evt
.
addEventColumn
(
"pk1"
);
for
(
i
=
0
;
i
<
ncol
();
i
++
)
{
evt
.
addEventColumn
(
"pk2"
);
const
Col
&
c
=
g_col
[
i
];
// simple cols
evt
.
addEventColumn
(
c
.
name
);
evt
.
addEventColumn
(
"seq"
);
}
evt
.
addEventColumn
(
"cc1"
);
#ifdef version51rbr
evt
.
separateEvents
(
g_opts
.
separate_events
);
#endif
if
(
g_dic
->
getEvent
(
evt
.
getName
())
!=
0
)
if
(
g_dic
->
getEvent
(
evt
.
getName
())
!=
0
)
chkdb
(
g_dic
->
dropEvent
(
evt
.
getName
())
==
0
);
chkdb
(
g_dic
->
dropEvent
(
evt
.
getName
())
==
0
);
chkdb
(
g_dic
->
createEvent
(
evt
)
==
0
);
chkdb
(
g_dic
->
createEvent
(
evt
)
==
0
);
...
@@ -682,20 +873,22 @@ createeventop()
...
@@ -682,20 +873,22 @@ createeventop()
chkdb
((
g_evt_op
=
g_ndb
->
createEventOperation
(
g_evt
->
getName
(),
bsz
))
!=
0
);
chkdb
((
g_evt_op
=
g_ndb
->
createEventOperation
(
g_evt
->
getName
(),
bsz
))
!=
0
);
#else
#else
chkdb
((
g_evt_op
=
g_ndb
->
createEventOperation
(
g_evt
->
getName
()))
!=
0
);
chkdb
((
g_evt_op
=
g_ndb
->
createEventOperation
(
g_evt
->
getName
()))
!=
0
);
#ifdef version51rbr
g_evt_op
->
separateEvents
(
g_opts
.
separate_events
);
// not yet inherited
#endif
#endif
#endif
uint
i
;
uint
i
;
for
(
i
=
0
;
i
<
g_ncol
;
i
++
)
{
for
(
i
=
0
;
i
<
ncol
()
;
i
++
)
{
const
Col
&
c
=
g_col
[
i
];
const
Col
&
c
=
g_col
[
i
];
Data
(
&
d
)[
2
]
=
g_rec_ev
->
data
;
Data
(
&
d
)[
2
]
=
g_rec_ev
->
data
;
switch
(
c
.
type
)
{
if
(
!
c
.
isblob
())
{
case
NdbDictionary
:
:
Column
::
Unsigned
:
chkdb
((
g_ev_ra
[
0
][
i
]
=
g_evt_op
->
getValue
(
c
.
name
,
(
char
*
)
d
[
0
].
ptr
[
i
].
v
))
!=
0
);
case
NdbDictionary
:
:
Column
::
Char
:
chkdb
((
g_ev_ra
[
1
][
i
]
=
g_evt_op
->
getPreValue
(
c
.
name
,
(
char
*
)
d
[
1
].
ptr
[
i
].
v
))
!=
0
);
chkdb
((
g_ra
[
0
][
i
]
=
g_evt_op
->
getValue
(
c
.
name
,
(
char
*
)
d
[
0
].
ptr
[
i
]))
!=
0
);
}
else
{
chkdb
((
g_ra
[
1
][
i
]
=
g_evt_op
->
getPreValue
(
c
.
name
,
(
char
*
)
d
[
1
].
ptr
[
i
]))
!=
0
);
#ifdef version51rbr
break
;
chkdb
((
g_ev_bh
[
0
][
i
]
=
g_evt_op
->
getBlobHandle
(
c
.
name
))
!=
0
);
default:
chkdb
((
g_ev_bh
[
1
][
i
]
=
g_evt_op
->
getPreBlobHandle
(
c
.
name
))
!=
0
);
assert
(
false
);
#endif
break
;
}
}
}
}
return
0
;
return
0
;
...
@@ -744,56 +937,123 @@ waitgci() // wait for event to be installed and for at least 1 GCI to pass
...
@@ -744,56 +937,123 @@ waitgci() // wait for event to be installed and for at least 1 GCI to pass
return
0
;
return
0
;
}
}
// scan table and set current tot_op for each pk1
static
int
static
int
makeop
(
Op
*
op
,
Uint32
pk1
,
Op
::
Type
t
,
const
Op
*
prev_op
)
scantab
(
)
{
{
op
->
type
=
t
;
NdbRecAttr
*
ra
[
g_maxcol
];
if
(
t
!=
Op
::
INS
)
NdbBlob
*
bh
[
g_maxcol
];
copydata
(
prev_op
->
data
[
0
],
op
->
data
[
1
],
true
,
true
);
Op
*
rec_op
=
getop
(
Op
::
OP
);
Data
&
d0
=
rec_op
->
data
[
0
];
chkdb
((
g_con
=
g_ndb
->
startTransaction
())
!=
0
);
chkdb
((
g_scan_op
=
g_con
->
getNdbScanOperation
(
g_tabname
))
!=
0
);
chkdb
(
g_scan_op
->
readTuples
()
==
0
);
uint
i
;
uint
i
;
for
(
i
=
0
;
i
<
g_ncol
;
i
++
)
{
for
(
i
=
0
;
i
<
ncol
()
;
i
++
)
{
const
Col
&
c
=
getcol
(
i
);
const
Col
&
c
=
getcol
(
i
);
Data
(
&
d
)[
2
]
=
op
->
data
;
if
(
!
c
.
isblob
())
{
if
(
c
.
pk
&&
t
==
Op
::
DEL
)
{
chkdb
((
ra
[
i
]
=
g_scan_op
->
getValue
(
c
.
name
,
(
char
*
)
d0
.
ptr
[
i
].
v
))
!=
0
);
d
[
1
].
ind
[
i
]
=
-
1
;
}
else
{
chkdb
((
bh
[
i
]
=
g_scan_op
->
getBlobHandle
(
c
.
name
))
!=
0
);
}
}
if
(
i
==
getcol
(
"pk1"
).
no
)
{
d
[
0
].
pk1
=
pk1
;
d
[
0
].
ind
[
i
]
=
0
;
continue
;
}
}
if
(
i
==
getcol
(
"pk2"
).
no
)
{
chkdb
(
g_con
->
execute
(
NoCommit
)
==
0
);
sprintf
(
d
[
0
].
pk2
,
"%-*u"
,
g_charlen
,
d
[
0
].
pk1
);
int
ret
;
d
[
0
].
ind
[
i
]
=
0
;
while
((
ret
=
g_scan_op
->
nextResult
())
==
0
)
{
Uint32
pk1
=
d0
.
pk1
;
if
(
pk1
>=
g_opts
.
maxpk
)
continue
;
continue
;
rec_op
->
type
=
Op
::
INS
;
for
(
i
=
0
;
i
<
ncol
();
i
++
)
{
const
Col
&
c
=
getcol
(
i
);
int
ind
;
if
(
!
c
.
isblob
())
{
ind
=
ra
[
i
]
->
isNULL
();
}
else
{
#ifdef version51rbr
int
ret
;
ret
=
bh
[
i
]
->
getDefined
(
ind
);
assert
(
ret
==
0
);
if
(
ind
==
0
)
{
Data
::
Txt
&
t
=
*
d0
.
ptr
[
i
].
txt
;
Uint64
len64
;
ret
=
bh
[
i
]
->
getLength
(
len64
);
assert
(
ret
==
0
);
t
.
len
=
(
uint
)
len64
;
delete
[]
t
.
val
;
t
.
val
=
new
char
[
t
.
len
];
memset
(
t
.
val
,
'X'
,
t
.
len
);
Uint32
len
=
t
.
len
;
ret
=
bh
[
i
]
->
readData
(
t
.
val
,
len
);
assert
(
ret
==
0
&&
len
==
t
.
len
);
}
}
if
(
t
==
Op
::
DEL
)
{
#endif
d
[
0
].
ind
[
i
]
=
-
1
;
continue
;
}
}
if
(
i
==
getcol
(
"seq"
).
no
)
{
assert
(
ind
>=
0
);
d
[
0
].
seq
=
g_seq
++
;
d0
.
ind
[
i
]
=
ind
;
d
[
0
].
ind
[
i
]
=
0
;
continue
;
}
}
uint
u
;
assert
(
g_pk_op
[
pk1
]
==
0
);
u
=
urandom
(
100
);
Op
*
tot_op
=
g_pk_op
[
pk1
]
=
getop
(
Op
::
OP
);
if
(
c
.
nullable
&&
u
<
10
)
{
copyop
(
rec_op
,
tot_op
);
d
[
0
].
ind
[
i
]
=
1
;
tot_op
->
type
=
Op
::
INS
;
continue
;
}
chkdb
(
ret
==
1
);
g_ndb
->
closeTransaction
(
g_con
);
g_scan_op
=
0
;
g_con
=
0
;
freeop
(
rec_op
);
return
0
;
}
static
void
makedata
(
const
Col
&
c
,
Data
&
d
,
Uint32
pk1
,
Op
::
Type
t
)
{
uint
i
=
c
.
no
;
if
(
c
.
pk
)
{
switch
(
c
.
type
)
{
case
NdbDictionary
:
:
Column
::
Unsigned
:
{
Uint32
*
p
=
d
.
ptr
[
i
].
u32
;
*
p
=
pk1
;
}
break
;
case
NdbDictionary
:
:
Column
::
Char
:
{
char
*
p
=
d
.
ptr
[
i
].
ch
;
sprintf
(
p
,
"%-*u"
,
g_charlen
,
pk1
);
}
}
break
;
default:
assert
(
false
);
break
;
}
d
.
ind
[
i
]
=
0
;
}
else
if
(
t
==
Op
::
DEL
)
{
;
}
else
if
(
i
==
getcol
(
"seq"
).
no
)
{
d
.
seq
=
g_seq
++
;
d
.
ind
[
i
]
=
0
;
}
else
if
(
t
==
Op
::
INS
&&
c
.
nullable
&&
urandom
(
10
,
100
))
{
d
.
noop
|=
(
1
<<
i
);
d
.
ind
[
i
]
=
1
;
// implicit NULL value is known
}
else
if
(
t
==
Op
::
UPD
&&
urandom
(
10
,
100
))
{
d
.
noop
|=
(
1
<<
i
);
d
.
ind
[
i
]
=
-
1
;
// fixed up in caller
}
else
if
(
c
.
nullable
&&
urandom
(
10
,
100
))
{
d
.
ind
[
i
]
=
1
;
}
else
{
switch
(
c
.
type
)
{
switch
(
c
.
type
)
{
case
NdbDictionary
:
:
Column
::
Unsigned
:
case
NdbDictionary
:
:
Column
::
Unsigned
:
{
{
u
=
urandom
(
0
)
;
Uint32
*
p
=
d
.
ptr
[
i
].
u32
;
Uint32
*
p
=
(
Uint32
*
)
d
[
0
].
ptr
[
i
]
;
uint
u
=
urandom
()
;
*
p
=
u
;
*
p
=
u
;
}
}
break
;
break
;
case
NdbDictionary
:
:
Column
::
Char
:
case
NdbDictionary
:
:
Column
::
Char
:
{
{
u
=
urandom
(
g_charlen
)
;
char
*
p
=
d
.
ptr
[
i
].
ch
;
char
*
p
=
(
char
*
)
d
[
0
].
ptr
[
i
]
;
uint
u
=
urandom
(
g_charlen
)
;
uint
j
;
uint
j
;
for
(
j
=
0
;
j
<
g_charlen
;
j
++
)
{
for
(
j
=
0
;
j
<
g_charlen
;
j
++
)
{
uint
v
=
urandom
(
strlen
(
g_charval
));
uint
v
=
urandom
(
strlen
(
g_charval
));
...
@@ -801,78 +1061,103 @@ makeop(Op* op, Uint32 pk1, Op::Type t, const Op* prev_op)
...
@@ -801,78 +1061,103 @@ makeop(Op* op, Uint32 pk1, Op::Type t, const Op* prev_op)
}
}
}
}
break
;
break
;
case
NdbDictionary
:
:
Column
::
Text
:
{
Data
::
Txt
&
t
=
*
d
.
ptr
[
i
].
txt
;
uint
u
=
urandom
(
g_maxblobsize
);
u
=
urandom
(
u
);
// 4x bias for smaller blobs
u
=
urandom
(
u
);
delete
[]
t
.
val
;
t
.
val
=
new
char
[
u
];
t
.
len
=
u
;
uint
j
=
0
;
while
(
j
<
u
)
{
assert
(
u
>
0
);
uint
k
=
1
+
urandom
(
u
-
1
);
if
(
k
>
u
-
j
)
k
=
u
-
j
;
uint
v
=
urandom
(
strlen
(
g_charval
));
memset
(
&
t
.
val
[
j
],
g_charval
[
v
],
k
);
j
+=
k
;
}
}
break
;
default:
default:
assert
(
false
);
assert
(
false
);
break
;
break
;
}
}
d
[
0
]
.
ind
[
i
]
=
0
;
d
.
ind
[
i
]
=
0
;
}
}
Uint32
pk1_tmp
=
~
(
Uint32
)
0
;
chkrc
(
checkop
(
op
,
pk1_tmp
)
==
0
);
reqrc
(
pk1
==
pk1_tmp
);
return
0
;
}
}
static
void
static
void
makeop
(
Op
*
tot_op
,
Op
*
com_
op
,
Uint32
pk1
,
Op
::
Type
t
)
makeop
(
const
Op
*
prev_op
,
Op
*
op
,
Uint32
pk1
,
Op
::
Type
t
)
{
{
Op
tmp_op
;
op
->
type
=
t
;
tmp_op
.
kind
=
Op
::
OP
;
const
Data
&
dp
=
prev_op
->
data
[
0
];
Op
*
op
=
getop
();
Data
&
d0
=
op
->
data
[
0
];
reqrc
(
makeop
(
op
,
pk1
,
t
,
tot_op
)
==
0
);
Data
&
d1
=
op
->
data
[
1
];
// add to end
uint
i
;
Op
*
last_op
=
com_op
;
for
(
i
=
0
;
i
<
ncol
();
i
++
)
{
while
(
last_op
->
next_op
!=
0
)
const
Col
&
c
=
getcol
(
i
);
last_op
=
last_op
->
next_op
;
makedata
(
c
,
d0
,
pk1
,
t
);
last_op
->
next_op
=
op
;
if
(
t
==
Op
::
INS
)
{
// merge into chain head
d1
.
ind
[
i
]
=
-
1
;
tmp_op
.
init
();
}
else
if
(
t
==
Op
::
DEL
)
{
reqrc
(
compop
(
com_op
,
op
,
&
tmp_op
)
==
0
);
assert
(
dp
.
ind
[
i
]
>=
0
);
copyop
(
&
tmp_op
,
com_op
);
if
(
c
.
pk
)
// merge into total op
d1
.
ind
[
i
]
=
-
1
;
tmp_op
.
init
();
else
reqrc
(
compop
(
tot_op
,
op
,
&
tmp_op
)
==
0
);
copycol
(
c
,
dp
,
d1
);
copyop
(
&
tmp_op
,
tot_op
);
}
else
if
(
t
==
Op
::
UPD
)
{
// counts
assert
(
dp
.
ind
[
i
]
>=
0
);
com_op
->
num_op
+=
1
;
if
(
d0
.
ind
[
i
]
==
-
1
)
// not updating this col
tot_op
->
num_op
+=
1
;
copycol
(
c
,
dp
,
d0
);
// must keep track of data
copycol
(
c
,
dp
,
d1
);
}
else
{
assert
(
false
);
}
}
Uint32
pk1_tmp
=
~
(
Uint32
)
0
;
reqrc
(
checkop
(
op
,
pk1_tmp
)
==
0
);
reqrc
(
pk1
==
pk1_tmp
);
}
}
static
void
static
void
makeops
()
makeops
()
{
{
ll1
(
"makeops"
);
ll1
(
"makeops"
);
uint
resv
=
g_opts
.
opstr
==
0
?
2
*
g_opts
.
maxpk
:
0
;
// for final deletes
uint
next
=
g_opts
.
opstr
==
0
?
g_maxcom
:
strlen
(
g_opts
.
opstr
);
Op
tmp_op
;
tmp_op
.
kind
=
Op
::
OP
;
Uint32
pk1
=
0
;
Uint32
pk1
=
0
;
while
(
g
etfreeops
()
>=
resv
+
2
+
next
&&
pk1
<
g_opts
.
maxpk
)
{
while
(
g
_usedops
<
g_opts
.
maxops
&&
pk1
<
g_opts
.
maxpk
)
{
if
(
g_opts
.
opstr
==
0
)
if
(
g_opts
.
opstr
ing
==
0
)
pk1
=
urandom
(
g_opts
.
maxpk
);
pk1
=
urandom
(
g_opts
.
maxpk
);
ll2
(
"makeops: pk1="
<<
pk1
<<
" free="
<<
getfreeops
()
);
ll2
(
"makeops: pk1="
<<
pk1
);
// total op on the pk so far
// total op on the pk so far
// optype either NUL=initial/deleted or INS=created
// optype either NUL=initial/deleted or INS=created
Op
*
tot_op
=
g_pk_op
[
pk1
];
Op
*
tot_op
=
g_pk_op
[
pk1
];
if
(
tot_op
==
0
)
if
(
tot_op
==
0
)
tot_op
=
g_pk_op
[
pk1
]
=
getop
(
);
//1
tot_op
=
g_pk_op
[
pk1
]
=
getop
(
Op
::
OP
);
assert
(
tot_op
->
type
==
Op
::
NUL
||
tot_op
->
type
==
Op
::
INS
);
assert
(
tot_op
->
type
==
Op
::
NUL
||
tot_op
->
type
==
Op
::
INS
);
// add new commit chain to end
// add new commit chain to end
Op
*
last_com
=
tot_op
;
Op
*
last_gci
=
tot_op
;
while
(
last_com
->
next_com
!=
0
)
while
(
last_gci
->
next_gci
!=
0
)
last_com
=
last_com
->
next_com
;
last_gci
=
last_gci
->
next_gci
;
Op
*
com_op
=
getop
();
//2
Op
*
gci_op
=
getop
(
Op
::
OP
);
last_com
->
next_com
=
com_op
;
last_gci
->
next_gci
=
gci_op
;
Op
*
com_op
=
getop
(
Op
::
OP
);
gci_op
->
next_com
=
com_op
;
// length of random chain
// length of random chain
uint
len
=
~
0
;
uint
len
=
~
0
;
if
(
g_opts
.
opstr
==
0
)
if
(
g_opts
.
opstr
ing
==
0
)
{
len
=
1
+
urandom
(
g_maxcom
-
1
);
len
=
1
+
urandom
(
g_maxcom
-
1
);
len
=
1
+
urandom
(
len
-
1
);
// 2x bias for short chain
}
ll2
(
"makeops: com chain"
);
ll2
(
"makeops: com chain"
);
uint
n
=
0
;
uint
n
=
0
;
while
(
1
)
{
while
(
1
)
{
// random or from
g_opts.opstr
// random or from
current g_opts.opstring part
Op
::
Type
t
;
Op
::
Type
t
;
if
(
g_opts
.
opstr
==
0
)
{
if
(
g_opts
.
opstr
ing
==
0
)
{
if
(
n
==
len
)
if
(
n
==
len
)
break
;
break
;
do
{
do
{
...
@@ -880,10 +1165,11 @@ makeops()
...
@@ -880,10 +1165,11 @@ makeops()
}
while
(
tot_op
->
type
==
Op
::
NUL
&&
(
t
==
Op
::
DEL
||
t
==
Op
::
UPD
)
||
}
while
(
tot_op
->
type
==
Op
::
NUL
&&
(
t
==
Op
::
DEL
||
t
==
Op
::
UPD
)
||
tot_op
->
type
==
Op
::
INS
&&
t
==
Op
::
INS
);
tot_op
->
type
==
Op
::
INS
&&
t
==
Op
::
INS
);
}
else
{
}
else
{
uint
m
=
strlen
(
g_opts
.
opstr
);
const
char
*
str
=
g_opstringpart
[
g_loop
%
g_opstringparts
];
uint
m
=
strlen
(
str
);
uint
k
=
tot_op
->
num_com
+
tot_op
->
num_op
;
uint
k
=
tot_op
->
num_com
+
tot_op
->
num_op
;
assert
(
k
<
m
);
assert
(
k
<
m
);
char
c
=
g_opts
.
op
str
[
k
];
char
c
=
str
[
k
];
if
(
c
==
'c'
)
{
if
(
c
==
'c'
)
{
if
(
k
+
1
==
m
)
if
(
k
+
1
==
m
)
pk1
+=
1
;
pk1
+=
1
;
...
@@ -894,30 +1180,27 @@ makeops()
...
@@ -894,30 +1180,27 @@ makeops()
assert
(
q
!=
0
);
assert
(
q
!=
0
);
t
=
(
Op
::
Type
)(
q
-
p
);
t
=
(
Op
::
Type
)(
q
-
p
);
}
}
makeop
(
tot_op
,
com_op
,
pk1
,
t
);
Op
*
op
=
getop
(
Op
::
OP
);
makeop
(
tot_op
,
op
,
pk1
,
t
);
// add to end
Op
*
last_op
=
com_op
;
while
(
last_op
->
next_op
!=
0
)
last_op
=
last_op
->
next_op
;
last_op
->
next_op
=
op
;
// merge into chain head and total op
reqrc
(
compop
(
com_op
,
op
,
com_op
)
==
0
);
reqrc
(
compop
(
tot_op
,
op
,
tot_op
)
==
0
);
assert
(
tot_op
->
type
==
Op
::
NUL
||
tot_op
->
type
==
Op
::
INS
);
assert
(
tot_op
->
type
==
Op
::
NUL
||
tot_op
->
type
==
Op
::
INS
);
// counts
com_op
->
num_op
+=
1
;
tot_op
->
num_op
+=
1
;
n
++
;
n
++
;
}
}
// copy to gci level
copyop
(
com_op
,
gci_op
);
tot_op
->
num_com
+=
1
;
tot_op
->
num_com
+=
1
;
}
}
assert
(
getfreeops
()
>=
resv
);
ll1
(
"makeops: used ops = "
<<
g_usedops
);
// terminate with DEL if necessary
for
(
pk1
=
0
;
pk1
<
g_opts
.
maxpk
;
pk1
++
)
{
Op
*
tot_op
=
g_pk_op
[
pk1
];
if
(
tot_op
==
0
)
continue
;
if
(
tot_op
->
type
==
Op
::
NUL
)
continue
;
assert
(
g_opts
.
opstr
==
0
);
Op
*
last_com
=
tot_op
;
while
(
last_com
->
next_com
!=
0
)
last_com
=
last_com
->
next_com
;
Op
*
com_op
=
getop
();
//1
last_com
->
next_com
=
com_op
;
makeop
(
tot_op
,
com_op
,
pk1
,
Op
::
DEL
);
assert
(
tot_op
->
type
==
Op
::
NUL
);
tot_op
->
num_com
+=
1
;
}
}
}
static
int
static
int
...
@@ -939,23 +1222,36 @@ addndbop(Op* op)
...
@@ -939,23 +1222,36 @@ addndbop(Op* op)
break
;
break
;
}
}
uint
i
;
uint
i
;
for
(
i
=
0
;
i
<
g_ncol
;
i
++
)
{
for
(
i
=
0
;
i
<
ncol
()
;
i
++
)
{
const
Col
&
c
=
getcol
(
i
);
const
Col
&
c
=
getcol
(
i
);
const
Data
&
d
=
op
->
data
[
0
];
const
Data
&
d
=
op
->
data
[
0
];
if
(
!
c
.
pk
)
if
(
!
c
.
pk
)
continue
;
continue
;
chkdb
(
g_op
->
equal
(
c
.
name
,
(
c
har
*
)
d
.
ptr
[
i
]
)
==
0
);
chkdb
(
g_op
->
equal
(
c
.
name
,
(
c
onst
char
*
)
d
.
ptr
[
i
].
v
)
==
0
);
}
}
if
(
op
->
type
!=
Op
::
DEL
)
{
if
(
op
->
type
!=
Op
::
DEL
)
{
for
(
i
=
0
;
i
<
g_ncol
;
i
++
)
{
for
(
i
=
0
;
i
<
ncol
()
;
i
++
)
{
const
Col
&
c
=
getcol
(
i
);
const
Col
&
c
=
getcol
(
i
);
const
Data
&
d
=
op
->
data
[
0
];
const
Data
&
d
=
op
->
data
[
0
];
if
(
c
.
pk
)
if
(
c
.
pk
)
continue
;
continue
;
if
(
d
.
ind
[
i
]
==
-
1
)
if
(
d
.
noop
&
(
1
<<
i
)
)
continue
;
continue
;
const
char
*
ptr
=
d
.
ind
[
i
]
==
0
?
(
char
*
)
d
.
ptr
[
i
]
:
0
;
assert
(
d
.
ind
[
i
]
>=
0
);
chkdb
(
g_op
->
setValue
(
c
.
name
,
ptr
)
==
0
);
if
(
!
c
.
isblob
())
{
if
(
d
.
ind
[
i
]
==
0
)
chkdb
(
g_op
->
setValue
(
c
.
name
,
(
const
char
*
)
d
.
ptr
[
i
].
v
)
==
0
);
else
chkdb
(
g_op
->
setValue
(
c
.
name
,
(
const
char
*
)
0
)
==
0
);
}
else
{
const
Data
::
Txt
&
t
=
*
d
.
ptr
[
i
].
txt
;
g_bh
=
g_op
->
getBlobHandle
(
c
.
name
);
if
(
d
.
ind
[
i
]
==
0
)
chkdb
(
g_bh
->
setValue
(
t
.
val
,
t
.
len
)
==
0
);
else
chkdb
(
g_bh
->
setValue
(
0
,
0
)
==
0
);
g_bh
=
0
;
}
}
}
}
}
g_op
=
0
;
g_op
=
0
;
...
@@ -967,40 +1263,43 @@ runops()
...
@@ -967,40 +1263,43 @@ runops()
{
{
ll1
(
"runops"
);
ll1
(
"runops"
);
Uint32
pk1
;
Uint32
pk1
;
const
Op
*
com
_op
[
g_maxpk
];
Op
*
gci
_op
[
g_maxpk
];
uint
left
=
0
;
uint
left
=
0
;
// number of pks with ops
for
(
pk1
=
0
;
pk1
<
g_opts
.
maxpk
;
pk1
++
)
{
for
(
pk1
=
0
;
pk1
<
g_opts
.
maxpk
;
pk1
++
)
{
com
_op
[
pk1
]
=
0
;
gci
_op
[
pk1
]
=
0
;
// total op on the pk
// total op on the pk
Op
*
tot_op
=
g_pk_op
[
pk1
];
Op
*
tot_op
=
g_pk_op
[
pk1
];
if
(
tot_op
==
0
)
if
(
tot_op
==
0
)
continue
;
continue
;
// first commit chain
// first commit chain
assert
(
tot_op
->
next_
com
!=
0
);
assert
(
tot_op
->
next_
gci
!=
0
);
com_op
[
pk1
]
=
tot_op
->
next_com
;
gci_op
[
pk1
]
=
tot_op
->
next_gci
;
left
++
;
left
++
;
}
}
while
(
left
!=
0
)
{
while
(
left
!=
0
)
{
pk1
=
urandom
(
g_opts
.
maxpk
);
pk1
=
urandom
(
g_opts
.
maxpk
);
if
(
com
_op
[
pk1
]
==
0
)
if
(
gci
_op
[
pk1
]
==
0
)
continue
;
continue
;
// do the ops in one transaction
// do the ops in one transaction
ll2
(
"runops: pk1="
<<
pk1
);
chkdb
((
g_con
=
g_ndb
->
startTransaction
())
!=
0
);
chkdb
((
g_con
=
g_ndb
->
startTransaction
())
!=
0
);
Op
*
com_op
=
gci_op
[
pk1
]
->
next_com
;
assert
(
com_op
!=
0
);
// first op in chain
// first op in chain
Op
*
op
=
com_op
[
pk1
]
->
next_op
;
Op
*
op
=
com_op
->
next_op
;
assert
(
op
!=
0
);
assert
(
op
!=
0
);
while
(
op
!=
0
)
{
while
(
op
!=
0
)
{
ll2
(
"
add op
:"
<<
*
op
);
ll2
(
"
runops
:"
<<
*
op
);
chkrc
(
addndbop
(
op
)
==
0
);
chkrc
(
addndbop
(
op
)
==
0
);
op
=
op
->
next_op
;
op
=
op
->
next_op
;
}
}
chkdb
(
g_con
->
execute
(
Commit
)
==
0
);
chkdb
(
g_con
->
execute
(
Commit
)
==
0
);
gci_op
[
pk1
]
->
gci
=
com_op
->
gci
=
g_con
->
getGCI
();
ll2
(
"commit: gci="
<<
com_op
->
gci
);
g_ndb
->
closeTransaction
(
g_con
);
g_ndb
->
closeTransaction
(
g_con
);
g_con
=
0
;
g_con
=
0
;
// next chain
// next chain
com_op
[
pk1
]
=
com_op
[
pk1
]
->
next_com
;
gci_op
[
pk1
]
=
gci_op
[
pk1
]
->
next_gci
;
if
(
com
_op
[
pk1
]
==
0
)
{
if
(
gci
_op
[
pk1
]
==
0
)
{
assert
(
left
!=
0
);
assert
(
left
!=
0
);
left
--
;
left
--
;
}
}
...
@@ -1009,6 +1308,99 @@ runops()
...
@@ -1009,6 +1308,99 @@ runops()
return
0
;
return
0
;
}
}
// move com chains with same gci under same gci entry
static
int
mergeops
()
{
ll1
(
"mergeops"
);
uint
mergecnt
=
0
;
Uint32
pk1
;
for
(
pk1
=
0
;
pk1
<
g_opts
.
maxpk
;
pk1
++
)
{
Op
*
tot_op
=
g_pk_op
[
pk1
];
if
(
tot_op
==
0
)
continue
;
Op
*
gci_op
=
tot_op
->
next_gci
;
assert
(
gci_op
!=
0
);
while
(
gci_op
!=
0
)
{
Op
*
com_op
=
gci_op
->
next_com
;
assert
(
com_op
!=
0
&&
com_op
->
next_com
==
0
);
assert
(
gci_op
->
gci
==
com_op
->
gci
);
Op
*
last_com
=
com_op
;
Op
*
gci_op2
=
gci_op
->
next_gci
;
while
(
gci_op2
!=
0
&&
gci_op
->
gci
==
gci_op2
->
gci
)
{
// move link to com level
last_com
=
last_com
->
next_com
=
gci_op2
->
next_com
;
// merge to gci
reqrc
(
compop
(
gci_op
,
gci_op2
,
gci_op
)
==
0
);
// move to next and discard
Op
*
tmp_op
=
gci_op2
;
gci_op2
=
gci_op2
->
next_gci
;
freeop
(
tmp_op
);
mergecnt
++
;
}
gci_op
=
gci_op
->
next_gci
=
gci_op2
;
}
}
ll1
(
"mergeops: used ops = "
<<
g_usedops
);
ll1
(
"mergeops: merged "
<<
mergecnt
<<
" gci entries"
);
return
0
;
}
// set bit for equal post/pre data in UPD, for use in event match
static
void
cmppostpre
()
{
ll1
(
"cmppostpre"
);
Uint32
pk1
;
for
(
pk1
=
0
;
pk1
<
g_opts
.
maxpk
;
pk1
++
)
{
Op
*
tot_op
=
g_pk_op
[
pk1
];
Op
*
gci_op
=
tot_op
?
tot_op
->
next_gci
:
0
;
while
(
gci_op
!=
0
)
{
if
(
gci_op
->
type
==
Op
::
UPD
)
{
Data
(
&
d
)[
2
]
=
gci_op
->
data
;
uint
i
;
for
(
i
=
0
;
i
<
ncol
();
i
++
)
{
const
Col
&
c
=
getcol
(
i
);
bool
eq
=
d
[
0
].
ind
[
i
]
==
1
&&
d
[
1
].
ind
[
i
]
==
1
||
d
[
0
].
ind
[
i
]
==
0
&&
d
[
1
].
ind
[
i
]
==
0
&&
cmpcol
(
c
,
d
[
0
],
d
[
1
])
==
0
;
if
(
eq
)
{
d
[
0
].
ppeq
|=
(
1
<<
i
);
d
[
1
].
ppeq
|=
(
1
<<
i
);
}
}
}
gci_op
=
gci_op
->
next_gci
;
}
}
}
static
int
cmpopevdata
(
const
Data
&
d1
,
const
Data
&
d2
)
{
uint
i
;
for
(
i
=
0
;
i
<
ncol
();
i
++
)
{
const
Col
&
c
=
getcol
(
i
);
if
(
cmpcol
(
c
,
d1
,
d2
)
!=
0
)
{
if
((
d1
.
ppeq
&
(
1
<<
i
))
&&
d2
.
ind
[
i
]
==
-
1
)
;
// post/pre data equal and no event data returned is OK
else
return
1
;
}
}
return
0
;
}
// compare operation to event data
static
int
cmpopevdata
(
const
Data
(
&
d1
)[
2
],
const
Data
(
&
d2
)[
2
])
{
if
(
cmpopevdata
(
d1
[
0
],
d2
[
0
])
!=
0
)
return
1
;
if
(
cmpopevdata
(
d1
[
1
],
d2
[
1
])
!=
0
)
return
1
;
return
0
;
}
static
int
static
int
matchevent
(
Op
*
ev
)
matchevent
(
Op
*
ev
)
{
{
...
@@ -1024,41 +1416,53 @@ matchevent(Op* ev)
...
@@ -1024,41 +1416,53 @@ matchevent(Op* ev)
ll1
(
"matchevent: pk1="
<<
pk1
<<
" type="
<<
t
);
ll1
(
"matchevent: pk1="
<<
pk1
<<
" type="
<<
t
);
ll2
(
"EVT: "
<<
*
ev
);
ll2
(
"EVT: "
<<
*
ev
);
Op
*
tot_op
=
g_pk_op
[
pk1
];
Op
*
tot_op
=
g_pk_op
[
pk1
];
Op
*
com_op
=
tot_op
?
tot_op
->
next_com
:
0
;
Op
*
gci_op
=
tot_op
?
tot_op
->
next_gci
:
0
;
uint
cnt
=
0
;
uint
pos
=
0
;
bool
ok
=
false
;
bool
ok
=
false
;
while
(
gci_op
!=
0
)
{
ll2
(
"GCI: "
<<
*
gci_op
);
// print details
Op
*
com_op
=
gci_op
->
next_com
;
assert
(
com_op
!=
0
);
while
(
com_op
!=
0
)
{
while
(
com_op
!=
0
)
{
ll2
(
"COM: "
<<
*
com_op
);
ll2
(
"COM: "
<<
*
com_op
);
Op
*
op
=
com_op
->
next_op
;
Op
*
op
=
com_op
->
next_op
;
assert
(
op
!=
0
);
assert
(
op
!=
0
);
while
(
op
!=
0
)
{
while
(
op
!=
0
)
{
ll2
(
"---
: "
<<
*
op
);
ll2
(
"OP
: "
<<
*
op
);
op
=
op
->
next_op
;
op
=
op
->
next_op
;
}
}
if
(
com_op
->
type
!=
Op
::
NUL
)
{
com_op
=
com_op
->
next_com
;
const
Data
(
&
d1
)[
2
]
=
com_op
->
data
;
}
if
(
cmpdata
(
d1
,
d2
)
==
0
)
{
// match agains GCI op
if
(
gci_op
->
type
!=
Op
::
NUL
)
{
const
Data
(
&
d1
)[
2
]
=
gci_op
->
data
;
if
(
cmpopevdata
(
d1
,
d2
)
==
0
)
{
bool
tmpok
=
true
;
bool
tmpok
=
true
;
if
(
com
_op
->
type
!=
t
)
{
if
(
gci
_op
->
type
!=
t
)
{
ll2
(
"***: wrong type "
<<
com
_op
->
type
<<
" != "
<<
t
);
ll2
(
"***: wrong type "
<<
gci
_op
->
type
<<
" != "
<<
t
);
tmpok
=
false
;
tmpok
=
false
;
}
}
if
(
com
_op
->
match
)
{
if
(
gci
_op
->
match
)
{
ll2
(
"***: duplicate match"
);
ll2
(
"***: duplicate match"
);
tmpok
=
false
;
tmpok
=
false
;
}
}
if
(
cnt
!=
g_ev_cnt
[
pk1
])
{
if
(
pos
!=
g_ev_pos
[
pk1
])
{
ll2
(
"***: wrong pos "
<<
cnt
<<
" != "
<<
g_ev_cnt
[
pk1
]);
ll2
(
"***: wrong pos "
<<
pos
<<
" != "
<<
g_ev_pos
[
pk1
]);
tmpok
=
false
;
}
if
(
gci_op
->
gci
!=
ev
->
gci
)
{
ll2
(
"***: wrong gci "
<<
gci_op
->
gci
<<
" != "
<<
ev
->
gci
);
tmpok
=
false
;
tmpok
=
false
;
}
}
if
(
tmpok
)
{
if
(
tmpok
)
{
ok
=
com
_op
->
match
=
true
;
ok
=
gci
_op
->
match
=
true
;
ll2
(
"===: match"
);
ll2
(
"===: match"
);
}
}
}
}
cnt
++
;
pos
++
;
}
}
com_op
=
com_op
->
next_com
;
gci_op
=
gci_op
->
next_gci
;
}
}
if
(
ok
)
{
if
(
ok
)
{
ll1
(
"matchevent: match"
);
ll1
(
"matchevent: match"
);
...
@@ -1081,12 +1485,12 @@ matchevents()
...
@@ -1081,12 +1485,12 @@ matchevents()
Op
*
tot_ev
=
g_pk_ev
[
pk1
];
Op
*
tot_ev
=
g_pk_ev
[
pk1
];
if
(
tot_ev
==
0
)
if
(
tot_ev
==
0
)
continue
;
continue
;
Op
*
com_ev
=
tot_ev
->
next_com
;
Op
*
ev
=
tot_ev
->
next_ev
;
while
(
com_
ev
!=
0
)
{
while
(
ev
!=
0
)
{
if
(
matchevent
(
com_
ev
)
<
0
)
if
(
matchevent
(
ev
)
<
0
)
nomatch
++
;
nomatch
++
;
g_ev_
cnt
[
pk1
]
++
;
g_ev_
pos
[
pk1
]
++
;
com_ev
=
com_ev
->
next_com
;
ev
=
ev
->
next_ev
;
}
}
}
}
chkrc
(
nomatch
==
0
);
chkrc
(
nomatch
==
0
);
...
@@ -1120,13 +1524,49 @@ matchops()
...
@@ -1120,13 +1524,49 @@ matchops()
return
0
;
return
0
;
}
}
static
void
geteventdata
()
{
Data
(
&
d
)[
2
]
=
g_rec_ev
->
data
;
int
i
,
j
;
for
(
j
=
0
;
j
<
2
;
j
++
)
{
for
(
i
=
0
;
i
<
ncol
();
i
++
)
{
const
Col
&
c
=
getcol
(
i
);
int
ind
,
ret
;
if
(
!
c
.
isblob
())
{
NdbRecAttr
*
ra
=
g_ev_ra
[
j
][
i
];
ind
=
ra
->
isNULL
();
}
else
{
#ifdef version51rbr
NdbBlob
*
bh
=
g_ev_bh
[
j
][
i
];
ret
=
bh
->
getDefined
(
ind
);
assert
(
ret
==
0
);
if
(
ind
==
0
)
{
// value was returned and is not NULL
Data
::
Txt
&
t
=
*
d
[
j
].
ptr
[
i
].
txt
;
Uint64
len64
;
ret
=
bh
->
getLength
(
len64
);
assert
(
ret
==
0
);
t
.
len
=
(
uint
)
len64
;
delete
[]
t
.
val
;
t
.
val
=
new
char
[
t
.
len
];
memset
(
t
.
val
,
'X'
,
t
.
len
);
Uint32
len
=
t
.
len
;
ret
=
bh
->
readData
(
t
.
val
,
len
);
assert
(
ret
==
0
&&
len
==
t
.
len
);
}
#endif
}
d
[
j
].
ind
[
i
]
=
ind
;
}
}
}
static
int
static
int
runevents
()
runevents
()
{
{
ll1
(
"runevents"
);
ll1
(
"runevents"
);
NdbEventOperation
*
evt_op
;
uint
mspoll
=
1000
;
uint
mspoll
=
1000
;
uint
npoll
=
7
;
// strangely long delay
uint
npoll
=
6
;
// strangely long delay
while
(
npoll
!=
0
)
{
while
(
npoll
!=
0
)
{
npoll
--
;
npoll
--
;
int
ret
;
int
ret
;
...
@@ -1135,8 +1575,7 @@ runevents()
...
@@ -1135,8 +1575,7 @@ runevents()
if
(
ret
<=
0
)
if
(
ret
<=
0
)
continue
;
continue
;
while
(
1
)
{
while
(
1
)
{
g_rec_ev
->
init
();
g_rec_ev
->
init
(
Op
::
EV
);
Data
(
&
d
)[
2
]
=
g_rec_ev
->
data
;
#ifdef version50
#ifdef version50
int
overrun
=
g_opts
.
maxops
;
int
overrun
=
g_opts
.
maxops
;
chkdb
((
ret
=
g_evt_op
->
next
(
&
overrun
))
>=
0
);
chkdb
((
ret
=
g_evt_op
->
next
(
&
overrun
))
>=
0
);
...
@@ -1150,32 +1589,35 @@ runevents()
...
@@ -1150,32 +1589,35 @@ runevents()
reqrc
(
g_evt_op
==
tmp_op
);
reqrc
(
g_evt_op
==
tmp_op
);
#endif
#endif
chkrc
(
seteventtype
(
g_rec_ev
,
g_evt_op
->
getEventType
())
==
0
);
chkrc
(
seteventtype
(
g_rec_ev
,
g_evt_op
->
getEventType
())
==
0
);
// get indicators
geteventdata
();
{
int
i
,
j
;
g_rec_ev
->
gci
=
g_evt_op
->
getGCI
();
for
(
j
=
0
;
j
<
2
;
j
++
)
#ifdef version50
for
(
i
=
0
;
i
<
g_ncol
;
i
++
)
// fix to match 5.1
d
[
j
].
ind
[
i
]
=
g_ra
[
j
][
i
]
->
isNULL
();
if
(
g_rec_ev
->
type
==
Op
::
UPD
)
{
Uint32
pk1
=
g_rec_ev
->
data
[
0
].
pk1
;
makedata
(
getcol
(
"pk1"
),
g_rec_ev
->
data
[
1
],
pk1
,
Op
::
UPD
);
makedata
(
getcol
(
"pk2"
),
g_rec_ev
->
data
[
1
],
pk1
,
Op
::
UPD
);
}
}
#endif
// get indicators and blob value
ll2
(
"runevents: EVT: "
<<
*
g_rec_ev
);
ll2
(
"runevents: EVT: "
<<
*
g_rec_ev
);
// check basic sanity
// check basic sanity
Uint32
pk1
=
~
(
Uint32
)
0
;
Uint32
pk1
=
~
(
Uint32
)
0
;
chkrc
(
checkop
(
g_rec_ev
,
pk1
)
==
0
);
chkrc
(
checkop
(
g_rec_ev
,
pk1
)
==
0
);
// add to events
// add to events
chkrc
(
getfreeevs
()
>=
2
);
Op
*
tot_ev
=
g_pk_ev
[
pk1
];
Op
*
tot_ev
=
g_pk_ev
[
pk1
];
if
(
tot_ev
==
0
)
if
(
tot_ev
==
0
)
tot_ev
=
g_pk_ev
[
pk1
]
=
get
ev
();
//1
tot_ev
=
g_pk_ev
[
pk1
]
=
get
op
(
Op
::
EV
);
Op
*
last_
com
=
tot_ev
;
Op
*
last_
ev
=
tot_ev
;
while
(
last_
com
->
next_com
!=
0
)
while
(
last_
ev
->
next_ev
!=
0
)
last_
com
=
last_com
->
next_com
;
last_
ev
=
last_ev
->
next_ev
;
// copy and add
// copy and add
Op
*
ev
=
get
ev
();
//3
Op
*
ev
=
get
op
(
Op
::
EV
);
copyop
(
g_rec_ev
,
ev
);
copyop
(
g_rec_ev
,
ev
);
last_
com
->
next_com
=
ev
;
last_
ev
->
next_ev
=
ev
;
}
}
}
}
chkrc
(
matchevents
()
==
0
);
ll1
(
"runevents: used ops = "
<<
g_usedops
);
chkrc
(
matchops
()
==
0
);
return
0
;
return
0
;
}
}
...
@@ -1205,18 +1647,23 @@ runtest()
...
@@ -1205,18 +1647,23 @@ runtest()
setseed
(
-
1
);
setseed
(
-
1
);
chkrc
(
createtable
()
==
0
);
chkrc
(
createtable
()
==
0
);
chkrc
(
createevent
()
==
0
);
chkrc
(
createevent
()
==
0
);
uint
n
;
for
(
g_loop
=
0
;
g_opts
.
loop
==
0
||
g_loop
<
g_opts
.
loop
;
g_loop
++
)
{
for
(
n
=
0
;
g_opts
.
loop
==
0
||
n
<
g_opts
.
loop
;
n
++
)
{
ll0
(
"loop "
<<
g_loop
);
ll0
(
"loop "
<<
n
);
setseed
(
g_loop
);
setseed
(
n
);
resetmem
();
resetmem
();
g_rec_ev
=
getev
();
chkrc
(
scantab
()
==
0
);
// alternative: save tot_op for loop > 0
makeops
();
g_rec_ev
=
getop
(
Op
::
EV
);
chkrc
(
createeventop
()
==
0
);
chkrc
(
createeventop
()
==
0
);
chkdb
(
g_evt_op
->
execute
()
==
0
);
chkdb
(
g_evt_op
->
execute
()
==
0
);
chkrc
(
waitgci
()
==
0
);
chkrc
(
waitgci
()
==
0
);
makeops
();
chkrc
(
runops
()
==
0
);
chkrc
(
runops
()
==
0
);
if
(
!
g_opts
.
separate_events
)
chkrc
(
mergeops
()
==
0
);
cmppostpre
();
chkrc
(
runevents
()
==
0
);
chkrc
(
runevents
()
==
0
);
chkrc
(
matchevents
()
==
0
);
chkrc
(
matchops
()
==
0
);
chkrc
(
dropeventop
()
==
0
);
chkrc
(
dropeventop
()
==
0
);
}
}
chkrc
(
dropevent
()
==
0
);
chkrc
(
dropevent
()
==
0
);
...
@@ -1230,31 +1677,41 @@ static struct my_option
...
@@ -1230,31 +1677,41 @@ static struct my_option
my_long_options
[]
=
my_long_options
[]
=
{
{
NDB_STD_OPTS
(
"test_event_merge"
),
NDB_STD_OPTS
(
"test_event_merge"
),
{
"abort-on-error"
,
100
8
,
"Do abort() on any error"
,
{
"abort-on-error"
,
100
1
,
"Do abort() on any error"
,
(
gptr
*
)
&
g_opts
.
abort_on_error
,
(
gptr
*
)
&
g_opts
.
abort_on_error
,
0
,
(
gptr
*
)
&
g_opts
.
abort_on_error
,
(
gptr
*
)
&
g_opts
.
abort_on_error
,
0
,
GET_BOOL
,
NO_ARG
,
0
,
0
,
0
,
0
,
0
,
0
},
GET_BOOL
,
NO_ARG
,
0
,
0
,
0
,
0
,
0
,
0
},
{
"loglevel"
,
100
1
,
"Logging level in this program (default 0)"
,
{
"loglevel"
,
100
2
,
"Logging level in this program (default 0)"
,
(
gptr
*
)
&
g_opts
.
loglevel
,
(
gptr
*
)
&
g_opts
.
loglevel
,
0
,
(
gptr
*
)
&
g_opts
.
loglevel
,
(
gptr
*
)
&
g_opts
.
loglevel
,
0
,
GET_INT
,
REQUIRED_ARG
,
0
,
0
,
0
,
0
,
0
,
0
},
GET_INT
,
REQUIRED_ARG
,
0
,
0
,
0
,
0
,
0
,
0
},
{
"loop"
,
100
2
,
"Number of test loops (default 1
, 0=forever)"
,
{
"loop"
,
100
3
,
"Number of test loops (default 2
, 0=forever)"
,
(
gptr
*
)
&
g_opts
.
loop
,
(
gptr
*
)
&
g_opts
.
loop
,
0
,
(
gptr
*
)
&
g_opts
.
loop
,
(
gptr
*
)
&
g_opts
.
loop
,
0
,
GET_INT
,
REQUIRED_ARG
,
1
,
0
,
0
,
0
,
0
,
0
},
GET_INT
,
REQUIRED_ARG
,
2
,
0
,
0
,
0
,
0
,
0
},
{
"maxops"
,
100
3
,
"Number of PK operations (default 2
000)"
,
{
"maxops"
,
100
4
,
"Approx number of PK operations (default 1
000)"
,
(
gptr
*
)
&
g_opts
.
maxops
,
(
gptr
*
)
&
g_opts
.
maxops
,
0
,
(
gptr
*
)
&
g_opts
.
maxops
,
(
gptr
*
)
&
g_opts
.
maxops
,
0
,
GET_UINT
,
REQUIRED_ARG
,
2000
,
0
,
g_maxops
,
0
,
0
,
0
},
GET_UINT
,
REQUIRED_ARG
,
1000
,
0
,
0
,
0
,
0
,
0
},
{
"maxpk"
,
100
4
,
"Number of different PK values (default 10)"
,
{
"maxpk"
,
100
5
,
"Number of different PK values (default 10)"
,
(
gptr
*
)
&
g_opts
.
maxpk
,
(
gptr
*
)
&
g_opts
.
maxpk
,
0
,
(
gptr
*
)
&
g_opts
.
maxpk
,
(
gptr
*
)
&
g_opts
.
maxpk
,
0
,
GET_UINT
,
REQUIRED_ARG
,
10
,
1
,
g_maxpk
,
0
,
0
,
0
},
GET_UINT
,
REQUIRED_ARG
,
10
,
1
,
g_maxpk
,
0
,
0
,
0
},
{
"opstr"
,
1005
,
"Ops to run e.g. idiucdc (c = commit, default random)"
,
{
"no-blobs"
,
1006
,
"Omit blob attributes (5.0: true)"
,
(
gptr
*
)
&
g_opts
.
opstr
,
(
gptr
*
)
&
g_opts
.
opstr
,
0
,
(
gptr
*
)
&
g_opts
.
no_blobs
,
(
gptr
*
)
&
g_opts
.
no_blobs
,
0
,
GET_BOOL
,
NO_ARG
,
0
,
0
,
0
,
0
,
0
,
0
},
{
"no-multiops"
,
1007
,
"Allow only 1 operation per commit"
,
(
gptr
*
)
&
g_opts
.
no_multiops
,
(
gptr
*
)
&
g_opts
.
no_multiops
,
0
,
GET_BOOL
,
NO_ARG
,
0
,
0
,
0
,
0
,
0
,
0
},
{
"one-blob"
,
1008
,
"Only one blob attribute (defautt 2)"
,
(
gptr
*
)
&
g_opts
.
one_blob
,
(
gptr
*
)
&
g_opts
.
one_blob
,
0
,
GET_BOOL
,
NO_ARG
,
0
,
0
,
0
,
0
,
0
,
0
},
{
"opstring"
,
1009
,
"Operations to run e.g. idiucdc (c is commit) or"
" iuuc:uudc (the : separates loops)"
,
(
gptr
*
)
&
g_opts
.
opstring
,
(
gptr
*
)
&
g_opts
.
opstring
,
0
,
GET_STR_ALLOC
,
REQUIRED_ARG
,
0
,
0
,
0
,
0
,
0
,
0
},
GET_STR_ALLOC
,
REQUIRED_ARG
,
0
,
0
,
0
,
0
,
0
,
0
},
{
"seed"
,
10
06
,
"Random seed (0=loop number, default -1=random)"
,
{
"seed"
,
10
10
,
"Random seed (0=loop number, default -1=random)"
,
(
gptr
*
)
&
g_opts
.
seed
,
(
gptr
*
)
&
g_opts
.
seed
,
0
,
(
gptr
*
)
&
g_opts
.
seed
,
(
gptr
*
)
&
g_opts
.
seed
,
0
,
GET_INT
,
REQUIRED_ARG
,
-
1
,
0
,
0
,
0
,
0
,
0
},
GET_INT
,
REQUIRED_ARG
,
-
1
,
0
,
0
,
0
,
0
,
0
},
{
"separate-events"
,
10
07
,
"Do not combine events per GCI >5.0
"
,
{
"separate-events"
,
10
11
,
"Do not combine events per GCI (5.0: true)
"
,
(
gptr
*
)
&
g_opts
.
separate_events
,
(
gptr
*
)
&
g_opts
.
separate_events
,
0
,
(
gptr
*
)
&
g_opts
.
separate_events
,
(
gptr
*
)
&
g_opts
.
separate_events
,
0
,
GET_BOOL
,
NO_ARG
,
0
,
0
,
0
,
0
,
0
,
0
},
GET_BOOL
,
NO_ARG
,
0
,
0
,
0
,
0
,
0
,
0
},
{
"use-table"
,
10
08
,
"Use existing table 'tem1'"
,
{
"use-table"
,
10
12
,
"Use existing table 'tem1'"
,
(
gptr
*
)
&
g_opts
.
use_table
,
(
gptr
*
)
&
g_opts
.
use_table
,
0
,
(
gptr
*
)
&
g_opts
.
use_table
,
(
gptr
*
)
&
g_opts
.
use_table
,
0
,
GET_BOOL
,
NO_ARG
,
0
,
0
,
0
,
0
,
0
,
0
},
GET_BOOL
,
NO_ARG
,
0
,
0
,
0
,
0
,
0
,
0
},
{
0
,
0
,
0
,
{
0
,
0
,
0
,
...
@@ -1271,14 +1728,36 @@ usage()
...
@@ -1271,14 +1728,36 @@ usage()
static
int
static
int
checkopts
()
checkopts
()
{
{
if
(
g_opts
.
opstr
!=
0
)
{
#ifdef version50
const
char
*
s
=
g_opts
.
opstr
;
g_opts
.
separate_events
=
true
;
uint
n
=
strlen
(
s
);
#endif
if
(
n
<
3
||
s
[
0
]
!=
'i'
||
s
[
n
-
2
]
!=
'd'
||
s
[
n
-
1
]
!=
'c'
)
if
(
g_opts
.
separate_events
)
{
return
-
1
;
g_opts
.
no_blobs
=
true
;
}
if
(
g_opts
.
no_multiops
)
{
g_maxcom
=
1
;
}
if
(
g_opts
.
opstring
!=
0
)
{
uint
len
=
strlen
(
g_opts
.
opstring
);
char
*
str
=
new
char
[
len
+
1
];
memcpy
(
str
,
g_opts
.
opstring
,
len
+
1
);
char
*
s
=
str
;
while
(
1
)
{
g_opstringpart
[
g_opstringparts
++
]
=
s
;
s
=
strchr
(
s
,
':'
);
if
(
s
==
0
)
break
;
*
s
++
=
0
;
}
uint
i
;
for
(
i
=
0
;
i
<
g_opstringparts
;
i
++
)
{
const
char
*
s
=
g_opstringpart
[
i
];
while
(
*
s
!=
0
)
while
(
*
s
!=
0
)
if
(
strchr
(
"iduc"
,
*
s
++
)
==
0
)
if
(
strchr
(
"iduc"
,
*
s
++
)
==
0
)
return
-
1
;
return
-
1
;
if
(
s
==
g_opstringpart
[
i
]
||
s
[
-
1
]
!=
'c'
)
return
-
1
;
}
}
}
return
0
;
return
0
;
}
}
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment