公开(公告)号：US08032710B1

公开(公告)日：2011-10-04

申请号：US11782163

申请日：2007-07-24

申请人： Matthew Ashcraft ,  John Gregory Favor ,  Joseph Rowlands ,  Leonard E. Shar ,  Richard Thaik

发明人： Matthew Ashcraft ,  John Gregory Favor ,  Joseph Rowlands ,  Leonard E. Shar ,  Richard Thaik

IPC分类号： G06F13/00

CPC分类号： G06F9/30072 ,  G06F9/3804 ,  G06F9/3808 ,  G06F9/3812 ,  G06F9/3836

摘要： A method and system of ensuring coherency of a sequence of instructions to be executed by a processor having a trace unit and an execution unit includes grouping at least a portion of the sequence of instructions to form at least one trace where a status of the at least one trace is set to a verified status when the at least one trace is formed; holding in the at least one trace a coherency component that includes a pointer to a physical address of the at least one trace; receiving, based on the coherency component, the pointer to the physical address as associated with an invalidating event, and in response thereto, setting the status of the at least one trace to be an unverified status; and preventing the at least one trace from being executed when the status of the at least one trace is the unverified status.

摘要翻译： 一种确保要由具有跟踪单元和执行单元的处理器执行的指令序列的一致性的方法和系统包括对指令序列的至少一部分进行分组，以形成至少一个跟踪，其中该至少一个状态至少 当形成至少一条迹线时，将一条迹线设置为已验证状态; 在所述至少一个跟踪中保持包括指向所述至少一个跟踪的物理地址的指针的相关性组件; 基于所述一致性分量接收与无效事件相关联的到所述物理地址的指针，并且响应于此，将所述至少一个跟踪的状态设置为未验证状态; 以及当所述至少一个跟踪的状态是未验证状态时，防止所述至少一个跟踪被执行。

公开(公告)号：US07941607B1

公开(公告)日：2011-05-10

申请号：US11782140

申请日：2007-07-24

申请人： Richard Thaik ,  John Gregory Favor ,  Joseph Rowlands ,  Leonard E. Shar ,  Matthew William Ashcraft

发明人： Richard Thaik ,  John Gregory Favor ,  Joseph Rowlands ,  Leonard E. Shar ,  Matthew William Ashcraft

IPC分类号： G06F13/00

CPC分类号： G06F12/0875 ,  G06F9/30174 ,  G06F9/3802 ,  G06F9/3808 ,  G06F9/3812 ,  G06F9/3836 ,  G06F12/1027 ,  G06F12/1054 ,  Y02D10/13

摘要： A method and system for promoting traces in an instruction processing circuit is disclosed. The method and system comprises determining if a current trace is promotable; and adding the current trace to a sequence buffer if the current trace is promotable. The current trace is marked as promoted and the current trace is marked as a first trace of a multi-block trace. The method and system includes determining if a next trace is promotable; adding the next trace to the sequence buffer if the next trace is promotable; and repeating the above until the next trace is not promotable and then adding the next trace to the sequence buffer if the next trace is not promotable.

摘要翻译： 公开了一种用于在指令处理电路中促进迹线的方法和系统。 所述方法和系统包括确定当前迹线是否可促进; 并且如果当前跟踪是可升级的，则将当前跟踪添加到序列缓冲器。 当前跟踪被标记为提升，当前跟踪被标记为多块跟踪的第一个跟踪。 所述方法和系统包括确定下一个跟踪是否可提升; 将下一个跟踪添加到序列缓冲区，如果下一个跟踪是可升级的; 并重复上述操作，直到下一个跟踪不可升级，然后如果下一个跟踪不可升级，则将下一个跟踪添加到序列缓冲区。