Re: [PATCH 1/1] mm: unify pmd_free() implementation

From: Linus Torvalds
Date: Mon Jul 28 2008 - 12:51:29 EST




On Mon, 28 Jul 2008, James Bottomley wrote:
>
> Are you sure about this (the barrier)?

I'm sure. Try it. It perturbs the code quite a bit to have a function call
in the thing, because it

- clobbers all callee-clobbered registers.

This means that all functions that _used_ to be leaf functions and
needed no stack frame at all (because they were simple enough to use
only the callee-clobbered registers) are suddenly now going to be
significantly more costly.

Ergo: you get more stack movement with save/restore crud.

- it is a barrier wrt any variables that may be visible externally
(perhaps because they had their address taken), so it forces a flush to
memory for those.

- if it has arguments and return values, it also ends up forcing a
totally unnecessary argument setup (and all the fixed register crap
that involves, which means that you lost almost all your register
allocation freedom - not that you likely care, since most of your
registers are dead _anyway_ around the function call)

So empty functions calls are _deadly_ especially if the code was a leaf
function before, and suddenly isn't any more.

On the other hand, there are also many cases where function calls won't
matter much at all. If you had other function calls around that same area,
all the above issues essentially go away, since your registers are dead
anyway, and the function obviously wasn't a leaf function before the new
call.

So it does depend quite a bit on the pattern of use. And yes, function
argument setup can be a big part of it too.

Linus
--
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/