Generating and comparing memory access ranges for speculative throughput computing

A computer program product, encoded on a computer-readable medium, operable to cause a data processing apparatus to:

• generate precise ranges of locations that speculative read or write instructions have accessed, where each precise range of locations is specified based on a first location accessed by a speculative read or write instruction and a second location accessed by a speculative read or write instruction;
• determine that a speculative write instruction from a first program segment has accessed a first precise range of locations;
• compare the first precise range of locations with a second precise range of locations accessed by a speculative read or write instruction from a second program segment;
• determine that the first precise range of locations overlaps with the second precise range of locations;
• and
• identify a miss-speculation and restore memory content of locations speculative write instructions have accessed in the first precise range of locations and the second precise range of locations, when the first precise range of locations overlaps with the second precise range of locations.

A system comprising:

• one or more processors or processor cores;
• a computer-readable medium coupled to the one or more processors or processor cores and having instructions contained thereon, which, when executed by the one or more processors or processor cores, causes the one or more processors or processor cores to perform the operations of:
• generating precise ranges of locations that speculative read or write instructions have accessed, where each precise range of locations is specified based on a first location accessed by a speculative read or write instruction and a second location accessed by a speculative read or write instruction;
• determining that a speculative write instruction from a first program segment has accessed a first precise range of locations;
• comparing the first precise range of locations with a second precise range of locations accessed by a speculative read or write instruction from a second program segment;
• determining that the first precise range of locations overlaps with the second precise range of locations;
• and
• identifying a miss-speculation and restoring memory content of locations speculative write instructions have accessed in the first precise range of locations and the second precise range of locations, when the first precise range of locations overlaps with the second precise range of locations.