Improving the Reliability of Commodity Operating Systems