[Top] [All Lists]

[PATCH 1/2] bdi: mark the bdi flusher busy when being forked

To: xfs@xxxxxxxxxxx
Subject: [PATCH 1/2] bdi: mark the bdi flusher busy when being forked
From: Dave Chinner <david@xxxxxxxxxxxxx>
Date: Thu, 7 Apr 2011 16:19:55 +1000
Cc: linux-fsdevel@xxxxxxxxxxxxxxx
In-reply-to: <1302157196-1988-1-git-send-email-david@xxxxxxxxxxxxx>
References: <1302157196-1988-1-git-send-email-david@xxxxxxxxxxxxx>
From: Dave Chinner <dchinner@xxxxxxxxxx>

Recetn attempts to use writeback_inode_sb_nr_if_idle() in XFs from
memory reclaim context have caused deadlocks because memory reclaim
call be called from a failed allocation during forking a flusher
thread. The shrinker then attempts to trigger writeback and the bdi
is considered idle because writeback is not in progress yet and then
deadlocks because bdi_queue_work() blocks waiting for the
BDI_Pending bit to clear which will never happen because it needs
the fork to complete.

To avoid this deadlock, consider writeback to be in progress if the
flusher thread is being created. This prevents reclaim from blocking
waiting for it be forked and hence avoids the deadlock.

Signed-off-by: Dave Chinner <dchinner@xxxxxxxxxx>
 fs/fs-writeback.c |    7 +++++--
 1 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/fs/fs-writeback.c b/fs/fs-writeback.c
index b5ed541..64e2aba 100644
--- a/fs/fs-writeback.c
+++ b/fs/fs-writeback.c
@@ -62,11 +62,14 @@ int nr_pdflush_threads;
  * @bdi: the device's backing_dev_info structure.
  * Determine whether there is writeback waiting to be handled against a
- * backing device.
+ * backing device. If the flusher thread is being created, then writeback is in
+ * the process of being started, so indicate that it writeback is not idle at
+ * this point in time.
 int writeback_in_progress(struct backing_dev_info *bdi)
-       return test_bit(BDI_writeback_running, &bdi->state);
+       return test_bit(BDI_writeback_running, &bdi->state) ||
+               test_bit(BDI_pending, &bdi->state);
 static inline struct backing_dev_info *inode_to_bdi(struct inode *inode)

<Prev in Thread] Current Thread [Next in Thread>