關(guān)于C64x+ DSP高速緩存一致性分析與維護

高速緩存一致性問(wèn)題分析

在任何時(shí)刻，內核或者其它主機訪(fǎng)問(wèn)存儲器中數據時(shí)，由于CACHE的存在造成不能夠得到最近更新過(guò)的數據，就會(huì )出現CACHE一致性問(wèn)題。CACHE的一致性問(wèn)題分為兩個(gè)大類(lèi)：內核讀一致性問(wèn)題和內核寫(xiě)一致性問(wèn)題。在下面兩個(gè)小節中，分別描述了這兩種情況的模型：

內核讀一致性模型

圖 3給出了內核讀一致性的模型。在這個(gè)模型中，CACHE一致性問(wèn)題的存在取決于圖中虛線(xiàn)箭頭指示的第二步操作能否在內核從CACHE中重新讀數據之前完成。如果不能，則會(huì )造成內核讀取的數據不是其它主機更新后的數據，而是原來(lái)CACHE中的內容，從而導致一致性的問(wèn)題。

圖 3 內核讀一致性模型

L1P CACHE對L2內存或者DDR2外存中的代碼進(jìn)行緩存。當內核第一次對L2或者DDR2中的代碼進(jìn)行讀操作的時(shí)候，由于代碼不在L1P CACHE中，CAHCE硬件會(huì )將L2或者DDR2中的代碼讀到L1P CACHE中。內核可以得到最新的代碼，不存在一致性的問(wèn)題。此后，如果其它主機更新L2或者DDR2中的代碼，然后內核再次讀取此部分代碼時(shí)，會(huì )發(fā)現相應的代碼已經(jīng)存在L1P CACHE中，此時(shí)內核會(huì )直接從L1P CACHE中讀取代碼。由于內核不能得到最新的代碼，就出現了內核讀一致性的問(wèn)題。L1D 內核讀一致性問(wèn)題的原理和L1P相同，只是L1D緩存的是L2或者DDR2中的數據。

內核寫(xiě)一致性模型

圖 4給出了內核寫(xiě)一致性的模型。在這個(gè)模型中，CACHE一致性問(wèn)題的存在取決于圖中虛線(xiàn)箭頭指示的第二步操作能否在其它主機從存儲器中讀數據之前完成。如果不能，會(huì )造成其它主機從存儲器中讀到的數據是原來(lái)的數據而不是內核更新過(guò)的數據，從而導致一致性的問(wèn)題。

圖 4 內核寫(xiě)一致性模型

當內核對L2或者DDR2中的代碼/數據進(jìn)行寫(xiě)操作的時(shí)候，如果代碼/數據已經(jīng)在L1 CACHE中，新的代碼/數據會(huì )被更新到L1 CACHE中。當其它主機從L2或者DDR2中讀代碼/數據的時(shí)候，會(huì )直接從L2或者DDR2中讀取相應的內容，如果L1 CACHE中新的代碼/數據未被更新到L2或者DDR2中，則其它主機讀取的不是更新后的內容，就會(huì )出現內核寫(xiě)一致性的問(wèn)題。

C64x+ 一致性分析

C64x+上的CACHE一致性問(wèn)題，需要根據放置代碼/數據的相應位置進(jìn)行分析。由于在C64x+平臺上，L1P、L1D和L2內存既可以作為CACHE又可以作為存儲器使用，因此，在分析一致性問(wèn)題的時(shí)候，需要考慮以下幾種情況：

1) 代碼在L1P存儲器中；2) 代碼在L2存儲器中；3）代碼在DDR2存儲器中；4）數據在L1D存儲器中；5）數據在L2存儲器中；6）數據在DDR2存儲器中。

對于1)，由于代碼直接在L1P存儲器中，不需要進(jìn)行CACHE，所以不會(huì )存在一致性的問(wèn)題。

對于2)和3)，涉及到L1P CACHE，存在代碼的更新能否被內核讀到的問(wèn)題。代碼的更新分成兩種情況：一是內核在運行過(guò)程中對代碼進(jìn)行修改；二是其它主機對代碼的修改。這兩種情況下，都會(huì )存在CACHE讀一致性問(wèn)題，需要由軟件來(lái)維護。

對于4)，數據直接在L1D存儲器中， 內核始終能夠讀到其它主機更新到L1D內存中的內容，內核寫(xiě)過(guò)的數據也能夠被其它主機直接從L1D內存中讀到。所以不會(huì )存在一致性的問(wèn)題。

對于5)，數據在L2存儲器，按照上面的分析，會(huì )存在CACHE讀和寫(xiě)一致性的問(wèn)題。在C64x+平臺上這種情況下的一致性問(wèn)題會(huì )由硬件自動(dòng)維護。

對于6)，也會(huì )存在CACHE讀和寫(xiě)一致性的問(wèn)題，這種情況需要軟件進(jìn)行CACHE一致性的維護。