Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20;
Feedback-ID: ieff94742:Fastmail
User-Agent: Cyrus-JMAP/3.7.0-alpha0-591-gfe6c3a2700-fm-20220427.001-gfe6c3a27
Mime-Version: 1.0
Message-Id: <c82ac102-7935-4b07-9d8c-82a2efe59956@www.fastmail.com>
In-Reply-To: <YomERsAM3gF7XxRZ@casper.infradead.org>
References: <20220519183127.3909598-1-shiyn.lin@gmail.com>
 <d1810538-9b4c-7f19-852f-7f6d255533c7@redhat.com>
 <YolHr1GwfA++i9jj@casper.infradead.org>
 <64d0da08-6ffd-4bce-bc66-5097913937b4@kernel.org>
 <YomERsAM3gF7XxRZ@casper.infradead.org>
Date:   Sun, 22 May 2022 08:20:05 -0700
From:   "Andy Lutomirski" <luto@kernel.org>
To:     "Matthew Wilcox (Oracle)" <willy@infradead.org>
Cc:     "David Hildenbrand" <david@redhat.com>,
        "Chih-En Lin" <shiyn.lin@gmail.com>,
        "Andrew Morton" <akpm@linux-foundation.org>, linux-mm@kvack.org,
        "Ingo Molnar" <mingo@redhat.com>,
        "Peter Zijlstra (Intel)" <peterz@infradead.org>,
        "Juri Lelli" <juri.lelli@redhat.com>,
        "Vincent Guittot" <vincent.guittot@linaro.org>,
        "Dietmar Eggemann" <dietmar.eggemann@arm.com>,
        "Steven Rostedt" <rostedt@goodmis.org>,
        "Ben Segall" <bsegall@google.com>, "Mel Gorman" <mgorman@suse.de>,
        "Daniel Bristot de Oliveira" <bristot@redhat.com>,
        "Christian Brauner" <brauner@kernel.org>,
        "Vlastimil Babka" <vbabka@suse.cz>,
        "William Kucharski" <william.kucharski@oracle.com>,
        "John Hubbard" <jhubbard@nvidia.com>,
        "Yunsheng Lin" <linyunsheng@huawei.com>,
        "Arnd Bergmann" <arnd@arndb.de>,
        "Suren Baghdasaryan" <surenb@google.com>,
        "Colin Cross" <ccross@google.com>,
        "Feng Tang" <feng.tang@intel.com>,
        "Eric W. Biederman" <ebiederm@xmission.com>,
        "Mike Rapoport" <rppt@kernel.org>,
        "Geert Uytterhoeven" <geert@linux-m68k.org>,
        "Anshuman Khandual" <anshuman.khandual@arm.com>,
        "Aneesh Kumar K.V" <aneesh.kumar@linux.ibm.com>,
        "Daniel Axtens" <dja@axtens.net>,
        "Jonathan Marek" <jonathan@marek.ca>,
        "Christophe Leroy" <christophe.leroy@csgroup.eu>,
        "Pasha Tatashin" <pasha.tatashin@soleen.com>,
        "Peter Xu" <peterx@redhat.com>,
        "Andrea Arcangeli" <aarcange@redhat.com>,
        "Thomas Gleixner" <tglx@linutronix.de>,
        "Sebastian Andrzej Siewior" <bigeasy@linutronix.de>,
        "Fenghua Yu" <fenghua.yu@intel.com>,
        "Linux Kernel Mailing List" <linux-kernel@vger.kernel.org>,
        "Kaiyang Zhao" <zhao776@purdue.edu>,
        "Huichun Feng" <foxhoundsk.tw@gmail.com>,
        "Jim Huang" <jserv.tw@gmail.com>
Subject: Re: [RFC PATCH 0/6] Introduce Copy-On-Write to Page Table
Content-Type: text/plain;charset=utf-8
Content-Transfer-Encoding: quoted-printable
Precedence: bulk


On Sat, May 21, 2022, at 5:31 PM, Matthew Wilcox wrote:
> On Sat, May 21, 2022 at 03:19:24PM -0700, Andy Lutomirski wrote:
>> I can see a rather different use for this type of shared-pagetable
>> technology, though: monstrous MAP_SHARED mappings.  For database and =
some VM
>> users, multiple processes will map the same file.  If there was a way=
 to
>> ensure appropriate alignment (or at least encourage it) and a way to =
handle
>> mappings that don't cover the whole file, then having multiple mappin=
gs
>> share the same page tables could be a decent efficiently gain.  This =
doesn't
>> even need COW -- it's "just" pagetable sharing.
>
> The mshare proposal did not get a warm reception at LSFMM ;-(
>
> The conceptual model doesn't seem to work for the MM developers who we=
re
> in the room.  "Fear" was the most-used word.  Not sure how we're going
> to get to a model of sharing page tables that doesn't scare people.

FWIW, I didn=E2=80=99t like mshare.  mshare was weird: it seemed to have=
 one mm own some page tables and other mms share them.  I=E2=80=99m talk=
ing about having a *file* own page tables and mms map them.  This seems =
less fear-inducing to me.  Circular dependencies are impossible, mmap ca=
lls don=E2=80=99t need to propagate, etc.

It would still be quite a change, though.