作者Coyote (新生活即將開始)
看板CSSE
標題Re: [問題] 隨便Java寫的程式在core duo一定比單核 …
時間Sat Jul 7 13:13:58 2007
※ 引述《leicheong (睡魔)》之銘言：
: ※ 引述《byshen (sby)》之銘言：
: : 是有可能會比較快，有不少 paper 有在研究 multi-core 環境下的 JVM，
: : 例如在沒用到的 core 執行一個 helper thread 去做 data prefetching
: : 來降低 cache miss rate，
: 這是真的.
: : 或者想辦法把一個 loop 拆成好幾個 threads 去執行，
: : 例如一個 for i = 1 to N 的 loop，可以變成 N 個 threads 這樣。
: 這個不可以啊...
: 例如:
: String temp = "";
: for (i=1;i<=N;i++)
: {
: temp += "*";
: System.out.println(temp);
: }
: 這個分拆在不同CPU跑的話結果就可能不一樣了. 可是要跨CPU做state sync.
: 的話, 那不是跑得更慢嗎?
提供個no side effect特性做opt的例子
int sum = 0;
for(i=1; i<=N; i++) {
sum += func(i);
}
如果這是在functional lang.
很好做最佳化
每一個func都可以帶入一個不同的i 分給不同的cpu去跑 最後在加到sum就好
因為functional lang. 的func一定是no side effect的
它的compiler或vm 可以不費啥功夫就做這個決定
(當然啦 func lang. 多半是沒loop的 只是寫個例子 表達我的意思)
但是在c裡 這就很難說
compiler要去確定呼叫的這個func會不會有side effect
如果沒有 那也可以如上例般去做opt
所以這樣functional lang. 就比較強嘛?
其實沒有
如果是個知道這個特性的programmer
用C一樣也可以做到啊
在設計時就讓func沒有side effect
可以利用openMP放一些hint給compiler
一樣有做到多cpu的最佳化
在我的感覺裡
要比performance 程式語言比較像是個輔助工具
因為特性不同 所以有的可以輔助比較多
讓你可以照著它的規定做 就可以達到能做opt的程式出現
所以 強者還是強者啦 只要是用他精通的語言 是不會輸的
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.42.162
1F：推 revivalworld:若是 func 裡面有 static 變數呢...? 07/07 15:20
2F：推 Coyote:那就是side effect 這是c的compiler比較難做這種opt的原因 07/07 15:29
3F：→ Coyote:static和global變數都很可能有side effect 07/07 15:31
4F：→ Coyote:在func. lang.裡就 沒這兩種東西 func是1 to 1 mapping 07/07 15:32
5F：推 ephesians:其實你舉的例子若不是FL,也沒秀出side effect... 07/07 23:47
6F：推 Coyote:你怎麼知道C func裡有沒有static or global varible? 07/08 01:58
7F：→ Coyote:我都沒提供func的內容了 你怎麼看的出來的? 07/08 01:59
8F：推 ephesians:所以才說沒有秀;你不能寫個符號就要人想像一切 07/08 10:02
9F：推 Coyote:這就是FL的優勢啊 不用知道內容就可以最決定 c就不行啦 07/08 12:32
10F：→ Coyote:我想這點我上面的描述應該很清楚了 07/08 12:33
11F：推 ephesians:但請注意我所提的是指non-FL 07/08 17:03
12F：→ ephesians:沒秀就沒秀,承認就好了,不必口頭解釋那麼多 07/08 17:05
13F：推 godfat:我不覺得那需要寫出來，答案很明確吧 07/08 17:16
14F：推 Coyote:我是故意不寫的啊 有人有看出來 有人看不出來 XD 07/08 18:58