怎么使用硬件同步原语替代锁?

什么是硬件同步原语?

硬件同步原语(Atomic Hardware Primitives)是由计算机硬件提供的一组原子操作。

我们常见的原语操作有CAS和FAA两种。

CAS

Compare and Swap(CAS),字面意思是先比较,再计算。它的伪代码如下。

<< atomic >>
function cas(p : pointer to int, old : int, new : int) returns bool {
    if *p ≠ old {
        return false
    }
    *p ← new
    return true
}

它的输入参数有三个:

  • p:要修改的变量的指针
  • old:旧值
  • new:新值

返回值是一个布尔值,标识是否赋值成功。

FAA

Fetch and Add(FAA),它的含义是先获取变量当前的值value,然后给变量p增加inc,最后返回变量p之前的值value。

它的伪代码如下:

<< atomic >>
function faa(p : pointer to int, inc : int) returns int {
    int value <- *location
    *p <- value + inc
    return value
}

上述两段伪代码,它们的特殊之处在于它们都是由计算机硬件,具体讲就是CPU提供实现,可以保证操作的原子性。

因为原子操作具有不可分割性,也就不存在并发的问题,所以在某些情况下,原语可以用来替代锁,实现一些安全又高效的并发操作。

CAS和FAA在各种编程语言中,都有相应的实现,可以直接使用,无论哪种编程语言,它们底层的实现是一样的,效果也是一样的。

Java中的操作原语

Java语言本身支持操作原语,Java中的CAS可以理解为乐观锁,java.util.concurrent.atomic包下面的类已经实现了乐观锁,其中最常用的是AtomicInteger,可以将其看做实现了CAS操作的Integer。

下面是使用AtomicInteger的示例代码。

    private static AtomicInteger count = new AtomicInteger(0);

    public static void main(String[] args) {
        for (int i = 0; i < 2; i++) {
            new Thread(new Runnable() {
                @Override
                public void run() {
                    try {
                        Thread.sleep(10);
                    } catch (Exception e) {
                        e.printStackTrace();
                    }
                    //每个线程让count自增100次
                    for (int i = 0; i < 100; i++) {
                        count.incrementAndGet();
                    }
                }
            }).start();
        }

        try{
            Thread.sleep(2000);
        }catch (Exception e){
            e.printStackTrace();
        }
        System.out.println(count);
    }
    
出处:http://wing011203.cnblogs.com/
    
本文版权归作者和博客园共有,欢迎转载,但未经作者同意必须保留此段声明,且在文章页面明显位置给出原文连接,否则保留追究法律责任的权利。