TODO: move record pool to a thread-local thing and never deallocate it. Issue is...

diff --git a/Robust/src/IR/Flat/BuildOoOJavaCode.java b/Robust/src/IR/Flat/BuildOoOJavaCode.java
index 2958bdbe1ad1b10675e940be149aae0d71df5756..99494f450c35c7101e087d7d646759012f442c69 100644 (file)
--- a/Robust/src/IR/Flat/BuildOoOJavaCode.java
+++ b/Robust/src/IR/Flat/BuildOoOJavaCode.java
@@ -595,6 +595,12 @@ public class BuildOoOJavaCode extends BuildCode {
     // set up a task's mem pool to recycle the allocation of children tasks
     // don't bother if the task never has children (a leaf task)
     output.println( "#ifndef OOO_DISABLE_TASKMEMPOOL" );
+    output.println( "/////////////////////////////////////////////" );
+    output.println( "//" );
+    output.println( "//  TODO: use poolcreate to make one record pool" );
+    output.println( "//  per WORKER THREAD and never destroy it..." );
+    output.println( "//" );
+    output.println( "/////////////////////////////////////////////" );
     if( !fsen.getIsLeafSESE() ) {
       output.println("   runningSESE->taskRecordMemPool = poolcreate( "+
                      maxTaskRecSizeStr+", freshTaskRecordInitializer );");