Received-SPF: pass (google.com: domain of linux-ext4-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20;
References: <20220531200041.24904-1-alex.sierra@amd.com>
 <20220531200041.24904-2-alex.sierra@amd.com>
 <3ac89358-2ce0-7d0d-8b9c-8b0e5cc48945@redhat.com>
 <02ed2cb7-3ad3-8ffc-6032-04ae1853e234@amd.com>
 <CAFCwf11z5Q+2FPS1yPi6EwQuRqoJg_dLB-rYgtVwP-zQEdqjQQ@mail.gmail.com>
 <87bkuo898d.fsf@nvdebian.thelocal>
 <CAFCwf11Lru4rHJ93gkCTMqfsWZ8Hcug4z=_t7B=G07bo7zsaFw@mail.gmail.com>
User-agent: mu4e 1.6.9; emacs 27.1
From:   Alistair Popple <apopple@nvidia.com>
To:     Oded Gabbay <oded.gabbay@gmail.com>
Cc:     "Sierra Guiza, Alejandro (Alex)" <alex.sierra@amd.com>,
        David Hildenbrand <david@redhat.com>,
        Jason Gunthorpe <jgg@nvidia.com>, rcampbell@nvidia.com,
        Matthew Wilcox <willy@infradead.org>,
        "Kuehling, Felix" <Felix.Kuehling@amd.com>,
        amd-gfx list <amd-gfx@lists.freedesktop.org>,
        linux-xfs@vger.kernel.org, linux-mm <linux-mm@kvack.org>,
        =?utf-8?B?SsOpcsO0bWU=?= Glisse <jglisse@redhat.com>,
        Maling list - DRI developers 
        <dri-devel@lists.freedesktop.org>,
        Andrew Morton <akpm@linux-foundation.org>,
        linux-ext4@vger.kernel.org, Christoph Hellwig <hch@lst.de>
Subject: Re: [PATCH v5 01/13] mm: add zone device coherent type memory support
Date:   Mon, 20 Jun 2022 18:13:26 +1000
In-reply-to: <CAFCwf11Lru4rHJ93gkCTMqfsWZ8Hcug4z=_t7B=G07bo7zsaFw@mail.gmail.com>
Message-ID: <877d5b90sp.fsf@nvdebian.thelocal>
Content-Type: text/plain
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: =?us-ascii?Q?D6dXmtb7TadNzjVUolEARMiaECV9jhh7BJqw5RnGAeZsgKMlrdo1pnQoE/7Y?=
 =?us-ascii?Q?13ahSpgMBea+RsURi+0LHtqiPQqNMVEQeYaghUsuwh45UkwrlZPZz6Ag0QxB?=
 =?us-ascii?Q?U3STOHuD7EF7Fs+i/A7L0B2Y9zqlJ786i0O3rakFijA9lVJqxxiPM0bYPN0s?=
 =?us-ascii?Q?CP1IqrydPMGdfMo+D4H1dcBpbC8VsoFWuBgi8ss8NLZhgXvOZdyK6feeOmSC?=
 =?us-ascii?Q?BKKhQWvRlEHEFdk2hL6O6+9QO2r+rqb72ac1CzJ04Vuy0gUAJDY7SMowJMcd?=
 =?us-ascii?Q?Hvhn5r081vhTRxz3aHSBvvmn1WVVevuZ0/ns2kQ1vA/aA36UNgMlDyq5vBzm?=
 =?us-ascii?Q?u2/ouw4GXBB7Rq2MCBi8M7CAlCVCWWQiyDJWPAXd/cHGJA/d7iu2xY+zYLpm?=
 =?us-ascii?Q?BDmvuAEyewmA9G39lQmrFzqAkHji02LVYJoJbFPCpCBBtb5Z1oDGynTBZeZk?=
 =?us-ascii?Q?2n0uByPQ2j0DwyLbW3QQoOML/otttZwBzr0ixsuhzck8i7xorxbyzvLO17gx?=
 =?us-ascii?Q?X1hOWkdJ83AaQzUnoLKySXjoDK+0B93oD1BV7tka7kXMI1d/B/tWvHR9ZlQQ?=
 =?us-ascii?Q?9iEoE21BcDb8l2o+035VpRvpGepIeAjSVg6j2KZGknSaGY9EPk9vz6OtTNPZ?=
 =?us-ascii?Q?T+iOVTysqKanmEQXybi79MTwhOYFUA81WFQXWAxtuFSG2gfTi0gyLV5YI6BJ?=
 =?us-ascii?Q?Wk7LDvTtSinZdVdz3fxbN3CgyICc9QUIq5UmuuY6qFLe+S2eq3ur50BujmB+?=
 =?us-ascii?Q?M8b7ncSKPxkX9bcEXhHtHgMXTkOhl/v5BpOCdjbTuMM7jWa8k23euLc4xJlq?=
 =?us-ascii?Q?zRRVfmQKYPZn8LdIWwjs1okWphLkj1qIThn1ROZAwy1Dn7oq2bpRfUfev0PA?=
 =?us-ascii?Q?ln9TKfMy4G6OvYml97f7IFtR9pdeEP+oCKjAzb0bWP6J5tjNlDbttdEMe3R0?=
 =?us-ascii?Q?SxFXtxfvw2qsYYB3+hnB/zuAJ3c0SsY2uraxSihKp/TnW3G3hyris562h+V/?=
 =?us-ascii?Q?7VjZWzcOf/w5HHBJoqWdPMoyl26w73p8Ksc7cxhOZZrx1MZrafy0Uonr2bGY?=
 =?us-ascii?Q?B3gp3VR6xEa2PgwMolzZnzRekKStN6qBDJkF5i7ut0Sz108mMMLP8efgELDG?=
 =?us-ascii?Q?EdosVIfIqd/20kgCjiH8UWQy/7yqWZVQt6HhYnbW/2HvT5Ph21Bfq8xJs31Q?=
 =?us-ascii?Q?n8LHdXLrTEFkpCu4RPDAPAlvzJYvHp00ktV1gTmtlp7D34+C6GEFPnNpQpxM?=
 =?us-ascii?Q?gQVEKrFTzVmwDvgiL74GjGKMk/10YLrL66IkyTs7e4oU8mQOMo7fuKJYhDnV?=
 =?us-ascii?Q?GsNoZKzba2FgBEwgniNW047IS9ooAqUiLAk9uDFmg9/Mkh9SXn66lHDcBX/n?=
 =?us-ascii?Q?tuzf29/7F3YNEnh5oZwhO3Gnl2IBw23Eq16E0aNrXW8zQWM5SH9i3RnlqE5y?=
 =?us-ascii?Q?VEK4ZU2h6piNfczbD/OKufCR62tt7nT9/Af1a5mMrKZXRRaryNtoZDYFMAtf?=
 =?us-ascii?Q?wcj+mkSI4knEkGnIE5ehR2zAcuvvRKnxmztBAm8PEAOEwZh4u9SP03zr6HB3?=
 =?us-ascii?Q?wbw0noyQ0BgI1h9N6ElD5h+W2DgZeewjHA+fZNrBl5zp84jrO0380zDsgCYi?=
 =?us-ascii?Q?iwWtZ3CmLZDEqP+N4qzvrA3TDYP4LW/ZN1m1GlAMmlHsMg4Mj0kC4TrOW3V5?=
 =?us-ascii?Q?+gXQ/rI7/dgj6Qy+q/aPHzfbnWruZVGUdkw+iQ4HbUcewXNlt0LjZa6imyni?=
 =?us-ascii?Q?P900kOKgkw=3D=3D?=
X-OriginatorOrg: Nvidia.com
X-MS-Exchange-CrossTenant-Network-Message-Id: 495e4bae-adc6-411d-9eed-08da5299dd72
X-MS-Exchange-CrossTenant-AuthSource: BYAPR12MB3176.namprd12.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 20 Jun 2022 08:50:02.9627
 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: 43083d15-7273-40c1-b7db-39efd9ccc17a
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: SIcRcrpMimSQkfFN7tBNMwZyoDm4XIPp6cgK3dVh/471zuQ08IdFoj8g9VqgdWb77yVvmq/k+xhyj61/WbVejA==
X-MS-Exchange-Transport-CrossTenantHeadersStamped: DM6PR12MB2922
X-Spam-Status: No, score=-2.6 required=5.0 tests=BAYES_00,DKIMWL_WL_HIGH,
        DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FORGED_SPF_HELO,
        RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,SPF_HELO_PASS,SPF_NONE,
        T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
        lindbergh.monkeyblade.net
Precedence: bulk
List-ID: <linux-ext4.vger.kernel.org>
X-Mailing-List: linux-ext4@vger.kernel.org


Oded Gabbay <oded.gabbay@gmail.com> writes:

> On Mon, Jun 20, 2022 at 3:33 AM Alistair Popple <apopple@nvidia.com> wrote:
>>
>>
>> Oded Gabbay <oded.gabbay@gmail.com> writes:
>>
>> > On Fri, Jun 17, 2022 at 8:20 PM Sierra Guiza, Alejandro (Alex)
>> > <alex.sierra@amd.com> wrote:
>> >>
>> >>
>> >> On 6/17/2022 4:40 AM, David Hildenbrand wrote:
>> >> > On 31.05.22 22:00, Alex Sierra wrote:
>> >> >> Device memory that is cache coherent from device and CPU point of view.
>> >> >> This is used on platforms that have an advanced system bus (like CAPI
>> >> >> or CXL). Any page of a process can be migrated to such memory. However,
>> >> >> no one should be allowed to pin such memory so that it can always be
>> >> >> evicted.
>> >> >>
>> >> >> Signed-off-by: Alex Sierra <alex.sierra@amd.com>
>> >> >> Acked-by: Felix Kuehling <Felix.Kuehling@amd.com>
>> >> >> Reviewed-by: Alistair Popple <apopple@nvidia.com>
>> >> >> [hch: rebased ontop of the refcount changes,
>> >> >>        removed is_dev_private_or_coherent_page]
>> >> >> Signed-off-by: Christoph Hellwig <hch@lst.de>
>> >> >> ---
>> >> >>   include/linux/memremap.h | 19 +++++++++++++++++++
>> >> >>   mm/memcontrol.c          |  7 ++++---
>> >> >>   mm/memory-failure.c      |  8 ++++++--
>> >> >>   mm/memremap.c            | 10 ++++++++++
>> >> >>   mm/migrate_device.c      | 16 +++++++---------
>> >> >>   mm/rmap.c                |  5 +++--
>> >> >>   6 files changed, 49 insertions(+), 16 deletions(-)
>> >> >>
>> >> >> diff --git a/include/linux/memremap.h b/include/linux/memremap.h
>> >> >> index 8af304f6b504..9f752ebed613 100644
>> >> >> --- a/include/linux/memremap.h
>> >> >> +++ b/include/linux/memremap.h
>> >> >> @@ -41,6 +41,13 @@ struct vmem_altmap {
>> >> >>    * A more complete discussion of unaddressable memory may be found in
>> >> >>    * include/linux/hmm.h and Documentation/vm/hmm.rst.
>> >> >>    *
>> >> >> + * MEMORY_DEVICE_COHERENT:
>> >> >> + * Device memory that is cache coherent from device and CPU point of view. This
>> >> >> + * is used on platforms that have an advanced system bus (like CAPI or CXL). A
>> >> >> + * driver can hotplug the device memory using ZONE_DEVICE and with that memory
>> >> >> + * type. Any page of a process can be migrated to such memory. However no one
>> >> > Any page might not be right, I'm pretty sure. ... just thinking about special pages
>> >> > like vdso, shared zeropage, ... pinned pages ...
>> >>
>> >> Hi David,
>> >>
>> >> Yes, I think you're right. This type does not cover all special pages.
>> >> I need to correct that on the cover letter.
>> >> Pinned pages are allowed as long as they're not long term pinned.
>> >>
>> >> Regards,
>> >> Alex Sierra
>> >
>> > What if I want to hotplug this device's coherent memory, but I do
>> > *not* want the OS
>> > to migrate any page to it ?
>> > I want to fully-control what resides on this memory, as I can consider
>> > this memory
>> > "expensive". i.e. I don't have a lot of it, I want to use it for
>> > specific purposes and
>> > I don't want the OS to start using it when there is some memory pressure in
>> > the system.
>>
>> This is exactly what MEMORY_DEVICE_COHERENT is for. Device coherent
>> pages are only allocated by a device driver and exposed to user-space by
>> a driver migrating pages to them with migrate_vma. The OS can't just
>> start using them due to memory pressure for example.
>>
>>  - Alistair
> Thanks for the explanation.
>
> I guess the commit message confused me a bit, especially these two sentences:
>
> "Any page of a process can be migrated to such memory. However no one should be
> allowed to pin such memory so that it can always be evicted."
>
> I read them as if the OS is free to choose which pages are migrated to
> this memory,
> and anything is eligible for migration to that memory (and that's why
> we also don't
> allow it to pin memory there).
>
> If we are not allowed to pin anything there, can the device driver
> decide to disable
> any option for oversubscription of this memory area ?

I'm not sure I follow your thinking on how oversubscription would work
here, however all allocations are controlled by the driver. So if a
device's coherent memory is full a driver would be unable to migrate
pages to that device until pages are freed by the OS due to being
unmapped or the driver evicts pages by migrating them back to normal CPU
memory.

Pinning of pages is allowed, and could prevent such migrations. However
this patch series prevents device coherent pages from being pinned
longterm (ie. with FOLL_LONGTERM), so it should always be able to evict
pages eventually.

> Let's assume the user uses this memory area for doing p2p with other
> CXL devices.
> In that case, I wouldn't want the driver/OS to migrate pages in and
> out of that memory...

The OS will not migrate pages in or out (although it may free them if no
longer required), but a driver might choose to. So at the moment it's
really up to the driver to implement what you want in this regards.

> So either I should let the user pin those pages, or prevent him from
> doing (accidently or not)
> oversubscription in this memory area.

As noted above pages can be pinned, but not long-term.

 - Alistair

> wdyt ?
>
>>
>> > Oded
>> >
>> >>
>> >> >
>> >> >> + * should be allowed to pin such memory so that it can always be evicted.
>> >> >> + *
>> >> >>    * MEMORY_DEVICE_FS_DAX:
>> >> >>    * Host memory that has similar access semantics as System RAM i.e. DMA
>> >> >>    * coherent and supports page pinning. In support of coordinating page
>> >> >> @@ -61,6 +68,7 @@ struct vmem_altmap {
>> >> >>   enum memory_type {
>> >> >>      /* 0 is reserved to catch uninitialized type fields */
>> >> >>      MEMORY_DEVICE_PRIVATE = 1,
>> >> >> +    MEMORY_DEVICE_COHERENT,
>> >> >>      MEMORY_DEVICE_FS_DAX,
>> >> >>      MEMORY_DEVICE_GENERIC,
>> >> >>      MEMORY_DEVICE_PCI_P2PDMA,
>> >> >> @@ -143,6 +151,17 @@ static inline bool folio_is_device_private(const struct folio *folio)
>> >> > In general, this LGTM, and it should be correct with PageAnonExclusive I think.
>> >> >
>> >> >
>> >> > However, where exactly is pinning forbidden?
>> >>
>> >> Long-term pinning is forbidden since it would interfere with the device
>> >> memory manager owning the
>> >> device-coherent pages (e.g. evictions in TTM). However, normal pinning
>> >> is allowed on this device type.
>> >>
>> >> Regards,
>> >> Alex Sierra
>> >>
>> >> >