Low-level service software forms the foundation upon which reliable systems are built. Here's a look at some of the design issues.