在公司内部技术分享的时候,A同事对
SimpleDateFormat类的线程安全问题进行了阐述并进行实际代码测试,A同事说SimpleDateFormat类是非线程安全的原因是因为format方法
使用了一个共享变量calendar,所以多线程调用同一个SimpleDateFormat对象的format方法会导致非线程安全问题的出现(注意是多线程操作同一个对象的前提下)
jdk8内部SimpleDateFormat类的format方法实现如下
private StringBuffer format(Date date, StringBuffer toAppendTo, FieldDelegate delegate) { // Convert input date to time field list calendar.setTime(date); boolean useDateFormatSymbols = useDateFormatSymbols(); for (int i = 0; i < compiledPattern.length; ) { int tag = compiledPattern[i] >>> 8; int count = compiledPattern[i++] & 0xff; if (count == 255) { count = compiledPattern[i++] << 16; count |= compiledPattern[i++]; } switch (tag) { case TAG_QUOTE_ASCII_CHAR: toAppendTo.append((char)count); break; case TAG_QUOTE_CHARS: toAppendTo.append(compiledPattern, i, count); i += count; break; default: subFormat(tag, count, delegate, toAppendTo, useDateFormatSymbols); break; } } return toAppendTo; }
因为A同事说是因为共享变量才导致的线程安全问题所以我们来看一下HashMap的线程安全问题是不是也是因为共享变量导致的
jdk8 HashMap类的put方法实现如下
public V put(K key, V value) { return putVal(hash(key), key, value, false, true); } final V putVal(int hash, K key, V value, boolean onlyIfAbsent, boolean evict) { Node<K,V>[] tab; Node<K,V> p; int n, i; if ((tab = table) == null || (n = tab.length) == 0) n = (tab = resize()).length; if ((p = tab[i = (n - 1) & hash]) == null) tab[i] = newNode(hash, key, value, null); else { Node<K,V> e; K k; if (p.hash == hash && ((k = p.key) == key || (key != null && key.equals(k)))) e = p; else if (p instanceof TreeNode) e = ((TreeNode<K,V>)p).putTreeVal(this, tab, hash, key, value); else { for (int binCount = 0; ; ++binCount) { if ((e = p.next) == null) { p.next = newNode(hash, key, value, null); if (binCount >= TREEIFY_THRESHOLD - 1) // -1 for 1st treeifyBin(tab, hash); break; } if (e.hash == hash && ((k = e.key) == key || (key != null && key.equals(k)))) break; p = e; } } if (e != null) { // existing mapping for key V oldValue = e.value; if (!onlyIfAbsent || oldValue == null) e.value = value; afterNodeAccess(e); return oldValue; } } ++modCount; if (++size > threshold) resize(); afterNodeInsertion(evict); return null; }
我们发现Node是HashMap类的一个静态内部类,那么
Node<K,V>[] tab;
定义的tab变量是一个静态变量,所以这个变量属于HashMap类不是属于具体某一个对象,因此在调用HashMap的put方法的时候操作的是一个共享变量,这就是HashMap类为什么是非线程安全的原因了
我们来看一下Hashtable的put方法可以看到put方法加synchronized关键字来进行同步,保证多线程操作tab共享变量的时候具有可见性(保证线程安全也可使用ConcurrentHashMap)
public synchronized V put(K key, V value) { // Make sure the value is not null if (value == null) { throw new NullPointerException(); } // Makes sure the key is not already in the hashtable. Entry<?,?> tab[] = table; int hash = key.hashCode(); int index = (hash & 0x7FFFFFFF) % tab.length; @SuppressWarnings("unchecked") Entry<K,V> entry = (Entry<K,V>)tab[index]; for(; entry != null ; entry = entry.next) { if ((entry.hash == hash) && entry.key.equals(key)) { V old = entry.value; entry.value = value; return old; } } addEntry(hash, key, value, index); return null; }
最终总结如下:
非线程安全的原因之一是由于存在多线程操作了共享变量导致的
以上仅个人看法可能有理解偏差的地方,请见谅