1 // SPDX-License-Identifier: GPL-2.0
3 * Copyright 2010, 2011 Kent Overstreet <kent.overstreet@gmail.com>
4 * Copyright 2012 Google, Inc.
8 #include "alloc_foreground.h"
11 #include "btree_update.h"
19 #include "extent_update.h"
25 #include "nocow_locking.h"
26 #include "rebalance.h"
27 #include "subvolume.h"
32 #include <linux/blkdev.h>
33 #include <linux/prefetch.h>
34 #include <linux/random.h>
35 #include <linux/sched/mm.h>
37 #ifndef CONFIG_BCACHEFS_NO_LATENCY_ACCT
39 static inline void bch2_congested_acct(struct bch_dev *ca, u64 io_latency,
43 ca->io_latency[rw].quantiles.entries[QUANTILE_IDX(1)].m;
44 /* ideally we'd be taking into account the device's variance here: */
45 u64 latency_threshold = latency_capable << (rw == READ ? 2 : 3);
46 s64 latency_over = io_latency - latency_threshold;
48 if (latency_threshold && latency_over > 0) {
50 * bump up congested by approximately latency_over * 4 /
51 * latency_threshold - we don't need much accuracy here so don't
52 * bother with the divide:
54 if (atomic_read(&ca->congested) < CONGESTED_MAX)
55 atomic_add(latency_over >>
56 max_t(int, ilog2(latency_threshold) - 2, 0),
59 ca->congested_last = now;
60 } else if (atomic_read(&ca->congested) > 0) {
61 atomic_dec(&ca->congested);
65 void bch2_latency_acct(struct bch_dev *ca, u64 submit_time, int rw)
67 atomic64_t *latency = &ca->cur_latency[rw];
68 u64 now = local_clock();
69 u64 io_latency = time_after64(now, submit_time)
72 u64 old, new, v = atomic64_read(latency);
78 * If the io latency was reasonably close to the current
79 * latency, skip doing the update and atomic operation - most of
82 if (abs((int) (old - io_latency)) < (old >> 1) &&
86 new = ewma_add(old, io_latency, 5);
87 } while ((v = atomic64_cmpxchg(latency, old, new)) != old);
89 bch2_congested_acct(ca, io_latency, now, rw);
91 __bch2_time_stats_update(&ca->io_latency[rw], submit_time, now);
96 /* Allocate, free from mempool: */
98 void bch2_bio_free_pages_pool(struct bch_fs *c, struct bio *bio)
100 struct bvec_iter_all iter;
103 bio_for_each_segment_all(bv, bio, iter)
104 if (bv->bv_page != ZERO_PAGE(0))
105 mempool_free(bv->bv_page, &c->bio_bounce_pages);
109 static struct page *__bio_alloc_page_pool(struct bch_fs *c, bool *using_mempool)
113 if (likely(!*using_mempool)) {
114 page = alloc_page(GFP_NOFS);
115 if (unlikely(!page)) {
116 mutex_lock(&c->bio_bounce_pages_lock);
117 *using_mempool = true;
123 page = mempool_alloc(&c->bio_bounce_pages, GFP_NOFS);
129 void bch2_bio_alloc_pages_pool(struct bch_fs *c, struct bio *bio,
132 bool using_mempool = false;
135 struct page *page = __bio_alloc_page_pool(c, &using_mempool);
136 unsigned len = min_t(size_t, PAGE_SIZE, size);
138 BUG_ON(!bio_add_page(bio, page, len, 0));
143 mutex_unlock(&c->bio_bounce_pages_lock);
146 /* Extent update path: */
148 int bch2_sum_sector_overwrites(struct btree_trans *trans,
149 struct btree_iter *extent_iter,
151 bool *usage_increasing,
152 s64 *i_sectors_delta,
153 s64 *disk_sectors_delta)
155 struct bch_fs *c = trans->c;
156 struct btree_iter iter;
158 unsigned new_replicas = bch2_bkey_replicas(c, bkey_i_to_s_c(new));
159 bool new_compressed = bch2_bkey_sectors_compressed(bkey_i_to_s_c(new));
162 *usage_increasing = false;
163 *i_sectors_delta = 0;
164 *disk_sectors_delta = 0;
166 bch2_trans_copy_iter(&iter, extent_iter);
168 for_each_btree_key_upto_continue_norestart(iter,
169 new->k.p, BTREE_ITER_SLOTS, old, ret) {
170 s64 sectors = min(new->k.p.offset, old.k->p.offset) -
171 max(bkey_start_offset(&new->k),
172 bkey_start_offset(old.k));
174 *i_sectors_delta += sectors *
175 (bkey_extent_is_allocation(&new->k) -
176 bkey_extent_is_allocation(old.k));
178 *disk_sectors_delta += sectors * bch2_bkey_nr_ptrs_allocated(bkey_i_to_s_c(new));
179 *disk_sectors_delta -= new->k.p.snapshot == old.k->p.snapshot
180 ? sectors * bch2_bkey_nr_ptrs_fully_allocated(old)
183 if (!*usage_increasing &&
184 (new->k.p.snapshot != old.k->p.snapshot ||
185 new_replicas > bch2_bkey_replicas(c, old) ||
186 (!new_compressed && bch2_bkey_sectors_compressed(old))))
187 *usage_increasing = true;
189 if (bkey_ge(old.k->p, new->k.p))
193 bch2_trans_iter_exit(trans, &iter);
197 static inline int bch2_extent_update_i_size_sectors(struct btree_trans *trans,
198 struct btree_iter *extent_iter,
202 struct btree_iter iter;
204 struct bkey_i_inode_v3 *inode;
206 * Crazy performance optimization:
207 * Every extent update needs to also update the inode: the inode trigger
208 * will set bi->journal_seq to the journal sequence number of this
209 * transaction - for fsync.
211 * But if that's the only reason we're updating the inode (we're not
212 * updating bi_size or bi_sectors), then we don't need the inode update
213 * to be journalled - if we crash, the bi_journal_seq update will be
214 * lost, but that's fine.
216 unsigned inode_update_flags = BTREE_UPDATE_NOJOURNAL;
219 k = bch2_bkey_get_mut_noupdate(trans, &iter, BTREE_ID_inodes,
221 extent_iter->pos.inode,
222 extent_iter->snapshot),
224 ret = PTR_ERR_OR_ZERO(k);
228 if (unlikely(k->k.type != KEY_TYPE_inode_v3)) {
229 k = bch2_inode_to_v3(trans, k);
230 ret = PTR_ERR_OR_ZERO(k);
235 inode = bkey_i_to_inode_v3(k);
237 if (!(le64_to_cpu(inode->v.bi_flags) & BCH_INODE_i_size_dirty) &&
238 new_i_size > le64_to_cpu(inode->v.bi_size)) {
239 inode->v.bi_size = cpu_to_le64(new_i_size);
240 inode_update_flags = 0;
243 if (i_sectors_delta) {
244 le64_add_cpu(&inode->v.bi_sectors, i_sectors_delta);
245 inode_update_flags = 0;
248 if (inode->k.p.snapshot != iter.snapshot) {
249 inode->k.p.snapshot = iter.snapshot;
250 inode_update_flags = 0;
253 ret = bch2_trans_update(trans, &iter, &inode->k_i,
254 BTREE_UPDATE_INTERNAL_SNAPSHOT_NODE|
257 bch2_trans_iter_exit(trans, &iter);
261 int bch2_extent_update(struct btree_trans *trans,
263 struct btree_iter *iter,
265 struct disk_reservation *disk_res,
267 s64 *i_sectors_delta_total,
270 struct bpos next_pos;
271 bool usage_increasing;
272 s64 i_sectors_delta = 0, disk_sectors_delta = 0;
276 * This traverses us the iterator without changing iter->path->pos to
277 * search_key() (which is pos + 1 for extents): we want there to be a
278 * path already traversed at iter->pos because
279 * bch2_trans_extent_update() will use it to attempt extent merging
281 ret = __bch2_btree_iter_traverse(iter);
285 ret = bch2_extent_trim_atomic(trans, iter, k);
291 ret = bch2_sum_sector_overwrites(trans, iter, k,
294 &disk_sectors_delta);
299 disk_sectors_delta > (s64) disk_res->sectors) {
300 ret = bch2_disk_reservation_add(trans->c, disk_res,
301 disk_sectors_delta - disk_res->sectors,
302 !check_enospc || !usage_increasing
303 ? BCH_DISK_RESERVATION_NOFAIL : 0);
310 * We always have to do an inode update - even when i_size/i_sectors
311 * aren't changing - for fsync to work properly; fsync relies on
312 * inode->bi_journal_seq which is updated by the trigger code:
314 ret = bch2_extent_update_i_size_sectors(trans, iter,
315 min(k->k.p.offset << 9, new_i_size),
317 bch2_trans_update(trans, iter, k, 0) ?:
318 bch2_trans_commit(trans, disk_res, NULL,
319 BCH_TRANS_COMMIT_no_check_rw|
320 BCH_TRANS_COMMIT_no_enospc);
324 if (i_sectors_delta_total)
325 *i_sectors_delta_total += i_sectors_delta;
326 bch2_btree_iter_set_pos(iter, next_pos);
330 static int bch2_write_index_default(struct bch_write_op *op)
332 struct bch_fs *c = op->c;
334 struct keylist *keys = &op->insert_keys;
335 struct bkey_i *k = bch2_keylist_front(keys);
336 struct btree_trans *trans = bch2_trans_get(c);
337 struct btree_iter iter;
339 .subvol = op->subvol,
340 .inum = k->k.p.inode,
344 BUG_ON(!inum.subvol);
346 bch2_bkey_buf_init(&sk);
349 bch2_trans_begin(trans);
351 k = bch2_keylist_front(keys);
352 bch2_bkey_buf_copy(&sk, c, k);
354 ret = bch2_subvolume_get_snapshot(trans, inum.subvol,
355 &sk.k->k.p.snapshot);
356 if (bch2_err_matches(ret, BCH_ERR_transaction_restart))
361 bch2_trans_iter_init(trans, &iter, BTREE_ID_extents,
362 bkey_start_pos(&sk.k->k),
363 BTREE_ITER_SLOTS|BTREE_ITER_INTENT);
365 ret = bch2_bkey_set_needs_rebalance(c, sk.k,
366 op->opts.background_target,
367 op->opts.background_compression) ?:
368 bch2_extent_update(trans, inum, &iter, sk.k,
370 op->new_i_size, &op->i_sectors_delta,
371 op->flags & BCH_WRITE_CHECK_ENOSPC);
372 bch2_trans_iter_exit(trans, &iter);
374 if (bch2_err_matches(ret, BCH_ERR_transaction_restart))
379 if (bkey_ge(iter.pos, k->k.p))
380 bch2_keylist_pop_front(&op->insert_keys);
382 bch2_cut_front(iter.pos, k);
383 } while (!bch2_keylist_empty(keys));
385 bch2_trans_put(trans);
386 bch2_bkey_buf_exit(&sk, c);
393 void bch2_submit_wbio_replicas(struct bch_write_bio *wbio, struct bch_fs *c,
394 enum bch_data_type type,
395 const struct bkey_i *k,
398 struct bkey_ptrs_c ptrs = bch2_bkey_ptrs_c(bkey_i_to_s_c(k));
399 const struct bch_extent_ptr *ptr;
400 struct bch_write_bio *n;
403 BUG_ON(c->opts.nochanges);
405 bkey_for_each_ptr(ptrs, ptr) {
406 BUG_ON(!bch2_dev_exists2(c, ptr->dev));
408 ca = bch_dev_bkey_exists(c, ptr->dev);
410 if (to_entry(ptr + 1) < ptrs.end) {
411 n = to_wbio(bio_alloc_clone(NULL, &wbio->bio,
412 GFP_NOFS, &ca->replica_set));
414 n->bio.bi_end_io = wbio->bio.bi_end_io;
415 n->bio.bi_private = wbio->bio.bi_private;
420 n->bio.bi_opf = wbio->bio.bi_opf;
421 bio_inc_remaining(&wbio->bio);
429 n->have_ioref = nocow || bch2_dev_get_ioref(ca,
430 type == BCH_DATA_btree ? READ : WRITE);
432 n->submit_time = local_clock();
433 n->inode_offset = bkey_start_offset(&k->k);
434 n->bio.bi_iter.bi_sector = ptr->offset;
436 if (likely(n->have_ioref)) {
437 this_cpu_add(ca->io_done->sectors[WRITE][type],
438 bio_sectors(&n->bio));
440 bio_set_dev(&n->bio, ca->disk_sb.bdev);
442 if (type != BCH_DATA_btree && unlikely(c->opts.no_data_io)) {
449 n->bio.bi_status = BLK_STS_REMOVED;
455 static void __bch2_write(struct bch_write_op *);
457 static void bch2_write_done(struct closure *cl)
459 struct bch_write_op *op = container_of(cl, struct bch_write_op, cl);
460 struct bch_fs *c = op->c;
462 EBUG_ON(op->open_buckets.nr);
464 bch2_time_stats_update(&c->times[BCH_TIME_data_write], op->start_time);
465 bch2_disk_reservation_put(c, &op->res);
467 if (!(op->flags & BCH_WRITE_MOVE))
468 bch2_write_ref_put(c, BCH_WRITE_REF_write);
469 bch2_keylist_free(&op->insert_keys, op->inline_keys);
472 closure_debug_destroy(cl);
477 static noinline int bch2_write_drop_io_error_ptrs(struct bch_write_op *op)
479 struct keylist *keys = &op->insert_keys;
480 struct bch_extent_ptr *ptr;
481 struct bkey_i *src, *dst = keys->keys, *n;
483 for (src = keys->keys; src != keys->top; src = n) {
486 if (bkey_extent_is_direct_data(&src->k)) {
487 bch2_bkey_drop_ptrs(bkey_i_to_s(src), ptr,
488 test_bit(ptr->dev, op->failed.d));
490 if (!bch2_bkey_nr_ptrs(bkey_i_to_s_c(src)))
495 memmove_u64s_down(dst, src, src->k.u64s);
496 dst = bkey_next(dst);
504 * __bch2_write_index - after a write, update index to point to new data
505 * @op: bch_write_op to process
507 static void __bch2_write_index(struct bch_write_op *op)
509 struct bch_fs *c = op->c;
510 struct keylist *keys = &op->insert_keys;
514 if (unlikely(op->flags & BCH_WRITE_IO_ERROR)) {
515 ret = bch2_write_drop_io_error_ptrs(op);
520 if (!bch2_keylist_empty(keys)) {
521 u64 sectors_start = keylist_sectors(keys);
523 ret = !(op->flags & BCH_WRITE_MOVE)
524 ? bch2_write_index_default(op)
525 : bch2_data_update_index_update(op);
527 BUG_ON(bch2_err_matches(ret, BCH_ERR_transaction_restart));
528 BUG_ON(keylist_sectors(keys) && !ret);
530 op->written += sectors_start - keylist_sectors(keys);
532 if (ret && !bch2_err_matches(ret, EROFS)) {
533 struct bkey_i *insert = bch2_keylist_front(&op->insert_keys);
535 bch_err_inum_offset_ratelimited(c,
536 insert->k.p.inode, insert->k.p.offset << 9,
537 "write error while doing btree update: %s",
545 /* If some a bucket wasn't written, we can't erasure code it: */
546 for_each_set_bit(dev, op->failed.d, BCH_SB_MEMBERS_MAX)
547 bch2_open_bucket_write_error(c, &op->open_buckets, dev);
549 bch2_open_buckets_put(c, &op->open_buckets);
552 keys->top = keys->keys;
554 op->flags |= BCH_WRITE_DONE;
558 static inline void __wp_update_state(struct write_point *wp, enum write_point_state state)
560 if (state != wp->state) {
561 u64 now = ktime_get_ns();
563 if (wp->last_state_change &&
564 time_after64(now, wp->last_state_change))
565 wp->time[wp->state] += now - wp->last_state_change;
567 wp->last_state_change = now;
571 static inline void wp_update_state(struct write_point *wp, bool running)
573 enum write_point_state state;
575 state = running ? WRITE_POINT_running :
576 !list_empty(&wp->writes) ? WRITE_POINT_waiting_io
577 : WRITE_POINT_stopped;
579 __wp_update_state(wp, state);
582 static CLOSURE_CALLBACK(bch2_write_index)
584 closure_type(op, struct bch_write_op, cl);
585 struct write_point *wp = op->wp;
586 struct workqueue_struct *wq = index_update_wq(op);
589 if ((op->flags & BCH_WRITE_DONE) &&
590 (op->flags & BCH_WRITE_MOVE))
591 bch2_bio_free_pages_pool(op->c, &op->wbio.bio);
593 spin_lock_irqsave(&wp->writes_lock, flags);
594 if (wp->state == WRITE_POINT_waiting_io)
595 __wp_update_state(wp, WRITE_POINT_waiting_work);
596 list_add_tail(&op->wp_list, &wp->writes);
597 spin_unlock_irqrestore (&wp->writes_lock, flags);
599 queue_work(wq, &wp->index_update_work);
602 static inline void bch2_write_queue(struct bch_write_op *op, struct write_point *wp)
606 if (wp->state == WRITE_POINT_stopped) {
607 spin_lock_irq(&wp->writes_lock);
608 __wp_update_state(wp, WRITE_POINT_waiting_io);
609 spin_unlock_irq(&wp->writes_lock);
613 void bch2_write_point_do_index_updates(struct work_struct *work)
615 struct write_point *wp =
616 container_of(work, struct write_point, index_update_work);
617 struct bch_write_op *op;
620 spin_lock_irq(&wp->writes_lock);
621 op = list_first_entry_or_null(&wp->writes, struct bch_write_op, wp_list);
623 list_del(&op->wp_list);
624 wp_update_state(wp, op != NULL);
625 spin_unlock_irq(&wp->writes_lock);
630 op->flags |= BCH_WRITE_IN_WORKER;
632 __bch2_write_index(op);
634 if (!(op->flags & BCH_WRITE_DONE))
637 bch2_write_done(&op->cl);
641 static void bch2_write_endio(struct bio *bio)
643 struct closure *cl = bio->bi_private;
644 struct bch_write_op *op = container_of(cl, struct bch_write_op, cl);
645 struct bch_write_bio *wbio = to_wbio(bio);
646 struct bch_write_bio *parent = wbio->split ? wbio->parent : NULL;
647 struct bch_fs *c = wbio->c;
648 struct bch_dev *ca = bch_dev_bkey_exists(c, wbio->dev);
650 if (bch2_dev_inum_io_err_on(bio->bi_status, ca, BCH_MEMBER_ERROR_write,
652 wbio->inode_offset << 9,
653 "data write error: %s",
654 bch2_blk_status_to_str(bio->bi_status))) {
655 set_bit(wbio->dev, op->failed.d);
656 op->flags |= BCH_WRITE_IO_ERROR;
660 set_bit(wbio->dev, op->devs_need_flush->d);
662 if (wbio->have_ioref) {
663 bch2_latency_acct(ca, wbio->submit_time, WRITE);
664 percpu_ref_put(&ca->io_ref);
668 bch2_bio_free_pages_pool(c, bio);
674 bio_endio(&parent->bio);
679 static void init_append_extent(struct bch_write_op *op,
680 struct write_point *wp,
681 struct bversion version,
682 struct bch_extent_crc_unpacked crc)
684 struct bkey_i_extent *e;
686 op->pos.offset += crc.uncompressed_size;
688 e = bkey_extent_init(op->insert_keys.top);
690 e->k.size = crc.uncompressed_size;
691 e->k.version = version;
694 crc.compression_type ||
696 bch2_extent_crc_append(&e->k_i, crc);
698 bch2_alloc_sectors_append_ptrs_inlined(op->c, wp, &e->k_i, crc.compressed_size,
699 op->flags & BCH_WRITE_CACHED);
701 bch2_keylist_push(&op->insert_keys);
704 static struct bio *bch2_write_bio_alloc(struct bch_fs *c,
705 struct write_point *wp,
707 bool *page_alloc_failed,
710 struct bch_write_bio *wbio;
712 unsigned output_available =
713 min(wp->sectors_free << 9, src->bi_iter.bi_size);
714 unsigned pages = DIV_ROUND_UP(output_available +
716 ? ((unsigned long) buf & (PAGE_SIZE - 1))
719 pages = min(pages, BIO_MAX_VECS);
721 bio = bio_alloc_bioset(NULL, pages, 0,
722 GFP_NOFS, &c->bio_write);
723 wbio = wbio_init(bio);
724 wbio->put_bio = true;
725 /* copy WRITE_SYNC flag */
726 wbio->bio.bi_opf = src->bi_opf;
729 bch2_bio_map(bio, buf, output_available);
736 * We can't use mempool for more than c->sb.encoded_extent_max
737 * worth of pages, but we'd like to allocate more if we can:
739 bch2_bio_alloc_pages_pool(c, bio,
740 min_t(unsigned, output_available,
741 c->opts.encoded_extent_max));
743 if (bio->bi_iter.bi_size < output_available)
745 bch2_bio_alloc_pages(bio,
747 bio->bi_iter.bi_size,
753 static int bch2_write_rechecksum(struct bch_fs *c,
754 struct bch_write_op *op,
755 unsigned new_csum_type)
757 struct bio *bio = &op->wbio.bio;
758 struct bch_extent_crc_unpacked new_crc;
761 /* bch2_rechecksum_bio() can't encrypt or decrypt data: */
763 if (bch2_csum_type_is_encryption(op->crc.csum_type) !=
764 bch2_csum_type_is_encryption(new_csum_type))
765 new_csum_type = op->crc.csum_type;
767 ret = bch2_rechecksum_bio(c, bio, op->version, op->crc,
769 op->crc.offset, op->crc.live_size,
774 bio_advance(bio, op->crc.offset << 9);
775 bio->bi_iter.bi_size = op->crc.live_size << 9;
780 static int bch2_write_decrypt(struct bch_write_op *op)
782 struct bch_fs *c = op->c;
783 struct nonce nonce = extent_nonce(op->version, op->crc);
784 struct bch_csum csum;
787 if (!bch2_csum_type_is_encryption(op->crc.csum_type))
791 * If we need to decrypt data in the write path, we'll no longer be able
792 * to verify the existing checksum (poly1305 mac, in this case) after
793 * it's decrypted - this is the last point we'll be able to reverify the
796 csum = bch2_checksum_bio(c, op->crc.csum_type, nonce, &op->wbio.bio);
797 if (bch2_crc_cmp(op->crc.csum, csum) && !c->opts.no_data_io)
800 ret = bch2_encrypt_bio(c, op->crc.csum_type, nonce, &op->wbio.bio);
801 op->crc.csum_type = 0;
802 op->crc.csum = (struct bch_csum) { 0, 0 };
806 static enum prep_encoded_ret {
809 PREP_ENCODED_CHECKSUM_ERR,
810 PREP_ENCODED_DO_WRITE,
811 } bch2_write_prep_encoded_data(struct bch_write_op *op, struct write_point *wp)
813 struct bch_fs *c = op->c;
814 struct bio *bio = &op->wbio.bio;
816 if (!(op->flags & BCH_WRITE_DATA_ENCODED))
817 return PREP_ENCODED_OK;
819 BUG_ON(bio_sectors(bio) != op->crc.compressed_size);
821 /* Can we just write the entire extent as is? */
822 if (op->crc.uncompressed_size == op->crc.live_size &&
823 op->crc.uncompressed_size <= c->opts.encoded_extent_max >> 9 &&
824 op->crc.compressed_size <= wp->sectors_free &&
825 (op->crc.compression_type == bch2_compression_opt_to_type(op->compression_opt) ||
826 op->incompressible)) {
827 if (!crc_is_compressed(op->crc) &&
828 op->csum_type != op->crc.csum_type &&
829 bch2_write_rechecksum(c, op, op->csum_type) &&
831 return PREP_ENCODED_CHECKSUM_ERR;
833 return PREP_ENCODED_DO_WRITE;
837 * If the data is compressed and we couldn't write the entire extent as
838 * is, we have to decompress it:
840 if (crc_is_compressed(op->crc)) {
841 struct bch_csum csum;
843 if (bch2_write_decrypt(op))
844 return PREP_ENCODED_CHECKSUM_ERR;
846 /* Last point we can still verify checksum: */
847 csum = bch2_checksum_bio(c, op->crc.csum_type,
848 extent_nonce(op->version, op->crc),
850 if (bch2_crc_cmp(op->crc.csum, csum) && !c->opts.no_data_io)
851 return PREP_ENCODED_CHECKSUM_ERR;
853 if (bch2_bio_uncompress_inplace(c, bio, &op->crc))
854 return PREP_ENCODED_ERR;
858 * No longer have compressed data after this point - data might be
863 * If the data is checksummed and we're only writing a subset,
864 * rechecksum and adjust bio to point to currently live data:
866 if ((op->crc.live_size != op->crc.uncompressed_size ||
867 op->crc.csum_type != op->csum_type) &&
868 bch2_write_rechecksum(c, op, op->csum_type) &&
870 return PREP_ENCODED_CHECKSUM_ERR;
873 * If we want to compress the data, it has to be decrypted:
875 if ((op->compression_opt ||
876 bch2_csum_type_is_encryption(op->crc.csum_type) !=
877 bch2_csum_type_is_encryption(op->csum_type)) &&
878 bch2_write_decrypt(op))
879 return PREP_ENCODED_CHECKSUM_ERR;
881 return PREP_ENCODED_OK;
884 static int bch2_write_extent(struct bch_write_op *op, struct write_point *wp,
887 struct bch_fs *c = op->c;
888 struct bio *src = &op->wbio.bio, *dst = src;
889 struct bvec_iter saved_iter;
891 unsigned total_output = 0, total_input = 0;
893 bool page_alloc_failed = false;
896 BUG_ON(!bio_sectors(src));
898 ec_buf = bch2_writepoint_ec_buf(c, wp);
900 switch (bch2_write_prep_encoded_data(op, wp)) {
901 case PREP_ENCODED_OK:
903 case PREP_ENCODED_ERR:
906 case PREP_ENCODED_CHECKSUM_ERR:
908 case PREP_ENCODED_DO_WRITE:
909 /* XXX look for bug here */
911 dst = bch2_write_bio_alloc(c, wp, src,
914 bio_copy_data(dst, src);
917 init_append_extent(op, wp, op->version, op->crc);
922 op->compression_opt ||
924 !(op->flags & BCH_WRITE_PAGES_STABLE)) ||
925 (bch2_csum_type_is_encryption(op->csum_type) &&
926 !(op->flags & BCH_WRITE_PAGES_OWNED))) {
927 dst = bch2_write_bio_alloc(c, wp, src,
933 saved_iter = dst->bi_iter;
936 struct bch_extent_crc_unpacked crc = { 0 };
937 struct bversion version = op->version;
938 size_t dst_len = 0, src_len = 0;
940 if (page_alloc_failed &&
941 dst->bi_iter.bi_size < (wp->sectors_free << 9) &&
942 dst->bi_iter.bi_size < c->opts.encoded_extent_max)
945 BUG_ON(op->compression_opt &&
946 (op->flags & BCH_WRITE_DATA_ENCODED) &&
947 bch2_csum_type_is_encryption(op->crc.csum_type));
948 BUG_ON(op->compression_opt && !bounce);
950 crc.compression_type = op->incompressible
951 ? BCH_COMPRESSION_TYPE_incompressible
952 : op->compression_opt
953 ? bch2_bio_compress(c, dst, &dst_len, src, &src_len,
956 if (!crc_is_compressed(crc)) {
957 dst_len = min(dst->bi_iter.bi_size, src->bi_iter.bi_size);
958 dst_len = min_t(unsigned, dst_len, wp->sectors_free << 9);
961 dst_len = min_t(unsigned, dst_len,
962 c->opts.encoded_extent_max);
965 swap(dst->bi_iter.bi_size, dst_len);
966 bio_copy_data(dst, src);
967 swap(dst->bi_iter.bi_size, dst_len);
973 BUG_ON(!src_len || !dst_len);
975 if (bch2_csum_type_is_encryption(op->csum_type)) {
976 if (bversion_zero(version)) {
977 version.lo = atomic64_inc_return(&c->key_version);
979 crc.nonce = op->nonce;
980 op->nonce += src_len >> 9;
984 if ((op->flags & BCH_WRITE_DATA_ENCODED) &&
985 !crc_is_compressed(crc) &&
986 bch2_csum_type_is_encryption(op->crc.csum_type) ==
987 bch2_csum_type_is_encryption(op->csum_type)) {
988 u8 compression_type = crc.compression_type;
989 u16 nonce = crc.nonce;
991 * Note: when we're using rechecksum(), we need to be
992 * checksumming @src because it has all the data our
993 * existing checksum covers - if we bounced (because we
994 * were trying to compress), @dst will only have the
995 * part of the data the new checksum will cover.
997 * But normally we want to be checksumming post bounce,
998 * because part of the reason for bouncing is so the
999 * data can't be modified (by userspace) while it's in
1002 if (bch2_rechecksum_bio(c, src, version, op->crc,
1005 bio_sectors(src) - (src_len >> 9),
1009 * rchecksum_bio sets compression_type on crc from op->crc,
1010 * this isn't always correct as sometimes we're changing
1011 * an extent from uncompressed to incompressible.
1013 crc.compression_type = compression_type;
1016 if ((op->flags & BCH_WRITE_DATA_ENCODED) &&
1017 bch2_rechecksum_bio(c, src, version, op->crc,
1020 bio_sectors(src) - (src_len >> 9),
1024 crc.compressed_size = dst_len >> 9;
1025 crc.uncompressed_size = src_len >> 9;
1026 crc.live_size = src_len >> 9;
1028 swap(dst->bi_iter.bi_size, dst_len);
1029 ret = bch2_encrypt_bio(c, op->csum_type,
1030 extent_nonce(version, crc), dst);
1034 crc.csum = bch2_checksum_bio(c, op->csum_type,
1035 extent_nonce(version, crc), dst);
1036 crc.csum_type = op->csum_type;
1037 swap(dst->bi_iter.bi_size, dst_len);
1040 init_append_extent(op, wp, version, crc);
1043 bio_advance(dst, dst_len);
1044 bio_advance(src, src_len);
1045 total_output += dst_len;
1046 total_input += src_len;
1047 } while (dst->bi_iter.bi_size &&
1048 src->bi_iter.bi_size &&
1050 !bch2_keylist_realloc(&op->insert_keys,
1052 ARRAY_SIZE(op->inline_keys),
1053 BKEY_EXTENT_U64s_MAX));
1055 more = src->bi_iter.bi_size != 0;
1057 dst->bi_iter = saved_iter;
1059 if (dst == src && more) {
1060 BUG_ON(total_output != total_input);
1062 dst = bio_split(src, total_input >> 9,
1063 GFP_NOFS, &c->bio_write);
1064 wbio_init(dst)->put_bio = true;
1065 /* copy WRITE_SYNC flag */
1066 dst->bi_opf = src->bi_opf;
1069 dst->bi_iter.bi_size = total_output;
1074 bch_err(c, "error verifying existing checksum while rewriting existing data (memory corruption?)");
1077 if (to_wbio(dst)->bounce)
1078 bch2_bio_free_pages_pool(c, dst);
1079 if (to_wbio(dst)->put_bio)
1085 static bool bch2_extent_is_writeable(struct bch_write_op *op,
1088 struct bch_fs *c = op->c;
1089 struct bkey_s_c_extent e;
1090 struct extent_ptr_decoded p;
1091 const union bch_extent_entry *entry;
1092 unsigned replicas = 0;
1094 if (k.k->type != KEY_TYPE_extent)
1097 e = bkey_s_c_to_extent(k);
1098 extent_for_each_ptr_decode(e, p, entry) {
1099 if (crc_is_encoded(p.crc) || p.has_ec)
1102 replicas += bch2_extent_ptr_durability(c, &p);
1105 return replicas >= op->opts.data_replicas;
1108 static inline void bch2_nocow_write_unlock(struct bch_write_op *op)
1110 struct bch_fs *c = op->c;
1111 const struct bch_extent_ptr *ptr;
1114 for_each_keylist_key(&op->insert_keys, k) {
1115 struct bkey_ptrs_c ptrs = bch2_bkey_ptrs_c(bkey_i_to_s_c(k));
1117 bkey_for_each_ptr(ptrs, ptr)
1118 bch2_bucket_nocow_unlock(&c->nocow_locks,
1119 PTR_BUCKET_POS(c, ptr),
1120 BUCKET_NOCOW_LOCK_UPDATE);
1124 static int bch2_nocow_write_convert_one_unwritten(struct btree_trans *trans,
1125 struct btree_iter *iter,
1126 struct bkey_i *orig,
1131 struct bkey_ptrs ptrs;
1132 struct bch_extent_ptr *ptr;
1135 if (!bch2_extents_match(bkey_i_to_s_c(orig), k)) {
1140 new = bch2_bkey_make_mut_noupdate(trans, k);
1141 ret = PTR_ERR_OR_ZERO(new);
1145 bch2_cut_front(bkey_start_pos(&orig->k), new);
1146 bch2_cut_back(orig->k.p, new);
1148 ptrs = bch2_bkey_ptrs(bkey_i_to_s(new));
1149 bkey_for_each_ptr(ptrs, ptr)
1153 * Note that we're not calling bch2_subvol_get_snapshot() in this path -
1154 * that was done when we kicked off the write, and here it's important
1155 * that we update the extent that we wrote to - even if a snapshot has
1156 * since been created. The write is still outstanding, so we're ok
1157 * w.r.t. snapshot atomicity:
1159 return bch2_extent_update_i_size_sectors(trans, iter,
1160 min(new->k.p.offset << 9, new_i_size), 0) ?:
1161 bch2_trans_update(trans, iter, new,
1162 BTREE_UPDATE_INTERNAL_SNAPSHOT_NODE);
1165 static void bch2_nocow_write_convert_unwritten(struct bch_write_op *op)
1167 struct bch_fs *c = op->c;
1168 struct btree_trans *trans = bch2_trans_get(c);
1169 struct bkey_i *orig;
1172 for_each_keylist_key(&op->insert_keys, orig) {
1173 ret = for_each_btree_key_upto_commit(trans, iter, BTREE_ID_extents,
1174 bkey_start_pos(&orig->k), orig->k.p,
1175 BTREE_ITER_INTENT, k,
1176 NULL, NULL, BCH_TRANS_COMMIT_no_enospc, ({
1177 bch2_nocow_write_convert_one_unwritten(trans, &iter, orig, k, op->new_i_size);
1180 if (ret && !bch2_err_matches(ret, EROFS)) {
1181 struct bkey_i *insert = bch2_keylist_front(&op->insert_keys);
1183 bch_err_inum_offset_ratelimited(c,
1184 insert->k.p.inode, insert->k.p.offset << 9,
1185 "write error while doing btree update: %s",
1195 bch2_trans_put(trans);
1198 static void __bch2_nocow_write_done(struct bch_write_op *op)
1200 bch2_nocow_write_unlock(op);
1202 if (unlikely(op->flags & BCH_WRITE_IO_ERROR)) {
1204 } else if (unlikely(op->flags & BCH_WRITE_CONVERT_UNWRITTEN))
1205 bch2_nocow_write_convert_unwritten(op);
1208 static CLOSURE_CALLBACK(bch2_nocow_write_done)
1210 closure_type(op, struct bch_write_op, cl);
1212 __bch2_nocow_write_done(op);
1213 bch2_write_done(cl);
1216 static void bch2_nocow_write(struct bch_write_op *op)
1218 struct bch_fs *c = op->c;
1219 struct btree_trans *trans;
1220 struct btree_iter iter;
1222 struct bkey_ptrs_c ptrs;
1223 const struct bch_extent_ptr *ptr;
1227 struct nocow_lock_bucket *l;
1228 } buckets[BCH_REPLICAS_MAX];
1229 unsigned nr_buckets = 0;
1233 if (op->flags & BCH_WRITE_MOVE)
1236 trans = bch2_trans_get(c);
1238 bch2_trans_begin(trans);
1240 ret = bch2_subvolume_get_snapshot(trans, op->subvol, &snapshot);
1244 bch2_trans_iter_init(trans, &iter, BTREE_ID_extents,
1245 SPOS(op->pos.inode, op->pos.offset, snapshot),
1248 struct bio *bio = &op->wbio.bio;
1252 k = bch2_btree_iter_peek_slot(&iter);
1257 /* fall back to normal cow write path? */
1258 if (unlikely(k.k->p.snapshot != snapshot ||
1259 !bch2_extent_is_writeable(op, k)))
1262 if (bch2_keylist_realloc(&op->insert_keys,
1264 ARRAY_SIZE(op->inline_keys),
1268 /* Get iorefs before dropping btree locks: */
1269 ptrs = bch2_bkey_ptrs_c(k);
1270 bkey_for_each_ptr(ptrs, ptr) {
1271 buckets[nr_buckets].b = PTR_BUCKET_POS(c, ptr);
1272 buckets[nr_buckets].gen = ptr->gen;
1273 buckets[nr_buckets].l =
1274 bucket_nocow_lock(&c->nocow_locks,
1275 bucket_to_u64(buckets[nr_buckets].b));
1277 prefetch(buckets[nr_buckets].l);
1279 if (unlikely(!bch2_dev_get_ioref(bch_dev_bkey_exists(c, ptr->dev), WRITE)))
1285 op->flags |= BCH_WRITE_CONVERT_UNWRITTEN;
1288 /* Unlock before taking nocow locks, doing IO: */
1289 bkey_reassemble(op->insert_keys.top, k);
1290 bch2_trans_unlock(trans);
1292 bch2_cut_front(op->pos, op->insert_keys.top);
1293 if (op->flags & BCH_WRITE_CONVERT_UNWRITTEN)
1294 bch2_cut_back(POS(op->pos.inode, op->pos.offset + bio_sectors(bio)), op->insert_keys.top);
1296 for (i = 0; i < nr_buckets; i++) {
1297 struct bch_dev *ca = bch_dev_bkey_exists(c, buckets[i].b.inode);
1298 struct nocow_lock_bucket *l = buckets[i].l;
1301 __bch2_bucket_nocow_lock(&c->nocow_locks, l,
1302 bucket_to_u64(buckets[i].b),
1303 BUCKET_NOCOW_LOCK_UPDATE);
1306 stale = gen_after(*bucket_gen(ca, buckets[i].b.offset), buckets[i].gen);
1309 if (unlikely(stale))
1310 goto err_bucket_stale;
1313 bio = &op->wbio.bio;
1314 if (k.k->p.offset < op->pos.offset + bio_sectors(bio)) {
1315 bio = bio_split(bio, k.k->p.offset - op->pos.offset,
1316 GFP_KERNEL, &c->bio_write);
1317 wbio_init(bio)->put_bio = true;
1318 bio->bi_opf = op->wbio.bio.bi_opf;
1320 op->flags |= BCH_WRITE_DONE;
1323 op->pos.offset += bio_sectors(bio);
1324 op->written += bio_sectors(bio);
1326 bio->bi_end_io = bch2_write_endio;
1327 bio->bi_private = &op->cl;
1328 bio->bi_opf |= REQ_OP_WRITE;
1329 closure_get(&op->cl);
1330 bch2_submit_wbio_replicas(to_wbio(bio), c, BCH_DATA_user,
1331 op->insert_keys.top, true);
1333 bch2_keylist_push(&op->insert_keys);
1334 if (op->flags & BCH_WRITE_DONE)
1336 bch2_btree_iter_advance(&iter);
1339 bch2_trans_iter_exit(trans, &iter);
1341 if (bch2_err_matches(ret, BCH_ERR_transaction_restart))
1345 bch_err_inum_offset_ratelimited(c,
1347 op->pos.offset << 9,
1348 "%s: btree lookup error %s",
1349 __func__, bch2_err_str(ret));
1351 op->flags |= BCH_WRITE_DONE;
1354 bch2_trans_put(trans);
1356 /* fallback to cow write path? */
1357 if (!(op->flags & BCH_WRITE_DONE)) {
1358 closure_sync(&op->cl);
1359 __bch2_nocow_write_done(op);
1360 op->insert_keys.top = op->insert_keys.keys;
1361 } else if (op->flags & BCH_WRITE_SYNC) {
1362 closure_sync(&op->cl);
1363 bch2_nocow_write_done(&op->cl.work);
1367 * needs to run out of process context because ei_quota_lock is
1370 continue_at(&op->cl, bch2_nocow_write_done, index_update_wq(op));
1374 for (i = 0; i < nr_buckets; i++)
1375 percpu_ref_put(&bch_dev_bkey_exists(c, buckets[i].b.inode)->io_ref);
1377 /* Fall back to COW path: */
1381 bch2_bucket_nocow_unlock(&c->nocow_locks,
1383 BUCKET_NOCOW_LOCK_UPDATE);
1386 for (i = 0; i < nr_buckets; i++)
1387 percpu_ref_put(&bch_dev_bkey_exists(c, buckets[i].b.inode)->io_ref);
1389 /* We can retry this: */
1390 ret = -BCH_ERR_transaction_restart;
1394 static void __bch2_write(struct bch_write_op *op)
1396 struct bch_fs *c = op->c;
1397 struct write_point *wp = NULL;
1398 struct bio *bio = NULL;
1399 unsigned nofs_flags;
1402 nofs_flags = memalloc_nofs_save();
1404 if (unlikely(op->opts.nocow && c->opts.nocow_enabled)) {
1405 bch2_nocow_write(op);
1406 if (op->flags & BCH_WRITE_DONE)
1407 goto out_nofs_restore;
1410 memset(&op->failed, 0, sizeof(op->failed));
1413 struct bkey_i *key_to_write;
1414 unsigned key_to_write_offset = op->insert_keys.top_p -
1415 op->insert_keys.keys_p;
1417 /* +1 for possible cache device: */
1418 if (op->open_buckets.nr + op->nr_replicas + 1 >
1419 ARRAY_SIZE(op->open_buckets.v))
1422 if (bch2_keylist_realloc(&op->insert_keys,
1424 ARRAY_SIZE(op->inline_keys),
1425 BKEY_EXTENT_U64s_MAX))
1429 * The copygc thread is now global, which means it's no longer
1430 * freeing up space on specific disks, which means that
1431 * allocations for specific disks may hang arbitrarily long:
1433 ret = bch2_trans_do(c, NULL, NULL, 0,
1434 bch2_alloc_sectors_start_trans(trans,
1436 op->opts.erasure_code && !(op->flags & BCH_WRITE_CACHED),
1440 op->nr_replicas_required,
1443 (op->flags & (BCH_WRITE_ALLOC_NOWAIT|
1444 BCH_WRITE_ONLY_SPECIFIED_DEVS))
1445 ? NULL : &op->cl, &wp));
1446 if (unlikely(ret)) {
1447 if (bch2_err_matches(ret, BCH_ERR_operation_blocked))
1455 bch2_open_bucket_get(c, wp, &op->open_buckets);
1456 ret = bch2_write_extent(op, wp, &bio);
1458 bch2_alloc_sectors_done_inlined(c, wp);
1461 op->flags |= BCH_WRITE_DONE;
1464 bch_err_inum_offset_ratelimited(c,
1466 op->pos.offset << 9,
1467 "%s(): error: %s", __func__, bch2_err_str(ret));
1473 bio->bi_end_io = bch2_write_endio;
1474 bio->bi_private = &op->cl;
1475 bio->bi_opf |= REQ_OP_WRITE;
1477 closure_get(bio->bi_private);
1479 key_to_write = (void *) (op->insert_keys.keys_p +
1480 key_to_write_offset);
1482 bch2_submit_wbio_replicas(to_wbio(bio), c, BCH_DATA_user,
1483 key_to_write, false);
1489 * If we're running asynchronously, wne may still want to block
1490 * synchronously here if we weren't able to submit all of the IO at
1491 * once, as that signals backpressure to the caller.
1493 if ((op->flags & BCH_WRITE_SYNC) ||
1494 (!(op->flags & BCH_WRITE_DONE) &&
1495 !(op->flags & BCH_WRITE_IN_WORKER))) {
1496 closure_sync(&op->cl);
1497 __bch2_write_index(op);
1499 if (!(op->flags & BCH_WRITE_DONE))
1501 bch2_write_done(&op->cl);
1503 bch2_write_queue(op, wp);
1504 continue_at(&op->cl, bch2_write_index, NULL);
1507 memalloc_nofs_restore(nofs_flags);
1510 static void bch2_write_data_inline(struct bch_write_op *op, unsigned data_len)
1512 struct bio *bio = &op->wbio.bio;
1513 struct bvec_iter iter;
1514 struct bkey_i_inline_data *id;
1518 op->flags |= BCH_WRITE_WROTE_DATA_INLINE;
1519 op->flags |= BCH_WRITE_DONE;
1521 bch2_check_set_feature(op->c, BCH_FEATURE_inline_data);
1523 ret = bch2_keylist_realloc(&op->insert_keys, op->inline_keys,
1524 ARRAY_SIZE(op->inline_keys),
1525 BKEY_U64s + DIV_ROUND_UP(data_len, 8));
1531 sectors = bio_sectors(bio);
1532 op->pos.offset += sectors;
1534 id = bkey_inline_data_init(op->insert_keys.top);
1536 id->k.version = op->version;
1537 id->k.size = sectors;
1539 iter = bio->bi_iter;
1540 iter.bi_size = data_len;
1541 memcpy_from_bio(id->v.data, bio, iter);
1543 while (data_len & 7)
1544 id->v.data[data_len++] = '\0';
1545 set_bkey_val_bytes(&id->k, data_len);
1546 bch2_keylist_push(&op->insert_keys);
1548 __bch2_write_index(op);
1550 bch2_write_done(&op->cl);
1554 * bch2_write() - handle a write to a cache device or flash only volume
1555 * @cl: &bch_write_op->cl
1557 * This is the starting point for any data to end up in a cache device; it could
1558 * be from a normal write, or a writeback write, or a write to a flash only
1559 * volume - it's also used by the moving garbage collector to compact data in
1560 * mostly empty buckets.
1562 * It first writes the data to the cache, creating a list of keys to be inserted
1563 * (if the data won't fit in a single open bucket, there will be multiple keys);
1564 * after the data is written it calls bch_journal, and after the keys have been
1565 * added to the next journal write they're inserted into the btree.
1567 * If op->discard is true, instead of inserting the data it invalidates the
1568 * region of the cache represented by op->bio and op->inode.
1570 CLOSURE_CALLBACK(bch2_write)
1572 closure_type(op, struct bch_write_op, cl);
1573 struct bio *bio = &op->wbio.bio;
1574 struct bch_fs *c = op->c;
1577 EBUG_ON(op->cl.parent);
1578 BUG_ON(!op->nr_replicas);
1579 BUG_ON(!op->write_point.v);
1580 BUG_ON(bkey_eq(op->pos, POS_MAX));
1582 op->start_time = local_clock();
1583 bch2_keylist_init(&op->insert_keys, op->inline_keys);
1584 wbio_init(bio)->put_bio = false;
1586 if (bio->bi_iter.bi_size & (c->opts.block_size - 1)) {
1587 bch_err_inum_offset_ratelimited(c,
1589 op->pos.offset << 9,
1590 "misaligned write");
1595 if (c->opts.nochanges) {
1596 op->error = -BCH_ERR_erofs_no_writes;
1600 if (!(op->flags & BCH_WRITE_MOVE) &&
1601 !bch2_write_ref_tryget(c, BCH_WRITE_REF_write)) {
1602 op->error = -BCH_ERR_erofs_no_writes;
1606 this_cpu_add(c->counters[BCH_COUNTER_io_write], bio_sectors(bio));
1607 bch2_increment_clock(c, bio_sectors(bio), WRITE);
1609 data_len = min_t(u64, bio->bi_iter.bi_size,
1610 op->new_i_size - (op->pos.offset << 9));
1612 if (c->opts.inline_data &&
1613 data_len <= min(block_bytes(c) / 2, 1024U)) {
1614 bch2_write_data_inline(op, data_len);
1621 bch2_disk_reservation_put(c, &op->res);
1623 closure_debug_destroy(&op->cl);
1628 static const char * const bch2_write_flags[] = {
1635 void bch2_write_op_to_text(struct printbuf *out, struct bch_write_op *op)
1637 prt_str(out, "pos: ");
1638 bch2_bpos_to_text(out, op->pos);
1640 printbuf_indent_add(out, 2);
1642 prt_str(out, "started: ");
1643 bch2_pr_time_units(out, local_clock() - op->start_time);
1646 prt_str(out, "flags: ");
1647 prt_bitflags(out, bch2_write_flags, op->flags);
1650 prt_printf(out, "ref: %u", closure_nr_remaining(&op->cl));
1653 printbuf_indent_sub(out, 2);
1656 void bch2_fs_io_write_exit(struct bch_fs *c)
1658 mempool_exit(&c->bio_bounce_pages);
1659 bioset_exit(&c->bio_write);
1662 int bch2_fs_io_write_init(struct bch_fs *c)
1664 if (bioset_init(&c->bio_write, 1, offsetof(struct bch_write_bio, bio),
1666 return -BCH_ERR_ENOMEM_bio_write_init;
1668 if (mempool_init_page_pool(&c->bio_bounce_pages,
1670 c->opts.btree_node_size,
1671 c->opts.encoded_extent_max) /
1673 return -BCH_ERR_ENOMEM_bio_bounce_pages_init;