Date:   Tue, 21 Feb 2023 11:33:54 -0800
From:   Mike Kravetz <mike.kravetz@oracle.com>
To:     James Houghton <jthoughton@google.com>
Cc:     Mina Almasry <almasrymina@google.com>,
        Muchun Song <songmuchun@bytedance.com>,
        Peter Xu <peterx@redhat.com>,
        Andrew Morton <akpm@linux-foundation.org>,
        David Hildenbrand <david@redhat.com>,
        David Rientjes <rientjes@google.com>,
        Axel Rasmussen <axelrasmussen@google.com>,
        Zach O'Keefe <zokeefe@google.com>,
        Manish Mishra <manish.mishra@nutanix.com>,
        Naoya Horiguchi <naoya.horiguchi@nec.com>,
        "Dr . David Alan Gilbert" <dgilbert@redhat.com>,
        "Matthew Wilcox (Oracle)" <willy@infradead.org>,
        Vlastimil Babka <vbabka@suse.cz>,
        Baolin Wang <baolin.wang@linux.alibaba.com>,
        Miaohe Lin <linmiaohe@huawei.com>,
        Yang Shi <shy828301@gmail.com>,
        Frank van der Linden <fvdl@google.com>,
        Jiaqi Yan <jiaqiyan@google.com>, linux-mm@kvack.org,
        linux-kernel@vger.kernel.org
Subject: Re: [PATCH v2 01/46] hugetlb: don't set PageUptodate for
 UFFDIO_CONTINUE
