竞态条件与临界区

约定不等于承诺〃 2022-05-27 03:12 219阅读 0赞

在同一程序中运行多个线程本身不会导致问题，问题在于多个线程访问了相同的资源。

如，同一内存区（变量，数组，或对象）、系统（数据库，web services等）或文件。

实际上，这些问题只有在一或多个线程向这些资源做了写操作时才有可能发生，

只要资源没有发生变化,多个线程读取相同的资源就是安全的。  
  
多线程同时执行下面的代码可能会出错：

package com.lanhuigu.thread.demo2;
    
    /**
     * 竞态条件与临界区
     */
    public class Counter {
        protected long count = 0;
    
        public void add(long value) {
            this.count = this.count + value;
        }
    
    }

假设线程A和B同时执行同一个Counter对象的add()方法，我们无法知道操作系统何时会在两个线程之间切换。

JVM并不是将这段代码视为单条指令来执行的，而是按照下面的顺序：

**(1) 从内存获取 this.count 的值放到寄存器**

**(2) 将寄存器中的值增加value**

**(3) 将寄存器中的值写回内存**

观察线程A和B交错执行会发生什么：

**this.count = 0;**

**A: 读取 this.count 到一个寄存器 (0)**

**B: 读取 this.count 到一个寄存器 (0)**

**B: 将寄存器的值加2**

**B: 回写寄存器值(2)到内存. this.count 现在等于 2**

**A: 将寄存器的值加3**

**A: 回写寄存器值(3)到内存. this.count 现在等于 3**

两个线程分别加了2和3到count变量上，两个线程执行结束后count变量的值应该等于5。

然而由于两个线程是交叉执行的，两个线程从内存中读出的初始值都是0。然后各自加了2和3，并分别写回内存。

最终的值并不是期望的5，而是最后写回内存的那个线程的值，上面例子中最后写回内存的是线程A，但实际中也可能是线程B。

如果没有采用合适的同步机制，线程间的交叉执行情况就无法预料。

**竞态条件 & 临界区**

当两个线程竞争同一资源时，如果对资源的访问顺序敏感，就称存在竞态条件。

导致竞态条件发生的代码区称作临界区。上例中add()方法就是一个临界区,它会产生竞态条件。

在临界区中使用适当的同步就可以避免竞态条件。

发表评论取消回复

表情：

评论列表（有 0 条评论，219人围观）

还没有评论，来说两句吧...

相关阅读

相关并发控制：锁机制与竞态条件示例

并发控制是多线程编程中必不可少的环节，主要用于解决不同线程同时访问和修改共享资源的问题。这里主要介绍两种常见的并发控制机制——锁机制（Lock）以及竞态条件（Race Cond

﹏ヽ暗。殇╰゛Y/ 2024年11月26日 18:06/ 0 赞/ 46 阅读

相关 golang data race 竞态条件

golang race condition 竞态条件 data race race condition golang race detector go

偏执的太偏执、/ 2023年06月23日 12:51/ 0 赞/ 40 阅读

相关 Unix/Linux编程：竞态条件与sigsuspend函数

利用pause和alarm函数实现sleep include <unistd.h> int pause(void); pause函数使调用进程

向右看齐/ 2022年10月16日 06:14/ 0 赞/ 219 阅读

相关并发编程五:竞态条件与临界区

并发编程:竞态条件与临界区介绍当两个线程竞争同一资源时，如果对资源的访问顺序敏感，就称存在竞态条件。导致竟态条件发生的代码称作临界区。

浅浅的花香味﹌/ 2022年09月25日 05:26/ 0 赞/ 219 阅读

相关竞争条件和临界区

原文链接：[http://tutorials.jenkov.com/java-concurrency/race-conditions-and-critical-sections

深藏阁楼爱情的钟/ 2022年08月05日 00:57/ 0 赞/ 226 阅读

相关多线程竞态条件与临界区

竞态条件与临界区在同一程序中运行多个线程本身不会导致问题，问题在于多个线程访问了相同的资源。如，同一内存区（变量，数组，或对象）、系统（数据库，web services

傷城~/ 2022年06月06日 00:10/ 0 赞/ 255 阅读

相关操作系统06-临界区

交错输出的没有绝对情况的如果同时访问共享的数据可能会破坏数据。对这样的事情加上防范！并发的程序访问共享的数据一定要注意。对一些问题敏感的洞察生产消

柔光的暖阳◎/ 2022年06月03日 00:56/ 0 赞/ 237 阅读

相关 Java并发编程学习笔记(六)竞态条件与临界区

在同一程序中运行多个线程本身不会导致问题，问题在于多个线程访问了相同的资源。如，同一内存区（变量，数组，或对象）、系统（数据库，web services等）或文件。实际上，这些

一时失言乱红尘/ 2022年05月31日 14:08/ 0 赞/ 201 阅读

相关竞态条件与临界区

在同一程序中运行多个线程本身不会导致问题，问题在于多个线程访问了相同的资源。如，同一内存区（变量，数组，或对象）、系统（数据库，web services等）或文件。

约定不等于承诺〃/ 2022年05月27日 03:12/ 0 赞/ 220 阅读

相关竞态条件漏洞简介

1 竞态条件漏洞下面的代码段属于某个特权程序（即 Set-UID 程序），它使用 Root 权限运行。 if (!access("/tmp/X", W_OK)

浅浅的花香味﹌/ 2021年07月28日 17:20/ 0 赞/ 486 阅读