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: <d6957a20-db31-d6ac-8822-003bdb9cd747@intel.com>
Date:   Tue, 4 Jul 2023 09:41:23 +0800
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
 Firefox/102.0 Thunderbird/102.12.0
Subject: Re: [PATCH v2] readahead: Correct the start and size in
 ondemand_readahead()
Content-Language: en-US
To:     Mike Kravetz <mike.kravetz@oracle.com>
CC:     <akpm@linux-foundation.org>, <willy@infradead.org>,
        <ackerleytng@google.com>, <linux-fsdevel@vger.kernel.org>,
        <linux-mm@kvack.org>, <linux-kernel@vger.kernel.org>,
        <oliver.sang@intel.com>
References: <20230628044303.1412624-1-fengwei.yin@intel.com>
 <20230703184928.GB4378@monkey>
From:   "Yin, Fengwei" <fengwei.yin@intel.com>
In-Reply-To: <20230703184928.GB4378@monkey>
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?c2lmMWJYSUttTW8wc1JpN1B5NVZrQW8vRzdtanFaWEZsWUFGMmJQTXJZMG1U?=
 =?utf-8?B?V2I1Wm5SelgyN1E1aEJNK3ZoR29ZM3ZHaktZN3J5OFhYSk9lcjlIVnl6VS9n?=
 =?utf-8?B?QjBheWdJSVFIWEw5WGVUK1pPdStySFczVVdrTlY5L0k0Y0lBQnlIbENxZjg2?=
 =?utf-8?B?RStKV2FQb3h6TmxxV2swWGVGWS9xMndQWTROOFVKVXcwNHNLZi83YWRXd2Qz?=
 =?utf-8?B?K0tJOGMzVVQxZ040YzE1MVZvakEzbEZNblU5b1h0WHhJdzVtemhlWC8ybkFV?=
 =?utf-8?B?N2F1Y3lkNXZIbGtTRzFweWhYS2g4MmNZbE1MWHR5Nm9MZHBlby9YYVM0VHZl?=
 =?utf-8?B?Q1FoNkZNZi9TN1BhWi9keDB6ZEJkSExvUHh3WSs0WFNwN1ZzazByWjBIdXlt?=
 =?utf-8?B?MjQ5SWRVK2laZVJkTTR5cTdUTDRISjk5SFNHRjZoMUlYOWptSGgydVg2cXQ3?=
 =?utf-8?B?YmM4azZIdGg3VHdtR21Id0U5cytwc0Vqd2xoNHpSVXJ2SWlKemVweExlOU5x?=
 =?utf-8?B?L3BQQ1MvZkx6MCtuaDRabWN1VFh0NkNEb2NkaWU2ZFhFZ3NidTlhZTRlTC9N?=
 =?utf-8?B?ZlQvZ3E5SytMVDVsMGpqbEZaMjVwSWhCUnZweFY0eWcxcGNrZnR5ZVVOeVRI?=
 =?utf-8?B?aWxqZDFiY3pHR1VHY3R6cCtDeEN0TFFKdUJ0MXVBcG1RSnptandiVGVMZURh?=
 =?utf-8?B?RjNYV3M3bXNvYXNnTWUwbU5XN3RZQWZzYllXQTJZK3ZKczlaK0QvVTUyalQz?=
 =?utf-8?B?aFJteDhsNDd0Mkd4MGhFSVhSQzk4dklDRzlidUhBR0xaYzF0Q21KT29HKzFD?=
 =?utf-8?B?dWIyWHVpZExqbmxKTGt5bXFQNmhqM3hWdkhTOHdUcnU5ek1VQlZsSWo2MUlJ?=
 =?utf-8?B?bHA5MEFLUTE0QnNabWNkNi9VZjRqdmlHOUFuUTVIaGdzQm94ejZjWGlCejdU?=
 =?utf-8?B?cEEzN0pqd3FUZFJzV0xVY2g5dVpKTldZTUN1MHV0R0ZybzJDT0FLRWJYV2Rt?=
 =?utf-8?B?clpUaFpSNEpDT3AxOWxJZHM4VlFnRENqbUMrMFRrL2ZENS9IS3ZMS3BNQnUv?=
 =?utf-8?B?bXV1V2t1WFdwLzVUcTVTRXV0YUxBcnJmd1hLc29WNDlKV3Z2VlF4RE9nN2N4?=
 =?utf-8?B?ZXFIVEsyeVJ1elpleUEvU3cvSkw4TEZiS2hscThHUjJ6YktxQ1NhYVdvRkpp?=
 =?utf-8?B?WWovNCtiZjdYV0lCTi9hZmtxWUlnWk9QYzNIem1YUDFuZkE1dXowWUpBRmtN?=
 =?utf-8?B?M1Z4Y0NHVWFzR05KSHI0UTdBaVBORjB3MGNNZlhXNVhHRnhlQkhuSTRoand4?=
 =?utf-8?B?ejdSeWN0Z0gzT3libUFNRVJmZk5qUDdONGc5blFTaGI1WUNoYml5dVVJME1K?=
 =?utf-8?B?NDhVOVlJVWJZRlRvMEpqeGgxeG1zdTJYMk82RFQ2alRhZ2ppWDFReHdPSW9N?=
 =?utf-8?B?K01keFdKd3ZONjNaR1dXQnJBT0dBWnEzcEI0MEdJREJCTmFrdVIzMXlYbVVG?=
 =?utf-8?B?NzJBYVRjb1p3blhyZGEyalRPSWVFdDNNOVpaK3FzTm16VWVCd3gwODZPb3Az?=
 =?utf-8?B?TVpMNzJidmFqOGVlUmc5WlhyRlFzNmRBRUlDMkg5bFB4QWZSLzBnYXJRWlRB?=
 =?utf-8?B?M0Y1Y013OXRoZGxrWjc5S2pOY2QyRG4vM0dUTEcyTEtJWUtrczZidERZVGpj?=
 =?utf-8?B?WStnYnRkWUZtLzBZRkU0Q2JycUhyMlpScUJ3Q3BJMlVwYW0wV01lTHhhbU9C?=
 =?utf-8?B?VGF0SDUxRnJwMUx3QkJDYU9NU0NyRXkvaFBrU1RuY2JFVkdEeFF4NWwwWkRu?=
 =?utf-8?B?SmRWdWF0VUdDVFIrNkZTWHd6K1pUUW40SGE4MlV3SzYzL21XRzBLVTVhRVhi?=
 =?utf-8?B?cEE4MFhxWDVmQXo1Y1RDRDhQUWNreGp2SW14Q0xFSm9EdUJzWnBxOG03MmRJ?=
 =?utf-8?B?RTlrNmFnM1haSU5XZ1d4cUJVNmVrWTNRNnZXWjE5ME4xS0ZON3lVTThjd2FT?=
 =?utf-8?B?NlhJaFlDYjd1R0ViWnB6bWcwRnN2RG1qTXIzODhZNzBta0NhTkg0VTJZcHpx?=
 =?utf-8?B?R2pGemlvUzlSSk0zeTZuRjdidklVWThET0N5eVBWVGFQOXErcUYvcDJBbUYx?=
 =?utf-8?Q?xwDjTzi1fTWA84m8/uIWNqz6F?=
