From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org Received: from kanga.kvack.org (kanga.kvack.org [205.233.56.17]) by smtp.lore.kernel.org (Postfix) with ESMTP id 74425C77B7F for ; Thu, 11 May 2023 13:15:04 +0000 (UTC) Received: by kanga.kvack.org (Postfix) id EA0CF6B007D; Thu, 11 May 2023 09:15:03 -0400 (EDT) Received: by kanga.kvack.org (Postfix, from userid 40) id E51506B007E; Thu, 11 May 2023 09:15:03 -0400 (EDT) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id D67AE6B0080; Thu, 11 May 2023 09:15:03 -0400 (EDT) X-Delivered-To: linux-mm@kvack.org Received: from relay.hostedemail.com (smtprelay0012.hostedemail.com [216.40.44.12]) by kanga.kvack.org (Postfix) with ESMTP id C56AA6B007D for ; Thu, 11 May 2023 09:15:03 -0400 (EDT) Received: from smtpin18.hostedemail.com (a10.router.float.18 [10.200.18.1]) by unirelay01.hostedemail.com (Postfix) with ESMTP id 804C41C6E6F for ; Thu, 11 May 2023 13:15:03 +0000 (UTC) X-FDA: 80778019686.18.4901607 Received: from foss.arm.com (foss.arm.com [217.140.110.172]) by imf12.hostedemail.com (Postfix) with ESMTP id 7661740064 for ; Thu, 11 May 2023 13:14:29 +0000 (UTC) Authentication-Results: imf12.hostedemail.com; dkim=none; dmarc=pass (policy=none) header.from=arm.com; spf=pass (imf12.hostedemail.com: domain of ryan.roberts@arm.com designates 217.140.110.172 as permitted sender) smtp.mailfrom=ryan.roberts@arm.com ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=hostedemail.com; s=arc-20220608; t=1683810869; h=from:from:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=F7h09UMc/bAEEAWu6Ihl/P4ynONmsBkH17GhP+rm42g=; b=M9+qXABgaTVmIelrw/lq2Q7LXShbLY0NbiTQWq6xCGbUCMV+h8wPmp/qrlBOExr8Pg/bUD /rtLX/okzLX+Wdu3pPQ7m3nQziMRcy7w1rwBCXUsMDoVKsnokhrzVunXt1KrRIVHzqqtTb WwH/iegMIHdu8KFEqndGMyFguKeiY3c= ARC-Seal: i=1; s=arc-20220608; d=hostedemail.com; t=1683810869; a=rsa-sha256; cv=none; b=h3Xy6AsnewHqO52Tv8XZ+yuPOvgZw7VGrb6YWPneSoMWAe9PCvK3FCTw0j2ktBBUo6LGnt wLp9tYaHlB1G8f84YAsvMIiQUlp4t79YSl/mBD3U/LnIqbaP8Ly4edmr9QUeDdolRiKk5U qclJhGN8CMNTUsJiYmBv4AANmoDEU4Y= ARC-Authentication-Results: i=1; imf12.hostedemail.com; dkim=none; dmarc=pass (policy=none) header.from=arm.com; spf=pass (imf12.hostedemail.com: domain of ryan.roberts@arm.com designates 217.140.110.172 as permitted sender) smtp.mailfrom=ryan.roberts@arm.com Received: from usa-sjc-imap-foss1.foss.arm.com (unknown [10.121.207.14]) by usa-sjc-mx-foss1.foss.arm.com (Postfix) with ESMTP id B62C6165C; Thu, 11 May 2023 06:15:12 -0700 (PDT) Received: from [10.1.34.59] (C02Z41KALVDN.cambridge.arm.com [10.1.34.59]) by usa-sjc-imap-foss1.foss.arm.com (Postfix) with ESMTPSA id 47F383F5A1; Thu, 11 May 2023 06:14:27 -0700 (PDT) Message-ID: Date: Thu, 11 May 2023 14:14:26 +0100 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:102.0) Gecko/20100101 Thunderbird/102.10.1 Subject: Re: [PATCH v1 2/5] mm: damon must atomically clear young on ptes and pmds To: Andrew Morton , "Matthew Wilcox (Oracle)" , "Kirill A. Shutemov" , SeongJae Park Cc: linux-kernel@vger.kernel.org, linux-mm@kvack.org, damon@lists.linux.dev References: <20230511125848.78621-1-ryan.roberts@arm.com> <20230511125848.78621-3-ryan.roberts@arm.com> From: Ryan Roberts In-Reply-To: <20230511125848.78621-3-ryan.roberts@arm.com> Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-Stat-Signature: ju4zockon9czwebnmb8hp5fmm5c7d6zf X-Rspamd-Server: rspam04 X-Rspamd-Queue-Id: 7661740064 X-Rspam-User: X-HE-Tag: 1683810869-637751 X-HE-Meta: U2FsdGVkX18+zd5Xvn1qd8Yc4nW8tauWDrtpcS7N8ln7xXMaDYWMa3GiUwaZ9IqbJQsDM0nVXPtEiat9HIioL+1WVFWums+SlnqfCRFUc7d4kJSz2oyiK5a7ziz27meZmElzCZXZMzONCaL6H7BhPtANTchl1fsfqHL3OHD5KyOItftnUd9/HF2ibdEUgsFOlwSWMDFbTJtFr49gB5zilgneO2J3q16qklJuyP4zqFuEQC800aClKhNBCF8ssV8T+GZfMkfCDyPqkj8PxJLvJ23f65gwVH/BQR0Zohsr5aAVBajuDsTk1tUdahMOaUCnVc6yw9yvDzcb47hlvBT/PNofhGxhbO6PWbyf1zHiuYCr51jrWAKXKvV1tH4ClM24sQPTYqJoAX5edIm3HqbOT8tr8XjXZf7ohVm8RWeXG24HIGJ7l30LgZbf3+L8KemBTO4vWBkRq6GH8jKKLL21YdKGHFwmGm+o6BIUx+UNRSG7+DNqQ+J0J6i3r5eVQMgqNKsZk7EPmnlwHas9iftkKqNR/Q7siR6aQ+1KKvcBb8k+BawqEMuVVdHV+rONWVlDcx5zSsCxucmsdrP3z5yNXrzJBm+g53BsU9CHHc1Ud7PmXSw1/NoSBBRI21gkWb5B93LPjjL0kEnrhsS0ynlQIde/biQu5qYjBz29sPQPozHVyk+waij+Ut6JThsagzfMAMX158dKTw6S6xzu8vXMA0mZ2AzFyRfcrQN0zJIrh6QzjB/jMyqjx9y+9Df8yAwjQNg+N0KCeFkIPF3EFc4WgfQDRBLY1DzqZrOtTE1Sd6mK5t4LIlioGaGwCXCdwD7mlVFkWxOkBM51xxfpmV925W1RgJNhO+MubFh60jCEkUwP+q6SzviZqsy8osCbVqVQcRcNlsRS5rx2JQj8jclOqZTy8d3xjopdX85ABLL3V6SGN2JLwc3nNMEdwwBw+/FMM4H8akJa6I3VXrhRtDh rLoTKljW xIWg3VOTiVQNbGZUuLKjG1WfXAzcwUZpcKVLdKbqHgVKxCuEzbEBEhYboTkcoguEFuyvokKKLufegYFRgFCuXIyq4lrovjEuEmPGmEpPVkjLVqYueq2wjBo9v4/J7gG9dU5nilS4MfzzUDWCR+ONJlnJAatG76ICEcGcu X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 Sender: owner-linux-mm@kvack.org Precedence: bulk X-Loop: owner-majordomo@kvack.org List-ID: My appologies for the noise: A blank line between Cc and Subject has broken the subject and grouping in lore. Please Ignore this, I will resend. On 11/05/2023 13:58, Ryan Roberts wrote: > It is racy to non-atomically read a pte, then clear the young bit, then > write it back as this could discard dirty information. Further, it is > bad practice to directly set a pte entry within a table. Instead > clearing young must go through the arch-provided helper, > ptep_test_and_clear_young() to ensure it is modified atomically and to > give the arch code visibility and allow it to validate (and potentially > modify) the operation. > > Fixes: 46c3a0accdc4 ("mm/damon/vaddr: separate commonly usable functions") > Signed-off-by: Ryan Roberts > --- > mm/damon/ops-common.c | 16 ++++++---------- > mm/damon/ops-common.h | 4 ++-- > mm/damon/paddr.c | 4 ++-- > mm/damon/vaddr.c | 4 ++-- > 4 files changed, 12 insertions(+), 16 deletions(-) > > diff --git a/mm/damon/ops-common.c b/mm/damon/ops-common.c > index cc63cf953636..acc264b97903 100644 > --- a/mm/damon/ops-common.c > +++ b/mm/damon/ops-common.c > @@ -37,7 +37,7 @@ struct folio *damon_get_folio(unsigned long pfn) > return folio; > } > > -void damon_ptep_mkold(pte_t *pte, struct mm_struct *mm, unsigned long addr) > +void damon_ptep_mkold(pte_t *pte, struct vm_area_struct *vma, unsigned long addr) > { > bool referenced = false; > struct folio *folio = damon_get_folio(pte_pfn(*pte)); > @@ -45,13 +45,11 @@ void damon_ptep_mkold(pte_t *pte, struct mm_struct *mm, unsigned long addr) > if (!folio) > return; > > - if (pte_young(*pte)) { > + if (ptep_test_and_clear_young(vma, addr, pte)) > referenced = true; > - *pte = pte_mkold(*pte); > - } > > #ifdef CONFIG_MMU_NOTIFIER > - if (mmu_notifier_clear_young(mm, addr, addr + PAGE_SIZE)) > + if (mmu_notifier_clear_young(vma->vm_mm, addr, addr + PAGE_SIZE)) > referenced = true; > #endif /* CONFIG_MMU_NOTIFIER */ > > @@ -62,7 +60,7 @@ void damon_ptep_mkold(pte_t *pte, struct mm_struct *mm, unsigned long addr) > folio_put(folio); > } > > -void damon_pmdp_mkold(pmd_t *pmd, struct mm_struct *mm, unsigned long addr) > +void damon_pmdp_mkold(pmd_t *pmd, struct vm_area_struct *vma, unsigned long addr) > { > #ifdef CONFIG_TRANSPARENT_HUGEPAGE > bool referenced = false; > @@ -71,13 +69,11 @@ void damon_pmdp_mkold(pmd_t *pmd, struct mm_struct *mm, unsigned long addr) > if (!folio) > return; > > - if (pmd_young(*pmd)) { > + if (pmdp_test_and_clear_young(vma, addr, pmd)) > referenced = true; > - *pmd = pmd_mkold(*pmd); > - } > > #ifdef CONFIG_MMU_NOTIFIER > - if (mmu_notifier_clear_young(mm, addr, addr + HPAGE_PMD_SIZE)) > + if (mmu_notifier_clear_young(vma->vm_mm, addr, addr + HPAGE_PMD_SIZE)) > referenced = true; > #endif /* CONFIG_MMU_NOTIFIER */ > > diff --git a/mm/damon/ops-common.h b/mm/damon/ops-common.h > index 14f4bc69f29b..18d837d11bce 100644 > --- a/mm/damon/ops-common.h > +++ b/mm/damon/ops-common.h > @@ -9,8 +9,8 @@ > > struct folio *damon_get_folio(unsigned long pfn); > > -void damon_ptep_mkold(pte_t *pte, struct mm_struct *mm, unsigned long addr); > -void damon_pmdp_mkold(pmd_t *pmd, struct mm_struct *mm, unsigned long addr); > +void damon_ptep_mkold(pte_t *pte, struct vm_area_struct *vma, unsigned long addr); > +void damon_pmdp_mkold(pmd_t *pmd, struct vm_area_struct *vma, unsigned long addr); > > int damon_cold_score(struct damon_ctx *c, struct damon_region *r, > struct damos *s); > diff --git a/mm/damon/paddr.c b/mm/damon/paddr.c > index 467b99166b43..5b3a3463d078 100644 > --- a/mm/damon/paddr.c > +++ b/mm/damon/paddr.c > @@ -24,9 +24,9 @@ static bool __damon_pa_mkold(struct folio *folio, struct vm_area_struct *vma, > while (page_vma_mapped_walk(&pvmw)) { > addr = pvmw.address; > if (pvmw.pte) > - damon_ptep_mkold(pvmw.pte, vma->vm_mm, addr); > + damon_ptep_mkold(pvmw.pte, vma, addr); > else > - damon_pmdp_mkold(pvmw.pmd, vma->vm_mm, addr); > + damon_pmdp_mkold(pvmw.pmd, vma, addr); > } > return true; > } > diff --git a/mm/damon/vaddr.c b/mm/damon/vaddr.c > index 1fec16d7263e..37994fb6120c 100644 > --- a/mm/damon/vaddr.c > +++ b/mm/damon/vaddr.c > @@ -311,7 +311,7 @@ static int damon_mkold_pmd_entry(pmd_t *pmd, unsigned long addr, > } > > if (pmd_trans_huge(*pmd)) { > - damon_pmdp_mkold(pmd, walk->mm, addr); > + damon_pmdp_mkold(pmd, walk->vma, addr); > spin_unlock(ptl); > return 0; > } > @@ -323,7 +323,7 @@ static int damon_mkold_pmd_entry(pmd_t *pmd, unsigned long addr, > pte = pte_offset_map_lock(walk->mm, pmd, addr, &ptl); > if (!pte_present(*pte)) > goto out; > - damon_ptep_mkold(pte, walk->mm, addr); > + damon_ptep_mkold(pte, walk->vma, addr); > out: > pte_unmap_unlock(pte, ptl); > return 0;