Potential lack of parallelism with std::async and .get()

[tabiosg]

My peers and I looked through the code and noticed that the .get() was placed immediately after the async. This likely means that there is only one thread that is doing useful work despite there being many threads made (all the other threads are blocking on the .get().

This may be an issue because this implementation is not fully using threads to its advantage.

HermesBDD/src/node.cpp

Line 346 in 0336f03

R_true = future.get();

[luigicapogrosso]

Dear @tabiosg, thank you. We will thoroughly review the information you gave us and update you.

[bluebandit21]

Something that might be helpful :)

-- Try looking at the CPU utilization when running HermesBDD on a large test case
(I found 10x10 nqueens as a nice balance between being large and actually finishing in a sane amount of time)

When you do so, the CPU utilization for me is around ~102%, when it should be n00% where n is the number of cores I have available.

If further technical details might be helpful for you all, please let us know!