在上一則教程中,我們引入了智能指針的相關(guān)概念,并詳細地說明了智能指針的用法,而且我們也對智能指針進行了一些完善,使其更加具備普適性,在前一則教程中,我們也提到了說雖然已經(jīng)完善了很多,但是仍然存在著問題,這個問題是什么呢?我們本節(jié)教程將著重敘述這個內(nèi)容。在閱讀本則教程之前需要閱讀上一則教程:適合具備 C 語言基礎(chǔ)的 C 教程(十三)
多線程下存在的問題
在講述多線程下存在的問題之前,我們需要了解一下在一個系統(tǒng)中,當要對一個變量進行操作的時候,需要經(jīng)歷哪些步驟,步驟如下:image-20210302124451534由上述示意圖可知,如果要進行?count ,那么這個時候要進行讀入, 1,寫入三個操作。而正是因為這個操作,那么在多線程的情況下,如果處理不當,就會導致錯誤。我們來回憶一下上一則教程中智能指針的內(nèi)容,為了防止在使用智能指針時,多個指針指向同一個對象,導致的多次釋放同一塊內(nèi)存區(qū)域的問題。我們引入了count計數(shù)來記錄一個對象被指向的次數(shù),表示這個對象有多少個指針指向它。如果現(xiàn)在有多個指針指向同一個對象,那么就就需要根據(jù)count值來決定是否釋放對象的內(nèi)存,因為如果這個對象被兩個指針所指向,根據(jù)其中一個指針銷毀了這塊內(nèi)存區(qū)域的時候,那么另一個指針將會出現(xiàn)問題,所以?count的值非常關(guān)鍵。那在上述的流程圖中,我們知道了改變count值所遵循的這樣一個步驟,在這個步驟的基礎(chǔ)上會存在什么問題呢?這就是本節(jié)所要研究的問題。當當前的系統(tǒng)處于一個多線程運行的情況下的時候,那么當前的代碼就不是線程安全的,我們來看下面的解析:在基于前面的智能指針的基礎(chǔ)上,我們寫出如下代碼,首先是:sp?s1?=?new?Person(); 那么這時候可以知道?s1->getStrongCount()等于1,然后,緊接著是如下兩句代碼:sp?s2?=?s1; sp?s3?=?s1; 那么這個時候s1->getStrongCount()等于3,常規(guī)來講是這樣子的,但是并不排除特殊情況下會出現(xiàn)問題,假設(shè)我們現(xiàn)在有兩個線程,線程 A 執(zhí)行的是sp s2 = s1;這條語句,而線程 B 執(zhí)行的是sp s3 = s1;這條語句,我們根據(jù)系統(tǒng)寫入一個變量的流程,將線程 A 執(zhí)行的過程分為A1、A2以及A3,同樣的,我們將線程B執(zhí)行的過程分為B1、B2以及B3,而這個時候,我們假設(shè)以時間?t為時間軸,線程 A 和線程 B 的執(zhí)行過程如下所示:--------------------------------------------------------------------------------------->t(時間t) A1(讀操作)-->A2( 操作,注意還沒寫入)-->B1(讀操作)-->B2( 操作,注意還沒寫入)-->B3(寫入)-->A3(寫入) count?=?1;count ;???????????????? count =?1;???count ;????????????????count?=?2;??count?=2; 所以最終的?count值等于2,與實際應該等于的3不相符,造成了錯誤,所以稱之為線程不安全的。