Validation of TenDRA Capability to Implement a UNIX-like Operating System

  1. 1. Objectives and Description
    1. 1.1. Objectives
    2. 1.2. General description
    3. 1.3. Choice of a UNIX system and update of the objectives
    4. 1.4. Choice of the validation tools
  2. 2. Software Information
  3. 3. Description of Project phases
  4. 4. Project environment
    1. 4.1. Hardware environment
    2. 4.2. UnixWare source delivery
    3. 4.3. TenDRA technology
  5. 5. Results of Project phases
    1. 5.1. Installation phase
    2. 5.2. NAT-NAT phase
    3. 5.3. DRA-NAT phase
    4. 5.4. DRA-DRA phase
  6. 6. Methods applied
    1. 6.1. Correction of compilation problems
    2. 6.2. Identification of TenDRA built object files
    3. 6.3. Kernel and shared libraries
    4. 6.4. VSX4 validation
  7. 7. Review of problems and other interesting points
    1. 7.1. Installation of the UnixWare binary delivery
    2. 7.2. NAT-NAT build phase
    3. 7.3. DRA-NAT build phase
    4. 7.4. DRA-NAT validation, manually exercising commands and libraries
    5. 7.5. DRA-NAT validation phase, booting the kernel
    6. 7.6. DRA-NAT validation phase, VSX4
    7. 7.7. DRA-NAT validation phase, AIMIII
    8. 7.8. DRA-DRA phase
  8. 8. Summary of numerical characteristics
  9. 9. Conclusion
  10. A. List of problems submitted to DRA

Abstract

This is the final report on work undertaken in relation to the UnixWare® operating system on the Intel platform, carried out under contract for the UK Defence Research Agency.

Revision History

DERA

TenDRA 4.1.2 release.

1. Objectives and Description

  1. 1.1. Objectives
  2. 1.2. General description
  3. 1.3. Choice of a UNIX system and update of the objectives
  4. 1.4. Choice of the validation tools

1.1. Objectives

A first objective of this project was to perform validation, performance and robustness testing of the TenDRA technology to ensure its capability to implement and fully bootstrap a UNIX-like operating system on a variety of target processor architectures.

Another objective was to provide an assessment of TenDRA technology to express a fully portable operating system implementation.

This report summarizes the work done with respect to these two objectives.

1.2. General description

A Unix system can be divided into three parts, which characterize the portability level of the code:

  • The Kernel, which has some parts in assembler, e.g. for context switching, interruptions, locks, or parts of device drivers. Assembly code is used either in separate files or is embedded in C programs or header files.

  • The Libraries, some of which may contain assembly code. The crt0 library and code for system calls are examples.

  • The Commands, in which use of assembly code is very unusual. They share a non-explicit API with the libraries against which they are built.

As for other software OSF already ported to ANDF, the port of the Unix system has been done in three successive steps:

  • The NAT-NAT step, which consists in rebuilding the system with the native compilation chain, to ensure that the system can be regenerated from the set of sources.

  • The DRA-NAT step, for which the TenDRA technology is employed as a replacement of the native compilation chain to build the system, using the native system header files, as for a classical compilation chain. This part involves dealing with assembler issues as well as discrepancies between the native and the TenDRA code generators. Note that Unix systems are known to be compiler dependent.

  • The DRA-DRA step, which consists in using the TenDRA technology as a portability tool. The API shared by the commands and libraries has to be defined, and used to produce architecture independent ANDF code for these parts. This code is then installed and validated on the selected machines. Note that the kernel part of the Unix system has not been included in this task since it is essentially not portable.

1.3. Choice of a UNIX system and update of the objectives

We have used the source for the UnixWare system as the base for performing the port of a Unix source code. We originally planned to conduct the experiment on two different platforms: an Intel/386 platform and a Sun/Sparc one. The NAT-NAT, DRA-NAT and part of the DRA-DRA steps have been achieved on the Intel/386 platform. Then, in the light of the experience we gained from this work, we decided to re-focus the project on a more complete DRA-DRA experiment, with a different Unix system. This report only covers that part of the work done up to this change.

1.4. Choice of the validation tools

Throughout this experiment we had to validate the various parts of the system we built.

A first level of validation was achieved by using the kernel and commands built in the DRA-NAT step for our daily work. In addition, we used the VSX4 and AIMIII validation suites to test more thoroughly the robustness and performance of the system built in DRA-NAT mode.

2. Software Information

Software Category

UnixWare is a desktop Operating System derived from System V release 4.2.

