Cudd Статистика, низкие попадания, высокие столкновения - PullRequest
Новая
       25

Cudd Статистика, низкие попадания, высокие столкновения

0 голосов
/ 13 сентября 2018

Я использую Cudd_PrintInfo для решения проблемы производительности с CUDD.

После распечатки статистики я обнаружил, что число обращений очень низкое. Я пытался с и без сбора мусора, но он остается тем же. Кроме того, столкновения высоки.
Как я могу исправить эти проблемы?
(Должен ли я на самом деле разделить эти два вопроса ...?)

С сборкой мусора: 

**** CUDD non-modifiable parameters ****  
Memory in use: 1117983368  
Peak number of nodes: 30278794
Peak number of live nodes: 27705054  
Number of BDD variables: 8
Number of ZDD variables: 0
Number of cache entries: 2097152  
Number of cache look-ups: 37770177  
Number of cache hits: 10531  
Number of cache insertions: 37759646  
Number of cache collisions: 18808878  
Number of cache deletions: 17622843  
Cache used slots = 100.00% (expected 100.00%)  
Soft limit for cache size: 2796202  
Number of buckets in unique table: 9863168  
Used buckets in unique table: 94.60% (expected 94.14%)  
Number of BDD and ADD nodes: 29397682  
Number of ZDD nodes: 0  
Number of dead BDD and ADD nodes: 1692657  
Number of dead ZDD nodes: 0  
Total number of nodes allocated: 65693890  
Total number of nodes reclaimed: 721788  
Garbage collections so far: 22  
Time for garbage collection: 34.47 sec  
Reorderings so far: 0  
Time for reordering: 0.00 sec

Без сбора мусора: 

**** CUDD non-modifiable parameters ****  
Memory in use: 2221756712  
Peak number of nodes: 62209140  
Peak number of live nodes: 27705053  
Number of BDD variables: 8  
Number of ZDD variables: 0  
Number of cache entries: 2097152  
Number of cache look-ups: 37770101  
Number of cache hits: 10491  
Number of cache insertions: 37759610  
Number of cache collisions: 34762582  
Number of cache deletions: 899876  
Cache used slots = 100.00% (expected 100.00%)
Soft limit for cache size: 2796202  
Number of buckets in unique table: 19988480  
Used buckets in unique table: 95.07% (expected 94.71%)  
Number of BDD and ADD nodes: 62208880  
Number of ZDD nodes: 0  
Number of dead BDD and ADD nodes: 34503856  
Number of dead ZDD nodes: 0  
Total number of nodes allocated: 65691613  
Total number of nodes reclaimed: 724064  
Garbage collections so far: 1  
Time for garbage collection: 0.42 sec  
Reorderings so far: 0  
Time for reordering: 0.00 sec
...