关于lock free中ABA问题的实现

我们知道cmpxchg8b  使用规定如下：
（比较EDX：EAX与64位的目标，如果相等则ECX：EBX送往目标且ZF置1，否则目标送EDX：EAX且ZF清0。）

但是当代码中编译用-fPIC 时候，则要考虑ebx寄存器冲突问题。采用ESI，先保存ebx寄存器，把esi值放到ebx,等cmpxchg8b 处理完毕后再恢复ebx。
inline bool CompareAndSwap2(  void volatile* _ptr, long _old1, long _old2, long _new1, long _new2 )
{
        bool ret = false;
        __asm__ __volatile__ ("pushl %%ebx;movl %%esi,%%ebx;lock cmpxchg8b (%1); sete %%al;popl %%ebx"
                                                    : "=a"(ret)
                                                    : "D"(_ptr), "a"(_old1), "d"(_old2), "S"(_new1), "c"(_new2)
                                                    : "memory" );
        return ret;
}
 
以上是__GNUC__方式，intel方式可响应修该。

测试代码如下
#include
struct _st
{
    int a;
    int b;
};
void main()
{
    struct _st  st;
    st.a=2;
    st.b=3;
    printf("st.a=%d;st.b=%d\n",st.a,st.b);   
    if (CompareAndSwap2(&st,2,3,4,5))
        printf("true\n");
    else
        printf("false\n");
    printf("st.a=%d; st.b=%d\n",st.a,st.b);   
｝