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

看板Programming作者 (ephesians)時間18年前 (2007/05/19 20:05), 編輯推噓3(302)
留言5則, 3人參與, 最新討論串15/30 (看更多)
※ 引述《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

05/19 20:17, , 1F
tester的文章一向都沒什麼人看得懂.
05/19 20:17, 1F

05/19 20:17, , 2F
這種東西一般歸類在formal verification
05/19 20:17, 2F

05/19 20:19, , 3F
compiler只做basic block內的預測.
05/19 20:19, 3F

05/19 21:16, , 4F
你覺得他是tester? 我覺得不像耶
05/19 21:16, 4F

05/20 08:11, , 5F
IP 都是 140.115.6.234 應該是同一個人
05/20 08:11, 5F
文章代碼(AID): #16JkW3Gq (Programming)
討論串 (同標題文章)
文章代碼(AID): #16JkW3Gq (Programming)