发明名称 |
Loop detection apparatus, loop detection method, and loop detection program |
摘要 |
A loop detection method, system, and article of manufacture for determining whether a sequence of unit processes continuously executed among unit processes in a program is a loop by means of computational processing performed by a computer. The method includes: reading address information on the sequence of unit processes; comparing an address of a unit process as a loop starting point candidate with an address of a last unit process in the sequence of unit processes; reading call stack information on the sequence of unit processes; comparing a call stack upon execution of the unit process as the loop starting point candidate with a call stack upon execution of the last unit process; outputting a determination result indicating that the sequence of unit processes forms a loop if the respective comparison results of the addresses and the call stacks match with each other. |
申请公布号 |
US8856762(B2) |
申请公布日期 |
2014.10.07 |
申请号 |
US201113301099 |
申请日期 |
2011.11.21 |
申请人 |
International Business Machines Corporation |
发明人 |
Hayashizaki Hiroshige |
分类号 |
G06F9/45;G06F11/28 |
主分类号 |
G06F9/45 |
代理机构 |
|
代理人 |
Alexanian Vazken |
主权项 |
1. A loop detection method for determining whether a sequence of unit processes continuously executed among unit processes in a program is a loop by means of computational processing performed by a computer, the method comprising the steps of:
reading address information on the sequence of unit processes from a storage section of the computer; comparing an address of a unit process as a loop starting point candidate with an address of a last unit process in the sequence of unit processes; reading call stack information on the sequence of unit processes from the storage section of the computer; comparing a call stack upon execution of the unit process as the loop starting point candidate with a call stack upon execution of the last unit process; and outputting a determination result indicating that the sequence of unit processes forms a loop if the respective comparison results of the addresses and the call stacks match with each other; wherein at least one step is carried out by the computer device. |
地址 |
Armonk NY US |