Re: [powerpc] Fix bogus BUG_ON() in in hugetlb_get_unmapped_area()

From: Segher Boessenkool
Date: Fri Dec 22 2006 - 13:51:44 EST


+ if (len > TASK_SIZE)
+ return -ENOMEM;

Shouldn't that be addr+len instead? The check looks incomplete
otherwise. And you meant ">=" I guess?

No. Have a look at the other hugetlb_get_unmapped_area()
implementations. Because this is in the get_unmapped_area() path,
'addr' is just a hint,

Ah I missed this vital piece of information, thanks for the
explanation. Care putting in a code comment pointing this out?

so checking addr+len would give bogus
failures. This test is, I believe, essentially an optimization - if
it fails, we're never going to find a suitable addr, so we might as
well give up now.

Yes, it all makes sense now.

- /* Paranoia, caller should have dealt with this */
- BUG_ON((addr + len) > 0x100000000UL);
-

Any real reason to remove the paranoia check? If it's trivially
always satisfied, the compiler will get rid of it for you :-)

Yes - this is the very bug on which was causing crashes - the "caller
should have dealt with this" comment is wrong. The test has been
moved into htlb_check_hinted_area() and now simply fails (and so falls
back to searching for a suitable address), rather than BUG()ing.

Yep.

Cheers,


Segher

-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/