xref: /linux/fs/bcachefs/journal_reclaim.c (revision 3a39d672e7f48b8d6b91a09afa4b55352773b4b5)
1 // SPDX-License-Identifier: GPL-2.0
2 
3 #include "bcachefs.h"
4 #include "btree_key_cache.h"
5 #include "btree_update.h"
6 #include "btree_write_buffer.h"
7 #include "buckets.h"
8 #include "errcode.h"
9 #include "error.h"
10 #include "journal.h"
11 #include "journal_io.h"
12 #include "journal_reclaim.h"
13 #include "replicas.h"
14 #include "sb-members.h"
15 #include "trace.h"
16 
17 #include <linux/kthread.h>
18 #include <linux/sched/mm.h>
19 
20 /* Free space calculations: */
21 
journal_space_from(struct journal_device * ja,enum journal_space_from from)22 static unsigned journal_space_from(struct journal_device *ja,
23 				   enum journal_space_from from)
24 {
25 	switch (from) {
26 	case journal_space_discarded:
27 		return ja->discard_idx;
28 	case journal_space_clean_ondisk:
29 		return ja->dirty_idx_ondisk;
30 	case journal_space_clean:
31 		return ja->dirty_idx;
32 	default:
33 		BUG();
34 	}
35 }
36 
bch2_journal_dev_buckets_available(struct journal * j,struct journal_device * ja,enum journal_space_from from)37 unsigned bch2_journal_dev_buckets_available(struct journal *j,
38 					    struct journal_device *ja,
39 					    enum journal_space_from from)
40 {
41 	unsigned available = (journal_space_from(ja, from) -
42 			      ja->cur_idx - 1 + ja->nr) % ja->nr;
43 
44 	/*
45 	 * Don't use the last bucket unless writing the new last_seq
46 	 * will make another bucket available:
47 	 */
48 	if (available && ja->dirty_idx_ondisk == ja->dirty_idx)
49 		--available;
50 
51 	return available;
52 }
53 
bch2_journal_set_watermark(struct journal * j)54 void bch2_journal_set_watermark(struct journal *j)
55 {
56 	struct bch_fs *c = container_of(j, struct bch_fs, journal);
57 	bool low_on_space = j->space[journal_space_clean].total * 4 <=
58 		j->space[journal_space_total].total;
59 	bool low_on_pin = fifo_free(&j->pin) < j->pin.size / 4;
60 	bool low_on_wb = bch2_btree_write_buffer_must_wait(c);
61 	unsigned watermark = low_on_space || low_on_pin || low_on_wb
62 		? BCH_WATERMARK_reclaim
63 		: BCH_WATERMARK_stripe;
64 
65 	if (track_event_change(&c->times[BCH_TIME_blocked_journal_low_on_space], low_on_space) ||
66 	    track_event_change(&c->times[BCH_TIME_blocked_journal_low_on_pin], low_on_pin) ||
67 	    track_event_change(&c->times[BCH_TIME_blocked_write_buffer_full], low_on_wb))
68 		trace_and_count(c, journal_full, c);
69 
70 	mod_bit(JOURNAL_space_low, &j->flags, low_on_space || low_on_pin);
71 
72 	swap(watermark, j->watermark);
73 	if (watermark > j->watermark)
74 		journal_wake(j);
75 }
76 
77 static struct journal_space
journal_dev_space_available(struct journal * j,struct bch_dev * ca,enum journal_space_from from)78 journal_dev_space_available(struct journal *j, struct bch_dev *ca,
79 			    enum journal_space_from from)
80 {
81 	struct journal_device *ja = &ca->journal;
82 	unsigned sectors, buckets, unwritten;
83 	u64 seq;
84 
85 	if (from == journal_space_total)
86 		return (struct journal_space) {
87 			.next_entry	= ca->mi.bucket_size,
88 			.total		= ca->mi.bucket_size * ja->nr,
89 		};
90 
91 	buckets = bch2_journal_dev_buckets_available(j, ja, from);
92 	sectors = ja->sectors_free;
93 
94 	/*
95 	 * We that we don't allocate the space for a journal entry
96 	 * until we write it out - thus, account for it here:
97 	 */
98 	for (seq = journal_last_unwritten_seq(j);
99 	     seq <= journal_cur_seq(j);
100 	     seq++) {
101 		unwritten = j->buf[seq & JOURNAL_BUF_MASK].sectors;
102 
103 		if (!unwritten)
104 			continue;
105 
106 		/* entry won't fit on this device, skip: */
107 		if (unwritten > ca->mi.bucket_size)
108 			continue;
109 
110 		if (unwritten >= sectors) {
111 			if (!buckets) {
112 				sectors = 0;
113 				break;
114 			}
115 
116 			buckets--;
117 			sectors = ca->mi.bucket_size;
118 		}
119 
120 		sectors -= unwritten;
121 	}
122 
123 	if (sectors < ca->mi.bucket_size && buckets) {
124 		buckets--;
125 		sectors = ca->mi.bucket_size;
126 	}
127 
128 	return (struct journal_space) {
129 		.next_entry	= sectors,
130 		.total		= sectors + buckets * ca->mi.bucket_size,
131 	};
132 }
133 
__journal_space_available(struct journal * j,unsigned nr_devs_want,enum journal_space_from from)134 static struct journal_space __journal_space_available(struct journal *j, unsigned nr_devs_want,
135 			    enum journal_space_from from)
136 {
137 	struct bch_fs *c = container_of(j, struct bch_fs, journal);
138 	unsigned pos, nr_devs = 0;
139 	struct journal_space space, dev_space[BCH_SB_MEMBERS_MAX];
140 
141 	BUG_ON(nr_devs_want > ARRAY_SIZE(dev_space));
142 
143 	rcu_read_lock();
144 	for_each_member_device_rcu(c, ca, &c->rw_devs[BCH_DATA_journal]) {
145 		if (!ca->journal.nr)
146 			continue;
147 
148 		space = journal_dev_space_available(j, ca, from);
149 		if (!space.next_entry)
150 			continue;
151 
152 		for (pos = 0; pos < nr_devs; pos++)
153 			if (space.total > dev_space[pos].total)
154 				break;
155 
156 		array_insert_item(dev_space, nr_devs, pos, space);
157 	}
158 	rcu_read_unlock();
159 
160 	if (nr_devs < nr_devs_want)
161 		return (struct journal_space) { 0, 0 };
162 
163 	/*
164 	 * We sorted largest to smallest, and we want the smallest out of the
165 	 * @nr_devs_want largest devices:
166 	 */
167 	return dev_space[nr_devs_want - 1];
168 }
169 
bch2_journal_space_available(struct journal * j)170 void bch2_journal_space_available(struct journal *j)
171 {
172 	struct bch_fs *c = container_of(j, struct bch_fs, journal);
173 	unsigned clean, clean_ondisk, total;
174 	unsigned max_entry_size	 = min(j->buf[0].buf_size >> 9,
175 				       j->buf[1].buf_size >> 9);
176 	unsigned nr_online = 0, nr_devs_want;
177 	bool can_discard = false;
178 	int ret = 0;
179 
180 	lockdep_assert_held(&j->lock);
181 
182 	rcu_read_lock();
183 	for_each_member_device_rcu(c, ca, &c->rw_devs[BCH_DATA_journal]) {
184 		struct journal_device *ja = &ca->journal;
185 
186 		if (!ja->nr)
187 			continue;
188 
189 		while (ja->dirty_idx != ja->cur_idx &&
190 		       ja->bucket_seq[ja->dirty_idx] < journal_last_seq(j))
191 			ja->dirty_idx = (ja->dirty_idx + 1) % ja->nr;
192 
193 		while (ja->dirty_idx_ondisk != ja->dirty_idx &&
194 		       ja->bucket_seq[ja->dirty_idx_ondisk] < j->last_seq_ondisk)
195 			ja->dirty_idx_ondisk = (ja->dirty_idx_ondisk + 1) % ja->nr;
196 
197 		if (ja->discard_idx != ja->dirty_idx_ondisk)
198 			can_discard = true;
199 
200 		max_entry_size = min_t(unsigned, max_entry_size, ca->mi.bucket_size);
201 		nr_online++;
202 	}
203 	rcu_read_unlock();
204 
205 	j->can_discard = can_discard;
206 
207 	if (nr_online < metadata_replicas_required(c)) {
208 		struct printbuf buf = PRINTBUF;
209 		buf.atomic++;
210 		prt_printf(&buf, "insufficient writeable journal devices available: have %u, need %u\n"
211 			   "rw journal devs:", nr_online, metadata_replicas_required(c));
212 
213 		rcu_read_lock();
214 		for_each_member_device_rcu(c, ca, &c->rw_devs[BCH_DATA_journal])
215 			prt_printf(&buf, " %s", ca->name);
216 		rcu_read_unlock();
217 
218 		bch_err(c, "%s", buf.buf);
219 		printbuf_exit(&buf);
220 		ret = JOURNAL_ERR_insufficient_devices;
221 		goto out;
222 	}
223 
224 	nr_devs_want = min_t(unsigned, nr_online, c->opts.metadata_replicas);
225 
226 	for (unsigned i = 0; i < journal_space_nr; i++)
227 		j->space[i] = __journal_space_available(j, nr_devs_want, i);
228 
229 	clean_ondisk	= j->space[journal_space_clean_ondisk].total;
230 	clean		= j->space[journal_space_clean].total;
231 	total		= j->space[journal_space_total].total;
232 
233 	if (!j->space[journal_space_discarded].next_entry)
234 		ret = JOURNAL_ERR_journal_full;
235 
236 	if ((j->space[journal_space_clean_ondisk].next_entry <
237 	     j->space[journal_space_clean_ondisk].total) &&
238 	    (clean - clean_ondisk <= total / 8) &&
239 	    (clean_ondisk * 2 > clean))
240 		set_bit(JOURNAL_may_skip_flush, &j->flags);
241 	else
242 		clear_bit(JOURNAL_may_skip_flush, &j->flags);
243 
244 	bch2_journal_set_watermark(j);
245 out:
246 	j->cur_entry_sectors	= !ret ? j->space[journal_space_discarded].next_entry : 0;
247 	j->cur_entry_error	= ret;
248 
249 	if (!ret)
250 		journal_wake(j);
251 }
252 
253 /* Discards - last part of journal reclaim: */
254 
should_discard_bucket(struct journal * j,struct journal_device * ja)255 static bool should_discard_bucket(struct journal *j, struct journal_device *ja)
256 {
257 	bool ret;
258 
259 	spin_lock(&j->lock);
260 	ret = ja->discard_idx != ja->dirty_idx_ondisk;
261 	spin_unlock(&j->lock);
262 
263 	return ret;
264 }
265 
266 /*
267  * Advance ja->discard_idx as long as it points to buckets that are no longer
268  * dirty, issuing discards if necessary:
269  */
bch2_journal_do_discards(struct journal * j)270 void bch2_journal_do_discards(struct journal *j)
271 {
272 	struct bch_fs *c = container_of(j, struct bch_fs, journal);
273 
274 	mutex_lock(&j->discard_lock);
275 
276 	for_each_rw_member(c, ca) {
277 		struct journal_device *ja = &ca->journal;
278 
279 		while (should_discard_bucket(j, ja)) {
280 			if (!c->opts.nochanges &&
281 			    ca->mi.discard &&
282 			    bdev_max_discard_sectors(ca->disk_sb.bdev))
283 				blkdev_issue_discard(ca->disk_sb.bdev,
284 					bucket_to_sector(ca,
285 						ja->buckets[ja->discard_idx]),
286 					ca->mi.bucket_size, GFP_NOFS);
287 
288 			spin_lock(&j->lock);
289 			ja->discard_idx = (ja->discard_idx + 1) % ja->nr;
290 
291 			bch2_journal_space_available(j);
292 			spin_unlock(&j->lock);
293 		}
294 	}
295 
296 	mutex_unlock(&j->discard_lock);
297 }
298 
299 /*
300  * Journal entry pinning - machinery for holding a reference on a given journal
301  * entry, holding it open to ensure it gets replayed during recovery:
302  */
303 
bch2_journal_reclaim_fast(struct journal * j)304 void bch2_journal_reclaim_fast(struct journal *j)
305 {
306 	bool popped = false;
307 
308 	lockdep_assert_held(&j->lock);
309 
310 	/*
311 	 * Unpin journal entries whose reference counts reached zero, meaning
312 	 * all btree nodes got written out
313 	 */
314 	while (!fifo_empty(&j->pin) &&
315 	       j->pin.front <= j->seq_ondisk &&
316 	       !atomic_read(&fifo_peek_front(&j->pin).count)) {
317 		j->pin.front++;
318 		popped = true;
319 	}
320 
321 	if (popped)
322 		bch2_journal_space_available(j);
323 }
324 
__bch2_journal_pin_put(struct journal * j,u64 seq)325 bool __bch2_journal_pin_put(struct journal *j, u64 seq)
326 {
327 	struct journal_entry_pin_list *pin_list = journal_seq_pin(j, seq);
328 
329 	return atomic_dec_and_test(&pin_list->count);
330 }
331 
bch2_journal_pin_put(struct journal * j,u64 seq)332 void bch2_journal_pin_put(struct journal *j, u64 seq)
333 {
334 	if (__bch2_journal_pin_put(j, seq)) {
335 		spin_lock(&j->lock);
336 		bch2_journal_reclaim_fast(j);
337 		spin_unlock(&j->lock);
338 	}
339 }
340 
__journal_pin_drop(struct journal * j,struct journal_entry_pin * pin)341 static inline bool __journal_pin_drop(struct journal *j,
342 				      struct journal_entry_pin *pin)
343 {
344 	struct journal_entry_pin_list *pin_list;
345 
346 	if (!journal_pin_active(pin))
347 		return false;
348 
349 	if (j->flush_in_progress == pin)
350 		j->flush_in_progress_dropped = true;
351 
352 	pin_list = journal_seq_pin(j, pin->seq);
353 	pin->seq = 0;
354 	list_del_init(&pin->list);
355 
356 	/*
357 	 * Unpinning a journal entry may make journal_next_bucket() succeed, if
358 	 * writing a new last_seq will now make another bucket available:
359 	 */
360 	return atomic_dec_and_test(&pin_list->count) &&
361 		pin_list == &fifo_peek_front(&j->pin);
362 }
363 
bch2_journal_pin_drop(struct journal * j,struct journal_entry_pin * pin)364 void bch2_journal_pin_drop(struct journal *j,
365 			   struct journal_entry_pin *pin)
366 {
367 	spin_lock(&j->lock);
368 	if (__journal_pin_drop(j, pin))
369 		bch2_journal_reclaim_fast(j);
370 	spin_unlock(&j->lock);
371 }
372 
journal_pin_type(journal_pin_flush_fn fn)373 static enum journal_pin_type journal_pin_type(journal_pin_flush_fn fn)
374 {
375 	if (fn == bch2_btree_node_flush0 ||
376 	    fn == bch2_btree_node_flush1)
377 		return JOURNAL_PIN_btree;
378 	else if (fn == bch2_btree_key_cache_journal_flush)
379 		return JOURNAL_PIN_key_cache;
380 	else
381 		return JOURNAL_PIN_other;
382 }
383 
bch2_journal_pin_set_locked(struct journal * j,u64 seq,struct journal_entry_pin * pin,journal_pin_flush_fn flush_fn,enum journal_pin_type type)384 static inline void bch2_journal_pin_set_locked(struct journal *j, u64 seq,
385 			  struct journal_entry_pin *pin,
386 			  journal_pin_flush_fn flush_fn,
387 			  enum journal_pin_type type)
388 {
389 	struct journal_entry_pin_list *pin_list = journal_seq_pin(j, seq);
390 
391 	/*
392 	 * flush_fn is how we identify journal pins in debugfs, so must always
393 	 * exist, even if it doesn't do anything:
394 	 */
395 	BUG_ON(!flush_fn);
396 
397 	atomic_inc(&pin_list->count);
398 	pin->seq	= seq;
399 	pin->flush	= flush_fn;
400 	list_add(&pin->list, &pin_list->list[type]);
401 }
402 
bch2_journal_pin_copy(struct journal * j,struct journal_entry_pin * dst,struct journal_entry_pin * src,journal_pin_flush_fn flush_fn)403 void bch2_journal_pin_copy(struct journal *j,
404 			   struct journal_entry_pin *dst,
405 			   struct journal_entry_pin *src,
406 			   journal_pin_flush_fn flush_fn)
407 {
408 	spin_lock(&j->lock);
409 
410 	u64 seq = READ_ONCE(src->seq);
411 
412 	if (seq < journal_last_seq(j)) {
413 		/*
414 		 * bch2_journal_pin_copy() raced with bch2_journal_pin_drop() on
415 		 * the src pin - with the pin dropped, the entry to pin might no
416 		 * longer to exist, but that means there's no longer anything to
417 		 * copy and we can bail out here:
418 		 */
419 		spin_unlock(&j->lock);
420 		return;
421 	}
422 
423 	bool reclaim = __journal_pin_drop(j, dst);
424 
425 	bch2_journal_pin_set_locked(j, seq, dst, flush_fn, journal_pin_type(flush_fn));
426 
427 	if (reclaim)
428 		bch2_journal_reclaim_fast(j);
429 
430 	/*
431 	 * If the journal is currently full,  we might want to call flush_fn
432 	 * immediately:
433 	 */
434 	if (seq == journal_last_seq(j))
435 		journal_wake(j);
436 	spin_unlock(&j->lock);
437 }
438 
bch2_journal_pin_set(struct journal * j,u64 seq,struct journal_entry_pin * pin,journal_pin_flush_fn flush_fn)439 void bch2_journal_pin_set(struct journal *j, u64 seq,
440 			  struct journal_entry_pin *pin,
441 			  journal_pin_flush_fn flush_fn)
442 {
443 	spin_lock(&j->lock);
444 
445 	BUG_ON(seq < journal_last_seq(j));
446 
447 	bool reclaim = __journal_pin_drop(j, pin);
448 
449 	bch2_journal_pin_set_locked(j, seq, pin, flush_fn, journal_pin_type(flush_fn));
450 
451 	if (reclaim)
452 		bch2_journal_reclaim_fast(j);
453 	/*
454 	 * If the journal is currently full,  we might want to call flush_fn
455 	 * immediately:
456 	 */
457 	if (seq == journal_last_seq(j))
458 		journal_wake(j);
459 
460 	spin_unlock(&j->lock);
461 }
462 
463 /**
464  * bch2_journal_pin_flush: ensure journal pin callback is no longer running
465  * @j:		journal object
466  * @pin:	pin to flush
467  */
bch2_journal_pin_flush(struct journal * j,struct journal_entry_pin * pin)468 void bch2_journal_pin_flush(struct journal *j, struct journal_entry_pin *pin)
469 {
470 	BUG_ON(journal_pin_active(pin));
471 
472 	wait_event(j->pin_flush_wait, j->flush_in_progress != pin);
473 }
474 
475 /*
476  * Journal reclaim: flush references to open journal entries to reclaim space in
477  * the journal
478  *
479  * May be done by the journal code in the background as needed to free up space
480  * for more journal entries, or as part of doing a clean shutdown, or to migrate
481  * data off of a specific device:
482  */
483 
484 static struct journal_entry_pin *
journal_get_next_pin(struct journal * j,u64 seq_to_flush,unsigned allowed_below_seq,unsigned allowed_above_seq,u64 * seq)485 journal_get_next_pin(struct journal *j,
486 		     u64 seq_to_flush,
487 		     unsigned allowed_below_seq,
488 		     unsigned allowed_above_seq,
489 		     u64 *seq)
490 {
491 	struct journal_entry_pin_list *pin_list;
492 	struct journal_entry_pin *ret = NULL;
493 	unsigned i;
494 
495 	fifo_for_each_entry_ptr(pin_list, &j->pin, *seq) {
496 		if (*seq > seq_to_flush && !allowed_above_seq)
497 			break;
498 
499 		for (i = 0; i < JOURNAL_PIN_NR; i++)
500 			if ((((1U << i) & allowed_below_seq) && *seq <= seq_to_flush) ||
501 			    ((1U << i) & allowed_above_seq)) {
502 				ret = list_first_entry_or_null(&pin_list->list[i],
503 					struct journal_entry_pin, list);
504 				if (ret)
505 					return ret;
506 			}
507 	}
508 
509 	return NULL;
510 }
511 
512 /* returns true if we did work */
journal_flush_pins(struct journal * j,u64 seq_to_flush,unsigned allowed_below_seq,unsigned allowed_above_seq,unsigned min_any,unsigned min_key_cache)513 static size_t journal_flush_pins(struct journal *j,
514 				 u64 seq_to_flush,
515 				 unsigned allowed_below_seq,
516 				 unsigned allowed_above_seq,
517 				 unsigned min_any,
518 				 unsigned min_key_cache)
519 {
520 	struct journal_entry_pin *pin;
521 	size_t nr_flushed = 0;
522 	journal_pin_flush_fn flush_fn;
523 	u64 seq;
524 	int err;
525 
526 	lockdep_assert_held(&j->reclaim_lock);
527 
528 	while (1) {
529 		unsigned allowed_above = allowed_above_seq;
530 		unsigned allowed_below = allowed_below_seq;
531 
532 		if (min_any) {
533 			allowed_above |= ~0;
534 			allowed_below |= ~0;
535 		}
536 
537 		if (min_key_cache) {
538 			allowed_above |= 1U << JOURNAL_PIN_key_cache;
539 			allowed_below |= 1U << JOURNAL_PIN_key_cache;
540 		}
541 
542 		cond_resched();
543 
544 		j->last_flushed = jiffies;
545 
546 		spin_lock(&j->lock);
547 		pin = journal_get_next_pin(j, seq_to_flush, allowed_below, allowed_above, &seq);
548 		if (pin) {
549 			BUG_ON(j->flush_in_progress);
550 			j->flush_in_progress = pin;
551 			j->flush_in_progress_dropped = false;
552 			flush_fn = pin->flush;
553 		}
554 		spin_unlock(&j->lock);
555 
556 		if (!pin)
557 			break;
558 
559 		if (min_key_cache && pin->flush == bch2_btree_key_cache_journal_flush)
560 			min_key_cache--;
561 
562 		if (min_any)
563 			min_any--;
564 
565 		err = flush_fn(j, pin, seq);
566 
567 		spin_lock(&j->lock);
568 		/* Pin might have been dropped or rearmed: */
569 		if (likely(!err && !j->flush_in_progress_dropped))
570 			list_move(&pin->list, &journal_seq_pin(j, seq)->flushed);
571 		j->flush_in_progress = NULL;
572 		j->flush_in_progress_dropped = false;
573 		spin_unlock(&j->lock);
574 
575 		wake_up(&j->pin_flush_wait);
576 
577 		if (err)
578 			break;
579 
580 		nr_flushed++;
581 	}
582 
583 	return nr_flushed;
584 }
585 
journal_seq_to_flush(struct journal * j)586 static u64 journal_seq_to_flush(struct journal *j)
587 {
588 	struct bch_fs *c = container_of(j, struct bch_fs, journal);
589 	u64 seq_to_flush = 0;
590 
591 	spin_lock(&j->lock);
592 
593 	for_each_rw_member(c, ca) {
594 		struct journal_device *ja = &ca->journal;
595 		unsigned nr_buckets, bucket_to_flush;
596 
597 		if (!ja->nr)
598 			continue;
599 
600 		/* Try to keep the journal at most half full: */
601 		nr_buckets = ja->nr / 2;
602 
603 		nr_buckets = min(nr_buckets, ja->nr);
604 
605 		bucket_to_flush = (ja->cur_idx + nr_buckets) % ja->nr;
606 		seq_to_flush = max(seq_to_flush,
607 				   ja->bucket_seq[bucket_to_flush]);
608 	}
609 
610 	/* Also flush if the pin fifo is more than half full */
611 	seq_to_flush = max_t(s64, seq_to_flush,
612 			     (s64) journal_cur_seq(j) -
613 			     (j->pin.size >> 1));
614 	spin_unlock(&j->lock);
615 
616 	return seq_to_flush;
617 }
618 
619 /**
620  * __bch2_journal_reclaim - free up journal buckets
621  * @j:		journal object
622  * @direct:	direct or background reclaim?
623  * @kicked:	requested to run since we last ran?
624  * Returns:	0 on success, or -EIO if the journal has been shutdown
625  *
626  * Background journal reclaim writes out btree nodes. It should be run
627  * early enough so that we never completely run out of journal buckets.
628  *
629  * High watermarks for triggering background reclaim:
630  * - FIFO has fewer than 512 entries left
631  * - fewer than 25% journal buckets free
632  *
633  * Background reclaim runs until low watermarks are reached:
634  * - FIFO has more than 1024 entries left
635  * - more than 50% journal buckets free
636  *
637  * As long as a reclaim can complete in the time it takes to fill up
638  * 512 journal entries or 25% of all journal buckets, then
639  * journal_next_bucket() should not stall.
640  */
__bch2_journal_reclaim(struct journal * j,bool direct,bool kicked)641 static int __bch2_journal_reclaim(struct journal *j, bool direct, bool kicked)
642 {
643 	struct bch_fs *c = container_of(j, struct bch_fs, journal);
644 	struct btree_cache *bc = &c->btree_cache;
645 	bool kthread = (current->flags & PF_KTHREAD) != 0;
646 	u64 seq_to_flush;
647 	size_t min_nr, min_key_cache, nr_flushed;
648 	unsigned flags;
649 	int ret = 0;
650 
651 	/*
652 	 * We can't invoke memory reclaim while holding the reclaim_lock -
653 	 * journal reclaim is required to make progress for memory reclaim
654 	 * (cleaning the caches), so we can't get stuck in memory reclaim while
655 	 * we're holding the reclaim lock:
656 	 */
657 	lockdep_assert_held(&j->reclaim_lock);
658 	flags = memalloc_noreclaim_save();
659 
660 	do {
661 		if (kthread && kthread_should_stop())
662 			break;
663 
664 		if (bch2_journal_error(j)) {
665 			ret = -EIO;
666 			break;
667 		}
668 
669 		bch2_journal_do_discards(j);
670 
671 		seq_to_flush = journal_seq_to_flush(j);
672 		min_nr = 0;
673 
674 		/*
675 		 * If it's been longer than j->reclaim_delay_ms since we last flushed,
676 		 * make sure to flush at least one journal pin:
677 		 */
678 		if (time_after(jiffies, j->last_flushed +
679 			       msecs_to_jiffies(c->opts.journal_reclaim_delay)))
680 			min_nr = 1;
681 
682 		if (j->watermark != BCH_WATERMARK_stripe)
683 			min_nr = 1;
684 
685 		size_t btree_cache_live = bc->live[0].nr + bc->live[1].nr;
686 		if (atomic_long_read(&bc->nr_dirty) * 2 > btree_cache_live)
687 			min_nr = 1;
688 
689 		min_key_cache = min(bch2_nr_btree_keys_need_flush(c), (size_t) 128);
690 
691 		trace_and_count(c, journal_reclaim_start, c,
692 				direct, kicked,
693 				min_nr, min_key_cache,
694 				atomic_long_read(&bc->nr_dirty), btree_cache_live,
695 				atomic_long_read(&c->btree_key_cache.nr_dirty),
696 				atomic_long_read(&c->btree_key_cache.nr_keys));
697 
698 		nr_flushed = journal_flush_pins(j, seq_to_flush,
699 						~0, 0,
700 						min_nr, min_key_cache);
701 
702 		if (direct)
703 			j->nr_direct_reclaim += nr_flushed;
704 		else
705 			j->nr_background_reclaim += nr_flushed;
706 		trace_and_count(c, journal_reclaim_finish, c, nr_flushed);
707 
708 		if (nr_flushed)
709 			wake_up(&j->reclaim_wait);
710 	} while ((min_nr || min_key_cache) && nr_flushed && !direct);
711 
712 	memalloc_noreclaim_restore(flags);
713 
714 	return ret;
715 }
716 
bch2_journal_reclaim(struct journal * j)717 int bch2_journal_reclaim(struct journal *j)
718 {
719 	return __bch2_journal_reclaim(j, true, true);
720 }
721 
bch2_journal_reclaim_thread(void * arg)722 static int bch2_journal_reclaim_thread(void *arg)
723 {
724 	struct journal *j = arg;
725 	struct bch_fs *c = container_of(j, struct bch_fs, journal);
726 	unsigned long delay, now;
727 	bool journal_empty;
728 	int ret = 0;
729 
730 	set_freezable();
731 
732 	j->last_flushed = jiffies;
733 
734 	while (!ret && !kthread_should_stop()) {
735 		bool kicked = j->reclaim_kicked;
736 
737 		j->reclaim_kicked = false;
738 
739 		mutex_lock(&j->reclaim_lock);
740 		ret = __bch2_journal_reclaim(j, false, kicked);
741 		mutex_unlock(&j->reclaim_lock);
742 
743 		now = jiffies;
744 		delay = msecs_to_jiffies(c->opts.journal_reclaim_delay);
745 		j->next_reclaim = j->last_flushed + delay;
746 
747 		if (!time_in_range(j->next_reclaim, now, now + delay))
748 			j->next_reclaim = now + delay;
749 
750 		while (1) {
751 			set_current_state(TASK_INTERRUPTIBLE|TASK_FREEZABLE);
752 			if (kthread_should_stop())
753 				break;
754 			if (j->reclaim_kicked)
755 				break;
756 
757 			spin_lock(&j->lock);
758 			journal_empty = fifo_empty(&j->pin);
759 			spin_unlock(&j->lock);
760 
761 			if (journal_empty)
762 				schedule();
763 			else if (time_after(j->next_reclaim, jiffies))
764 				schedule_timeout(j->next_reclaim - jiffies);
765 			else
766 				break;
767 		}
768 		__set_current_state(TASK_RUNNING);
769 	}
770 
771 	return 0;
772 }
773 
bch2_journal_reclaim_stop(struct journal * j)774 void bch2_journal_reclaim_stop(struct journal *j)
775 {
776 	struct task_struct *p = j->reclaim_thread;
777 
778 	j->reclaim_thread = NULL;
779 
780 	if (p) {
781 		kthread_stop(p);
782 		put_task_struct(p);
783 	}
784 }
785 
bch2_journal_reclaim_start(struct journal * j)786 int bch2_journal_reclaim_start(struct journal *j)
787 {
788 	struct bch_fs *c = container_of(j, struct bch_fs, journal);
789 	struct task_struct *p;
790 	int ret;
791 
792 	if (j->reclaim_thread)
793 		return 0;
794 
795 	p = kthread_create(bch2_journal_reclaim_thread, j,
796 			   "bch-reclaim/%s", c->name);
797 	ret = PTR_ERR_OR_ZERO(p);
798 	bch_err_msg(c, ret, "creating journal reclaim thread");
799 	if (ret)
800 		return ret;
801 
802 	get_task_struct(p);
803 	j->reclaim_thread = p;
804 	wake_up_process(p);
805 	return 0;
806 }
807 
journal_flush_done(struct journal * j,u64 seq_to_flush,bool * did_work)808 static int journal_flush_done(struct journal *j, u64 seq_to_flush,
809 			      bool *did_work)
810 {
811 	int ret;
812 
813 	ret = bch2_journal_error(j);
814 	if (ret)
815 		return ret;
816 
817 	mutex_lock(&j->reclaim_lock);
818 
819 	if (journal_flush_pins(j, seq_to_flush,
820 			       (1U << JOURNAL_PIN_key_cache)|
821 			       (1U << JOURNAL_PIN_other), 0, 0, 0) ||
822 	    journal_flush_pins(j, seq_to_flush,
823 			       (1U << JOURNAL_PIN_btree), 0, 0, 0))
824 		*did_work = true;
825 
826 	if (seq_to_flush > journal_cur_seq(j))
827 		bch2_journal_entry_close(j);
828 
829 	spin_lock(&j->lock);
830 	/*
831 	 * If journal replay hasn't completed, the unreplayed journal entries
832 	 * hold refs on their corresponding sequence numbers
833 	 */
834 	ret = !test_bit(JOURNAL_replay_done, &j->flags) ||
835 		journal_last_seq(j) > seq_to_flush ||
836 		!fifo_used(&j->pin);
837 
838 	spin_unlock(&j->lock);
839 	mutex_unlock(&j->reclaim_lock);
840 
841 	return ret;
842 }
843 
bch2_journal_flush_pins(struct journal * j,u64 seq_to_flush)844 bool bch2_journal_flush_pins(struct journal *j, u64 seq_to_flush)
845 {
846 	/* time_stats this */
847 	bool did_work = false;
848 
849 	if (!test_bit(JOURNAL_running, &j->flags))
850 		return false;
851 
852 	closure_wait_event(&j->async_wait,
853 		journal_flush_done(j, seq_to_flush, &did_work));
854 
855 	return did_work;
856 }
857 
bch2_journal_flush_device_pins(struct journal * j,int dev_idx)858 int bch2_journal_flush_device_pins(struct journal *j, int dev_idx)
859 {
860 	struct bch_fs *c = container_of(j, struct bch_fs, journal);
861 	struct journal_entry_pin_list *p;
862 	u64 iter, seq = 0;
863 	int ret = 0;
864 
865 	spin_lock(&j->lock);
866 	fifo_for_each_entry_ptr(p, &j->pin, iter)
867 		if (dev_idx >= 0
868 		    ? bch2_dev_list_has_dev(p->devs, dev_idx)
869 		    : p->devs.nr < c->opts.metadata_replicas)
870 			seq = iter;
871 	spin_unlock(&j->lock);
872 
873 	bch2_journal_flush_pins(j, seq);
874 
875 	ret = bch2_journal_error(j);
876 	if (ret)
877 		return ret;
878 
879 	mutex_lock(&c->replicas_gc_lock);
880 	bch2_replicas_gc_start(c, 1 << BCH_DATA_journal);
881 
882 	/*
883 	 * Now that we've populated replicas_gc, write to the journal to mark
884 	 * active journal devices. This handles the case where the journal might
885 	 * be empty. Otherwise we could clear all journal replicas and
886 	 * temporarily put the fs into an unrecoverable state. Journal recovery
887 	 * expects to find devices marked for journal data on unclean mount.
888 	 */
889 	ret = bch2_journal_meta(&c->journal);
890 	if (ret)
891 		goto err;
892 
893 	seq = 0;
894 	spin_lock(&j->lock);
895 	while (!ret) {
896 		struct bch_replicas_padded replicas;
897 
898 		seq = max(seq, journal_last_seq(j));
899 		if (seq >= j->pin.back)
900 			break;
901 		bch2_devlist_to_replicas(&replicas.e, BCH_DATA_journal,
902 					 journal_seq_pin(j, seq)->devs);
903 		seq++;
904 
905 		if (replicas.e.nr_devs) {
906 			spin_unlock(&j->lock);
907 			ret = bch2_mark_replicas(c, &replicas.e);
908 			spin_lock(&j->lock);
909 		}
910 	}
911 	spin_unlock(&j->lock);
912 err:
913 	ret = bch2_replicas_gc_end(c, ret);
914 	mutex_unlock(&c->replicas_gc_lock);
915 
916 	return ret;
917 }
918