0 évaluation0% ont trouvé ce document utile (0 vote)
12 vues3 pages
Hardware supports compiler speculation by ignoring exceptions in speculative instructions, handling resumable exceptions, and returning undefined values for terminating exceptions. It handles terminating exceptions only when results are used by non-speculative instructions. A poison bit tracks speculative results causing exceptions, and buffers speculative results until commit to avoid incorrect program behavior from speculative exceptions. Hardware also supports memory speculation through "check load address" instructions that check for stores to an address and reloads/reexecutes if needed.
Hardware supports compiler speculation by ignoring exceptions in speculative instructions, handling resumable exceptions, and returning undefined values for terminating exceptions. It handles terminating exceptions only when results are used by non-speculative instructions. A poison bit tracks speculative results causing exceptions, and buffers speculative results until commit to avoid incorrect program behavior from speculative exceptions. Hardware also supports memory speculation through "check load address" instructions that check for stores to an address and reloads/reexecutes if needed.
Hardware supports compiler speculation by ignoring exceptions in speculative instructions, handling resumable exceptions, and returning undefined values for terminating exceptions. It handles terminating exceptions only when results are used by non-speculative instructions. A poison bit tracks speculative results causing exceptions, and buffers speculative results until commit to avoid incorrect program behavior from speculative exceptions. Hardware also supports memory speculation through "check load address" instructions that check for stores to an address and reloads/reexecutes if needed.
Hardware support for preserving exception behavior ignore exception until instruction is no longer speculative handle resumable exceptions return undefined value for terminating exceptions if wrong path, value ignored if right path, program is incorrect & will generate incorrect results Winter 2006 CSE 548 - Speculation & Exceptions 2 Hardware Support for Compiler Speculation Hardware support for preserving exception behavior handle a terminating exception only if the result is about to be used by nonspeculative instruction poison bit on each register; speculative bit in each instruction poison bit of result register set if speculative instruction results in terminating exception a use of a poisoned result by a speculative instruction sets the poison bit for its result a use by nonspeculative instruction triggers exception handling buffer results of speculative instructions until commit Winter 2006 CSE 548 - Speculation & Exceptions 3 Hardware Support for Compiler Speculation Hardware support for memory reference speculation check load address instruction located where load used to be hardware tracks if a store to this address if yes, reload might have to reexecute dependent instructions