内联汇编如何处理“非法指令（核心转储）”

Question

下面的内联汇编代码有什么问题吗？ 我在运行函数 spinlock_lock 时遇到“非法指令（核心转储）”。

void spinlock_lock(struct spinlock * lock) {

    int a;
    __asm__ __volatile__("movl %0, %%eax;"
                         "test %%eax, %%eax;"
                         "jnz spinlock_lock;"
                         :"=r"(a)
                         :"r"(lock->cmos_lock)
                         :"eax");

    __asm__ __volatile__ ("lock; cmpxchg %%edx, %0\n"
                          :"=r"(a)
                          :"r"(lock->cmos_lock)
                          :"edx", "memory");

Answer 1

问题是你的分支；通常 (x86) the called function will save the frame pointer on the stack before executing any other code。

您的jnz spinlock_lock 分支将分支回整个函数的入口点，从而在返回内联汇编程序之前再次保存帧指针。保存帧指针足够的时间，你会用完堆栈。更不用说如果你离开你的内联汇编器并在它之外进行分支，你的寄存器可能不再包含你认为它们所做的事情。

您可能应该在您的内联汇编器中放置一个标签，然后返回到该标签。

此外，指令cmpxchg %edx, %0 可以对寄存器进行操作，但不能与lock 结合使用，因为您使用的是寄存器操作数。要使lock cmpxchg 工作，您需要将匹配参数约束从r 更改为m。

您可能需要查看here 以了解需要内存操作数的lock cmpxchg 的讨论，或查看here 以了解无需汇编程序的自旋锁的替代 gcc 实现。