64位的atomic_add等函数，怎么这样子？

albcamus

static inline void atomic_add(int i, atomic_t *v)
{
        asm volatile(LOCK_PREFIX "addl %1,%0"
                     : "=m" (v->counter)
                     : "ir" (i), "m" (v->counter));
}


为什么要弄个%2 ？ 没道理啊， 没有任何约束表明第二个"m"和第一个"m"是同一个， 而且指令中完全没有使用％2。

why？

albcamus

我觉得合理的写法是：
{
        asm volatile(LOCK_PREFIX "addl %1,%0"
                     : "+m" (v->counter)
                     : "ir" (i));
}

或者

{
        asm volatile(LOCK_PREFIX "addl %1,%0"
                     : "=m" (v->counter)
                     : "ir" (i), "0" (v->counter));
}

albcamus

OK，这样的hot path，不会有BUG的，这点可以肯定。

难道又是gcc的x86 backend，做了什么手脚，却没有文档化它？

Godbach

原帖由 albcamus 于 2008-10-20 17:50 发表
static inline void atomic_add(int i, atomic_t *v)
{
        asm volatile(LOCK_PREFIX "addl %1,%0"
                     : "=m" (v->counter)
                     : "ir" (i), "m" (v->counter));
}


为什么要弄个%2 ？ 没道理啊， ...

没有看到里面有%2啊？

Godbach

: "ir" (i), "m" (v->counter));

版主是指这里的 "m" (v->counter)是没有必要的吗？

[ 本帖最后由 Godbach 于 2008-10-20 18:00 编辑 ]

albcamus

原帖由 Godbach 于 2008-10-20 17:59 发表


版主是指这里时多余的吗？

代码中是假定％2和％0结合为同一个操作数了， 都是％0。 既作为输入，又作为输出。

但是我不知道为什么可以这样假定！ 至少gcc的文档没说

Godbach

原帖由 albcamus 于 2008-10-20 18:00 发表


代码中是假定％2和％0结合为同一个操作数了， 都是％0。 既作为输入，又作为输出。

但是我不知道为什么可以这样假定！ 至少gcc的文档没说

是的。按理说一个%0就可以了

Godbach

一般即做输入又作输出的好像是写成这样的

1. {
   
2.         asm volatile(LOCK_PREFIX "addl %1,%0"
   
3.                      : "=m" (v->counter)
   
4.                      : "ir" (i), "0" (v->counter));
   
5. }

复制代码

[ 本帖最后由 Godbach 于 2008-10-20 18:06 编辑 ]

Godbach

原帖由 albcamus 于 2008-10-20 18:00 发表


代码中是假定％2和％0结合为同一个操作数了， 都是％0。 既作为输入，又作为输出。

但是我不知道为什么可以这样假定！ 至少gcc的文档没说

但是这里加法操作上看并没有使用%2吧。

albcamus

内核里的inline asm真是千奇百怪。  

例如这个帖子里的，文档里就找不到为什么gcc会自动让两个"m"接合成一个，难道说因为都是和var接合吗？ 即使加上-O0也是如此。