Add verify_fatal option
[fio.git] / verify.c
CommitLineData
e29d1b70
JA
1/*
2 * IO verification helpers
3 */
4#include <unistd.h>
5#include <fcntl.h>
6#include <string.h>
97af62ce 7#include <assert.h>
e29d1b70
JA
8
9#include "fio.h"
e29d1b70 10
eef6eea1
JA
11#include "crc/md5.h"
12#include "crc/crc64.h"
13#include "crc/crc32.h"
14#include "crc/crc16.h"
15#include "crc/crc7.h"
16#include "crc/sha256.h"
17#include "crc/sha512.h"
cd14cc10 18
90059d65 19static void fill_random_bytes(struct thread_data *td, void *p, unsigned int len)
e29d1b70
JA
20{
21 unsigned int todo;
4c5946c6 22 int r;
e29d1b70
JA
23
24 while (len) {
4c5946c6 25 r = os_random_long(&td->verify_state);
e29d1b70
JA
26
27 /*
28 * lrand48_r seems to be broken and only fill the bottom
29 * 32-bits, even on 64-bit archs with 64-bit longs
30 */
31 todo = sizeof(r);
32 if (todo > len)
33 todo = len;
34
35 memcpy(p, &r, todo);
36
37 len -= todo;
38 p += todo;
39 }
40}
41
90059d65
JA
42static void fill_pattern(struct thread_data *td, void *p, unsigned int len)
43{
44 switch (td->o.verify_pattern_bytes) {
45 case 0:
46 fill_random_bytes(td, p, len);
47 break;
48 case 1:
49 memset(p, td->o.verify_pattern, len);
50 break;
51 case 2:
52 case 3:
53 case 4: {
54 unsigned int pattern = td->o.verify_pattern;
55 unsigned int i = 0;
56 unsigned char c1, c2, c3, c4;
57 unsigned char *b = p;
58
59 c1 = pattern & 0xff;
60 pattern >>= 8;
61 c2 = pattern & 0xff;
62 pattern >>= 8;
63 c3 = pattern & 0xff;
64 pattern >>= 8;
65 c4 = pattern & 0xff;
66
67 while (i < len) {
68 b[i++] = c1;
69 if (i == len)
70 break;
71 b[i++] = c2;
72 if (td->o.verify_pattern_bytes == 2 || i == len)
73 continue;
74 b[i++] = c3;
75 if (td->o.verify_pattern_bytes == 3 || i == len)
76 continue;
77 b[i++] = c4;
78 }
79 break;
80 }
81 }
82}
83
84static void memswp(void* buf1, void* buf2, unsigned int len)
546a9142 85{
dee6de74
SL
86 char swap[200];
87
88 assert(len <= sizeof(swap));
90059d65 89
546a9142
SL
90 memcpy(&swap, buf1, len);
91 memcpy(buf1, buf2, len);
92 memcpy(buf2, &swap, len);
93}
94
e29d1b70
JA
95static void hexdump(void *buffer, int len)
96{
97 unsigned char *p = buffer;
98 int i;
99
100 for (i = 0; i < len; i++)
6d86144d
JA
101 log_info("%02x", p[i]);
102 log_info("\n");
e29d1b70
JA
103}
104
87677832
JA
105/*
106 * Prepare for seperation of verify_header and checksum header
107 */
546dfd9f 108static inline unsigned int __hdr_size(int verify_type)
87677832 109{
546dfd9f 110 unsigned int len;
87677832 111
546dfd9f
JA
112 switch (verify_type) {
113 case VERIFY_NONE:
114 case VERIFY_NULL:
115 len = 0;
116 break;
117 case VERIFY_MD5:
118 len = sizeof(struct vhdr_md5);
119 break;
120 case VERIFY_CRC64:
121 len = sizeof(struct vhdr_crc64);
122 break;
123 case VERIFY_CRC32:
124 len = sizeof(struct vhdr_crc32);
125 break;
126 case VERIFY_CRC16:
127 len = sizeof(struct vhdr_crc16);
128 break;
129 case VERIFY_CRC7:
130 len = sizeof(struct vhdr_crc7);
131 break;
132 case VERIFY_SHA256:
133 len = sizeof(struct vhdr_sha256);
134 break;
135 case VERIFY_SHA512:
136 len = sizeof(struct vhdr_sha512);
137 break;
7437ee87
SL
138 case VERIFY_META:
139 len = sizeof(struct vhdr_meta);
140 break;
546dfd9f
JA
141 default:
142 log_err("fio: unknown verify header!\n");
143 assert(0);
144 }
145
146 return len + sizeof(struct verify_header);
87677832
JA
147}
148
149static inline unsigned int hdr_size(struct verify_header *hdr)
150{
546dfd9f
JA
151 return __hdr_size(hdr->verify_type);
152}
153
154static void *hdr_priv(struct verify_header *hdr)
155{
156 void *priv = hdr;
157
158 return priv + sizeof(struct verify_header);
87677832
JA
159}
160
d9f2caf3
JA
161/*
162 * Return data area 'header_num'
163 */
164static inline void *io_u_verify_off(struct verify_header *hdr,
165 struct io_u *io_u,
166 unsigned char header_num)
167{
87677832 168 return io_u->buf + header_num * hdr->len + hdr_size(hdr);
d9f2caf3
JA
169}
170
7437ee87
SL
171static int verify_io_u_meta(struct verify_header *hdr, struct thread_data *td,
172 struct io_u *io_u, unsigned int header_num)
173{
174 struct vhdr_meta *vh = hdr_priv(hdr);
175
176 if (vh->offset != io_u->offset + header_num * td->o.verify_interval) {
177 log_err("meta: verify failed at %llu/%u\n",
178 io_u->offset + header_num * hdr->len,
179 hdr->len);
180 return 1;
181 }
182
183 return 0;
184}
185
cd14cc10
JA
186static int verify_io_u_sha512(struct verify_header *hdr, struct io_u *io_u,
187 unsigned int header_num)
188{
189 void *p = io_u_verify_off(hdr, io_u, header_num);
546dfd9f 190 struct vhdr_sha512 *vh = hdr_priv(hdr);
cd14cc10
JA
191 uint8_t sha512[128];
192 struct sha512_ctx sha512_ctx = {
193 .buf = sha512,
194 };
195
196 sha512_init(&sha512_ctx);
87677832 197 sha512_update(&sha512_ctx, p, hdr->len - hdr_size(hdr));
cd14cc10 198
546dfd9f 199 if (memcmp(vh->sha512, sha512_ctx.buf, sizeof(sha512))) {
cd14cc10
JA
200 log_err("sha512: verify failed at %llu/%u\n",
201 io_u->offset + header_num * hdr->len,
202 hdr->len);
546dfd9f 203 hexdump(vh->sha512, sizeof(vh->sha512));
cd14cc10
JA
204 hexdump(sha512_ctx.buf, sizeof(sha512));
205 return 1;
206 }
207
208 return 0;
209}
210
211static int verify_io_u_sha256(struct verify_header *hdr, struct io_u *io_u,
212 unsigned int header_num)
213{
214 void *p = io_u_verify_off(hdr, io_u, header_num);
546dfd9f 215 struct vhdr_sha256 *vh = hdr_priv(hdr);
cd14cc10
JA
216 uint8_t sha256[128];
217 struct sha256_ctx sha256_ctx = {
218 .buf = sha256,
219 };
220
221 sha256_init(&sha256_ctx);
87677832 222 sha256_update(&sha256_ctx, p, hdr->len - hdr_size(hdr));
cd14cc10 223
546dfd9f 224 if (memcmp(vh->sha256, sha256_ctx.buf, sizeof(sha256))) {
cd14cc10
JA
225 log_err("sha256: verify failed at %llu/%u\n",
226 io_u->offset + header_num * hdr->len,
227 hdr->len);
546dfd9f 228 hexdump(vh->sha256, sizeof(vh->sha256));
cd14cc10
JA
229 hexdump(sha256_ctx.buf, sizeof(sha256));
230 return 1;
231 }
232
233 return 0;
234}
235
3f9f4e26
SL
236static int verify_io_u_crc7(struct verify_header *hdr, struct io_u *io_u,
237 unsigned char header_num)
1e154bdb 238{
d9f2caf3 239 void *p = io_u_verify_off(hdr, io_u, header_num);
546dfd9f 240 struct vhdr_crc7 *vh = hdr_priv(hdr);
1e154bdb
JA
241 unsigned char c;
242
87677832 243 c = crc7(p, hdr->len - hdr_size(hdr));
1e154bdb 244
546dfd9f 245 if (c != vh->crc7) {
3f9f4e26
SL
246 log_err("crc7: verify failed at %llu/%u\n",
247 io_u->offset + header_num * hdr->len,
248 hdr->len);
546dfd9f 249 log_err("crc7: wanted %x, got %x\n", vh->crc7, c);
1e154bdb
JA
250 return 1;
251 }
252
253 return 0;
254}
255
3f9f4e26
SL
256static int verify_io_u_crc16(struct verify_header *hdr, struct io_u *io_u,
257 unsigned int header_num)
969f7ed3 258{
d9f2caf3 259 void *p = io_u_verify_off(hdr, io_u, header_num);
546dfd9f 260 struct vhdr_crc16 *vh = hdr_priv(hdr);
969f7ed3
JA
261 unsigned short c;
262
87677832 263 c = crc16(p, hdr->len - hdr_size(hdr));
969f7ed3 264
546dfd9f 265 if (c != vh->crc16) {
3f9f4e26
SL
266 log_err("crc16: verify failed at %llu/%u\n",
267 io_u->offset + header_num * hdr->len,
268 hdr->len);
546dfd9f 269 log_err("crc16: wanted %x, got %x\n", vh->crc16, c);
969f7ed3
JA
270 return 1;
271 }
272
273 return 0;
274}
275
3f9f4e26
SL
276static int verify_io_u_crc64(struct verify_header *hdr, struct io_u *io_u,
277 unsigned int header_num)
d77a7af3 278{
d9f2caf3 279 void *p = io_u_verify_off(hdr, io_u, header_num);
546dfd9f 280 struct vhdr_crc64 *vh = hdr_priv(hdr);
d77a7af3
JA
281 unsigned long long c;
282
87677832 283 c = crc64(p, hdr->len - hdr_size(hdr));
d77a7af3 284
546dfd9f 285 if (c != vh->crc64) {
3f9f4e26
SL
286 log_err("crc64: verify failed at %llu/%u\n",
287 io_u->offset + header_num * hdr->len,
288 hdr->len);
546dfd9f 289 log_err("crc64: wanted %llx, got %llx\n", (unsigned long long) vh->crc64, c);
d77a7af3
JA
290 return 1;
291 }
292
293 return 0;
294}
295
3f9f4e26
SL
296static int verify_io_u_crc32(struct verify_header *hdr, struct io_u *io_u,
297 unsigned int header_num)
e29d1b70 298{
d9f2caf3 299 void *p = io_u_verify_off(hdr, io_u, header_num);
546dfd9f
JA
300 struct vhdr_crc32 *vh = hdr_priv(hdr);
301 uint32_t c;
e29d1b70 302
87677832 303 c = crc32(p, hdr->len - hdr_size(hdr));
e29d1b70 304
546dfd9f 305 if (c != vh->crc32) {
3f9f4e26
SL
306 log_err("crc32: verify failed at %llu/%u\n",
307 io_u->offset + header_num * hdr->len,
308 hdr->len);
546dfd9f 309 log_err("crc32: wanted %x, got %x\n", vh->crc32, c);
e29d1b70
JA
310 return 1;
311 }
312
313 return 0;
314}
315
3f9f4e26
SL
316static int verify_io_u_md5(struct verify_header *hdr, struct io_u *io_u,
317 unsigned int header_num)
e29d1b70 318{
d9f2caf3 319 void *p = io_u_verify_off(hdr, io_u, header_num);
546dfd9f 320 struct vhdr_md5 *vh = hdr_priv(hdr);
8c432325
JA
321 uint32_t hash[MD5_HASH_WORDS];
322 struct md5_ctx md5_ctx = {
323 .hash = hash,
324 };
e29d1b70 325
61f821f1 326 md5_init(&md5_ctx);
87677832 327 md5_update(&md5_ctx, p, hdr->len - hdr_size(hdr));
e29d1b70 328
546dfd9f 329 if (memcmp(vh->md5_digest, md5_ctx.hash, sizeof(hash))) {
3f9f4e26
SL
330 log_err("md5: verify failed at %llu/%u\n",
331 io_u->offset + header_num * hdr->len,
332 hdr->len);
546dfd9f 333 hexdump(vh->md5_digest, sizeof(vh->md5_digest));
8c432325 334 hexdump(md5_ctx.hash, sizeof(hash));
e29d1b70
JA
335 return 1;
336 }
337
338 return 0;
339}
340
3f199b01
JA
341static unsigned int hweight8(unsigned int w)
342{
343 unsigned int res = w - ((w >> 1) & 0x55);
344
345 res = (res & 0x33) + ((res >> 2) & 0x33);
346 return (res + (res >> 4)) & 0x0F;
347}
348
a944e335
SL
349int verify_io_u_pattern(unsigned long pattern, unsigned long pattern_size,
350 char* buf, unsigned int len, unsigned int mod)
351{
352 unsigned int i;
353 char split_pattern[4];
354
355 for (i = 0; i < 4; i++) {
356 split_pattern[i] = pattern & 0xff;
357 pattern >>= 8;
358 }
359
360 for (i = 0; i < len; i++) {
3f199b01
JA
361 if (buf[i] != split_pattern[mod]) {
362 unsigned int bits;
363
364 bits = hweight8(buf[i] ^ split_pattern[mod]);
365 log_err("fio: got pattern %x, wanted %x. Bad bits %d\n",
366 buf[i], split_pattern[mod], bits);
367 log_err("fio: bad pattern block offset %u\n", i);
a944e335 368 return 1;
3f199b01 369 }
a944e335
SL
370 mod++;
371 if (mod == pattern_size)
372 mod = 0;
373 }
374
375 return 0;
376}
377
36690c9b 378int verify_io_u(struct thread_data *td, struct io_u *io_u)
e29d1b70 379{
3f9f4e26 380 struct verify_header *hdr;
a944e335 381 unsigned int hdr_size, hdr_inc, hdr_num = 0;
95646108 382 void *p;
e29d1b70
JA
383 int ret;
384
1dcc0498 385 if (td->o.verify == VERIFY_NULL || io_u->ddir != DDIR_READ)
36690c9b
JA
386 return 0;
387
3f9f4e26 388 hdr_inc = io_u->buflen;
a59e170d
JA
389 if (td->o.verify_interval)
390 hdr_inc = td->o.verify_interval;
e29d1b70 391
a12a3b4d 392 ret = 0;
3f199b01 393 for (p = io_u->buf; p < io_u->buf + io_u->buflen; p += hdr_inc, hdr_num++) {
a12a3b4d
JA
394 if (ret && td->o.verify_fatal) {
395 td->terminate = 1;
396 break;
397 }
a944e335 398 hdr_size = __hdr_size(td->o.verify);
a59e170d 399 if (td->o.verify_offset)
a944e335 400 memswp(p, p + td->o.verify_offset, hdr_size);
95646108 401 hdr = p;
e29d1b70 402
3f199b01
JA
403 if (hdr->fio_magic != FIO_HDR_MAGIC) {
404 log_err("Bad verify header %x\n", hdr->fio_magic);
405 return EIO;
406 }
407
a944e335
SL
408 if (td->o.verify_pattern_bytes) {
409 ret = verify_io_u_pattern(td->o.verify_pattern,
410 td->o.verify_pattern_bytes,
411 p + hdr_size,
412 hdr_inc - hdr_size,
413 hdr_size % 4);
3f199b01
JA
414 if (ret)
415 log_err("fio: verify failed at %llu/%u\n",
a944e335 416 io_u->offset + hdr_num * hdr->len,
3f199b01
JA
417 hdr->len);
418 continue;
3f9f4e26
SL
419 }
420
421 switch (hdr->verify_type) {
422 case VERIFY_MD5:
423 ret = verify_io_u_md5(hdr, io_u, hdr_num);
424 break;
425 case VERIFY_CRC64:
426 ret = verify_io_u_crc64(hdr, io_u, hdr_num);
427 break;
428 case VERIFY_CRC32:
429 ret = verify_io_u_crc32(hdr, io_u, hdr_num);
430 break;
431 case VERIFY_CRC16:
432 ret = verify_io_u_crc16(hdr, io_u, hdr_num);
433 break;
434 case VERIFY_CRC7:
435 ret = verify_io_u_crc7(hdr, io_u, hdr_num);
436 break;
cd14cc10
JA
437 case VERIFY_SHA256:
438 ret = verify_io_u_sha256(hdr, io_u, hdr_num);
439 break;
440 case VERIFY_SHA512:
441 ret = verify_io_u_sha512(hdr, io_u, hdr_num);
442 break;
7437ee87
SL
443 case VERIFY_META:
444 ret = verify_io_u_meta(hdr, td, io_u, hdr_num);
445 break;
3f9f4e26
SL
446 default:
447 log_err("Bad verify type %u\n", hdr->verify_type);
448 ret = 1;
449 }
3f9f4e26 450 }
a7dfe862 451
a12a3b4d 452 return ret;
e29d1b70
JA
453}
454
7437ee87
SL
455static void fill_meta(struct verify_header *hdr, struct thread_data *td,
456 struct io_u *io_u, unsigned int header_num)
457{
458 struct vhdr_meta *vh = hdr_priv(hdr);
459
460 vh->thread = td->thread_number;
461
462 vh->time_sec = io_u->start_time.tv_sec;
463 vh->time_usec = io_u->start_time.tv_usec;
464
465 vh->numberio = td->io_issues[DDIR_WRITE];
466
467 vh->offset = io_u->offset + header_num * td->o.verify_interval;
468}
469
cd14cc10
JA
470static void fill_sha512(struct verify_header *hdr, void *p, unsigned int len)
471{
546dfd9f 472 struct vhdr_sha512 *vh = hdr_priv(hdr);
cd14cc10 473 struct sha512_ctx sha512_ctx = {
546dfd9f 474 .buf = vh->sha512,
cd14cc10
JA
475 };
476
477 sha512_init(&sha512_ctx);
478 sha512_update(&sha512_ctx, p, len);
479}
480
481static void fill_sha256(struct verify_header *hdr, void *p, unsigned int len)
482{
546dfd9f 483 struct vhdr_sha256 *vh = hdr_priv(hdr);
cd14cc10 484 struct sha256_ctx sha256_ctx = {
546dfd9f 485 .buf = vh->sha256,
cd14cc10
JA
486 };
487
488 sha256_init(&sha256_ctx);
489 sha256_update(&sha256_ctx, p, len);
490}
491
1e154bdb
JA
492static void fill_crc7(struct verify_header *hdr, void *p, unsigned int len)
493{
546dfd9f
JA
494 struct vhdr_crc7 *vh = hdr_priv(hdr);
495
496 vh->crc7 = crc7(p, len);
1e154bdb
JA
497}
498
969f7ed3
JA
499static void fill_crc16(struct verify_header *hdr, void *p, unsigned int len)
500{
546dfd9f
JA
501 struct vhdr_crc16 *vh = hdr_priv(hdr);
502
503 vh->crc16 = crc16(p, len);
969f7ed3
JA
504}
505
e29d1b70
JA
506static void fill_crc32(struct verify_header *hdr, void *p, unsigned int len)
507{
546dfd9f
JA
508 struct vhdr_crc32 *vh = hdr_priv(hdr);
509
510 vh->crc32 = crc32(p, len);
e29d1b70
JA
511}
512
d77a7af3
JA
513static void fill_crc64(struct verify_header *hdr, void *p, unsigned int len)
514{
546dfd9f
JA
515 struct vhdr_crc64 *vh = hdr_priv(hdr);
516
517 vh->crc64 = crc64(p, len);
d77a7af3
JA
518}
519
e29d1b70
JA
520static void fill_md5(struct verify_header *hdr, void *p, unsigned int len)
521{
546dfd9f 522 struct vhdr_md5 *vh = hdr_priv(hdr);
8c432325 523 struct md5_ctx md5_ctx = {
546dfd9f 524 .hash = (uint32_t *) vh->md5_digest,
8c432325 525 };
e29d1b70 526
61f821f1 527 md5_init(&md5_ctx);
e29d1b70 528 md5_update(&md5_ctx, p, len);
e29d1b70
JA
529}
530
531/*
532 * fill body of io_u->buf with random data and add a header with the
533 * crc32 or md5 sum of that data.
534 */
535void populate_verify_io_u(struct thread_data *td, struct io_u *io_u)
536{
baefa9be 537 struct verify_header *hdr;
95646108 538 void *p = io_u->buf, *data;
7437ee87 539 unsigned int hdr_inc, data_len, header_num = 0;
e29d1b70 540
9cc3d150
JA
541 if (td->o.verify == VERIFY_NULL)
542 return;
543
90059d65 544 fill_pattern(td, p, io_u->buflen);
546a9142
SL
545
546 hdr_inc = io_u->buflen;
a59e170d
JA
547 if (td->o.verify_interval)
548 hdr_inc = td->o.verify_interval;
baefa9be 549
95646108
JA
550 for (;p < io_u->buf + io_u->buflen; p += hdr_inc) {
551 hdr = p;
3f9f4e26
SL
552
553 hdr->fio_magic = FIO_HDR_MAGIC;
554 hdr->verify_type = td->o.verify;
546a9142 555 hdr->len = hdr_inc;
87677832 556 data_len = hdr_inc - hdr_size(hdr);
3f9f4e26 557
87677832 558 data = p + hdr_size(hdr);
3f9f4e26
SL
559 switch (td->o.verify) {
560 case VERIFY_MD5:
561 fill_md5(hdr, data, data_len);
562 break;
563 case VERIFY_CRC64:
564 fill_crc64(hdr, data, data_len);
565 break;
566 case VERIFY_CRC32:
567 fill_crc32(hdr, data, data_len);
568 break;
569 case VERIFY_CRC16:
570 fill_crc16(hdr, data, data_len);
571 break;
572 case VERIFY_CRC7:
573 fill_crc7(hdr, data, data_len);
574 break;
cd14cc10
JA
575 case VERIFY_SHA256:
576 fill_sha256(hdr, data, data_len);
577 break;
578 case VERIFY_SHA512:
579 fill_sha512(hdr, data, data_len);
580 break;
7437ee87
SL
581 case VERIFY_META:
582 fill_meta(hdr, td, io_u, header_num);
583 break;
3f9f4e26
SL
584 default:
585 log_err("fio: bad verify type: %d\n", td->o.verify);
586 assert(0);
587 }
a59e170d 588 if (td->o.verify_offset)
87677832 589 memswp(p, p + td->o.verify_offset, hdr_size(hdr));
7437ee87 590 header_num++;
e29d1b70 591 }
e29d1b70
JA
592}
593
594int get_next_verify(struct thread_data *td, struct io_u *io_u)
595{
8de8f047 596 struct io_piece *ipo = NULL;
e29d1b70 597
d2d7fa53
JA
598 /*
599 * this io_u is from a requeue, we already filled the offsets
600 */
601 if (io_u->file)
602 return 0;
603
8de8f047
JA
604 if (!RB_EMPTY_ROOT(&td->io_hist_tree)) {
605 struct rb_node *n = rb_first(&td->io_hist_tree);
e29d1b70 606
8de8f047 607 ipo = rb_entry(n, struct io_piece, rb_node);
4b87898e 608 rb_erase(n, &td->io_hist_tree);
8de8f047
JA
609 } else if (!list_empty(&td->io_hist_list)) {
610 ipo = list_entry(td->io_hist_list.next, struct io_piece, list);
611 list_del(&ipo->list);
612 }
e29d1b70 613
8de8f047 614 if (ipo) {
e29d1b70
JA
615 io_u->offset = ipo->offset;
616 io_u->buflen = ipo->len;
36167d82 617 io_u->file = ipo->file;
97af62ce
JA
618
619 if ((io_u->file->flags & FIO_FILE_OPEN) == 0) {
620 int r = td_io_open_file(td, io_u->file);
621
622 if (r)
623 return 1;
624 }
625
626 get_file(ipo->file);
627 assert(io_u->file->flags & FIO_FILE_OPEN);
e29d1b70 628 io_u->ddir = DDIR_READ;
36167d82
JA
629 io_u->xfer_buf = io_u->buf;
630 io_u->xfer_buflen = io_u->buflen;
e29d1b70
JA
631 free(ipo);
632 return 0;
633 }
634
635 return 1;
636}