Java条件对象(Condition)

简介: 通过之前讨论的锁对象,我们知道了,由于线程按照时间片调度,所以使用锁对象来在多线程共享资源时保护未执行完成的线程安全。

通过之前讨论的锁对象,我们知道了,由于线程按照时间片调度,所以使用锁对象来在多线程共享资源时保护未执行完成的线程安全。那么,我们再来考虑这样一种情况:
如果我的线程执行过程中因为没有满足一些必要的条件而导致线程暂停执行怎么办?
比如,我们还用银行账户系统做例子,如果有一条线程是从我的账户转出 1000 元到其他账户,可是我的账户余额不足 1000 元,那么怎么办?也许你会直接简单地想到,加上一个 if 条件语句做一下判断不就可以了,就像这样:

if (bank.getBalance(from) >= amount)
    bank.transfer(from, to, amount);
AI 代码解读

但是,要注意,千万不能这样写,因为,很有可能会出现这样的情况:
1. 先执行 if 语句检查我的账户余额,余额满足条件
2. 线程时间片结束被中断暂停
3. 在这期间执行了一条从我的账户取钱的线程,取出钱后余额就不足了
4. 线程恢复执行,此时余额不足但是已经执行完毕了 if 语句

由此可见,这样的代码藏有致命的 bug ,那么,我再来做修改,也许我们可以把锁对象用上,这样即使线程暂停也不会受影响了。是的,这样做确实可以防止其他线程对余额的操作,可是,这里面还是有问题:
比如,我的余额一开始就不够,这时恰好也有一个存钱的线程进来,如果钱能顺利存进来我的余额就足够了,可是,我们的锁对象却把存钱线程拒之门外,这样反而不利于线程的顺利执行了

鉴于此,我们就需要引入条件对象

通过调用 newCondition 方法可以获得一个条件对象,而且,应该养成一个给每个条件对象起个好名字的习惯,应该用其所表达的条件为其命名,这样使人一目了然。在文中的例子中,我们用 sufficientFunds(余额充足)作为条件对象的名字

class Bank{
    private Condition sufficientFunds;
    ...
    public Bank(){
        ...
        sufficientFunds = bankLock.newCondition();
    }
}
AI 代码解读

如果 transfer 方法发现余额不足的时候,就会调用:
sufficientFunds.await( );
这时,当前线程就被阻塞(Blocked)了,并且放弃了锁对象,等待着其他的线程满足它所需的条件

等待获得锁的线程和调用 await 的线程存在本质上的不同,一旦一个线程调用 await 方法,它进入该条件的等待集,当锁可用时,该线程不能马上解除阻塞,相反,它处于阻塞状态,直到另一个线程调用同一条件上的 signalAll 方法为止

在本例中,当我们的条件对象调用 await 方法处于阻塞状态时,它就在等待一个转账存钱的线程来满足它的条件,因此,我们在写代码时,就可以为转账存钱的线程最后调用 sufficientFunds.signalAll( ) 方法
这一调用重新激活因为这一条件而等待的所有线程,当这些线程从等待集中移出时,它们再次成为可运行的,调度器将再次激活它们。同时,它们将试图重新进入该对象。一旦锁成为可用的,它们中的某个将从 await 调用返回,获得该锁并从被阻塞的地方继续执行。
因此,当条件对象被重新激活从 await 返回时,应该再次测试条件,因为即使我的账户已经有了收入,条件还不一定被满足
我们应该将 await 调用放入循环体中

while (条件没有被满足)
    condition.await();
AI 代码解读

我们还应该注意的是,当一个线程调用 await 后,它无法激活自身,只能依靠等待其他的线程来满足它的条件才能继续执行,如果没有其他线程满足它的条件,它将永远无法继续执行,这就是 死锁 现象

那么,应该在什么时候调用 signalAll 方法呢?应该在每次对象状态有利于等待线程的方向改变时调用。也就是本例中,一个账户余额发生改变时调用

综上所述,最终的 transfer 方法应该写成这样:

public void transfer(int from, int to, int amount){
    bankLock.lock();
    try{
        while(accounts[from] < amount)
            sufficientFunds.await();
        // transfer funds
        ...
        sufficientFunds.signalAll();
    }
    finally{
        bankLock.unlock();
    }
}
AI 代码解读

最后还要注意,Java 中有 signal 和 signalAll 两种方法,signal 是随机解除一个等待集中的线程的阻塞状态,signalAll 是解除所有等待集中的线程的阻塞状态。signal 方法的效率会比 signalAll 高,但是它存在危险,因为它一次只解除一个线程的阻塞状态,因此,如果等待集中有多个线程都满足了条件,也只能唤醒一个,其他的线程可能会导致死锁

