java并发编程之cas详解

cas（compare and swap）比较和替换是设计并发算法时用到的一种技术。简单来说，比较和替换是使用一个期望值和一个变量的当前值进行比较，如果当前变量的值与我们期望的值相等，就使用一个新值替换当前变量的值。这听起来可能有一点复杂但是实际上你理解之后发现很简单，接下来，让我们跟深入的了解一下这项技术。

cas的使用场景

在程序和算法中一个经常出现的模式就是“check and act”模式。先检查后操作模式发生在代码中首先检查一个变量的值，然后再基于这个值做一些操作。下面是一个简单的示例：

class mylock {
  private boolean locked = false;
  public boolean lock() {
    if(!locked) {
      locked = true;
      return true;
    }
    return false;
  }
}

上面这段代码，如果用在多线程的程序会出现很多错误，不过现在请忘掉它。

如你所见，lock()方法首先检查locked>成员变量是否等于false，如果等于，就将locked设为true。

如果同个线程访问同一个mylock实例，上面的lock()将不能保证正常工作。如果一个线程检查locked的值，然后将其设置为false，与此同时，一个线程b也在检查locked的值，又或者，在线程a将locked的值设为false之前。因此，线程a和线程b可能都看到locked的值为false，然后两者都基于这个信息做一些操作。

为了在一个多线程程序中良好的工作，”checkthenact”操作必须是原子的。原子就是说”check“操作和”act“被当做一个原子代码块执行。不存在多个线程同时执行原子块。

下面是一个代码示例，把之前的lock()方法用synchronized关键字重构成一个原子块。

class mylock {
  private boolean locked = false;
  public synchronized boolean lock() {
    if(!locked) {
      locked = true;
      return true;
    }
    return false;
  }
}

现在lock()方法是同步的，所以，在某一时刻只能有一个线程在同一个mylock实例上执行它。

原子的lock方法实际上是一个”compare and swap“的例子。

cas用作原子操作

现在cpu内部已经执行原子的cas操作。java5以来，你可以使用java.util.concurrent.atomic包中的一些原子类来使用cpu中的这些功能。

下面是一个使用atomicboolean类实现lock()方法的例子：

public static class mylock {
  private atomicboolean locked = new atomicboolean(false);
  public boolean lock() {
    return locked.compareandset(false, true);
  }
}

locked变量不再是boolean类型而是atomicboolean。这个类中有一个compareandset()方法，它使用一个期望值和atomicboolean实例的值比较，和两者相等，则使用一个新值替换原来的值。在这个例子中，它比较locked的值和false，如果locked的值为false，则把修改为true。

如果值被替换了，compareandset()返回true，否则，返回false。

使用java5+提供的cas特性而不是使用自己实现的的好处是java5+中内置的cas特性可以让你利用底层的你的程序所运行机器的cpu的cas特性。这会使还有cas的代码运行更快。

总结

以上就是关于java并发编程之cas详解的全部内容，希望对大家有所帮助。感兴趣的朋友可以继续参阅本站：java系统的高并发解决方法详解、java并发编程之重入锁与读写锁、java并发编程semaphore计数信号量详解等，有什么问题可以随时留言，欢迎您的宝贵意见，小编会及时回复大家的。感谢朋友们对本站的支持！