Disco: Running Commodity Operating Systems on Scalable Multiprocessors [pdf]