From 3fe284c52cb7e106d4c7ffcf9839ba74539a703d Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Mon, 28 Feb 2011 05:07:05 +0000
Subject: [PATCH] add garbage collector support...

---
 Robust/src/Runtime/garbage.c | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/Robust/src/Runtime/garbage.c b/Robust/src/Runtime/garbage.c
index 7acd62b2..5197ca3d 100644
--- a/Robust/src/Runtime/garbage.c
+++ b/Robust/src/Runtime/garbage.c
@@ -380,7 +380,7 @@ void collect(struct garbagelist * stackptr) {
 #if defined(STM)||defined(THREADS)||defined(MLP)
   memorybase=NULL;
 #endif
- 
+
   /* Check current stack */
 #if defined(THREADS)||defined(DSTM)||defined(STM)||defined(MLP)
   {
@@ -451,6 +451,17 @@ void collect(struct garbagelist * stackptr) {
   ENQUEUE(___fcrevert___, ___fcrevert___);
 #endif
 
+#if defined(THREADS)||defined(DSTM)||defined(STM)
+  {
+    int i;
+    stackptr=(struct garbagelist *)global_defs_p;
+    for(i=0; i<stackptr->size; i++) {
+      void * orig=stackptr->array[i];
+      ENQUEUE(orig, stackptr->array[i]);
+    }
+  }
+#endif
+
 #ifdef TASK
   {
     /* Update objectsets */
-- 
2.34.1