diff options
| author | David Eichmann <EichmannD@gmail.com> | 2020-10-19 17:03:41 +0100 |
|---|---|---|
| committer | David Eichmann <EichmannD@gmail.com> | 2020-10-30 13:43:44 +0000 |
| commit | c83b97d19889d0844f73a26f36d3169f698e92c8 (patch) | |
| tree | 92e832e68e6ccf4934c5de988f3f8971e11eca9a /rts/Capability.c | |
| parent | 28f98b01d055c8027f9495b1669bf875b3e42168 (diff) | |
| download | haskell-wip/ghc-debug_pause_and_resume.tar.gz | |
RtsAPI: pause and resume the RTSwip/ghc-debug_pause_and_resume
The `rts_pause` and `rts_resume` functions have been added to `RtsAPI.h` and
allow an external process to completely pause and resume the RTS.
Co-authored-by: Sven Tennie <sven.tennie@gmail.com>
Co-authored-by: Matthew Pickering <matthewtpickering@gmail.com>
Co-authored-by: Ben Gamari <bgamari.foss@gmail.com>
Diffstat (limited to 'rts/Capability.c')
| -rw-r--r-- | rts/Capability.c | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/rts/Capability.c b/rts/Capability.c index aedce0dd8e..8dddce7028 100644 --- a/rts/Capability.c +++ b/rts/Capability.c @@ -858,7 +858,15 @@ void waitForCapability (Capability **pCap, Task *task) /* See Note [GC livelock] in Schedule.c for why we have gcAllowed and return the bool */ bool /* Did we GC? */ -yieldCapability (Capability** pCap, Task *task, bool gcAllowed) +yieldCapability + ( Capability** pCap // [in/out] Task's owned capability. Set to the + // newly owned capability on return. + // Precondition: + // pCap != NULL + // && *pCap != NULL + , Task *task // [in] This thread's task. + , bool gcAllowed + ) { Capability *cap = *pCap; |