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 | |
c4b6117b | 75 | io_u->rand_seed = fill_random_buf(&td->__verify_state, p, len); |
ce35b1ec JA |
76 | return; |
77 | } | |
c4b6117b | 78 | |
ce35b1ec JA |
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. | |
62167762 JC |
390 | * For verify_only, numberio will be checked in the last iteration when |
391 | * the correct state of numberio, that would have been written to each | |
392 | * block in a previous run of fio, has been reached. | |
da0a7bd2 JC |
393 | */ |
394 | if (td_write(td) || td_rw(td)) | |
62167762 JC |
395 | if (!td->o.verify_only || td->o.loops == 0) |
396 | if (vh->numberio != io_u->numberio) | |
397 | ret = EILSEQ; | |
da0a7bd2 | 398 | |
92bf48d5 | 399 | if (!ret) |
bfacf389 | 400 | return 0; |
7437ee87 | 401 | |
bfacf389 JA |
402 | vc->name = "meta"; |
403 | log_verify_failure(hdr, vc); | |
92bf48d5 | 404 | return ret; |
7437ee87 SL |
405 | } |
406 | ||
936216f8 | 407 | static int verify_io_u_sha512(struct verify_header *hdr, struct vcont *vc) |
cd14cc10 | 408 | { |
936216f8 | 409 | void *p = io_u_verify_off(hdr, vc); |
546dfd9f | 410 | struct vhdr_sha512 *vh = hdr_priv(hdr); |
cd14cc10 | 411 | uint8_t sha512[128]; |
25dfa848 | 412 | struct fio_sha512_ctx sha512_ctx = { |
cd14cc10 JA |
413 | .buf = sha512, |
414 | }; | |
415 | ||
936216f8 | 416 | dprint(FD_VERIFY, "sha512 verify io_u %p, len %u\n", vc->io_u, hdr->len); |
bd6f78b2 | 417 | |
25dfa848 JA |
418 | fio_sha512_init(&sha512_ctx); |
419 | fio_sha512_update(&sha512_ctx, p, hdr->len - hdr_size(hdr)); | |
cd14cc10 | 420 | |
bfacf389 JA |
421 | if (!memcmp(vh->sha512, sha512_ctx.buf, sizeof(sha512))) |
422 | return 0; | |
cd14cc10 | 423 | |
bfacf389 JA |
424 | vc->name = "sha512"; |
425 | vc->good_crc = vh->sha512; | |
426 | vc->bad_crc = sha512_ctx.buf; | |
427 | vc->crc_len = sizeof(vh->sha512); | |
428 | log_verify_failure(hdr, vc); | |
429 | return EILSEQ; | |
cd14cc10 JA |
430 | } |
431 | ||
936216f8 | 432 | static int verify_io_u_sha256(struct verify_header *hdr, struct vcont *vc) |
cd14cc10 | 433 | { |
936216f8 | 434 | void *p = io_u_verify_off(hdr, vc); |
546dfd9f | 435 | struct vhdr_sha256 *vh = hdr_priv(hdr); |
bc77f56f | 436 | uint8_t sha256[64]; |
25dfa848 | 437 | struct fio_sha256_ctx sha256_ctx = { |
cd14cc10 JA |
438 | .buf = sha256, |
439 | }; | |
440 | ||
936216f8 | 441 | dprint(FD_VERIFY, "sha256 verify io_u %p, len %u\n", vc->io_u, hdr->len); |
bd6f78b2 | 442 | |
25dfa848 JA |
443 | fio_sha256_init(&sha256_ctx); |
444 | fio_sha256_update(&sha256_ctx, p, hdr->len - hdr_size(hdr)); | |
cd14cc10 | 445 | |
bfacf389 JA |
446 | if (!memcmp(vh->sha256, sha256_ctx.buf, sizeof(sha256))) |
447 | return 0; | |
cd14cc10 | 448 | |
bfacf389 JA |
449 | vc->name = "sha256"; |
450 | vc->good_crc = vh->sha256; | |
451 | vc->bad_crc = sha256_ctx.buf; | |
452 | vc->crc_len = sizeof(vh->sha256); | |
453 | log_verify_failure(hdr, vc); | |
454 | return EILSEQ; | |
cd14cc10 JA |
455 | } |
456 | ||
936216f8 | 457 | static int verify_io_u_sha1(struct verify_header *hdr, struct vcont *vc) |
7c353ceb | 458 | { |
936216f8 | 459 | void *p = io_u_verify_off(hdr, vc); |
7c353ceb JA |
460 | struct vhdr_sha1 *vh = hdr_priv(hdr); |
461 | uint32_t sha1[5]; | |
25dfa848 | 462 | struct fio_sha1_ctx sha1_ctx = { |
7c353ceb JA |
463 | .H = sha1, |
464 | }; | |
465 | ||
936216f8 | 466 | dprint(FD_VERIFY, "sha1 verify io_u %p, len %u\n", vc->io_u, hdr->len); |
7c353ceb | 467 | |
25dfa848 JA |
468 | fio_sha1_init(&sha1_ctx); |
469 | fio_sha1_update(&sha1_ctx, p, hdr->len - hdr_size(hdr)); | |
7c353ceb | 470 | |
bfacf389 JA |
471 | if (!memcmp(vh->sha1, sha1_ctx.H, sizeof(sha1))) |
472 | return 0; | |
7c353ceb | 473 | |
bfacf389 JA |
474 | vc->name = "sha1"; |
475 | vc->good_crc = vh->sha1; | |
476 | vc->bad_crc = sha1_ctx.H; | |
477 | vc->crc_len = sizeof(vh->sha1); | |
478 | log_verify_failure(hdr, vc); | |
479 | return EILSEQ; | |
7c353ceb JA |
480 | } |
481 | ||
936216f8 | 482 | static int verify_io_u_crc7(struct verify_header *hdr, struct vcont *vc) |
1e154bdb | 483 | { |
936216f8 | 484 | void *p = io_u_verify_off(hdr, vc); |
546dfd9f | 485 | struct vhdr_crc7 *vh = hdr_priv(hdr); |
1e154bdb JA |
486 | unsigned char c; |
487 | ||
936216f8 | 488 | dprint(FD_VERIFY, "crc7 verify io_u %p, len %u\n", vc->io_u, hdr->len); |
bd6f78b2 | 489 | |
25dfa848 | 490 | c = fio_crc7(p, hdr->len - hdr_size(hdr)); |
1e154bdb | 491 | |
bfacf389 JA |
492 | if (c == vh->crc7) |
493 | return 0; | |
1e154bdb | 494 | |
bfacf389 JA |
495 | vc->name = "crc7"; |
496 | vc->good_crc = &vh->crc7; | |
497 | vc->bad_crc = &c; | |
498 | vc->crc_len = 1; | |
499 | log_verify_failure(hdr, vc); | |
500 | return EILSEQ; | |
1e154bdb JA |
501 | } |
502 | ||
936216f8 | 503 | static int verify_io_u_crc16(struct verify_header *hdr, struct vcont *vc) |
969f7ed3 | 504 | { |
936216f8 | 505 | void *p = io_u_verify_off(hdr, vc); |
546dfd9f | 506 | struct vhdr_crc16 *vh = hdr_priv(hdr); |
969f7ed3 JA |
507 | unsigned short c; |
508 | ||
936216f8 | 509 | dprint(FD_VERIFY, "crc16 verify io_u %p, len %u\n", vc->io_u, hdr->len); |
bd6f78b2 | 510 | |
25dfa848 | 511 | c = fio_crc16(p, hdr->len - hdr_size(hdr)); |
969f7ed3 | 512 | |
bfacf389 JA |
513 | if (c == vh->crc16) |
514 | return 0; | |
969f7ed3 | 515 | |
bfacf389 JA |
516 | vc->name = "crc16"; |
517 | vc->good_crc = &vh->crc16; | |
518 | vc->bad_crc = &c; | |
519 | vc->crc_len = 2; | |
520 | log_verify_failure(hdr, vc); | |
521 | return EILSEQ; | |
969f7ed3 JA |
522 | } |
523 | ||
936216f8 | 524 | static int verify_io_u_crc64(struct verify_header *hdr, struct vcont *vc) |
d77a7af3 | 525 | { |
936216f8 | 526 | void *p = io_u_verify_off(hdr, vc); |
546dfd9f | 527 | struct vhdr_crc64 *vh = hdr_priv(hdr); |
d77a7af3 JA |
528 | unsigned long long c; |
529 | ||
936216f8 | 530 | dprint(FD_VERIFY, "crc64 verify io_u %p, len %u\n", vc->io_u, hdr->len); |
bd6f78b2 | 531 | |
25dfa848 | 532 | c = fio_crc64(p, hdr->len - hdr_size(hdr)); |
d77a7af3 | 533 | |
bfacf389 JA |
534 | if (c == vh->crc64) |
535 | return 0; | |
d77a7af3 | 536 | |
bfacf389 JA |
537 | vc->name = "crc64"; |
538 | vc->good_crc = &vh->crc64; | |
539 | vc->bad_crc = &c; | |
540 | vc->crc_len = 8; | |
541 | log_verify_failure(hdr, vc); | |
542 | return EILSEQ; | |
d77a7af3 JA |
543 | } |
544 | ||
936216f8 | 545 | static int verify_io_u_crc32(struct verify_header *hdr, struct vcont *vc) |
e29d1b70 | 546 | { |
936216f8 | 547 | void *p = io_u_verify_off(hdr, vc); |
546dfd9f JA |
548 | struct vhdr_crc32 *vh = hdr_priv(hdr); |
549 | uint32_t c; | |
e29d1b70 | 550 | |
936216f8 | 551 | dprint(FD_VERIFY, "crc32 verify io_u %p, len %u\n", vc->io_u, hdr->len); |
bd6f78b2 | 552 | |
25dfa848 | 553 | c = fio_crc32(p, hdr->len - hdr_size(hdr)); |
e29d1b70 | 554 | |
bfacf389 JA |
555 | if (c == vh->crc32) |
556 | return 0; | |
e29d1b70 | 557 | |
bfacf389 JA |
558 | vc->name = "crc32"; |
559 | vc->good_crc = &vh->crc32; | |
560 | vc->bad_crc = &c; | |
561 | vc->crc_len = 4; | |
562 | log_verify_failure(hdr, vc); | |
563 | return EILSEQ; | |
e29d1b70 JA |
564 | } |
565 | ||
936216f8 | 566 | static int verify_io_u_crc32c(struct verify_header *hdr, struct vcont *vc) |
bac39e0e | 567 | { |
936216f8 | 568 | void *p = io_u_verify_off(hdr, vc); |
bac39e0e JA |
569 | struct vhdr_crc32 *vh = hdr_priv(hdr); |
570 | uint32_t c; | |
571 | ||
936216f8 | 572 | dprint(FD_VERIFY, "crc32c verify io_u %p, len %u\n", vc->io_u, hdr->len); |
bac39e0e | 573 | |
25dfa848 | 574 | c = fio_crc32c(p, hdr->len - hdr_size(hdr)); |
bac39e0e | 575 | |
bfacf389 JA |
576 | if (c == vh->crc32) |
577 | return 0; | |
bac39e0e | 578 | |
bfacf389 JA |
579 | vc->name = "crc32c"; |
580 | vc->good_crc = &vh->crc32; | |
581 | vc->bad_crc = &c; | |
582 | vc->crc_len = 4; | |
583 | log_verify_failure(hdr, vc); | |
584 | return EILSEQ; | |
bac39e0e JA |
585 | } |
586 | ||
936216f8 | 587 | static int verify_io_u_md5(struct verify_header *hdr, struct vcont *vc) |
e29d1b70 | 588 | { |
936216f8 | 589 | void *p = io_u_verify_off(hdr, vc); |
546dfd9f | 590 | struct vhdr_md5 *vh = hdr_priv(hdr); |
8c432325 | 591 | uint32_t hash[MD5_HASH_WORDS]; |
25dfa848 | 592 | struct fio_md5_ctx md5_ctx = { |
8c432325 JA |
593 | .hash = hash, |
594 | }; | |
e29d1b70 | 595 | |
936216f8 | 596 | dprint(FD_VERIFY, "md5 verify io_u %p, len %u\n", vc->io_u, hdr->len); |
bd6f78b2 | 597 | |
25dfa848 JA |
598 | fio_md5_init(&md5_ctx); |
599 | fio_md5_update(&md5_ctx, p, hdr->len - hdr_size(hdr)); | |
e29d1b70 | 600 | |
bfacf389 JA |
601 | if (!memcmp(vh->md5_digest, md5_ctx.hash, sizeof(hash))) |
602 | return 0; | |
e29d1b70 | 603 | |
bfacf389 JA |
604 | vc->name = "md5"; |
605 | vc->good_crc = vh->md5_digest; | |
606 | vc->bad_crc = md5_ctx.hash; | |
607 | vc->crc_len = sizeof(hash); | |
608 | log_verify_failure(hdr, vc); | |
609 | return EILSEQ; | |
e29d1b70 JA |
610 | } |
611 | ||
e8462bd8 JA |
612 | /* |
613 | * Push IO verification to a separate thread | |
614 | */ | |
615 | int verify_io_u_async(struct thread_data *td, struct io_u *io_u) | |
616 | { | |
617 | if (io_u->file) | |
618 | put_file_log(td, io_u->file); | |
619 | ||
e8462bd8 | 620 | pthread_mutex_lock(&td->io_u_lock); |
d7ee2a7d | 621 | |
0c41214f RR |
622 | if (io_u->flags & IO_U_F_IN_CUR_DEPTH) { |
623 | td->cur_depth--; | |
624 | io_u->flags &= ~IO_U_F_IN_CUR_DEPTH; | |
625 | } | |
2ae0b204 | 626 | flist_add_tail(&io_u->verify_list, &td->verify_list); |
2ecc1b57 | 627 | io_u->flags |= IO_U_F_FREE_DEF; |
e8462bd8 JA |
628 | pthread_mutex_unlock(&td->io_u_lock); |
629 | ||
630 | pthread_cond_signal(&td->verify_cond); | |
e8462bd8 JA |
631 | return 0; |
632 | } | |
633 | ||
0d29de83 JA |
634 | static int verify_trimmed_io_u(struct thread_data *td, struct io_u *io_u) |
635 | { | |
636 | static char zero_buf[1024]; | |
637 | unsigned int this_len, len; | |
638 | int ret = 0; | |
639 | void *p; | |
640 | ||
641 | if (!td->o.trim_zero) | |
642 | return 0; | |
643 | ||
644 | len = io_u->buflen; | |
645 | p = io_u->buf; | |
646 | do { | |
647 | this_len = sizeof(zero_buf); | |
648 | if (this_len > len) | |
649 | this_len = len; | |
650 | if (memcmp(p, zero_buf, this_len)) { | |
651 | ret = EILSEQ; | |
652 | break; | |
653 | } | |
654 | len -= this_len; | |
655 | p += this_len; | |
656 | } while (len); | |
657 | ||
658 | if (!ret) | |
659 | return 0; | |
660 | ||
a917a8b3 JA |
661 | log_err("trim: verify failed at file %s offset %llu, length %lu" |
662 | ", block offset %lu\n", | |
663 | io_u->file->file_name, io_u->offset, io_u->buflen, | |
2f68124f | 664 | (unsigned long) (p - io_u->buf)); |
0d29de83 JA |
665 | return ret; |
666 | } | |
667 | ||
0ae2c6e1 | 668 | static int verify_header(struct io_u *io_u, struct verify_header *hdr) |
f65d1c26 JA |
669 | { |
670 | void *p = hdr; | |
671 | uint32_t crc; | |
672 | ||
ae38c0dc | 673 | if (hdr->magic != FIO_HDR_MAGIC) |
e9e177cc JC |
674 | return 1; |
675 | if (hdr->len > io_u->buflen) | |
676 | return 2; | |
677 | if (hdr->rand_seed != io_u->rand_seed) | |
678 | return 3; | |
ae38c0dc | 679 | |
25dfa848 | 680 | crc = fio_crc32c(p, offsetof(struct verify_header, crc32)); |
f65d1c26 | 681 | if (crc == hdr->crc32) |
e9e177cc | 682 | return 0; |
f65d1c26 | 683 | log_err("fio: verify header crc %x, calculated %x\n", hdr->crc32, crc); |
e9e177cc | 684 | return 4; |
f65d1c26 JA |
685 | } |
686 | ||
36690c9b | 687 | int verify_io_u(struct thread_data *td, struct io_u *io_u) |
e29d1b70 | 688 | { |
3f9f4e26 | 689 | struct verify_header *hdr; |
2b13e716 | 690 | unsigned int header_size, hdr_inc, hdr_num = 0; |
95646108 | 691 | void *p; |
e29d1b70 JA |
692 | int ret; |
693 | ||
1dcc0498 | 694 | if (td->o.verify == VERIFY_NULL || io_u->ddir != DDIR_READ) |
36690c9b | 695 | return 0; |
0d29de83 JA |
696 | if (io_u->flags & IO_U_F_TRIMMED) { |
697 | ret = verify_trimmed_io_u(td, io_u); | |
698 | goto done; | |
699 | } | |
36690c9b | 700 | |
cfbcd0dc | 701 | hdr_inc = get_hdr_inc(td, io_u); |
e29d1b70 | 702 | |
a12a3b4d | 703 | ret = 0; |
5ec10eaa JA |
704 | for (p = io_u->buf; p < io_u->buf + io_u->buflen; |
705 | p += hdr_inc, hdr_num++) { | |
bfacf389 JA |
706 | struct vcont vc = { |
707 | .io_u = io_u, | |
708 | .hdr_num = hdr_num, | |
7d9fb455 | 709 | .td = td, |
bfacf389 | 710 | }; |
f00b210f | 711 | unsigned int verify_type; |
936216f8 | 712 | |
f3e6cb95 | 713 | if (ret && td->o.verify_fatal) |
a12a3b4d | 714 | break; |
f3e6cb95 | 715 | |
2b13e716 | 716 | header_size = __hdr_size(td->o.verify); |
a59e170d | 717 | if (td->o.verify_offset) |
2b13e716 | 718 | memswp(p, p + td->o.verify_offset, header_size); |
95646108 | 719 | hdr = p; |
e29d1b70 | 720 | |
c4b6117b PV |
721 | /* |
722 | * Make rand_seed check pass when have verifysort or | |
723 | * verify_backlog. | |
724 | */ | |
725 | if (td->o.verifysort || (td->flags & TD_F_VER_BACKLOG)) | |
726 | io_u->rand_seed = hdr->rand_seed; | |
727 | ||
e9e177cc JC |
728 | ret = verify_header(io_u, hdr); |
729 | switch (ret) { | |
730 | case 0: | |
731 | break; | |
732 | case 1: | |
ae38c0dc JA |
733 | log_err("verify: bad magic header %x, wanted %x at " |
734 | "file %s offset %llu, length %u\n", | |
d3a173a9 | 735 | hdr->magic, FIO_HDR_MAGIC, |
c9b44031 JA |
736 | io_u->file->file_name, |
737 | io_u->offset + hdr_num * hdr->len, hdr->len); | |
9fd18969 | 738 | return EILSEQ; |
e9e177cc JC |
739 | break; |
740 | case 2: | |
741 | log_err("fio: verify header exceeds buffer length (%u " | |
742 | "> %lu)\n", hdr->len, io_u->buflen); | |
743 | return EILSEQ; | |
744 | break; | |
745 | case 3: | |
746 | log_err("verify: bad header rand_seed %"PRIu64 | |
747 | ", wanted %"PRIu64" at file %s offset %llu, " | |
748 | "length %u\n", | |
749 | hdr->rand_seed, io_u->rand_seed, | |
750 | io_u->file->file_name, | |
751 | io_u->offset + hdr_num * hdr->len, hdr->len); | |
752 | return EILSEQ; | |
753 | break; | |
754 | case 4: | |
755 | return EILSEQ; | |
756 | break; | |
757 | default: | |
758 | log_err("verify: unknown header error at file %s " | |
759 | "offset %llu, length %u\n", | |
760 | io_u->file->file_name, | |
761 | io_u->offset + hdr_num * hdr->len, hdr->len); | |
762 | return EILSEQ; | |
3f199b01 JA |
763 | } |
764 | ||
f00b210f JA |
765 | if (td->o.verify != VERIFY_NONE) |
766 | verify_type = td->o.verify; | |
767 | else | |
768 | verify_type = hdr->verify_type; | |
769 | ||
770 | switch (verify_type) { | |
3f9f4e26 | 771 | case VERIFY_MD5: |
936216f8 | 772 | ret = verify_io_u_md5(hdr, &vc); |
3f9f4e26 SL |
773 | break; |
774 | case VERIFY_CRC64: | |
936216f8 | 775 | ret = verify_io_u_crc64(hdr, &vc); |
3f9f4e26 | 776 | break; |
bac39e0e | 777 | case VERIFY_CRC32C: |
3845591f | 778 | case VERIFY_CRC32C_INTEL: |
936216f8 | 779 | ret = verify_io_u_crc32c(hdr, &vc); |
bac39e0e | 780 | break; |
3f9f4e26 | 781 | case VERIFY_CRC32: |
936216f8 | 782 | ret = verify_io_u_crc32(hdr, &vc); |
3f9f4e26 SL |
783 | break; |
784 | case VERIFY_CRC16: | |
936216f8 | 785 | ret = verify_io_u_crc16(hdr, &vc); |
3f9f4e26 SL |
786 | break; |
787 | case VERIFY_CRC7: | |
936216f8 | 788 | ret = verify_io_u_crc7(hdr, &vc); |
3f9f4e26 | 789 | break; |
cd14cc10 | 790 | case VERIFY_SHA256: |
936216f8 | 791 | ret = verify_io_u_sha256(hdr, &vc); |
cd14cc10 JA |
792 | break; |
793 | case VERIFY_SHA512: | |
936216f8 | 794 | ret = verify_io_u_sha512(hdr, &vc); |
cd14cc10 | 795 | break; |
7437ee87 | 796 | case VERIFY_META: |
92bf48d5 | 797 | ret = verify_io_u_meta(hdr, &vc); |
7437ee87 | 798 | break; |
7c353ceb | 799 | case VERIFY_SHA1: |
936216f8 | 800 | ret = verify_io_u_sha1(hdr, &vc); |
7c353ceb | 801 | break; |
92bf48d5 JA |
802 | case VERIFY_PATTERN: |
803 | ret = verify_io_u_pattern(hdr, &vc); | |
804 | break; | |
3f9f4e26 SL |
805 | default: |
806 | log_err("Bad verify type %u\n", hdr->verify_type); | |
d16d4e09 | 807 | ret = EINVAL; |
3f9f4e26 | 808 | } |
f00b210f JA |
809 | |
810 | if (ret && verify_type != hdr->verify_type) | |
811 | log_err("fio: verify type mismatch (%u media, %u given)\n", | |
812 | hdr->verify_type, verify_type); | |
3f9f4e26 | 813 | } |
a7dfe862 | 814 | |
0d29de83 | 815 | done: |
f3e6cb95 JA |
816 | if (ret && td->o.verify_fatal) |
817 | td->terminate = 1; | |
818 | ||
a12a3b4d | 819 | return ret; |
e29d1b70 JA |
820 | } |
821 | ||
7437ee87 | 822 | static void fill_meta(struct verify_header *hdr, struct thread_data *td, |
5ec10eaa | 823 | struct io_u *io_u, unsigned int header_num) |
7437ee87 SL |
824 | { |
825 | struct vhdr_meta *vh = hdr_priv(hdr); | |
826 | ||
827 | vh->thread = td->thread_number; | |
828 | ||
829 | vh->time_sec = io_u->start_time.tv_sec; | |
830 | vh->time_usec = io_u->start_time.tv_usec; | |
831 | ||
da0a7bd2 | 832 | vh->numberio = io_u->numberio; |
7437ee87 SL |
833 | |
834 | vh->offset = io_u->offset + header_num * td->o.verify_interval; | |
835 | } | |
836 | ||
cd14cc10 JA |
837 | static void fill_sha512(struct verify_header *hdr, void *p, unsigned int len) |
838 | { | |
546dfd9f | 839 | struct vhdr_sha512 *vh = hdr_priv(hdr); |
25dfa848 | 840 | struct fio_sha512_ctx sha512_ctx = { |
546dfd9f | 841 | .buf = vh->sha512, |
cd14cc10 JA |
842 | }; |
843 | ||
25dfa848 JA |
844 | fio_sha512_init(&sha512_ctx); |
845 | fio_sha512_update(&sha512_ctx, p, len); | |
cd14cc10 JA |
846 | } |
847 | ||
848 | static void fill_sha256(struct verify_header *hdr, void *p, unsigned int len) | |
849 | { | |
546dfd9f | 850 | struct vhdr_sha256 *vh = hdr_priv(hdr); |
25dfa848 | 851 | struct fio_sha256_ctx sha256_ctx = { |
546dfd9f | 852 | .buf = vh->sha256, |
cd14cc10 JA |
853 | }; |
854 | ||
25dfa848 JA |
855 | fio_sha256_init(&sha256_ctx); |
856 | fio_sha256_update(&sha256_ctx, p, len); | |
cd14cc10 JA |
857 | } |
858 | ||
7c353ceb JA |
859 | static void fill_sha1(struct verify_header *hdr, void *p, unsigned int len) |
860 | { | |
861 | struct vhdr_sha1 *vh = hdr_priv(hdr); | |
25dfa848 | 862 | struct fio_sha1_ctx sha1_ctx = { |
7c353ceb JA |
863 | .H = vh->sha1, |
864 | }; | |
865 | ||
25dfa848 JA |
866 | fio_sha1_init(&sha1_ctx); |
867 | fio_sha1_update(&sha1_ctx, p, len); | |
7c353ceb JA |
868 | } |
869 | ||
1e154bdb JA |
870 | static void fill_crc7(struct verify_header *hdr, void *p, unsigned int len) |
871 | { | |
546dfd9f JA |
872 | struct vhdr_crc7 *vh = hdr_priv(hdr); |
873 | ||
25dfa848 | 874 | vh->crc7 = fio_crc7(p, len); |
1e154bdb JA |
875 | } |
876 | ||
969f7ed3 JA |
877 | static void fill_crc16(struct verify_header *hdr, void *p, unsigned int len) |
878 | { | |
546dfd9f JA |
879 | struct vhdr_crc16 *vh = hdr_priv(hdr); |
880 | ||
25dfa848 | 881 | vh->crc16 = fio_crc16(p, len); |
969f7ed3 JA |
882 | } |
883 | ||
e29d1b70 JA |
884 | static void fill_crc32(struct verify_header *hdr, void *p, unsigned int len) |
885 | { | |
546dfd9f JA |
886 | struct vhdr_crc32 *vh = hdr_priv(hdr); |
887 | ||
25dfa848 | 888 | vh->crc32 = fio_crc32(p, len); |
e29d1b70 JA |
889 | } |
890 | ||
bac39e0e JA |
891 | static void fill_crc32c(struct verify_header *hdr, void *p, unsigned int len) |
892 | { | |
893 | struct vhdr_crc32 *vh = hdr_priv(hdr); | |
894 | ||
25dfa848 | 895 | vh->crc32 = fio_crc32c(p, len); |
bac39e0e JA |
896 | } |
897 | ||
d77a7af3 JA |
898 | static void fill_crc64(struct verify_header *hdr, void *p, unsigned int len) |
899 | { | |
546dfd9f JA |
900 | struct vhdr_crc64 *vh = hdr_priv(hdr); |
901 | ||
25dfa848 | 902 | vh->crc64 = fio_crc64(p, len); |
d77a7af3 JA |
903 | } |
904 | ||
e29d1b70 JA |
905 | static void fill_md5(struct verify_header *hdr, void *p, unsigned int len) |
906 | { | |
546dfd9f | 907 | struct vhdr_md5 *vh = hdr_priv(hdr); |
25dfa848 | 908 | struct fio_md5_ctx md5_ctx = { |
546dfd9f | 909 | .hash = (uint32_t *) vh->md5_digest, |
8c432325 | 910 | }; |
e29d1b70 | 911 | |
25dfa848 JA |
912 | fio_md5_init(&md5_ctx); |
913 | fio_md5_update(&md5_ctx, p, len); | |
e29d1b70 JA |
914 | } |
915 | ||
7d9fb455 JA |
916 | static void populate_hdr(struct thread_data *td, struct io_u *io_u, |
917 | struct verify_header *hdr, unsigned int header_num, | |
918 | unsigned int header_len) | |
919 | { | |
920 | unsigned int data_len; | |
921 | void *data, *p; | |
922 | ||
923 | p = (void *) hdr; | |
924 | ||
d3a173a9 | 925 | hdr->magic = FIO_HDR_MAGIC; |
7d9fb455 | 926 | hdr->verify_type = td->o.verify; |
d3a173a9 | 927 | hdr->len = header_len; |
7d9fb455 | 928 | hdr->rand_seed = io_u->rand_seed; |
25dfa848 | 929 | hdr->crc32 = fio_crc32c(p, offsetof(struct verify_header, crc32)); |
f65d1c26 | 930 | |
7d9fb455 JA |
931 | data_len = header_len - hdr_size(hdr); |
932 | ||
933 | data = p + hdr_size(hdr); | |
934 | switch (td->o.verify) { | |
935 | case VERIFY_MD5: | |
936 | dprint(FD_VERIFY, "fill md5 io_u %p, len %u\n", | |
937 | io_u, hdr->len); | |
938 | fill_md5(hdr, data, data_len); | |
939 | break; | |
940 | case VERIFY_CRC64: | |
941 | dprint(FD_VERIFY, "fill crc64 io_u %p, len %u\n", | |
942 | io_u, hdr->len); | |
943 | fill_crc64(hdr, data, data_len); | |
944 | break; | |
945 | case VERIFY_CRC32C: | |
946 | case VERIFY_CRC32C_INTEL: | |
947 | dprint(FD_VERIFY, "fill crc32c io_u %p, len %u\n", | |
948 | io_u, hdr->len); | |
949 | fill_crc32c(hdr, data, data_len); | |
950 | break; | |
951 | case VERIFY_CRC32: | |
952 | dprint(FD_VERIFY, "fill crc32 io_u %p, len %u\n", | |
953 | io_u, hdr->len); | |
954 | fill_crc32(hdr, data, data_len); | |
955 | break; | |
956 | case VERIFY_CRC16: | |
957 | dprint(FD_VERIFY, "fill crc16 io_u %p, len %u\n", | |
958 | io_u, hdr->len); | |
959 | fill_crc16(hdr, data, data_len); | |
960 | break; | |
961 | case VERIFY_CRC7: | |
962 | dprint(FD_VERIFY, "fill crc7 io_u %p, len %u\n", | |
963 | io_u, hdr->len); | |
964 | fill_crc7(hdr, data, data_len); | |
965 | break; | |
966 | case VERIFY_SHA256: | |
967 | dprint(FD_VERIFY, "fill sha256 io_u %p, len %u\n", | |
968 | io_u, hdr->len); | |
969 | fill_sha256(hdr, data, data_len); | |
970 | break; | |
971 | case VERIFY_SHA512: | |
972 | dprint(FD_VERIFY, "fill sha512 io_u %p, len %u\n", | |
973 | io_u, hdr->len); | |
974 | fill_sha512(hdr, data, data_len); | |
975 | break; | |
976 | case VERIFY_META: | |
977 | dprint(FD_VERIFY, "fill meta io_u %p, len %u\n", | |
978 | io_u, hdr->len); | |
979 | fill_meta(hdr, td, io_u, header_num); | |
980 | break; | |
981 | case VERIFY_SHA1: | |
982 | dprint(FD_VERIFY, "fill sha1 io_u %p, len %u\n", | |
983 | io_u, hdr->len); | |
984 | fill_sha1(hdr, data, data_len); | |
985 | break; | |
92bf48d5 JA |
986 | case VERIFY_PATTERN: |
987 | /* nothing to do here */ | |
988 | break; | |
7d9fb455 JA |
989 | default: |
990 | log_err("fio: bad verify type: %d\n", td->o.verify); | |
991 | assert(0); | |
992 | } | |
993 | if (td->o.verify_offset) | |
994 | memswp(p, p + td->o.verify_offset, hdr_size(hdr)); | |
995 | } | |
996 | ||
e29d1b70 JA |
997 | /* |
998 | * fill body of io_u->buf with random data and add a header with the | |
c50ca7bd | 999 | * checksum of choice |
e29d1b70 JA |
1000 | */ |
1001 | void populate_verify_io_u(struct thread_data *td, struct io_u *io_u) | |
1002 | { | |
9cc3d150 JA |
1003 | if (td->o.verify == VERIFY_NULL) |
1004 | return; | |
1005 | ||
da0a7bd2 JC |
1006 | io_u->numberio = td->io_issues[io_u->ddir]; |
1007 | ||
c50ca7bd | 1008 | fill_pattern_headers(td, io_u, 0, 0); |
e29d1b70 JA |
1009 | } |
1010 | ||
1011 | int get_next_verify(struct thread_data *td, struct io_u *io_u) | |
1012 | { | |
8de8f047 | 1013 | struct io_piece *ipo = NULL; |
e29d1b70 | 1014 | |
d2d7fa53 JA |
1015 | /* |
1016 | * this io_u is from a requeue, we already filled the offsets | |
1017 | */ | |
1018 | if (io_u->file) | |
1019 | return 0; | |
1020 | ||
8de8f047 JA |
1021 | if (!RB_EMPTY_ROOT(&td->io_hist_tree)) { |
1022 | struct rb_node *n = rb_first(&td->io_hist_tree); | |
e29d1b70 | 1023 | |
8de8f047 | 1024 | ipo = rb_entry(n, struct io_piece, rb_node); |
4b87898e | 1025 | rb_erase(n, &td->io_hist_tree); |
a917a8b3 JA |
1026 | assert(ipo->flags & IP_F_ONRB); |
1027 | ipo->flags &= ~IP_F_ONRB; | |
01743ee1 JA |
1028 | } else if (!flist_empty(&td->io_hist_list)) { |
1029 | ipo = flist_entry(td->io_hist_list.next, struct io_piece, list); | |
1030 | flist_del(&ipo->list); | |
a917a8b3 JA |
1031 | assert(ipo->flags & IP_F_ONLIST); |
1032 | ipo->flags &= ~IP_F_ONLIST; | |
8de8f047 | 1033 | } |
e29d1b70 | 1034 | |
8de8f047 | 1035 | if (ipo) { |
0d29de83 JA |
1036 | td->io_hist_len--; |
1037 | ||
e29d1b70 JA |
1038 | io_u->offset = ipo->offset; |
1039 | io_u->buflen = ipo->len; | |
da0a7bd2 | 1040 | io_u->numberio = ipo->numberio; |
36167d82 | 1041 | io_u->file = ipo->file; |
82af2a7c | 1042 | io_u->flags |= IO_U_F_VER_LIST; |
97af62ce | 1043 | |
0d29de83 JA |
1044 | if (ipo->flags & IP_F_TRIMMED) |
1045 | io_u->flags |= IO_U_F_TRIMMED; | |
1046 | ||
d6aed795 | 1047 | if (!fio_file_open(io_u->file)) { |
97af62ce JA |
1048 | int r = td_io_open_file(td, io_u->file); |
1049 | ||
bd6f78b2 JA |
1050 | if (r) { |
1051 | dprint(FD_VERIFY, "failed file %s open\n", | |
1052 | io_u->file->file_name); | |
97af62ce | 1053 | return 1; |
bd6f78b2 | 1054 | } |
97af62ce JA |
1055 | } |
1056 | ||
1057 | get_file(ipo->file); | |
d6aed795 | 1058 | assert(fio_file_open(io_u->file)); |
e29d1b70 | 1059 | io_u->ddir = DDIR_READ; |
36167d82 JA |
1060 | io_u->xfer_buf = io_u->buf; |
1061 | io_u->xfer_buflen = io_u->buflen; | |
0d29de83 JA |
1062 | |
1063 | remove_trim_entry(td, ipo); | |
e29d1b70 | 1064 | free(ipo); |
bd6f78b2 | 1065 | dprint(FD_VERIFY, "get_next_verify: ret io_u %p\n", io_u); |
c4b6117b PV |
1066 | |
1067 | if (!td->o.verify_pattern_bytes) { | |
1068 | io_u->rand_seed = __rand(&td->__verify_state); | |
1069 | if (sizeof(int) != sizeof(long *)) | |
1070 | io_u->rand_seed *= __rand(&td->__verify_state); | |
1071 | } | |
e29d1b70 JA |
1072 | return 0; |
1073 | } | |
1074 | ||
bd6f78b2 | 1075 | dprint(FD_VERIFY, "get_next_verify: empty\n"); |
e29d1b70 JA |
1076 | return 1; |
1077 | } | |
e8462bd8 | 1078 | |
dc5bfbb2 JA |
1079 | void fio_verify_init(struct thread_data *td) |
1080 | { | |
1081 | if (td->o.verify == VERIFY_CRC32C_INTEL || | |
1082 | td->o.verify == VERIFY_CRC32C) { | |
1083 | crc32c_intel_probe(); | |
1084 | } | |
1085 | } | |
1086 | ||
e8462bd8 JA |
1087 | static void *verify_async_thread(void *data) |
1088 | { | |
1089 | struct thread_data *td = data; | |
1090 | struct io_u *io_u; | |
1091 | int ret = 0; | |
1092 | ||
1093 | if (td->o.verify_cpumask_set && | |
1094 | fio_setaffinity(td->pid, td->o.verify_cpumask)) { | |
1095 | log_err("fio: failed setting verify thread affinity\n"); | |
1096 | goto done; | |
1097 | } | |
1098 | ||
1099 | do { | |
e53ab27c JA |
1100 | FLIST_HEAD(list); |
1101 | ||
e8462bd8 JA |
1102 | read_barrier(); |
1103 | if (td->verify_thread_exit) | |
1104 | break; | |
1105 | ||
1106 | pthread_mutex_lock(&td->io_u_lock); | |
1107 | ||
1108 | while (flist_empty(&td->verify_list) && | |
1109 | !td->verify_thread_exit) { | |
b36e298b JA |
1110 | ret = pthread_cond_wait(&td->verify_cond, |
1111 | &td->io_u_lock); | |
e8462bd8 JA |
1112 | if (ret) { |
1113 | pthread_mutex_unlock(&td->io_u_lock); | |
1114 | break; | |
1115 | } | |
1116 | } | |
1117 | ||
e53ab27c JA |
1118 | flist_splice_init(&td->verify_list, &list); |
1119 | pthread_mutex_unlock(&td->io_u_lock); | |
1120 | ||
1121 | if (flist_empty(&list)) | |
e8462bd8 | 1122 | continue; |
e8462bd8 | 1123 | |
e53ab27c | 1124 | while (!flist_empty(&list)) { |
2ae0b204 JA |
1125 | io_u = flist_entry(list.next, struct io_u, verify_list); |
1126 | flist_del(&io_u->verify_list); | |
e8462bd8 | 1127 | |
d561f2ab | 1128 | ret = verify_io_u(td, io_u); |
e53ab27c | 1129 | put_io_u(td, io_u); |
d561f2ab JA |
1130 | if (!ret) |
1131 | continue; | |
8b28bd41 | 1132 | if (td_non_fatal_error(td, ERROR_TYPE_VERIFY_BIT, ret)) { |
d561f2ab JA |
1133 | update_error_count(td, ret); |
1134 | td_clear_error(td); | |
1135 | ret = 0; | |
1136 | } | |
e53ab27c | 1137 | } |
e8462bd8 JA |
1138 | } while (!ret); |
1139 | ||
d561f2ab JA |
1140 | if (ret) { |
1141 | td_verror(td, ret, "async_verify"); | |
f3e6cb95 JA |
1142 | if (td->o.verify_fatal) |
1143 | td->terminate = 1; | |
d561f2ab JA |
1144 | } |
1145 | ||
e8462bd8 JA |
1146 | done: |
1147 | pthread_mutex_lock(&td->io_u_lock); | |
1148 | td->nr_verify_threads--; | |
1149 | pthread_mutex_unlock(&td->io_u_lock); | |
1150 | ||
1151 | pthread_cond_signal(&td->free_cond); | |
1152 | return NULL; | |
1153 | } | |
1154 | ||
1155 | int verify_async_init(struct thread_data *td) | |
1156 | { | |
1157 | int i, ret; | |
304a47c7 VA |
1158 | pthread_attr_t attr; |
1159 | ||
1160 | pthread_attr_init(&attr); | |
1161 | pthread_attr_setstacksize(&attr, PTHREAD_STACK_MIN); | |
e8462bd8 JA |
1162 | |
1163 | td->verify_thread_exit = 0; | |
1164 | ||
1165 | td->verify_threads = malloc(sizeof(pthread_t) * td->o.verify_async); | |
1166 | for (i = 0; i < td->o.verify_async; i++) { | |
304a47c7 | 1167 | ret = pthread_create(&td->verify_threads[i], &attr, |
e8462bd8 JA |
1168 | verify_async_thread, td); |
1169 | if (ret) { | |
1170 | log_err("fio: async verify creation failed: %s\n", | |
1171 | strerror(ret)); | |
1172 | break; | |
1173 | } | |
1174 | ret = pthread_detach(td->verify_threads[i]); | |
1175 | if (ret) { | |
1176 | log_err("fio: async verify thread detach failed: %s\n", | |
1177 | strerror(ret)); | |
1178 | break; | |
1179 | } | |
1180 | td->nr_verify_threads++; | |
1181 | } | |
1182 | ||
304a47c7 VA |
1183 | pthread_attr_destroy(&attr); |
1184 | ||
e8462bd8 | 1185 | if (i != td->o.verify_async) { |
e40823b1 | 1186 | log_err("fio: only %d verify threads started, exiting\n", i); |
e8462bd8 JA |
1187 | td->verify_thread_exit = 1; |
1188 | write_barrier(); | |
1189 | pthread_cond_broadcast(&td->verify_cond); | |
1190 | return 1; | |
1191 | } | |
1192 | ||
1193 | return 0; | |
1194 | } | |
1195 | ||
1196 | void verify_async_exit(struct thread_data *td) | |
1197 | { | |
1198 | td->verify_thread_exit = 1; | |
1199 | write_barrier(); | |
1200 | pthread_cond_broadcast(&td->verify_cond); | |
1201 | ||
1202 | pthread_mutex_lock(&td->io_u_lock); | |
1203 | ||
1204 | while (td->nr_verify_threads) | |
1205 | pthread_cond_wait(&td->free_cond, &td->io_u_lock); | |
1206 | ||
1207 | pthread_mutex_unlock(&td->io_u_lock); | |
1208 | free(td->verify_threads); | |
1209 | td->verify_threads = NULL; | |
1210 | } |