作者ephesians (ephesians)
看板Programming
標題Re: [請益] 那些語言或程式用上 多核心 CPU
時間Sat May 19 20:05:20 2007
※ 引述《ggg12345 (ggg)》之銘言：
: 1.現在的 Compiler 似乎不做較長片段執行時間的估算. 但還是可以估, 未必
: 準確就是.
: 2.時延等候讓 cpu 或 core 去做別的事或都不做事, 就不必不停叫 CPU 去檢
: 試, 造成對 instruction pipeline 或 cache 的干擾, 固然是一種方法, 但
: 也不是很困難做不到的問題, 至少, 不會升級到 Halting Problem .
: 假如是這種狀況, 似乎事情還不是那麼難纏 ! 不過, Intel 因此被 AMD 拼過去,
: 那一定還有更大條的才是.
很抱歉,開始看不懂你在講什麼了.
有哪個compiler會做程式執行時間的估算嗎? 好厲害喔...
意思是如果我寫這樣的程式:
void f() { f(); }
int main() { f(); return 0; }
此程式compiled之後, compiler會告訴我
"The program takes infinite time to execute." 你的意思是這樣子嗎?
學過一些compiler設計的書,沒在講程式執行時間評估.
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.160.114.183
1F：推 abcdefghi:tester的文章一向都沒什麼人看得懂. 140.113.23.107 05/19 20:17
2F：→ abcdefghi:這種東西一般歸類在formal verification 140.113.23.107 05/19 20:17
3F：→ abcdefghi:compiler只做basic block內的預測. 140.113.23.107 05/19 20:19
4F：推 ephesians:你覺得他是tester? 我覺得不像耶218.160.114.183 05/19 21:16
5F：推 ray2501:IP 都是 140.115.6.234 應該是同一個人 61.217.128.124 05/20 08:11