Fix // comment
[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>
e8462bd8 8#include <pthread.h>
79402a12 9#include <libgen.h>
e29d1b70
JA
10
11#include "fio.h"
4f5af7b2 12#include "verify.h"
e8462bd8 13#include "smalloc.h"
0d29de83 14#include "trim.h"
637ef8d9 15#include "lib/rand.h"
e29d1b70 16
eef6eea1
JA
17#include "crc/md5.h"
18#include "crc/crc64.h"
19#include "crc/crc32.h"
bac39e0e 20#include "crc/crc32c.h"
eef6eea1
JA
21#include "crc/crc16.h"
22#include "crc/crc7.h"
23#include "crc/sha256.h"
24#include "crc/sha512.h"
7c353ceb 25#include "crc/sha1.h"
cd14cc10 26
7d9fb455
JA
27static void populate_hdr(struct thread_data *td, struct io_u *io_u,
28 struct verify_header *hdr, unsigned int header_num,
29 unsigned int header_len);
30
31void fill_pattern(struct thread_data *td, void *p, unsigned int len, struct io_u *io_u, unsigned long seed, int use_seed)
90059d65
JA
32{
33 switch (td->o.verify_pattern_bytes) {
34 case 0:
bd6f78b2 35 dprint(FD_VERIFY, "fill random bytes len=%u\n", len);
7d9fb455
JA
36 if (use_seed)
37 __fill_random_buf(p, len, seed);
38 else
3545a109 39 io_u->rand_seed = fill_random_buf(&td->buf_state, p, len);
90059d65
JA
40 break;
41 case 1:
10e8a7b3 42 if (io_u->buf_filled_len >= len) {
cbe8d756
RR
43 dprint(FD_VERIFY, "using already filled verify pattern b=0 len=%u\n", len);
44 return;
45 }
bd6f78b2 46 dprint(FD_VERIFY, "fill verify pattern b=0 len=%u\n", len);
0e92f873 47 memset(p, td->o.verify_pattern[0], len);
cbe8d756 48 io_u->buf_filled_len = len;
90059d65 49 break;
0e92f873
RR
50 default: {
51 unsigned int i = 0, size = 0;
90059d65
JA
52 unsigned char *b = p;
53
10e8a7b3 54 if (io_u->buf_filled_len >= len) {
cbe8d756
RR
55 dprint(FD_VERIFY, "using already filled verify pattern b=%d len=%u\n",
56 td->o.verify_pattern_bytes, len);
57 return;
58 }
81f0366c 59
bd6f78b2
JA
60 dprint(FD_VERIFY, "fill verify pattern b=%d len=%u\n",
61 td->o.verify_pattern_bytes, len);
62
90059d65 63 while (i < len) {
0e92f873
RR
64 size = td->o.verify_pattern_bytes;
65 if (size > (len - i))
66 size = len - i;
67 memcpy(b+i, td->o.verify_pattern, size);
68 i += size;
90059d65 69 }
cbe8d756 70 io_u->buf_filled_len = len;
90059d65
JA
71 break;
72 }
73 }
74}
75
cfbcd0dc
JA
76static unsigned int get_hdr_inc(struct thread_data *td, struct io_u *io_u)
77{
78 unsigned int hdr_inc;
79
80 hdr_inc = io_u->buflen;
81 if (td->o.verify_interval)
82 hdr_inc = td->o.verify_interval;
83
84 return hdr_inc;
85}
86
c50ca7bd
JA
87static void fill_pattern_headers(struct thread_data *td, struct io_u *io_u,
88 unsigned long seed, int use_seed)
89{
90 unsigned int hdr_inc, header_num;
91 struct verify_header *hdr;
92 void *p = io_u->buf;
93
94 fill_pattern(td, p, io_u->buflen, io_u, seed, use_seed);
95
cfbcd0dc 96 hdr_inc = get_hdr_inc(td, io_u);
c50ca7bd
JA
97 header_num = 0;
98 for (; p < io_u->buf + io_u->buflen; p += hdr_inc) {
99 hdr = p;
100 populate_hdr(td, io_u, hdr, header_num, hdr_inc);
101 header_num++;
102 }
103}
104
4764aec9 105static void memswp(void *buf1, void *buf2, unsigned int len)
546a9142 106{
dee6de74
SL
107 char swap[200];
108
109 assert(len <= sizeof(swap));
90059d65 110
546a9142
SL
111 memcpy(&swap, buf1, len);
112 memcpy(buf1, buf2, len);
113 memcpy(buf2, &swap, len);
114}
115
e29d1b70
JA
116static void hexdump(void *buffer, int len)
117{
118 unsigned char *p = buffer;
119 int i;
120
121 for (i = 0; i < len; i++)
bfacf389
JA
122 log_err("%02x", p[i]);
123 log_err("\n");
e29d1b70
JA
124}
125
87677832
JA
126/*
127 * Prepare for seperation of verify_header and checksum header
128 */
546dfd9f 129static inline unsigned int __hdr_size(int verify_type)
87677832 130{
03e20d68 131 unsigned int len = 0;
87677832 132
546dfd9f
JA
133 switch (verify_type) {
134 case VERIFY_NONE:
135 case VERIFY_NULL:
136 len = 0;
137 break;
138 case VERIFY_MD5:
139 len = sizeof(struct vhdr_md5);
140 break;
141 case VERIFY_CRC64:
142 len = sizeof(struct vhdr_crc64);
143 break;
bac39e0e 144 case VERIFY_CRC32C:
546dfd9f 145 case VERIFY_CRC32:
3845591f 146 case VERIFY_CRC32C_INTEL:
546dfd9f
JA
147 len = sizeof(struct vhdr_crc32);
148 break;
149 case VERIFY_CRC16:
150 len = sizeof(struct vhdr_crc16);
151 break;
152 case VERIFY_CRC7:
153 len = sizeof(struct vhdr_crc7);
154 break;
155 case VERIFY_SHA256:
156 len = sizeof(struct vhdr_sha256);
157 break;
158 case VERIFY_SHA512:
159 len = sizeof(struct vhdr_sha512);
160 break;
7437ee87
SL
161 case VERIFY_META:
162 len = sizeof(struct vhdr_meta);
163 break;
7c353ceb
JA
164 case VERIFY_SHA1:
165 len = sizeof(struct vhdr_sha1);
166 break;
92bf48d5
JA
167 case VERIFY_PATTERN:
168 len = 0;
169 break;
546dfd9f
JA
170 default:
171 log_err("fio: unknown verify header!\n");
172 assert(0);
173 }
174
175 return len + sizeof(struct verify_header);
87677832
JA
176}
177
178static inline unsigned int hdr_size(struct verify_header *hdr)
179{
546dfd9f
JA
180 return __hdr_size(hdr->verify_type);
181}
182
183static void *hdr_priv(struct verify_header *hdr)
184{
185 void *priv = hdr;
186
187 return priv + sizeof(struct verify_header);
87677832
JA
188}
189
936216f8
JA
190/*
191 * Verify container, pass info to verify handlers and allow them to
192 * pass info back in case of error
193 */
194struct vcont {
195 /*
196 * Input
197 */
198 struct io_u *io_u;
199 unsigned int hdr_num;
7d9fb455 200 struct thread_data *td;
936216f8
JA
201
202 /*
203 * Output, only valid in case of error
204 */
bfacf389
JA
205 const char *name;
206 void *good_crc;
207 void *bad_crc;
936216f8
JA
208 unsigned int crc_len;
209};
210
c50ca7bd
JA
211static void dump_buf(char *buf, unsigned int len, unsigned long long offset,
212 const char *type, struct fio_file *f)
7d9fb455 213{
6f260b31 214 char *ptr, fname[256];
7d9fb455
JA
215 int ret, fd;
216
6f260b31
JA
217 ptr = strdup(f->file_name);
218 strcpy(fname, basename(ptr));
c50ca7bd
JA
219
220 sprintf(fname + strlen(fname), ".%llu.%s", offset, type);
7d9fb455
JA
221
222 fd = open(fname, O_CREAT | O_TRUNC | O_WRONLY, 0644);
223 if (fd < 0) {
224 perror("open verify buf file");
225 return;
226 }
227
228 while (len) {
229 ret = write(fd, buf, len);
230 if (!ret)
231 break;
232 else if (ret < 0) {
233 perror("write verify buf file");
234 break;
235 }
236 len -= ret;
237 buf += ret;
238 }
239
240 close(fd);
c50ca7bd 241 log_err(" %s data dumped as %s\n", type, fname);
6f260b31 242 free(ptr);
7d9fb455
JA
243}
244
c50ca7bd
JA
245/*
246 * Dump the contents of the read block and re-generate the correct data
247 * and dump that too.
248 */
7d9fb455
JA
249static void dump_verify_buffers(struct verify_header *hdr, struct vcont *vc)
250{
251 struct thread_data *td = vc->td;
252 struct io_u *io_u = vc->io_u;
253 unsigned long hdr_offset;
7d9fb455 254 struct io_u dummy;
c50ca7bd 255 void *buf;
7d9fb455 256
0dce9bc9
SL
257 if (!td->o.verify_dump)
258 return;
259
c50ca7bd
JA
260 /*
261 * Dump the contents we just read off disk
262 */
7d9fb455
JA
263 hdr_offset = vc->hdr_num * hdr->len;
264
c50ca7bd
JA
265 dump_buf(io_u->buf + hdr_offset, hdr->len, io_u->offset + hdr_offset,
266 "received", vc->io_u->file);
7d9fb455 267
c50ca7bd
JA
268 /*
269 * Allocate a new buf and re-generate the original data
270 */
271 buf = malloc(io_u->buflen);
7d9fb455 272 dummy = *io_u;
c50ca7bd 273 dummy.buf = buf;
4aae38a6 274 dummy.rand_seed = hdr->rand_seed;
cfbcd0dc 275 dummy.buf_filled_len = 0;
7d9fb455 276
c50ca7bd 277 fill_pattern_headers(td, &dummy, hdr->rand_seed, 1);
7d9fb455 278
c50ca7bd
JA
279 dump_buf(buf + hdr_offset, hdr->len, io_u->offset + hdr_offset,
280 "expected", vc->io_u->file);
7d9fb455
JA
281 free(buf);
282}
283
bfacf389
JA
284static void log_verify_failure(struct verify_header *hdr, struct vcont *vc)
285{
286 unsigned long long offset;
287
288 offset = vc->io_u->offset;
289 offset += vc->hdr_num * hdr->len;
32c17adf
JA
290 log_err("%.8s: verify failed at file %s offset %llu, length %u\n",
291 vc->name, vc->io_u->file->file_name, offset, hdr->len);
bfacf389
JA
292
293 if (vc->good_crc && vc->bad_crc) {
294 log_err(" Expected CRC: ");
295 hexdump(vc->good_crc, vc->crc_len);
296 log_err(" Received CRC: ");
297 hexdump(vc->bad_crc, vc->crc_len);
298 }
7d9fb455
JA
299
300 dump_verify_buffers(hdr, vc);
bfacf389
JA
301}
302
d9f2caf3
JA
303/*
304 * Return data area 'header_num'
305 */
936216f8 306static inline void *io_u_verify_off(struct verify_header *hdr, struct vcont *vc)
d9f2caf3 307{
936216f8 308 return vc->io_u->buf + vc->hdr_num * hdr->len + hdr_size(hdr);
d9f2caf3
JA
309}
310
92bf48d5
JA
311static unsigned int hweight8(unsigned int w)
312{
313 unsigned int res = w - ((w >> 1) & 0x55);
314
315 res = (res & 0x33) + ((res >> 2) & 0x33);
316 return (res + (res >> 4)) & 0x0F;
317}
318
319static int verify_io_u_pattern(struct verify_header *hdr, struct vcont *vc)
320{
321 struct thread_data *td = vc->td;
322 struct io_u *io_u = vc->io_u;
323 char *buf, *pattern;
2b13e716 324 unsigned int header_size = __hdr_size(td->o.verify);
9a2a86d0 325 unsigned int len, mod, i, size, pattern_size;
92bf48d5
JA
326
327 pattern = td->o.verify_pattern;
9a2a86d0
SL
328 pattern_size = td->o.verify_pattern_bytes;
329 if (pattern_size <= 1)
330 pattern_size = MAX_PATTERN_SIZE;
2b13e716
JA
331 buf = (void *) hdr + header_size;
332 len = get_hdr_inc(td, io_u) - header_size;
9a2a86d0
SL
333 mod = header_size % pattern_size;
334
335 for (i = 0; i < len; i += size) {
336 size = pattern_size - mod;
337 if (size > (len - i))
338 size = len - i;
339 if (memcmp(buf + i, pattern + mod, size))
e4ad68b1 340 /* Let the slow compare find the first mismatch byte. */
9a2a86d0
SL
341 break;
342 mod = 0;
343 }
92bf48d5 344
9a2a86d0 345 for (; i < len; i++) {
92bf48d5
JA
346 if (buf[i] != pattern[mod]) {
347 unsigned int bits;
348
349 bits = hweight8(buf[i] ^ pattern[mod]);
350 log_err("fio: got pattern %x, wanted %x. Bad bits %d\n",
351 buf[i], pattern[mod], bits);
352 log_err("fio: bad pattern block offset %u\n", i);
353 dump_verify_buffers(hdr, vc);
354 return EILSEQ;
355 }
356 mod++;
357 if (mod == td->o.verify_pattern_bytes)
358 mod = 0;
359 }
360
361 return 0;
362}
363
364static int verify_io_u_meta(struct verify_header *hdr, struct vcont *vc)
7437ee87 365{
92bf48d5 366 struct thread_data *td = vc->td;
7437ee87 367 struct vhdr_meta *vh = hdr_priv(hdr);
936216f8 368 struct io_u *io_u = vc->io_u;
92bf48d5 369 int ret = EILSEQ;
7437ee87 370
bd6f78b2
JA
371 dprint(FD_VERIFY, "meta verify io_u %p, len %u\n", io_u, hdr->len);
372
bfacf389 373 if (vh->offset == io_u->offset + vc->hdr_num * td->o.verify_interval)
92bf48d5
JA
374 ret = 0;
375
376 if (td->o.verify_pattern_bytes)
377 ret |= verify_io_u_pattern(hdr, vc);
378
379 if (!ret)
bfacf389 380 return 0;
7437ee87 381
bfacf389
JA
382 vc->name = "meta";
383 log_verify_failure(hdr, vc);
92bf48d5 384 return ret;
7437ee87
SL
385}
386
936216f8 387static int verify_io_u_sha512(struct verify_header *hdr, struct vcont *vc)
cd14cc10 388{
936216f8 389 void *p = io_u_verify_off(hdr, vc);
546dfd9f 390 struct vhdr_sha512 *vh = hdr_priv(hdr);
cd14cc10
JA
391 uint8_t sha512[128];
392 struct sha512_ctx sha512_ctx = {
393 .buf = sha512,
394 };
395
936216f8 396 dprint(FD_VERIFY, "sha512 verify io_u %p, len %u\n", vc->io_u, hdr->len);
bd6f78b2 397
cd14cc10 398 sha512_init(&sha512_ctx);
87677832 399 sha512_update(&sha512_ctx, p, hdr->len - hdr_size(hdr));
cd14cc10 400
bfacf389
JA
401 if (!memcmp(vh->sha512, sha512_ctx.buf, sizeof(sha512)))
402 return 0;
cd14cc10 403
bfacf389
JA
404 vc->name = "sha512";
405 vc->good_crc = vh->sha512;
406 vc->bad_crc = sha512_ctx.buf;
407 vc->crc_len = sizeof(vh->sha512);
408 log_verify_failure(hdr, vc);
409 return EILSEQ;
cd14cc10
JA
410}
411
936216f8 412static int verify_io_u_sha256(struct verify_header *hdr, struct vcont *vc)
cd14cc10 413{
936216f8 414 void *p = io_u_verify_off(hdr, vc);
546dfd9f 415 struct vhdr_sha256 *vh = hdr_priv(hdr);
bc77f56f 416 uint8_t sha256[64];
cd14cc10
JA
417 struct sha256_ctx sha256_ctx = {
418 .buf = sha256,
419 };
420
936216f8 421 dprint(FD_VERIFY, "sha256 verify io_u %p, len %u\n", vc->io_u, hdr->len);
bd6f78b2 422
cd14cc10 423 sha256_init(&sha256_ctx);
87677832 424 sha256_update(&sha256_ctx, p, hdr->len - hdr_size(hdr));
cd14cc10 425
bfacf389
JA
426 if (!memcmp(vh->sha256, sha256_ctx.buf, sizeof(sha256)))
427 return 0;
cd14cc10 428
bfacf389
JA
429 vc->name = "sha256";
430 vc->good_crc = vh->sha256;
431 vc->bad_crc = sha256_ctx.buf;
432 vc->crc_len = sizeof(vh->sha256);
433 log_verify_failure(hdr, vc);
434 return EILSEQ;
cd14cc10
JA
435}
436
936216f8 437static int verify_io_u_sha1(struct verify_header *hdr, struct vcont *vc)
7c353ceb 438{
936216f8 439 void *p = io_u_verify_off(hdr, vc);
7c353ceb
JA
440 struct vhdr_sha1 *vh = hdr_priv(hdr);
441 uint32_t sha1[5];
442 struct sha1_ctx sha1_ctx = {
443 .H = sha1,
444 };
445
936216f8 446 dprint(FD_VERIFY, "sha1 verify io_u %p, len %u\n", vc->io_u, hdr->len);
7c353ceb
JA
447
448 sha1_init(&sha1_ctx);
449 sha1_update(&sha1_ctx, p, hdr->len - hdr_size(hdr));
450
bfacf389
JA
451 if (!memcmp(vh->sha1, sha1_ctx.H, sizeof(sha1)))
452 return 0;
7c353ceb 453
bfacf389
JA
454 vc->name = "sha1";
455 vc->good_crc = vh->sha1;
456 vc->bad_crc = sha1_ctx.H;
457 vc->crc_len = sizeof(vh->sha1);
458 log_verify_failure(hdr, vc);
459 return EILSEQ;
7c353ceb
JA
460}
461
936216f8 462static int verify_io_u_crc7(struct verify_header *hdr, struct vcont *vc)
1e154bdb 463{
936216f8 464 void *p = io_u_verify_off(hdr, vc);
546dfd9f 465 struct vhdr_crc7 *vh = hdr_priv(hdr);
1e154bdb
JA
466 unsigned char c;
467
936216f8 468 dprint(FD_VERIFY, "crc7 verify io_u %p, len %u\n", vc->io_u, hdr->len);
bd6f78b2 469
87677832 470 c = crc7(p, hdr->len - hdr_size(hdr));
1e154bdb 471
bfacf389
JA
472 if (c == vh->crc7)
473 return 0;
1e154bdb 474
bfacf389
JA
475 vc->name = "crc7";
476 vc->good_crc = &vh->crc7;
477 vc->bad_crc = &c;
478 vc->crc_len = 1;
479 log_verify_failure(hdr, vc);
480 return EILSEQ;
1e154bdb
JA
481}
482
936216f8 483static int verify_io_u_crc16(struct verify_header *hdr, struct vcont *vc)
969f7ed3 484{
936216f8 485 void *p = io_u_verify_off(hdr, vc);
546dfd9f 486 struct vhdr_crc16 *vh = hdr_priv(hdr);
969f7ed3
JA
487 unsigned short c;
488
936216f8 489 dprint(FD_VERIFY, "crc16 verify io_u %p, len %u\n", vc->io_u, hdr->len);
bd6f78b2 490
87677832 491 c = crc16(p, hdr->len - hdr_size(hdr));
969f7ed3 492
bfacf389
JA
493 if (c == vh->crc16)
494 return 0;
969f7ed3 495
bfacf389
JA
496 vc->name = "crc16";
497 vc->good_crc = &vh->crc16;
498 vc->bad_crc = &c;
499 vc->crc_len = 2;
500 log_verify_failure(hdr, vc);
501 return EILSEQ;
969f7ed3
JA
502}
503
936216f8 504static int verify_io_u_crc64(struct verify_header *hdr, struct vcont *vc)
d77a7af3 505{
936216f8 506 void *p = io_u_verify_off(hdr, vc);
546dfd9f 507 struct vhdr_crc64 *vh = hdr_priv(hdr);
d77a7af3
JA
508 unsigned long long c;
509
936216f8 510 dprint(FD_VERIFY, "crc64 verify io_u %p, len %u\n", vc->io_u, hdr->len);
bd6f78b2 511
87677832 512 c = crc64(p, hdr->len - hdr_size(hdr));
d77a7af3 513
bfacf389
JA
514 if (c == vh->crc64)
515 return 0;
d77a7af3 516
bfacf389
JA
517 vc->name = "crc64";
518 vc->good_crc = &vh->crc64;
519 vc->bad_crc = &c;
520 vc->crc_len = 8;
521 log_verify_failure(hdr, vc);
522 return EILSEQ;
d77a7af3
JA
523}
524
936216f8 525static int verify_io_u_crc32(struct verify_header *hdr, struct vcont *vc)
e29d1b70 526{
936216f8 527 void *p = io_u_verify_off(hdr, vc);
546dfd9f
JA
528 struct vhdr_crc32 *vh = hdr_priv(hdr);
529 uint32_t c;
e29d1b70 530
936216f8 531 dprint(FD_VERIFY, "crc32 verify io_u %p, len %u\n", vc->io_u, hdr->len);
bd6f78b2 532
87677832 533 c = crc32(p, hdr->len - hdr_size(hdr));
e29d1b70 534
bfacf389
JA
535 if (c == vh->crc32)
536 return 0;
e29d1b70 537
bfacf389
JA
538 vc->name = "crc32";
539 vc->good_crc = &vh->crc32;
540 vc->bad_crc = &c;
541 vc->crc_len = 4;
542 log_verify_failure(hdr, vc);
543 return EILSEQ;
e29d1b70
JA
544}
545
936216f8 546static int verify_io_u_crc32c(struct verify_header *hdr, struct vcont *vc)
bac39e0e 547{
936216f8 548 void *p = io_u_verify_off(hdr, vc);
bac39e0e
JA
549 struct vhdr_crc32 *vh = hdr_priv(hdr);
550 uint32_t c;
551
936216f8 552 dprint(FD_VERIFY, "crc32c verify io_u %p, len %u\n", vc->io_u, hdr->len);
bac39e0e 553
e3aaafc4 554 c = crc32c(p, hdr->len - hdr_size(hdr));
bac39e0e 555
bfacf389
JA
556 if (c == vh->crc32)
557 return 0;
bac39e0e 558
bfacf389
JA
559 vc->name = "crc32c";
560 vc->good_crc = &vh->crc32;
561 vc->bad_crc = &c;
562 vc->crc_len = 4;
563 log_verify_failure(hdr, vc);
564 return EILSEQ;
bac39e0e
JA
565}
566
936216f8 567static int verify_io_u_md5(struct verify_header *hdr, struct vcont *vc)
e29d1b70 568{
936216f8 569 void *p = io_u_verify_off(hdr, vc);
546dfd9f 570 struct vhdr_md5 *vh = hdr_priv(hdr);
8c432325
JA
571 uint32_t hash[MD5_HASH_WORDS];
572 struct md5_ctx md5_ctx = {
573 .hash = hash,
574 };
e29d1b70 575
936216f8 576 dprint(FD_VERIFY, "md5 verify io_u %p, len %u\n", vc->io_u, hdr->len);
bd6f78b2 577
61f821f1 578 md5_init(&md5_ctx);
87677832 579 md5_update(&md5_ctx, p, hdr->len - hdr_size(hdr));
e29d1b70 580
bfacf389
JA
581 if (!memcmp(vh->md5_digest, md5_ctx.hash, sizeof(hash)))
582 return 0;
e29d1b70 583
bfacf389
JA
584 vc->name = "md5";
585 vc->good_crc = vh->md5_digest;
586 vc->bad_crc = md5_ctx.hash;
587 vc->crc_len = sizeof(hash);
588 log_verify_failure(hdr, vc);
589 return EILSEQ;
e29d1b70
JA
590}
591
e8462bd8
JA
592/*
593 * Push IO verification to a separate thread
594 */
595int verify_io_u_async(struct thread_data *td, struct io_u *io_u)
596{
597 if (io_u->file)
598 put_file_log(td, io_u->file);
599
e8462bd8 600 pthread_mutex_lock(&td->io_u_lock);
d7ee2a7d 601
0c41214f
RR
602 if (io_u->flags & IO_U_F_IN_CUR_DEPTH) {
603 td->cur_depth--;
604 io_u->flags &= ~IO_U_F_IN_CUR_DEPTH;
605 }
e8462bd8
JA
606 flist_del(&io_u->list);
607 flist_add_tail(&io_u->list, &td->verify_list);
2ecc1b57 608 io_u->flags |= IO_U_F_FREE_DEF;
e8462bd8
JA
609 pthread_mutex_unlock(&td->io_u_lock);
610
611 pthread_cond_signal(&td->verify_cond);
e8462bd8
JA
612 return 0;
613}
614
0d29de83
JA
615static int verify_trimmed_io_u(struct thread_data *td, struct io_u *io_u)
616{
617 static char zero_buf[1024];
618 unsigned int this_len, len;
619 int ret = 0;
620 void *p;
621
622 if (!td->o.trim_zero)
623 return 0;
624
625 len = io_u->buflen;
626 p = io_u->buf;
627 do {
628 this_len = sizeof(zero_buf);
629 if (this_len > len)
630 this_len = len;
631 if (memcmp(p, zero_buf, this_len)) {
632 ret = EILSEQ;
633 break;
634 }
635 len -= this_len;
636 p += this_len;
637 } while (len);
638
639 if (!ret)
640 return 0;
641
a917a8b3
JA
642 log_err("trim: verify failed at file %s offset %llu, length %lu"
643 ", block offset %lu\n",
644 io_u->file->file_name, io_u->offset, io_u->buflen,
2f68124f 645 (unsigned long) (p - io_u->buf));
0d29de83
JA
646 return ret;
647}
648
f65d1c26
JA
649static int verify_hdr_crc(struct verify_header *hdr)
650{
651 void *p = hdr;
652 uint32_t crc;
653
a3e87103 654 crc = crc32c(p, sizeof(*hdr) - sizeof(hdr->crc32));
f65d1c26
JA
655 if (crc == hdr->crc32)
656 return 1;
657
658 log_err("fio: verify header crc %x, calculated %x\n", hdr->crc32, crc);
659 return 0;
660}
661
36690c9b 662int verify_io_u(struct thread_data *td, struct io_u *io_u)
e29d1b70 663{
3f9f4e26 664 struct verify_header *hdr;
2b13e716 665 unsigned int header_size, hdr_inc, hdr_num = 0;
95646108 666 void *p;
e29d1b70
JA
667 int ret;
668
1dcc0498 669 if (td->o.verify == VERIFY_NULL || io_u->ddir != DDIR_READ)
36690c9b 670 return 0;
0d29de83
JA
671 if (io_u->flags & IO_U_F_TRIMMED) {
672 ret = verify_trimmed_io_u(td, io_u);
673 goto done;
674 }
36690c9b 675
cfbcd0dc 676 hdr_inc = get_hdr_inc(td, io_u);
e29d1b70 677
a12a3b4d 678 ret = 0;
5ec10eaa
JA
679 for (p = io_u->buf; p < io_u->buf + io_u->buflen;
680 p += hdr_inc, hdr_num++) {
bfacf389
JA
681 struct vcont vc = {
682 .io_u = io_u,
683 .hdr_num = hdr_num,
7d9fb455 684 .td = td,
bfacf389 685 };
936216f8 686
f3e6cb95 687 if (ret && td->o.verify_fatal)
a12a3b4d 688 break;
f3e6cb95 689
2b13e716 690 header_size = __hdr_size(td->o.verify);
a59e170d 691 if (td->o.verify_offset)
2b13e716 692 memswp(p, p + td->o.verify_offset, header_size);
95646108 693 hdr = p;
e29d1b70 694
d3a173a9 695 if (hdr->magic != FIO_HDR_MAGIC || !verify_hdr_crc(hdr)) {
c9b44031 696 log_err("verify: bad magic header %x, wanted %x at file %s offset %llu, length %u\n",
d3a173a9 697 hdr->magic, FIO_HDR_MAGIC,
c9b44031
JA
698 io_u->file->file_name,
699 io_u->offset + hdr_num * hdr->len, hdr->len);
9fd18969 700 return EILSEQ;
3f199b01
JA
701 }
702
3f9f4e26
SL
703 switch (hdr->verify_type) {
704 case VERIFY_MD5:
936216f8 705 ret = verify_io_u_md5(hdr, &vc);
3f9f4e26
SL
706 break;
707 case VERIFY_CRC64:
936216f8 708 ret = verify_io_u_crc64(hdr, &vc);
3f9f4e26 709 break;
bac39e0e 710 case VERIFY_CRC32C:
3845591f 711 case VERIFY_CRC32C_INTEL:
936216f8 712 ret = verify_io_u_crc32c(hdr, &vc);
bac39e0e 713 break;
3f9f4e26 714 case VERIFY_CRC32:
936216f8 715 ret = verify_io_u_crc32(hdr, &vc);
3f9f4e26
SL
716 break;
717 case VERIFY_CRC16:
936216f8 718 ret = verify_io_u_crc16(hdr, &vc);
3f9f4e26
SL
719 break;
720 case VERIFY_CRC7:
936216f8 721 ret = verify_io_u_crc7(hdr, &vc);
3f9f4e26 722 break;
cd14cc10 723 case VERIFY_SHA256:
936216f8 724 ret = verify_io_u_sha256(hdr, &vc);
cd14cc10
JA
725 break;
726 case VERIFY_SHA512:
936216f8 727 ret = verify_io_u_sha512(hdr, &vc);
cd14cc10 728 break;
7437ee87 729 case VERIFY_META:
92bf48d5 730 ret = verify_io_u_meta(hdr, &vc);
7437ee87 731 break;
7c353ceb 732 case VERIFY_SHA1:
936216f8 733 ret = verify_io_u_sha1(hdr, &vc);
7c353ceb 734 break;
92bf48d5
JA
735 case VERIFY_PATTERN:
736 ret = verify_io_u_pattern(hdr, &vc);
737 break;
3f9f4e26
SL
738 default:
739 log_err("Bad verify type %u\n", hdr->verify_type);
d16d4e09 740 ret = EINVAL;
3f9f4e26 741 }
3f9f4e26 742 }
a7dfe862 743
0d29de83 744done:
f3e6cb95
JA
745 if (ret && td->o.verify_fatal)
746 td->terminate = 1;
747
a12a3b4d 748 return ret;
e29d1b70
JA
749}
750
7437ee87 751static void fill_meta(struct verify_header *hdr, struct thread_data *td,
5ec10eaa 752 struct io_u *io_u, unsigned int header_num)
7437ee87
SL
753{
754 struct vhdr_meta *vh = hdr_priv(hdr);
755
756 vh->thread = td->thread_number;
757
758 vh->time_sec = io_u->start_time.tv_sec;
759 vh->time_usec = io_u->start_time.tv_usec;
760
761 vh->numberio = td->io_issues[DDIR_WRITE];
762
763 vh->offset = io_u->offset + header_num * td->o.verify_interval;
764}
765
cd14cc10
JA
766static void fill_sha512(struct verify_header *hdr, void *p, unsigned int len)
767{
546dfd9f 768 struct vhdr_sha512 *vh = hdr_priv(hdr);
cd14cc10 769 struct sha512_ctx sha512_ctx = {
546dfd9f 770 .buf = vh->sha512,
cd14cc10
JA
771 };
772
773 sha512_init(&sha512_ctx);
774 sha512_update(&sha512_ctx, p, len);
775}
776
777static void fill_sha256(struct verify_header *hdr, void *p, unsigned int len)
778{
546dfd9f 779 struct vhdr_sha256 *vh = hdr_priv(hdr);
cd14cc10 780 struct sha256_ctx sha256_ctx = {
546dfd9f 781 .buf = vh->sha256,
cd14cc10
JA
782 };
783
784 sha256_init(&sha256_ctx);
785 sha256_update(&sha256_ctx, p, len);
786}
787
7c353ceb
JA
788static void fill_sha1(struct verify_header *hdr, void *p, unsigned int len)
789{
790 struct vhdr_sha1 *vh = hdr_priv(hdr);
791 struct sha1_ctx sha1_ctx = {
792 .H = vh->sha1,
793 };
794
795 sha1_init(&sha1_ctx);
796 sha1_update(&sha1_ctx, p, len);
797}
798
1e154bdb
JA
799static void fill_crc7(struct verify_header *hdr, void *p, unsigned int len)
800{
546dfd9f
JA
801 struct vhdr_crc7 *vh = hdr_priv(hdr);
802
803 vh->crc7 = crc7(p, len);
1e154bdb
JA
804}
805
969f7ed3
JA
806static void fill_crc16(struct verify_header *hdr, void *p, unsigned int len)
807{
546dfd9f
JA
808 struct vhdr_crc16 *vh = hdr_priv(hdr);
809
810 vh->crc16 = crc16(p, len);
969f7ed3
JA
811}
812
e29d1b70
JA
813static void fill_crc32(struct verify_header *hdr, void *p, unsigned int len)
814{
546dfd9f
JA
815 struct vhdr_crc32 *vh = hdr_priv(hdr);
816
817 vh->crc32 = crc32(p, len);
e29d1b70
JA
818}
819
bac39e0e
JA
820static void fill_crc32c(struct verify_header *hdr, void *p, unsigned int len)
821{
822 struct vhdr_crc32 *vh = hdr_priv(hdr);
823
e3aaafc4 824 vh->crc32 = crc32c(p, len);
bac39e0e
JA
825}
826
d77a7af3
JA
827static void fill_crc64(struct verify_header *hdr, void *p, unsigned int len)
828{
546dfd9f
JA
829 struct vhdr_crc64 *vh = hdr_priv(hdr);
830
831 vh->crc64 = crc64(p, len);
d77a7af3
JA
832}
833
e29d1b70
JA
834static void fill_md5(struct verify_header *hdr, void *p, unsigned int len)
835{
546dfd9f 836 struct vhdr_md5 *vh = hdr_priv(hdr);
8c432325 837 struct md5_ctx md5_ctx = {
546dfd9f 838 .hash = (uint32_t *) vh->md5_digest,
8c432325 839 };
e29d1b70 840
61f821f1 841 md5_init(&md5_ctx);
e29d1b70 842 md5_update(&md5_ctx, p, len);
e29d1b70
JA
843}
844
7d9fb455
JA
845static void populate_hdr(struct thread_data *td, struct io_u *io_u,
846 struct verify_header *hdr, unsigned int header_num,
847 unsigned int header_len)
848{
849 unsigned int data_len;
850 void *data, *p;
851
852 p = (void *) hdr;
853
d3a173a9 854 hdr->magic = FIO_HDR_MAGIC;
7d9fb455 855 hdr->verify_type = td->o.verify;
d3a173a9 856 hdr->len = header_len;
7d9fb455 857 hdr->rand_seed = io_u->rand_seed;
a3e87103 858 hdr->crc32 = crc32c(p, sizeof(*hdr) - sizeof(hdr->crc32));
f65d1c26 859
7d9fb455
JA
860 data_len = header_len - hdr_size(hdr);
861
862 data = p + hdr_size(hdr);
863 switch (td->o.verify) {
864 case VERIFY_MD5:
865 dprint(FD_VERIFY, "fill md5 io_u %p, len %u\n",
866 io_u, hdr->len);
867 fill_md5(hdr, data, data_len);
868 break;
869 case VERIFY_CRC64:
870 dprint(FD_VERIFY, "fill crc64 io_u %p, len %u\n",
871 io_u, hdr->len);
872 fill_crc64(hdr, data, data_len);
873 break;
874 case VERIFY_CRC32C:
875 case VERIFY_CRC32C_INTEL:
876 dprint(FD_VERIFY, "fill crc32c io_u %p, len %u\n",
877 io_u, hdr->len);
878 fill_crc32c(hdr, data, data_len);
879 break;
880 case VERIFY_CRC32:
881 dprint(FD_VERIFY, "fill crc32 io_u %p, len %u\n",
882 io_u, hdr->len);
883 fill_crc32(hdr, data, data_len);
884 break;
885 case VERIFY_CRC16:
886 dprint(FD_VERIFY, "fill crc16 io_u %p, len %u\n",
887 io_u, hdr->len);
888 fill_crc16(hdr, data, data_len);
889 break;
890 case VERIFY_CRC7:
891 dprint(FD_VERIFY, "fill crc7 io_u %p, len %u\n",
892 io_u, hdr->len);
893 fill_crc7(hdr, data, data_len);
894 break;
895 case VERIFY_SHA256:
896 dprint(FD_VERIFY, "fill sha256 io_u %p, len %u\n",
897 io_u, hdr->len);
898 fill_sha256(hdr, data, data_len);
899 break;
900 case VERIFY_SHA512:
901 dprint(FD_VERIFY, "fill sha512 io_u %p, len %u\n",
902 io_u, hdr->len);
903 fill_sha512(hdr, data, data_len);
904 break;
905 case VERIFY_META:
906 dprint(FD_VERIFY, "fill meta io_u %p, len %u\n",
907 io_u, hdr->len);
908 fill_meta(hdr, td, io_u, header_num);
909 break;
910 case VERIFY_SHA1:
911 dprint(FD_VERIFY, "fill sha1 io_u %p, len %u\n",
912 io_u, hdr->len);
913 fill_sha1(hdr, data, data_len);
914 break;
92bf48d5
JA
915 case VERIFY_PATTERN:
916 /* nothing to do here */
917 break;
7d9fb455
JA
918 default:
919 log_err("fio: bad verify type: %d\n", td->o.verify);
920 assert(0);
921 }
922 if (td->o.verify_offset)
923 memswp(p, p + td->o.verify_offset, hdr_size(hdr));
924}
925
e29d1b70
JA
926/*
927 * fill body of io_u->buf with random data and add a header with the
c50ca7bd 928 * checksum of choice
e29d1b70
JA
929 */
930void populate_verify_io_u(struct thread_data *td, struct io_u *io_u)
931{
9cc3d150
JA
932 if (td->o.verify == VERIFY_NULL)
933 return;
934
c50ca7bd 935 fill_pattern_headers(td, io_u, 0, 0);
e29d1b70
JA
936}
937
938int get_next_verify(struct thread_data *td, struct io_u *io_u)
939{
8de8f047 940 struct io_piece *ipo = NULL;
e29d1b70 941
d2d7fa53
JA
942 /*
943 * this io_u is from a requeue, we already filled the offsets
944 */
945 if (io_u->file)
946 return 0;
947
8de8f047
JA
948 if (!RB_EMPTY_ROOT(&td->io_hist_tree)) {
949 struct rb_node *n = rb_first(&td->io_hist_tree);
e29d1b70 950
8de8f047 951 ipo = rb_entry(n, struct io_piece, rb_node);
4b87898e 952 rb_erase(n, &td->io_hist_tree);
a917a8b3
JA
953 assert(ipo->flags & IP_F_ONRB);
954 ipo->flags &= ~IP_F_ONRB;
01743ee1
JA
955 } else if (!flist_empty(&td->io_hist_list)) {
956 ipo = flist_entry(td->io_hist_list.next, struct io_piece, list);
957 flist_del(&ipo->list);
a917a8b3
JA
958 assert(ipo->flags & IP_F_ONLIST);
959 ipo->flags &= ~IP_F_ONLIST;
8de8f047 960 }
e29d1b70 961
8de8f047 962 if (ipo) {
0d29de83
JA
963 td->io_hist_len--;
964
e29d1b70
JA
965 io_u->offset = ipo->offset;
966 io_u->buflen = ipo->len;
36167d82 967 io_u->file = ipo->file;
97af62ce 968
0d29de83
JA
969 if (ipo->flags & IP_F_TRIMMED)
970 io_u->flags |= IO_U_F_TRIMMED;
971
d6aed795 972 if (!fio_file_open(io_u->file)) {
97af62ce
JA
973 int r = td_io_open_file(td, io_u->file);
974
bd6f78b2
JA
975 if (r) {
976 dprint(FD_VERIFY, "failed file %s open\n",
977 io_u->file->file_name);
97af62ce 978 return 1;
bd6f78b2 979 }
97af62ce
JA
980 }
981
982 get_file(ipo->file);
d6aed795 983 assert(fio_file_open(io_u->file));
e29d1b70 984 io_u->ddir = DDIR_READ;
36167d82
JA
985 io_u->xfer_buf = io_u->buf;
986 io_u->xfer_buflen = io_u->buflen;
0d29de83
JA
987
988 remove_trim_entry(td, ipo);
e29d1b70 989 free(ipo);
bd6f78b2 990 dprint(FD_VERIFY, "get_next_verify: ret io_u %p\n", io_u);
e29d1b70
JA
991 return 0;
992 }
993
bd6f78b2 994 dprint(FD_VERIFY, "get_next_verify: empty\n");
e29d1b70
JA
995 return 1;
996}
e8462bd8
JA
997
998static void *verify_async_thread(void *data)
999{
1000 struct thread_data *td = data;
1001 struct io_u *io_u;
1002 int ret = 0;
1003
1004 if (td->o.verify_cpumask_set &&
1005 fio_setaffinity(td->pid, td->o.verify_cpumask)) {
1006 log_err("fio: failed setting verify thread affinity\n");
1007 goto done;
1008 }
1009
1010 do {
e53ab27c
JA
1011 FLIST_HEAD(list);
1012
e8462bd8
JA
1013 read_barrier();
1014 if (td->verify_thread_exit)
1015 break;
1016
1017 pthread_mutex_lock(&td->io_u_lock);
1018
1019 while (flist_empty(&td->verify_list) &&
1020 !td->verify_thread_exit) {
b36e298b
JA
1021 ret = pthread_cond_wait(&td->verify_cond,
1022 &td->io_u_lock);
e8462bd8
JA
1023 if (ret) {
1024 pthread_mutex_unlock(&td->io_u_lock);
1025 break;
1026 }
1027 }
1028
e53ab27c
JA
1029 flist_splice_init(&td->verify_list, &list);
1030 pthread_mutex_unlock(&td->io_u_lock);
1031
1032 if (flist_empty(&list))
e8462bd8 1033 continue;
e8462bd8 1034
e53ab27c
JA
1035 while (!flist_empty(&list)) {
1036 io_u = flist_entry(list.next, struct io_u, list);
1037 flist_del_init(&io_u->list);
e8462bd8 1038
d561f2ab 1039 ret = verify_io_u(td, io_u);
e53ab27c 1040 put_io_u(td, io_u);
d561f2ab
JA
1041 if (!ret)
1042 continue;
06842027 1043 if (td->o.continue_on_error & ERROR_TYPE_VERIFY &&
d561f2ab
JA
1044 td_non_fatal_error(ret)) {
1045 update_error_count(td, ret);
1046 td_clear_error(td);
1047 ret = 0;
1048 }
e53ab27c 1049 }
e8462bd8
JA
1050 } while (!ret);
1051
d561f2ab
JA
1052 if (ret) {
1053 td_verror(td, ret, "async_verify");
f3e6cb95
JA
1054 if (td->o.verify_fatal)
1055 td->terminate = 1;
d561f2ab
JA
1056 }
1057
e8462bd8
JA
1058done:
1059 pthread_mutex_lock(&td->io_u_lock);
1060 td->nr_verify_threads--;
1061 pthread_mutex_unlock(&td->io_u_lock);
1062
1063 pthread_cond_signal(&td->free_cond);
1064 return NULL;
1065}
1066
1067int verify_async_init(struct thread_data *td)
1068{
1069 int i, ret;
304a47c7
VA
1070 pthread_attr_t attr;
1071
1072 pthread_attr_init(&attr);
1073 pthread_attr_setstacksize(&attr, PTHREAD_STACK_MIN);
e8462bd8
JA
1074
1075 td->verify_thread_exit = 0;
1076
1077 td->verify_threads = malloc(sizeof(pthread_t) * td->o.verify_async);
1078 for (i = 0; i < td->o.verify_async; i++) {
304a47c7 1079 ret = pthread_create(&td->verify_threads[i], &attr,
e8462bd8
JA
1080 verify_async_thread, td);
1081 if (ret) {
1082 log_err("fio: async verify creation failed: %s\n",
1083 strerror(ret));
1084 break;
1085 }
1086 ret = pthread_detach(td->verify_threads[i]);
1087 if (ret) {
1088 log_err("fio: async verify thread detach failed: %s\n",
1089 strerror(ret));
1090 break;
1091 }
1092 td->nr_verify_threads++;
1093 }
1094
304a47c7
VA
1095 pthread_attr_destroy(&attr);
1096
e8462bd8 1097 if (i != td->o.verify_async) {
e40823b1 1098 log_err("fio: only %d verify threads started, exiting\n", i);
e8462bd8
JA
1099 td->verify_thread_exit = 1;
1100 write_barrier();
1101 pthread_cond_broadcast(&td->verify_cond);
1102 return 1;
1103 }
1104
1105 return 0;
1106}
1107
1108void verify_async_exit(struct thread_data *td)
1109{
1110 td->verify_thread_exit = 1;
1111 write_barrier();
1112 pthread_cond_broadcast(&td->verify_cond);
1113
1114 pthread_mutex_lock(&td->io_u_lock);
1115
1116 while (td->nr_verify_threads)
1117 pthread_cond_wait(&td->free_cond, &td->io_u_lock);
1118
1119 pthread_mutex_unlock(&td->io_u_lock);
1120 free(td->verify_threads);
1121 td->verify_threads = NULL;
1122}