Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) client-ip=23.128.96.18;
Subject: Re: [PATCH v3 3/5] hugetlb: be sure to free demoted CMA pages to CMA
To:     Oscar Salvador <osalvador@suse.de>
Cc:     linux-mm@kvack.org, linux-kernel@vger.kernel.org,
        David Hildenbrand <david@redhat.com>,
        Michal Hocko <mhocko@suse.com>, Zi Yan <ziy@nvidia.com>,
        Muchun Song <songmuchun@bytedance.com>,
        Naoya Horiguchi <naoya.horiguchi@linux.dev>,
        David Rientjes <rientjes@google.com>,
        "Aneesh Kumar K . V" <aneesh.kumar@linux.ibm.com>,
        Andrew Morton <akpm@linux-foundation.org>
References: <20211001175210.45968-1-mike.kravetz@oracle.com>
 <20211001175210.45968-4-mike.kravetz@oracle.com>
 <20211005093320.GC20412@linux>
 <f1f011cc-5c5a-7c4f-5701-929918fa2dbb@oracle.com>
 <20211006075451.GA11341@linux>
From:   Mike Kravetz <mike.kravetz@oracle.com>
Message-ID: <2095ad43-f918-4ea3-9dbd-76a7d1f174bd@oracle.com>
Date:   Wed, 6 Oct 2021 11:27:58 -0700
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101
 Thunderbird/68.1.1
