 |
 |
 |
ZDD |  |
 |
|
|
|
|
ZDD | |
|
|
The maximum number of ZDD nodes in this package is set to 40 million by default. The program terminates with an error if the number of nodes exceeds this value. The maximum number of nodes can be modified by setting the environment variable at ZDDLimitNode. For example, the maximum number of nodes can be set to 100 million nodes in the bash shell as follows.
$ export ZDDLimitNode=100000000
The memory consumption per node is about 21-25 bytes on a 32bit OS machine. The program will consume about 1GB of main memory when the default limit of 40 million nodes is used.
On a 64bit OS machine, the memory allocation is twice of the normal 32bit OS implementation, with 30%percent increase in speed, and each node takes up to 28 to 32 bytes. Approximately 1.3GB of main memory is consumed when the program runs up to the default limit of 40 million nodes. By changing the maximum number of nodes according to the processing environment, the scale of ZDD structure can be increased.
|
|
|
ZDD | |
|
|