Changeset e0e77e for src/IdPool_impl.hpp

Timestamp:

Apr 28, 2021, 10:02:49 PM (4 years ago)

Author:

Frederik Heber <frederik.heber@…>

Branches:

Candidate_v1.7.0, stable

Children:

564f17

Parents:

2390e6

git-author:

Frederik Heber <frederik.heber@…> (04/17/21 16:46:43)

git-committer:

Frederik Heber <frederik.heber@…> (04/28/21 22:02:49)

Message:

Switch off defragmenting of World's atomic id pool.

• with increased undos that rely on the atom id to remain, we cannot defrag the id pool. Moreover, there should be enough ids in the int range. Hence, there is no direct need for it.
• In the World the max values for the atomic id pool are set to 0 and if done so, the defragmentation will never be performed.

File:

• src/IdPool_impl.hpp (modified) (1 diff)

src/IdPool_impl.hpp

@@ -91 +91 @@
 void IdPool<T,idpolicy>::defragIdPool()
 {
+  // check if defragmentation is disabled
+  if ((MAX_FRAGMENTATION_SKIPS == 0) || (MAX_POOL_FRAGMENTATION == 0))
+    return;
   // check if the situation is bad enough to make defragging neccessary
   if((numDefragSkips<MAX_FRAGMENTATION_SKIPS) &&