diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-07-01 14:27:50 -0400 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-07-01 14:27:50 -0400 |
commit | 99cae2a7cac2019d432a01c07f94faac370abdda (patch) | |
tree | bdb85c827b721477c6e7a2ce3a2902cb299a71ce /src/main/portfolio.cpp | |
parent | 15a15f5c9fa65df13dfb2fe6b3bf3fc3604ddacc (diff) |
chat about thread creation
Diffstat (limited to 'src/main/portfolio.cpp')
-rw-r--r-- | src/main/portfolio.cpp | 18 |
1 files changed, 10 insertions, 8 deletions
diff --git a/src/main/portfolio.cpp b/src/main/portfolio.cpp index b6b2ac348..8bfbeff7c 100644 --- a/src/main/portfolio.cpp +++ b/src/main/portfolio.cpp @@ -20,6 +20,7 @@ #include <boost/exception_ptr.hpp> #include "smt/smt_engine.h" +#include "util/output.h" #include "util/result.h" #include "util/statistics_registry.h" #include "options/options.h" @@ -79,14 +80,15 @@ std::pair<int, S> runPortfolio(int numThreads, threads[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(Chat.isOn()) { + void *stackaddr; + size_t stacksize; + pthread_attr_t attr; + pthread_getattr_np(threads[t].native_handle(), &attr); + pthread_attr_getstack(&attr, &stackaddr, &stacksize); + Chat() << "Created worker thread " << t << " with stack size " << stacksize << std::endl; + } } if(not driverFn.empty()) |