Re: [請益] 那些語言或程式用上 多核心 CPU

[ephesians (ephesians)]

※ 引述《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
推 abcdefghi:tester的文章一向都沒什麼人看得懂.
→ abcdefghi:這種東西一般歸類在formal verification
→ abcdefghi:compiler只做basic block內的預測.
推 ephesians:你覺得他是tester? 我覺得不像耶
推 ray2501:IP 都是 140.115.6.234 應該是同一個人