X-MS-Exchange-CrossTenant-Network-Message-Id: 115231a3-3560-4428-4211-08db7c2fcac9
X-MS-Exchange-CrossTenant-AuthSource: CO1PR11MB4820.namprd11.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 04 Jul 2023 01:41:31.3001
 (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: I3qs5zf4GB0ndpi6AIEN8XuI/zK3M7iHaiKir3zKH4WP1lYAS5tGrFJT9bT3eqF48g+oGW4knjChFzO9XJRWzg==
X-MS-Exchange-Transport-CrossTenantHeadersStamped: CY8PR11MB7265
X-OriginatorOrg: intel.com
X-Spam-Status: No, score=-4.5 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,T_SCC_BODY_TEXT_LINE,URIBL_BLOCKED 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 7/4/2023 2:49 AM, Mike Kravetz wrote:
> On 06/28/23 12:43, Yin Fengwei wrote:
>> The commit
>> 9425c591e06a ("page cache: fix page_cache_next/prev_miss off by one")
>> updated the page_cache_next_miss() to return the index beyond
>> range.
>>
>> But it breaks the start/size of ra in ondemand_readahead() because
>> the offset by one is accumulated to readahead_index. As a consequence,
>> not best readahead order is picked.
>>
>> Tracing of the order parameter of filemap_alloc_folio() showed:
>>      page order    : count     distribution
>>         0          : 892073   |                                        |
>>         1          : 0        |                                        |
>>         2          : 65120457 |****************************************|
>>         3          : 32914005 |********************                    |
>>         4          : 33020991 |********************                    |
>> with 9425c591e06a9.
>>
>> With parent commit:
>>      page order    : count     distribution
>>         0          : 3417288  |****                                    |
>>         1          : 0        |                                        |
>>         2          : 877012   |*                                       |
>>         3          : 288      |                                        |
>>         4          : 5607522  |*******                                 |
>>         5          : 29974228 |****************************************|
>>
>> Fix the issue by removing the offset by one when page_cache_next_miss()
>> returns no gaps in the range.
>>
>> After the fix:
>>     page order     : count     distribution
>>         0          : 2598561  |***                                     |
>>         1          : 0        |                                        |
>>         2          : 687739   |                                        |
>>         3          : 288      |                                        |
>>         4          : 207210   |                                        |
>>         5          : 32628260 |****************************************|
>>
> 
> Thank you for your detailed analysis!
> 
> When the regression was initially discovered, I sent a patch to revert
> commit 9425c591e06a.  Andrew has picked up this change.  And, Andrew has
> also picked up this patch.
Oh. I didn't notice that you sent revert patch. My understanding is that
commit 9425c591e06a is a good change.

> 
> I have not verified yet, but I suspect that this patch is going to cause
> a regression because it depends on the behavior of page_cache_next_miss
> in 9425c591e06a which has been reverted.
Yes. If the 9425c591e06a was reverted, this patch could introduce regression.
Which fixing do you prefer? reverting 9425c591e06a or this patch? Then we
can suggest to Andrew to take it.


Regards
Yin, Fengwei