It includes support for TCP/IP and Netware networking, X/Window, Motif and a Desktop Manager.

UnixWare Version and Release Level

A beta release of UnixWare version 2.0 for the Intel386 family (Load q7.1) source code was used.

Authors

The authors of the UnixWare system are the Novell, Inc., with portions of code developed by other contributors such as the University of Berkeley and MIT.

Source code

The source code delivery for UnixWare 2.0 beta release represents approximately 240 Mbytes of code. Most of the system has been recompiled during the NAT-NAT phase of this project.

Included in this code is a graphical interface, based on X11 and Motif. However, since this interface contains some code delivered in binary format and since this interface is an optional part of a Unix system, we did not use this code.

ComponentSize
Libraries15MB
Kernel30MB
Commands & tools101MB
Graphics85MB
Misc.11MB
Total242MB
Table 1. Rough source code distribution

In addition, various data files are delivered, for configuration and messaging, especially under Command & tools directories. In addition, some parts of the system, for example the kernel code for the vxfs file system and some device drivers, appear to be delivered in binary format only. So, a more accurate view of the volume of source code submitted to the TenDRA technology is provided by sizing the C language source files only:

ComponentSize
Headers19.7MB
Libraries11.2MB
Kernel19.8MB
Commands & tools39.6MB
Total90.3MB
Table 2. C language files

TenDRA (ANDF) Technology Version Release

The TDF snapshot dated December 94 (svr4_i386 target) has been used; it is based on the TDF Specification Issue 3.0.

Validation tools

OS Platform Environment

Two identical Intel486 PCs running UnixWare 2.0 and more than 1 GB of disk space, mostly through NFS servers.

3. Description of Project phases

In this section we describe the tasks which have been performed under this project on the Intel/386 platform. As already mentioned in this report, the work has been split into three main stages, named the NAT-NAT, DRA-NAT and DRA-DRA steps. Preliminary to these steps, an installation phase was needed to set up the environment and tools for this project.

Installation phase:

T1. UnixWare installation.

Delivery: System running.

T2. TenDRA installation.

Delivery: TenDRA installed.

T3.Validation suites installation.

Delivery: Validation suites installed.

NAT-NAT phase:

T4. NAT-NAT build.

Delivery: Reference system to which the DRA-NAT built system will be compared.

DRA-NAT phase:

T5. DRA-NAT build.

Delivery: Details of build problems

System to be validated.

T6. DRA-NAT validation.

Delivery: Validation report.

DRA-DRA phase:

T7. API definition.

T8. DRA-DRA assessment.

4. Project environment

  1. 4.1. Hardware environment
  2. 4.2. UnixWare source delivery
  3. 4.3. TenDRA technology

4.1. Hardware environment

Two identical Intel/486 PCs running UnixWare 2.0 beta release have been used as the development platforms for the various build phases. Each of them was equipped with 16MB of RAM, a local 300 MB disk and an Ethernet controller. Another 300MB disk was added to one of the machine dedicated to validation. We also used additional disk space through NFS servers to store the UnixWare source delivery, the TenDRA compilation system as well as the object files created during the three builds. This layout permitted us to run concurrently two different builds from any of the two platforms while keeping the consistency of project files.

During the validation process of the DRA-NAT build, one machine was dedicated to the validation tests while the other one was preserved for development purposes. This was necessary for three reasons:

  • The test machine was more likely to crash or have files corrupted.

  • Some tests from the VSX4 test suite require execution from a local disk.

  • The environment for running the AIMIII benchmark has to be kept stable.

4.2. UnixWare source delivery

The source code delivery for UnixWare on Intel/386 is organized in several subdirectories which reflect the dependency of sources upon CPU and hardware architectures.

When building a new system, one of the first steps is to construct a WORK tree. This tree is created from a merge between different parts of the original source tree, with symbolic links to the source files, depending on CPU/architecture configuration. Along with this WORK tree, a TOOLS and a MACH trees are also created, which together constitute the private environment for a build. The TOOLS tree is used for the tools and libraries used for internal build purpose. The MACH tree will contain at the end of a build all the components which constitute the actual system we built.

A set of environment variables defines the current paths for the WORK, TOOLS and MACH trees. This has been used to create different build environments for each of the NAT-NAT, DRA-NAT and DRA-DRA phases.

The disk space required for building a system is as follows:

Original source tree: 240 MB

For each of the NAT-NAT, DRA-NAT and DRA-DRA phases:

WORK tree:350 MB
TOOLS tree:35 MB
MACH tree:220 MB