D_H_T
+关注
目录
打赏
0
0
0
0
4
分享
相关文章
重学Java基础篇—Java对象创建的7种核心方式详解
本文全面解析了Java中对象的创建方式,涵盖基础到高级技术。包括`new关键字`直接实例化、反射机制动态创建、克隆与反序列化复用对象,以及工厂方法和建造者模式等设计模式的应用。同时探讨了Spring IOC容器等框架级创建方式,并对比各类方法的适用场景与优缺点。此外,还深入分析了动态代理、Unsafe类等扩展知识及注意事项。最后总结最佳实践,建议根据业务需求选择合适方式,在灵活性与性能间取得平衡。
63 3
|
5天前
|
理解Java引用数据类型:它们都是对象引用
本文深入探讨了Java中引用数据类型的本质及其相关特性。引用变量存储的是对象的内存地址而非对象本身,类似房子的地址而非房子本身。文章通过实例解析了引用赋值、比较(`==`与`equals()`的区别)以及包装类缓存机制等核心概念。此外,还介绍了Java引用类型的家族,包括类、接口、数组和枚举。理解这些内容有助于开发者避免常见错误,提升对Java内存模型的掌握,为高效编程奠定基础。
31 0
|
5天前
|
java中一个接口A,以及一个实现它的类B,一个A类型的引用对象作为一个方法的参数,这个参数的类型可以是B的类型吗?
本文探讨了面向对象编程中接口与实现类的关系,以及里氏替换原则(LSP)的应用。通过示例代码展示了如何利用多态性将实现类的对象传递给接口类型的参数,满足LSP的要求。LSP确保子类能无缝替换父类或接口,不改变程序行为。接口定义了行为规范,实现类遵循此规范,从而保证了多态性和代码的可维护性。总结来说,接口与实现类的关系天然符合LSP,体现了多态性的核心思想。
16 0
Java对象创建和访问
Java对象创建过程包括类加载检查、内存分配(指针碰撞或空闲列表)、内存初始化、对象头设置及初始化方法执行。访问方式有句柄和直接指针两种,前者稳定但需额外定位,后者速度快。对象创建涉及并发安全、垃圾回收等机制。
Java对象创建和访问
Java中判断一个对象是否是空内容
在 Java 中,不同类型的对象其“空内容”的定义和判断方式各异。对于基本数据类型的包装类,空指对象引用为 null;字符串的空包括 null、长度为 0 或仅含空白字符,可通过 length() 和 trim() 判断;集合类通过 isEmpty() 方法检查是否无元素;数组的空则指引用为 null 或长度为 0。
Java快速入门之类、对象、方法
本文简要介绍了Java快速入门中的类、对象和方法。首先,解释了类和对象的概念,类是对象的抽象,对象是类的具体实例。接着,阐述了类的定义和组成,包括属性和行为,并展示了如何创建和使用对象。然后,讨论了成员变量与局部变量的区别,强调了封装的重要性,通过`private`关键字隐藏数据并提供`get/set`方法访问。最后,介绍了构造方法的定义和重载,以及标准类的制作规范,帮助初学者理解如何构建完整的Java类。
|
3月前
|
Object取值转java对象
通过本文的介绍,我们了解了几种将 `Object`类型转换为Java对象的方法,包括强制类型转换、使用 `instanceof`检查类型和泛型方法等。此外,还探讨了在集合、反射和序列化等常见场景中的应用。掌握这些方法和技巧,有助于编写更健壮和类型安全的Java代码。
166 17
|
3月前
|
java代码优化:判断内聚到实体对象中和构造上下文对象传递参数
通过两个常见的java后端实例场景探讨代码优化,代码不是优化出来的,而是设计出来的,我们永远不可能有专门的时间去做代码优化,优化和设计在平时
Java对象一定分配在堆上吗?
本文探讨了Java对象的内存分配问题,重点介绍了JVM的逃逸分析技术及其优化策略。逃逸分析能判断对象是否会在作用域外被访问,从而决定对象是否需要分配到堆上。文章详细讲解了栈上分配、标量替换和同步消除三种优化策略,并通过示例代码说明了这些技术的应用场景。
124 4
Java对象一定分配在堆上吗?
|
6月前
|
Java 对象释放与 finalize 方法
关于 Java 对象释放的疑惑解答,以及 finalize 方法的相关知识。
102 17