Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1753150AbaBEXUN (ORCPT ); Wed, 5 Feb 2014 18:20:13 -0500 Received: from mail-pb0-f52.google.com ([209.85.160.52]:63633 "EHLO mail-pb0-f52.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751256AbaBEXUK (ORCPT ); Wed, 5 Feb 2014 18:20:10 -0500 Date: Wed, 5 Feb 2014 15:20:07 -0800 (PST) From: David Rientjes X-X-Sender: rientjes@chino.kir.corp.google.com To: Nathan Zimmer cc: linux-mm@kvack.org, linux-kernel@vger.kernel.org, Andrew Morton , Tang Chen , Wen Congyang , Toshi Kani , Yasuaki Ishimatsu , Xishi Qiu , Cody P Schafer , "Rafael J. Wysocki" , Jiang Liu , Hedi Berriche , Mike Travis Subject: Re: [RFC] Move the memory_notifier out of the memory_hotplug lock In-Reply-To: <52F2C4F0.6080608@sgi.com> Message-ID: References: <1391617743-150518-1-git-send-email-nzimmer@sgi.com> <52F2C4F0.6080608@sgi.com> User-Agent: Alpine 2.02 (DEB 1266 2009-07-14) MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Wed, 5 Feb 2014, Nathan Zimmer wrote: > > That looks a little problematic, what happens if a nid is being brought > > online and a registered callback does something like allocate resources > > for the arg->status_change_nid and the above two hunks of this patch end > > up racing? > > > > Before, a registered callback would be guaranteed to see either a > > MEMORY_CANCEL_ONLINE or MEMORY_ONLINE after it has already done > > MEMORY_GOING_ONLINE. > > > > With your patch, we could race and see one cpu doing MEMORY_GOING_ONLINE, > > another cpu doing MEMORY_GOING_ONLINE, and then MEMORY_ONLINE and > > MEMORY_CANCEL_ONLINE in either order. > > > > So I think this patch will break most registered callbacks that actually > > depend on lock_memory_hotplug(), it's a coarse lock for that reason. > > Since the argument being passed in is the pfn and size it would be an issue > only if two threads attepted to online the same piece of memory. Right? > No, I'm referring to registered callbacks that provide a resource for arg->status_change_nid. An example would be the callbacks I added to the slub allocator in slab_memory_callback(). If we are now able to get a racy MEM_GOING_ONLINE -> MEM_GOING_ONLINE -> MEM_ONLINE -> MEM_CANCEL_ONLINE, which is possible with your patch _and_ the node being successfully onlined at the end, then we get a NULL pointer dereference because the kmem_cache_node for each slab cache has been freed. > That seems very unlikely but if it can happen it needs to be protected > against. > The protection for registered memory online or offline callbacks is lock_memory_hotplug() which is eliminated with your patch, the locking for memory_notify() that you're citing is irrelevant. -- 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/