flex_proportions: make fprop_new_period() hardirq safe

Bernd has reported a lockdep splat from flexible proportions code that is
essentially complaining about the following race:

<timer fires>
run_timer_softirq - we are in softirq context
call_timer_fn
writeout_period
fprop_new_period
write_seqcount_begin(&p->sequence);

<hardirq is raised>
...
blk_mq_end_request()
blk_update_request()
ext4_end_bio()
folio_end_writeback()
__wb_writeout_add()
__fprop_add_percpu_max()
if (unlikely(max_frac < FPROP_FRAC_BASE)) {
fprop_fraction_percpu()
seq = read_seqcount_begin(&p->sequence);
- sees odd sequence so loops indefinitely

Note that a deadlock like this is only possible if the bdi has configured
maximum fraction of writeout throughput which is very rare in general but
frequent for example for FUSE bdis. To fix this problem we have to make
sure write section of the sequence counter is irqsafe.

Link: https://lkml.kernel.org/r/20260121112729.24463-2-jack@suse.cz
Fixes: a91befde3503 ("lib/flex_proportions.c: remove local_irq_ops in fprop_new_period()")
Signed-off-by: Jan Kara <jack@suse.cz>
Reported-by: Bernd Schubert <bernd@bsbernd.com>
Link: https://lore.kernel.org/all/9b845a47-9aee-43dd-99bc-1a82bea00442@bsbernd.com/
Reviewed-by: Matthew Wilcox (Oracle) <willy@infradead.org>
Cc: Joanne Koong <joannelkoong@gmail.com>
Cc: Miklos Szeredi <miklos@szeredi.hu>
Cc: <stable@vger.kernel.org>
Signed-off-by: Andrew Morton <akpm@linux-foundation.org>

authored by

Jan Kara and committed by
Andrew Morton
dd9e2f5b d54887e8

+3 -2
+3 -2
lib/flex_proportions.c
··· 64 bool fprop_new_period(struct fprop_global *p, int periods) 65 { 66 s64 events = percpu_counter_sum(&p->events); 67 68 /* 69 * Don't do anything if there are no events. 70 */ 71 if (events <= 1) 72 return false; 73 - preempt_disable_nested(); 74 write_seqcount_begin(&p->sequence); 75 if (periods < 64) 76 events -= events >> periods; ··· 79 percpu_counter_add(&p->events, -events); 80 p->period += periods; 81 write_seqcount_end(&p->sequence); 82 - preempt_enable_nested(); 83 84 return true; 85 }
··· 64 bool fprop_new_period(struct fprop_global *p, int periods) 65 { 66 s64 events = percpu_counter_sum(&p->events); 67 + unsigned long flags; 68 69 /* 70 * Don't do anything if there are no events. 71 */ 72 if (events <= 1) 73 return false; 74 + local_irq_save(flags); 75 write_seqcount_begin(&p->sequence); 76 if (periods < 64) 77 events -= events >> periods; ··· 78 percpu_counter_add(&p->events, -events); 79 p->period += periods; 80 write_seqcount_end(&p->sequence); 81 + local_irq_restore(flags); 82 83 return true; 84 }