switch off tracer if TaskManager is called without arguments

This commit is contained in:
Joachim Schoeberl 2022-07-24 11:53:51 +02:00
parent 83b4fba403
commit 354898498f

View File

@ -240,7 +240,10 @@ threads : int
class ParallelContextManager { class ParallelContextManager {
int num_threads; int num_threads;
public: public:
ParallelContextManager() : num_threads(0) {}; ParallelContextManager() : num_threads(0) {
TaskManager::SetPajeTrace(0);
PajeTrace::SetMaxTracefileSize(0);
};
ParallelContextManager(size_t pajesize) : num_threads(0) { ParallelContextManager(size_t pajesize) : num_threads(0) {
TaskManager::SetPajeTrace(pajesize > 0); TaskManager::SetPajeTrace(pajesize > 0);
PajeTrace::SetMaxTracefileSize(pajesize); PajeTrace::SetMaxTracefileSize(pajesize);