《Java Concurrency in Practice》之原子性(Atomicity)

来源:互联网 发布:神户制钢造假 知乎 编辑:程序博客网 时间:2024/05/22 09:42

        假定有两个操作A和B,如果从执行A的线程来看,当另一个线程执行B时,要么将B全部执行完,要么完全不执行B,那么A和B对彼此来说是原子的。原子操作是指,对于访问同一个状态的所有操作(包括该操作本身)来说,这个操作都是一个以原子方式执行的操作。

        1、竞态条件(Race conditions):在并发编程中,错误的结果在倒霉时刻(unlucky timing)存在的可能性,是一种非常重要的情况,它就是竞态条件。

        最常见的竞态条件类型就是“先检查后执行(check-then-act)”操作,即通过一个可能失效的观测结果来决定下一步的动作。

        2、示例:延迟初始化(lazy initialization)。使用“check-then-act”操作的一种常见情况就是延迟初始化。延迟初始化的目的是将对象的初始化操作推迟到实际被使用时才进行,同时要确保只被初始化一次。例如:

@NotThreadSafepublic class LazyInitRace {private ExpensiveObject instance = null;public ExpensiveObject getInstance() {if (instance == null) {instance = new ExpensiveObject();}return instance;}}
        假定线程A和线程B同时执行getInstance。线程A和线程B都需要判断instance是否为空。此时的instance是否为空,取决于不可预测的时序,包括线程的调度方式,以及A需要花多长时间来初始化ExpensiveObject并设置instance实例。
        3、复合操作(Compound actions)。我们将“check-then-act”和“read-modify-write”等操作统称为复合操作。包含了一组必须以原子方式执行的操作以确保线程安全性。    

0 0
原创粉丝点击