Writing an OS in Rust (Second Edition)

Philipp Oppermann's blog

Disable SIMD

Single Instruction Multiple Data (SIMD) instructions are able to perform an operation (e.g. addition) simultaneously on multiple data words, which can speed up programs significantly. The x86_64 architecture supports various SIMD standards:

By using such SIMD standards, programs can often speed up significantly. Good compilers are able to transform normal loops into such SIMD code automatically through a process called auto-vectorization.

However, the large SIMD registers lead to problems in OS kernels. The reason is that the kernel has to backup all registers that it uses in hardware interrupt, because they need to have their original values when the interrupted program continues. So if the kernel uses SIMD registers, it has to backup a lot more data, which noticably decreases performance. To avoid this performance loss, we want to disable the sse and mmx features (the avx feature is disabled by default).

We can do that through the the features field in our target specification. To disable the mmx and sse features we add them prefixed with a minus:

"features": "-mmx,-sse"

🔗 Floating Point

Unfortunately for us, the x86_64 architecture uses SSE registers for floating point operations. Thus, every use of floating point with disabled SSE causes an error in LLVM. The problem is that Rust's core library already uses floats (e.g., it implements traits for f32 and f64), so avoiding floats in our kernel does not suffice.

Fortunately, LLVM has support for a soft-float feature, emulates all floating point operations through software functions based on normal integers. This makes it possible to use floats in our kernel without SSE, it will just be a bit slower.

To turn on the soft-float feature for our kernel, we add it to the features line in our target specification, prefixed with a plus:

"features": "-mmx,-sse,+soft-float"

Comments