From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Tue, 24 Jun 2014 22:44:15 +0000 (-0400)
Subject: stack-size portfolio fix.  boost 1.50 now required
X-Git-Tag: cvc5-1.0.0~6700^2~4
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=edb81bac8370bb09ddc9ff7a85fafb852a8e05ba;p=cvc5.git

stack-size portfolio fix.  boost 1.50 now required
---

diff --git a/src/main/portfolio.cpp b/src/main/portfolio.cpp
index ebf36b0cd..b6b2ac348 100644
--- a/src/main/portfolio.cpp
+++ b/src/main/portfolio.cpp
@@ -72,9 +72,21 @@ std::pair<int, S> runPortfolio(int numThreads,
   global_winner = -1;
 
   for(int t = 0; t < numThreads; ++t) {
+
+    boost::thread::attributes attrs;
+    attrs.set_stack_size(256 * 1024 * 1024);
+
     threads[t] = 
-      boost::thread(boost::bind(runThread<S>, t, threadFns[t],
+      boost::thread(attrs, boost::bind(runThread<S>, t, threadFns[t],
                                 boost::ref(threads_returnValue[t]) ) );
+  /*
+    void *stackaddr;
+    size_t stacksize;
+    pthread_attr_t attr;
+    pthread_getattr_np(threads[t].native_handle(), &attr);
+    pthread_attr_getstack(&attr, &stackaddr, &stacksize);
+    std::cerr << "I am " << t << " with stack size " << stacksize << std::endl;
+   */
   }
 
   if(not driverFn.empty())