每CPU變量的一些疑問(wèn)

dxyf1524

在SMP下，每CPU變量是如何避免掉RACE CONDITION的，來(lái)實(shí)現(xiàn)同步的��？
照理來(lái)說(shuō)，如果一個(gè)變量在多個(gè)CPU中分別保存一個(gè)的話，這個(gè)一致性問(wèn)題怎么解決的啊？
我說(shuō)的一致性問(wèn)題不是由于同步問(wèn)題中的競(jìng)態(tài)導(dǎo)致的，而是，假如進(jìn)程首先在CPU A 上運(yùn)行，
之后由于某種原因運(yùn)行在CPU B 上，如果CPU A 和CPU B 中進(jìn)程用到的每CPU變量不同，會(huì)不會(huì)
出現(xiàn)問(wèn)題。
或者說(shuō)內(nèi)核強(qiáng)制了使用每CPU變量的進(jìn)程必須綁定在固定的CPU 上�。ㄟ@個(gè)不大可能吧）。

還有請(qǐng)求大俠給舉些例子，什么時(shí)候用到每CPU變量作為同步方法。

瀚海書(shū)香

回復(fù) 1# dxyf1524

在SMP下，每CPU變量是如何避免掉RACE CONDITION的，來(lái)實(shí)現(xiàn)同步的啊？
照理來(lái)說(shuō)，如果一個(gè)變量在多個(gè)CPU中分別保存一個(gè)的話，這個(gè)一致性問(wèn)題怎么解決的��？
我說(shuō)的一致性問(wèn)題不是由于同步問(wèn)題中的競(jìng)態(tài)導(dǎo)致的，而是，假如進(jìn)程首先在CPU A 上運(yùn)行，
之后由于某種原因運(yùn)行在CPU B 上，如果CPU A 和CPU B 中進(jìn)程用到的每CPU變量不同，會(huì)不會(huì)
出現(xiàn)問(wèn)題。
或者說(shuō)內(nèi)核強(qiáng)制了使用每CPU變量的進(jìn)程必須綁定在固定的CPU 上�。ㄟ@個(gè)不大可能吧）。

還有請(qǐng)求大俠給舉些例子，什么時(shí)候用到每CPU變量作為同步方法。

每CPU變量，保證每個(gè)變量只被1個(gè)CPU訪問(wèn)。每CPU變量不是為了實(shí)現(xiàn)同步的。。。。
   

dxyf1524

    每CPU變量的特點(diǎn)：

    用于多個(gè)CPU之間的同步，如果是單核結(jié)構(gòu)，每CPU變量沒(méi)有任何用處。
    每CPU變量不能用于多個(gè)CPU相互協(xié)作的場(chǎng)景。（每個(gè)CPU的副本都是獨(dú)立的）
    每CPU變量不能解決由中斷或延遲函數(shù)導(dǎo)致的同步問(wèn)題
    訪問(wèn)每CPU變量的時(shí)候，一定要確保關(guān)閉進(jìn)程搶占，否則一個(gè)進(jìn)程被搶占后可能會(huì)更換CPU運(yùn)行，這會(huì)導(dǎo)致每CPU變量的引用錯(cuò)誤

arm-linux-gcc

per-CPU變量，其實(shí)是每個(gè)cpu訪問(wèn)各自的那一份副本，這些副本的地址都不同
宏展開(kāi)之后就是*(&var + offset[x])，這里的x是thread_info->cpu
同一個(gè)var的各個(gè)副本之間間隔是很遠(yuǎn)的