Re: Slab: Remove kmem_cache_t

From: Nick Piggin
Date: Wed Nov 29 2006 - 01:23:07 EST


Linus Torvalds wrote:

So typedefs are good for

- "u8"/"u16"/"u32"/"u64" kind of things, where the underlying types really are potentially different on different architectures.

- "sector_t"-like things which may be 32-bit or 64-bit depending on some CONFIG_LBD option or other.

- as a special case, "sparse" actually makes bitwise typedefs have real meaning as types, so if you are using sparse to distinguish between a little-endian 16-bit entity or a big-endian 16-bit entity, the typedef there is actually important and has real meaning to sparse (without the typedef, each bitwise type declaration would be strictly a _different_ type from another bitwise type declaration that otherwise looks the same).

But typedefs are NOT good for:

- trying to avoid typing a few characters:

"kmem_cache_t" is strictly _worse_ than "struct kmem_cache", not just because it causes declaration issues. It also hides the fact that the thing really is a structure (and hiding the fact that it's a pointer is a shooting offense: things like "voidptr_t" should not be allowed at all)

- incorrect "portability".

the POSIX "socklen_t" was not only a really bad way to write
"int", it actually caused a lot of NON-portability, and made some people think it should be "size_t" or something equally broken.

The one excuse for typedefs in the "typing" sense can be complicated function pointer types. Some function pointers are just too easy to screw up, and using a

typedef (*myfn_t)(int, ...);

can be preferable over forcing people to write that really complex kind of type out every time. But that shouldn't be overused either (but we use it for things like "readdir_t", for example, for exactly this reason).


You are saying that they should only be used to create new "primitive"
types (ie. that you can use in arithmetic / logical ops) that can
change depending on the config.

That's fair enough. I'm sure you've also said in the past that they can
be used (IIRC you even encouraged it) when the type is opaque in the
context it is being used. I won't bother trying to dig out the post,
because I could be wrong and you are entitled to change your mind. I
just want to get this straight.

Thanks,
Nick

--
SUSE Labs, Novell Inc.
Send instant messages to your online friends http://au.messenger.yahoo.com -
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/