灵魂一问:为什么StringBuilder是不是线程安全的

许多面试的小伙伴都背过面试题:StringBuilder和StringBuffer哪个是线程安全的,哪个不是线程安全的?
大家都能倒背如流,StringBuilder不是线程安全的,StringBuffer是线程安全的。当问到为什么StringBuilder是不是线程安全的,许多人都沉默了......

StringBuilder和StringBuffer的源码分析

在分析这个问题之前我们要知道StringBuilder和StringBuffer的内部实现跟String类一样,都是通过一个char数组存储字符串的,不同的是String类里面的char数组是final修饰的,是不可变的,而StringBuilder和StringBuffer的char数组是可变的。

String的类结构示意图.png

String部分源码.png

StringBuilder和StringBuffer的类结构
StringBuilder和StringBuffer都继承了一个抽象的字符串父类: AbstractStringBuilder
StringBuilder和StringBuffer的类结构图

StringBuffer 代码片段:

StringBuilder代码片段:

因为 StringBuffer 的所有公开方法都是synchronized 修饰的,而StringBuilder 并没有 synchronized 修饰。通过synchronized 关键字保证了StringBuffer是线程安全的。

StringBuilder线程不安全的原因

首先我们看下边这个例子:

public class Test {
    public static void main(String[] args) throws InterruptedException {
        StringBuilder stringBuilder = new StringBuilder();
        for (int i = 0; i < 10000; i++){
            new Thread(() -> {
                for (int j = 0; j < 10000; j++){
                    stringBuilder.append("a");
                }
            }).start();
        }

        Thread.sleep(100L);
        System.out.println(stringBuilder.length());
    }
}

直觉告诉我们输出结果应该是10000000,但是实际运行结果并非我们所想。


StringBuilder的append方法进行了非原子操作

StringBuilderappend方法


StringBuilderappend方法调用了父类的append方法

我们直接看第七行代码,count += len; 不是一个原子操作,实际执行流程为

  • 首先加载count的值到寄存器
  • 在寄存器中执行 +1操作
  • 将结果写入内存

假设我们count的值是10,len的值为1,两个线程同时执行到了第七行,拿到的值都是10,执行完加法运算后将结果赋值给count,所以两个线程最终得到的结果都是11,而不是12,这就是最终结果小于我们预期结果的原因。

为什么会抛出ArrayIndexOutOfBoundsException异常?

我们看回AbstractStringBuilder的追加()方法源码的第五行,ensureCapacityInternal()方法是检查StringBuilder的对象的原字符数组的容量能不能盛下新的字符串,如果盛不下就调用expandCapacity()方法对字符数组进行扩容。

private  void  ensureCapacityInternal(int  minimumCapacity)  {
         //溢出意识代码
    if  (minimumCapacity  -  value .length>  0)
        expandCapacity(minimumCapacity); 
}

扩容的逻辑就是新一个新的字符数组,新的字符数组的容量是原来字符数组的两倍再加2,再通过System.arryCopy()函数将原数组的内容复制到新数组,最后将指针指向新的字符数组。

void  expandCapacity(int  minimumCapacity)  {
     //计算新的容量
    int  newCapacity =  value .length *  2  +  2 ; 
    //中间省略了一些检查逻辑
     ...
     value  = Arrays.copyOf( value,newCapacity); 
}

Arrys.copyOf()方法

public  static  char []  copyOf(char [] original,  int  newLength)  {
     char [] copy =  new  char [newLength]; 
    //拷贝数组
     System.arraycopy(original,  0,copy,  0,
                         Math.min(original.length,newLength)); 
    返回  副本; 
}

AbstractStringBuilder的追加()方法源码的第六行,是将字符串对象里面字符数组里面的内容拷贝到StringBuilder的对象的字符数组里面,代码如下:

str.getChars(0,len,  value,count);

则GetChars()方法


public  void  getChars(int  srcBegin,  int  srcEnd,  char  dst [],  int  dstBegin)  {
     //中间省略了一些检查
     ...   
    System.arraycopy( value,srcBegin,dst,dstBegin,srcEnd  -  srcBegin); 
}

拷贝流程见下图

StringBuilder.append()执行流程

假设现在有两个线程同时执行了StringBuilderappend()方法,两个线程都执行完了第五行的ensureCapacityInternal()方法,此刻count=5

StringBuilder.append()执行流程2

这个时候线程1cpu时间片用完了,线程2继续执行。线程2执行完整个append()方法后count变成6了。

StringBuilder.append()执行流程3

线程1继续执行第六行的str.getChars()方法的时候拿到的count值就是6了,执行char[]数组拷贝的时候就会抛出ArrayIndexOutOfBoundsException异常。

你可能感兴趣的:(灵魂一问:为什么StringBuilder是不是线程安全的)