对比文件的名称:US2004068597A1_Description_20260310_0117
目标专利的名称:288消除指令处理电路中的冗余同步屏障和相关处理器系统、方法以及计算机可读媒体CN105009074B
本次调用的模型名称:DeepSeek-R1
根据对目标专利说明书和权利要求以及对比文件US2004068597A1的详细分析,现创建特征比对表格如下:
| 技术特征描述以及公开性判断结果 | 对比文件原文引用 | 公开性论述 |
| **特征A:《未公开》**<br>检测第一指令,所述第一指令指示关于计算机架构需要后续同步屏障且所述计算机架构允许由计算机硬件自动地执行同步操作的操作 | 未发现相关内容。 | 对比文件US2004068597A1涉及在多代理系统中检测和解决指令饥饿(instruction starvation)的机制,其核心在于通过仲裁逻辑和反饥饿逻辑(anti-starvation logic)来管理对共享系统资源(如总线、芯片组、内存)的访问,防止某个代理因反复收到重试(retry)响应而无法取得进展。文件中完全未提及“同步屏障”(synchronization barrier)、“同步事件”或“同步操作”等概念,也未描述任何需要软件同步屏障的计算机架构操作。因此,本领域技术人员无法从对比文件中得出或推理出“检测指示需要后续同步屏障且允许硬件自动执行同步操作的第一指令”这一技术特征。 |
| **特征B:《未公开》**<br>响应于所述第一指令,由所述计算机硬件自动地执行所述同步操作 | 未发现相关内容。 | 如特征A所述,对比文件未涉及任何与同步屏障相关的指令或操作。文件中描述的“操作”或“事务”(transaction)均是关于对共享资源的访问请求(如读、写、缓存驱逐等),其执行结果是被接受(accept)或拒绝(retry),而非目标专利中所述的由硬件自动执行的、用于确保顺序或状态的“同步操作”。因此,该特征未被对比文件公开。 |
| **特征C:《未公开》**<br>检测由所述计算机硬件响应于所述第一指令自动执行所述同步操作而导致的第一同步事件 | 未发现相关内容。 | 对比文件中描述的事件包括:事务请求、仲裁授予、事务被接受或收到重试响应、反饥饿逻辑激活/停用等。这些事件均与资源访问冲突和公平性调度相关,而非目标专利中定义的、为确保指令或数据操作顺序而由硬件触发的“同步事件”(如指令同步事件、数据同步事件)。因此,本领域技术人员无法从对比文件中得出检测此类同步事件的技术特征。 |
| **特征D:《隐含公开》**<br>检测指令流中的下一个指令 | 说明书第[0024]段:“The one or more accept/retry decoders 202 detect and filter out transaction types...”。 第[0037]段:“In block 301, a controller for a system resource, such as a chip set, determines whether the resources are available to accept the transaction.” | 对比文件中的“accept/retry decoders”或控制器会持续检测来自多个代理(agents)的事务(transactions),这些事务构成了一个待处理的指令或请求流。虽然对比文件侧重于事务类型过滤和资源可用性判断,但“检测事务”这一基本动作,隐含了在连续处理流程中“检测流中的下一个元素(即事务/指令)”的步骤。从广义上讲,检测输入的事务流中的下一个事务,与本领域技术人员所理解的检测指令流中的下一个指令,在功能逻辑上具有相似性。因此,该特征可以被认为被对比文件隐含公开。 |
| **特征E:《未公开》**<br>确定所述下一个指令是否包括类型对应于所述第一同步事件的同步屏障 | 未发现相关内容。 | 对比文件完全没有提及“同步屏障”这一概念,更没有涉及根据先前同步事件的类型来判断后续指令是否为对应类型同步屏障的逻辑。其判断逻辑集中在事务类型(如是否暗示执行进展、是否易受饥饿影响)、代理标识、重试计数器状态等,与同步屏障的类型匹配无关。因此,该特征未被公开。 |
| **特征F:《隐含公开》**<br>以及响应于确定所述下一个指令包括类型对应于所述第一同步事件的同步屏障,从所述指令流消除所述下一个指令。 | 说明书第[0018]段:“The anti-starvation logic 116 may veto the acceptance of the transaction and insists on a retry if certain logical conditions are true.” 第[0049]段:“In block 322, the anti-starvation logic issues a veto to a transaction accepted by the system resource. The controller for the system resource automatically responds with a retry response to the agent associated with that transaction...” | 对比文件中的反饥饿逻辑(anti-starvation logic)在特定条件满足时(例如,为防止指令饥饿,在已激活的服务状态下,对已重置重试计数器的代理的事务),会否决(veto)一个本可被系统资源接受的事务,导致控制器对该事务发出重试响应,从而阻止该事务在当前时刻被执行或完成。这种“否决并导致重试”的动作,其效果相当于将该事务从当前可被顺利执行的指令/事务流中暂时或有效地“消除”了,因为事务发起者需要重新尝试。尽管其目的(解决资源访问饥饿)和机制(基于代理公平性)与目标专利(消除冗余同步以提升性能)不同,但“基于特定条件判断,对流程中的下一个元素采取行动使其不产生预期执行效果”这一高层级逻辑构思是相似的。因此,可以认为该特征被对比文件隐含公开。 |
| **特征G:《未公开》**<br>其中检测所述第一同步事件包括检测指令同步事件 | 未发现相关内容。 | 对比文件未涉及任何形式的“指令同步事件”。其事件均与总线事务、资源仲裁相关。因此,该特征未被公开。 |
| **特征H:《未公开》**<br>并且其中确定所述下一个指令是否包括类型对应于所述第一同步事件的同步屏障包括检测所述下一个指令是否是指令同步屏障。 | 未发现相关内容。 | 理由同特征E和G,对比文件无“指令同步屏障”概念。因此,该特征未被公开。 |
| **特征I:《未公开》**<br>其中检测所述第一同步事件包括检测数据同步事件 | 未发现相关内容。 | 对比文件未涉及任何形式的“数据同步事件”。因此,该特征未被公开。 |
| **特征J:《未公开》**<br>并且其中确定所述下一个指令是否包括类型对应于所述第一同步事件的同步屏障包括检测所述下一个指令是否是数据同步屏障。 | 未发现相关内容。 | 理由同特征E和I,对比文件无“数据同步屏障”概念。因此,该特征未被公开。 |
| **特征K:《隐含公开》**<br>其中检测所述第一同步事件包括设定同步旗标。 | 说明书第[0031]段:“A state machine 208 has an activated state and a deactivated state. In an embodiment, when the state machine operates in a service state, the mechanism to resolve instruction starvation is activated.” 第[0056]段:“In block 606, the logic activates a mechanism to resolve instruction starvation because it is determined that instruction starvation is occurring... a state machine transitions from operating in the Normal State to operating in the service state.” | 对比文件中,当检测到指令饥饿条件满足时(可类比为目标专利中检测到同步事件),会激活解决指令饥饿的机制,这一激活动作通过状态机(state machine)从“正常状态”(Normal State)转换到“服务状态”(Service State)来实现。状态机处于“服务状态”这一事实,本身就可以被视作一个“旗标”或“标志”,它指示着“反饥饿机制已激活”这一特定事件或状态已发生。虽然这个“旗标”的表现形式是一个状态机的状态,而非一个简单的布尔变量,但其在系统中起到标记特定事件发生的作用是相同的。因此,可以认为“通过改变状态(设定旗标)来记录某个事件的发生”这一技术手段被对比文件隐含公开。 |
| **特征L:《隐含公开》**<br>其进一步包括响应于确定所述下一个指令不包括类型对应于所述第一同步事件的同步屏障而清除所述同步旗标。 | 说明书第[0031]段:“The state machine 208 transitions to a deactivated state if an agent which issued a first transaction does not reissue the first transaction within a predefined time period after receiving a retry response.” 第[0058]段:“Second, the mechanism may be deactivated if all of the retry counters are reset for all the agents attempting to use the system resource. Thus if either of these two conditions are satisfied, then the mechanism deactivates. In an embodiment, a state machine transitions from the Service State to the Normal State.” | 对比文件描述了反饥饿机制停用的条件,例如触发机制的代理未在预定时间内重新发起事务,或所有代理的重试计数器均已重置。当这些条件满足时,状态机会从“服务状态”转换回“正常状态”。这种状态转换,即从指示机制激活的状态退出,可以理解为“清除”了先前设定的、代表机制激活的“旗标”。尽管触发清除的条件(代理未重试、所有计数器归零)与目标专利(下一个指令不是对应类型的同步屏障)不同,但“在满足特定条件时,将代表某个事件或状态的标志清除”这一控制逻辑是类似的。因此,该特征可以被认为被对比文件隐含公开。 |
| **特征M:《隐含公开》**<br>其中确定所述下一个指令是否包括类型对应于所述第一同步事件的同步屏障包括确定是否设定所述同步旗标。 | 说明书第[0048]段:“In block 320, the anti-starvation logic determines whether the retry counter for the agent associated with this accepted transaction equal to zero.” 结合[0031]段对状态机状态的描述。 | 在对比文件中,当系统资源接受一个事务时,反饥饿逻辑需要判断机制是否已激活(即状态机是否在服务状态),并进一步检查相关代理的重试计数器是否为零,以决定是否要否决该事务。这个判断过程包含了“检查当前是否处于特定状态(服务状态)”这一步骤,该状态即相当于之前设定的“旗标”。因此,“通过确定一个旗标(或状态)是否被设定,来作为后续判断和决策的依据”这一逻辑,被对比文件隐含公开。虽然其判断的具体内容(是否否决事务)与目标专利(是否为冗余同步屏障)不同,但“依据旗标状态进行判断”的核心方法是共通的。 |
| **特征N:《未公开》**<br>其中从所述指令流消除所述下一个指令包括用指示无操作的指令代替所述指令流中的所述下一个指令。 | 未发现相关内容。 | 对比文件中消除或阻止事务执行的方式是“否决并导致重试响应”,或通过仲裁逻辑不授予总线访问权。文件中完全没有提及使用“无操作指令”(NOP)来替换原有指令或事务的技术手段。因此,该特征未被对比文件公开。 |
| **特征O:《隐含公开》**<br>其中从所述指令流消除所述下一个指令包括从所述指令流移除所述下一个指令。 | 说明书第[0018]段:“The anti-starvation logic 116 may veto the acceptance of the transaction... After the veto, the controller for the system resource 114 issues a retry response to the source agent.” 第[0049]段:“The controller for the system resource automatically responds with a retry response to the agent associated with that transaction and does not increment the retry counter for that agent.” | 对比文件中,反饥饿逻辑的“否决”(veto)操作,导致控制器向源代理发出重试响应,这使得当前事务无法完成并被“推回”给发起者,实质上相当于将该事务从当前正在被系统资源处理的指令/事务流中“移除”了。因为事务需要重新发起,它不再属于当前连续执行的流程。尽管“移除”的具体实现方式(通过重试响应使事务离开处理路径)与目标专利可能涉及的从解码队列或发布路径中直接删除指令有所不同,但达到“使该指令不在原定流中继续执行”这一最终效果是相似的。在宽松的隐含公开判断标准下,可以认为该特征被隐含公开。 |
<<<d>>><<<f>>><<<k>>><<<l>>><<<m>>><<<o>>>