zoukankan      html  css  js  c++  java
  • linux中原子操作实现方式

    原子操作提供了指令原子执行,中间没有中断。就像原子被认为是不可分割颗粒一样,原子操作(atomic operation)是不可分割的操作。

    如下面简单的例子:

    Thread 1                  Thread 2
    ---------------------------------------------
    get i (7)                 get i (7)

    increment i (7->8)            

    ---                      increment i (7->8)

    write back i (8)          ----

    ---                          write back i (8)

    如果有原子操作的话,那么这种竞争就不会发生,也不可能发生,结果只能是下面的一种:

    Thread 1                            Thread 2
    --------------------------------------------------------
    get, increment, and store i(7->8)        ---

    ---                                 get, increment, and store i(8->9)

    或者

    Thread 1                            Thread 2
    --------------------------------------------------------
    ---                                  get, increment, and store i(7->8)        
    get, increment, and store i(8->9)          ---     

    在linux下,原子整数操作方法是一个特殊的类型,atomic_t,原型定义如下:

     typedef struct{

        volatile int counter;

    } atomic_t;

    对于声明为volatile的好处,可以参考【百度百科-volatile】:http://baike.baidu.com/view/608706.htm?fr=aladdin

    定义一种这样的类型有两种好处:1、让那些原子操作函数只接受atomic_t的数据类型作为参数,同样的也确保了这种数据类型不会传到其他的非原子操作函数;2、通过使用atomic_t这种数据类型是gcc编译器不会对这种类型的值的存取进行优化,因为对于原子操作收到正确的内存地址是非常重要的,确保不是别名。

    在linux内核源码中对于原子操作的数据类型和方法描述文件为arch/x86/include/asm/atomic.h(注:这是对于内核为2.6.39以及处理器为x86的,其他的可能在不同的目录下)。一些体系结构提供了独特的原子操作方法。

    下面介绍几种原子操作方法:

    /**
     * atomic_add - add integer to atomic variable
     * @i: integer value to add
     * @v: pointer of type atomic_t
     *
     * Atomically adds @i to @v.
     */
    static inline void atomic_add(int i, atomic_t *v)
    {
        asm volatile(LOCK_PREFIX "addl %1,%0"
                 : "+m" (v->counter)
                 : "ir" (i));
    }
    上面的是对于原子加操作。采用的方式是先对内存进行加锁,是其他的CPU不能存取内存。

    关于内联汇编的方式【基本知识】:http://www.cppblog.com/jb8164/archive/2008/02/26/43260.html;

    如果想要内联汇编【深入理解】:http://www.ibiblio.org/gferg/ldp/GCC-Inline-Assembly-HOWTO.html;

    /**
     * atomic_sub - subtract integer from atomic variable
     * @i: integer value to subtract
     * @v: pointer of type atomic_t
     *
     * Atomically subtracts @i from @v.
     */
    static inline void atomic_sub(int i, atomic_t *v)
    {
        asm volatile(LOCK_PREFIX "subl %1,%0"
                 : "+m" (v->counter)
                 : "ir" (i));
    }

    进行的原子减操作采用的是类似的方式;也是先对内存加锁,然后再操作。

    /**
     * atomic_read - read atomic variable
     * @v: pointer of type atomic_t
     *
     * Atomically reads the value of @v.
     */
    static inline int atomic_read(const atomic_t *v)
    {
        return (*(volatile int *)&(v)->counter);
    }

    这个是对于原子的读操作。为了防止编译器对数值进行优化而采用的是寄存器中的数值,需要将其转换为volatile类型的数据,使之每次都从内存中读取,对于每次读取操作不会发生读到一半的情况,每次读操作要么才写操作之前,要么在写操作之后。

    其他的原子操作采用的是类似的方式。

                      

  • 相关阅读:
    IE7下元素的 'paddingtop' 遇到 'clear' 特性在某些情况下复制到 'paddingbottom'
    Foundation HTML5 Canvas中的2处错误
    近期学习技术安排
    2011年工作总结和展望(上篇)
    详解ObjectiveC消息传递机制
    ObjectiveC 2.0的运行时编程消息转发
    c# Pdf 转换图片
    c语言指针用法难点
    C# web实现word 转Html、office转Html、pdf转图片 在线预览文件
    ObjectiveC中什么是类
  • 原文地址:https://www.cnblogs.com/linghuchong0605/p/3838462.html
Copyright © 2011-2022 走看看