[Javabdd-devel] Memory usage??

[Sergio <ser...@ly...>]

Hello,

 

I am trying to get the memory usage of a BDD in java (JFactory).

I have read the paper "Cloning-Based Context-Sensitive Pointer Alias
Analysis Using Binary Decision Diagrams" (John Whaley, Monica S Lam) 

in which is explained a method to get it, however, I am finding really
difficult implementing it :

 

"The memory numbers reported are the sizes of the peak number of live BDD
nodes during the course of the algorithm. 

We measured peak BDD memory usage by setting the initial table size and
maximum table size increase to 1MB,

and only allowed the table to grow if the node table was more than 99% full
after a garbage collection." 

(Cloning-Based Context-Sensitive Pointer Alias Analysis Using Binary
Decision Diagrams , John Whaley, Monica S Lam)

 

How do we set the maximum table size increase to 1MB?

How do we allow the table to grow only if the node table is more than 99%
full after a garbage collection?

Any idea?

Any example?

 

Sincerely,

 

Sergio (Spain)