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;
Date:   Tue, 12 Jul 2022 11:06:55 -0700
From:   Mike Kravetz <mike.kravetz@oracle.com>
To:     James Houghton <jthoughton@google.com>,
        Axel Rasmussen <axelrasmussen@google.com>
Cc:     Muchun Song <songmuchun@bytedance.com>,
        Peter Xu <peterx@redhat.com>,
        David Hildenbrand <david@redhat.com>,
        David Rientjes <rientjes@google.com>,
        Mina Almasry <almasrymina@google.com>,
        Jue Wang <juew@google.com>,
        Manish Mishra <manish.mishra@nutanix.com>,
        "Dr . David Alan Gilbert" <dgilbert@redhat.com>,
        linux-mm@kvack.org, linux-kernel@vger.kernel.org
Subject: Re: [RFC PATCH 19/26] hugetlb: add HGM support for
 copy_hugetlb_page_range
Message-ID: <Ys24P1ODVr+3/P0p@monkey>
References: <20220624173656.2033256-1-jthoughton@google.com>
 <20220624173656.2033256-20-jthoughton@google.com>
 <Ysy1EySRmjxl2TmQ@monkey>
 <CADrL8HVimb9qx8fjhgFMfj2hWwD3+6_ZY7W=gHbf6as6qbiLYQ@mail.gmail.com>
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <CADrL8HVimb9qx8fjhgFMfj2hWwD3+6_ZY7W=gHbf6as6qbiLYQ@mail.gmail.com>
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: =?us-ascii?Q?lDZz2Flyckc70JyJajCy+P4uYW1YVaetPXgBMQ8ewUYSf/7+vSN1StVE7oQX?=
 =?us-ascii?Q?n0bh5d0COOB3a2It3GkKIa9zyGTk00Hvy/3U1BhPt1ARa16T9qB+4FzA9fQ4?=
 =?us-ascii?Q?p/oLPfUGLjb2AQc3ivAvUHYwS44OcS0+bfotLRor9ZQbimRucPg3AmBjDq+1?=
 =?us-ascii?Q?TNUM6+GIJv4eVWX5JWH/kilbQ58YFaTqPF3bqmqZTU+z1i5r4KFB0Ods/cjg?=
 =?us-ascii?Q?/lcJGbBQt1COmDDVNTmYABXknrLnuZNSvcm5/LWedp8n6pFGD0hyPmpSkgnv?=
 =?us-ascii?Q?4ZUxjQmhYpdpQ3dxwTBN2N4QoKE0Up3/fDJLjnY9DHyQp1JMpFxIzq/FMhP0?=
 =?us-ascii?Q?5q/iUBaL7FLFKjSO3bbTfVbii7pkZ+ballFn7I09fW2IxKd0Yh4xJhcZt9Yi?=
 =?us-ascii?Q?0gy8jB80k6sX95cZyw2akmeKen9xk61UnMGd3cBp8FPpp7+tQPvBwL0xOPqZ?=
 =?us-ascii?Q?fU+0yOJMKJzbCMtoeW8lfHbBwKwcbSElm6wteMUZGFZ82azofVVJCZBjQlQu?=
 =?us-ascii?Q?4hSv+wT4hB4o8XbF7sqTukLiwZoJ/VfxbDlEdjn8+sIR7ft4xqr6fcjiqY16?=
 =?us-ascii?Q?ptDdlbvEBMDOvdIgx+cGqpA6KowlsBKHFlsPrhfM0VI/TAg+jpehU6MnByL8?=
 =?us-ascii?Q?Daqi8zU7pwgxn8IH0qGJ4fsCV7SIRdEyx6iLBDAhI6FHjanKKmqGdIfOFkDZ?=
 =?us-ascii?Q?qHkwV6DqLn9mK8oySsU/XuylHQFfaAxA5RUD0+zDJwBEB61W4GEB1Hebzc4k?=
 =?us-ascii?Q?xHl19BqyyzA8wLddJ1omhYi4MbnNsEcQjKpmAaBNC+OPsPSi+8TIWoIswKop?=
 =?us-ascii?Q?kmYgP4WfAaMkmHVXekUv5hhActgN9G2K26Cbb64a/uPU0IpZcTEsag1KJHFe?=
 =?us-ascii?Q?YLwxNA9/Y+ymcNccG1+VP/CdTC4rGOG9ftnuBCr+Q7ncFqhFj+CRh8ssTcr2?=
 =?us-ascii?Q?j2hOjRLOXCob6Kx6j81YjSb9pgBin8VUgOTrsRnBnMXLxSlC1FK7TrQZsQfH?=
 =?us-ascii?Q?c4RozU1gINaJUP9q6juV19JxVQY4eIklzleksSyeZ7lCXd/FpC9HgCgFda6o?=
 =?us-ascii?Q?RfPhY+Kcxn0dI1HhHQFHuhgaNmLuq71VOyw6kknlmGAS8sX9MD19a9iWqFvk?=
 =?us-ascii?Q?7zb57Tciu+lX71R1WLDuafoqNqoEH5sa14RK0+zsnQ5YRBir/xIWQ+5kh7tn?=
 =?us-ascii?Q?TrLKBVnxAHpI8ugIhFJtp1O80oPU1T1E1hjQ+cVsT9AWRnUy/xF2cVGjO2KL?=
 =?us-ascii?Q?wnjzUEkIIqIGviBlRazJZFUCeiw/8/XHNrMZ2eVmI/cCb9fOblJQuc0DLBcU?=
 =?us-ascii?Q?DVJeDk6LfcegdVJ1Fi67g+lPSmQHaP19cceciexZGoeCNoTwbDuE3IGHHU2d?=
 =?us-ascii?Q?nhK4EnJzNWCrAbeWd5UZnQYcgSab5upnY3Eg3EOpXF6uRo1koncON5v6V5Ti?=
 =?us-ascii?Q?TpHI+WPWzKdwK5id7hQ4KZJqAXDzSnydgUKkU8Wle6fhNQrrZyiNuTYsz7Ju?=
 =?us-ascii?Q?PuzNSEFbMDwEhnB0+ZUBXY47QojO/JMSsjpK3r0MuUizhrTujKFxemvIIZIq?=
 =?us-ascii?Q?1stLeWZtIwKUMLB+BbTIzhb2QmBa/5qHOTayVb0HswtYZcXTYQxGhdmjAWUc?=
 =?us-ascii?Q?Gg=3D=3D?=
