CN104657109A - 自适应优化的比较-交换操作 - Google Patents

自适应优化的比较-交换操作 Download PDF

Info

Publication number
CN104657109A
CN104657109A CN201410815077.4A CN201410815077A CN104657109A CN 104657109 A CN104657109 A CN 104657109A CN 201410815077 A CN201410815077 A CN 201410815077A CN 104657109 A CN104657109 A CN 104657109A
Authority
CN
China
Prior art keywords
instruction
cache line
bit
logic unit
compare
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Granted
Application number
CN201410815077.4A
Other languages
English (en)
Other versions
CN104657109B (zh
Inventor
J·B·弗莱曼
A·T·福赛思
E·格罗霍夫斯基
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Intel Corp
Original Assignee
Intel Corp
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Intel Corp filed Critical Intel Corp
Publication of CN104657109A publication Critical patent/CN104657109A/zh
Application granted granted Critical
Publication of CN104657109B publication Critical patent/CN104657109B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for program control, e.g. control units
    • G06F9/06Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/30Arrangements for executing machine instructions, e.g. instruction decode
    • G06F9/30003Arrangements for executing specific machine instructions
    • G06F9/3004Arrangements for executing specific machine instructions to perform operations on memory
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for program control, e.g. control units
    • G06F9/06Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/30Arrangements for executing machine instructions, e.g. instruction decode
    • G06F9/30003Arrangements for executing specific machine instructions
    • G06F9/30076Arrangements for executing specific machine instructions to perform miscellaneous control operations, e.g. NOP
    • G06F9/30087Synchronisation or serialisation instructions

Landscapes

  • Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Memory System Of A Hierarchy Structure (AREA)

Abstract

公开了执行快速比较-交换操作的技术。更具体地说,描述了实现快速比较-交换操作以及高速缓存行标记操作的机器可读介质、处理器和系统,所述高速缓存行标记操作使得能够进行所述快速比较-交换操作。

Description

自适应优化的比较-交换操作
本申请是申请日为2010年12月17日、申请号为201010599713.6的同名专利申请的分案申请。
技术领域
本发明涉及在由计算处理器执行的代码中实现的比较-交换操作。
背景技术
CMPXCHG(比较-交换)操作通常被用作构成在代码区域(即,指令、操作等)周围的临界区的指令序列中的一个指令。它允许代码区域原子地执行。当满足两个条件时指令集可以被认为是原子的:第一,直到整个指令集完成,没有其他进程可以知道做出的改变,以及第二,如果集合中的任何一个指令失败那么整个指令集失败。当整个指令集失败时,执行指令的计算机系统的状态恢复为指令中任何一个开始之前其所处的状态。在一些实施例中,CMPXCHG指令可以被认为是具有临界区的代码区域的软件定义的包装(wrapper)。换言之,可以将该包装设计为软件代码,但是其不是硬件这样实施意义上的包装。
CMPXCHG指令通过检查以确保在原子集开始时从存储器获取的值在指令集的执行期间没有被另一进程修改来帮助原子地执行该指令集。例如,如果存储器中特定位置的值被加载到位于原子指令集合的开头的寄存器中,那么在该指令集完成之后可能有将新(即,修改的)值加载回原始存储器位置的请求(该修改的值是该指令集的结果)。
可以在原子指令集结束时使用CMPXCHG指令检查从特定存储器位置原始加载的值是否仍然在存储器的该位置中(即,没有被另一进程或线程在原子指令集执行期间的某个时候修改)。如果原始值仍然在那里,那么CMPXCHG指令将新的值加载到存储旧的值的该特定存储器位置,并且原子指令集成功地完成。如果原始值不在那里,这意味着另一进程或线程在原子指令集执行期间修改了该值,那么CMPXCHG指令不将新的值加载到所述特定存储器位置,而是向系统通知该情况,并且作为通知的结果,可以在代码中实现有条件跳转以跳转到原子指令集的开始处以进行另一成功完成的尝试。
附图说明
本发明以示例的方式来说明并且不受附图限制,在附图中,相似的标号指示类似的元件,并且其中:
图1说明了用于CLMARK命令的高速缓存行标签的集合的实施例。
图2是说明关于是执行完整的CMPXCHG微操作序列还是只执行CMPXCHG操作的STORE部分的FASTCMPXCHG指令决策树的实施例的流程图。
图3说明了包括能够执行CLMARK和FASTCMPXCHG指令的一个或多个CPU核心的计算机系统的实施例。
具体实施方式
描述了实现自适应优化的比较-交换操作的机器可读介质、处理器以及系统的实施例。
引入了两个指令:CLMARK(高速缓存行标记)和FASTCMPXCHG(快速比较-交换)。CLMARK指令在标签识别结构中用微架构暗示比特(hint bit)为特定的高速缓存行加标签。当被检验时,暗示比特能够通知处理器中的执行逻辑准备执行两个方法中的FASTCMPXCHG方法。具体地说,从高速缓存读取的在原子指令序列中使用的数据会或不会被篡改。如果数据在原子指令序列期间未被篡改(即,修改),那么FASTCMPXCHG指令退回到标准CMPXCHG(比较-交换)指令,其包括LOAD-COMPARE-STORE(加载-比较-存储)的微操作序列。另一方面,如果通过检验标签识别结构中的暗示比特,执行逻辑可以确定在特定高速缓存行中的数据明确地没有被修改,那么可以执行CMPXCHG的“快速”版本,其中唯一使用的微操作是最后的STORE。因此,在许多实施例中,LOAD和COMPARE微操作可以被丢弃而无需执行,并且这可以加快处理器中的执行效率。
在以下说明书和权利要求中引用的本公开技术的“一个实施例”、“实施例”是指结合该实施例而描述的具体特征、结构或特性被包括在所公开技术的至少一个实施例中。因此,在整个说明书不同位置中,短语“在一个实施例中”的多次出现不一定全部都是指同样的实施例。在以下说明书和权利要求中,可以使用术语“包括”和“包含”以及它们的派生词,并且意图将它们用作彼此的同义词。
在当今的多线程环境中,在执行中间可以中断正执行原子指令集的线程。然后另一线程可以被给予存储器的控制并且潜在地改变一些或许多存储的值。这仅是原子指令集使用的在存储器位置处的值在新的值有机会被重写到同一存储器位置之前可能已经被修改的原因的一个例子。
实际的CMPXCHG指令的使用实质上包括以下基本格式:
lock CMPXCHG[mem],rdx
具体地说,CMPXCHG执行流程导致发生以下操作:
1)将存储在[mem](由mem地址指向的存储器位置)的值加载(LOAD指令)到第一寄存器(“第一”寄存器包括执行逻辑针对嵌入在CMPXCHG中的LOAD微操作所使用的专用寄存器)中。
2)将第一寄存器中的值与eax/rax寄存器(eax还是rx取决于操作数的大小)进行比较(COMPARE微操作)。
3)如果比较表明两个值相等(即,存储器中的值没有改变),那么将rdx寄存器中的值写入(STORE微操作)到[mem]。
4)如果比较表明两个值不同(即,存储器中的值已改变),那么将存储在[mem]中的当前值加载到eax/rax中。
lock(锁定)前缀使得CMPXCHG指令本身变为原子指令。这是推荐的,因为CMPXCHG指令被分解成上文描述的LOAD-COMPARE-STORE微操作组合。
整个COMXCHG指令成功还是失败基于上文步骤2中的COMPARE指令的结果。用于检查CMPXCHG成功的简单方法是如果它成功那么零标志(ZF)被设置,如果没有成功那么ZF被清零。微操作集合(LOAD-COMPARE-STORE)在CMPXCHG指令本身之前的某个时刻以额外的LOAD指令作为开端,因为在该原子指令集开始时,CMPXCHG指令需要将[mem]处的值初始LOAD到eax/rax寄存器中。整个原子指令集的例子可以类似于以下代码:
当使用CMPXCHG指令时,使用的LOAD-COMPARE-STORE微操作组合是串行依赖的流。由于该串行流的依赖性,完成CMPXCHG指令所需微操作的数量可能是很大的。
如前文所述,CMPXCHG指令通常用作构成在代码区域周围的临界区的指令序列中的一个指令,并且特别用于确定另一进程/线程是否对讨论中的在特定存储器位置处的值进行了修改。如果讨论中的核心内没有其他的进程/线程中断过原子指令集的代码流并且如果没有运行不同代码的其他核心监听讨论中的高速缓存行,那么在该存储器位置处的值将没有改变。因此,如果可以在甚至不用看在存储器位置处的值的情况下预先知道没有同一核心或另一核心中的其他进程/线程修改了在该存储器位置处的存储器内容,那么一般将不需要执行CMPXCHG指令的LOAD和COMPARE部分。相反,如果通过其他的方法,可以确定对在存储器位置处的值没有外部(即,其他进程/线程/核心)的影响,那么CMPXCHG指令唯一需要的部分将是将新的值返回到该存储器位置的最后STORE微操作。
所以,在许多实施例中,可以实现两个新的指令以提供标准CMPXCHG微操作组合中通常未必执行的COMPARE-STORE部分。换言之,在多数情况下,新指令将允许仅执行组合的STORE部分。
在许多实施例中,这两个指令可以被称为CLMARK指令和FASTCMPXCHG指令。第一新指令是CLMARK。CLMARK指令可以具有以下特定的格式:
CLMARK8B mem
Mem字段包括落在一个高速缓存行内的基础存储器地址。8B字段指示考虑从mem地址开始有多少字节用于FASTCMPXCHG指令。在许多实施例中,可以有多个CLMARK指令的版本,其具有的8B字段支持所有2的幂的字节大小,直至CPU(中央处理单元)的高速缓存行大小。
CLMARK操作在mem位置引用的目标高速缓存行上设置需要的唯一识别标签,来指示原子序列的预期的所有权。例如,可以在唯一识别标签中使用“有效”比特以表明该特定mem位置的高速缓存行中的数据仍然有效。此外,如果CPU支持每个核心多个硬件上下文,那么唯一识别标签还可以包括硬件上下文ID。唯一识别标签中的另一个额外的可能性是可以包括用于每一个高速缓存行的比特-屏蔽(bit-mask)(或潜在地在存储于CPU内的专门小表中)。针对高速缓存行中的每一个字节,比特-屏蔽可以使用单个比特。该比特-屏蔽可以用来最小化在共享数据结构中的误共享冲突。
如果CPU不支持CLMARK指令,那么核心中的执行逻辑可以仅用“无操作”(NOP)指令取代每一个CLMARK。该CLMARK→NOP替换是将CLMARK标签比特认为是暗示比特的原因。此外,实现CLMARK/FASTCMPXCHG指令的系统也可以随时进行CLMARK→NOP替换。关于能够使用CLMARK/FASTCMPXCHG的系统替代地决定使用CMPXCHG的原因,可以有许多例子。例如,内部共享资源已被耗尽、发生了特定事件,以及设置了调试/测试寄存器等等原因。
图1说明了用于CLMARK命令的高速缓存行标签集合的实施例。
如所陈述的,每一个标签可以包括一个或多个以下结构部件:高速缓存行标签ID 100、有效比特102、HW上下文ID 104,以及比特-屏蔽106。图1中说明的所有标签信息可以作为整体被称为标签识别结构。在许多实施例中,比特-屏蔽基于每个字节屏蔽高速缓存行,其中每个字节具有用于屏蔽的其自己的比特。因此,如果高速缓存行中有N个字节,那么在用于字节0到N-1的比特-屏蔽中存在多个比特。当执行CLMARK指令时,mem基地址和8B大小字段用于设置适合的比特-屏蔽值,其为即将到来的FASTCMPXCHG序列涉及的高速缓存行中的那些字节加标志。
在可替代的实施例中,可以不使用每字节比特-屏蔽字段。当不使用每字节比特-屏蔽字段时,单个比特可以用于整个高速缓存行来指示CLMARK/FASTCMPXCHG指令中涉及的高速缓存行。
FASTCMPXCHG是第二新指令。FASTCMPXCHG指令可以具有以下特定的格式:
lock FASTCMPXCHG8B[mem],testval,newval
以与原始CMPXCHG指令不同的方式给出FASTCMPXCHG指令,以避免遗留代码问题。换言之,如果CMPXCHG指令被更新以像FASTCMPXCHG指令那样操作,则使用CMPXCHG的遗留代码可能不包括正确的格式或可能有意外事件,因此使用两个单独的指令。遗留和新的指令可以或可以不共享执行单元。但是,考虑到两个指令之间功能复制的量,在遗留的和新的指令间可以高效地共享执行单元。
FASTCMPXCHG[mem]字段指向存储器中位置的基本存储器地址,其对应于存储要用于比较和交换目的的值的高速缓存行。与上文中CLMARK8B字段的目的对应地,该8B字段指示考虑从[mem]地址开始有多少字节用于FASTCMPXCHG指令。在许多实施例中,可以有多个FASTCMPXCHG指令的版本,其具有的8B字段支持所有2的幂的字节大小,直至CPU的高速缓存行大小。
如上文所详述的,FASTCMPXCHG指令分解为单独的LOAD-COMPARE-STOREμop(微操作)阶段,但是在LOAD之前可以存在分支。内部分支确定是否顺序地执行全部LOAD-COMPARE-STOREμop序列,或是否跳过LOAD-COMPARE部分并且实际上只执行STORE。FASTCMPXCHG指令中的分支基于多个决策来确定要采取哪条路径。因此,FASTCMPXCHG操作可在任一种情况下适于在执行该代码的硬件上工作。
图2是说明关于是执行完整的CMPXCHG微操作序列还是只执行CMPXCHG操作的STORE部分的FASTCMPXCHG指令决策树的实施例的流程图。
确定决策树中在哪个方向继续进行的处理逻辑可以包括硬件(例如,执行单元电路)、固件(例如,通用CPU微代码),或硬件和固件二者的组合。转向图2,处理逻辑从接收执行管线中的FASTCMPXCHG操作开始(处理框200)。处理逻辑然后查找包括与FASTCMPXCHG指令相关联的微架构暗示比特的高速缓存行标签(处理框202)。如果硬件能够处理FASTCOMPXCHG,则前一个CLMARK可以利用的标签将被呈现给每条高速缓存行。如果硬件不具有该标签,那么不支持CLMARK和FASTCMPXCHG。所以,处理逻辑然后将仅使用[mem]、testval和newval参数,来执行标准CMPXCHG指令以替代代码中列出的FASTCMPXCHG指令(处理框212)。
否则,如果存在包含微架构暗示比特的标签,那么处理逻辑进行检查以查看暗示比特对于[mem]地址是否有效(处理框204)。处理逻辑可以通过检查匹配[mem]地址的高速缓存行标签的“有效”比特(如图1中所述)来确定该比特是否有效。CLMARK指令可以将该比特设置为“有效”。如果没有设置“有效”比特,那么该高速缓存行中的数据对于FASTCMPXCHG指令不是有效的数据,并且处理逻辑然后使用[mem]、testval和newval参数执行正常的CMPXCHG指令(处理框212)。如果设置了“有效”比特,那么表明在[mem]地址处的高速缓存行中的数据是有效的,并且处理逻辑然后将确定当前硬件上下文是否与高速缓存行标签中的微架构暗示比特中的硬件上下文ID(即,图1中暗示比特104)匹配(处理框206)。如果硬件不支持多个硬件上下文,那么HW上下文ID 104暗示比特将始终相同并且处理的该部分将始终成功。如果支持多个硬件上下文,那么HW上下文ID104将需要匹配,以使得处理的该部分成功。
如果HW上下文ID没有匹配,那么处理逻辑使用[mem]、testval和newval参数执行正常的CMPXCHG指令(处理框212)。另一方面,如果HW上下文ID匹配或HW不支持多个上下文,那么处理逻辑确定是否正确地设置了比特-屏蔽(处理框208)。处理逻辑将CLMARK比特-屏蔽与FASTCMPXCHG比特-屏蔽进行比较。如果这些比特-屏蔽不匹配,那么处理逻辑使用[mem]、testval和newval参数执行正常的CMPXCHG指令(处理框212)。否则,如果比特-屏蔽匹配,那么处理逻辑然后可以继续前进并且执行新的FASTCMPXCHG指令,其使得在不执行CMPXCHG指令的LOAD-COMPARE部分的情况下直接存储(STORE)新的值。
如所描述的,如果图2中决策树的任何分叉失败,那么正常的CMPXCHG始终作为退回情况而被执行。这确保代码的向前进行。
在以下任何一个条件下,可以针对给定的高速缓存行对微架构暗示比特(图1中详细描述)进行清零和设置为无效:
1)在高速缓存行上成功地执行了FASTCMPXCHG指令。
2)从高速缓存回收具有暗示比特的高速缓存行。
3)以该高速缓存行为目标的另一硬件上下文执行CLMARK。
4)由任意硬件上下文对该高速缓存行进行写入。
5)发生中断。
6)在CLMARK发生时与FASTCMPXCHG指令成功完成之前的时间期间发生任何硬件故障。
在其他实施例中,当FASTCMPXCHG指令成功执行时,微架构暗示比特可以不被清零。在以下情况下不对暗示比特清零可以更高效:只要指令对相同数据进行操作,后续FASTCMPXCHG操作可以在没有与CLMARK指令相关联的开销的情况下发生。
在使用比特-屏蔽的许多实施例中,上文中列出的用于使高速缓存行暗示比特清零和无效的规则可以被相应地修改,以考虑以下高速缓存情形:尽管高速缓存行可能受影响,但是由CLMARK加标志的字节没有受特别地影响。
此外,lock前缀还可以用于FASTCMPXCHG指令,以将其变为原子指令。这是推荐的,因为如果通过除去CMPXCHG指令中的LOAD-COMPARE部分未使FASTCMPXCHG指令成功进行,那么要执行完整的LOAD-COMPARE-STORE微操作组合,因此需要锁定,正如原始CMPXCHG指令所需的一样。
下面描述了执行CLMARK-FASTCMPXCHG指令的CPU的实施例。在该实施例中,CPU包括能够用需要的微架构暗示比特为高速缓存加标志的一个或多个核心。整个数量的样本代码列出如下:
图3说明了包括能够执行CLMARK和FASTCMPXCHG指令的一个或多个CPU核心的计算机系统的实施例。
示出了计算机系统300。计算机系统可以是台式机、服务器、工作站、膝上型计算机、手持设备、电视机顶盒、媒体中心、游戏控制台、集成系统(例如在汽车中),或其他类型的计算机系统。在若干实施例中,计算机系统300包括一个或多个中央处理单元(CPU)。尽管在许多实施例中潜在地有许多CPU,但是为了清楚在图3中示出的实施例中只示出了两个CPU(302和304)。CPU 302和304可以是公司的CPU或另外品牌的CPU。每个CPU包括一个或多个核心。在示出的实施例中,CPU 302包括核心A0(306)、核心A1(308)、核心A2(310)和核心A3(312),并且CPU 304包括核心B0(314)、核心B1(316)、核心B2(318)以及核心B3(320)。
在其他的实施例中,CPU 302和304的每一个可以具有多于或少于图3中示出的每一个具有的四个核心的多个核心。在许多实施例中,每一个核心(例如核心A0(306))包括内部功能块,例如一个或多个执行单元、收回单元、通用和专用寄存器集合等。如果图3中示出的核心是多线程的或超线程的,那么每一个硬件线程也可以被认为是核心。
CPU 302和304的每一个还可以分别包括一个或多个高速缓存,例如末级高速缓存(LLC)322和324。在没有示出的许多实施例中,实现了不同于高速缓存322和324的另外的高速缓存,其中在每一个核心中的执行单元和存储器之间存在多级高速缓存。在不同的实施例中,可以以不同的方式分配高速缓存。在不同的实施例中,高速缓存322和324中每一个可以是多个不同大小中的一个。例如,高速缓存322和324每一个可以是8兆字节(MB)高速缓存、16MB高速缓存等。此外,在不同的实施例中,高速缓存可以是直接映射高速缓存、全相联高速缓存、多路组相联高速缓存(multi-way set-associative cache),或具有其他类型映射的高速缓存。每一个高速缓存可以包括在各个CPU中所有核心之间共享的一个大部分,或可以被分为数个单独的功能片(例如,每个核心一片)。每个高速缓存还可以包括在所有核心之间共享的一个部分,和作为每核心单独的功能片的数个其他部分。
在许多实施例中,CPU 302和304的每一个包括其自己的系统存储器控制器(分别为326和328),用于提供与系统存储器330和332进行通信的接口。在没有示出的其他实施例中,存储器控制器330和332可以是分立的设备或被集成到计算机系统300中的其他设备内。
系统存储器330和332可以包括动态随机存取存储器(DRAM)(例如一种双倍数据速率(DDR)DRAM)、非易失性存储器(例如闪速存储器、相变存储器(PCM)),或另外类型的存储器技术。系统存储器330和332可以是存储分别由CPU 302和304操作的数据和指令的通用存储器。此外,计算机系统300中还可以存在能够对系统存储器进行读取和写入的其他可能的设备,例如具备直接存储器存取(DMA)能力的I/O(输入/输出)设备。
将每个CPU与每一个各自的系统存储器耦合起来的链路(即,总线、互连等)可以包括能够传输数据、地址、控制以及时钟信息的一个或多个光、金属或其他线(即,线路)。
此外,CPU 302和304可以分别使用P2P接口电路334和336通过点到点(P2P)接口与彼此进行通信。P2P接口可以包括高速双向串行链路、分离的多对单向串行链路,或并行实现的链路等等。除了彼此通信,CPU 302和304还可以通过相同类型的P2P接口与高性能接口复合体338进行通信。具体地,CPU 302可以通过在CPU侧的P2P接口电路340和在复合体338侧的P2P接口电路342与复合体338进行通信,并且CPU 304可以通过在CPU侧的P2P接口电路344和在复合体338侧的P2P接口电路346与复合体338进行通信。
高性能接口复合体338可以为需要高数据吞吐量的任何子系统提供接口。例如,高性能图形子系统348可以通过I/O接口350与CPU进行通信,并且高性能通信子系统352可以通过I/O接口354进行通信。高性能接口复合体338还可以包括用于与使用I/O接口360的I/O集线器复合体358进行通信的I/O接口356。用于计算机系统300中示出的每一个I/O接口的电路可以是相同的或可以是不同的。例如,将高性能图形子系统348耦合到复合体338的I/O接口350可以包括16通道外围组件接口(PCI)-快速协议链路,而将高性能接口复合体338耦合到I/O复合体358的I/O接口356可以使用不同的协议。
I/O集线器复合体358可以在耦合到一个或多个I/O互连(即,总线)的设备与CPU 302和304之间提供通用通信接口。例如,I/O集线器复合体358可以包括主控制器362和364。每一个主控制器可以提供允许I/O设备通信地耦合到计算机系统300的其余部件的接口。例如,一个I/O集线器复合体可以是通用串行总线(USB)集线器复合体,而另一个可以是遗留的PCI集线器复合体。示出的I/O设备366和370分别耦合到I/O主控制器362和364。在许多实施例中,可以存在耦合到I/O主控制器(例如I/O主控制器362)的大容量存储设备368。大容量存储设备368可以是硬盘驱动器、固态驱动器、相变存储器阵列,或另外形式的大容量储存器。此外,可以存在与其他遗留的总线有接口的一个或多个桥。例如,桥372可以耦合到I/O主控制器接口,并且该桥可以提供到在其上耦合I/O设备374的另一协议互连/总线的协议转换。
能够成功地执行CLMARK和FASTCMPXCHG指令的处理逻辑的至少一个实施例可以存在于计算机系统300的每一个核心中。该逻辑由分别位于核心A0(306)、A1(308)、A2(310)和A3(312)中的处理逻辑400、402、404和406表示,以及由分别位于B0(314)、B1(316)、B2(318)和B3(320)中的处理逻辑408、410、412和414表示。此外,在其他实施例中,能够成功执行CLMARK和FASTCMPXCHG指令的处理逻辑可以遍及图3中说明的若干电路、逻辑单元或设备而分布。
尽管没有说明,但是使用CPU、总线、存储器等的不同布局的其他计算机系统实现对于实现本发明而言也是完全可接受的。
此外,在操作期间,包括CLMARK和FASTCMPXCHG指令的代码在不同时间可以驻留在计算机系统300中的一个或多个位置。例如,实现新的指令的代码416可以驻留(即,被存储在)系统存储器330或332中(代码416A或代码416B)、高速缓存322或324中(代码416C或代码416D)、大容量存储设备368中(代码416E),或计算机系统300内部或外部的其他地方。
因此,描述了用于实现自适应优化的比较-交换操作的机器可读介质、处理器以及系统的实施例。参考其具体的示例性实施例描述了这些实施例。对于从本公开获益的人员将显而易见的是,可以在不脱离本文描述的实施例的宽泛精神和范围的情况下,对这些实施例进行各种修改和改变。本说明书和附图应当相应地被认为是说明性的而非限制性的。

