BDDPacket: reduce JFACTORY_CACHE_RATIO to 8 (#7823)

* BDDPacket: reduce JFACTORY_CACHE_RATIO to 8 ... from 32. i.e. use 4x more cache than before
batfish · Dec 16, 2021 · f2e0143 · f2e0143
1 parent f3f200b
commit f2e0143
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/projects/batfish-common-protocol/src/main/java/org/batfish/common/bdd/BDDPacket.java b/projects/batfish-common-protocol/src/main/java/org/batfish/common/bdd/BDDPacket.java
@@ -44,7 +44,7 @@ public class BDDPacket {
    * The ratio of node table size to node cache size to preserve when resizing. The default
    * value is 0, which means never resize the cache.
    */
-  private static final int JFACTORY_CACHE_RATIO = 32;
+  private static final int JFACTORY_CACHE_RATIO = 8;
 
   /*
    * Initial size of the BDD factory node cache. Automatically resized when the node table is,