原子指令¶
原子指令，也称为原子操作或者是原子性指令，是指在多处理器系统或多线程环境中执行时不会被中断的操作，即操作要么完全执行，要么完全不执行。因为这些环境中可能有多个处理器或线程同时访问共享资源。原子指令可以确保这些操作不会被打断或部分执行，从而避免数据不一致和出现不可预测的结果。一条原子指令往往包含一组操作，这样可以提高指令集的效率、简化编程模型、减少指令流水线的开销、以及提高处理器的吞吐量。
系统块中原子指令目前主要包含以下几种：
LOAD.OP类指令¶
LOAD.OP类指令从左源寄存器SrcL指定的内存位置读出32或64位的值，将其写入目的寄存器。然后将这个读出的值与右源寄存器SrcR的值执行相应的操作（例如相加，按位与等），计算结果存入SrcL寄存器指定的内存中，并且保证这些步骤都是原子的。
| 微指令 | 汇编格式 | 描述 |
|---|---|---|
| LW.ADD | lw.add<{.aq,.rl,.aqrl}> [SrcL], SrcR, ->{t, u, Rd} | 加内存字写回，输出原内存字 |
| LW.AND | lw.and<{.aq,.rl,.aqrl}> [SrcL], SrcR, ->{t, u, Rd} | 与内存字写回，输出原内存字 |
| LW.OR | lw.or<{.aq,.rl,.aqrl}> [SrcL], SrcR, ->{t, u, Rd} | 或内存字写回，输出原内存字 |
| LW.XOR | lw.xor<{.aq,.rl,.aqrl}> [SrcL], SrcR, ->{t, u, Rd} | 异或内存字写回，输出原内存字 |
| LW.SMAX | lw.smax<{.aq,.rl,.aqrl}> [SrcL], SrcR, ->{t, u, Rd} | 内存字比较有符号最大值写回，输出原内存字 |
| LW.UMAX | lw.umax<{.aq,.rl,.aqrl}> [SrcL], SrcR, ->{t, u, Rd} | 内存字比较无符号最大值写回，输出原内存字 |
| LW.SMIN | lw.smin<{.aq,.rl,.aqrl}> [SrcL], SrcR, ->{t, u, Rd} | 内存字比较有符号最小值写回，输出原内存字 |
| LW.UMIN | lw.umin<{.aq,.rl,.aqrl}> [SrcL], SrcR, ->{t, u, Rd} | 内存字比较无符号最小值写回，输出原内存字 |
| LD.ADD | ld.add<{.aq,.rl,.aqrl}> [SrcL], SrcR, ->{t, u, Rd} | 加内存双字写回，输出原内存双字 |
| LD.AND | ld.and<{.aq,.rl,.aqrl}> [SrcL], SrcR, ->{t, u, Rd} | 与内存双字写回，输出原内存双字 |
| LD.OR | ld.or<{.aq,.rl,.aqrl}> [SrcL], SrcR, ->{t, u, Rd} | 或内存双字写回，输出原内存双字 |
| LD.XOR | ld.xor<{.aq,.rl,.aqrl}> [SrcL], SrcR, ->{t, u, Rd} | 异或内存双字写回，输出原内存双字 |
| LD.SMAX | ld.smax<{.aq,.rl,.aqrl}> [SrcL], SrcR, ->{t, u, Rd} | 内存双字比较有符号最大值写回，输出原内存双字 |
| LD.UMAX | ld.umax<{.aq,.rl,.aqrl}> [SrcL], SrcR, ->{t, u, Rd} | 内存双字比较无符号最大值写回，输出原内存双字 |
| LD.SMIN | ld.smin<{.aq,.rl,.aqrl}> [SrcL], SrcR, ->{t, u, Rd} | 内存双字比较有符号最小值写回，输出原内存双字 |
| LD.UMIN | ld.umin<{.aq,.rl,.aqrl}> [SrcL], SrcR, ->{t, u, Rd} | 内存双字比较无符号最小值写回，输出原内存双字 |
LOAD.OP类原子指令可以通过"aq"和"rl"两个后缀来添加额外的内存访问顺序限制，以保证内存访问的一致性。具体定义请见“内存访问限制参数表”。
STORE.OP类指令¶
STORE.OP类指令与LOAD.OP类指令基本功能相同，只不过没有目的寄存器，不会返回指定内存位置上没有修改之前的值。
| 微指令 | 汇编格式 | 描述 |
|---|---|---|
| SW.ADD | sw.add<{.rl}> [SrcL], SrcR | 加内存字写回 |
| SW.AND | sw.and<{.rl}> [SrcL], SrcR | 与内存字写回 |
| SW.OR | sw.or<{.rl}> [SrcL], SrcR | 或内存字写回 |
| SW.XOR | sw.xor<{.rl}> [SrcL], SrcR | 异或内存字写回 |
| SW.SMAX | sw.smax<{.rl}> [SrcL], SrcR | 内存字比较有符号最大值写回 |
| SW.UMAX | sw.umax<{.rl}> [SrcL], SrcR | 内存字比较无符号最大值写回 |
| SW.SMIN | sw.smin<{.rl}> [SrcL], SrcR | 内存字比较有符号最小值写回 |
| SW.UMIN | sw.umin<{.rl}> [SrcL], SrcR | 内存字比较无符号最小值写回 |
| SD.ADD | sd.add<{.rl}> [SrcL], SrcR | 加内存双字写回 |
| SD.AND | sd.and<{.rl}> [SrcL], SrcR | 与内存双字写回 |
| SD.OR | sd.or<{.rl}> [SrcL], SrcR | 或内存双字写回 |
| SD.XOR | sd.xor<{.rl}> [SrcL], SrcR | 异或内存双字写回 |
| SD.SMAX | sd.smax<{.rl}> [SrcL], SrcR | 内存双字比较有符号最大值写回 |
| SD.UMAX | sd.umax<{.rl}> [SrcL], SrcR | 内存双字比较无符号最大值写回 |
| SD.SMIN | sd.smin<{.rl}> [SrcL], SrcR | 内存双字比较有符号最小值写回 |
| SD.UMIN | sd.umin<{.rl}> [SrcL], SrcR | 内存双字比较无符号最小值写回 |
STORE.OP类原子指令需要通过"rl"后缀来添加额外的内存访问顺序限制，以保证内存访问的一致性。详细定义请见“内存访问限制参数表”。
原子交换指令¶
原子交换指令从寄存器SrcL指定的内存位置读取8,16,32或64位的值，将其写入目的寄存器。然后再将寄存器SrcR中8,16,32或64位的值存入寄存器SrcL指定的内存中，并且保证这些步骤都是原子的。
| 微指令 | 汇编格式 | 描述 |
|---|---|---|
| SWAPB | swapb<{.aq,.rl,.aqrl}> [SrcL], SrcR, ->{t, u, Rd} | 内存与寄存器交换字节 |
| SWAPH | swaph<{.aq,.rl,.aqrl}> [SrcL], SrcR, ->{t, u, Rd} | 内存与寄存器交换半字 |
| SWAPW | swapw<{.aq,.rl,.aqrl}> [SrcL], SrcR, ->{t, u, Rd} | 内存与寄存器交换字 |
| SWAPD | swapd<{.aq,.rl,.aqrl}> [SrcL], SrcR, ->{t, u, Rd} | 内存与寄存器交换双字 |
原子交换操作指令可以通过"aq"和"rl"两个后缀来添加额外的内存访问顺序限制，以保证内存访问的一致性。具体定义请见“内存访问限制参数表”。
内存访问限制参数表¶
| aq | rl | 含义 |
|---|---|---|
| 0 | 0 | 没有顺序限制 |
| 0 | 1 | 表示该指令的前序所有访问内存的指令的结果必须在该指令执行之前被观察到 |
| 1 | 0 | 表示该指令的后序所有访问内存的指令必须等该指令执行完成后才开始执行 |
| 1 | 1 | 表示该指令的前序所有访问内存的指令的结果必须在该指令执行之前被观察到，该指令的后序所有访问内存的指令必须等该指令执行完成后才开始执行 |