On 3/6/19 12:08 PM, Alex Ghiti wrote:
>>>
>>> + /*
>>> + * Gigantic pages allocation depends on the capability for large
>>> page
>>> + * range allocation. If the system cannot provide
>>> alloc_contig_range,
>>> + * allow users to free gigantic pages.
>>> + */
>>> + if (hstate_is_gigantic(h) && !IS_ENABLED(CONFIG_CONTIG_ALLOC)) {
>>> + spin_lock(&hugetlb_lock);
>>> + if (count > persistent_huge_pages(h)) {
>>> + spin_unlock(&hugetlb_lock);
>>> + return -EINVAL;
>>> + }
>>> + goto decrease_pool;
>>> + }
>> We talked about it during the last round and I don't seen any mention of
>> it here in comments or the changelog: Why is this a goto? Why don't we
>> just let the code fall through to the "decrease_pool" label? Why is
>> this new block needed at all? Can't we just remove the old check and
>> let it be?
>
> I'll get rid of the goto, I don't know how to justify it properly in a
> comment,
> maybe because it is not necessary.
> This is not a new block, this means exactly the same as before (remember
> gigantic_page_supported() actually meant CONTIG_ALLOC before this series),
> except that now we allow a user to free boottime allocated gigantic pages.
> And no we cannot just remove the check and let it be since it would modify
> the current behaviour, which is to return an error when trying to allocate
> gigantic pages whereas alloc_contig_range is not defined. I thought it was
> clearly commented above, I can try to make it more explicit.
OK, that makes sense. Could you get some of this in the changelog,
please? Otherwise this all looks good to me.