Claims (18)

1.一种用于执行指令的处理器,包括:
一个或多个高速缓存;
一个或多个核心,耦合到所述一个或多个高速缓存,其中每个所述核心包括处理逻辑单元,所述处理逻辑单元包括:
解码逻辑单元,被配置为用于解码快速比较-交换指令;以及
执行逻辑单元,被配置为用于在所述快速比较-交换指令被解码之后执行所述快速比较-交换指令,
其中,所述快速比较-交换指令的执行包括:
确定从存储器地址位置读取的在原子指令序列中使用的数据是否在所述原子指令序列期间被修改;
如果所述数据被修改,则对所述存储器地址位置执行标准的比较-交换指令,所述标准的比较-交换指令包括顺序地执行的加载-比较-存储微操作序列;以及
如果所述数据未被修改,则对所述存储器地址位置仅执行存储微操作。
2.根据权利要求1所述的处理器,其中:
所述解码逻辑单元进一步被配置为用于解码高速缓存行标记指令;以及
所述执行逻辑单元进一步被配置为用于在所述高速缓存行标记指令被解码之后执行所述高速缓存行标记指令。
3.根据权利要求2所述的处理器,其中,所述处理器还包括:
寄存器,被配置为用于存储存储器地址位置。
4.根据权利要求3所述的处理器,其中,所述执行逻辑单元进一步被配置为用于:
设置高速缓存行的标签识别结构中的有效比特,所述高速缓存行存储从所述存储器地址位置处的存储器获取的数据。
5.根据权利要求4所述的处理器,其中,所述执行逻辑单元进一步被配置为用于:
设置所述标签识别结构中的比特-屏蔽,所述比特-屏蔽指示所述高速缓存行的哪些比特与所述高速缓存行标记操作相关。
6.根据权利要求5所述的处理器,其中,所述执行逻辑单元进一步被配置为用于:
设置所述标签识别结构中的硬件上下文识别值,所述硬件上下文识别值指示执行所述高速缓存行标记操作的特定硬件上下文。
7.根据权利要求6所述的处理器,其中,所述执行逻辑单元进一步被配置为用于:
确定是否设置了所述有效比特;
确定是否在高速缓存行标记比特-屏蔽和快速比较-交换比特屏蔽之间正确地设置了所述比特-屏蔽;以及
确定当前的硬件上下文与所述特定硬件上下文是否匹配;
其中,响应于所有确定被确认,所述执行逻辑可操作来判定所述数据在所述原子指令序列期间未被修改。
8.根据权利要求2所述的处理器,其中,所述执行逻辑单元进一步被配置为用于:
响应于确认所述处理器不支持所述高速缓存行标记指令,用无操作指令替换所述高速缓存行标记指令。
9.一种用于执行指令的系统,包括:
系统存储器;
一个或多个处理器,耦合到所述系统存储器,其中每个所述处理器包括;
一个或多个高速缓存;
一个或多个核心,耦合到所述一个或多个高速缓存,其中每个所述核心包括处理逻辑单元,所述处理逻辑单元包括:
解码逻辑单元,被配置为用于解码快速比较-交换指令;以及
执行逻辑单元,被配置为用于在所述快速比较-交换指令被解码之后执行所述快速比较-交换指令,
其中,所述快速比较-交换指令的执行包括:
确定从存储器地址位置读取的在原子指令序列中使用的数据是否在所述原子指令序列期间被修改;
如果所述数据被修改,则对所述存储器地址位置执行标准的比较-交换指令的模块,所述标准的比较-交换指令包括顺序地执行的加载-比较-存储微操作序列;以及
如果所述数据未被修改,则对所述存储器地址位置仅执行存储微操作。
10.如权利要求9所述的系统,其中,所述系统存储器被配置为用于存储实现所述快速比较-交换指令的代码。
11.如权利要求9所述的系统,其中,所述一个或多个处理器还包括:
系统存储器控制器,被配置为用于提供与所述系统存储器进行通信的接口。
12.根据权利9所述的系统,其中:
所述解码逻辑单元进一步被配置为用于解码高速缓存行标记指令;以及
所述执行逻辑单元进一步被配置为用于在所述高速缓存行标记指令被解码之后执行所述高速缓存行标记指令。
13.根据权利要求12所述的系统,其中,所述处理器还包括:
寄存器,被配置为用于存储存储器地址位置。
14.根据权利要求13所述的系统,其中,所述执行逻辑单元进一步被配置为用于:
设置高速缓存行的标签识别结构中的有效比特,所述高速缓存行存储从所述存储器地址位置处的存储器获取的数据。
15.根据权利要求14所述的系统,其中,所述执行逻辑单元进一步被配置为用于:
设置所述标签识别结构中的比特-屏蔽,所述比特-屏蔽指示所述高速缓存行的哪些比特与所述高速缓存行标记操作相关。
16.根据权利要求15所述的系统,其中,所述执行逻辑单元进一步被配置为用于:
设置所述标签识别结构中的硬件上下文识别值,所述硬件上下文识别值指示执行所述高速缓存行标记操作的特定硬件上下文。
17.根据权利要求16所述的系统,其中,所述执行逻辑单元进一步被配置为用于:
确定是否设置了所述有效比特;
确定是否在高速缓存行标记比特-屏蔽和快速比较-交换比特屏蔽之间正确地设置了所述比特-屏蔽;以及
确定当前的硬件上下文与所述特定硬件上下文是否匹配;
其中,响应于所有确定被确认,所述执行逻辑可操作来判定所述数据在所述原子指令序列期间未被修改。
18.根据权利要求12所述的系统,其中,所述执行逻辑单元进一步被配置为用于:
响应于确认所述处理器不支持所述高速缓存行标记指令,用无操作指令替换所述高速缓存行标记指令。
CN201410815077.4A 2009-12-18 2010-12-17 自适应优化的比较‑交换操作 Active CN104657109B (zh)

