- IF_DEBUG(weak,fprintf(stderr,"Finalising weak pointer at %p -> %p\n", w, w->key));
- w->header.info = &DEAD_WEAK_info;
- if (w->finalizer != &NO_FINALIZER_closure) {
- rts_evalIO(w->finalizer,NULL);
+ if (w->header.info != &stg_DEAD_WEAK_info) {
+ w->header.info = &stg_DEAD_WEAK_info;
+ IF_DEBUG(weak,fprintf(stderr,"Finalising weak pointer at %p -> %p\n", w, w->key));
+ if (w->finalizer != &stg_NO_FINALIZER_closure) {
+#if defined(RTS_SUPPORTS_THREADS)
+ rts_evalIO(w->finalizer,NULL);
+ rts_unlock();
+ rts_lock();
+#else
+ rts_mainLazyIO(w->finalizer,NULL);
+#endif
+ }