文档章节

什么是比赛条件?

j
 javail
发布于 2019/12/15 18:42
字数 1732
阅读 15
收藏 0

在编写多线程应用程序时,遇到的最常见问题之一是竞争条件。

我对社区的问题是:

什么是比赛条件? 您如何检测到它们? 您如何处理它们? 最后,如何防止它们发生?


#1楼

当设备或系统试图同时执行两个或多个操作时,竞争状态是一种不希望出现的情况,但是由于设备或系统的性质,必须按照正确的顺序进行操作才能被执行。正确完成。

在计算机内存或存储中,如果几乎在同一时刻接收到读取和写入大量数据的命令,并且机器尝试覆盖部分或全部旧数据,而仍旧保留旧数据,则可能会发生竞争状态读。 结果可能是以下一种或多种:计算机崩溃,“非法操作”,程序的通知和关闭,读取旧数据时出错或写入新数据时出错。


#2楼

微软实际上已经发布了有关种族条件和僵局问题的非常详细的文章 。 其中最概括的摘要是标题段落:

当两个线程同时访问一个共享变量时,就会发生竞争状态。 第一个线程读取变量,第二个线程从变量读取相同的值。 然后,第一个线程和第二个线程对值执行操作,然后争先看哪个线程可以最后将值写入共享变量。 保留最后写入其值的线程的值,因为该线程正在覆盖前一个线程写入的值。


#3楼

请尝试以下基本示例,以更好地了解比赛条件:

    public class ThreadRaceCondition {

    /**
     * @param args
     * @throws InterruptedException
     */
    public static void main(String[] args) throws InterruptedException {
        Account myAccount = new Account(22222222);

        // Expected deposit: 250
        for (int i = 0; i < 50; i++) {
            Transaction t = new Transaction(myAccount,
                    Transaction.TransactionType.DEPOSIT, 5.00);
            t.start();
        }

        // Expected withdrawal: 50
        for (int i = 0; i < 50; i++) {
            Transaction t = new Transaction(myAccount,
                    Transaction.TransactionType.WITHDRAW, 1.00);
            t.start();

        }

        // Temporary sleep to ensure all threads are completed. Don't use in
        // realworld :-)
        Thread.sleep(1000);
        // Expected account balance is 200
        System.out.println("Final Account Balance: "
                + myAccount.getAccountBalance());

    }

}

class Transaction extends Thread {

    public static enum TransactionType {
        DEPOSIT(1), WITHDRAW(2);

        private int value;

        private TransactionType(int value) {
            this.value = value;
        }

        public int getValue() {
            return value;
        }
    };

    private TransactionType transactionType;
    private Account account;
    private double amount;

    /*
     * If transactionType == 1, deposit else if transactionType == 2 withdraw
     */
    public Transaction(Account account, TransactionType transactionType,
            double amount) {
        this.transactionType = transactionType;
        this.account = account;
        this.amount = amount;
    }

    public void run() {
        switch (this.transactionType) {
        case DEPOSIT:
            deposit();
            printBalance();
            break;
        case WITHDRAW:
            withdraw();
            printBalance();
            break;
        default:
            System.out.println("NOT A VALID TRANSACTION");
        }
        ;
    }

    public void deposit() {
        this.account.deposit(this.amount);
    }

    public void withdraw() {
        this.account.withdraw(amount);
    }

    public void printBalance() {
        System.out.println(Thread.currentThread().getName()
                + " : TransactionType: " + this.transactionType + ", Amount: "
                + this.amount);
        System.out.println("Account Balance: "
                + this.account.getAccountBalance());
    }
}

class Account {
    private int accountNumber;
    private double accountBalance;

    public int getAccountNumber() {
        return accountNumber;
    }

    public double getAccountBalance() {
        return accountBalance;
    }

    public Account(int accountNumber) {
        this.accountNumber = accountNumber;
    }

    // If this method is not synchronized, you will see race condition on
    // Remove syncronized keyword to see race condition
    public synchronized boolean deposit(double amount) {
        if (amount < 0) {
            return false;
        } else {
            accountBalance = accountBalance + amount;
            return true;
        }
    }

    // If this method is not synchronized, you will see race condition on
    // Remove syncronized keyword to see race condition
    public synchronized boolean withdraw(double amount) {
        if (amount > accountBalance) {
            return false;
        } else {
            accountBalance = accountBalance - amount;
            return true;
        }
    }
}

#4楼

竞争条件和数据竞争之间存在重要的技术差异。 大多数答案似乎都假设这些术语是等效的,但事实并非如此。

当2条指令访问相同的存储器位置时发生数据争用,这些访问中的至少一个是写操作,并且在这些访问之间进行排序之前没有发生任何情况 。 现在,关于在顺序之前发生的事件的争论很多,但是通常在同一锁定变量上的ulock-lock对和在同一条件变量上的wait-signal对会导致发生先于顺序。

竞争条件是语义错误。 这是在事件的时间安排或顺序中出现的缺陷,导致错误的程序行为

许多竞争条件可能是(实际上是)数据竞争引起的,但这不是必需的。 实际上,数据争用和争用条件既不是彼此的必要条件也不是充分条件。 这篇博客文章还通过一个简单的银行交易示例很好地解释了差异。 这是另一个简单的示例 ,解释了它们之间的区别。

现在我们已经确定了术语,让我们尝试回答原始问题。

