blog dds

2006.06.25

Interoperability Requires Temperance

After testing the CScout refactoring browser on the FreeBSD kernel, I decided to try it on Linux. I'm getting there, but slowly, and the reason is the gratuitous use of gcc extensions made in the Linux kernel source code. Every time I come across a program construct that CScout doesn't grok, I have to study the C standards to see if the construct is legal C that CScout fails to implement or a gcc extension. Extensions are trouble, because, they're typically only vaguely documented.

The two editions of the C standard provide almost 100% of the details needed to implement a conforming processor of C programs. In contrast gcc and other compilers typically document their extensions from the users' side ("this is how you can use our new cool feature"), and rarely provide enough details for developing a fully compatible implementation. Thus we have open source software limiting interoperability by embracing and extending existing standards. I know one can study the source code to find out the answers, but even with source code available you need to know what questions to ask.

Consider as an example the implementation of C preprocessor predicates. These allow you to write things like:

#assert cross_hosted(sparc64)
#assert target_cpu(i386)
#assert target_cpu(x86)
#if #cross_hosted && #target_cpu(arm 32)
/*
 * Code that will get compiled if any cross_hosted predicate
 * exists or if the target_cpu predicate is true for the value
 * arm 32
 */
#endif
/* Clear all entries of the target_cpu predicate */
#unassert target_cpu
/* Clear a single entry of the cross_hosted predicate */
#unassert cross_hosted(sparc64)
The predicate feature is currently implemented in the GCC, IBM XL C/C++. and HP C compilers.

Missing from the documentation of these compilers are details like:

  • Is macro expansion performed before or after the evaluation of predicates?
  • To what value does a true or false predicate evaluate?
  • What is a predicate's namespace and scope?
The easiest way to find answers for these questions is to experiment, but of course such undocumented behavior can change any day. Incidentally, the answers for GCC are as follows.
  • Macro expansion is performed after the evaluation of predicates.
  • True and false predicates evaluate to 1 and 0, respectively.
  • A predicate's namespace is separate and its scope is a compilation unit.
It would be great if we, implementers of open source software, showed some temperance in our work and implemented the whole standard and (almost) nothing outside the standard. Only then can we honestly claim to be really supporting open standards and interoperability.

Read and post comments, or share through   


Creative Commons License Last modified: Sunday, June 25, 2006 7:01 pm
Unless otherwise expressly stated, all original material on this page created by Diomidis Spinellis is licensed under a Creative Commons Attribution-Share Alike 3.0 Greece License.