From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1757121AbaGNVRJ (ORCPT ); Mon, 14 Jul 2014 17:17:09 -0400 Received: from cn.fujitsu.com ([59.151.112.132]:55573 "EHLO heian.cn.fujitsu.com" rhost-flags-OK-FAIL-OK-FAIL) by vger.kernel.org with ESMTP id S1756215AbaGNVRH (ORCPT ); Mon, 14 Jul 2014 17:17:07 -0400 X-IronPort-AV: E=Sophos;i="5.00,891,1396972800"; d="scan'208";a="33260819" Message-ID: <53C44915.4000405@cn.fujitsu.com> Date: Tue, 15 Jul 2014 05:18:13 +0800 From: Lai Jiangshan User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.9) Gecko/20100921 Fedora/3.1.4-1.fc14 Thunderbird/3.1.4 MIME-Version: 1.0 To: Thomas Gleixner CC: Tejun Heo , Subject: Re: [PATCH 1/1 V2] workqueue: remove the del_timer_sync()s in maybe_create_worker() References: <1405265479-827-1-git-send-email-laijs@cn.fujitsu.com> <1405325601-12437-1-git-send-email-laijs@cn.fujitsu.com> <1405325601-12437-2-git-send-email-laijs@cn.fujitsu.com> <20140714142707.GB31610@htj.dyndns.org> In-Reply-To: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 7bit X-Originating-IP: [10.167.226.103] Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On 07/14/2014 11:33 PM, Thomas Gleixner wrote: > On Mon, 14 Jul 2014, Tejun Heo wrote: > >> Hello, >> >> On Mon, Jul 14, 2014 at 04:13:21PM +0800, Lai Jiangshan wrote: >>> It is said in the document that the timer which is being >>> deleted by del_timer_sync() should not be restarted: >>> Synchronization rules: Callers must prevent restarting of >>> the timer, otherwise this function is meaningless. >>> >>> Repeating timer may cause the del_timer_sync() spin longer, >>> or even spin forever in very very very very extreme condition. >> >> I'm fairly sure del_timer_sync() can delete self-requeueing timers. >> The implementation busy-waits if the queued timer is the currently >> executing one and dequeues only while the timer isn't running which >> should be able to handle self-requeueing ones just fine. Thomas, >> del_timer_sync() can reliably delete self-requeueing ones, right? > > Yes. The comments of the del_timer_sync() needs to be updated if I did not misunderstood? > If the timer callback is running on the other cpu, then it waits > for the callback to finish before checking whether the timer is > enqueued or not. The syncer may be interrupted here, after it comes back, the timer may be running again (and maybe again and again). Current code is an acceptable ostrich algorithm, but the documents needs to be updated. Or re-implement it as the way as cancel_work_sync() which has similar but stronger semantics, it disables requeueing when syncing. > > Thanks, > > tglx > > > . >