There are a couple of (special purpose) operating sys-tems, e.g. [6, 9], that employ atomic CPU instructions and provide a locking-free kernel. However, the specific algo- rithms to achieve wait-free synchronization [7] often have negative effects on the software structure and make the de-velopment of highly modular systems somewhat difficult