Applications Claiming Priority (3)

Application Number Priority Date Filing Date Title
US12/653,800 2009-12-18
US12/653,800 US8601242B2 (en) 2009-12-18 2009-12-18 Adaptive optimized compare-exchange operation
CN201010599713.6A CN102103482B (zh) 2009-12-18 2010-12-17 自适应优化的比较-交换操作

Related Parent Applications (1)

Application Number Title Priority Date Filing Date
CN201010599713.6A Division CN102103482B (zh) 2009-12-18 2010-12-17 自适应优化的比较-交换操作

Publications (2)

Publication Number Publication Date
CN104657109A true CN104657109A (zh) 2015-05-27
CN104657109B CN104657109B (zh) 2017-09-15

Family

ID=44152793

Family Applications (2)

Application Number Title Priority Date Filing Date
CN201010599713.6A Active CN102103482B (zh) 2009-12-18 2010-12-17 自适应优化的比较-交换操作
CN201410815077.4A Active CN104657109B (zh) 2009-12-18 2010-12-17 自适应优化的比较‑交换操作

Family Applications Before (1)

Application Number Title Priority Date Filing Date
CN201010599713.6A Active CN102103482B (zh) 2009-12-18 2010-12-17 自适应优化的比较-交换操作

Country Status (5)

Country Link
US (1) US8601242B2 (zh)
JP (1) JP5451579B2 (zh)
CN (2) CN102103482B (zh)
DE (1) DE102010053095A1 (zh)
TW (1) TWI608412B (zh)

