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;
Message-ID: <864d3a45-1e75-4110-91dc-264d9e77796c@intel.com>
Date:   Thu, 10 Aug 2023 09:30:21 +0800
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
 Firefox/102.0 Thunderbird/102.11.0
Subject: Re: [PATCH v2 1/3] mm: add functions folio_in_range() and
 folio_within_vma()
Content-Language: en-US
To:     Ryan Roberts <ryan.roberts@arm.com>, <linux-mm@kvack.org>,
        <linux-kernel@vger.kernel.org>, <akpm@linux-foundation.org>,
        <yuzhao@google.com>, <willy@infradead.org>, <hughd@google.com>,
        <yosryahmed@google.com>, <david@redhat.com>, <shy828301@gmail.com>
References: <20230809061105.3369958-1-fengwei.yin@intel.com>
 <20230809061105.3369958-2-fengwei.yin@intel.com>
 <241cb5d6-0941-4dbb-9d16-9226d34ebaf8@arm.com>
From:   Yin Fengwei <fengwei.yin@intel.com>
In-Reply-To: <241cb5d6-0941-4dbb-9d16-9226d34ebaf8@arm.com>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?YU9nazBGa3VxdFlBK2tVSUJSbEx5ZWMrMzRPUVpqQkc2dTZoSjFPMHZjVDMw?=
 =?utf-8?B?c1BwMEM2QTY5N2NCYzBveHY4K00rc01LRXByZVRKTElyc0xnQ1JKN2JVcjRO?=
 =?utf-8?B?UVFzejlaNVF3ZjgwQlJCbHFheHRZdGhNQ3dmazJ0dnlsSXJkVTNmcE5QVnZu?=
 =?utf-8?B?NFltdkVKWVArZVhiRWFTY3BTOEdROXl6WEIra0ptYkdCamk4SnE5bVNBQktK?=
 =?utf-8?B?R2ozMGZJNGZMMzBOcURXeWdEdjliWXFMVXBteWM1SmhCR3h6QUpKbkxoV3ND?=
 =?utf-8?B?VlpYeW85cmdzeGVXdGFpYUhrVnBTR3Rqd0tnNlNVYVQzUkcrazF6Q25Qajh1?=
 =?utf-8?B?VHNvdjl4YTE0c3g2RWFTckpuVmhXSDVnVkgxQWVJZmd3L2dmS2ZSOHMvWFN2?=
 =?utf-8?B?bjcyNE91M0t0bHFFQU9CdmFmYXBlRHlJRVFRZUFxVzhMdWRDQnc1MUhVTGdF?=
 =?utf-8?B?dlFsbTJScjBSb0RWd2dWY2hkQ0ozdGpKK3QyUEZoTmRsalNtWDhJVFZBajkv?=
 =?utf-8?B?R2d2R0loQzB4N0lOdkY1dUExZmtLMGVvV3RxYzlGUTY2c0ovdzIrN21WY241?=
 =?utf-8?B?YlRESTdOR0c5RXhoOVYyNWY0c2xpcXlxaG56K1prV1RmUUZqZ1VWb2V4WTNL?=
 =?utf-8?B?bGJSRDFpcC9jcm50NW9sS1VoY1dvQkxtSjJjWkptOFcvZGhUcnR4dVhnNHI4?=
 =?utf-8?B?VmppZG95R1BpaW1CYUpjQ0I0czNmTUJld3NpajFiWUNDMTlPaUd3dlBGYVVj?=
 =?utf-8?B?QjRueTg5bjdUbUk0RkkwQmZWZ1ZhZmdESnVCM2doamJmRnI4VnlYZmMzaU5K?=
 =?utf-8?B?bzhSNWpJSlJiMmsvMklrRU9uTHNKSmNXVGVYd2tZMHNRUkk1NXdqV2RUcUpH?=
 =?utf-8?B?TW50NUlpdWtXOWZXYkdoT2wyZEdjZHJnS2Y2TDh2VkE0NEZXcm5EdEtOc0hv?=
 =?utf-8?B?QXJJdUwyRkVZcnhXcSs0WWtjSmpmRXlIVndCbWNlU0NrNm1GNFRtQjdXeCtp?=
 =?utf-8?B?eEhVajRhTVBuYld3cXRyWDZuSGVMKzFwcERtOTdSK1FVcVMzQWYyY2Z5MHps?=
 =?utf-8?B?elZ3WXlCekdTOVNGaHFLcFdUMm8vWStsbXpKbUg3WGFibUdtMFJzYnN5dFJi?=
 =?utf-8?B?LytNTXhReXY3TU1sWk1XSzJWZUhoUGs1a0dLNUhlR3o0QWQwcXI2aTFXOUZH?=
 =?utf-8?B?eHFHOVp1Z0k3dnVvVXR4eW5TYmNlSDA4RmdRYis5VXI5VkVMU2NwbzRvZjY2?=
 =?utf-8?B?YUloQjlwQXZEb2o2ckhMK2xiWVVGZlZWOVRmdEJYZmU3WTlRVzZWUU9wa1NT?=
 =?utf-8?B?WFU5UDBubkErZ3U3M0MrSThBcE5XYzhtaWxaSWorUFprZ1NTZHl2SkxQcnNJ?=
 =?utf-8?B?MjQ5TmZnQ0dCWkRZNFFKU3pwOXJ2eVhHTllqeXhheEZ1b1JPQ3dIVnlRUllS?=
 =?utf-8?B?NmxGSE9zVzROWUhKZFRsS2xlam1lWUpMTjRqQXI1eThtakVHRmVRUk1wdFMr?=
 =?utf-8?B?aS93MHRadVA4MDFvUTJZbXN6NHZOaEJwZ3JOL1k0cTJ6dTRUY3Y3L1ppTW5t?=
 =?utf-8?B?eGtXUUh0ZGt2bWZKMWUwVkxobEhBVHc4bWhMNWkzNlVqeHpnaExMODlZMjl6?=
 =?utf-8?B?Uk9oZ1VtcXpsVGVtNXV3ZVU1Q3RFTmtwSzlHL21ZY3g2YlUxNWtuOHp1L05L?=
 =?utf-8?B?clV3QURVbHVPZkNBRUpPVTZEaDBaS2VlSXhFbzRYRDBKcFUwaGJaUHRwSXE5?=
 =?utf-8?B?VCtoSS82RlFnUHA0VDdvYVJNZXlpMGxIRU1GZmQ1QjhRK2U4OFJjcDFtZlQ1?=
 =?utf-8?B?MmtlcFRQenczR2pTS1NMMFI5VGMwemZtSzY5YnRmUlo0dDBJaVRTWHdOWEdP?=
 =?utf-8?B?YURWYzN1UjZwOTExQlNpVHo5U2F3QVcvRlllNHRhUk94clVYajBiYWlrQ052?=
 =?utf-8?B?S1RLRlVzYThoeG82RWpyNHVVWSs1ZTNKMnRVTENFUjEzZUZEQkJ1M3BEOTNR?=
 =?utf-8?B?Y1JKWkRsYVZxN1JuVDdvaHFla2pzMVZ0ZTdIV3V3VGpwNERNN2JNWWN5c2FW?=
 =?utf-8?B?cTZHNkJKRVQyKytISVNNOWRtR1lXbCtGaVkxakRlWHV1WUFzMUxZYXRQeXlx?=
 =?utf-8?B?RWZMWE5JZEI4YnFSbVlRWGdLTjlmQUNmZmVwNFU2a2QyR2c4UXlNUG1GelpM?=
 =?utf-8?B?eWc9PQ==?=
