美文网首页Fortify代码漏洞修复专题
【修复总结】时间与状态 - 竞态条件漏洞 - 多线程下缺陷的格式

【修复总结】时间与状态 - 竞态条件漏洞 - 多线程下缺陷的格式

作者: Franchen | 来源:发表于2020-03-04 11:05 被阅读0次

威胁描述

Java常用SimpleDateFormat做时间转换,但SimpleDateFormat不是线程安全的,如果SimpleDateFormat用static声明或只实例化一次被多个线程使用,并发度高时可导致用户看到其他用户数据。

威胁说明

SimpleDateFormat中的 parse()format() 方法不是线程安全的,当在多线程的并发环境里,把它定义为全局静态变量,将导致用户看到其他用户数据的竞态条件漏洞。(详细参见:SimpleDateFormat为什么不是线程安全的

受影响的还有:
  1. SimpleDateFormat的父类持有的对象Calendar,在多线程中会出现A线程设置Calendar值后被B线程修改,或者A和B线程同时设置Calendar的值,都会出现错误。

  2. SimpleDateFormat持有对象DecimalFormat也不是线程安全的

修复建议

方案1:使用同步锁(降低性能)

最简单的方法就是在做日期转换之前,为DateFormat对象加锁。这种方法使得一次只能让一个线程访问DateFormat对象,而其他线程只能等待。

public class Common {

    private static SimpleDateFormat dateFormat;
    ...

    public synchronized String format1(Date date) {
        return dateFormat.format(date);
    }

    public String format2(Date date) {
        synchronized(dateFormat)
        {
            return dateFormat.format(date);
        }
    }
}

方案2:使用ThreadLocal(增加内存开销)

另外一个方法就是使用ThreadLocal变量去容纳DateFormat对象,也就是说每个线程都有一个属于自己的副本,并无需等待其他线程去释放它。这种方法会比使用同步块更高效。

public class DateFormatTest {
    private final ThreadLocal<DateFormat> df = new ThreadLocal<DateFormat>() {
        @Override
        protected DateFormat initialValue() {
            return new SimpleDateFormat("yyyyMMdd");
        }
    };
    public Date convert(String source) throws ParseException {
        return df.get().parse(source);
    }
}

方案3:JDK1.8及以上,使用DateTimeFormatter类(推荐)

JDK1.8中新增了 LocalDateLocalDateTime 等类来解决日期处理方法,同时引入了一个新的类 DateTimeFormatter 来解决日期格式化问题。
LocalDateTimeDateTimeFormatter 两个类都没有线程问题,只要不把它们创建为共享变量就没有线程问题。

DateTimeFormatter formatter = DateTimeFormatter.ofPattern("yyyy MM dd");
LocalDate date = LocalDate.parse("2017 06 17", formatter);
System.out.println(formatter.format(date));

方案4:使用 FastDateFormat 类

FastDateFormatapachecommons-lang3包提供的,FastDateFormat是线程安全的,可以直接使用,不必考虑多线程的情况

public class DateUtil {
    public static final FastDateFormat FORMAT_yyyyMMddHHmmss=FastDateFormat.getInstance("yyyy-MM-dd HH:mm:ss");
    /**
     * 最常用的格式化10位时间戳为yyyyMMddHHmmss
     */
    public static String getNormalTime(String timestamp){
        return FORMAT_yyyyMMddHHmmss.format(getDate(timestamp));
    }
}

方案5:使用Joda-Time(推荐)

Joda-Time 是一个很棒的开源的 JDK 的日期和日历 API 的替代品,其 DateTimeFormat 是线程安全而且不变的。
Joda-Time 对比 FastDateFormat,不仅仅可以对时间进行格式化输出,而且可以生成瞬时时间值,并与CalendarDate等对象相互转化,极大的方便了程序的兼容性。

import org.joda.time.DateTime;
import org.joda.time.format.DateTimeFormat;
import org.joda.time.format.DateTimeFormatter;
import java.util.Date;

public class DateFormatTest {
    private final DateTimeFormatter fmt = DateTimeFormat.forPattern("yyyyMMdd");
        
    public Date convert(String source){
        DateTime d = fmt.parseDateTime(source);
        returnd.toDate();
    }
}

相关文章

  • 【修复总结】时间与状态 - 竞态条件漏洞 - 多线程下缺陷的格式

    威胁描述 Java常用SimpleDateFormat做时间转换,但SimpleDateFormat不是线程安全的...

  • 【链安】竞态条件漏洞分析及详细修复建议

    什么是竞态条件 【竞态条件】竞态条件的官方定义是如果程序的执行顺序改变会影响结果,它就属于一个竞态条件。在智能合约...

  • 多线程与同步

    多线程与同步 多线程并行执行能够大大提升程序运行效率,但是也要注意随之带来的线程间同步问题,避免竞态条件(“Rac...

  • 竞态 synchronized关键字

    多线程编程中对于同样的输入,结果时而正确时而错误的现象称为竞态。正确性与时间相关。竞态的两种模式read-modi...

  • Java并发

    无状态对象一定是线程安全的 竞态条件当某个计算的正确性取决于多个线程的交替执行时序时,那么久会发生竞态条件。换句话...

  • Python多线程(三):锁

    上一篇:多线程编程 在Python多线程(一):GIL中我们提到了竞态条件问题,即不同线程修改相同的共享变量出现运...

  • 竞态与死锁的理解

    1、竞态条件: 定义:竞态条件指的是一种特殊的情况,在这种情况下各个执行单元以一种没有逻辑的顺序执行动作,从而导致...

  • python Lock对象,对临界区加锁

    12.4 如果我们的程序用到了多线程,我们相对临界区进行加锁处理,避免竞态条件的出现 可以利用threading模...

  • 竞态条件与临界区

    1.个人理解 2.示例 //上面起的两个线程中传入的是同一个方法主体实例,所以会产生竞态条件的. 方法就是临界区 ...

  • Java并发编程实战读书笔记之线程安全性

    一、术语 有状态(无状态) 线程安全 原子性 竞态条件 要编写线程安全的代码,其核心是要对状态访问操作进行管理,特...

网友评论

    本文标题:【修复总结】时间与状态 - 竞态条件漏洞 - 多线程下缺陷的格式

    本文链接:https://www.haomeiwen.com/subject/zozplhtx.html