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

本文探讨了并发编程中的竞态条件及其解决办法,重点介绍了原子操作的概念,并通过延迟初始化示例展示了竞态条件的存在。文章还讨论了复合操作在确保线程安全中的作用。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

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

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

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

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

@NotThreadSafe
public 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”等操作统称为复合操作。包含了一组必须以原子方式执行的操作以确保线程安全性。    

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值