作者ric2k1 (Ric)
看板EE_DSnP
標題[情報] BDD (cirbdd -all) performance
時間Mon Jan 11 16:48:36 2010
首先,理性、勿戰。
這裡只是提供一下 ref program 對不同 testcases 以及 var orders 的
執行時間與記憶體使用量。
目的是給同學們一個參考,畢竟有些 cases 應該要很快就可以跑出來,
有些 cases 卻是無論如何也跑不出來 (這種你就不用管了)。
如果你跑出來差太多,也許就是某個地方寫錯了,或者是寫得太好了...
通常速度不一樣的決定因素當然是 cache,所以 runtime 可能會因為 standardize(),
cache size, hash function, var order, 甚至 host machine 等等而有很大的不同。
所以當你在比較的時候 make sure it's a fair comparison.
話說回來我的 hash function 只是簡單的寫一寫,大家絕對有機會跑得比我的快。
======================================================================
CPU: 2 processors with 4 cores (Intel(R) Xeon(R) CPU 5130 @ 2.00GHz)
RAM: 32828320 kB (32GB)
OS : CentOS release 5.4 (Final)
Compiler: g++ version 4.1.2 20080704 (64-bit platform) with -O3 option
======================================================================
Note:
cirr ../testcases/C432.cir
breset 256 10007 10007
cirsetv -file
usage
cirb -all
usage
cirsetv -rfile
usage
cirb -all
usage
cirsetv -dfs
usage
cirb -all
usage
cirsetv -rdfs
usage
cirb -all
usage
CktName (nin, hashSize, cacheSize)
-----------------------------------
varOrder | runtime (s) | Mem usage
C432 (256, 10007, 10007)
-----------------------------
-file | 0.02 | 1.355M
-rfile | 0.01 | 1.355M
-dfs | 174.3 | 511.4 M
-rdfs | 0.46 | 39.1 M
C432_r(256, 10007, 10007)
-----------------------------
-file | 0.02 | 1.355M
-rfile | 0.01 | 1.355M
-dfs | 176.4 | 512.8 M
-rdfs | 0.46 | 125.6 M
C499 (256, 10007, 10007)
-----------------------------
-file | 0.84 | 27.19 M
-rfile | 0.22 | 15.52 M
-dfs | 23.45 | 286.9 M
-rdfs | 2.02 | 26.68 M
C499_r(256, 10007, 10007)
-----------------------------
-file | 0.9 | 27.39 M
-rfile | 0.24 | 13.25 M
-dfs | 9.29 | 147.5 M
-rdfs | 0.2 | 73.61 M
C880 (256, 10007, 10007)
-----------------------------
-file | 3.67 | 58.33 M
-rfile | 2.76 | 116.9 M
-dfs | 4.36 | 66.96 M
-rdfs | 12.36 | 130.3 M
C880 (256, 65521, 65521)
-----------------------------
-file | 1.69 | 55.38 M
-rfile | 1.6 | 107.7 M
-dfs | 2.48 | 71.24 M
-rdfs | 3.7 | 125.4 M
C1355 (256, 65521, 65521)
-----------------------------
-file | 0.67 | 36.82 M
-rfile | 0.19 | 33.32 M
-dfs | 13.64 | 433.1 M
-rdfs | 0.23 | 215.3 M
C1908 (256, 65521, 65521)
-----------------------------
-file | 0.13 | 9.363M
-rfile | 0.23 | 14.76 M
-dfs | 0.82 | 26.47 M
-rdfs | 0.12 | 26.47 M
C2670 (256, 33350189, 33350189)
-----------------------------
-file | 75.22 | 4.533G
-rfile | N/A | > 10 G
-dfs | N/A | > 10 G
-rdfs | 34.82 | 2.439G
C3540 (256, 33350189, 33350189)
-----------------------------
-file | N/A | > 10 G
-rfile | 5.81 | 1.997G
-dfs | 167.7 | 6.636G
-rdfs | 42.39 | 3.602G
C5315 (256, 33350189, 33350189)
-----------------------------
-file | 0.16 | 1.791G
-rfile | N/A | > 10 G
-dfs | 0.77 | 1.791G
-rdfs | N/A | > 10 G
C6288 (256, 33350189, 33350189)
-----------------------------
-file | N/A | > 10 G // up to G6160 (18th output)
-rfile | N/A | > 10 G
-dfs | N/A | > 10 G // up to G5971 (15th output)
-rdfs | N/A | > 10 G
C7552 (256, 33350189, 33350189)
-----------------------------
-file | N/A | > 10 G
-rfile | N/A | > 10 G
-dfs | N/A | > 10 G
-rdfs | N/A | > 10 G
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.21.241
1F:推 dryman:或者是寫太好了XDDDDDD 01/11 17:00
2F:推 slinh:10G那些應該都會讓電腦停掉或累格很大 01/13 17:00
3F:→ ric2k1:32G 的工作站,還好。還可以兩個一起跑... 01/13 19:38
4F:推 a3785lexx:我覺得這篇拿來當寫測資的參考實在非常好用!! 01/17 19:42