作者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