A Macrotask-level Unlimited Speculative Execution on Multiprocessors
(7/19)
The following description is based on the paper presented at
1995 ACM International Conference on Supercomputing head
in Spain on July 3rd to 7th,1995.
If you want to have the copy of the paper, please
let me know.
This figure explains its restriction.
In this figure, the circle stands for a code segment of a program.
The small black filled circle represents a conditional branch.
Their proposed model restricts the speculation path like green line.
As you can see, many paths exit in a program. Therefore, restricting
only one path decreases the possibility to success the speculation.
So, no restriction of the speculation path is highly desired to achive
high performance.