什么是硬件同步原语？

硬件同步原语（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);
    }