diff options
author | Ömer Sinan Ağacan <omeragacan@gmail.com> | 2018-04-16 21:58:21 +0300 |
---|---|---|
committer | Ömer Sinan Ağacan <omeragacan@gmail.com> | 2018-04-16 21:58:41 +0300 |
commit | 4d30bc869dba8480fad2487911e828aab6ffd53c (patch) | |
tree | c4a961817f5e54a3333885e8eaa7c9184f6306fb | |
parent | 90283b5f54427f2f04dce7901f2722dc75e7d098 (diff) | |
download | haskell-4d30bc869dba8480fad2487911e828aab6ffd53c.tar.gz |
Remove markSignalHandlers
It's no-op on all platforms
Reviewers: bgamari, simonmar, erikd, dfeuer
Reviewed By: dfeuer
Subscribers: dfeuer, thomie, carter
Differential Revision: https://phabricator.haskell.org/D4588
-rw-r--r-- | rts/RtsSignals.h | 8 | ||||
-rw-r--r-- | rts/posix/Signals.c | 10 | ||||
-rw-r--r-- | rts/sm/GC.c | 5 | ||||
-rw-r--r-- | rts/win32/ConsoleHandler.c | 12 |
4 files changed, 0 insertions, 35 deletions
diff --git a/rts/RtsSignals.h b/rts/RtsSignals.h index d4176034e3..b0add6727d 100644 --- a/rts/RtsSignals.h +++ b/rts/RtsSignals.h @@ -51,14 +51,6 @@ void freeSignalHandlers(void); */ void awaitUserSignals(void); -/* - * Function: markSignalHandlers() - * - * Evacuate the handler queue. _Assumes_ that console event delivery - * has already been blocked. - */ -void markSignalHandlers (evac_fn evac, void *user); - #include "EndPrivate.h" #endif /* RTS_USER_SIGNALS */ diff --git a/rts/posix/Signals.c b/rts/posix/Signals.c index cf45019d95..4cd1e386cc 100644 --- a/rts/posix/Signals.c +++ b/rts/posix/Signals.c @@ -488,16 +488,6 @@ startSignalHandlers(Capability *cap) } #endif -/* ---------------------------------------------------------------------------- - * Mark signal handlers during GC. - * -------------------------------------------------------------------------- */ - -void -markSignalHandlers (evac_fn evac STG_UNUSED, void *user STG_UNUSED) -{ - // nothing to do -} - #else /* !RTS_USER_SIGNALS */ StgInt stg_sig_install(StgInt sig STG_UNUSED, diff --git a/rts/sm/GC.c b/rts/sm/GC.c index e52400e16e..cadf55785c 100644 --- a/rts/sm/GC.c +++ b/rts/sm/GC.c @@ -402,11 +402,6 @@ GarbageCollect (uint32_t collect_gen, markScheduler(mark_root, gct); -#if defined(RTS_USER_SIGNALS) - // mark the signal handlers (signals should be already blocked) - markSignalHandlers(mark_root, gct); -#endif - // Mark the weak pointer list, and prepare to detect dead weak pointers. markWeakPtrList(); initWeakForGC(); diff --git a/rts/win32/ConsoleHandler.c b/rts/win32/ConsoleHandler.c index 88c4a61912..545a76a004 100644 --- a/rts/win32/ConsoleHandler.c +++ b/rts/win32/ConsoleHandler.c @@ -199,18 +199,6 @@ void startSignalHandlers(Capability *cap) } #endif /* !THREADED_RTS */ -/* - * Function: markSignalHandlers() - * - * Evacuate the handler stack. _Assumes_ that console event delivery - * has already been blocked. - */ -void markSignalHandlers (evac_fn evac STG_UNUSED, void *user STG_UNUSED) -{ - // nothing to mark; the console handler is a StablePtr which is - // already treated as a root by the GC. -} - /* * Function: generic_handler() |