Message-ID: <Y/UcorZlyHC44/T5@monkey>
References: <20230218002819.1486479-1-jthoughton@google.com>
 <20230218002819.1486479-2-jthoughton@google.com>
 <CAHS8izM5Es+DMiOyPt93o6Xw+SeuOR45r+MMoeagiYN594NiyQ@mail.gmail.com>
 <CADrL8HWTe1b2UK4Ha6e=F_i+YSK_M4wXCQ-sxvYMkgR1EgaHpA@mail.gmail.com>
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <CADrL8HWTe1b2UK4Ha6e=F_i+YSK_M4wXCQ-sxvYMkgR1EgaHpA@mail.gmail.com>
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?RjBqQko4b1U5U2J1dzNtcHRMZ2JuWDEvc3lpUzRTOXR2aEVXTW13VkM2dkxE?=
 =?utf-8?B?SWNMM1J5aGpNZEdCWUNLb1RlQVVoOGlYMmx0alkzdkQ3bFF5b1VZTnBoL05S?=
 =?utf-8?B?bTcrN09PQXdHcUR2aXdMUzg5QzMyUXlpLzA1ckZUYm5rMThZd0syanp1SC8y?=
 =?utf-8?B?MWFLT2dYbWpEbEVmY0lWUUZmOXgxQmRMOWFSckFtdDMzNlNaMHFaamdhcElE?=
 =?utf-8?B?QXhxMy9iU1phVWFueUQxWkc4cXBCVkF1WStpdHlmMmpTUzhGUjMxaC82c29E?=
 =?utf-8?B?MC9wdC9yYUozSnQ0c1cxZW1CcGt1bnR4TmVjTGpFdmlGVFh0dXBTQUtjSC9W?=
 =?utf-8?B?M2RoQktxaFk4VDYwbURNa28zb2Z0QTlQNHYvbG9uVUVTbENobWdIWHdCeVYw?=
 =?utf-8?B?aENTWHdReXl5TldIOUV6SHhyVTZuZjNWNzY2SS9kcGkzRlNpTWx4eE81TWd3?=
 =?utf-8?B?Y0swM3djbVhaYStSN2tJTU1UMW5rK3JqMXF5Y3BVWUltbzcxNkMzaGUrcVZm?=
 =?utf-8?B?MVFTNW9CWmVjd2REZUNUZG9kSEp3UnYvNldDUWpaU1VxNGZDbzhxYXdJOHk0?=
 =?utf-8?B?cFZ4SDBTN2IwVkFlTFpOMWM1NXIzZmREVzVKTlZpajljaUorT1l3UTl6YjNL?=
 =?utf-8?B?cEk3cC9DZ0tYTEhCczA1RzF6K05TYTJibXJVMkNUUVVQUVlPYWNUblo5UzRn?=
 =?utf-8?B?Zkt2cDFTMnJobE5XenNxRTdDOXZaaUhEbjZleUM4QnFaSXRGU1J4VThhaEY3?=
 =?utf-8?B?TjBZdGVvR3ViU1Rid2ZzVlI5bUQrU1ZZc0Y2TmlubTdqKzRKaFgvM2owYTQr?=
 =?utf-8?B?enNlMkZ5ampuMUR1RjAwR3ludWdzZy9XUWV2bEF3WHVvazBlYVJyUXk2aE1G?=
 =?utf-8?B?SE5RejNsT2p1NHUrWGhOUkJ6djZtZkx3S0NpcTc1KzdneXM0WG1jTkF2Sm96?=
 =?utf-8?B?bzhMWGp2c3ZxTG5sMmVjRTBiVXY1Z2lLdDFvNXdVZWhldnBac1JMc09VZzNw?=
 =?utf-8?B?REluQjAyb1FHSm9SRGhzekRyeWtZaXM1b3lMVFhRdEMyOWRRVzFhUlV6dS9Z?=
 =?utf-8?B?S1orYkJMUmJZMmNEcjBISEdKWEhjYTdtU0VUeENIdURUQWFxa05EMVVPZTZo?=
 =?utf-8?B?TzRhd3FQVDYwWHJjbktVWWxqQ0xxYjJTem1pY1lWNXVwYTNwY1p5TEhDWU5Z?=
 =?utf-8?B?VmNqZzl5OFpFSTNDM0UvY3cyUThaVGoyU1Y1ZktjaUN0blhuQUc1SFJkM0dZ?=
 =?utf-8?B?S0o2WG1ucnUvR29QNUgwUktyU241RWkzNVJVRFZzOXdmN0VXZkpIbU1ZaWJI?=
 =?utf-8?B?L253S2s1NnFYK1NDR3RMaHhhM090VWdXb3V6bCtCLys2ZmdIdHUyUm5rblZS?=
 =?utf-8?B?b2R2RzZ3MEJ1dTRIV1FRMzRWcW90bkx6c2EzajZWaWp6djB3N21uYzBMYWxH?=
 =?utf-8?B?M25XVVRqaEY4WEdJSmJtM0NGOXdPNHcwc3JNV0xvb3F2RWhhby9zaUViQUVY?=
 =?utf-8?B?UTlGaWhYZnBqdGU2WmhwdVNnM0Y5VDk3Vmc4bXJvKzBsUmtCak10WDRUM1dC?=
 =?utf-8?B?a2hlcnpCVTdkdnVCbGRyZ3M3Z2NJNTh1eU1YT2tXODc1MXl4N1hveGlpa3JU?=
 =?utf-8?B?K3F2T3F6T1htRHQzbXhTTU9WYkRQRFZ1V0RXcCtvQzFGTkl4QTNLdDFtQXhG?=
 =?utf-8?B?TzcxdWY1WjExdXhqeVRQdG9EelFWaGxyVEp1aG51L05ESURuQWpScVp6R2cx?=
 =?utf-8?B?R3VuRFNHdDhmdWt0cVFsbzZHYXVmeUM2RkJuSWhac2pVSnVGL0JqelRNU2dn?=
 =?utf-8?B?Zlg3REtJcjhSQTNVcjByaTFEc1hiVG1mMXpwZzlIM3hPbDJXR0N1cUV3UFFP?=
 =?utf-8?B?ZnVySmlrYU15d1ZyNFlCMHpSRk0zcWpGaUFTTDBXWWxpY3RrcGhJZEpQRlps?=
 =?utf-8?B?S2drYzlBZmo5MzkySy8zWVFuZ2FHWHdCbXpZYkFOakFQSEk3bEt0VlBmTTNi?=
 =?utf-8?B?UjFJODU3U2dCY1Rsb1ZPU25TQlJNUktOUnlzMkVQWmNPSXN3QjF1aXI4clFS?=
 =?utf-8?B?L0JwbTQ3Yld6dlFaRkFxS2dCYU1tL3YxM3hkVHZtbnhvbmxNOUZ2Q2FlSkYv?=
 =?utf-8?B?QXcvNFk4SFVPSWJqelMya1VxRGlQUHh2dldXVHJwdEtqakJKRzlBc1prNXZy?=
 =?utf-8?B?dlE9PQ==?=
