Scheme for verifying the effects of program optimizations

摘要

Techniques relate for verifying an effect of software program optimization. A determination is made whether a fingerprint is present in a software application that is currently executing on a processor of a computer system, where the fingerprint includes a representation of a sequence of behavior that occurs on the processor while the software application is executing. The fingerprint corresponds to an optimization made to the software application. In response to determining that the fingerprint is not present in the software application currently executing on the processor, it is determined that the optimization to the software application did not have an intended effect. In response to determining that the fingerprint is present in the software application executing on the processor, it is recognized that the optimization to the software application has the intended effect.

主权项

1. A computer implemented method for verifying an effect of software program optimization, the method comprising:
determining whether a fingerprint is present in a software application that is currently executing on a processor of a computer system, the fingerprint comprising a representation of a sequence of behavior that occurs on the processor while the software application is executing, wherein the fingerprint corresponds to an optimization made to the software application; in response to determining that the fingerprint is not present in the software application currently executing on the processor, determining that the optimization to the software application did not have an intended effect; and in response to determining that the fingerprint is present in the software application executing on the processor, recognizing that the optimization to the software application has the intended effect; wherein the software application has a start verification check directive configured to cause a compiler to cause a fingerprint circuit to begin determining whether the fingerprint is present in the software application that is currently executing on the processor of the computer system; wherein the software application has an end verification check directive configured to cause the compiler to cause the fingerprint circuit to stop determining whether the fingerprint is present in the software application that is currently executing on the processor of the computer system; and wherein the optimization is intended to occur between the start verification check directive and the end verification check directive.