mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-14 21:08:46 +00:00
Code Activity

remove thread dependency in symbol.cpp on single thread #4382

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2020-05-18 15:11:24 -07:00
parent f538ee3fe2
commit ff10afd226
1 changed files with 6 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
src/util/symbol.cpp
View file

@ -16,10 +16,6 @@ Author:
Revision History:
--*/
#if 0
// include "util/new_symbol.cpp"
#else
#include "util/symbol.h"
#include "util/mutex.h"
@ -27,7 +23,9 @@ Revision History:
#include "util/region.h"
#include "util/string_buffer.h"
#include <cstring>
#ifdef SINGLE_THREAD
#include <thread>
#endif
@ -103,7 +101,11 @@ static internal_symbol_tables* g_symbol_tables = nullptr;
void initialize_symbols() {
if (!g_symbol_tables) {
#ifdef SINGLE_THREAD
unsigned num_tables = 1;
#else
unsigned num_tables = 2 * std::min((unsigned) std::thread::hardware_concurrency(), 64u);
#endif
g_symbol_tables = alloc(internal_symbol_tables, num_tables);
}
@ -190,4 +192,3 @@ bool lt(symbol const & s1, symbol const & s2) {
return cmp < 0;
}
#endif