X-MS-Exchange-AntiSpam-ExternalHop-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-ExternalHop-MessageData-0: =?utf-8?B?dVlKTG9lWnRiT05jUGRocVhXRzNTMUZQeWl1K2xIVGpZZ3BZY0JLUGF2Vm5O?=
 =?utf-8?B?cEQycDlCU0FKM2JlQ3V1Y1NBSVlmZEpoOFozTnR5anpGVWlJVUF3aHNFVjJC?=
 =?utf-8?B?OEVVcmRkalc5RTdtczBKc1N0RjZKL253LzFCT0ZPMVVPT1FURWhINXBSUmlz?=
 =?utf-8?B?SkxIaGRJdm9SdmxMV2JlcjFISWdtVlhkVVJzSllPNGNkZXB6Y1BubGgzY3lt?=
 =?utf-8?B?NFVTNlFScEwyN0FxUFYybVJlbVpLNTJ1aVh6ZXg0N3pCcjBPdGxoNmsvUS9T?=
 =?utf-8?B?L0VaWGQ1blJ5MXdQRmxwSlJJRENqdkg0eldmQVFaVWdSUk9HMkY5bWxCb1hD?=
 =?utf-8?B?QjZLcEd2MEZGL2VESU05bGQraXNYVXZFR2d1b0EvdkhhWmZlUG5oWi90bmlK?=
 =?utf-8?B?WDdhUXh3VWpTV0d4ZjF6cXo3bmhGek1vNEE1SUF5M2s4K05ndGNnZFhpcDcz?=
 =?utf-8?B?QkJLZ3lYTk9leFBlSjFpL2JGdXAybnh3dDRHcTFCSkppaXBNVWtETGp4Mm8r?=
 =?utf-8?B?V25PNFVNYm5vRlRwcVRBNC9DSWpQRkFLbWZKMVlBUEJSc2lxdEI3S1l5c0FD?=
 =?utf-8?B?bldLcUdkaVFNRmR4WEhtRFVnOXdnSWV2aFJTRExLbklOVVN3U3hzbVZWV010?=
 =?utf-8?B?MWI1KzNmM3Z4RUtSK3hkeE5hdWZxYkp6MHByRUlSZjR0V1RWUWlwOWtDdWJm?=
 =?utf-8?B?cDJ2R2s0QWZzbW5Ubm9UVkRKbDlqVnlXQk5uaW5hdzB1RHplV092ZkxwOWdX?=
 =?utf-8?B?N2ZydU1GVXV6Ykx5ZHhScy84Y2gzYTdLTU5nQUhTZjR5TXBhOE1jRnJhZ3F0?=
 =?utf-8?B?TzFrN29KYVg5SXE4aVNXZ0JGSUkvUlo2c1hBcGhFY3BhK2dEa0p4UjVibHV2?=
 =?utf-8?B?UXpWd1JKMFpPZ3Z5aFZLdzRaKzNmQnArRld1VWYrRFZiUzF6VnM5SkhVOTdh?=
 =?utf-8?B?QVFQMlYzTlgwZDRrYlpTYVdWakNpZU9jN1d3c0J2THFhTXBxR21aemxaZndr?=
 =?utf-8?B?N3REdEZpVGNqTldOSDVPOXI4VGVHYWRXejVFUms0RTJsbU5pRmtxV09vOWkz?=
 =?utf-8?B?RzlSWUtqckdvQW0vdm50K1NsdkxBOU1EdkNuUS9iaDB6Sm5EaG1qNWxKdUJp?=
 =?utf-8?B?NG44SmZlT1FqZldrWitBd3JmZ3dJZG1hdHRNMmkyOS9sWnJMdkRMNlgxMGw1?=
 =?utf-8?B?VHV1VnFGUHpJL2pQcU5FTjhXVjFnbW5CanFmdHBaVWIyT1JTeitDdkhWSjJI?=
 =?utf-8?B?WGFxeUlJVE5IYmdJSEN6TnVOZGNrUTBEb3Rka1pNbXhqM1ZmaGlMMGhFNzI4?=
 =?utf-8?B?K25NNEFvR3pEeE5kbk5EZ1l2cXI5Sk5MZUdNTFFkanoyVE1RK0RRZFBKMU0y?=
 =?utf-8?B?SGJmU1BmcE53VWNtYXdxTjl0TndDYmoyYU5JZENBdWV0NGR1UXVCN1Y0djZs?=
 =?utf-8?B?MFpBRmxOMCt0OGt3U1BOYVdXMi9UR0tCYjdyOTU5R0VWYkYrNTlwcDRpZnJ0?=
 =?utf-8?B?T0Z5cWJJRGY1NTdYNlBzZ29nQzBxeC9CWFE1NFdtbDdNNGNMYUxUMUJ6NGZK?=
 =?utf-8?B?OHpVdz09?=
