Design goals

We identify three basic design goals for how applications should be transformed to use speculative execution. Specifically, the transformation should be:

• Correct - the results of executing a transformed application should match those of executing the original application;
• Free - a transformed application should, at worst, be slower than the original application by an insignificant amount; and
• Effective - as many as possible of the application's requests for uncached data should be hinted in a timely fashion, with the minimum possible impact on machine resources.