Re: [PATCH resent] uapi libc compat: allow non-glibc to opt out of uapi definitions

From: Carlos O'Donell
Date: Wed Mar 08 2017 - 11:48:49 EST


On 03/08/2017 07:46 AM, David Woodhouse wrote:
> On Fri, 2016-11-11 at 07:08 -0500, Felix Janda wrote:
>> Currently, libc-compat.h detects inclusion of specific glibc headers,
>> and defines corresponding _UAPI_DEF_* macros, which in turn are used in
>> uapi headers to prevent definition of conflicting structures/constants.
>> There is no such detection for other c libraries, for them the
>> _UAPI_DEF_* macros are always defined as 1, and so none of the possibly
>> conflicting definitions are suppressed.
>>
>> This patch enables non-glibc c libraries to request the suppression of
>> any specific interface by defining the corresponding _UAPI_DEF_* macro
>> as 0.
>
> Ick. It's fairly horrid for kernel headers to be reacting to __GLIBC__
> in any way. That's just wrong.
>
> It makes more sense for C libraries to define the __UAPI_DEF_xxx for
> themselves as and when they add their own support for certain things,
> and for the kernel not to have incestuous knowledge of them.
>
> The part you add here in the #else /* !__GLIBC__ */ part is what we
> should do at *all* times.
>
> I understand that we'll want to grandfather in the glibc horridness,
> but let's make it clear that that's what it is, by letting it set the
> appropriate __UAPI_DEF_xxx macros to zero, and then continue through to
> your new part. Something like this (incremental to yours):

Any model we propose should be documented in the header of libc-compat.h
and explain how it works to solve header inclusion order in _both_ directions.
User use cases include header inclusion in _both_ directions and we should look
to support that.

> diff --git a/include/uapi/linux/libc-compat.h b/include/uapi/linux/libc-compat.h
> index c316725..7673158 100644
> --- a/include/uapi/linux/libc-compat.h
> +++ b/include/uapi/linux/libc-compat.h
> @@ -53,41 +53,18 @@
>
> /* Coordinate with glibc net/if.h header. */
> #if defined(_NET_IF_H) && defined(__USE_MISC)
> -
> /* GLIBC headers included first so don't define anything
> * that would already be defined. */
> -
> #define __UAPI_DEF_IF_IFCONF 0
> #define __UAPI_DEF_IF_IFMAP 0
> #define __UAPI_DEF_IF_IFNAMSIZ 0
> #define __UAPI_DEF_IF_IFREQ 0
> /* Everything up to IFF_DYNAMIC, matches net/if.h until glibc 2.23 */
> #define __UAPI_DEF_IF_NET_DEVICE_FLAGS 0
> -/* For the future if glibc adds IFF_LOWER_UP, IFF_DORMANT and IFF_ECHO */
> -#ifndef __UAPI_DEF_IF_NET_DEVICE_FLAGS_LOWER_UP_DORMANT_ECHO
> -#define __UAPI_DEF_IF_NET_DEVICE_FLAGS_LOWER_UP_DORMANT_ECHO 1
> -#endif /* __UAPI_DEF_IF_NET_DEVICE_FLAGS_LOWER_UP_DORMANT_ECHO */
> -
> -#else /* _NET_IF_H */
> -
> -/* Linux headers included first, and we must define everything
> - * we need. The expectation is that glibc will check the
> - * __UAPI_DEF_* defines and adjust appropriately. */
> -
> -#define __UAPI_DEF_IF_IFCONF 1
> -#define __UAPI_DEF_IF_IFMAP 1
> -#define __UAPI_DEF_IF_IFNAMSIZ 1
> -#define __UAPI_DEF_IF_IFREQ 1
> -/* Everything up to IFF_DYNAMIC, matches net/if.h until glibc 2.23 */
> -#define __UAPI_DEF_IF_NET_DEVICE_FLAGS 1
> -/* For the future if glibc adds IFF_LOWER_UP, IFF_DORMANT and IFF_ECHO */
> -#define __UAPI_DEF_IF_NET_DEVICE_FLAGS_LOWER_UP_DORMANT_ECHO 1
> -

Any header needing compat with a libc includes libc-compat.h (per the
documented way the model works). With this patch any included linux kernel
header that also includes libc-compat.h would immediately define all
the __UAPI_DEF_* constants to 1 as-if it had defined those structures,
but it has not.

