Kent Overstreet | cafe563 | 2013-03-23 16:11:31 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Assorted bcache debug code |
| 3 | * |
| 4 | * Copyright 2010, 2011 Kent Overstreet <kent.overstreet@gmail.com> |
| 5 | * Copyright 2012 Google, Inc. |
| 6 | */ |
| 7 | |
| 8 | #include "bcache.h" |
| 9 | #include "btree.h" |
| 10 | #include "debug.h" |
| 11 | #include "request.h" |
| 12 | |
| 13 | #include <linux/console.h> |
| 14 | #include <linux/debugfs.h> |
| 15 | #include <linux/module.h> |
| 16 | #include <linux/random.h> |
| 17 | #include <linux/seq_file.h> |
| 18 | |
| 19 | static struct dentry *debug; |
| 20 | |
| 21 | const char *bch_ptr_status(struct cache_set *c, const struct bkey *k) |
| 22 | { |
| 23 | unsigned i; |
| 24 | |
| 25 | for (i = 0; i < KEY_PTRS(k); i++) |
| 26 | if (ptr_available(c, k, i)) { |
| 27 | struct cache *ca = PTR_CACHE(c, k, i); |
| 28 | size_t bucket = PTR_BUCKET_NR(c, k, i); |
| 29 | size_t r = bucket_remainder(c, PTR_OFFSET(k, i)); |
| 30 | |
| 31 | if (KEY_SIZE(k) + r > c->sb.bucket_size) |
| 32 | return "bad, length too big"; |
| 33 | if (bucket < ca->sb.first_bucket) |
| 34 | return "bad, short offset"; |
| 35 | if (bucket >= ca->sb.nbuckets) |
| 36 | return "bad, offset past end of device"; |
| 37 | if (ptr_stale(c, k, i)) |
| 38 | return "stale"; |
| 39 | } |
| 40 | |
| 41 | if (!bkey_cmp(k, &ZERO_KEY)) |
| 42 | return "bad, null key"; |
| 43 | if (!KEY_PTRS(k)) |
| 44 | return "bad, no pointers"; |
| 45 | if (!KEY_SIZE(k)) |
| 46 | return "zeroed key"; |
| 47 | return ""; |
| 48 | } |
| 49 | |
Kent Overstreet | 85b1492 | 2013-05-14 20:33:16 -0700 | [diff] [blame] | 50 | int bch_bkey_to_text(char *buf, size_t size, const struct bkey *k) |
Kent Overstreet | cafe563 | 2013-03-23 16:11:31 -0700 | [diff] [blame] | 51 | { |
| 52 | unsigned i = 0; |
Kent Overstreet | 85b1492 | 2013-05-14 20:33:16 -0700 | [diff] [blame] | 53 | char *out = buf, *end = buf + size; |
Kent Overstreet | cafe563 | 2013-03-23 16:11:31 -0700 | [diff] [blame] | 54 | |
| 55 | #define p(...) (out += scnprintf(out, end - out, __VA_ARGS__)) |
| 56 | |
| 57 | p("%llu:%llu len %llu -> [", KEY_INODE(k), KEY_OFFSET(k), KEY_SIZE(k)); |
| 58 | |
| 59 | if (KEY_PTRS(k)) |
| 60 | while (1) { |
| 61 | p("%llu:%llu gen %llu", |
| 62 | PTR_DEV(k, i), PTR_OFFSET(k, i), PTR_GEN(k, i)); |
| 63 | |
| 64 | if (++i == KEY_PTRS(k)) |
| 65 | break; |
| 66 | |
| 67 | p(", "); |
| 68 | } |
| 69 | |
| 70 | p("]"); |
| 71 | |
| 72 | if (KEY_DIRTY(k)) |
| 73 | p(" dirty"); |
| 74 | if (KEY_CSUM(k)) |
| 75 | p(" cs%llu %llx", KEY_CSUM(k), k->ptr[1]); |
| 76 | #undef p |
Kent Overstreet | 85b1492 | 2013-05-14 20:33:16 -0700 | [diff] [blame] | 77 | return out - buf; |
Kent Overstreet | cafe563 | 2013-03-23 16:11:31 -0700 | [diff] [blame] | 78 | } |
| 79 | |
Kent Overstreet | 85b1492 | 2013-05-14 20:33:16 -0700 | [diff] [blame] | 80 | int bch_btree_to_text(char *buf, size_t size, const struct btree *b) |
Kent Overstreet | cafe563 | 2013-03-23 16:11:31 -0700 | [diff] [blame] | 81 | { |
Kent Overstreet | 85b1492 | 2013-05-14 20:33:16 -0700 | [diff] [blame] | 82 | return scnprintf(buf, size, "%zu level %i/%i", |
| 83 | PTR_BUCKET_NR(b->c, &b->key, 0), |
| 84 | b->level, b->c->root ? b->c->root->level : -1); |
Kent Overstreet | cafe563 | 2013-03-23 16:11:31 -0700 | [diff] [blame] | 85 | } |
| 86 | |
| 87 | #if defined(CONFIG_BCACHE_DEBUG) || defined(CONFIG_BCACHE_EDEBUG) |
| 88 | |
| 89 | static bool skipped_backwards(struct btree *b, struct bkey *k) |
| 90 | { |
| 91 | return bkey_cmp(k, (!b->level) |
| 92 | ? &START_KEY(bkey_next(k)) |
| 93 | : bkey_next(k)) > 0; |
| 94 | } |
| 95 | |
| 96 | static void dump_bset(struct btree *b, struct bset *i) |
| 97 | { |
| 98 | struct bkey *k; |
| 99 | unsigned j; |
Kent Overstreet | 85b1492 | 2013-05-14 20:33:16 -0700 | [diff] [blame] | 100 | char buf[80]; |
Kent Overstreet | cafe563 | 2013-03-23 16:11:31 -0700 | [diff] [blame] | 101 | |
| 102 | for (k = i->start; k < end(i); k = bkey_next(k)) { |
Kent Overstreet | 85b1492 | 2013-05-14 20:33:16 -0700 | [diff] [blame] | 103 | bch_bkey_to_text(buf, sizeof(buf), k); |
Kent Overstreet | cafe563 | 2013-03-23 16:11:31 -0700 | [diff] [blame] | 104 | printk(KERN_ERR "block %zu key %zi/%u: %s", index(i, b), |
Kent Overstreet | 85b1492 | 2013-05-14 20:33:16 -0700 | [diff] [blame] | 105 | (uint64_t *) k - i->d, i->keys, buf); |
Kent Overstreet | cafe563 | 2013-03-23 16:11:31 -0700 | [diff] [blame] | 106 | |
| 107 | for (j = 0; j < KEY_PTRS(k); j++) { |
| 108 | size_t n = PTR_BUCKET_NR(b->c, k, j); |
| 109 | printk(" bucket %zu", n); |
| 110 | |
| 111 | if (n >= b->c->sb.first_bucket && n < b->c->sb.nbuckets) |
| 112 | printk(" prio %i", |
| 113 | PTR_BUCKET(b->c, k, j)->prio); |
| 114 | } |
| 115 | |
| 116 | printk(" %s\n", bch_ptr_status(b->c, k)); |
| 117 | |
| 118 | if (bkey_next(k) < end(i) && |
| 119 | skipped_backwards(b, k)) |
| 120 | printk(KERN_ERR "Key skipped backwards\n"); |
| 121 | } |
| 122 | } |
| 123 | |
| 124 | #endif |
| 125 | |
| 126 | #ifdef CONFIG_BCACHE_DEBUG |
| 127 | |
| 128 | void bch_btree_verify(struct btree *b, struct bset *new) |
| 129 | { |
| 130 | struct btree *v = b->c->verify_data; |
| 131 | struct closure cl; |
| 132 | closure_init_stack(&cl); |
| 133 | |
| 134 | if (!b->c->verify) |
| 135 | return; |
| 136 | |
| 137 | closure_wait_event(&b->io.wait, &cl, |
| 138 | atomic_read(&b->io.cl.remaining) == -1); |
| 139 | |
| 140 | mutex_lock(&b->c->verify_lock); |
| 141 | |
| 142 | bkey_copy(&v->key, &b->key); |
| 143 | v->written = 0; |
| 144 | v->level = b->level; |
| 145 | |
Kent Overstreet | 5794351 | 2013-04-25 13:58:35 -0700 | [diff] [blame] | 146 | bch_btree_node_read(v); |
Kent Overstreet | cafe563 | 2013-03-23 16:11:31 -0700 | [diff] [blame] | 147 | closure_wait_event(&v->io.wait, &cl, |
| 148 | atomic_read(&b->io.cl.remaining) == -1); |
| 149 | |
| 150 | if (new->keys != v->sets[0].data->keys || |
| 151 | memcmp(new->start, |
| 152 | v->sets[0].data->start, |
| 153 | (void *) end(new) - (void *) new->start)) { |
| 154 | unsigned i, j; |
| 155 | |
| 156 | console_lock(); |
| 157 | |
| 158 | printk(KERN_ERR "*** original memory node:\n"); |
| 159 | for (i = 0; i <= b->nsets; i++) |
| 160 | dump_bset(b, b->sets[i].data); |
| 161 | |
| 162 | printk(KERN_ERR "*** sorted memory node:\n"); |
| 163 | dump_bset(b, new); |
| 164 | |
| 165 | printk(KERN_ERR "*** on disk node:\n"); |
| 166 | dump_bset(v, v->sets[0].data); |
| 167 | |
| 168 | for (j = 0; j < new->keys; j++) |
| 169 | if (new->d[j] != v->sets[0].data->d[j]) |
| 170 | break; |
| 171 | |
| 172 | console_unlock(); |
| 173 | panic("verify failed at %u\n", j); |
| 174 | } |
| 175 | |
| 176 | mutex_unlock(&b->c->verify_lock); |
| 177 | } |
| 178 | |
| 179 | static void data_verify_endio(struct bio *bio, int error) |
| 180 | { |
| 181 | struct closure *cl = bio->bi_private; |
| 182 | closure_put(cl); |
| 183 | } |
| 184 | |
| 185 | void bch_data_verify(struct search *s) |
| 186 | { |
| 187 | char name[BDEVNAME_SIZE]; |
| 188 | struct cached_dev *dc = container_of(s->d, struct cached_dev, disk); |
| 189 | struct closure *cl = &s->cl; |
| 190 | struct bio *check; |
| 191 | struct bio_vec *bv; |
| 192 | int i; |
| 193 | |
| 194 | if (!s->unaligned_bvec) |
| 195 | bio_for_each_segment(bv, s->orig_bio, i) |
| 196 | bv->bv_offset = 0, bv->bv_len = PAGE_SIZE; |
| 197 | |
| 198 | check = bio_clone(s->orig_bio, GFP_NOIO); |
| 199 | if (!check) |
| 200 | return; |
| 201 | |
Kent Overstreet | 8e51e41 | 2013-06-06 18:15:57 -0700 | [diff] [blame] | 202 | if (bio_alloc_pages(check, GFP_NOIO)) |
Kent Overstreet | cafe563 | 2013-03-23 16:11:31 -0700 | [diff] [blame] | 203 | goto out_put; |
| 204 | |
| 205 | check->bi_rw = READ_SYNC; |
| 206 | check->bi_private = cl; |
| 207 | check->bi_end_io = data_verify_endio; |
| 208 | |
| 209 | closure_bio_submit(check, cl, &dc->disk); |
| 210 | closure_sync(cl); |
| 211 | |
| 212 | bio_for_each_segment(bv, s->orig_bio, i) { |
| 213 | void *p1 = kmap(bv->bv_page); |
| 214 | void *p2 = kmap(check->bi_io_vec[i].bv_page); |
| 215 | |
| 216 | if (memcmp(p1 + bv->bv_offset, |
| 217 | p2 + bv->bv_offset, |
| 218 | bv->bv_len)) |
Kent Overstreet | b1a67b0 | 2013-03-25 11:46:44 -0700 | [diff] [blame] | 219 | printk(KERN_ERR |
| 220 | "bcache (%s): verify failed at sector %llu\n", |
Kent Overstreet | cafe563 | 2013-03-23 16:11:31 -0700 | [diff] [blame] | 221 | bdevname(dc->bdev, name), |
| 222 | (uint64_t) s->orig_bio->bi_sector); |
| 223 | |
| 224 | kunmap(bv->bv_page); |
| 225 | kunmap(check->bi_io_vec[i].bv_page); |
| 226 | } |
| 227 | |
| 228 | __bio_for_each_segment(bv, check, i, 0) |
| 229 | __free_page(bv->bv_page); |
| 230 | out_put: |
| 231 | bio_put(check); |
| 232 | } |
| 233 | |
| 234 | #endif |
| 235 | |
| 236 | #ifdef CONFIG_BCACHE_EDEBUG |
| 237 | |
| 238 | unsigned bch_count_data(struct btree *b) |
| 239 | { |
| 240 | unsigned ret = 0; |
| 241 | struct btree_iter iter; |
| 242 | struct bkey *k; |
| 243 | |
| 244 | if (!b->level) |
| 245 | for_each_key(b, k, &iter) |
| 246 | ret += KEY_SIZE(k); |
| 247 | return ret; |
| 248 | } |
| 249 | |
| 250 | static void vdump_bucket_and_panic(struct btree *b, const char *fmt, |
| 251 | va_list args) |
| 252 | { |
| 253 | unsigned i; |
Kent Overstreet | 85b1492 | 2013-05-14 20:33:16 -0700 | [diff] [blame] | 254 | char buf[80]; |
Kent Overstreet | cafe563 | 2013-03-23 16:11:31 -0700 | [diff] [blame] | 255 | |
| 256 | console_lock(); |
| 257 | |
| 258 | for (i = 0; i <= b->nsets; i++) |
| 259 | dump_bset(b, b->sets[i].data); |
| 260 | |
| 261 | vprintk(fmt, args); |
| 262 | |
| 263 | console_unlock(); |
| 264 | |
Kent Overstreet | 85b1492 | 2013-05-14 20:33:16 -0700 | [diff] [blame] | 265 | bch_btree_to_text(buf, sizeof(buf), b); |
| 266 | panic("at %s\n", buf); |
Kent Overstreet | cafe563 | 2013-03-23 16:11:31 -0700 | [diff] [blame] | 267 | } |
| 268 | |
| 269 | void bch_check_key_order_msg(struct btree *b, struct bset *i, |
| 270 | const char *fmt, ...) |
| 271 | { |
| 272 | struct bkey *k; |
| 273 | |
| 274 | if (!i->keys) |
| 275 | return; |
| 276 | |
| 277 | for (k = i->start; bkey_next(k) < end(i); k = bkey_next(k)) |
| 278 | if (skipped_backwards(b, k)) { |
| 279 | va_list args; |
| 280 | va_start(args, fmt); |
| 281 | |
| 282 | vdump_bucket_and_panic(b, fmt, args); |
| 283 | va_end(args); |
| 284 | } |
| 285 | } |
| 286 | |
| 287 | void bch_check_keys(struct btree *b, const char *fmt, ...) |
| 288 | { |
| 289 | va_list args; |
| 290 | struct bkey *k, *p = NULL; |
| 291 | struct btree_iter iter; |
| 292 | |
| 293 | if (b->level) |
| 294 | return; |
| 295 | |
| 296 | for_each_key(b, k, &iter) { |
| 297 | if (p && bkey_cmp(&START_KEY(p), &START_KEY(k)) > 0) { |
| 298 | printk(KERN_ERR "Keys out of order:\n"); |
| 299 | goto bug; |
| 300 | } |
| 301 | |
| 302 | if (bch_ptr_invalid(b, k)) |
| 303 | continue; |
| 304 | |
| 305 | if (p && bkey_cmp(p, &START_KEY(k)) > 0) { |
| 306 | printk(KERN_ERR "Overlapping keys:\n"); |
| 307 | goto bug; |
| 308 | } |
| 309 | p = k; |
| 310 | } |
| 311 | return; |
| 312 | bug: |
| 313 | va_start(args, fmt); |
| 314 | vdump_bucket_and_panic(b, fmt, args); |
| 315 | va_end(args); |
| 316 | } |
| 317 | |
| 318 | #endif |
| 319 | |
| 320 | #ifdef CONFIG_DEBUG_FS |
| 321 | |
| 322 | /* XXX: cache set refcounting */ |
| 323 | |
| 324 | struct dump_iterator { |
| 325 | char buf[PAGE_SIZE]; |
| 326 | size_t bytes; |
| 327 | struct cache_set *c; |
| 328 | struct keybuf keys; |
| 329 | }; |
| 330 | |
| 331 | static bool dump_pred(struct keybuf *buf, struct bkey *k) |
| 332 | { |
| 333 | return true; |
| 334 | } |
| 335 | |
| 336 | static ssize_t bch_dump_read(struct file *file, char __user *buf, |
| 337 | size_t size, loff_t *ppos) |
| 338 | { |
| 339 | struct dump_iterator *i = file->private_data; |
| 340 | ssize_t ret = 0; |
Kent Overstreet | 85b1492 | 2013-05-14 20:33:16 -0700 | [diff] [blame] | 341 | char kbuf[80]; |
Kent Overstreet | cafe563 | 2013-03-23 16:11:31 -0700 | [diff] [blame] | 342 | |
| 343 | while (size) { |
| 344 | struct keybuf_key *w; |
| 345 | unsigned bytes = min(i->bytes, size); |
| 346 | |
| 347 | int err = copy_to_user(buf, i->buf, bytes); |
| 348 | if (err) |
| 349 | return err; |
| 350 | |
| 351 | ret += bytes; |
| 352 | buf += bytes; |
| 353 | size -= bytes; |
| 354 | i->bytes -= bytes; |
| 355 | memmove(i->buf, i->buf + bytes, i->bytes); |
| 356 | |
| 357 | if (i->bytes) |
| 358 | break; |
| 359 | |
Kent Overstreet | 72c2706 | 2013-06-05 06:24:39 -0700 | [diff] [blame] | 360 | w = bch_keybuf_next_rescan(i->c, &i->keys, &MAX_KEY, dump_pred); |
Kent Overstreet | cafe563 | 2013-03-23 16:11:31 -0700 | [diff] [blame] | 361 | if (!w) |
| 362 | break; |
| 363 | |
Kent Overstreet | 85b1492 | 2013-05-14 20:33:16 -0700 | [diff] [blame] | 364 | bch_bkey_to_text(kbuf, sizeof(kbuf), &w->key); |
| 365 | i->bytes = snprintf(i->buf, PAGE_SIZE, "%s\n", kbuf); |
Kent Overstreet | cafe563 | 2013-03-23 16:11:31 -0700 | [diff] [blame] | 366 | bch_keybuf_del(&i->keys, w); |
| 367 | } |
| 368 | |
| 369 | return ret; |
| 370 | } |
| 371 | |
| 372 | static int bch_dump_open(struct inode *inode, struct file *file) |
| 373 | { |
| 374 | struct cache_set *c = inode->i_private; |
| 375 | struct dump_iterator *i; |
| 376 | |
| 377 | i = kzalloc(sizeof(struct dump_iterator), GFP_KERNEL); |
| 378 | if (!i) |
| 379 | return -ENOMEM; |
| 380 | |
| 381 | file->private_data = i; |
| 382 | i->c = c; |
Kent Overstreet | 72c2706 | 2013-06-05 06:24:39 -0700 | [diff] [blame] | 383 | bch_keybuf_init(&i->keys); |
Kent Overstreet | cafe563 | 2013-03-23 16:11:31 -0700 | [diff] [blame] | 384 | i->keys.last_scanned = KEY(0, 0, 0); |
| 385 | |
| 386 | return 0; |
| 387 | } |
| 388 | |
| 389 | static int bch_dump_release(struct inode *inode, struct file *file) |
| 390 | { |
| 391 | kfree(file->private_data); |
| 392 | return 0; |
| 393 | } |
| 394 | |
| 395 | static const struct file_operations cache_set_debug_ops = { |
| 396 | .owner = THIS_MODULE, |
| 397 | .open = bch_dump_open, |
| 398 | .read = bch_dump_read, |
| 399 | .release = bch_dump_release |
| 400 | }; |
| 401 | |
| 402 | void bch_debug_init_cache_set(struct cache_set *c) |
| 403 | { |
| 404 | if (!IS_ERR_OR_NULL(debug)) { |
| 405 | char name[50]; |
| 406 | snprintf(name, 50, "bcache-%pU", c->sb.set_uuid); |
| 407 | |
| 408 | c->debug = debugfs_create_file(name, 0400, debug, c, |
| 409 | &cache_set_debug_ops); |
| 410 | } |
| 411 | } |
| 412 | |
| 413 | #endif |
| 414 | |
Kent Overstreet | cafe563 | 2013-03-23 16:11:31 -0700 | [diff] [blame] | 415 | void bch_debug_exit(void) |
| 416 | { |
| 417 | if (!IS_ERR_OR_NULL(debug)) |
| 418 | debugfs_remove_recursive(debug); |
| 419 | } |
| 420 | |
| 421 | int __init bch_debug_init(struct kobject *kobj) |
| 422 | { |
| 423 | int ret = 0; |
Kent Overstreet | cafe563 | 2013-03-23 16:11:31 -0700 | [diff] [blame] | 424 | |
| 425 | debug = debugfs_create_dir("bcache", NULL); |
| 426 | return ret; |
| 427 | } |