发明名称 Debugging data processing transactions
摘要 A data processing system supporting execution of transactions comprising one or more program instructions that execute to generate speculative updates is provided. The speculative updates are committed in normal operation if the transaction completes without a conflict. Start of execution of a transaction may be detected and execution diverted to be performed by software emulation rather than direct execution by the processing hardware. The software emulation may store data representing one or more versions of the speculative updates generated during the emulation. The software emulation may also detect conflicts with the transaction being emulated. In order to facilitate modifying the behaviour of other parts of the system interacting with a transaction under investigation, a non-standard response signal may be returned in response to a detected memory access request to a transaction being emulated. The non-standard response signal may be used to initiate the request source to follow a subsequent path of processing different from that which it would otherwise follow. Support is also provided for detecting a trigger condition which results in the halting (freezing) of a partially completed transaction and the saving the speculative updates associated with that partially completed transaction to the architectural state of the system.
申请公布号 GB2533650(A) 申请公布日期 2016.06.29
申请号 GB20150000183 申请日期 2015.01.07
申请人 ARM Limited 发明人 Stephan Diestelhorst;Michael John Williams;Richard Roy Grisenthwaite;Matthew James Horsnell
分类号 G06F9/38 主分类号 G06F9/38
代理机构 代理人
主权项
地址