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