In order to keep on-line the NAT-NAT and DRA-NAT builds, approximately 1.5 GB of disk space has been taken on NFS servers. We did not need to perform the last steps at the end of a build, which consist in making packages and images of binary deliveries, because we were not producing a system for distribution. This would have required an additional disk space of about 800 MB per build.

For the VSX4 validation suite, we needed more than 300 MB of disk space to keep two environments for the validation of the native and DRA-NAT systems.

4.3. TenDRA technology

Replacement of one compiler by another, and moreover, compatibility between object files produced by two different compilers, are often difficult issues. But in the case of the TenDRA compiler this has been straightforward.

TenDRA compilers are designed to be compatible with the native compiler of the platform they are targeted to, generating the same internal format for data, using the same calling conventions, .... This allowed us to link together binary files from one or the other compiler, without any problems.

Also, the command line options for the TenDRA compilers reflect as much as possible the options for the corresponding native compiler. So, we had very few modifications to make to the option line in order to replace the native cc compiler by the TenDRA tcc one. These changes have been implemented by a front-end shell script which emulates a call to the native compiler by a call to tcc.

It appeared early on that some source files from the UnixWare distribution were not strictly ANSI compliant. For example, a function declared in a header file using ANSI syntax was actually defined using K&R syntax. Therefore we had to use the relaxing options:

-not_ansi -nepc

Using the TenDRA compiler with the native system header files, the DRA-NAT mode, required the additional option:

-Ysystem

Adaptation to special compilation options local to some makefiles are discussed in section 7.

5. Results of Project phases

  1. 5.1. Installation phase
  2. 5.2. NAT-NAT phase
  3. 5.3. DRA-NAT phase
  4. 5.4. DRA-DRA phase

The NAT-NAT and DRA-NAT project phases, described in Description of Project phases, have been completed with a good level of success. The DRA-DRA phase has been limited to cover a hundred or so commands. In the next paragraphs we detail the results of each of the phases of the project.

5.1. Installation phase

This phase was not concerned with the TenDRA technology, so it did not produce any noteworthy results.

5.2. NAT-NAT phase

The objective of this phase was to check that the system can be completely built with the native system compiler from the source delivery. Indeed, this phase was very helpful to set-up the build environment, and to evaluate the resources we would need for the next phases.

5.3. DRA-NAT phase

DRA-NAT build

During this phase we compiled the whole system, as for the NAT-NAT build, using the TenDRA technology as a standard compiler. Therefore, we used the system header files instead of the architecture neutral headers. At completion of this task, we obtained the following results:

  • 65% of the library source files could be successfully compiled with the TenDRA technology.

  • About 65% of the kernel C code could be successfully compiled with the TenDRA technology.

  • Nearly all the commands and tools could be compiled with the TenDRA technology.