In-Reply-To: <20211006075451.GA11341@linux>
Content-Type: text/plain; charset=utf-8
Content-Language: en-US
Content-Transfer-Encoding: 7bit
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?TFp0WnovNVVsMXZYeTZSbE9jS1p3R3BvMnNJZEUzemF2d1Q0elBEMi9ZeDdh?=
 =?utf-8?B?MzdIR2ZML09UYmVrR1dNV0xWbUlUTlhyMDc5bUhsZFVwc0dNdkVpZWZhenNL?=
 =?utf-8?B?QjlVbC9Ob3hyR1A2S29DVUtQT2tJRnRTdW5zY3NoNnJ3dWdlbXROWHExZkhm?=
 =?utf-8?B?VW55eFJzVmJvUVozd2xQbUZ0Nit5TldLZzFnZHJTc2pDT0Q2L3BiRTA1b0xO?=
 =?utf-8?B?Z0grQXkrTHZmS0dUdVFKNEJXYzNZcXJNbFJEWHFIcnVJUkRHWjRvR2QzZ2pz?=
 =?utf-8?B?NVNyMFZqa1lzd3NYRHg3bkFNQXpGS0Mwai8wY1NrNlBZMEZxMzh3ZXk4dDJn?=
 =?utf-8?B?UEdQeVVWdXAvcVdobnZ2ME1KMzg1eWVxNS9pRitqckRYdkU5ZWt0b09Cb2k2?=
 =?utf-8?B?NkYyNVVzK0NEVTlCNzA0UU5jeUlZdXZRenRUcW9BanQ0SXorWFByVmxjdUpO?=
 =?utf-8?B?ZjFZdUpka1BGY3pRVFN1UERiYzNUNTZDdjlBZHczUGZ6YTZSbkQ3S0hwTHg3?=
 =?utf-8?B?bjBCV2JnNklIMHZQYkEwdzU4VGY5c252dUZ0bWxsUUtKR1lLUkFmWFphN2Jz?=
 =?utf-8?B?c0FvMG5NSmgzdnhXOUgxME42WDIzdFFmTjh6N3JJdzU5enJ6WkJESTdQMjF2?=
 =?utf-8?B?eFFXTDlnMEZObnF2bndxVmFaTXViVXpsMUc1RmQxQ3UveHNFRTlsbU5iekZk?=
 =?utf-8?B?bW5VaXNqT2V5eFlMWFJqaXMwUVY1WGNkUmhoZ0ZNOEJrYzlMd1lFSFpOOUZH?=
 =?utf-8?B?STRIcytVMVNydjdoYUtobDhJV1BoUElUZ1pNR3hHMmhsL1BId0hhd0hpVEsw?=
 =?utf-8?B?NEkwc1haRml5M1JNazBEOURsOEhpcXJ4Wm9zVjlCUEpVN2RLKzRiMTRvUmU4?=
 =?utf-8?B?ZHZUVEhGNHo3RmFrNDRIRG94WHhxbk9LYWEvNit0Z0N4MG1nWncvL0k2ZmFH?=
 =?utf-8?B?VzZPRU1HNFc1UHl3ZTU1RVBseVl4VWJxL2x2cUNobllyN21iK0wyUWdaSTNv?=
 =?utf-8?B?TTJ3ZktGeVQvM3JOQ3lSNEdXVkswQkVJKzIvSDVIWmIyZytlWTBGTEdRSGhQ?=
 =?utf-8?B?bE9BM3RaQTlaWjR0aTdXN0QxRVhiNmQ2cHFRR2t0QUVWOWpIMDI1bmdHbFli?=
 =?utf-8?B?eHdjQXBBalhMWkNjRE9ORnlJazMrdU0zNVJyc3Jxb0E1RUMySHFhbEdUd05y?=
 =?utf-8?B?UXk3RFUzdUI1c1I4RkNJbm9CTTd2V0wwWmlDVmxlL0o3TE9aZGVRWDVDdldr?=
 =?utf-8?B?dlFvYXhONG9kU3VJQmdDUnpqMlEyVXY5WjhiRzFaUUxPQTliU3VaSDVsb0RL?=
 =?utf-8?B?WkRhcExUQW1ERTlGdmxIc1BPZjNaaVdJQzV4NEZ0eDNzdmtROXJ4RFFPMUNX?=
 =?utf-8?B?Y0x4eDBmV1QwSFNsMTIraW5HUEVZZ2hZaHF3UU1oaHU3ODJJL0NnZHc4NHpB?=
 =?utf-8?B?N2Z5emd5MzVzcEhQNzVRK05JTUtpa2ZyVEFMY1VvTnRoYkx5M05lM2ttOG1i?=
 =?utf-8?B?dzN4dnRCVjJDOStLVi9nbmJ5T2ROUFBVN0RpTDFPZUdSNjlKNVhtMDdSN3hV?=
 =?utf-8?B?K0RpMGovc1hoYVhHb25NcXBjNWVHRm00azEwNEtBSFZBR05SSTlXRTkreGZa?=
 =?utf-8?B?cE9rNFZxajJGdk9SeU56bng2bGRxYlJZT1BTR0tkN1lNRTY3aHZCL204M2lr?=
 =?utf-8?B?WjNMY2RSanZUdlRQb2xra29Bb01HVlFmMGJ5RXBxVE9PVkx1VGRvR2NrZ0Mx?=
 =?utf-8?Q?Nn8XAm798pXYsLI94mP9NYUZPG2ed88ChdwD603?=