由于种族条件是语义错误,因此没有检测它们的通用方法。 这是因为在通常情况下,无法使用自动的oracle来区分正确的程序行为与错误的程序行为。 种族检测是一个无法确定的问题。

另一方面,数据竞争具有不一定与正确性相关的精确定义,因此人们可以检测到它们。 数据争用检测器有很多类型(静态/动态数据争用检测,基于锁集的数据争用检测,基于事前发生的数据争用检测,混合数据争用检测)。 最先进的动态数据竞争检测器是ThreadSanitizer ,在实践中效果很好。

通常,处理数据争用需要一定的编程纪律来诱发(在开发期间或使用上述工具检测到它们之间)访问共享数据之间的边缘之前。 这可以通过锁,条件变量,信号量等来完成。但是,也可以采用不同的编程范例,例如消息传递(而不是共享内存)来避免构造过程中的数据争用。


#5楼

什么是比赛条件?

您打算在下午5点去看电影。 您在下午4点询问门票的供应情况。 该代表说,他们有空。 放映前5分钟,您可以放松身心并到达售票窗口。 我敢肯定,您可以猜测会发生什么:这是一间完整的房子。 这里的问题在于检查和操作之间的持续时间。 您在4咨询并在5采取行动。与此同时,其他人则抢了票。 那是比赛条件-特别是比赛条件的“先检查后行动”场景。

您如何检测到它们?

宗教代码审查,多线程单元测试。 没有捷径。 很少有Eclipse插件出现,但是还没有稳定的东西。

您如何处理和预防它们?

最好的办法是创建无副作用的无状态函数,并尽可能多地使用不可变对象。 但这并不总是可能的。 因此,使用java.util.concurrent.atomic,并发数据结构,正确的同步以及基于actor的并发性将有所帮助。

最佳的并发资源是JCIP。 您还可以在此处获得有关上述说明的更多详细信息

本文转载自:https://el.sofbug.com/question/8yc

j
粉丝 4
博文 783
码字总数 0
作品 0
深圳
私信 提问
第5关《从零学会SQL:多表查询》练习题答案

复仇者联盟中多个人物之间有着关系,同样的,表和表之间也会有关系,这种关系在数据库里叫做联结(join),多表查找也是通过联结来实现的。 这是《从零学会sql》系列课程第5节课《多表查询》...

猴子聊人物
2019/05/23
0
0
Java设计模式系列十五(策略模式)

前言 前面讲完了设计模式的创建型模式和结构型模式,不知道一路下来有没有过陪伴的读者,因为我是三天打鱼两天晒网的模式,所以可能很久才会更新一篇,但是就这样以这种随性的方式坚持着更新...

Mooree
2019/09/11
53
0
007lizhen/QT_GuoZuChuXianFenXi

QT_GuoZuChuXianFenXi 利用QT实现中国男足国家队在2017年9月进行的“世亚预”小组赛的出线条件,得到符合条件的各个球队间的比分。 程序介绍: 1、Team类: 这里,Team类主要具有两个功能:(...

007lizhen
2017/10/23
0
0
西早稻田会友记

祖国各地都在迎接这一场降温,而东京的天气很快也要转凉了。今天结束了集体活动以后,同行的人大多去繁华的涩谷、新宿、秋叶原买买买,而我晚上约了在早稻田大学上学的朋友陈和斋藤。虽然他们...

秋纫
2016/03/02
0
0
我从狂野飙车8中学到了什么

在不充值、车的性能没有别人好的情况下,我是靠什么赢得比赛的 对地图的熟悉,知道什么地方有氮气,什么地方有急转弯,知道面前几条岔道走哪条最快。 在起步以及每一次其他车辆将要接近时,加...

testglory
2017/11/22
0
0

没有更多内容

加载失败,请刷新页面

加载更多

WPF中的StaticResource和DynamicResource有什么区别?

在WPF中使用画笔,模板和样式等资源时,可以将它们指定为StaticResources <Rectangle Fill="{StaticResource MyBrush}" /> 或者作为DynamicResource <ItemsControl ItemTemplate="{DynamicR......

javail
27分钟前
49
0
Day07继承中的面试题 答案

1. 每一个构造方法的第一条语句默认都是:super() Object类最顶层的父类。 class Zi extends Fu{ public int num = 20; public Zi(){ //super(); System.out.println("zi"); } 2.class Test......

Lao鹰
33分钟前
42
0
每天AC系列(四):四数之和

1 题目 Leetcode第18题,给定一个数组与一个target,找出数组中的四个数之和为target的不重复的所有四个数. 2 暴力 List<List<Integer>> result = new ArrayList<>();if (nums.length == 4 &......

Blueeeeeee
43分钟前
54
0
git clone --mirror和git clone --bare有什么区别

git clone帮助页面上有关于--mirror : 设置远程存储库的镜像。 这意味着--bare 。 但没有详细介绍--mirror克隆与--bare克隆--mirror不同。 #1楼 克隆将从远程服务器复制参考,并将其填充到名...

技术盛宴
58分钟前
72
0
代码生成器技术乱弹二十六,未来之野望,未实现的功能:动态Controller名字后缀

现在,光1.5.0的Controller后缀是固定的。比如:UserController, PrivilegeController之类的。而动态Controller名字后缀功能实现后,您只需要定义 controllernamingsuffix:Adaoter Control...

火箭船
今天
53
0

没有更多内容

加载失败,请刷新页面

加载更多

返回顶部
顶部