From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Date: Sat, 17 Jun 2017 14:14:31 +0300 From: Vladimir Davydov To: Andrew Morton , Sahitya Tummala Cc: Alexander Polakov , Jan Kara , linux-mm@kvack.org, linux-kernel@vger.kernel.org, linux-fsdevel@vger.kernel.org Subject: Re: [PATCH] mm/list_lru.c: use cond_resched_lock() for nlru->lock Message-ID: <20170617111431.GA27061@esperanza> References: <1497228440-10349-1-git-send-email-stummala@codeaurora.org> <20170615140523.76f8fc3ca21dae3704f06a56@linux-foundation.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20170615140523.76f8fc3ca21dae3704f06a56@linux-foundation.org> Sender: owner-linux-mm@kvack.org List-ID: Hello, On Thu, Jun 15, 2017 at 02:05:23PM -0700, Andrew Morton wrote: > On Mon, 12 Jun 2017 06:17:20 +0530 Sahitya Tummala wrote: > > > __list_lru_walk_one() can hold the spin lock for longer duration > > if there are more number of entries to be isolated. > > > > This results in "BUG: spinlock lockup suspected" in the below path - > > > > [] spin_bug+0x90 > > [] do_raw_spin_lock+0xfc > > [] _raw_spin_lock+0x28 > > [] list_lru_add+0x28 > > [] dput+0x1c8 > > [] path_put+0x20 > > [] terminate_walk+0x3c > > [] path_lookupat+0x100 > > [] filename_lookup+0x6c > > [] user_path_at_empty+0x54 > > [] SyS_faccessat+0xd0 > > [] el0_svc_naked+0x24 > > > > This nlru->lock has been acquired by another CPU in this path - > > > > [] d_lru_shrink_move+0x34 > > [] dentry_lru_isolate_shrink+0x48 > > [] __list_lru_walk_one.isra.10+0x94 > > [] list_lru_walk_node+0x40 > > [] shrink_dcache_sb+0x60 > > [] do_remount_sb+0xbc > > [] do_emergency_remount+0xb0 > > [] process_one_work+0x228 > > [] worker_thread+0x2e0 > > [] kthread+0xf4 > > [] ret_from_fork+0x10 > > > > Link: http://marc.info/?t=149511514800002&r=1&w=2 > > Fix-suggested-by: Jan kara > > Signed-off-by: Sahitya Tummala > > --- > > mm/list_lru.c | 2 ++ > > 1 file changed, 2 insertions(+) > > > > diff --git a/mm/list_lru.c b/mm/list_lru.c > > index 5d8dffd..1af0709 100644 > > --- a/mm/list_lru.c > > +++ b/mm/list_lru.c > > @@ -249,6 +249,8 @@ restart: > > default: > > BUG(); > > } > > + if (cond_resched_lock(&nlru->lock)) > > + goto restart; > > } > > > > spin_unlock(&nlru->lock); > > This is rather worrying. > > a) Why are we spending so long holding that lock that this is occurring? > > b) With this patch, we're restarting the entire scan. Are there > situations in which this loop will never terminate, or will take a > very long time? Suppose that this process is getting rescheds > blasted at it for some reason? > > IOW this looks like a bit of a band-aid and a deeper analysis and > understanding might be needed. The goal of list_lru_walk is removing inactive entries from the lru list (LRU_REMOVED). Memory shrinkers may also choose to move active entries to the tail of the lru list (LRU_ROTATED). LRU_SKIP is supposed to be returned only to avoid a possible deadlock. So I don't see how restarting lru walk could have adverse effects. However, I do find this patch kinda ugly, because: - list_lru_walk already gives you a way to avoid a lockup - just make the callback reschedule and return LRU_RETRY every now and then, see shadow_lru_isolate() for an example. Alternatively, you can limit the number of entries scanned in one go (nr_to_walk) and reschedule between calls. This is what shrink_slab() does: the number of dentries scanned without releasing the lock is limited to 1024, see how super_block::s_shrink is initialized. - Someone might want to call list_lru_walk with a spin lock held, and I don't see anything wrong in doing that. With your patch it can't be done anymore. That said, I think it would be better to patch shrink_dcache_sb() or dentry_lru_isolate_shrink() instead of list_lru_walk() in order to fix this lockup. -- To unsubscribe, send a message with 'unsubscribe linux-mm' in the body to majordomo@kvack.org. For more info on Linux MM, see: http://www.linux-mm.org/ . Don't email: email@kvack.org