Using Speculation to Simplify Multiprocessor Design

Modern multiprocessors are complex systems that often require years to design and verify. A significant factor is that engineers must allocate a disproportionate share of their effort to ensure that rare corner-case events behave correctly. This paper proposes using "speculation for simplicity " to enable designers to focus on common-case scenarios