事与愿违:可变类出现了线程安全问题

2023年 10月 27日 24.3k 0

大家好,我是冰河~~

“确实在公司跟着老大能学到很多知识啊,之前确实也不怎么了解线程安全问题和一些解决方案,现在了解了,也终于基于不可变类实现了一个简单的功能,明天找老大帮我看看“,小菜心里想着,脸上露出了满意的微笑。

一、情景再现

上回说到:小菜在自己实现分配的统计商品详情接口调用次数的功能时,没注意线程安全问题,导致统计出来的结果数据与实际结果偏差较大,通过老王的耐心讲解,知道了背后产生问题的根本原因,也学到了几种并发问题的解决方案。

下班后,小菜自己尝试基于不可变类实现一个简单的功能,但是。。。

二、事与愿违

第二天,小菜早早来到公司,昨天自己想基于不可变类实现一个简单的功能,经过自己不懈的努力,终于“完成”了自己想象的功能,心里也是比较高兴的。就等着老王来公司后,给老王看看自己实现的功能。

正想着,小菜听到了老王说话的声音,原来是老王跟几个同事一起到公司了。看着老王走到了自己的工位上,小菜拿着自己的电脑来到老王身边说:”老大,我昨天学了不少并发问题的解决方案,对不可变类这种方式很感兴趣,回去后自己基于这种方式实现了一个小功能,你帮我看看实现的对吗?“。

老王听后说:“我看看,你给我简单说下实现的功能是啥?”。

“咱们乘坐高铁,在进站时不是都要通过身份证检票吗,我就想通过不可变类模拟实现一个检票的功能,这个检票功能支持并发访问,也就是同时支持多个人拿着身份证通过检票。

在实现上,我想的比较简单,就是通过一个名字和身份证编号来定义一个不可变类,表示一个用户,由这个不可变类支持线程安全。再由一个Map来存储这些用户的信息,当用户通过检票时,更新下用户的信息,最终打印出来。整个过程基于不可变类实现线程安全”。

“我还画了一张图”,说着小菜从电脑里打开了自己画的场景需求图,如图4-1所示。

图片

老王听了后说:“嗯,我大概明白你的需求了,我看看代码实现”。

于是小菜便把电脑给了老王,要不说老王是大牛呢?老王只是用他那凌厉的眼扫了一眼,便说道:“这代码有问题”。

“啊”,小菜当时就有点懵,“这,我觉得没问题呀”。。。

三、分析代码

“那我们就结合代码来分析下原因吧”,老王说着,便让小菜看代码。“首先是这个User用户类”。

User类的源码详见:concurrent-design-patterns-immutable工程下的io.binghe.concurrent.design.demo.wrong.User。

public class User {

    private String name;
    private Long idCard;