X-OriginatorOrg: oracle.com
X-MS-Exchange-CrossTenant-Network-Message-Id: 530a7680-40dc-474d-26be-08db1442938d
X-MS-Exchange-CrossTenant-AuthSource: BY5PR10MB4196.namprd10.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 21 Feb 2023 19:33:58.1767
 (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: VuekfZ75KeYVlw71LaCaT+QdBtg5RSCyWT/FMeXqw56HUni6dlkyqj0+ZH+8sxxrFKe3FuQmSyMtAFLAx0UrXw==
X-MS-Exchange-Transport-CrossTenantHeadersStamped: PH8PR10MB6551
X-Proofpoint-Virus-Version: vendor=baseguard
 engine=ICAP:2.0.219,Aquarius:18.0.930,Hydra:6.0.562,FMLib:17.11.170.22
 definitions=2023-02-21_12,2023-02-20_02,2023-02-09_01
X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 mlxlogscore=942 phishscore=0
 malwarescore=0 mlxscore=0 spamscore=0 adultscore=0 bulkscore=0
 suspectscore=0 classifier=spam adjust=0 reason=mlx scancount=1
 engine=8.12.0-2212070000 definitions=main-2302210168
X-Proofpoint-GUID: sMsLxHdGs4iBB23JV4WKf34H4QYH8qNV
X-Proofpoint-ORIG-GUID: sMsLxHdGs4iBB23JV4WKf34H4QYH8qNV
Precedence: bulk
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

On 02/21/23 07:59, James Houghton wrote:
> On Fri, Feb 17, 2023 at 4:42 PM Mina Almasry <almasrymina@google.com> wrote:
> >
> > On Fri, Feb 17, 2023 at 4:28 PM James Houghton <jthoughton@google.com> wrote:
> > >
> > > If would be bad if we actually set PageUptodate with UFFDIO_CONTINUE;
> > > PageUptodate indicates that the page has been zeroed, and we don't want
> > > to give a non-zeroed page to the user.
> > >
> > > The reason this change is being made now is because UFFDIO_CONTINUEs on
> > > subpages definitely shouldn't set this page flag on the head page.
> > >
> > > Signed-off-by: James Houghton <jthoughton@google.com>
> > >
> > > diff --git a/mm/hugetlb.c b/mm/hugetlb.c
> > > index 07abcb6eb203..792cb2e67ce5 100644
> > > --- a/mm/hugetlb.c
> > > +++ b/mm/hugetlb.c
> > > @@ -6256,7 +6256,16 @@ int hugetlb_mcopy_atomic_pte(struct mm_struct *dst_mm,
> > >          * preceding stores to the page contents become visible before
> > >          * the set_pte_at() write.
> > >          */
> > > -       __folio_mark_uptodate(folio);
> > > +       if (!is_continue)
> > > +               __folio_mark_uptodate(folio);
> > > +       else if (!folio_test_uptodate(folio)) {
> > > +               /*
> > > +                * This should never happen; HugeTLB pages are always Uptodate
> > > +                * as soon as they are allocated.
> > > +                */
> >
> > if (is_continue) then we grab a page from the page cache, no? Are
> > pages in page caches always uptodate? Why? I guess that means they're
> > mapped hence uptodate?
> >
> > Also this comment should explain why pages in the page cache are
> > always uptodate, no? Because this error branch is hit if (is_continue
> > && !folio_test_uptodate()), not when pages are freshly allocated.
> 
> There was some discussion about it here[1].
> 
> Without even thinking about how the pages become uptodate, I think
> this patch is justified like this: UFFDIO_CONTINUE => we aren't
> actually changing the contents of the page, so we shouldn't be
> changing the uptodate-ness of the page.

Agree!

> HugeTLB pages in the page cache are always uptodate:
> 1. fallocate -- the page is allocated, zeroed, marked as uptodate, and
> then placed in the page cache.
> 2. hugetlb_no_page -- same as above.
> 
> So uptodate <=> "the page has been zeroed", so it would be very bad if
> we gave a !uptodate page to userspace via UFFDIO_CONTINUE.
> 
> I'll update the comment to something like:
> 
> "HugeTLB pages are always Uptodate as soon as they are added to the
> page cache. Given that we aren't changing the contents of the page, we
> shouldn't be updating the Uptodate-ness of the page."

Perhaps a better way of saying is that hugetlb pages are marked uptodate
shortly after allocation when their contents are initialized.  Initialized
data could be zero, or it could be contents copied from another location
(such as in the UFFDIO_COPY case also handled in this routine).

Saying "PageUptodate indicates that the page has been zeroed" as in the
commit message is technically not correct.

Ack to the patch.
-- 
Mike Kravetz