用戶態(tài)進(jìn)程中多線程并發(fā)的疑問？

鎮(zhèn)水鐵牛

        場景：glibc的線程庫，一個進(jìn)程內(nèi)起多個線程，談?wù)勎业睦斫夂涂捶ǎ?br />         該進(jìn)程有獨立的地址空間，可以被內(nèi)核調(diào)度，但它內(nèi)部的多線程是無法真正意義上的并發(fā)執(zhí)行，即無法同一時刻在多個cpu上并行，這些線程頂多是在進(jìn)程的時間片內(nèi)進(jìn)行調(diào)度執(zhí)行，其實內(nèi)核根本不感知這些，畢竟這些線程只是共享了該進(jìn)程的一些數(shù)據(jù)結(jié)構(gòu)而已，理解是否正確？
        實際場景：進(jìn)程A中有8個線程，線程中均執(zhí)行while (true) { i ++}死循環(huán)，cpu的使用率大于100%，這個值是進(jìn)行進(jìn)程時間片相關(guān)的virtual runtime后加權(quán)算出來的吧？

zsszss0000

樓主請教一個問題，進(jìn)程地址空間獨立，這個我明白，我是想問，為啥多線程不能在不同的CPU上并發(fā)執(zhí)行，是因為不同的CPU不能共享地址空間嗎？
如果多CPU不能共享一個地址空間，我想問一下，CPU 的多核處理器是否能夠共享一個地址空間？
多線程是否能夠在多核上并發(fā)運行，如果多核可以，多CPU不可以，那么多核與多CPU的差別在哪里?

weishuo1999

一個進(jìn)程內(nèi)的線程無法真正意義上的并行執(zhí)行，這個是錯誤的吧，我認(rèn)為線程其實就是輕量級的進(jìn)程，空間也是共享+COW的，所以完全是可以并行的，不然你寫代碼的時候，進(jìn)程內(nèi)的多線程豈不是就不需要加鎖了？

至于一些內(nèi)核資源，臨界區(qū)，我覺得這個是無法并行的

lxy572535121

線程分為用戶態(tài)線程和內(nèi)核態(tài)線程，它們的對應(yīng)關(guān)系有三種模型 http://blog.csdn.net/baidu_24256693/article/details/43446763[/url]

鎮(zhèn)水鐵牛

回復(fù) 2# zsszss0000
樓主請教一個問題，進(jìn)程地址空間獨立，這個我明白，我是想問，為啥多線程不能在不同的CPU上并發(fā)執(zhí)行，是因為不同的CPU不能共享地址空間嗎？
如果多CPU不能共享一個地址空間，我想問一下，CPU 的多核處理器是否能夠共享一個地址空間？
多線程是否能夠在多核上并發(fā)運行，如果多核可以，多CPU不可以，那么多核與多CPU的差別在哪里?
[回復(fù)]首先改正下我的說法，我說的多cpu不是所謂的多路概念，就是普通的SMP。
多核共享地址空間，用戶態(tài)線程理論上是可以并發(fā)的，我的疑問是有沒有必要進(jìn)行真正意義上的并發(fā)，這樣其實是提高了用戶態(tài)線程被調(diào)度的機率，不過也可以理解，內(nèi)核本來就是為用戶提供服務(wù)的。
   

鎮(zhèn)水鐵牛

回復(fù) 3# weishuo1999

一個進(jìn)程內(nèi)的線程無法真正意義上的并行執(zhí)行，這個是錯誤的吧，我認(rèn)為線程其實就是輕量級的進(jìn)程，空間也是共享+COW的，所以完全是可以并行的，不然你寫代碼的時候，進(jìn)程內(nèi)的多線程豈不是就不需要加鎖了？
    即使沒有真正意義上的并發(fā)，訪問某些共享資源也需要鎖保護(hù)吧，例如：thread_a剛正準(zhǔn)備刪除鏈表中某元素時被調(diào)度，thread_b剛好被調(diào)度去訪問該鏈表。風(fēng)險就來了。

   

鎮(zhèn)水鐵牛

回復(fù) 4# lxy572535121

用戶級線程是一種"多對一"的線程映射。聽起來很有道理，但是好像還真不是那樣的哦，下面的測試可以證明。
我做的測試如下：一個進(jìn)程中起4個線程，每個線程就是while (true) { i++ ;}，實際上上該進(jìn)程消耗的cpu資源為400%，top中4個核心的cpu每個核心的使用率都是100%。
   

lxy572535121

鎮(zhèn)水鐵牛 發(fā)表于 2015-02-09 23:07
回復(fù) 4# lxy572535121

用戶級線程是一種"多對一"的線程映射。聽起來很有道理，但是好像還真不是那樣的哦 ...

你說的是對的，我在ubuntu12.04上測試過

但博客中說的是有這三中模型，而顯然你的系統(tǒng)用的是第二種模型即用戶級線程與內(nèi)核級線程一對一的情況，而不是多對一的模型

鎮(zhèn)水鐵牛

回復(fù) 8# lxy572535121
確實是那樣的。

   

kmindg

glibc在linux上就是一對一啊   solaris才有多對一的

glibc的線程直接對應(yīng)內(nèi)核的輕量級進(jìn)程    一個進(jìn)程的兩個線程可以同時在兩個cpu上*并行*執(zhí)行