1 // SPDX-License-Identifier: GPL-2.0 2 3 #include "bcachefs.h" 4 #include "alloc_foreground.h" 5 #include "bkey_buf.h" 6 #include "btree_update.h" 7 #include "buckets.h" 8 #include "compress.h" 9 #include "data_update.h" 10 #include "disk_groups.h" 11 #include "ec.h" 12 #include "error.h" 13 #include "extents.h" 14 #include "io_write.h" 15 #include "keylist.h" 16 #include "move.h" 17 #include "nocow_locking.h" 18 #include "rebalance.h" 19 #include "snapshot.h" 20 #include "subvolume.h" 21 #include "trace.h" 22 23 static void trace_move_extent_finish2(struct bch_fs *c, struct bkey_s_c k) 24 { 25 if (trace_move_extent_finish_enabled()) { 26 struct printbuf buf = PRINTBUF; 27 28 bch2_bkey_val_to_text(&buf, c, k); 29 trace_move_extent_finish(c, buf.buf); 30 printbuf_exit(&buf); 31 } 32 } 33 34 static void trace_move_extent_fail2(struct data_update *m, 35 struct bkey_s_c new, 36 struct bkey_s_c wrote, 37 struct bkey_i *insert, 38 const char *msg) 39 { 40 struct bch_fs *c = m->op.c; 41 struct bkey_s_c old = bkey_i_to_s_c(m->k.k); 42 const union bch_extent_entry *entry; 43 struct bch_extent_ptr *ptr; 44 struct extent_ptr_decoded p; 45 struct printbuf buf = PRINTBUF; 46 unsigned i, rewrites_found = 0; 47 48 if (!trace_move_extent_fail_enabled()) 49 return; 50 51 prt_str(&buf, msg); 52 53 if (insert) { 54 i = 0; 55 bkey_for_each_ptr_decode(old.k, bch2_bkey_ptrs_c(old), p, entry) { 56 if (((1U << i) & m->data_opts.rewrite_ptrs) && 57 (ptr = bch2_extent_has_ptr(old, p, bkey_i_to_s(insert))) && 58 !ptr->cached) 59 rewrites_found |= 1U << i; 60 i++; 61 } 62 } 63 64 prt_printf(&buf, "\nrewrite ptrs: %u%u%u%u", 65 (m->data_opts.rewrite_ptrs & (1 << 0)) != 0, 66 (m->data_opts.rewrite_ptrs & (1 << 1)) != 0, 67 (m->data_opts.rewrite_ptrs & (1 << 2)) != 0, 68 (m->data_opts.rewrite_ptrs & (1 << 3)) != 0); 69 70 prt_printf(&buf, "\nrewrites found: %u%u%u%u", 71 (rewrites_found & (1 << 0)) != 0, 72 (rewrites_found & (1 << 1)) != 0, 73 (rewrites_found & (1 << 2)) != 0, 74 (rewrites_found & (1 << 3)) != 0); 75 76 prt_str(&buf, "\nold: "); 77 bch2_bkey_val_to_text(&buf, c, old); 78 79 prt_str(&buf, "\nnew: "); 80 bch2_bkey_val_to_text(&buf, c, new); 81 82 prt_str(&buf, "\nwrote: "); 83 bch2_bkey_val_to_text(&buf, c, wrote); 84 85 if (insert) { 86 prt_str(&buf, "\ninsert: "); 87 bch2_bkey_val_to_text(&buf, c, bkey_i_to_s_c(insert)); 88 } 89 90 trace_move_extent_fail(c, buf.buf); 91 printbuf_exit(&buf); 92 } 93 94 static int __bch2_data_update_index_update(struct btree_trans *trans, 95 struct bch_write_op *op) 96 { 97 struct bch_fs *c = op->c; 98 struct btree_iter iter; 99 struct data_update *m = 100 container_of(op, struct data_update, op); 101 struct keylist *keys = &op->insert_keys; 102 struct bkey_buf _new, _insert; 103 int ret = 0; 104 105 bch2_bkey_buf_init(&_new); 106 bch2_bkey_buf_init(&_insert); 107 bch2_bkey_buf_realloc(&_insert, c, U8_MAX); 108 109 bch2_trans_iter_init(trans, &iter, m->btree_id, 110 bkey_start_pos(&bch2_keylist_front(keys)->k), 111 BTREE_ITER_slots|BTREE_ITER_intent); 112 113 while (1) { 114 struct bkey_s_c k; 115 struct bkey_s_c old = bkey_i_to_s_c(m->k.k); 116 struct bkey_i *insert = NULL; 117 struct bkey_i_extent *new; 118 const union bch_extent_entry *entry_c; 119 union bch_extent_entry *entry; 120 struct extent_ptr_decoded p; 121 struct bch_extent_ptr *ptr; 122 const struct bch_extent_ptr *ptr_c; 123 struct bpos next_pos; 124 bool should_check_enospc; 125 s64 i_sectors_delta = 0, disk_sectors_delta = 0; 126 unsigned rewrites_found = 0, durability, i; 127 128 bch2_trans_begin(trans); 129 130 k = bch2_btree_iter_peek_slot(&iter); 131 ret = bkey_err(k); 132 if (ret) 133 goto err; 134 135 new = bkey_i_to_extent(bch2_keylist_front(keys)); 136 137 if (!bch2_extents_match(k, old)) { 138 trace_move_extent_fail2(m, k, bkey_i_to_s_c(&new->k_i), 139 NULL, "no match:"); 140 goto nowork; 141 } 142 143 bkey_reassemble(_insert.k, k); 144 insert = _insert.k; 145 146 bch2_bkey_buf_copy(&_new, c, bch2_keylist_front(keys)); 147 new = bkey_i_to_extent(_new.k); 148 bch2_cut_front(iter.pos, &new->k_i); 149 150 bch2_cut_front(iter.pos, insert); 151 bch2_cut_back(new->k.p, insert); 152 bch2_cut_back(insert->k.p, &new->k_i); 153 154 /* 155 * @old: extent that we read from 156 * @insert: key that we're going to update, initialized from 157 * extent currently in btree - same as @old unless we raced with 158 * other updates 159 * @new: extent with new pointers that we'll be adding to @insert 160 * 161 * Fist, drop rewrite_ptrs from @new: 162 */ 163 i = 0; 164 bkey_for_each_ptr_decode(old.k, bch2_bkey_ptrs_c(old), p, entry_c) { 165 if (((1U << i) & m->data_opts.rewrite_ptrs) && 166 (ptr = bch2_extent_has_ptr(old, p, bkey_i_to_s(insert))) && 167 !ptr->cached) { 168 bch2_extent_ptr_set_cached(bkey_i_to_s(insert), ptr); 169 rewrites_found |= 1U << i; 170 } 171 i++; 172 } 173 174 if (m->data_opts.rewrite_ptrs && 175 !rewrites_found && 176 bch2_bkey_durability(c, k) >= m->op.opts.data_replicas) { 177 trace_move_extent_fail2(m, k, bkey_i_to_s_c(&new->k_i), insert, "no rewrites found:"); 178 goto nowork; 179 } 180 181 /* 182 * A replica that we just wrote might conflict with a replica 183 * that we want to keep, due to racing with another move: 184 */ 185 restart_drop_conflicting_replicas: 186 extent_for_each_ptr(extent_i_to_s(new), ptr) 187 if ((ptr_c = bch2_bkey_has_device_c(bkey_i_to_s_c(insert), ptr->dev)) && 188 !ptr_c->cached) { 189 bch2_bkey_drop_ptr_noerror(bkey_i_to_s(&new->k_i), ptr); 190 goto restart_drop_conflicting_replicas; 191 } 192 193 if (!bkey_val_u64s(&new->k)) { 194 trace_move_extent_fail2(m, k, bkey_i_to_s_c(&new->k_i), insert, "new replicas conflicted:"); 195 goto nowork; 196 } 197 198 /* Now, drop pointers that conflict with what we just wrote: */ 199 extent_for_each_ptr_decode(extent_i_to_s(new), p, entry) 200 if ((ptr = bch2_bkey_has_device(bkey_i_to_s(insert), p.ptr.dev))) 201 bch2_bkey_drop_ptr_noerror(bkey_i_to_s(insert), ptr); 202 203 durability = bch2_bkey_durability(c, bkey_i_to_s_c(insert)) + 204 bch2_bkey_durability(c, bkey_i_to_s_c(&new->k_i)); 205 206 /* Now, drop excess replicas: */ 207 rcu_read_lock(); 208 restart_drop_extra_replicas: 209 bkey_for_each_ptr_decode(old.k, bch2_bkey_ptrs(bkey_i_to_s(insert)), p, entry) { 210 unsigned ptr_durability = bch2_extent_ptr_durability(c, &p); 211 212 if (!p.ptr.cached && 213 durability - ptr_durability >= m->op.opts.data_replicas) { 214 durability -= ptr_durability; 215 216 bch2_extent_ptr_set_cached(bkey_i_to_s(insert), &entry->ptr); 217 goto restart_drop_extra_replicas; 218 } 219 } 220 rcu_read_unlock(); 221 222 /* Finally, add the pointers we just wrote: */ 223 extent_for_each_ptr_decode(extent_i_to_s(new), p, entry) 224 bch2_extent_ptr_decoded_append(insert, &p); 225 226 bch2_bkey_narrow_crcs(insert, (struct bch_extent_crc_unpacked) { 0 }); 227 bch2_extent_normalize(c, bkey_i_to_s(insert)); 228 229 ret = bch2_sum_sector_overwrites(trans, &iter, insert, 230 &should_check_enospc, 231 &i_sectors_delta, 232 &disk_sectors_delta); 233 if (ret) 234 goto err; 235 236 if (disk_sectors_delta > (s64) op->res.sectors) { 237 ret = bch2_disk_reservation_add(c, &op->res, 238 disk_sectors_delta - op->res.sectors, 239 !should_check_enospc 240 ? BCH_DISK_RESERVATION_NOFAIL : 0); 241 if (ret) 242 goto out; 243 } 244 245 next_pos = insert->k.p; 246 247 /* 248 * Check for nonce offset inconsistency: 249 * This is debug code - we've been seeing this bug rarely, and 250 * it's been hard to reproduce, so this should give us some more 251 * information when it does occur: 252 */ 253 int invalid = bch2_bkey_validate(c, bkey_i_to_s_c(insert), __btree_node_type(0, m->btree_id), 254 BCH_VALIDATE_commit); 255 if (invalid) { 256 struct printbuf buf = PRINTBUF; 257 258 prt_str(&buf, "about to insert invalid key in data update path"); 259 prt_str(&buf, "\nold: "); 260 bch2_bkey_val_to_text(&buf, c, old); 261 prt_str(&buf, "\nk: "); 262 bch2_bkey_val_to_text(&buf, c, k); 263 prt_str(&buf, "\nnew: "); 264 bch2_bkey_val_to_text(&buf, c, bkey_i_to_s_c(insert)); 265 266 bch2_print_string_as_lines(KERN_ERR, buf.buf); 267 printbuf_exit(&buf); 268 269 bch2_fatal_error(c); 270 goto out; 271 } 272 273 if (trace_data_update_enabled()) { 274 struct printbuf buf = PRINTBUF; 275 276 prt_str(&buf, "\nold: "); 277 bch2_bkey_val_to_text(&buf, c, old); 278 prt_str(&buf, "\nk: "); 279 bch2_bkey_val_to_text(&buf, c, k); 280 prt_str(&buf, "\nnew: "); 281 bch2_bkey_val_to_text(&buf, c, bkey_i_to_s_c(insert)); 282 283 trace_data_update(c, buf.buf); 284 printbuf_exit(&buf); 285 } 286 287 ret = bch2_insert_snapshot_whiteouts(trans, m->btree_id, 288 k.k->p, bkey_start_pos(&insert->k)) ?: 289 bch2_insert_snapshot_whiteouts(trans, m->btree_id, 290 k.k->p, insert->k.p) ?: 291 bch2_bkey_set_needs_rebalance(c, insert, &op->opts) ?: 292 bch2_trans_update(trans, &iter, insert, 293 BTREE_UPDATE_internal_snapshot_node) ?: 294 bch2_trans_commit(trans, &op->res, 295 NULL, 296 BCH_TRANS_COMMIT_no_check_rw| 297 BCH_TRANS_COMMIT_no_enospc| 298 m->data_opts.btree_insert_flags); 299 if (!ret) { 300 bch2_btree_iter_set_pos(&iter, next_pos); 301 302 this_cpu_add(c->counters[BCH_COUNTER_move_extent_finish], new->k.size); 303 trace_move_extent_finish2(c, bkey_i_to_s_c(&new->k_i)); 304 } 305 err: 306 if (bch2_err_matches(ret, BCH_ERR_transaction_restart)) 307 ret = 0; 308 if (ret) 309 break; 310 next: 311 while (bkey_ge(iter.pos, bch2_keylist_front(keys)->k.p)) { 312 bch2_keylist_pop_front(keys); 313 if (bch2_keylist_empty(keys)) 314 goto out; 315 } 316 continue; 317 nowork: 318 if (m->stats) { 319 BUG_ON(k.k->p.offset <= iter.pos.offset); 320 atomic64_inc(&m->stats->keys_raced); 321 atomic64_add(k.k->p.offset - iter.pos.offset, 322 &m->stats->sectors_raced); 323 } 324 325 count_event(c, move_extent_fail); 326 327 bch2_btree_iter_advance(&iter); 328 goto next; 329 } 330 out: 331 bch2_trans_iter_exit(trans, &iter); 332 bch2_bkey_buf_exit(&_insert, c); 333 bch2_bkey_buf_exit(&_new, c); 334 BUG_ON(bch2_err_matches(ret, BCH_ERR_transaction_restart)); 335 return ret; 336 } 337 338 int bch2_data_update_index_update(struct bch_write_op *op) 339 { 340 return bch2_trans_run(op->c, __bch2_data_update_index_update(trans, op)); 341 } 342 343 void bch2_data_update_read_done(struct data_update *m, 344 struct bch_extent_crc_unpacked crc) 345 { 346 /* write bio must own pages: */ 347 BUG_ON(!m->op.wbio.bio.bi_vcnt); 348 349 m->op.crc = crc; 350 m->op.wbio.bio.bi_iter.bi_size = crc.compressed_size << 9; 351 352 closure_call(&m->op.cl, bch2_write, NULL, NULL); 353 } 354 355 void bch2_data_update_exit(struct data_update *update) 356 { 357 struct bch_fs *c = update->op.c; 358 struct bkey_ptrs_c ptrs = 359 bch2_bkey_ptrs_c(bkey_i_to_s_c(update->k.k)); 360 361 bkey_for_each_ptr(ptrs, ptr) { 362 struct bch_dev *ca = bch2_dev_have_ref(c, ptr->dev); 363 if (c->opts.nocow_enabled) 364 bch2_bucket_nocow_unlock(&c->nocow_locks, 365 PTR_BUCKET_POS(ca, ptr), 0); 366 bch2_dev_put(ca); 367 } 368 369 bch2_bkey_buf_exit(&update->k, c); 370 bch2_disk_reservation_put(c, &update->op.res); 371 bch2_bio_free_pages_pool(c, &update->op.wbio.bio); 372 } 373 374 static void bch2_update_unwritten_extent(struct btree_trans *trans, 375 struct data_update *update) 376 { 377 struct bch_fs *c = update->op.c; 378 struct bio *bio = &update->op.wbio.bio; 379 struct bkey_i_extent *e; 380 struct write_point *wp; 381 struct closure cl; 382 struct btree_iter iter; 383 struct bkey_s_c k; 384 int ret; 385 386 closure_init_stack(&cl); 387 bch2_keylist_init(&update->op.insert_keys, update->op.inline_keys); 388 389 while (bio_sectors(bio)) { 390 unsigned sectors = bio_sectors(bio); 391 392 bch2_trans_begin(trans); 393 394 bch2_trans_iter_init(trans, &iter, update->btree_id, update->op.pos, 395 BTREE_ITER_slots); 396 ret = lockrestart_do(trans, ({ 397 k = bch2_btree_iter_peek_slot(&iter); 398 bkey_err(k); 399 })); 400 bch2_trans_iter_exit(trans, &iter); 401 402 if (ret || !bch2_extents_match(k, bkey_i_to_s_c(update->k.k))) 403 break; 404 405 e = bkey_extent_init(update->op.insert_keys.top); 406 e->k.p = update->op.pos; 407 408 ret = bch2_alloc_sectors_start_trans(trans, 409 update->op.target, 410 false, 411 update->op.write_point, 412 &update->op.devs_have, 413 update->op.nr_replicas, 414 update->op.nr_replicas, 415 update->op.watermark, 416 0, &cl, &wp); 417 if (bch2_err_matches(ret, BCH_ERR_operation_blocked)) { 418 bch2_trans_unlock(trans); 419 closure_sync(&cl); 420 continue; 421 } 422 423 bch_err_fn_ratelimited(c, ret); 424 425 if (ret) 426 return; 427 428 sectors = min(sectors, wp->sectors_free); 429 430 bch2_key_resize(&e->k, sectors); 431 432 bch2_open_bucket_get(c, wp, &update->op.open_buckets); 433 bch2_alloc_sectors_append_ptrs(c, wp, &e->k_i, sectors, false); 434 bch2_alloc_sectors_done(c, wp); 435 436 bio_advance(bio, sectors << 9); 437 update->op.pos.offset += sectors; 438 439 extent_for_each_ptr(extent_i_to_s(e), ptr) 440 ptr->unwritten = true; 441 bch2_keylist_push(&update->op.insert_keys); 442 443 ret = __bch2_data_update_index_update(trans, &update->op); 444 445 bch2_open_buckets_put(c, &update->op.open_buckets); 446 447 if (ret) 448 break; 449 } 450 451 if (closure_nr_remaining(&cl) != 1) { 452 bch2_trans_unlock(trans); 453 closure_sync(&cl); 454 } 455 } 456 457 void bch2_data_update_opts_to_text(struct printbuf *out, struct bch_fs *c, 458 struct bch_io_opts *io_opts, 459 struct data_update_opts *data_opts) 460 { 461 printbuf_tabstop_push(out, 20); 462 prt_str(out, "rewrite ptrs:\t"); 463 bch2_prt_u64_base2(out, data_opts->rewrite_ptrs); 464 prt_newline(out); 465 466 prt_str(out, "kill ptrs:\t"); 467 bch2_prt_u64_base2(out, data_opts->kill_ptrs); 468 prt_newline(out); 469 470 prt_str(out, "target:\t"); 471 bch2_target_to_text(out, c, data_opts->target); 472 prt_newline(out); 473 474 prt_str(out, "compression:\t"); 475 bch2_compression_opt_to_text(out, background_compression(*io_opts)); 476 prt_newline(out); 477 478 prt_str(out, "extra replicas:\t"); 479 prt_u64(out, data_opts->extra_replicas); 480 } 481 482 void bch2_data_update_to_text(struct printbuf *out, struct data_update *m) 483 { 484 bch2_bkey_val_to_text(out, m->op.c, bkey_i_to_s_c(m->k.k)); 485 prt_newline(out); 486 bch2_data_update_opts_to_text(out, m->op.c, &m->op.opts, &m->data_opts); 487 } 488 489 int bch2_extent_drop_ptrs(struct btree_trans *trans, 490 struct btree_iter *iter, 491 struct bkey_s_c k, 492 struct data_update_opts data_opts) 493 { 494 struct bch_fs *c = trans->c; 495 struct bkey_i *n; 496 int ret; 497 498 n = bch2_bkey_make_mut_noupdate(trans, k); 499 ret = PTR_ERR_OR_ZERO(n); 500 if (ret) 501 return ret; 502 503 while (data_opts.kill_ptrs) { 504 unsigned i = 0, drop = __fls(data_opts.kill_ptrs); 505 506 bch2_bkey_drop_ptrs(bkey_i_to_s(n), ptr, i++ == drop); 507 data_opts.kill_ptrs ^= 1U << drop; 508 } 509 510 /* 511 * If the new extent no longer has any pointers, bch2_extent_normalize() 512 * will do the appropriate thing with it (turning it into a 513 * KEY_TYPE_error key, or just a discard if it was a cached extent) 514 */ 515 bch2_extent_normalize(c, bkey_i_to_s(n)); 516 517 /* 518 * Since we're not inserting through an extent iterator 519 * (BTREE_ITER_all_snapshots iterators aren't extent iterators), 520 * we aren't using the extent overwrite path to delete, we're 521 * just using the normal key deletion path: 522 */ 523 if (bkey_deleted(&n->k) && !(iter->flags & BTREE_ITER_is_extents)) 524 n->k.size = 0; 525 526 return bch2_trans_relock(trans) ?: 527 bch2_trans_update(trans, iter, n, BTREE_UPDATE_internal_snapshot_node) ?: 528 bch2_trans_commit(trans, NULL, NULL, BCH_TRANS_COMMIT_no_enospc); 529 } 530 531 int bch2_data_update_init(struct btree_trans *trans, 532 struct btree_iter *iter, 533 struct moving_context *ctxt, 534 struct data_update *m, 535 struct write_point_specifier wp, 536 struct bch_io_opts io_opts, 537 struct data_update_opts data_opts, 538 enum btree_id btree_id, 539 struct bkey_s_c k) 540 { 541 struct bch_fs *c = trans->c; 542 struct bkey_ptrs_c ptrs = bch2_bkey_ptrs_c(k); 543 const union bch_extent_entry *entry; 544 struct extent_ptr_decoded p; 545 unsigned i, reserve_sectors = k.k->size * data_opts.extra_replicas; 546 unsigned ptrs_locked = 0; 547 int ret = 0; 548 549 /* 550 * fs is corrupt we have a key for a snapshot node that doesn't exist, 551 * and we have to check for this because we go rw before repairing the 552 * snapshots table - just skip it, we can move it later. 553 */ 554 if (unlikely(k.k->p.snapshot && !bch2_snapshot_equiv(c, k.k->p.snapshot))) 555 return -BCH_ERR_data_update_done; 556 557 bch2_bkey_buf_init(&m->k); 558 bch2_bkey_buf_reassemble(&m->k, c, k); 559 m->btree_id = btree_id; 560 m->data_opts = data_opts; 561 m->ctxt = ctxt; 562 m->stats = ctxt ? ctxt->stats : NULL; 563 564 bch2_write_op_init(&m->op, c, io_opts); 565 m->op.pos = bkey_start_pos(k.k); 566 m->op.version = k.k->version; 567 m->op.target = data_opts.target; 568 m->op.write_point = wp; 569 m->op.nr_replicas = 0; 570 m->op.flags |= BCH_WRITE_PAGES_STABLE| 571 BCH_WRITE_PAGES_OWNED| 572 BCH_WRITE_DATA_ENCODED| 573 BCH_WRITE_MOVE| 574 m->data_opts.write_flags; 575 m->op.compression_opt = background_compression(io_opts); 576 m->op.watermark = m->data_opts.btree_insert_flags & BCH_WATERMARK_MASK; 577 578 bkey_for_each_ptr(ptrs, ptr) { 579 if (!bch2_dev_tryget(c, ptr->dev)) { 580 bkey_for_each_ptr(ptrs, ptr2) { 581 if (ptr2 == ptr) 582 break; 583 bch2_dev_put(bch2_dev_have_ref(c, ptr2->dev)); 584 } 585 return -BCH_ERR_data_update_done; 586 } 587 } 588 589 unsigned durability_have = 0, durability_removing = 0; 590 591 i = 0; 592 bkey_for_each_ptr_decode(k.k, ptrs, p, entry) { 593 struct bch_dev *ca = bch2_dev_have_ref(c, p.ptr.dev); 594 struct bpos bucket = PTR_BUCKET_POS(ca, &p.ptr); 595 bool locked; 596 597 rcu_read_lock(); 598 if (((1U << i) & m->data_opts.rewrite_ptrs)) { 599 BUG_ON(p.ptr.cached); 600 601 if (crc_is_compressed(p.crc)) 602 reserve_sectors += k.k->size; 603 604 m->op.nr_replicas += bch2_extent_ptr_desired_durability(c, &p); 605 durability_removing += bch2_extent_ptr_desired_durability(c, &p); 606 } else if (!p.ptr.cached && 607 !((1U << i) & m->data_opts.kill_ptrs)) { 608 bch2_dev_list_add_dev(&m->op.devs_have, p.ptr.dev); 609 durability_have += bch2_extent_ptr_durability(c, &p); 610 } 611 rcu_read_unlock(); 612 613 /* 614 * op->csum_type is normally initialized from the fs/file's 615 * current options - but if an extent is encrypted, we require 616 * that it stays encrypted: 617 */ 618 if (bch2_csum_type_is_encryption(p.crc.csum_type)) { 619 m->op.nonce = p.crc.nonce + p.crc.offset; 620 m->op.csum_type = p.crc.csum_type; 621 } 622 623 if (p.crc.compression_type == BCH_COMPRESSION_TYPE_incompressible) 624 m->op.incompressible = true; 625 626 if (c->opts.nocow_enabled) { 627 if (ctxt) { 628 move_ctxt_wait_event(ctxt, 629 (locked = bch2_bucket_nocow_trylock(&c->nocow_locks, 630 bucket, 0)) || 631 list_empty(&ctxt->ios)); 632 633 if (!locked) 634 bch2_bucket_nocow_lock(&c->nocow_locks, bucket, 0); 635 } else { 636 if (!bch2_bucket_nocow_trylock(&c->nocow_locks, bucket, 0)) { 637 ret = -BCH_ERR_nocow_lock_blocked; 638 goto err; 639 } 640 } 641 ptrs_locked |= (1U << i); 642 } 643 644 i++; 645 } 646 647 unsigned durability_required = max(0, (int) (io_opts.data_replicas - durability_have)); 648 649 /* 650 * If current extent durability is less than io_opts.data_replicas, 651 * we're not trying to rereplicate the extent up to data_replicas here - 652 * unless extra_replicas was specified 653 * 654 * Increasing replication is an explicit operation triggered by 655 * rereplicate, currently, so that users don't get an unexpected -ENOSPC 656 */ 657 if (!(m->data_opts.write_flags & BCH_WRITE_CACHED) && 658 !durability_required) { 659 m->data_opts.kill_ptrs |= m->data_opts.rewrite_ptrs; 660 m->data_opts.rewrite_ptrs = 0; 661 /* if iter == NULL, it's just a promote */ 662 if (iter) 663 ret = bch2_extent_drop_ptrs(trans, iter, k, m->data_opts); 664 goto done; 665 } 666 667 m->op.nr_replicas = min(durability_removing, durability_required) + 668 m->data_opts.extra_replicas; 669 670 /* 671 * If device(s) were set to durability=0 after data was written to them 672 * we can end up with a duribilty=0 extent, and the normal algorithm 673 * that tries not to increase durability doesn't work: 674 */ 675 if (!(durability_have + durability_removing)) 676 m->op.nr_replicas = max((unsigned) m->op.nr_replicas, 1); 677 678 if (!m->op.nr_replicas) { 679 struct printbuf buf = PRINTBUF; 680 681 bch2_data_update_to_text(&buf, m); 682 WARN(1, "trying to move an extent, but nr_replicas=0\n%s", buf.buf); 683 printbuf_exit(&buf); 684 ret = -BCH_ERR_data_update_done; 685 goto done; 686 } 687 688 m->op.nr_replicas_required = m->op.nr_replicas; 689 690 if (reserve_sectors) { 691 ret = bch2_disk_reservation_add(c, &m->op.res, reserve_sectors, 692 m->data_opts.extra_replicas 693 ? 0 694 : BCH_DISK_RESERVATION_NOFAIL); 695 if (ret) 696 goto err; 697 } 698 699 if (bkey_extent_is_unwritten(k)) { 700 bch2_update_unwritten_extent(trans, m); 701 goto done; 702 } 703 704 return 0; 705 err: 706 i = 0; 707 bkey_for_each_ptr_decode(k.k, ptrs, p, entry) { 708 struct bch_dev *ca = bch2_dev_have_ref(c, p.ptr.dev); 709 struct bpos bucket = PTR_BUCKET_POS(ca, &p.ptr); 710 if ((1U << i) & ptrs_locked) 711 bch2_bucket_nocow_unlock(&c->nocow_locks, bucket, 0); 712 bch2_dev_put(ca); 713 i++; 714 } 715 716 bch2_bkey_buf_exit(&m->k, c); 717 bch2_bio_free_pages_pool(c, &m->op.wbio.bio); 718 return ret; 719 done: 720 bch2_data_update_exit(m); 721 return ret ?: -BCH_ERR_data_update_done; 722 } 723 724 void bch2_data_update_opts_normalize(struct bkey_s_c k, struct data_update_opts *opts) 725 { 726 struct bkey_ptrs_c ptrs = bch2_bkey_ptrs_c(k); 727 unsigned i = 0; 728 729 bkey_for_each_ptr(ptrs, ptr) { 730 if ((opts->rewrite_ptrs & (1U << i)) && ptr->cached) { 731 opts->kill_ptrs |= 1U << i; 732 opts->rewrite_ptrs ^= 1U << i; 733 } 734 735 i++; 736 } 737 } 738