From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1756069AbaIQRVn (ORCPT ); Wed, 17 Sep 2014 13:21:43 -0400 Received: from mail-we0-f174.google.com ([74.125.82.174]:57852 "EHLO mail-we0-f174.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751649AbaIQRVl convert rfc822-to-8bit (ORCPT ); Wed, 17 Sep 2014 13:21:41 -0400 Date: Wed, 17 Sep 2014 20:21:37 +0300 From: Gleb Natapov To: Andres Lagar-Cavilla Cc: Radim =?utf-8?B?S3LEjW3DocWZ?= , Rik van Riel , Peter Zijlstra , Mel Gorman , Andy Lutomirski , Andrew Morton , Andrea Arcangeli , Sasha Levin , Jianyu Zhan , Paul Cassella , Hugh Dickins , Peter Feiner , kvm@vger.kernel.org, linux-kernel@vger.kernel.org, linux-mm@kvack.org Subject: Re: [PATCH] kvm: Faults which trigger IO release the mmap_sem Message-ID: <20140917172137.GH26540@minantech.com> References: <1410811885-17267-1-git-send-email-andreslc@google.com> <20140917102635.GA30733@minantech.com> <20140917112713.GB1273@potion.brq.redhat.com> <20140917114214.GB30733@minantech.com> <20140917170841.GG26540@minantech.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8BIT In-Reply-To: Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Wed, Sep 17, 2014 at 10:13:45AM -0700, Andres Lagar-Cavilla wrote: > On Wed, Sep 17, 2014 at 10:08 AM, Gleb Natapov wrote: > > On Wed, Sep 17, 2014 at 10:00:32AM -0700, Andres Lagar-Cavilla wrote: > >> On Wed, Sep 17, 2014 at 4:42 AM, Gleb Natapov wrote: > >> > On Wed, Sep 17, 2014 at 01:27:14PM +0200, Radim Krčmář wrote: > >> >> 2014-09-17 13:26+0300, Gleb Natapov: > >> >> > For async_pf_execute() you do not need to even retry. Next guest's page fault > >> >> > will retry it for you. > >> >> > >> >> Wouldn't that be a waste of vmentries? > >> > This is how it will work with or without this second gup. Page is not > >> > mapped into a shadow page table on this path, it happens on a next fault. > >> > >> The point is that the gup in the async pf completion from the work > >> queue will not relinquish the mmap semaphore. And it most definitely > >> should, given that we are likely looking at swap/filemap. > >> > > I get this point and the patch looks good in general, but my point is > > that when _retry() is called from async_pf_execute() second gup is not > > needed. In the original code gup is called to do IO and nothing else. > > In your patch this is accomplished by the first gup already, so you > > can skip second gup if pagep == nullptr. > > I see. However, if this function were to be used elsewhere in the > future, then the "if pagep == NULL don't retry" semantics may not > match the new caller's intention. Would you prefer an explicit flag? > We can add explicit flag whenever such caller will be added, if ever. -- Gleb.