From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1754857AbZBCU4b (ORCPT ); Tue, 3 Feb 2009 15:56:31 -0500 Received: (majordomo@vger.kernel.org) by vger.kernel.org id S1752028AbZBCU4W (ORCPT ); Tue, 3 Feb 2009 15:56:22 -0500 Received: from smtp-out.google.com ([216.239.45.13]:42479 "EHLO smtp-out.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751815AbZBCU4V (ORCPT ); Tue, 3 Feb 2009 15:56:21 -0500 DomainKey-Signature: a=rsa-sha1; s=beta; d=google.com; c=nofws; q=dns; h=date:from:to:cc:subject:message-id:mime-version: content-type:content-disposition:content-transfer-encoding:in-reply-to: x-operating-system:user-agent:x-gmailtapped-by:x-gmailtapped; b=UvmWJjLCOpi8ZjpJpLoqAb5VGXni+fjtFBB8HSxWSvtkp+3DRmiw79Gp5PODFSo7Y dce4AnKvFBodejY93OVhQ== Date: Tue, 3 Feb 2009 12:56:09 -0800 From: Mandeep Singh Baines To: Ingo Molnar Cc: =?iso-8859-1?Q?Fr=E9d=E9ric?= Weisbecker , Peter Zijlstra , linux-kernel@vger.kernel.org, rientjes@google.com, mbligh@google.com, thockin@google.com, Andrew Morton Subject: [PATCH 2/2 v3] softlockup: check all tasks in hung_task Message-ID: <20090203205609.GA9581@google.com> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <20090203122346.GE19979@elte.hu> X-Operating-System: Linux/2.6.18.5-gg42workstation-mixed64-32 (x86_64) User-Agent: Mutt/1.5.11 X-GMailtapped-By: 172.28.16.147 X-GMailtapped: msb Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Ingo Molnar (mingo@elte.hu) wrote: > > * Mandeep Singh Baines wrote: > > > + if (sysctl_hung_task_check_count && !(max_count--)) { > > + max_count = sysctl_hung_task_check_count; > > just a minor nit, why not: > > !--max_count > > ? > > That way we can lose the parenthesis and we'll also not overcount and wont > let max_count go down to -1. > > Ingo Good question. Yeah, there's really nothing about this patch that requires changing the !--max_count test. Changed the condition back to a simple !--max_count test. --- Instead of checking only hung_task_check_count tasks, all tasks are checked. hung_task_check_count is still used to put an upper bound on the critical section. Every hung_task_check_count checks, the critical section is refreshed. Keeping the critical section small minimizes time preemption is disabled and keeps rcu grace periods small. To prevent following a stale pointer, get_task_struct is called on g and t. To verify that g and t have not been unhashed while outside the critical section, the task states are checked. The design was proposed by Frédéric Weisbecker. Frédéric Weisbecker (fweisbec@gmail.com) wrote: > > Instead of having this arbitrary limit of tasks, why not just > lurk the need_resched() and then schedule if it needs too. > > I know that sounds a bit racy, because you will have to release the > tasklist_lock and > a lot of things can happen in the task list until you become resched. > But you can do a get_task_struct() on g and t before your thread is > going to sleep and then put them > when it is awaken. > Perhaps some tasks will disappear or be appended in the list before g > and t, but that doesn't really matter: > if they disappear, they didn't lockup, and if they were appended, they > are not enough cold to be analyzed :-) > > This way you can drop the arbitrary limit of task number given by the user.... > > Frederic. > Signed-off-by: Mandeep Singh Baines --- kernel/hung_task.c | 27 +++++++++++++++++++++++++-- 1 files changed, 25 insertions(+), 2 deletions(-) diff --git a/kernel/hung_task.c b/kernel/hung_task.c index a841db3..f47eea4 100644 --- a/kernel/hung_task.c +++ b/kernel/hung_task.c @@ -109,6 +109,24 @@ static void check_hung_task(struct task_struct *t, unsigned long now, panic("hung_task: blocked tasks"); } + /* + * To avoid extending the RCU grace period for an unbounded amount of time, + * periodically exit the critical section and enter a new one. + * + * For preemptible RCU it is sufficient to call rcu_read_unlock in order + * exit the grace period. For classic RCU, a reschedule is required. + */ +static void check_hung_rcu_refresh(struct task_struct *g, struct task_struct *t) +{ + get_task_struct(g); + get_task_struct(t); + rcu_read_unlock(); + cond_resched(); + rcu_read_lock(); + put_task_struct(t); + put_task_struct(g); +} + /* * Check whether a TASK_UNINTERRUPTIBLE does not get woken up for * a really long time (120 seconds). If that happens, print out @@ -129,8 +147,13 @@ static void check_hung_uninterruptible_tasks(unsigned long timeout) rcu_read_lock(); do_each_thread(g, t) { - if (!--max_count) - goto unlock; + if (!--max_count) { + max_count = sysctl_hung_task_check_count; + check_hung_rcu_refresh(g, t); + /* Exit if t or g was unhashed during refresh. */ + if (t->state == TASK_DEAD || g->state == TASK_DEAD) + goto unlock; + } /* use "==" to skip the TASK_KILLABLE tasks waiting on NFS */ if (t->state == TASK_UNINTERRUPTIBLE) check_hung_task(t, now, timeout); -- 1.5.4.5