X-OriginatorOrg: oracle.com
X-MS-Exchange-CrossTenant-Network-Message-Id: 994f5830-cb2f-4ce8-17d3-08d988f70764
X-MS-Exchange-CrossTenant-AuthSource: BY5PR10MB4196.namprd10.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 06 Oct 2021 18:28:01.3608
 (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: 7jxvgcf2i6cU2ijfeyGiragveKp7Qtgra19g3KKgyftuRKPstm6P9AzjQ1nD+tiM6B53EmliGfrirOJwfHopGQ==
X-MS-Exchange-Transport-CrossTenantHeadersStamped: BYAPR10MB3448
X-Proofpoint-Virus-Version: vendor=nai engine=6300 definitions=10129 signatures=668683
X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 suspectscore=0 adultscore=0
 phishscore=0 malwarescore=0 bulkscore=0 mlxlogscore=999 mlxscore=0
 spamscore=0 classifier=spam adjust=0 reason=mlx scancount=1
 engine=8.12.0-2109230001 definitions=main-2110060115
X-Proofpoint-GUID: sY0kZ0gjO_70-HW8RnqFmVVuQIT0_dOS
X-Proofpoint-ORIG-GUID: sY0kZ0gjO_70-HW8RnqFmVVuQIT0_dOS
Precedence: bulk
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

On 10/6/21 12:54 AM, Oscar Salvador wrote:
> On Tue, Oct 05, 2021 at 11:57:54AM -0700, Mike Kravetz wrote:
>> It is the smallest.
>>
>> CMA uses a per-region bit map to track allocations.  When setting up the
>> region, you specify how many pages each bit represents.  Currently,
>> only gigantic pages are allocated/freed from CMA so the region is set up
>> such that one bit represents a gigantic page size allocation.
>>
>> With demote, a gigantic page (allocation) could be split into smaller
>> size pages.  And, these smaller size pages will be freed to CMA.  So,
>> since the per-region bit map needs to be set up to represent the smallest
>> allocation/free size, it now needs to be set to the smallest huge page
>> size which can be freed to CMA.
>>
>> Unfortunately, we set up the CMA region for huge pages before we set up
>> huge pages sizes (hstates).  So, technically we do not know the smallest
>> huge page size as this can change via command line options and
>> architecture specific code.  Therefore, at region setup time we need some
>> constant value for smallest possible huge page size.  That is why
>> HUGETLB_PAGE_ORDER is used.
> 
> Do you know if that is done for a reason? Setting up CMA for hugetlb before
> initialiting hugetlb itself? Would not make more sense to do it the other way
> around?
> 

One reason is that the initialization sequence is a bit messy.  In most
cases, arch specific code sets up huge pages.  So, we would need to make
sure this is done before the cma initialization.  This might be
possible, but I am not confident in my abilities to understand/modify
and test early init code for all architectures supporting hugetlb cma
allocations.

In addition, not all architectures initialize their huge page sizes.  It
is possible for architectures to only set up huge pages that have been
requested on the command line.  In such cases, it would require some
fancy command line parsing to look for and process a hugetlb_cma argument
before any other hugetlb argument.  Not even sure if this is possible.

The most reasonable way to address this would be to add an arch specific
callback asking for the smallest supported huge page size.  I did not do
this here, as I am not sure this is really going to be an issue.  In
the use case (and architecture) I know of, this is not an issue.  As you
mention, this or something else could be added if the need arises.
-- 
Mike Kravetz

> The way I see it is that it is a bit unfortunate that we cannot only demote
> gigantic pages per se, so 1GB on x86_64 and 16G on arm64 with 64k page size.
> 
> I guess nothing to be worried about now as this is an early stage, but maybe
> something to think about in the future in we case we want to allow for more
> flexibility.
> 
>> I should probably add all that to the changelog for clarity?
> 
> Yes, I think it would be great to have that as a context.
> 
>> After your comment yesterday about rewriting this code for clarity,  this
>> now becomes:
>>
>> 		/*
>> 		 * Set demote order for each hstate.  Note that
>> 		 * h->demote_order is initially 0.
>> 		 * - We can not demote gigantic pages if runtime freeing
>> 		 *   is not supported, so skip this.
>> 		 * - If CMA allocation is possible, we can not demote
>> 		 *   HUGETLB_PAGE_ORDER or smaller size pages.
>> 		 */
>> 		if (hstate_is_gigantic(h) && !gigantic_page_runtime_supported())
>> 			continue;
>> 		if (hugetlb_cma_size && h->order <= HUGETLB_PAGE_ORDER)
>> 			continue;
>> 		for_each_hstate(h2) {
>> 			if (h2 == h)
>> 				continue;
>> 			if (h2->order < h->order &&
>> 			    h2->order > h->demote_order)
>> 				h->demote_order = h2->order;
>> 		}
>>
>> Hopefully, that is more clear.
> 
> Defintiely, this looks better to me.
>