|
BSDCon 2002 Paper   
[BSDCon '02 Tech Program Index]
Porting NetBSD to the AMD x86-641: a case study in OS portabilityFrank van der Linden
Abstract:
NetBSD is known as a very portable operating system, currently running
on 44 different architectures (12 different types of CPU). This paper
takes a look at what has been done to make it portable, and how this
has decreased the amount of effort needed to port NetBSD to a new
architecture. The new AMD x86-64 architecture, of which the specifications
were published at the end of 2000, with hardware to follow in 2002,
is used as an example.
1 PortabilitySupporting multiple platforms was a primary goal of the NetBSD project from the start. As NetBSD was ported to more and more platforms, the NetBSD kernel code was adapted to become more portable along the way.
1.1 GeneralGenerally, code is shared between ports as much as possible. In NetBSD, it should always be considered if the code can be assumed to be useful on other architectures, present or future. If so, it is machine-independent and put it in an appropriate place in the source tree. When writing code that is intended to be machine-independent, and it contains conditional preprocessor statements depending on the architecture, then the code is likely wrong, or an extra abstraction layer is needed to get rid of these statements.
1.2 TypesAssumptions about the size of any type are not made. Assumptions made about type sizes on 32-bit platforms were a large problem when 64-bit platforms came around. Most of the problems of this kind had to be dealt with when NetBSD was ported to the DEC Alpha in 1994. A variation on this problem had to be dealt with with the UltraSPARC (sparc64) port in 1998, which is 64-bit, but big endian (vs. the little-endianness of the Alpha). When interacting with datastructures of a fixed size, such as on-disk metadata for filesystems, or datastructures directly interpreted by device hardware, explicitly sized types are used, such as uint32_t, int8_t, etc.
1.3 Device drivers
BSD originally was written with one target platform (PDP11, later
VAX) in mind. Later, code for other platforms was added, and 4.4BSD
contained code for 4 platforms. NetBSD is based on 4.4BSD, but has
steadily expanded the number of supported platforms over the years.
As more platforms were added, it became obvious that many used the
same devices, only using different low-level methods to access the
device registers and to handle DMA. This led to, for example, 5 different
ports having 5 seperate drivers for a serial chip, containing nearly
identical code. Obviously, this was not an acceptable situation, with
ports to new hardware being added every few months.
2 Machine-dependent partsOf course, not all code can be shared. Some parts deal with platform-specific hardware, or simply need to use machine instructions that a compiler will never generate. A few userspace tools will also be platform specific. Here is a summary of he most important machine-dependent parts of NetBSD that need to be dealt with when porting NetBSD to a new platform.
2.1 ToolchainFirst and foremost, a working cross-toolchain (compiler, assembler, linker, etc) is needed to bootstrap an operating system on to a new platform. The GNU toolchain has become the de-facto standard for open source systems, and NetBSD is no exception to that rule. Since the ELF binary format is used by almost all NetBSD ports (and should be used by any new ports), as well other operating systems such as Linux, making the GNU toolchain work for NetBSD usually involves not more work than creating/modifying a few configuration files. The exception being the case where the target CPU isn't supported at all yet, which makes for a much greater effort.
2.2 Boot codeThe boot code deals with loading the kernel image in to RAM and executing it. It interacts with the firmware to load the image. The effort needed to write the boot code largely depends on the functionality offered by the firmware. Often, the limited capabilities of the firmware are only used to load a second stage bootloader, containing code that is more sophisticated in dealing with filesystems on which the kernel image may reside, and the file format(s) that the kernel may have.
2.3 Traps and interruptsTrap and interrupt handling is obviously a highly machine-dependent part of the kernel. At the very least, the entry points for these must have machine-dependent code to save and restore CPU registers. Furthermore, CPUs will have different sets of traps, needing specific care.
2.4 Low-level VM / MMU handlingMemory management units (MMUs) tend to be quite different from CPU to CPU. They may even be different within one family of processors (for example, the PowerPC 4xx series has an MMU that differs significantly from the 6xx series). They may also be very different in what they expose to the hardware. MMUs may for example have a fixed page table structure that they walk in hardware, or leave many more operations up to the software, exposing translation lookaside buffer (TLB) misses. The low-level virtual memory code in all 4.4BSD-derived systems is called the pmap module, a name taken from the Mach operating system, whose virtual memory (VM) system was used in 4.4BSD.
2.5 Port-specific devicesSome platforms will have devices that are highly unlikely to appear on any other platform. These may include on-chip serial devices and clocks. Porting NetBSD to a new platform often involves writing a driver for at least one such device.
2.6 Bus-layer backend codeAs mentioned above, the device code uses a machine-independent interface for I/O and DMA operations. The differences per platform are hidden underneath this interface, and the implementation of this interface deals with the platform specifics. This interface is heavily used in device drivers, so a small memory footprint and speed are important. Often, the interface is implemented as a set of macros or inline functions.
2.7 LibrariesIn userspace, the C startup code and a few libraries will contain machine-dependent code. The library parts in question are mainly the system call interface in the C library, the optimized string functions in the same library, and specific floating point handling in the math library. There are a few other, lesser used areas, like the KVM library which deals with reading kernel memory. Lastly, shared library handling (relocation types) will likely be different from other platforms.
3 The x86-64 hardwareBefore going into the specifics, a brief introduction to the AMD x86-64 architecture[2]is in order. The AMD x86-64 (codenamed ``Hammer'') architecture specification was released end of 2000. As of December 2001, no hardware implentation was publicly available yet (NetBSD/x86-64 was exclusively developed on the Simics x86-64 simulator made by VirtuTech). Since x86-64 is essentially an extension to the IA32 (or i386, as it is known in NetBSD) architecture, its predecessor will be introduced first below.
3.1 The IA32 architecture
IA32 is the name that Intel gave to the 32-bit architecture that was
originally introduced with its 80386 CPU, and has, through its application
in the PC world, become the most popular CPU architecture today.
3.2 General x86-64 extensionsThe x86-64 architecture is essentially a 64-bit extension of the IA32 architecture. In addition to the legacy ``real'' (16-bit) and ``protected'' (32-bit) modes, it defines a ``long'' (64-bit) mode. In real mode and protected mode, it is fully compatible with the IA32 architecture. In long mode, it is capable of running 32-bit binaries without modification, and contains a number of extensions. This paper only discusses long mode, except where explicitly noted otherwise.
3.3 Registers
The general-purpose registers that already were present in the IA32
architecture were extended to 64 bits. Eight general purpose registers
were added, yielding a total of fifteen (not counting the esp
register, see figure 2). This addresses an often heard complaint
about the IA32 architecture: it has very few general purpose registers.
Additionally, eight SSE2 registers were added. For consistency, all
general purpose registers can have their lower 16 bits or lower 8
bits addressed specifically in instructions, something that was only
possible for four of the registers in the IA32 architecture.
3.4 Memory managementThe idea of the x86-64 being an extended IA32 architecture is also reflected in its memory management unit (MMU). The x86-64 has a 64-bit virtual address space, however, initial implementations of the architecture are specified to only use 48 out of these 64 bits, and 40 bits of physical address space. Addresses are specified to be sign-extended, essentially leading to a ``hole'' in virtual memory space that cannot be addressed. To enable the MMU to handle the translation of 48 bits of virtual address space, an extra page table level was added, in addition to the extra level that already had been added in later implementations of the IA32 architecture to support PAE (see figure 3, the dotted line inside the virtual address shows where PAE ends). So basically, the x86-64 page table scheme is the IA32 PAE scheme, with 512 instead of 4 page table pointer directory entries, plus a fourth level, called PML4. This similarity goes so far that the PAE feature must actually be specifically enabled as part of the steps to get the chip into long mode.
3.5 OtherOther notable features of the x86-64 architecture include:
4 The actual portUsing the list of machine-dependent operating system parts in section 2, the work that was needed to port NetBSD to the x86-64 architecture will now be discussed.
4.1 Toolchain
When the work on NetBSD/x86_64 was started, the GNU toolchain already
had some basic x86-64 support in it, which had been developed for
Linux at SuSe, Inc. Shared library support wasn't working yet, but
compiling, assembling and linking applications mostly worked. The
application binary interface (ABI) had also been defined[3].
Adapting this code for NetBSD came down to just modifying/creating
some configuration header files. Naturally, a few compiler and linker
bugs were present in the OS-independent code of the toolchain, but
this could be expected as the x86-64 code was quite young.
4.2 Bootcode and bootstrap
Since there is no actual x86-64 hardware available yet, and no definitive
firmware interface for the upcoming x86-64 machines has been specified
yet, the bootcode had to deal with whatever the simulator provided.
The simulator provided a normal PC BIOS interface, meaning that the
NetBSD/i386 bootcode could almost be used as-is. However, the kernel
image to be loaded is a 64-bit ELF binary for the x86-64 case. Making
this work was a trivial modification, since the code to load 64-bit
ELF binaries had already been made machine-independent and placed
into the stand-alone library used by the bootcode of various NetBSD
platforms.
4.3 Traps and interrupts
The structure of the low-level trap and interrupt code is similar
to that of NetBSD/i386, although no code could be shared. The x86-64
also uses an Interrupt Descriptor Table (IDT) to set up the vectors
for traps and interrupts. The work done at the entry points for the
traps was the normal save registers/dispatch/restore registers. Although
the higher-level trap code can probably be shared between NetBSD/i386
and NetBSD/x86-64, since the set of traps is the same between the
architectures, this has not yet been done.
4.4 Low-level VM / MMU handling
The x86-64 MMU uses a page table structure that is very similar to
the IA32. It basically is the IA32 with a Physical Address Extensions
page table, extrapolated to have 4 levels, to deal with the 48 bits
of virtual memory that the initial family of x86-64 processors will
have. Because of this similarity, the i386 pmap module was taken,
and abstracted to implement a generic N-level IA32 page table, with
either 32- or 64-bit wide entries. The resulting code has been tested
on both the x86-64 and i386 ports of NetBSD, with success. The differences
between the IA32 and x86-64 code were hidden in C preprocessor macros
and type definitions. The advantage of this approach is that it is
now easy to optionally support PAE on the NetBSD/i386 as well, because
this only means conditionally compiling in a few other macros and
type definitions.
The implemented virtual memory layout is shown in figure 4. Because of the sign-extension that the CPU performs on virtual addresses, an unaddressable gap exists between 2^47 and 2^64 - 2^47. This is not unusual; such a gap is also found on e.g. SPARCv9 and Alpha processors. The memory layout is more or less a stretched-out version of the IA32 memory map, as was to be expected in a merged pmap module. A user process runs in the bottom half of virtual memory, while the kernel is always mapped in the top half. Part of the top half is unused, because the kernel doesn't need the huge amount of virtual memory available there, and it turned out that using such an amount of space blew up some data structures in a disproportional way. The upper part of the bottom half of virtual memory is taken up by recursively mapped page table pages, as is the the upper part of the top half of virtual memory (used if the page tables of a process other than the current one need to be changed). This layout meant that the kernel was out of range of the ``kernel'' code model, specified in the ABI. The ``large'' model was needed, but not yet supported by gcc. Fortunately, it turned out that it did work, with a few small modifications. The NetBSD/x86_64 kernel will likely be changed to use the kernel ABI model, once real hardware is available, and a speed assessment will be made. This layout is being used for now because it is a consistent extension of the IA32 model, making pmap code sharing easier.
4.5 Bus-layer backend codeMuch of the bus-layer backend code could be reused from the i386 port. For the PIO case, the instructions remained the same, so no changes were needed, except for some modifications to make it fit the extended 64-bit register set. The same goes for memory-mapped I/O. The DMA framework needed to deal with possibly having 32-bit PCI, which would be unable to do DMA access into memory above the 4G limit. For now, a simple solution was picked of having DMA memory for 32-bit PCI always come from below the 4G limit. This needs to be revisited later; for machines with more than 4G of memory conditions may occur where RAM is available, but not below the 4G limit. To avoid this problem, bounce buffers can be introduced; they are temporary buffers on which the DMA is done, and to or from which the data must be copied to its actual location.
4.6 Port-specific devicesSo far, the NetBSD x86-64 port does not deal with any platform-specific devices. The simulator simulates a number of hardware components that is known from the PC world (like the host-PCI bridge, etc). These components ``just worked'', and no modifications were needed, after the bus_space and bus_dma layers were implemented.
4.7 LibrariesThe main work in userspace was porting the libraries and C startup code. The C startup code and C library were fairly trivial to port. Most of the work that had to be done was to write the system call stubs and the optimized string functions, keeping in mind that the x86-64 ABI passes most arguments in registers, instead of always on the stack as the i386 ABI specifies. The math library was a bit more work. It could share a lot of code with the i386 (really i387) code, since the FPU has the same instructions, but there was an ABI difference. The x86-64 ABI specifies that floating point arguments are passed in SSE registers, but the i386 ABI passes these on the stack. A few macros had to be written to extract the arguments to the various (mostly trigonometry) functions, prepare them, and then use a common bit of code for both the i386 and x86-64 ports. Lastly, the dynamic linker had to be adapted to deal with the types of relocation that x86-64 shared libraries may use.
4.8 Compatibility code
The x86-64 offers the option to run 32-bit i386 applications without
modification. This is a useful option, as it enabled operating systems
to run older applications out of the box. Some support for this is
needed in the kernel, though. The basic item that is needed to run
a 32-bit application is to install 32-bit compatibility memory segments
in the various descriptor tables of the CPU. The CPU will execute
instructions from such a segment in a 32-bit environment. However,
traps to the kernel will switch the CPU to 64-bit mode. This has the
advantage that there doesn't need to be any special kernel entry/exit
code for 32-bit applications. 32-bit programs do have a different
interface to the kernel; they pass arguments to system calls in different
ways, and in 32-bit quantities. Also, structures passed to the kernels
(or rather, the pointers to them) will have a different alignment.
These issues needed to be addressed to enable running old NetBSD/i386
binaries.
5 Conclusions and future work
The port of NetBSD to AMD's x86-64 architecture was done in six weeks,
which confirms NetBSD's reputation as being a very portable operating
system. One week was spent setting up the cross-toolchain and reading
the x86-64 specifications, three weeks were spent writing the kernel
code, one week was spent writing the userspace code, and one week
testing and debugging it all. No problems were observed in any of
the machine-independent parts of the kernel during test runs; all
(simulated) device drivers, file systems, etc, worked without modification.
In the area of sharing code between ``related'' CPUs (such as the x86-64 and the IA32), some more work can be done. Currently, the x86-64 pmap isn't shared between the 2 ports, though it is known to work for both architectures. The pmap code is counted as ``new code'' in table 1, but most of its 3500 lines of code was in some form or another based on the i386 code. Some descriptor table code can also be shared. The number of new C code lines will drop well below 10,000 when the code is properly shared.
AcknowledgmentsThis work was paid for by my employer, Wasabi Systems, Inc. I'd also like to thank AMD for their support, Virtutech for the simulator, and the folks at SuSe for doing the Linux toolchain work.
Bibliography
Frank van der Linden |
This paper was originally published in the
Proceedings of the BSDCon '02 Conference on File and Storage Technologies, February 11-14, 2002, Cathedral Hill Hotel, San Francisco, California, USA.
Last changed: 28 Dec. 2001 ml |
|