These figures need some explanation to see why the TenDRA technology failed to compile some of the files. There were essentially three cases where the technology could not compile the files:

  • support of assembly language instructions inlined in C programs.

    Such code is not per-se architecture neutral and it is therefore clearly beyond the TenDRA technology goals.

    Assembly code was present in only 2% of the library source files, but was used in 22% of the files for the kernel components.

  • support of special alignments for fields in structures (#pragma pack(n) directive)

    This feature was only relevant for Intel386 architecture. It was present in about 33% of the library C source files (Mostly for the Netware related libraries) and in 12% of the kernel C source files.

  • Code written in C++ language.

    There were also some parts of the system which used the C++ language. Since a C++ producer is not yet available for the TenDRA technology, we could not compile these files.

    Files with C++ code represented about 9% of the source code for the libraries and about 5% of the source code for the commands.

In summary, excluding the C++ files, about 85% of the C source files could be successfully compiled with the TenDRA technology.

Apart from these issues, we found very few problems in the TenDRA compiler, 8 problems in fact, which were usually fixed or bypassed very quickly. These are included in the Appendix.

DRA-NAT validation

The DRA-NAT built kernel was customized for actual hardware and successfully booted.

The VSX4 tests have been built and exercised first on the native UNIX version. On this beta release, approximately 6,000 tests are successful while a hundred of them are not. Three libraries are involved (libc being the most important one), and best results are got using the shared version of them.

The following system software configuration was then used for recompiling and rerunning the VSX4 tests:

  • TenDRA compiler in DRA-NAT mode

  • DRA-NAT commands

  • DRA-NAT libraries for compile-time link-edits

  • DRA-NAT version of dynamically-linked libc at runtime.

  • DRA-NAT kernel

With this configuration, the VSX4 tests level of success is the same as for the native system. Two modules of the dynamically linked libc library were temporarily replaced by their native version in order to cure problems with the sed command.

The AIMIII benchmark was used to exercise the native and DRA-NAT systems. At a medium user load level (simulated by the benchmark), i.e. 30-60 users, the performance of the two systems is similar: variations are below 3%.

During the DRA-NAT validation phase, only 7 problems in TenDRA technology were encountered. These are included in the Appendix.

5.4. DRA-DRA phase

A base API has been created from a merge between the svid3 and xpg4 APIs, which are included in the TenDRA technology delivery. This allowed us to compile 57 commands (out of approximately 600). This demonstrated the need for a custom extension API for compiling most UnixWare commands. With the present extension API, 46 additional commands have been compiled.

During this phase, two minor problems in the TenDRA technology were identified (these are included in the Appendix).

6. Methods applied

  1. 6.1. Correction of compilation problems
  2. 6.2. Identification of TenDRA built object files
  3. 6.3. Kernel and shared libraries
  4. 6.4. VSX4 validation

6.1. Correction of compilation problems

Native C compiler

As stated in \xa4 4., page 8, binaries made by native and TenDRA compilers are interoperable. So a straightforward method to bypass a problem with TenDRA in DRA-NAT mode is to compile the ``guilty'' source file with the native compiler. This method has been used in cases where tcc lacked a feature, e.g. assembly language inlining, or when a bug in the code generated by tcc was identified but not yet fixed.

Source code modifications

In some cases, minor changes were applied to a source file (under #ifdef __ANDF__ conditions) when code rewriting was necessary to avoid a problem. Example: function f() is defined with no argument but is called sometimes with one argument in original source; the revised source will be:

int f() { }
/* .... */
#ifndef __ANDF__
	f(1);
#else
	f();
#endif

In other cases, we had to modify some Makefiles. In the DRA-NAT build, this was necessary for sources which contained assembly instructions for example (or included a header file which used the same feature). When building the libraries and commands, the relevant Makefiles were modified. When building the kernel, a more elegant method has been used: a ''rulefile'', included by all the Makefiles, has been modified to check, prior to compiling a .c file, if a file with the same name plus a specific suffix .NATIVE existed. If so, the native compiler was called. In addition, shell scripts were written to create lists of source files, which were dependent on header files known to contain assembly code (or #pragma pack), and to create the .NATIVE files according to these lists.

All these modifications on source files and Makefiles were done through a patch procedure:

  • In order to patch a file, from the WORK tree, two copies of the file are made in a patch tree, one for modifications and the other for keeping the reference version.

  • Then the initial file, usually a link into the source tree, is replaced by a link to the copy for modifications.

  • Once this has been done, the initial file can be modified, while the initial version of the file is saved.

6.2. Identification of TenDRA built object files

In order to control the elements of the systems which were built in DRA-NAT mode, it was helpful to insert a special signature in object files created by the TenDRA compiler. An ident directive has been added to the assembly files generated by the TenDRA compiler, with the following pattern:

/andf/bin/trans386: (ANDF) 3.0 03/22/95

Such a pattern can be extracted by mcs or strings commands from binary files (executables and libraries) in order to control a posteriori the number of modules actually compiled by the TenDRA technology.

The file we modified in the TenDRA source delivery is the src/installer/trans386/trans.c file, and the change we made is located in the main() function:

init_all();

if (diagnose)
	out_diagnose_prelude();
TRASH d_capsule();

/* change start */
outs(".ident \"@(#)/andf/bin/trans386:   (ANDF) 3.0 03/22/95\"");
outnl();
/* change end */

while (weak_list)
	/* ... */

6.3. Kernel and shared libraries

Configuring the DRA-NAT kernel for actual hardware

The normal way to build a kernel is to create, from the set of object files built for the kernel part of the system, a kernel which is not targeted to any particular hardware. Then, the system must be packaged on a tape and floppies, in order to be installed. An installation procedure would then be used to load the system and interactively configure the generic kernel to the actual hardware. However, going all the way through this procedure would have required a lot of time and disk space.

We preferred to use a more simple and incremental way of building and configuring a new kernel:

  • We dedicated a development machine for the kernel testing.

  • We copied the /etc/conf tree into the ``MACH'' tree of DRA-NAT build. This tree holds the kernel binary components and the kernel configuration files.

  • We replaced (partially or totally) the original binaries by their DRA-NAT version.

  • We then rebuilt a kernel, with the idbuild command.

    Note that the idbuild command is sensitive to the environment variables defining the current build ``MACH'' tree (ROOT and MACH variables).

Progressive switching from native to DRA-NAT kernel

The method described above has proven very useful for easy fault isolation in case of a system crash.

Kernel components are divided into two parts: those parts of the base kernel (/stand/unix) and those dynamically-loaded (from /etc/conf/mod.d). We started by replacing only one, non-critical, component of the kernel. Then, we replaced some dynamically-loaded modules by their DRA-NAT version. We continued by replacing other base kernel modules and concluded with the remaining dynamically-loaded modules. More than ten intermediate kernels were built and exercised during this process.

Prior to exercising these kernels, emergency recovery floppies were made. They could be (and have been) used to repair manually the hard disk stand or root file systems when the normal boot process from the hard disk failed.

In order to switch to a new kernel, built in $ROOT/$MACH/etc/conf/cf.d/unix, it has to be copied into /stand (for example under the name unix.dranat). The new dynamically-loaded kernel modules, built in the $ROOT/$MACH/etc/conf/modnew.d directory, have also to be moved to the /etc/conf.d/mod.d directory in order to be loaded at the next system reboot. This latter operation should be done while the system is quiescent, i.e. after bringing it in single user mode and just before rebooting. To boot the alternative base kernel, the boot sequence is interrupted and an alternate kernel name is supplied by means of the KERNEL=name command.

Switching from native to DRA-NAT shared libraries

For exercising a shared library made during the DRA-NAT build, e.g. the dynamically loaded libc, relevant files in /usr/lib and /usr/ccs/lib were replaced by links to either the reference or the DRA-NAT versions of them. Care must be taken with these links, as shown by an example in \xa4 7.4, page 19.

6.4. VSX4 validation

Installing VSX4 and building tests for NAT-NAT & DRA-NAT systems validation

The VSX4 test suite is a rather large and complex application. Before actually running the tests, a number of steps have to be performed:

  • We loaded the VSX4 test suite on a local disk which we added on one of the machines. Some hardware and system configurations were also needed in order to satisfy the VSX4 requirements.

  • We configured the VSX4 test suite in order to provide it with the actual description of the system. This configuration had to be tuned while executing VSX4 on the native system, since for some parameters we did not have enough information on the system to make the right choice.

  • We installed the VSX4 test suite, which consisted of the compilation of the tools VSX4 needed for executing the tests and for reporting on them.

  • We built the VSX4 test suite, which consisted in producing the actual executable code for each test to be executed.

At this point, we were able to execute the tests on the native system to obtain reference results against which the DRA-NAT system would be compared.

For exercising the DRA-NAT build, we duplicated the tree which contained the executable tests (TESTROOT) and created a new directory to contain the results of build and execution steps. We customized the VSX4 build configuration file to use the TenDRA compiler in DRA-NAT mode and the commands/libraries built in the DRA-NAT phase, and we rebuilt the tests. Prior to reruning them, the configuration file for VSX4 execution was changed in a way similar to the build configuration file; note that the execution of some tests consists in performing a compilation.

7. Review of problems and other interesting points

  1. 7.1. Installation of the UnixWare binary delivery
  2. 7.2. NAT-NAT build phase
  3. 7.3. DRA-NAT build phase
  4. 7.4. DRA-NAT validation, manually exercising commands and libraries
  5. 7.5. DRA-NAT validation phase, booting the kernel
  6. 7.6. DRA-NAT validation phase, VSX4
  7. 7.7. DRA-NAT validation phase, AIMIII
  8. 7.8. DRA-DRA phase

7.1. Installation of the UnixWare binary delivery

When installing the UnixWare system from the binary delivery, we faced one problem when installing optional packages such as nfs. This was due to corrupted entries in a file containing information about every file which is installed on the system through the packaging system, /var/sadm/intall/contents. Deleting the corrupted entries, removing the badly installed package and reinstalling it cured the problem.

7.2. NAT-NAT build phase

Very few problems were encountered during this phase. We had some troubles when building X11 & Motif, first because we had forgotten to customize a definition in a Makefile stating that we were using binaries for Motif and not building it from sources; secondly because two Makefiles were buggy. This had no impact on other project phases since the graphic system was not covered by DRA-NAT and DRA-DRA experiments.

7.3. DRA-NAT build phase

This phase was the longest and richest. We describe below the problems we had successively.

Use of the TenDRA compiler throughout the build process

In the first steps of the build procedure, just modifying the PATH environment variable was enough to use the TenDRA compiler as a pseudo cc compiler. These steps include the building of libraries and cross-environment tools, among which a new C compiler which was used as soon as it was built. From this stage, we had to modify the build procedure in order to substitute the freshly built compiler by a shell script which emulates a call to the new compiler by a call to the TenDRA tcc compiler.

In order to mimic the behavior of the compiler we want to replace, we had to pass an option to tcc to modify the search path for the system libraries. With this option tcc calls the UnixWare linker with information on the location of the libraries. Assuming that the TOOLS_REF variable contains the correct path for the current build tools, the option line we used was:

-Wl:-YP,$TOOLS_REF/usr/ccs/lib:$TOOLS_REF/usr/lib

C-programming issues

Most issues related to poor ANSI conformance have been by-passed by using the tcc options -Xa -not_ansi -nepc.

However, in a few cases, we had to make minor changes in source files:

  • to avoid type promotion conflicts when a function was declared with the prototype notation, and defined using the K&R syntax. We changed the definition to use the prototype notation also.

  • to fix a mismatch in the number of arguments of a function, e.g. when such function was declared without argument and defined empty, but called with one argument.

  • to force the setting of __USLC__ preprocessor variable, which is set by default by UnixWare C compilers. We discovered this during the link-edit of a library, as some symbols were referenced but undefined.

Mapping special features of UnixWare compiler to TenDRA

Such features appeared through command line options which were local to some Makefiles, or through #pragma directives in sources.

Consider first a simple example: the normal option for producing position-independent code is -KPIC, for both UnixWare cc and TenDRA. However, a Makefile, responsible for building a shared library, was using -Kpic instead. This option was supported by UnixWare but ignored by TenDRA. This resulted in a fatal error at library link-edit time. A quick way to make TenDRA understand the -Kpic option is to create inside the TenDRA svr4_i386/env directory a file named K-pic by linking it to the existing file K-PIC.

The following two options of the UnixWare compiler can be ignored (e.g. filtered out): -Kno_host and -W0,-1c. The first one disables the inlining of some C standard functions, and the second tells the compiler to treat literal strings as constants. These two options correspond to the default behavior for TenDRA.

The UnixWare compiler supports a pragma directive, to disable some floating point optimization, termed fenv_access on. This directive was used in a module to raise a floating point exception at run-time rather than at compilation time. There is no equivalent option for TenDRA, and furthermore tcc would abort when such a source file was compiled. A fix was later supplied by DRA.

The #pragma weak directive of the native compiler supports nested references to symbols such as:

#pragma weak sym1 = sym2

#pragma weak sym2 = sym3

This rarely used feature was not correctly supported by TenDRA. This has been easily changed in the source code, and DRA will fix the problem.

UnixWare provides developers with a utility termed fur to reorder the functions in a relocatable object. This utility was used in Makefiles when building the shared version of libraries, and used to fail, complaining of missing function names. These functions appeared to be declared as static in sources, and in such case the TenDRA default behavior is to discard the related symbols. TenDRA supports a pragma directive to change this default behavior. For example #pragma preserve * will keep all symbols. As all library modules compiled with -KPIC option were concerned, we have modified the svr4_i386/K-PIC file already mentioned in this document, adding the line:

>STARTUP -f/andf/svr4_i386/env/static_pic.h

This static_pic file was then created, containing:

#pragma preserve *

Finally, we mention a difference between the native compiler and the TenDRA one which had no incidence but a warning message at link-edit time. tcc generates an alignment of 8 for global structures whose size is greater than 63, while the native compiler always use an alignment of 4; when linking an object file compiled by the native compiler and an object file compiled by TenDRA which both declare the same structure, the linker issued a warning.

7.4. DRA-NAT validation, manually exercising commands and libraries

The first level of validation we performed on the commands built in DRA-NAT mode was to use these commands to replace the native ones. We simply did this by modifying the PATH environment variable. Two errors, inside the vi command, were detected, and then fixed, during these tests.

We exercised in the same way the DRA-NAT version of the shared libc library. This validation revealed problems with grep, sed, and the search subcommand of vi, cpio and find. When investigating the grep command, it appeared that using the DRA-NAT static version of the libc library solved the problem. Thus we focused on the generation of position-independent code (-KPIC option) by the TenDRA compiler. We reported a bug to DRA, which was fixed in the subsequent release of the TenDRA software. Rebuilding the shared libc library with the new version of the TenDRA compiler fixed the problems for the grep, vi and find commands. The sed command still did not behave correctly and needs further investigation. The problem with cpio was due to a mistake in our procedure for switching from the native version of the shared libc library to the DRA-NAT version: we forgot to take into account the file /usr/lib/libdl.so.1 together with the file /usr/lib/libc.so.1, while these two files are linked. This point was discovered after looking at the Makefile of the cpio command (local libraries used here include libld).

7.5. DRA-NAT validation phase, booting the kernel

Despite the fact that the kernel is a complex and sensitive part of the system, we found only two problems while exercising kernels with more and more DRA-NAT built components.

The first problem we had was a PANIC message when running a kernel with some DRA-NAT code. Using the crash command on the dumpfile file created at system crash time, we located the problem in a call to a function coded in assembly language. The comments embedded in the source file told us that the code was making special assumptions on the arguments and return value, which appeared to be compiler-dependant. Instead of rewriting the code, we recompiled with the native compiler the few C modules which were calling this function.

The second problem we had did more damage to the system disk (some configuration files became corrupted). We managed to repair these files using the Emergency Recovery floppies and making comparisons with our second platform (which had been carefully kept away from risky experiments). The problem was due to a small difference between code generated by the native compiler and the TenDRA compiler, which would have usually no incidence. When a global variable is defined and initialized to zero, the native compiler puts it in a DATA section while the TenDRA compiler puts it (by default) in a COMMON section. During the build of the kernel, a utility was used to patch the value of such a variable inside an object file, and this operation failed (silently) when the object file had been created by TenDRA. The TenDRA installer comes with an install-time option -h which makes it behave like the native compiler in respect to this point.

7.6. DRA-NAT validation phase, VSX4

We used the VSX4 test suite to exercise the TenDRA technology in three successive steps.

Firstly, we built the VSX4 tests with the TenDRA compiler and the static DRA-NAT system libraries. Then we ran the tests on a system with a native kernel.

Secondly, we ran the tests built in the previous step on a system with a DRA-NAT kernel.

Finally, we rebuilt the VSX4 tests, with the TenDRA compiler, on a system with shared DRA-NAT system libraries (when available) and a DRA-NAT kernel, and ran the suite on the same system.

During these three steps, the PATH environment variable was giving access exclusively to DRA-NAT built commands. Only a few commands are actually exercised by the VSX4 test suite: ar, awk, grep, ld, lorder, make, sed, sh, tsort (...) at build time, cpio, gencat and tar at execution time.

Five libraries are required, thus exercised, to build the VSX4 tests for UnixWare: libc, libm, libmalloc, libgen and libcrypt. A dynamically-linked variant exists for libc and libcrypt only.

Surprisingly enough, none of the problems we had were located in the DRA-NAT build being validated. All the VSX4 tests (approximately 6,000) successful when using native system were also successful on the DRA-NAT system. However, we faced three other types of problems:

  • Tests failing because of wrong permission on a work directory; this simply came from the way we created a new target tree for VSX4 test binaries.

  • Unclean code in test source. For example, the volatile qualifier of a variable was missing, though the varaible was modified by a signal handler and tested inside a while loop. Since optimizations are enabled by default in TenDRA, this test failed when compiled by tcc. There were two other tests which failed because of undesirable optimizations made by the TenDRA optimizer.

  • The static and shared variant of the libc library does not behave the same in some cases. 14 tests failed when using the static version of the libc library (native or DRA-NAT), which passed when using the shared libc library.

7.7. DRA-NAT validation phase, AIMIII

Due to a yet unexplained problem occurring when exercising either native or DRA-NAT systems, AIMIII benchmark results have only been obtained up to a load of 63 users.

When running the benchmark, we tried to use an environment as stable as possible. We installed the benchmark on a local file system, used only for this purpose, and disabled the cron daemon. However, we had noticeable differences (peak difference up to 15%) between the results of two equivalent runs at a small user load (1-10 users), while such differences drop to 1% at a load of 60 users.

To avoid side effects when measuring performance, we have always used the native compiler to compile the benchmark. The latter has to be linked only with the libc library, and we have used the shared variant. Exercising the DRA-NAT build requires booting the DRA-NAT kernel and setting up the DRA-NAT version of the dynamically-loaded libc.

Given these assumptions, native and DRA-NAT systems have similar performance: within a load range of 20-60 users, differences are below 3%.

7.8. DRA-DRA phase

A first experiment on very simple commands (echo, touch), showed that the base API on which the commands were built was a mix of the svid3 and xpg4 APIs. In fact, 57 commands, out of more than 600, were based on this base API. When we tried to extend this API to cover more commands, it quickly became apparent that most of the commands need their own extension to the base API. Thus, each additional command requires a lot of work in order to compile in DRA-DRA mode. During the time of the experiment, we could only extend the API to cover about 100 commands.

We list below miscellaneous problems we encountered, which required some modification in source files:

  • Implicit function declarations

    We wanted to suppress all the warnings due to missing function prototypes for the commands we worked on. This was important in order to make sure that every function used by a command was in the interface we defined. However, in most of the commands we worked on, internal functions returning an int were not declared. So, we had to add their declaration in the source files in order to suppress warnings on these functions. When this was done, remaining warnings were due to use of functions without inclusion of the include files where they were defined, or to incomplete include files, in which case we added the prototype to the interface.

  • Redeclaration of errno

    In a few source files, errno was defined as a token by the inclusion of the <errno.h> include file, but was also defined in the file with the instruction:

    extern int errno;

    Since errno can be implemented in different ways on different architectures, it must not be declared as an int variable. This problem has been corrected by removing this declaration from the source file.

  • Redefinition of API functions

    In a few cases, a function was declared in an include file as being part of the API, e.g rewind, but was later defined in the file. We corrected the problem by renaming the internal function so that the conflict does not exist any longer.

8. Summary of numerical characteristics

The table below gives the number of files in the UnixWare source delivery in respect to the programming language being used. Header files are not counted.

CKernelasm
Libraries2555 (83%)278 (9%)254 (8%)
Kernel997 (94%)/67 (6%)
Commands4464 (94%)216 (5%)38 (1%)
Total8016 (90%)494 (6%)359 (4%)
Table 3. Source files / language

The following table applies to the DRA-NAT build; it gives the number of C source files and ratios of code compiled by TenDRA versus code compiled by the native compiler. We distinguish the two reasons for using the native C compiler: because of assembly language inclusions, or because of use of pragma pack directive.

TenDRAcc (asm)cc (pack)
Libraries1678 (65%)62 (2%)851 (33%)
Kernel664 (66%)216 (22%)117 (12%)
Commands4439 (99%)169
Total6781 (84%)294 (4%)977 (12%)
Table 4. DRA-NAT build: C source files / compiler

Note that for libraries, the Netware protocols are responsible for the high number of C sources dependent on the pragma pack feature.

The following numbers characterize the maturity of the TenDRA C compilation chain and the level of UnixWare source code portability, as shown by the DRA-NAT phases of our project:

KB of C source code# of changes in sources# of problems, build# of problems, validation
59,0006987
Table 5. Maturity of TenDRA & UnixWare sources portability

The table below shows the performance of the native system versus that of DRA-NAT kernel and libc library as measured by the AIMIII benchmark; the shared variant of libc is used.

# of usersjobs/min, nativejobs/min, DRA-NATdelta
33109.6108.2-0.7%
43106.7105.1-1.5%
53102.6101.3-1.3%
63100.6100.2-0.4%
Table 6. Native vs. DRA-NAT performance, AIMIII

While the DRA-DRA phase was only partially realized, it is interesting to note that 62 additional source files were so far modified to enforce the portability of code, e.g.to avoid implicit function declarations. The following tables give an idea of the volume of items which must be added to the base API to compile a limited set of commands in DRA-DRA mode.

API# of commands to build# of commands built
svid3 + xpg460057 (9.5%)
Table 7. DRA-DRA: commands built with base API
# of extensions# of commands to build# of commands built
17754346 (10%)
Table 8. DRA-DRA: extending the base API

By extension we mean the adding of a specification such as defining a function, a constant, a field inside a structure, etc.

9. Conclusion

The experiment to compile a whole Unix system with the TenDRA compiler used as a replacement of the native compiler was very successful. Although Unix sources are known to be compiler dependent, most of the code could be compiled with no, or minor, modifications. Also, we found very few bugs in the technology, and the performance of the system did not change noticeably.

The DRA-DRA part of the experiment showed that defining an API for the commands was not as simple as one might think. A more complete experiment is required to complement this task.

A. List of problems submitted to DRA

The problems are classified according to their status at the end of June 95. They were encountered while using the December 94 release of TenDRA. Most of the bugs were fixed in the following version of TenDRA technology, which is the April 95 release.

Possible functional enhancements

Issues closed without changes

Bugs which have been fixed

Pending issues

The issues listed below are either bugs which have been corrected since the April 95 release and are awaiting the next release, or problems which are still being investigated by DRA at the time of writing.