Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1030354Ab3DSMrG (ORCPT ); Fri, 19 Apr 2013 08:47:06 -0400 Received: from mail-lb0-f178.google.com ([209.85.217.178]:56370 "EHLO mail-lb0-f178.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S968316Ab3DSMrE (ORCPT ); Fri, 19 Apr 2013 08:47:04 -0400 MIME-Version: 1.0 In-Reply-To: <1366345802.2855.38.camel@Wailaba2> References: <1366305822-5499-1-git-send-email-fweisbec@gmail.com> <1366305822-5499-3-git-send-email-fweisbec@gmail.com> <1366345802.2855.38.camel@Wailaba2> Date: Fri, 19 Apr 2013 14:47:02 +0200 Message-ID: Subject: Re: [PATCH 2/3] posix_timers: Defer per process timer stop after timers processing From: Frederic Weisbecker To: Olivier Langlois Cc: Ingo Molnar , LKML , Chris Metcalf , Christoph Lameter , Geoff Levand , Gilad Ben Yossef , Hakan Akkan , Kevin Hilman , Li Zhong , Oleg Nesterov , "Paul E. McKenney" , Paul Gortmaker , Peter Zijlstra , Steven Rostedt , Thomas Gleixner Content-Type: text/plain; charset=ISO-8859-1 Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 3431 Lines: 86 2013/4/19 Olivier Langlois : > Hi Frederic, >> /* >> @@ -1279,6 +1277,7 @@ void run_posix_cpu_timers(struct task_struct *tsk) >> LIST_HEAD(firing); >> struct k_itimer *timer, *next; >> unsigned long flags; >> + struct signal_struct *sig; >> >> BUG_ON(!irqs_disabled()); >> >> @@ -1336,6 +1335,10 @@ void run_posix_cpu_timers(struct task_struct *tsk) >> cpu_timer_fire(timer); >> spin_unlock(&timer->it_lock); >> } >> + >> + sig = tsk->signal; >> + if (task_cputime_zero(&sig->cputime_expires)) >> + stop_process_timers(sig); >> } >> >> /* > I have proposed a different modification for the same problem yesterday: > > https://lkml.org/lkml/2013/4/17/351 Hmm, that's not exactly the same problem. > > I might be mistaken but I believe that firing timers are not rescheduled > in the current interrupt context. They are going to be rescheduled later > from the task context handling the timer generated signal. No, when the timer fires, it might generate a signal. But it won't execute that signal right away in the same code path. Instead, after signal generation, it may reschedule the timer if necessary then look at the next firing timer in the list. This is all made from the same timer interrupt context from the same call to run_posix_cpu_timers(). The signal itself is executed asynchronously. Either by interrupting a syscall, or from the irq return path. > Also, if the cputimer is started by posix_cpu_timer_set() without arming > any timer, the stop_process_timers() function will never be reached. It should. On the next timer tick that interrupt the task(s) that has the timer, run_posix_cpu_timers() will run check_process_timers() that may conclude with stop_process_timer() if none is running. But then this makes me realize my patch is buggy. The fact I move stop_process_timers() in the very end of the processing doesn't change much the issue: another CPU may tick and cancel the sig->cputimer.running. And if it is eventually rearmed by a rescheduled timer, we still have a possible tiny race window against full dynticks CPUs. Ok I need to drop that patch. > > My methodology to test the modifications that I have proposed is by > adding a printk() statement inside thread_group_cputimer() where the > cputimer is initialized and run > > glibc-2.17/rt/tst-cputimer1 unittest. > > Before the changes, the cputimer is initialized 4 times! > I was expecting with the proposed changes to see that number reduced to > 2 but it ended up to be even better and be only 1 because the second > waves of posix cpu timers is set within 1 tick. > > If you do the same test with your changes, I think that there is a > chance that it will not get the same positive result for the reason that > I have stated above. > > To conclude, I would be very interested to get your input in posix cpu > timer modification proposal that I did last week. My proposal is either > too complex or I am very bad explaining it so since your knowledgable in > the area, your input would be very helpful. > > https://lkml.org/lkml/2013/4/5/370 Ok I'm looking at it. Thanks. -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/