    public void set(String name, Long idCard){
        this.name = name;
        this.idCard = idCard;
    }
    @Override
    public String toString() {
        return "User{" +
                "name='" + name + ''' +
                ", idCard=" + idCard +
                '}';
    }
}

“这个User类就是有问题的,你知道什么是不可变类吗?”,老王问小菜。

小菜说:“知道,就是一个类一经创建,就不会发生变化的类,就叫做不可变类”。

“对,概念记得倒是挺清楚的,但是这个User类不是一个不可变类呀,我们根据不可变类的定义分析下这个User类为什么不是一个不可变类”,老王巴拉巴拉的说了起来。总体上,老王针对User类为什么不是不可变类,总结了如下几点:

  • 用户类没有被final修饰,可以有其他类继承User类,一旦有子类继承,就可能改变User类的状态。
  • User类里的成员变量没有被final修饰,可能会发生变化。
  • User类中提供了修改成员变量的方法。成员变量可能发生变化。
  • User类的set()方法也不是原子的,存在线程安全问题,多个线程同时访问可能会存在并发问题。

“明白了吗?”,老王问小菜。

“明白了”,小菜回答道,“其实我总觉得哪里有点怪,就是说不上来,我以为我写的是对的”,小菜不好意思的笑了笑。

“那我们再来看看你写的这个TicketCheck类”,老王继续说道,说着打开了小菜写的TicketCheck类的代码片段。

TicketCheck类的源码详见:concurrent-design-patterns-immutable工程下的io.binghe.concurrent.design.demo.wrong.TicketCheck。

public class TicketCheck {

    private Map userMap = new ConcurrentHashMap();

    public void updateUser(String userKey, String userName, Long idCard){
        User user = userMap.get(userKey);
        user.set(userName, idCard);
        System.out.println(Thread.currentThread().getName() + "--当前检票的用户是:" + user.toString());
        userMap.put(userKey, user);
    }

    public User getUser(String userKey){
        return userMap.get(userKey);
    }
}

“这个类也相对比较简单”,老王继续说道:“但是这类会改变User对象内部的状态,User类本身就不是一个不可变类,加上TicketCheck类也确实通过用户类的set()方法改变了用户类的状态,如果多个线程访问了同一个userKey中的User对象,就可能会存在线程安全问题,所以整体不能基于不可变类保证线程安全”。

此时的小菜有点一脸懵逼,眉头拧成了一个麻花。

老王看了一眼小菜,说到:“刚才我说的听明白了吗?”。

“有点听不明白了”,我写的TicketCheck类,其实并不是要修改User类,而是为User类设置userName和idCard属性,实际并不会修改User类的信息,只是记录检票的用户,并且打印用户的信息,不太明白为啥不能基于不可变类保证线程安全“。

“这样吧,我给你画张图分析一下”,老王说道。

于是,老王打开了电脑的画图工具。。。

四、画图分析

要不说老王这人就是牛,对其他同事也特别好呢,不一会,就画出了一张分析图,如图4-2所示。

图片

“我们就基于你写的User类进行讲解,看这张图”,老王继续说到,“假设现在user对象的name为张三,idCard为1001,线程1获取到用户信息时,此时的name为张三,idCard为1001,线程1调用user对象的set()方法来修改用户的信息。我们来看user的set()方法”,老王又打开了User类的代码,重点让小菜看set()方法的代码。

public void set(String name, Long idCard){
    this.name = name;
    this.idCard = idCard;
}

“在set()方法中,会分别修改user的name字段和idCard的值,这个过程并不是原子操作,线程1在执行set()方法时,在更新完name字段的值时,如果此时恰好发生了线程切换,线程2获取用户信息时,获取到的用户的name字段为张三,idCard字段为1001。这时,线程2获取到的数据是错乱的,线程2获取到的用户name字段为李四,idCard却是张三的身份证编号,用户数据发生了错乱的现象,出现了线程安全问题”。

“这么说能听明白吗?”,老王又问小菜。

“嗯,这次明白了”,小菜回复到。

“那我们继续讲讲怎么写不可变类的代码吧”,老王接着说。

“好的”。

正当老王准备讲如何写不可变类的代码时,此时听到一个熟悉的声音,“王工,有个新的需求要和技术这边一起讨论下可行性,你参与一下呀?”,老王抬头一看,原来是产品经理,边说边往这边走,于是回了句:“好的”。

老王转过有来对小菜说:“那我们今天就到这儿,你先结合今天分析的内容,思考下怎么写不可变的类,有时间咱们再接着聊,我去开会”。(老王真特么是个大好人)。

“好的”,小菜接着说。

于是,老王拿着电脑跟产品经理去开会了,小菜回到了自己的工位,开始了一天的工作。。。

五、本章总结

本章,以场景故事的形式描述了不可变类存在的线程安全问题,以及对不可变类存在的线程安全问题进行了分析。

相关文章

JavaScript2024新功能:Object.groupBy、正则表达式v标志
PHP trim 函数对多字节字符的使用和限制
新函数 json_validate() 、randomizer 类扩展…20 个PHP 8.3 新特性全面解析
使用HTMX为WordPress增效:如何在不使用复杂框架的情况下增强平台功能
为React 19做准备:WordPress 6.6用户指南
如何删除WordPress中的所有评论

发布评论