X-MS-Exchange-CrossTenant-Network-Message-Id: bc072beb-71af-4ffb-0678-08db9941ac95
X-MS-Exchange-CrossTenant-AuthSource: CO1PR11MB4820.namprd11.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 10 Aug 2023 01:32:35.1770
 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: 46c98d88-e344-4ed4-8496-4ed7712e255d
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: ffM1chCK71RjGlBUhbTSA9WD8+7H1qSZ/yGtEWLjkXXak0V5zggNa8axsYPUxcaXV5PlvmXukBesIUbNCZF/IQ==
X-MS-Exchange-Transport-CrossTenantHeadersStamped: CH3PR11MB7180
X-OriginatorOrg: intel.com
X-Spam-Status: No, score=-5.2 required=5.0 tests=BAYES_00,DKIMWL_WL_HIGH,
        DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,NICE_REPLY_A,
        RCVD_IN_DNSWL_MED,RCVD_IN_MSPIKE_H3,RCVD_IN_MSPIKE_WL,SPF_HELO_NONE,
        SPF_NONE 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 8/10/23 03:34, Ryan Roberts wrote:
> On 09/08/2023 07:11, Yin Fengwei wrote:
>> It will be used to check whether the folio is mapped to specific
>> VMA and whether the mapping address of folio is in the range.
>>
>> Also a helper function folio_within_vma() to check whether folio
>> is in the range of vma based on folio_in_range().
>>
>> Signed-off-by: Yin Fengwei <fengwei.yin@intel.com>
>> ---
>>  mm/internal.h | 35 +++++++++++++++++++++++++++++++++++
>>  1 file changed, 35 insertions(+)
>>
>> diff --git a/mm/internal.h b/mm/internal.h
>> index 154da4f0d557..5d1b71010fd2 100644
>> --- a/mm/internal.h
>> +++ b/mm/internal.h
>> @@ -585,6 +585,41 @@ extern long faultin_vma_page_range(struct vm_area_struct *vma,
>>  				   bool write, int *locked);
>>  extern bool mlock_future_ok(struct mm_struct *mm, unsigned long flags,
>>  			       unsigned long bytes);
>> +
>> +static inline bool
>> +folio_in_range(struct folio *folio, struct vm_area_struct *vma,
>> +		unsigned long start, unsigned long end)
> 
> I still think it would be beneficial to have a comment block describing the
> requirements and behaviour of the function:
Definitely. Thanks a lot for reminding me again.

