对比文件名称：2012-09-19_KR1020120103715A_发明公开_KR1020120103715A 버퍼링된 저장을 이용하여 트랜잭션들을 가속화하기 위한 메커니즘들
目标专利名称：消除指令处理电路中的冗余同步屏障和相关处理器系统、方法以及计算机可读媒体CN105009074B
模型名称：DeepSeek
### 特征比对表格
| 技术特征描述及公开性判断结果 | 对比文件原文引用 | 公开性论述 |
| **技术特征A**：检测第一指令，所述第一指令指示关于计算机架构需要后续同步屏障且所述计算机架构允许由计算机硬件自动地执行同步操作的操作<br>**未公开** | 未在对比文件中发现相关公开内容。 | 目标专利中的“第一指令”（如MCR指令）是一种特定指令，其执行会触发硬件自动执行同步操作（如指令同步），同时根据计算机架构要求，软件必须在它之后显式地放置一个同步屏障指令（如ISB）。对比文件涉及事务内存（TM）系统，其核心是管理事务访问、冲突检测和缓存一致性。对比文件中描述的各种指令（如`movxb`、记录屏障操作`tmWrUTM`等）以及事务操作，其目的是为了在事务执行期间缓冲数据、获取锁、设置监控器以确保事务的原子性和隔离性，而不是为了满足计算机架构对指令/数据顺序的同步要求。对比文件中的“屏障”（배리어）指的是事务内存访问中的“读屏障”或“写屏障”，用于确保事务内访问的一致性，与目标专利中用于保证指令或数据操作全局可见性和顺序的“同步屏障”（如ISB）在作用、触发条件和目的上均不相同。因此，对比文件未公开技术特征A。 |
| **技术特征B**：响应于所述第一指令，由所述计算机硬件自动地执行所述同步操作<br>**未公开** | 未在对比文件中发现相关公开内容。 | 目标专利中，硬件自动执行的“同步操作”是指令同步或数据同步操作，其作用是清空流水线或确保内存访问顺序，以响应特定指令（如MCR）的执行。对比文件中，硬件会执行各种操作，例如响应`movxb`指令将数据缓冲在缓存中（[0005]段），或在进行事务访问时设置读/写监控器属性（[0022]段）。这些操作的作用是维护事务状态、检测冲突和管理缓存一致性，而非执行目标专利所定义的、用于保证后续指令正确执行的同步操作。两者作用不同，因此对比文件未公开技术特征B。 |
| **技术特征C**：检测由所述计算机硬件响应于所述第一指令自动执行所述同步操作而导致的第一同步事件<br>**未公开** | 未在对比文件中发现相关公开内容。 | 目标专利中检测的“第一同步事件”是硬件执行同步操作（如指令同步）所导致的事件，该事件是判断后续软件同步屏障是否冗余的关键。对比文件中确实检测各种事件，例如缓存行丢失（`LOSS_BF`）、监控器丢失或事务冲突（[0025], [0042], [0053]段），但这些事件是在事务执行过程中，由于缓存容量限制、其他处理器访问等原因造成的，用于决定事务是否应中止，并非由“第一指令”触发的、用于保证指令或数据顺序的同步操作所导致的事件。作用完全不同，因此对比文件未公开技术特征C。 |
| **技术特征D**：检测指令流中的下一个指令<br>**隐含公开** | [0007]段：“프로세서(100)는 하드웨어 트랜잭션 실행, 소프트웨어 트랜잭션 실행 또는 이들의 조합 또는 혼합이 가능하다. 코드의 크리티컬 섹션(critical section) 또는 아토믹 섹션(atomic section)으로도 지칭될 수 있는 트랜잭션은 아토믹 그룹으로서 실행될 명령어들, 연산들 또는 마이크로 연산들의 그룹핑을 포함한다.”（处理器(100)能够进行硬件事务执行、软件事务执行或它们的组合或混合。也可以被称为代码的临界区或原子区的事务包括作为原子组执行的指令、操作或微操作的分组。） | 对比文件描述了处理器执行包含指令的事务。事务的执行必然涉及按顺序或乱序地处理指令流中的指令。本领域技术人员能够理解，为了执行事务中的指令分组，处理器需要从指令流中依次获取并检测下一个待执行的指令。这是一种基础的、隐含的处理器操作。因此，对比文件隐含公开了“检测指令流中的下一个指令”这一技术特征。 |
| **技术特征E**：确定所述下一个指令是否包括类型对应于所述第一同步事件的同步屏障<br>**未公开** | 未在对比文件中发现相关公开内容。 | 目标专利中，需要判断“下一个指令”是否是特定类型（指令同步或数据同步）的“同步屏障”指令（如ISB）。对比文件中没有提及任何与“同步屏障”（synchronization barrier）指令（如ARM架构的ISB、DSB）相关的概念。对比文件中的“屏障”（배리어）指的是事务内存系统中的“读屏障”或“写屏障”，这些屏障是一系列软件操作（如获取锁、检查过滤标志、设置监控器等）的集合，用于保证事务访问的一致性，它们并非目标专利所指的、由单一指令编码的“同步屏障指令”。因此，对比文件既未公开“同步屏障指令”的概念，也未公开判断下一个指令是否为对应类型同步屏障的操作。技术特征E未被公开。 |
| **技术特征F**：以及响应于确定所述下一个指令包括类型对应于所述第一同步事件的同步屏障，从所述指令流消除所述下一个指令。<br>**未公开** | 未在对比文件中发现相关公开内容。 | 目标专利的核心在于消除被判定为冗余的同步屏障指令。对比文件虽然通过过滤机制避免执行冗余的屏障操作（例如，通过检查“버퍼링된”属性或“기록 모니터”来跳过不必要的`tmWrUTM`操作，见表1、表3），但这种“消除”或“跳过”是针对事务内存访问中的一系列软件屏障操作，而不是从指令流中移除或替换一个明确的“同步屏障指令”。两者消除的对象和机制不同。因此，对比文件未公开技术特征F。 |
| **技术特征G**：其中检测所述第一同步事件包括检测指令同步事件<br>**未公开** | 未在对比文件中发现相关公开内容。 | 目标专利中的“指令同步事件”特指为保证后续指令能观察到之前所有指令执行效果（如上下文切换、系统寄存器更新）而触发的同步操作。对比文件中提及的同步均围绕事务内存，例如确保事务内读/写顺序或内存一致性的“读屏障”、“写屏障”，没有涉及与指令流水线刷新、指令获取相关的“指令同步事件”。因此，对比文件未公开技术特征G。 |
| **技术特征H**：并且其中确定所述下一个指令是否包括类型对应于所述第一同步事件的同步屏障包括检测所述下一个指令是否是指令同步屏障。<br>**未公开** | 未在对比文件中发现相关公开内容。 | 如对特征E和G的论述，对比文件未公开“指令同步事件”，也未公开“指令同步屏障”指令。因此，确定下一个指令是否为指令同步屏障的技术特征H也未被公开。 |
| **技术特征I**：其中检测所述第一同步事件包括检测数据同步事件<br>**未公开** | 未在对比文件中发现相关公开内容。 | 目标专利中的“数据同步事件”特指为保证内存访问顺序（如写操作全局可见）而触发的同步操作。对比文件中的“屏障”虽然涉及数据访问，但其作用域是事务内的数据一致性，确保事务的隔离性和原子性，而非目标专利中保证非事务性内存访问顺序的通用数据同步。两者作用不同。因此，对比文件未公开技术特征I。 |
| **技术特征J**：并且其中确定所述下一个指令是否包括类型对应于所述第一同步事件的同步屏障包括检测所述下一个指令是否是数据同步屏障。<br>**未公开** | 未在对比文件中发现相关公开内容。 | 如对特征E和I的论述，对比文件未公开目标专利定义的“数据同步事件”，也未公开“数据同步屏障”指令。因此，技术特征J未被公开。 |
| **技术特征K**：其中检测所述第一同步事件包括设定同步旗标。<br>**未公开** | 未在对比文件中发现相关公开内容。 | 目标专利中设定“同步旗标”是为了记录刚刚发生了一个特定类型的同步事件，以便与下一个指令进行比较。对比文件中使用了多种状态标志或指示器，例如事务状态寄存器（TSR）中的`LOSS_BF`位（[0042], [0053]段）、缓存行的监控位（[0022]段）、或用于过滤的“버퍼링된”属性（[0036], 表1）。这些标志的作用是跟踪事务状态（如是否有缓存行丢失）、指示缓存行是否被监控或缓冲、或避免冗余的事务屏障操作，而不是用于标记一个刚刚发生的、与指令/数据顺序相关的同步事件。因此，对比文件未公开技术特征K。 |
| **技术特征L**：其进一步包括响应于确定所述下一个指令不包括类型对应于所述第一同步事件的同步屏障而清除所述同步旗标。<br>**未公开** | 未在对比文件中发现相关公开内容。 | 由于对比文件未公开用于标记同步事件的“同步旗标”（特征K），因此也不存在基于下一个指令的判断来清除该旗标的操作。技术特征L未被公开。 |
| **技术特征M**：其中确定所述下一个指令是否包括类型对应于所述第一同步事件的同步屏障包括确定是否设定所述同步旗标。<br>**未公开** | 未在对比文件中发现相关公开内容。 | 由于对比文件未公开目标专利所述的“同步旗标”（特征K），因此也不存在通过检查该旗标来判断下一个指令是否为冗余同步屏障的操作。技术特征M未被公开。 |
| **技术特征N**：其中从所述指令流消除所述下一个指令包括用指示无操作的指令代替所述指令流中的所述下一个指令。<br>**未公开** | 未在对比文件中发现相关公开内容。 | 目标专利中，消除冗余同步屏障的一种具体方式是用NOP（无操作）指令替换它。对比文件虽然通过过滤逻辑跳过了某些屏障操作（如表1中的`if (블록 버퍼링됨) return;`），但这是指不执行该屏障操作所包含的一系列步骤，并未提及用一条明确的“NOP指令”来替换原始指令流中的某条指令。因此，对比文件未公开技术特征N。 |
| **技术特征O**：其中从所述指令流消除所述下一个指令包括从所述指令流移除所述下一个指令。<br>**未公开** | 未在对比文件中发现相关公开内容。 | 目标专利中，消除冗余同步屏障的另一种方式是从指令流中直接移除该指令。对比文件没有描述从连续的指令流中物理移除某条指令的机制。其过滤和跳过操作是在执行逻辑层面，不影响指令流的静态或动态序列。因此，对比文件未公开技术特征O。 |
<<<d>>>