[bddbddb-devel] Domain size and scalability of equality
Status: Beta
Brought to you by:
joewhaley
|
From: Luke S. <luk...@gm...> - 2007-06-27 19:20:12
|
I am currently running to scalability issues with the equality predicate on a domain 32 bits in size (2^32). Since domains are a fixed size, I have to choose a fixed size that is large enough for analyzing any target application. However, even for a domain size of 2^32, the initialization of the equality predicate does not terminate. When using libbuddy, it segfaults. When using the pure Java BDD solver, it simply runs out of memory. For now, I am going to scale back to using a fixed domain size of 2^20, and just hope that I don't run into an application that needs a larger domain. |