作者a3785lexx (Alex)
看板EE_DSnP
标题[求救] C432用-df建不出来...根据实验最少有3.5M个NODE...
时间Sat Jan 16 18:11:39 2010
囧......弄了好久，都没有办法让C432在cirsetv -df下跑出来
可是老师的ref就可以
虽然也吃了200M的记忆体了，不过跑的出来就是跑的出来
用ubuntu的资源监视器偷窥过程
我的 | 教授的
|
370GAT(163) 记忆体：迅速窜到200 | 缓慢增加到100M就结束这个PO
然後停在300 |
|
421GAT(188) 记忆体：一直在300附近 | 缓慢的增加到200M
|
处理器：使用率上下波动| 处理器：使用率稳定在95%
高峰值也只80% |
|
我想假设我HASH没有写错的话...应该记忆体不会多吃这麽多吧囧
这样我就不知道到底记忆体都被谁吃光光了...
爬了一下文，看到教授建议可以偷记用了多少hash
然後一定量就输出
可是我输出到3500000的时候...就知道应该不能这样下去吧囧
有没有哪个好心的强者可以帮我测看看
假如您可以在-df的情况跑的出C432
可以告诉我你总共用了多少的Hash吗？？
这样我才知道到底我hash是不是很明显的错了...Q_Q
顺带一提作的出来的电路
我的记忆体用量略少於老师，可是时间也比较长...
这是cache hit rate不够，大家都挤在一起造成的吗？
还有为甚麽我的处理器使用率不高呢？？
这是表示大部分的时间都在作不需要运算的工作的感觉
所以是大部分的时间都在跟系统伸记忆体吗XD？
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 114.37.94.14
1F：→ a3785lexx:有去看过上面教授提供用工作站跑的结果 01/16 18:16
2F：→ a3785lexx:C432 -df用了500M...我跑不出来不意外 01/16 18:17
3F：→ a3785lexx:可是ref program可以跑的出来... 01/16 18:17
4F：→ a3785lexx:所以我想这其中一定有甚麽误会！ 01/16 18:17
5F：推 ric2k1:你是用 ref prog 在你的 machine 上 run 的吗? 01/16 20:00
6F：→ ric2k1:前几篇文章说的是在我们实验室的 server 跑的... 01/16 20:01
7F：→ ric2k1:另外你可以是一下不同的 hash/cache function 的影响... 01/16 20:01
8F：推 ric2k1:哦, 还有记忆体的使用量以及 runtime 跟 hash/cache size 01/16 20:05
9F：→ ric2k1:也很有关系哦! 01/16 20:05
10F：→ a3785lexx:恩我是自己用电脑跑ref prog的 01/16 22:49
11F：→ a3785lexx:我有换过hash function...不过都跑不出来XD 01/16 22:49
12F：→ a3785lexx:我试着brep -ref一下发现教授的refcount都比我的少很多 01/16 22:50
13F：→ a3785lexx:所以是因为ref program有作garbage recycle吗XD？ 01/16 22:51
14F：→ a3785lexx:我验证了几个电路，如果没看refcount的话 01/16 22:51
15F：→ a3785lexx:我的cirBdd建出来应该跟ref prog是一样的... 01/16 22:51
16F：推 ric2k1:Please make sure you understand refCount. You can refer 01/17 00:42
17F：→ ric2k1:to #2592. 01/17 00:42
18F：推 ric2k1:In short, refCount should be updated only in BddNode() 01/17 00:43
19F：→ ric2k1:~BddNode() and BddNode::operator =(). 01/17 00:43
20F：→ ric2k1:Make sure you do everything right in these functions. 01/17 00:43
21F：→ ric2k1:And of course, make sure the refCount in testBdd.cpp 01/17 00:44
22F：→ ric2k1:is correct. 01/17 00:44
23F：→ a3785lexx:恩我的refCount在testBdd.cpp的时候都跟参考结果一样... 01/17 01:47
24F：推 ric2k1:Then (1) write a smaller circuit to test, (2) extend 01/17 01:49
25F：→ ric2k1:testBdd.cpp to test... 01/17 01:50
26F：→ a3785lexx:啊所以ref program没有作garbage recycle吗XD？ 01/17 01:50
27F：推 ric2k1:没有~~~ 01/17 01:54
28F：→ a3785lexx:囧rz....那麽看来我还有很长的路要走Q_Q 01/17 01:59
29F：推 ric2k1:我的直觉是... 问题不大, 但是不好找出原因 (没帮助的评论) 01/17 02:18
30F：→ ric2k1:narrow down a repeatable case 大概是第一步吧! 01/17 02:19
31F：→ a3785lexx:恩恩谢谢老师！ 01/17 10:30