Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S945334AbcJSPfG (ORCPT ); Wed, 19 Oct 2016 11:35:06 -0400 Received: from mail-vk0-f46.google.com ([209.85.213.46]:33193 "EHLO mail-vk0-f46.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S945095AbcJSPfD (ORCPT ); Wed, 19 Oct 2016 11:35:03 -0400 MIME-Version: 1.0 In-Reply-To: <20161019130552.GB5876@lst.de> References: <1476773771-11470-1-git-send-email-hch@lst.de> <1476773771-11470-3-git-send-email-hch@lst.de> <20161019111541.GQ29358@nuc-i3427.alporthouse.com> <20161019130552.GB5876@lst.de> From: Andy Lutomirski Date: Wed, 19 Oct 2016 08:34:40 -0700 Message-ID: Subject: Re: [PATCH 2/6] mm: mark all calls into the vmalloc subsystem as potentially sleeping To: Christoph Hellwig Cc: Chris Wilson , Andrew Morton , joelaf@google.com, jszhang@marvell.com, joaodias@google.com, "linux-mm@kvack.org" , linux-rt-users@vger.kernel.org, "linux-kernel@vger.kernel.org" Content-Type: text/plain; charset=UTF-8 Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 1217 Lines: 28 On Wed, Oct 19, 2016 at 6:05 AM, Christoph Hellwig wrote: > On Wed, Oct 19, 2016 at 12:15:41PM +0100, Chris Wilson wrote: >> On Tue, Oct 18, 2016 at 08:56:07AM +0200, Christoph Hellwig wrote: >> > This is how everyone seems to already use them, but let's make that >> > explicit. >> >> Ah, found an exception, vmapped stacks: > > Oh, fun. So if we can't require vfree to be called from process context > we also can't use a mutex to wait for the vmap flushing. Given that we > free stacks from the scheduler context switch I also fear there is no > good way to get a sleepable context there. > > The only other idea I had was to use vmap_area_lock for the protection > that purge_lock currently provides, but that would require some serious > refactoring to avoid recursive locking first. It would be quite awkward for a task stack to get freed from a sleepable context, because the obvious sleepable context is the task itself, and it still needs its stack. This was true even in the old regime when task stacks were freed from RCU context. But vfree has a magic automatic deferral mechanism. Couldn't you make the non-deferred case might_sleep()? -- Andy Lutomirski AMA Capital Management, LLC