Commit be86aa44 authored by David Speck's avatar David Speck

fixed mem bug

parent 52e38637
......@@ -41,7 +41,7 @@ void Bdd::initalize_manager(unsigned int /*numVars*/, unsigned int /*numVarsZ*/,
{
std::cout << "DD-lib: Sylvan with " << workers << " workers" << std::endl;
size_t deque_size =
3500000; // default value for the size of task deques for the workers
1500000; // default value for the size of task deques for the workers
size_t program_stack_size = 0; // default value for the program stack of each pthread
// Initialize the Lace framework for <n_workers> workers.
......@@ -50,7 +50,9 @@ void Bdd::initalize_manager(unsigned int /*numVars*/, unsigned int /*numVarsZ*/,
// Spawn and start all worker pthreads; suspends current thread until done.
lace_startup(program_stack_size, NULL, NULL);
sylvan::sylvan_set_sizes(1LL << 25, 1LL << 25, 1LL << 24, 1LL << 24); //~3.6 GB
//sylvan::sylvan_set_sizes(1LL << 24, 1LL << 26, 1LL << 24, 1LL << 25); //~3.6 GB
sylvan::sylvan_set_sizes(1LL<<20, 1LL<<26, 1LL<<18, 1LL<<24); //~3.6 GB
// sylvan::sylvan_set_sizes(1LL<<20, 1LL<<28, 1LL<<18, 1LL<<26); //~3.6 GB
sylvan::sylvan_init_package();
// Initialize the BDD module with granularity 1 (cache every operation)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment