Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1752836AbYJaQm3 (ORCPT ); Fri, 31 Oct 2008 12:42:29 -0400 Received: (majordomo@vger.kernel.org) by vger.kernel.org id S1751162AbYJaQmU (ORCPT ); Fri, 31 Oct 2008 12:42:20 -0400 Received: from mx2.redhat.com ([66.187.237.31]:47114 "EHLO mx2.redhat.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751353AbYJaQmU (ORCPT ); Fri, 31 Oct 2008 12:42:20 -0400 Message-ID: <490B3574.1060501@redhat.com> Date: Fri, 31 Oct 2008 12:42:28 -0400 From: Chris Snook User-Agent: Thunderbird 2.0.0.16 (X11/20080723) MIME-Version: 1.0 To: Huang Ying CC: Andrew Morton , "linux-kernel@vger.kernel.org" Subject: Re: [PATH -mm -v2] Fix a race condtion of oops_in_progress References: <1225268796.24095.48.camel@yhuang-dev.sh.intel.com> <49087871.3010303@redhat.com> <1225332179.24095.61.camel@yhuang-dev.sh.intel.com> In-Reply-To: <1225332179.24095.61.camel@yhuang-dev.sh.intel.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 1306 Lines: 28 Huang Ying wrote: > Hi, Chris, > > On Wed, 2008-10-29 at 08:51 -0600, Chris Snook wrote: >> Huang Ying wrote: >>> Fix a race condition accessing oops_in_progress. Which may be changed on >>> multiple CPU simultaneously, but it is changed via non-atomic operation >>> ++/--. This patch changes the definition of oops_in_process from int to >>> atomic_t, and accessing method to atomic operations. >> You also need barriers. I believe rmb() before atomic_read() and wmb() after >> atomic_set() should suffice. > > I don't think that is necessary. I haven't found there is particular > consistent requirement about oops_in_progress. atomic_read() and atomic_set() don't inherently cause changes to be visible on other CPUs any faster than ++ and -- operators. Sometimes it happens to work out that way as a result of how the compiler and the CPU order operations, but there's no semantic guarantee, and it could even take arbitrarily long under some circumstances. If you want to use atomic ops to close the race, you need to use barriers. -- Chris -- 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/