java 同步并发_Java的线程同步和并发问题示例

并发问题

多线程是一个非常强大的工具,它使我们能够更好地利用系统的资源,但我们需要在读取和写入多个线程共享的数据时特别小心。

当多个线程尝试同时读取和写入共享数据时,会出现两种类型的问题 -

线程干扰错误内存一致性错误让我们逐一理解这些问题。

线程干扰错误(竞争条件)

考虑以下Counter类,其中包含一个increment()方法,每次调用它时计数增加一次 -

db8b465855e462dd0f0f123ef870695e.png

现在,让我们假设几个线程试图通过increment()同时调用方法来增加计数-

a8bcc79d34dd827f4d6a8e0857b784b3.png

您认为上述计划的结果如何?最终计数是1000,因为我们调用增量1000次?

但实际上答案是否定的!只需运行上面的程序,自己查看输出。它不是产生最终计数1000,而是每次运行时都会产生不一致的结果。我在计算机上运行了上述程序三次,输出为992,996和993。

让我们深入研究该程序并理解程序输出不一致的原因 -

当线程执行increment()方法时,执行以下三个步骤:1。检索计数的当前值2.将检索的值增加1 3.将增加的值重新存储到计数中

现在让我们假设两个线程 - ThreadA和ThreadB按以下顺序执行这些操作 -

ThreadA:检索计数,初始值= 0ThreadB:检索计数,初始值= 0ThreadA:增加检索值,结果= 1ThreadB:增加检索值,结果= 1ThreadA:存储递增的值,count现在为1ThreadB:存储递增的值,count现在为1两个线程都尝试将计数递增1,但最终结果是1而不是2,因为线程执行的操作相互交错。在上述情况下,ThreadA完成的更新将丢失。

上述执行顺序只是一种可能性。可能有许多这样的命令可以执行这些操作,使程序的输出不一致。

当多个线程尝试同时读取和写入共享变量,并且这些读取和写入操作在执行中重叠时,最终结果取决于读取和写入发生的顺序,这是不可预测的。这种现象称为种族状况。

访问共享变量的代码部分称为Critical Section。

通过同步对共享变量的访问可以避免线程干扰错误。

让我们首先看一下多线程程序中出现的第二种错误 - 内存一致性错误。

内存一致性错误

当不同的线程具有相同数据的不一致视图时,会发生内存不一致错误。当一个线程更新某些共享数据时会发生这种情况,但此更新不会传播到其他线程,并且最终会使用旧数据。

为什么会这样?嗯,这可能有很多原因。编译器会对您的程序进行多次优化以提高性能。它还可能重新排序指令以优化性能。处理器也尝试优化事物,例如,处理器可能从临时寄存器(包含变量的最后读取值)读取变量的当前值,而不是主存储器(具有变量的最新值) 。

请考虑以下示例,该示例演示了操作中的内存一致性错误 -

bf3f2aacdef956f776a36da09d961a7a.png

在理想情况下,上述计划应 -

等待一秒钟,然后打印Hello World!后sayHello变为真。等待一秒钟,然后打印Good Bye!后sayHello变为假。

4cd180c86a99603699114bc7b7ce7ef2.png

但是在运行上述程序后我们是否得到了所需的输出?好吧,如果你运行程序,你会看到以下输出 -

此外,该程序甚至没有终止。

线程等待。什么?怎么可能?

是! 这就是内存一致性错误。第一个线程不知道主线程对sayHello变量所做的更改。

您可以使用volatile关键字来避免内存一致性错误。我们很快就会详细了解volatile关键字。

同步

通过确保以下两件事可以避免线程干扰和内存一致性错误 -

一次只有一个线程可以读写共享变量。当一个线程正在访问共享变量时,其他线程应该等到第一个线程完成。这保证了对共享变量的访问是Atomic,并且多个线程不会干扰。每当任何线程修改共享变量时,它都会自动建立与其他线程后续读取和写入共享变量的先发生关系。这可以保证一个线程所做的更改对其他人可见。幸运的是,Java有一个synchronized关键字,您可以使用该关键字同步对任何共享资源的访问,从而避免这两种错误。

同步方法

以下是Counter类的同步版本。我们synchronized在increment()方法上使用Java的关键字来防止多个线程同时访问它 -

8569acd6b5921c35129dbbcaae15301f.png

4dd169c5958e7dea8c23c6bc74597be9.png

如果运行上述程序,它将产生1000的所需输出。不会出现竞争条件,并且最终输出始终保持一致。该synchronized关键字可确保只有一个线程可以进入increment()一次的方法。

请注意,同步的概念始终绑定到对象。在上面的例子中,increment()在同一个实例上多次调用方法SynchonizedCounter会导致竞争条件。我们正在使用synchronized关键字防范这种情况。但是线程可以安全地increment()在不同的实例上SynchronizedCounter同时调用方法,这不会导致竞争条件。

在静态方法的情况下,同步与Class对象相关联。

同步代码块

Java内部使用所谓的内部锁或监视器锁来管理线程同步。每个对象都有一个与之关联的内在锁。

当一个线程调用一个对象的synchronized方法时,它会自动获取该对象的内部锁,并在该方法退出时释放它。即使方法抛出异常,也会发生锁定释放。

在静态方法的情况下,线程获取Class与类关联的对象的内部锁,这与该类的任何实例的内部锁不同。

synchronizedkeyword也可以用作块语句,但与synchronized方法不同,synchronized语句必须指定提供内部锁的对象 -

464a9031c97b768e5df1ee64bf5df6a9.png

当线程获取对象的内部锁时,其他线程必须等到锁被释放。但是,当前拥有锁的线程可以多次获取它而没有任何问题。

允许线程多次获取同一个锁的想法称为“ 重入同步”。

易变的关键字

Volatile关键字用于避免多线程程序中的内存一致性错误。它告诉编译器避免对变量进行任何优化。如果将变量标记为volatile,则编译器不会优化或重新排序该变量的指令。

此外,变量的值将始终从主存储器而不是临时寄存器中读取。

以下是我们在上一节中看到的相同MemoryConsistencyError示例,不同之处在于,这次我们sayHello使用volatile关键字标记了变量。

a8d90b7fa34e97da5c17d61a17372b8e.png

运行上述程序会产生所需的输出 -

ddf94977e27c553c5d2a4ae1cd9a0082.png

结论

通过示例我们了解了多线程程序中可能出现的不同并发问题以及如何使用synchronized方法和块来避免它们。同步是一个强大的工具,但请注意,不必要的同步可能会导致其他问题,如死锁和饥饿。

29059c032a5afa6e7494deb7983c1795.png

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
©️2022 CSDN 皮肤主题:数字20 设计师:CSDN官方博客 返回首页

打赏作者

刚下拖拉机

你的鼓励将是我创作的最大动力

¥2 ¥4 ¥6 ¥10 ¥20
输入1-500的整数
余额支付 (余额:-- )
扫码支付
扫码支付:¥2
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值