X-OriginatorOrg: oracle.com
X-MS-Exchange-CrossTenant-Network-Message-Id: 97ef841e-347a-4eba-8fcc-08da64315006
X-MS-Exchange-CrossTenant-AuthSource: BY5PR10MB4196.namprd10.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 12 Jul 2022 18:06:58.6066
 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: 4e2c6054-71cb-48f1-bd6c-3a9705aca71b
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: a7ppkoL8sOKs9QnQM70NpG1zo4BAJRP40rSoLaxo3IkLncPeb26bnl2M3ZwTSp24VM9qs4iuqEyKRBhtw10ZBg==
X-MS-Exchange-Transport-CrossTenantHeadersStamped: MWHPR10MB1854
X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:6.0.517,18.0.883
 definitions=2022-07-12_12:2022-07-12,2022-07-12 signatures=0
X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 phishscore=0 malwarescore=0 spamscore=0
 adultscore=0 suspectscore=0 bulkscore=0 mlxlogscore=999 mlxscore=0
 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2206140000
 definitions=main-2207120073
X-Proofpoint-GUID: RIFU1PjDYGx6liLVUfQgoXqCPLAI40um
X-Proofpoint-ORIG-GUID: RIFU1PjDYGx6liLVUfQgoXqCPLAI40um
X-Spam-Status: No, score=-2.8 required=5.0 tests=BAYES_00,DKIM_SIGNED,
        DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_LOW,
        RCVD_IN_MSPIKE_H2,SPF_HELO_NONE,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-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

On 07/12/22 10:19, James Houghton wrote:
> On Mon, Jul 11, 2022 at 4:41 PM Mike Kravetz <mike.kravetz@oracle.com> wrote:
> >
> > On 06/24/22 17:36, James Houghton wrote:
> > > This allows fork() to work with high-granularity mappings. The page
> > > table structure is copied such that partially mapped regions will remain
> > > partially mapped in the same way for the new process.
> > >
> > > Signed-off-by: James Houghton <jthoughton@google.com>
> > > ---
> > >  mm/hugetlb.c | 74 +++++++++++++++++++++++++++++++++++++++++-----------
> > >  1 file changed, 59 insertions(+), 15 deletions(-)
> >
> > FYI -
> > With https://lore.kernel.org/linux-mm/20220621235620.291305-5-mike.kravetz@oracle.com/
> > copy_hugetlb_page_range() should never be called for shared mappings.
> > Since HGM only works on shared mappings, code in this patch will never
> > be executed.
> >
> > I have a TODO to remove shared mapping support from copy_hugetlb_page_range.
> 
> Thanks Mike. If I understand things correctly, it seems like I don't
> have to do anything to support fork() then; we just don't copy the
> page table structure from the old VMA to the new one.

Yes, for now.  We will not copy the page tables for shared mappings.
When adding support for private mapping, we will need to handle the
HGM case.

>                                                       That is, as
> opposed to having the same bits of the old VMA being mapped in the new
> one, the new VMA will have an empty page table. This would slightly
> change how userfaultfd's behavior on the new VMA, but that seems fine
> to me.

Right.  Since the 'mapping size information' is essentially carried in
the page tables, it will be lost if page tables are not copied.

Not sure if anyone would depend on that behavior.

Axel, this may also impact minor fault processing.  Any concerns?
Patch is sitting in Andrew's tree for next merge window.
-- 
Mike Kravetz