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