ThreadLocal可以解決併發問題嗎?

前言

到底什麼是線程的不安全?爲什麼會存在線程的不安全?線程的不安全其實就是多個線程併發的去操作同一共享變量沒用做同步所產生意料之外的結果。那是如何體現出來的呢?我們看下面的一個非常經典的例子:兩個操作員同時操作同一個銀行賬戶,A操作員存錢,100B操作員取錢50。我們看一下流程。

兩個操作員同時處理,沒用做同步這個時候我們發現銀行賬戶最終餘額剩餘950元,在我們想的最終結果銀行賬戶應該剩餘1000+100-50=1050元,在執行過程中我們沒有加鎖,最終導致了運行結果偏離預期。那麼如何解決的?一般的解決措施就是加鎖,加同步鎖所以這就需要使用者一定要知道鎖是什麼。我們來看一下加鎖之後的效果是不是我們所預期的。

在添加同步鎖後我們可以看到,A操作員和B操作員同時去操作賬戶,但是A先搶佔到資源,所以B就只能等待A操作員釋放鎖才能去操作銀行賬戶,那麼最終結果是我們所預期的嗎?答案是的。

同步的話一般都是加鎖,如果現在我想創建多個線程每個線程都是訪問的自己的變量呢?各個線程之間毫無關聯?

答案是有的。

ThreadLocal問題

ThreadLocal 是JDK提供的,它提供了線程本地變量。什麼是線程本地變量呢?其實就是你創建了一個Threadlocal變量,每個訪問Threadlocal變量的線程都有一個本地副本。我們看下面的圖:

從上面看出你創建一個ThreadLocal變量,每個訪問該的線程都會複製到自己的本地,所以線程操作的都是本地的副本,這也就是說每個線程都是操作的自己本地的變量,那就完美的避免了線程安全的問題。

在這裏還有一個問題。我在寫這篇文章的時候看過很多文章,總的來說就是ThreadLocal就是爲了解決多線程併發問題而提供的一種方法,還有一種解釋就是ThreadLocal的最終目的就是爲了解決多線程訪問共享資源所產生的。真的對嗎?ThreadLocal並沒有共享那麼從何而來的同步呢?

自己的想法

在看了Java併發編程之美後我所理解的Threadlocal提供了線程本地變量的副本,每個線程實際操作的時自己本地的變量副本,也就是說該變量副本只能當前線程訪問,就不存在多個線程共享的問題,從Threadlocal名字我們也能看出本地線程。那那那它也就不存在去解決併發問題了。

如何使用

我們來看下面的例子。

輸出結果:

Thread[Thread-1,5,main]====57
Thread[Thread-0,5,main]====75

創建了兩個線程,它們都在threadlocal上面都set了一個隨機數,我們看最後得輸出結果每個都是不同得值,那麼我們如果把threadlocal替換成一個集合會發生什麼,由於兩個線程時上個線程生成的隨機數57會被第二個線程覆蓋掉,而在Threadlocal中兩個線程都是操作的自己的本地副本,那麼兩個線程互不影響都無法操控到對方的數據,因此它們存取的都是不同的值。

實現原理

那麼Threadlocal是如何實現的呢?在研究Threadlocal的實現原理我們先看一下Thread的內部屬性。

  • threadLocals 此線程保存的Threadlocal的值

inheritableThreadLocals等到後面再說。

Thread的內部屬性中我們看到了這兩個默認爲null的屬性,threadLocals用來保存Threadlocal的本地副本,默認是爲null只有調用Threadlocal的set時纔會創建。也就是說Threadlocal就類似一個工具,它的作用就是把value的值通過set存在線程每個線程的threadLocals 中,只要線程一直存在threadLocals 也就一直存在。所以當不需要使用本地變量的時候可以調用Threadlocal的remove來清空本地變量。而threadLocals 爲什麼繼承魚ThreadLocalMap呢?ThreadLocalMap是一個定製的HashMap,而使用Map的原因就是可以每個線程關聯多個Threadlocal變量。

set方法

我們來看一下set方法是如何實現的。

可以看出流程非常簡單,首先獲取當前線程然後在進行下一步操作,我們在看一下getMap做了什麼

getMap主要就是返回了當前threadLocals的屬性。那如果map爲空呢?

如果map爲空的話就直接創建一個新的ThreadLocalMap。

我們來看一下流程圖。

get方法

看一下Get方法

首先根據當前線程獲取實例如果存在就返回,如果不存在就先初始化一個空值,然後判斷如果當前threadLoacals不爲空就直接set一個空,否則就創建一個變量。

remove方法

remove方法相對來說比較簡單。

總結

Threadlocal的實現原理其實就是通過set把value set到線程的threadlocals屬性中,threadlocals類型是Map其中的Key就是Threadlocal的this引用,value就是我們所set的值,如果當前線程不銷燬的話threadlocals會一直存在。一直存在的話可能會造成內存溢出,所以使用完之後儘量remove一下。不過在這裏又有一個問題那就是如果我的線程想要讀取主線程的變量要怎麼做?我們上面的例子都是設置的新創建的線程,那麼現在我在主線程中set一個值,這個時候我在新創建的線程中可以讀取到嗎?答案是不可以,因爲Threadlocal不支持繼承性。

我們看下面的例子:

輸出結果:

Thread[Thread-0,5,main]====null

也就是說Threadlocal不支持繼承性,主線程設置了值,在子線程中是獲取不到的。那我現在想要獲取主線程裏面的值要怎麼做?

Threadlocal是實現不了的,不過Threadlocal有一個子類可以實現。InheritableThreadLocalInheritableThreadLocalThreadlocal的實現,我們來看一個簡單的例子。

輸出結果:

Thread[Thread-0,5,main]====1000

運行結果發現子線程是可以獲取到主線程設置的值的,那它是如何實現的?

我們看一下代碼實現:

InheritableThreadLocal是繼承Threadlocal的,並且把threadlocals給替換成inheritableThreadLocals了所以上面的inheritableThreadLocals我要留在最後說,那麼替換成inheritableThreadLocals後子線程就可以獲取到主線程設置的屬性了嗎?我們在看一下Thread的實現。

Thread的初始化方法可以看出,先獲取了當前線程(主線程)判斷主線程的inheritableThreadLocals不爲空的話就調用createInheritedMap方法賦值給子線程中的inheritableThreadLocals。具體這裏解釋太多。有機會在寫一篇文章來解釋。

本文完

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章