http://www.zhaoxiangpeng.com/2009/08/%e7%94%b1%e6%97%a0%e6%95%b0%e7%bb%86%e8%8a%82%e7%bb%84%e6%88%90%e7%9a%84%e7%b3%bb%e7%bb%9f/ Xiangpeng's Thinkpad Mon, 30 Jan 2012 04:47:33 +0000 hourly 1 http://wordpress.org/?v=3.1.1 http://www.zhaoxiangpeng.com/2009/08/%e7%94%b1%e6%97%a0%e6%95%b0%e7%bb%86%e8%8a%82%e7%bb%84%e6%88%90%e7%9a%84%e7%b3%bb%e7%bb%9f/comment-page-1/#comment-84 Changhui Lin Fri, 14 Aug 2009 20:38:01 +0000 http://www.zhaoxiangpeng.com/?p=652645#comment-84 师兄说的很对呀。我现在做architecture和compiler就很多底层的东西，经常跟processor，instruction，memory， cache之类的打交道。我曾试着严格地去建模一些东西，但是可行性不高。有时候感觉自己的出发点不对，老想着先把东西尽可能模型化，从中讨论他的好坏，毕竟数学和formal method学了这么久。但是就是因为过多细节的缘故，这样做行不通。现在实验室老板和师兄们的做法是直接把想法在机器上或者simulator上跑看结果的好坏，而关于细节的问题也基于这些实验的结果。当然，我不是说细节不需要考虑，而是formal method不能考虑那么多细节的东西（即使建模出来，也将使问题变得极其复杂）。另外，我觉得直接在汇编和机器上建模确实是个好主意，毕竟归根到底还是机器本身。 师兄说的很对呀。我现在做architecture和compiler就很多底层的东西，经常跟processor，instruction，memory， cache之类的打交道。我曾试着严格地去建模一些东西，但是可行性不高。有时候感觉自己的出发点不对，老想着先把东西尽可能模型化，从中讨论他的好坏，毕竟数学和formal method学了这么久。但是就是因为过多细节的缘故，这样做行不通。现在实验室老板和师兄们的做法是直接把想法在机器上或者simulator上跑看结果的好坏，而关于细节的问题也基于这些实验的结果。当然，我不是说细节不需要考虑，而是formal method不能考虑那么多细节的东西（即使建模出来，也将使问题变得极其复杂）。另外，我觉得直接在汇编和机器上建模确实是个好主意，毕竟归根到底还是机器本身。

]]>