Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1757104Ab3FMXoF (ORCPT ); Thu, 13 Jun 2013 19:44:05 -0400 Received: from mail-pb0-f52.google.com ([209.85.160.52]:59535 "EHLO mail-pb0-f52.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1752314Ab3FMXoD (ORCPT ); Thu, 13 Jun 2013 19:44:03 -0400 Message-ID: <51BA593E.9000102@linaro.org> Date: Thu, 13 Jun 2013 16:43:58 -0700 From: John Stultz User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130510 Thunderbird/17.0.6 MIME-Version: 1.0 To: Minchan Kim CC: LKML , Andrew Morton , Android Kernel Team , Robert Love , Mel Gorman , Hugh Dickins , Dave Hansen , Rik van Riel , Dmitry Adamushko , Dave Chinner , Neil Brown , Andrea Righi , Andrea Arcangeli , "Aneesh Kumar K.V" , Mike Hommey , Taras Glek , Dhaval Giani , Jan Kara , KOSAKI Motohiro , Michel Lespinasse , "linux-mm@kvack.org" Subject: Re: [PATCH 4/8] vrange: Clear volatility on new mmaps References: <1371010971-15647-1-git-send-email-john.stultz@linaro.org> <1371010971-15647-5-git-send-email-john.stultz@linaro.org> <20130613062815.GB5209@bbox> In-Reply-To: <20130613062815.GB5209@bbox> 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: 2438 Lines: 51 On 06/12/2013 11:28 PM, Minchan Kim wrote: > Hey John, > > On Tue, Jun 11, 2013 at 09:22:47PM -0700, John Stultz wrote: >> At lsf-mm, the issue was brought up that there is a precedence with >> interfaces like mlock, such that new mappings in a pre-existing range >> do no inherit the mlock state. >> >> This is mostly because mlock only modifies the existing vmas, and so >> any new mmaps create new vmas, which won't be mlocked. >> >> Since volatility is not stored in the vma (for good cause, specfically >> as we'd have to have manage file volatility differently from anonymous >> and we're likely to manage volatility on small chunks of memory, which >> would cause lots of vma splitting and churn), this patch clears volatilty >> on new mappings, to ensure that we don't inherit volatility if memory in >> an existing volatile range is unmapped and then re-mapped with something >> else. >> >> Thus, this patch forces any volatility to be cleared on mmap. > If we have lots of node on vroot but it doesn't include newly mmmaping > vma range, it's purely unnecessary cost and that's never what we want. > >> XXX: We expect this patch to be not well loved by mm folks, and are open >> to alternative methods here. Its more of a place holder to address >> the issue from lsf-mm and hopefully will spur some further discussion. > Another idea is we can add "bool is_vrange" in struct vm_area_struct. > It is protected by vrange_lock. The scenario is following as, > > When do_vrange is called with VRANGE_VOLATILE, it iterates vmas > and mark the vma->is_vrange to true. So, we can avoid tree traversal > if the is_vrange is false when munmap is called and newly mmaped vma > doesn't need to clear any volatility. We could look further into this approach if folks think its the best way to go. Though it has the downside of having the split the vmas when we're dealing with a large number of smallish objects. Also we'd be increasing the vma_struct size for everyone, even if no one is using volatile ranges, which may be a bigger concern. Also it means we'd be managing anonymous and file volatility with different structures (though that's not the end of the world). thanks -john -- 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/