summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndy Wingo <wingo@pobox.com>2013-11-28 16:03:58 +0100
committerAndy Wingo <wingo@pobox.com>2013-11-28 16:03:58 +0100
commit6683f204ba95321f2cf904d0508117b027f2f2fc (patch)
treebf79cb1a9d3f3a4f8a787b39cb21165f832c89dd
parentf76cf73a49e0219f81a2fa0fc8431a0b83280822 (diff)
parent2437c7b2e8b4ab7786847ee1ce0b59e446a70fe2 (diff)
Merge commit '2437c7b2e8b4ab7786847ee1ce0b59e446a70fe2'
Conflicts: libguile/guardians.c
-rw-r--r--libguile/guardians.c18
1 files changed, 16 insertions, 2 deletions
diff --git a/libguile/guardians.c b/libguile/guardians.c
index 7619acf27..f2651a825 100644
--- a/libguile/guardians.c
+++ b/libguile/guardians.c
@@ -40,7 +40,6 @@
* monsters we had...
*
* Rewritten for the Boehm-Demers-Weiser GC by Ludovic Courtès.
- * FIXME: This is currently not thread-safe.
*/
/* Uncomment the following line to debug guardian finalization. */
@@ -71,6 +70,7 @@ static scm_t_bits tc16_guardian;
typedef struct t_guardian
{
+ scm_i_pthread_mutex_t mutex;
unsigned long live;
SCM zombies;
struct t_guardian *next;
@@ -146,6 +146,9 @@ finalize_guarded (void *ptr, void *finalizer_data)
}
g = GUARDIAN_DATA (guardian);
+
+ scm_i_pthread_mutex_lock_block_asyncs (&g->mutex);
+
if (g->live == 0)
abort ();
@@ -159,7 +162,8 @@ finalize_guarded (void *ptr, void *finalizer_data)
g->zombies = zombies;
g->live--;
- g->zombies = zombies;
+
+ scm_i_pthread_mutex_unlock_unblock_asyncs (&g->mutex);
}
if (scm_is_true (proxied_finalizer))
@@ -210,6 +214,8 @@ scm_i_guard (SCM guardian, SCM obj)
void *prev_data;
SCM guardians_for_obj, finalizer_data;
+ scm_i_pthread_mutex_lock_block_asyncs (&g->mutex);
+
g->live++;
/* Note: GUARDIANS_FOR_OBJ holds weak references to guardians so
@@ -253,6 +259,8 @@ scm_i_guard (SCM guardian, SCM obj)
SCM_PACK_POINTER (prev_data));
SCM_SETCAR (finalizer_data, proxied_finalizer);
}
+
+ scm_i_pthread_mutex_unlock_unblock_asyncs (&g->mutex);
}
}
@@ -262,6 +270,8 @@ scm_i_get_one_zombie (SCM guardian)
t_guardian *g = GUARDIAN_DATA (guardian);
SCM res = SCM_BOOL_F;
+ scm_i_pthread_mutex_lock_block_asyncs (&g->mutex);
+
if (!scm_is_null (g->zombies))
{
/* Note: We return zombies in reverse order. */
@@ -269,6 +279,8 @@ scm_i_get_one_zombie (SCM guardian)
g->zombies = SCM_CDR (g->zombies);
}
+ scm_i_pthread_mutex_unlock_unblock_asyncs (&g->mutex);
+
return res;
}
@@ -339,6 +351,8 @@ SCM_DEFINE (scm_make_guardian, "make-guardian", 0, 0, 0,
t_guardian *g = scm_gc_malloc (sizeof (t_guardian), "guardian");
SCM z;
+ scm_i_pthread_mutex_init (&g->mutex, NULL);
+
/* A tconc starts out with one tail pair. */
g->live = 0;
g->zombies = SCM_EOL;