> 
>  - folio must have at least 1 page that is mapped in vma
This is typical usage. 

>  - the result tells you if the folio lies within the range, but it does not tell
> you that all of its pages are actually _mapped_ (e.g. they may not have been
> faulted in yet).
Exactly. Something like following:

This function can't tell whether the folio is fully mapped in the range as it
doesn't check whether all pages of filio are associated with page table of VMA.
Caller needs to do page table check if it cares about the fully mapping.

Typical usage (mlock or madvise) is caller calls this function to check whether
the folio is in the range first. Then check page table to know whether the
folio is fully mapped to the range when it knows at least 1 page of folio is
associated with page table of VMA.

> 
>  - I think [start, end) is intended intersect with the vma too? (although I'm
> pretty sure sure the logic works if it doesn't?)
> 
>> +{
>> +	pgoff_t pgoff, addr;
>> +	unsigned long vma_pglen = (vma->vm_end - vma->vm_start) >> PAGE_SHIFT;
>> +
>> +	VM_WARN_ON_FOLIO(folio_test_ksm(folio), folio);
>> +	if (start > end)
>> +		return false;
>> +
>> +	if (start < vma->vm_start)
>> +		start = vma->vm_start;
>> +
>> +	if (end > vma->vm_end)
>> +		end = vma->vm_end;
>> +
>> +	pgoff = folio_pgoff(folio);
>> +
>> +	/* if folio start address is not in vma range */
>> +	if (!in_range(pgoff, vma->vm_pgoff, vma_pglen))
>> +		return false;
>> +
>> +	addr = vma->vm_start + ((pgoff - vma->vm_pgoff) << PAGE_SHIFT);
>> +
>> +	return !(addr < start || end - addr < folio_size(folio));
>> +}
>> +
>> +static inline bool
>> +folio_within_vma(struct folio *folio, struct vm_area_struct *vma)
> 
> why call this *within* but call the folio_in_range() *in*? Feels cleaner to use
> the same word for both.
Good point. I will change folio_in_range() to folio_within_range().


Regards
Yin, Fengwei

> 
>> +{
>> +	return folio_in_range(folio, vma, vma->vm_start, vma->vm_end);
>> +}
>> +
>>  /*
>>   * mlock_vma_folio() and munlock_vma_folio():
>>   * should be called with vma's mmap_lock held for read or write,
>