Lines Matching refs:rdbx
4 * driver for the rdbx implementation (replay database with extended range)
49 #include "rdbx.h"
94 printf("rdbx (replay database w/ extended range) test driver\n"
132 print_rdbx(rdbx_t *rdbx) {
134 printf("rdbx: {%llu, %s}\n",
135 (unsigned long long)(rdbx->index),
136 bitvector_bit_string(&rdbx->bitmask, buf, sizeof(buf))
142 * rdbx_check_add(rdbx, idx) checks a known-to-be-good idx against
143 * rdbx, then adds it. if a failure is detected (i.e., the check
144 * indicates that the value is already in rdbx) then
150 rdbx_check_add(rdbx_t *rdbx, uint32_t idx) {
154 delta = index_guess(&rdbx->index, &est, idx);
156 if (rdbx_check(rdbx, delta) != err_status_ok) {
166 if (rdbx_add_index(rdbx, delta) != err_status_ok) {
175 * rdbx_check_expect_failure(rdbx_t *rdbx, uint32_t idx)
182 rdbx_check_expect_failure(rdbx_t *rdbx, uint32_t idx) {
187 delta = index_guess(&rdbx->index, &est, idx);
189 status = rdbx_check(rdbx, delta);
200 rdbx_check_unordered(rdbx_t *rdbx, uint32_t idx) {
203 rstat = rdbx_check(rdbx, idx);
213 rdbx_t rdbx;
219 status = rdbx_init(&rdbx, ws);
230 status = rdbx_check_add(&rdbx, idx);
249 status = rdbx_check_expect_failure(&rdbx, idx);
256 rdbx_uninit(&rdbx);
258 if (rdbx_init(&rdbx, ws) != err_status_ok) {
274 status = rdbx_check_unordered(&rdbx, ircvd);
283 rdbx_uninit(&rdbx);
285 if (rdbx_init(&rdbx, ws) != err_status_ok) {
291 status = rdbx_check_add(&rdbx, 1);
294 status = rdbx_check_expect_failure(&rdbx, 64500);
297 status = rdbx_check_add(&rdbx, 2);
302 rdbx_uninit(&rdbx);
316 rdbx_t rdbx;
321 if (rdbx_init(&rdbx, ws) != err_status_ok) {
330 delta = index_guess(&rdbx.index, &est, i);
332 if (rdbx_check(&rdbx, delta) != err_status_ok)
335 if (rdbx_add_index(&rdbx, delta) != err_status_ok)
342 rdbx_uninit(&rdbx);
