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