For example, with these two patches applied, the inclusion of linux/if.h
would define __UAPI_DEF_XATTR to 1, but linux/if.h has not defined
XATTR_CREATE or other constants, so a subsequent inclusion sys/xattrs.h
from userspace would _not_ define XATTR_CREATE because __UAPI_DEF_XATTR set
to 1 indicates the kernel has.

I don't want to read into the model you are proposing and would rather you
document the semantics clearly so we can all see what you mean.

> #endif /* _NET_IF_H */
>
> /* Coordinate with glibc netinet/in.h header. */
> #if defined(_NETINET_IN_H)
> -
> /* GLIBC headers included first so don't define anything
> * that would already be defined. */
> #define __UAPI_DEF_IN_ADDR 0
> @@ -104,8 +81,6 @@
> * additional in6_addr macros e.g. s6_addr16, and s6_addr32. */
> #if defined(__USE_MISC) || defined (__USE_GNU)
> #define __UAPI_DEF_IN6_ADDR_ALT 0
> -#else
> -#define __UAPI_DEF_IN6_ADDR_ALT 1
> #endif
> #define __UAPI_DEF_SOCKADDR_IN6 0
> #define __UAPI_DEF_IPV6_MREQ 0
> @@ -113,62 +88,23 @@
> #define __UAPI_DEF_IPV6_OPTIONS 0
> #define __UAPI_DEF_IN6_PKTINFO 0
> #define __UAPI_DEF_IP6_MTUINFO 0
> -
> -#else
> -
> -/* Linux headers included first, and we must define everything
> - * we need. The expectation is that glibc will check the
> - * __UAPI_DEF_* defines and adjust appropriately. */
> -#define __UAPI_DEF_IN_ADDR 1
> -#define __UAPI_DEF_IN_IPPROTO 1
> -#define __UAPI_DEF_IN_PKTINFO 1
> -#define __UAPI_DEF_IP_MREQ 1
> -#define __UAPI_DEF_SOCKADDR_IN 1
> -#define __UAPI_DEF_IN_CLASS 1
> -
> -#define __UAPI_DEF_IN6_ADDR 1
> -/* We unconditionally define the in6_addr macros and glibc must
> - * coordinate. */
> -#define __UAPI_DEF_IN6_ADDR_ALT 1
> -#define __UAPI_DEF_SOCKADDR_IN6 1
> -#define __UAPI_DEF_IPV6_MREQ 1
> -#define __UAPI_DEF_IPPROTO_V6 1
> -#define __UAPI_DEF_IPV6_OPTIONS 1
> -#define __UAPI_DEF_IN6_PKTINFO 1
> -#define __UAPI_DEF_IP6_MTUINFO 1
> -
> #endif /* _NETINET_IN_H */
>
> /* Coordinate with glibc netipx/ipx.h header. */
> #if defined(__NETIPX_IPX_H)
> -
> #define __UAPI_DEF_SOCKADDR_IPX 0
> #define __UAPI_DEF_IPX_ROUTE_DEFINITION 0
> #define __UAPI_DEF_IPX_INTERFACE_DEFINITION 0
> #define __UAPI_DEF_IPX_CONFIG_DATA 0
> #define __UAPI_DEF_IPX_ROUTE_DEF 0
> -
> -#else /* defined(__NETIPX_IPX_H) */
> -
> -#define __UAPI_DEF_SOCKADDR_IPX 1
> -#define __UAPI_DEF_IPX_ROUTE_DEFINITION 1
> -#define __UAPI_DEF_IPX_INTERFACE_DEFINITION 1
> -#define __UAPI_DEF_IPX_CONFIG_DATA 1
> -#define __UAPI_DEF_IPX_ROUTE_DEF 1
> -
> #endif /* defined(__NETIPX_IPX_H) */
>
> /* Definitions for xattr.h */
> #if defined(_SYS_XATTR_H)
> #define __UAPI_DEF_XATTR 0
> -#else
> -#define __UAPI_DEF_XATTR 1
> #endif
>
> -/* If we did not see any headers from any supported C libraries,
> - * or we are being included in the kernel, then define everything
> - * that we need. */
> -#else /* !defined(__GLIBC__) */
> +#endif /* __GLIBC__ */
>
> /* Definitions for if.h */
> #if !defined(__UAPI_DEF_IF_IFCONF)
> @@ -260,6 +196,4 @@
> #define __UAPI_DEF_XATTR 1
> #endif
>
> -#endif /* __GLIBC__ */
> -
> #endif /* _UAPI_LIBC_COMPAT_H */
>
>
>
>
>


--
Cheers,
Carlos.