atomic_read 请教

tianhailong

请教大家一个问题，

typedef struct { volatile int counter; } atomic_t;

#define ATOMIC_INIT(i)        { (i) }

#define atomic_read(v)                ((v)->counter)
#define atomic_set(v,i)                (((v)->counter) = (i))

原子读操作定义如上，但是我觉得没有做什么操作，只是返回v的counter字段值，具体是怎样保证atomic_read是原子读的呢？

关键字 volatile 也不能起到不被中断的作用吧。

思一克

在你看到的这个平台上，整形的读和写（赋值）都是原子的。不需要锁之类的。
因此定义就是那样。

tianhailong

在你看到的这个平台上，整形的读和写（赋值）都是原子的。不需要锁之类的。
因此定义就是那样。
思一克 发表于 2010-04-02 12:25

    我在i386平台下，请解释的具体些好吗？
    因为我觉得读可以是原子操作，但是写操作要做三个动作：
1. CPU从内存读操作数
2. 修改操作数
3. 写回到内存
这个操作我觉得不是原子操作吧

在完成1步骤后，执行会不会被打断呢？

请教了

zylthinking

如果是i386, 我也请教， 倒真的和楼主一个疑惑

doofy

回复 3# tianhailong


    锁总线了，LOCK_PREFIX这个宏干的，但是看不懂....

linuxlixk

不了解原子操作

思一克

我在i386平台下，请解释的具体些好吗？
    因为我觉得读可以是原子操作，但是写操作要做三个动作：
1. CPU从内存读操作数
2. 修改操作数
3. 写回到内存
这个操作我觉得不是原子操作吧
-----------------------------
你这个不是写。而是计算，比如INC,DEC之类的。

写是赋值，将一个数给那个整数，原来数值是什么都被冲掉。因此是原子的。

tianhailong

回复  tianhailong


    锁总线了，LOCK_PREFIX这个宏干的，但是看不懂....
doofy 发表于 2010-04-02 14:08

在单处理机上，LOCK宏是空，就是说并不锁总线，而且atomic_read/atomic_set都没有调用 LOCK命令

doofy

回复 8# tianhailong

i386上，读/写一个变量本身就是一个原子操作，我上面说的是更新的情况，经历读-计算-写3个步骤，需要锁总线。

tianhailong

我在i386平台下，请解释的具体些好吗？
    因为我觉得读可以是原子操作，但是写操作要做三个动作：
1. C ...
思一克 发表于 2010-04-02 14:28

    谢谢，明白些了，难怪
static __inline__ void atomic_add(int i, atomic_t *v)
{
        __asm__ __volatile__(
                LOCK "addl %1,%0"
                :"=m" (v->counter)
                :"ir" (i), "m" (v->counter));
}
使用了lock命令，还有一点请教，就是在单处理器情况下，lock宏定义为空，那么上面的atomic_add函数
实际上也没有锁定总线，那么怎么确保原子操作呢，因为这个还要涉及到更新操作？