对比文件名称：US2011145512A1_Description_20260310_0117
目标专利名称：288消除指令处理电路中的冗余同步屏障和相关处理器系统、方法以及计算机可读媒体CN105009074B
模型名称：深度求索
### 特征比对表格
| 技术特征描述以及公开性判断结果 | 对比文件原文引用 | 公开性论述 |
| 技术特征A：其包括：检测第一指令，所述第一指令指示关于计算机架构需要后续同步屏障且所述计算机架构允许由计算机硬件自动地执行同步操作的操作<br>**《未公开》** | 对比文件提及多种指令，例如“explicit buffered store instruction”（[0012]段）、“explicit write monitor instruction”（[0012]段）、“user-level transaction commitment instruction (TXCOMWM)”（[0049]段）、“buffered store instruction (movxb)”（[0051]段表1）等。这些指令用于在事务内存（TM）系统中执行缓冲存储、设置写监视器、提交事务等操作。 | 对比文件中的指令用于在软件事务内存（STM）或硬件事务内存（HTM）的上下文中管理事务性写操作、冲突检测和提交。这些指令的作用是将数据缓冲在硬件中、获取数据的所有权或提交事务，以确保事务的原子性和隔离性。而目标专利中的“第一指令”（如说明书[0058]段及图5中的MCR指令）是指示一种操作，该操作根据计算机架构（如ARM）需要后续的软件同步屏障（如ISB指令），但同时该架构也允许计算机硬件自动执行同步操作。两者的作用根本不同：对比文件的指令服务于事务内存系统，而目标专利的指令服务于通用处理器的指令顺序和状态同步。因此，对比文件未公开技术特征A。 |
| 技术特征B：响应于所述第一指令，由所述计算机硬件自动地执行所述同步操作<br>**《未公开》** | 对比文件描述了硬件执行的操作，例如：“setting the write monitor”（设置写监视器）（[0048]段）、“movxb instruction”（缓冲存储指令）（[0051]段表1）、“setwm(addr)”（设置写监视器）（[0051]段表1）、“txcomwm()”（提交写监视事务指令）（[0051]段表1）。 | 对比文件中硬件执行的操作（如设置写监视器、缓冲存储）是为了实现事务内存的版本管理、冲突检测和提交，其本质是维护数据在多线程事务中的一致性和隔离性。而目标专利中由硬件“自动地执行的同步操作”（如说明书[0058]段及图5中的同步事件88/98），是为了确保在如更新页表基址寄存器（TTBR0）等操作之后，后续指令能正确执行，属于处理器流水线中的指令或数据同步事件。两者目的和作用不同。因此，对比文件未公开技术特征B。 |
| 技术特征C：检测由所述计算机硬件响应于所述第一指令自动执行所述同步操作而导致的第一同步事件<br>**《未公开》** | 对比文件提及检测某些事件或状态，例如：“determining whether any buffered or monitored data has been evicted”（确定是否有任何缓冲或监视的数据被逐出）（[0047]段图3B，[0062]段图4B）、“checkTsrLoss(LOSS_BF)”（检查事务状态寄存器中的缓冲丢失位）（[0051]段表1，[0064]段表4）。这些检测发生在事务提交时，用于判断事务是否应中止。 | 对比文件检测的是事务执行过程中发生的异常或条件性事件，如缓存行丢失（LOSS_BF）、监视信息丢失（LOSS_RM），这些事件会导致事务中止。而目标专利检测的“第一同步事件”（如说明书[0031]段及图2中的同步事件44）是硬件成功执行同步操作后产生的一个常规事件，用于指示一个同步点已完成，其目的是为了识别后续可能冗余的软件同步屏障。两者检测的事件性质、触发条件和目的均不相同。因此，对比文件未公开技术特征C。 |
| 技术特征D：检测指令流中的下一个指令<br>**《隐含公开》** | 对比文件描述了事务执行过程中对指令的处理，例如在伪代码中执行“movxb<Type>(addr,value)”指令（[0051]段表1），或判断是否执行“write barrier”（写屏障）（[0044]段图3A）。这隐含了处理器需要从指令流中提取并检测下一个待执行的指令。 | 在对比文件描述的事务内存系统中，处理器需要顺序或乱序地执行一系列指令（包括事务操作指令、屏障指令、存储指令等）。为了执行这些指令，处理器必然需要从指令流中“检测下一个指令”，这是任何指令处理电路的基本功能。因此，本领域技术人员能够毫无疑义地理解，对比文件所描述的系统中必然包含了检测指令流中下一个指令的步骤或装置。虽然对比文件未明确使用“检测指令流中的下一个指令”此表述，但该特征是实现其所述事务处理流程的基础和隐含前提。因此，技术特征D被对比文件隐含公开。 |
| 技术特征E：确定所述下一个指令是否包括类型对应于所述第一同步事件的同步屏障<br>**《未公开》** | 对比文件提到了“write barrier”（写屏障）和“read barrier”（读屏障）（例如[0044]段，[0051]段表1），但这些屏障是在事务内存中用于管理数据访问和版本的操作，并非目标专利所指的用于保证指令或数据全局顺序的“同步屏障”。对比文件没有描述判断一个指令是否是“类型对应于第一同步事件的同步屏障”。 | 目标专利中的“同步屏障”（如ISB指令）是用于确保在屏障之前的所有操作（如指令执行、数据访问）完成后，才执行屏障之后的指令。其“类型”对应指令同步或数据同步。对比文件中的“写屏障”（write barrier）是一系列软件操作（如获取锁、设置硬件监视器、记录日志），用于在事务内存系统中管理对内存位置的写操作，确保事务性。两者在定义、目的和实现上均不同。对比文件没有涉及将下一个指令与之前发生的某个“同步事件”进行类型匹配并判断其是否为冗余同步屏障的逻辑。因此，对比文件未公开技术特征E。 |
| 技术特征F：以及响应于确定所述下一个指令包括类型对应于所述第一同步事件的同步屏障，从所述指令流消除所述下一个指令。<br>**《未公开》** | 对比文件未提及从指令流中“消除”（eliminate）指令。其优化方式主要是通过“filtering”（过滤）来避免执行冗余的软件屏障操作（例如，通过“testbf(addr)”检查地址是否已缓冲，若已缓冲则跳过后续的获取锁和设置监视器操作，见[0051]段表1），但被过滤的软件操作（如acquireWriteLockUtm, setwm）仍然作为代码存在，并非从指令流中被移除或替换。 | 目标专利的核心在于“消除”冗余的同步屏障指令本身（例如用NOP替换或直接移除ISB指令），从而减少实际执行的指令数量，提高吞吐率。对比文件的“过滤”是指在运行时条件判断后，跳过执行某些软件函数或操作步骤，但这些函数对应的代码指令本身仍存在于指令流中，每次执行到该处仍需进行条件判断。这是两种完全不同的优化思路和实现层级（目标专利在指令发布/解码层面消除指令；对比文件在指令执行层面跳过函数调用）。对比文件完全没有公开“从指令流消除所述下一个指令”这一技术特征。 |
| 技术特征G：其中检测所述第一同步事件包括检测指令同步事件<br>**《未公开》** | 对比文件通篇未提及“指令同步事件”（instruction synchronization event）。其涉及的事件均与数据访问和事务状态相关，如“loss of buffered or monitored data”（缓冲或监视数据丢失）、“conflict”（冲突）等。 | 目标专利中的“指令同步事件”特指用于保证后续指令能观察到此前所有指令执行效果的同步点（如冲洗流水线）。对比文件关注的是数据在事务中的一致性和内存访问冲突，与指令执行顺序的同步无关。因此，对比文件未公开技术特征G。 |
| 技术特征H：并且其中确定所述下一个指令是否包括类型对应于所述第一同步事件的同步屏障包括检测所述下一个指令是否是指令同步屏障。<br>**《未公开》** | 对比文件未提及“指令同步屏障”（instruction synchronization barrier）。 | 理由同技术特征G。对比文件的技术领域（事务内存）和解决的问题（数据版本管理与冲突检测）与指令同步屏障无关。因此，对比文件未公开技术特征H。 |
| 技术特征I：其中检测所述第一同步事件包括检测数据同步事件<br>**《未公开》** | 对比文件提到了“write monitor”（写监视器）用于监视对数据的写访问（[0029]段），以及检测数据冲突。但这属于事务内存中为了维护数据一致性而进行的“监视”（monitoring）和“冲突检测”，并非目标专利中为了确保数据访问全局可见性和顺序而定义的“数据同步事件”。 | 目标专利的“数据同步事件”是为了确保在事件前的所有数据访问（如读写）完成后，才进行后续操作。对比文件的“写监视”是为了在事务执行期间，检测其他线程是否访问了相同数据从而可能引发事务冲突。两者目的不同：前者是保证顺序，后者是实现隔离。对比文件没有描述硬件自动执行一个“数据同步操作”并随后产生一个“数据同步事件”的机制。因此，对比文件未公开技术特征I。 |
| 技术特征J：并且其中确定所述下一个指令是否包括类型对应于所述第一同步事件的同步屏障包括检测所述下一个指令是否是数据同步屏障。<br>**《未公开》** | 对比文件未提及“数据同步屏障”（data synchronization barrier）。其提到的“barrier”（屏障）均指事务内存中的“read barrier”或“write barrier”，属于软件函数，用于封装事务访问操作，与处理器架构定义的数据同步屏障指令（如ARM的DMB指令）不同。 | 目标专利的“数据同步屏障”是处理器指令集架构中定义的特定指令，用于强制执行内存访问顺序。对比文件中的“写屏障”是一段软件代码，用于在STM中实现事务性写操作。两者概念和实现层级均不同。因此，对比文件未公开技术特征J。 |
| 技术特征K：其中检测所述第一同步事件包括设定同步旗标。<br>**《未公开》** | 对比文件使用了“transaction status register (TSR)”（事务状态寄存器）来记录事务状态，例如“LOSS_BF”位指示缓冲丢失，“LOSS_RM”位指示读监视丢失（[0051]段表1，[0054]段表2）。这些标志位用于跟踪事务执行过程中的异常或条件。 | 目标专利的“同步旗标”是专门用于记录刚刚发生过一次特定类型（指令或数据）的同步事件，以便与下一个指令进行匹配判断。对比文件的TSR中的标志位是用于记录事务是否发生了导致其需要中止或特殊处理的事件（如资源丢失）。两者设置的目的、代表的含义以及后续的用途完全不同。因此，对比文件未公开技术特征K。 |
| 技术特征L：其进一步包括响应于确定所述下一个指令不包括类型对应于所述第一同步事件的同步屏障而清除所述同步旗标。<br>**《未公开》** | 对比文件未描述在确定下一个指令不是某种屏障后清除某个旗标的操作。 | 对比文件中不存在与目标专利中“同步旗标”相对应的概念，因此也不存在基于对下一个指令的判断来清除该旗标的逻辑。因此，对比文件未公开技术特征L。 |
| 技术特征M：其中确定所述下一个指令是否包括类型对应于所述第一同步事件的同步屏障包括确定是否设定所述同步旗标。<br>**《未公开》** | 对比文件未描述通过检查某个旗标是否被设定来判断下一个指令是否为同步屏障。 | 理由同技术特征K和L。对比文件缺乏“同步旗标”这一用于记录同步事件发生的中间状态概念，因此也不存在利用该旗标来判断指令类型的机制。因此，对比文件未公开技术特征M。 |
| 技术特征N：其中从所述指令流消除所述下一个指令包括用指示无操作的指令代替所述指令流中的所述下一个指令。<br>**《未公开》** | 对比文件未提及用“无操作指令”（NOP）代替任何指令。 | 对比文件的优化手段是条件跳转或跳过函数调用，而非修改指令流本身。因此，对比文件未公开技术特征N。 |
| 技术特征O：其中从所述指令流消除所述下一个指令包括从所述指令流移除所述下一个指令。<br>**《未公开》** | 对比文件未提及从指令流中“移除”（remove）指令。 | 同技术特征N，对比文件未涉及通过移除指令来优化指令流的技术。因此，对比文件未公开技术特征O。 |
<<<d>>>