StringBuilder为什么不安全?

引言

在文章String、StringBuffer、StringBuilder三兄弟中提到了StringBuilder是线程不安全的,这个结论在我接触Java初期就接触到了,牢记在心却说不出来所以然,所以决定看一看源码,挖一挖原因(一挖一麻袋?)。

分析

查看String源码得知,String字符串是存储在一个不可变的char[]数组中,因为是final类型,初始化后就不可以修改,所以讨论String的安全性是没有什么意义的,它根本不会出现并发的情况:

/** The value is used for character storage. */
private final char value[];

我们再看StringBuilder、StringBuffer的源码,发现它们都继承了 AbstractStringBuilder ,底层都是利用可修改的char数组(JDK 9 以后是 byte数组)。StringBuffer通过synchronized关键字保证了其线程安全性。那StringBuilder在多线程下会发生什么情况呢?我们通过一个实例来看一下:

StringBuilder stringBuilder = new StringBuilder();
for (int i = 0; i < 100; i++) {// 根据自己电脑性能调整该值
    new Thread(new Runnable() {
        @Override
        public void run() {
            for (int j = 0; j < 1000; j++) {
                stringBuilder.append('1');
            }
        }
    }).start();
}
new Thread().sleep(1000);
System.out.println("这个stringBuilder的长度是多少呢?");
System.out.println(stringBuilder.length());

我们通过代码创建了100个线程(根据自己电脑性能调整,如果结论等于理论值,可适当调大),每个线程做1000次循环,每次增加一个字符'1',理论stringBuilder的长度为100*1000 = 100000,实际结果(结果不可控,每次执行会有差异的可能性):

这个stringBuilder的长度是多少呢?
96762

将线程增加到1000,循环增加到10000时,发现抛出了异常信息(不是必现,可适当调整线程数和循环数):

Exception in thread "Thread-0" java.lang.ArrayIndexOutOfBoundsException: 4606
    at java.lang.AbstractStringBuilder.append(AbstractStringBuilder.java:623)
    at java.lang.StringBuilder.append(StringBuilder.java:202)
    at Test.MainTest$1.run(MainTest.java:11)
    at java.lang.Thread.run(Thread.java:745)
这个stringBuilder的长度是多少呢?
9495864

寻因

通过上面的代码我们发现,StringBuilder在多线程并发时可能发生两种错误:

  1. StringBuilder在多线程并发时,长度小于理论值
  2. StringBuilder在多线程并发时,会抛出'java.lang.ArrayIndexOutOfBoundsException'(数组越界)的异常信息

问题1:StringBuilder在多线程并发时,长度小于理论值

通过查看Stringbuilder的源码我们知道下面两个参数:

/**
 * The value is used for character storage. 用来存放字符串
 */
char[] value;
/**
 * The count is the number of characters used. 用来存放数组长度
 */
int count;

我们上面用到了append(String str)方法:

@Override
public StringBuilder append(String str) {
    super.append(str);
    return this;
}

重写并调用了父类(AbstractStringBuilder)的方法:

public AbstractStringBuilder append(String str) {
    if (str == null)
        return appendNull();
    int len = str.length();
    ensureCapacityInternal(count + len);
    str.getChars(0, len, value, count);
    count += len;
    return this;
}

我们直接看第七行"count += len;",数组长度的计算并不是一个原子性操作,在线程并发的情况下,count的计算可能是不准确的。假设线程A读取到count=10,线程B也读取到count=10,len = 1,两个线程同时执行"count += len;",最终count = 11,而不是12。这就导致了问题1的发生。

问题2:StringBuilder在多线程并发时,会抛出'java.lang.ArrayIndexOutOfBoundsException'(数组越界)的异常信息

我们看append(String str) 方法的第五行"ensureCapacityInternal(count + len);",这个方法用来判断数组是否需要扩容,当count + len > 当前数组长度时,进行扩容操作。

/**
 * This method has the same contract as ensureCapacity, but is
 * never synchronized.
 */
private void ensureCapacityInternal(int minimumCapacity) {
    // overflow-conscious code
    if (minimumCapacity - value.length > 0)
        expandCapacity(minimumCapacity);
}
/**
 * This implements the expansion semantics of ensureCapacity with no
 * size check or synchronization.
 */
void expandCapacity(int minimumCapacity) {
    //新的数组长度为原来的两倍加2
    int newCapacity = value.length * 2 + 2;
    if (newCapacity - minimumCapacity < 0)
    //如果两倍加2仍然小于count + len,则扩容到count + len长度;
        newCapacity = minimumCapacity;
    //如果新长度<0(int类型超过最大值会为负,测试代码见附录1),则新长度为最大整数2^32 - 1
    if (newCapacity < 0) {
        //若count+len为负,则证明字符长度超过最大整数,数组没办法再扩容,抛出OutOfMemoryError异常。
        if (minimumCapacity < 0) // overflow
            throw new OutOfMemoryError();
        newCapacity = Integer.MAX_VALUE;
    }
    value = Arrays.copyOf(value, newCapacity);
}

接下来我们看append(String str) 方法的第六行"str.getChars(0, len, value, count);",该方法用来将str拼接进char[]数组中:

public void getChars(int srcBegin, int srcEnd, char dst[], int dstBegin) {
    // 忽略参数校验代码
    System.arraycopy(value, srcBegin, dst, dstBegin, srcEnd - srcBegin);
}

在非并发情况下的拷贝过程:


非并发的拷贝过程

我们来看一下这个拷贝过程在并发情况下会出现什么问题:count=15,len=1,value.length = 16,线程A、B先后执行到第五行"ensureCapacityInternal(count + len);",线程A通过校验后让出CPU,线程B进行校验,此时count仍为15,B仍可通过扩容校验,继续执行拷贝过程,执行完成后count=16,B让出CPU,线程A继续执行拷贝方法,此时的count已经等于16了,因此会抛出数组越界的异常。

参考文章

参考微信推文:StringBuilder为什么线程不安全?

附录

附录1:int类型超过最大值继续增加变为负值

int a = Integer.MAX_VALUE;
System.out.println(a+2);
结果为:
-2147483647
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 216,372评论 6 498
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 92,368评论 3 392
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 162,415评论 0 353
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 58,157评论 1 292
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 67,171评论 6 388
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 51,125评论 1 297
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 40,028评论 3 417
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 38,887评论 0 274
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 45,310评论 1 310
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 37,533评论 2 332
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 39,690评论 1 348
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 35,411评论 5 343
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 41,004评论 3 325
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 31,659评论 0 22
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,812评论 1 268
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 47,693评论 2 368
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 44,577评论 2 353

推荐阅读更多精彩内容