使用XACQUIRE和XRELEASE前缀时MASM报错的原因是什么？

使用MASM汇编器测试Intel x86 Hardware Lock Elision（硬件锁消除）特性时，遇到以下编译错误：

• error A2008: syntax error : MOV
• error A2008: syntax error : RET

测试代码如下：

COMMENT '

 Hardware Lock Elision Test 1.

'

.686P
.MMX
.MODEL FLAT

.CODE

_main:

XACQUIRE MOV EAX, 10h

XRELEASE RET

END

移除XACQUIRE和XRELEASE前缀后，代码可正常编译。

MASM对XACQUIRE/XRELEASE前缀的语法有严格限制，这两个前缀是内存访问指令专属前缀，不能直接用于非内存操作指令（比如立即数到寄存器的MOV、RET）。

核心规则说明 #

1. XACQUIRE和XRELEASE是Intel为TSX（Transactional Synchronization Extensions）引入的前缀，仅支持修饰带内存操作的指令，比如寄存器到内存的MOV、内存到寄存器的MOV、XCHG等。
2. 即便语法上用空格分隔前缀和指令，只要指令本身不涉及内存操作，MASM就会抛出语法错误。

修正后的示例代码 #

以下是符合MASM语法的HLT测试代码：

COMMENT '

 Hardware Lock Elision Test 1.

'

.686P
.MMX
.MODEL FLAT
.DATA
lock_var DWORD ?  ; 定义用于锁操作的内存变量

.CODE

_main:
    XACQUIRE MOV lock_var, EAX  ; 前缀修饰内存写入操作，标记事务开始
    ; --- 临界区代码 ---
    MOV EAX, 10h
    ; --- 临界区代码结束 ---
    XRELEASE MOV lock_var, EBX  ; 前缀修饰内存写入操作，标记事务结束
    RET
END

额外注意事项 #

• 若使用的MASM版本过旧，可能不支持XACQUIRE/XRELEASE前缀，需升级到支持Intel TSX的版本（如VS2015及以后配套的MASM）。
• RET指令无法被XRELEASE修饰，事务结束后单独执行RET即可。

内容的提问来源于stack exchange，提问作者Thema Guishard