Families Citing this family (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8447934B2 (en) * 2010-06-30 2013-05-21 Advanced Micro Devices, Inc. Reducing cache probe traffic resulting from false data sharing
US8832505B2 (en) 2012-06-29 2014-09-09 Intel Corporation Methods and apparatus to provide failure detection
US9256466B2 (en) 2013-06-07 2016-02-09 Arm Limited Data processing systems
US9092345B2 (en) * 2013-08-08 2015-07-28 Arm Limited Data processing systems
US10380593B2 (en) 2014-11-10 2019-08-13 Mastercard International Incorporated Systems and methods for detecting compromised automated teller machines
CN105988774A (zh) * 2015-02-20 2016-10-05 上海芯豪微电子有限公司 一种多发射处理器系统和方法
US10223002B2 (en) * 2017-02-08 2019-03-05 Arm Limited Compare-and-swap transaction
CN110515656B (zh) * 2019-08-28 2021-07-16 中国人民解放军国防科技大学 一种casp指令的执行方法、微处理器及计算机设备

Citations (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6128706A (en) * 1998-02-03 2000-10-03 Institute For The Development Of Emerging Architectures, L.L.C. Apparatus and method for a load bias--load with intent to semaphore
US20030233495A1 (en) * 2002-05-15 2003-12-18 Broadcom Corporation Addressing scheme supporting fixed local addressing and variable global addressing
CN1716186A (zh) * 2004-06-30 2006-01-04 英特尔公司 使用睡眠-唤醒机制的比较和交换操作
US20060112306A1 (en) * 2004-11-17 2006-05-25 Chessin Stephen A Method and apparatus for classifying memory errors
US20090113131A1 (en) * 2007-10-26 2009-04-30 Sun Microsystems, Inc. Method and apparatus for tracking load-marks and store-marks on cache lines

Family Cites Families (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2500101B2 (ja) 1992-12-18 1996-05-29 インターナショナル・ビジネス・マシーンズ・コーポレイション 共用変数の値を更新する方法
US5889983A (en) * 1997-01-21 1999-03-30 Intel Corporation Compare and exchange operation in a processing system
US6671792B1 (en) * 2000-04-28 2003-12-30 Hewlett-Packard Development Company, L.P. Share masks and alias for directory coherency
EP1363188B1 (en) * 2002-05-15 2007-08-29 Broadcom Corporation Load-linked/store conditional mechanism in a cc-numa (cache-coherent nonuniform memory access) system

Patent Citations (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6128706A (en) * 1998-02-03 2000-10-03 Institute For The Development Of Emerging Architectures, L.L.C. Apparatus and method for a load bias--load with intent to semaphore
US20030233495A1 (en) * 2002-05-15 2003-12-18 Broadcom Corporation Addressing scheme supporting fixed local addressing and variable global addressing
CN1716186A (zh) * 2004-06-30 2006-01-04 英特尔公司 使用睡眠-唤醒机制的比较和交换操作
US20060112306A1 (en) * 2004-11-17 2006-05-25 Chessin Stephen A Method and apparatus for classifying memory errors
US20090113131A1 (en) * 2007-10-26 2009-04-30 Sun Microsystems, Inc. Method and apparatus for tracking load-marks and store-marks on cache lines

Also Published As

Publication number Publication date
JP2011129104A (ja) 2011-06-30
US8601242B2 (en) 2013-12-03
US20110154000A1 (en) 2011-06-23
JP5451579B2 (ja) 2014-03-26
TW201131472A (en) 2011-09-16
CN104657109B (zh) 2017-09-15
DE102010053095A1 (de) 2011-06-30
CN102103482B (zh) 2015-01-28
TWI608412B (zh) 2017-12-11
CN102103482A (zh) 2011-06-22

Similar Documents

Publication Publication Date Title
CN102103482B (zh) 自适应优化的比较-交换操作
CN101110017B (zh) 一种组合指令的技术
CN100533416C (zh) 控制处理环境的数据传输的方法和系统
CN100478871C (zh) 从队列处理指令刷新的生存期计数器设计的系统和方法
CN101322103B (zh) 无约束事务存储器系统及其方法
TW201823970A (zh) 可靠度提升系統和方法
TW202314486A (zh) 原子式儲存至寬於原生支援資料寬度之記憶體資料的處理器、方法、系統與指令
US9280349B2 (en) Decode time instruction optimization for load reserve and store conditional sequences
CN101788922B (zh) 基于辅助线程实现事务存储系统的方法和装置
KR20060132856A (ko) 비순차적인 dma 명령 큐에서 명령 순서 형성
US9342284B2 (en) Optimization of instructions to reduce memory access violations
TWI733717B (zh) 從亂序處理器中的不良儲存-至-負載轉發復原的方法與設備
US9870301B2 (en) High-speed debug port using standard platform connectivity
CN101403979A (zh) 一种自旋锁的加锁方法及计算机系统
CN114600080A (zh) 解耦访问执行处理
CN104049947A (zh) 基于动态重命名的矢量寄存器堆的寄存器重新配置
US20080065834A1 (en) Method to Prevent Operand Data with No Locality from Polluting the Data Cache
US10241768B2 (en) Controlling execution of binary code
CN114600079A (zh) 用于处理存储器加载请求的装置和方法
US20140281747A1 (en) Fault Handling at a Transaction Level by Employing a Token and a Source-to-Destination Paradigm in a Processor-Based System
CN101583926B (zh) 利用缓冲器便于指令执行的方法和系统
US7353343B2 (en) Memory management system for preventing program execution when CPU fetches execution code from unoccupied region of memory
CN104508626A (zh) 可执行代码数据的无锁流传送
JP2010079676A (ja) 処理方法及び記憶システム

Legal Events

Date Code Title Description
C06 Publication
PB01 Publication
C10 Entry into substantive examination
SE01 Entry into force of request for substantive examination
GR01 Patent grant
GR01 Patent grant