blob: 3fb305b47b89a42ad3f1a6be2588220f54849d2e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
/* -----------------------------------------------------------------------------
*
* (c) The GHC Team, 1998-2004
*
* Stable Pointers: A stable pointer is represented as an index into
* the stable pointer table.
*
* StgStablePtr used to be a synonym for StgWord, but stable pointers
* are guaranteed to be void* on the C-side, so we have to do some
* occasional casting. Size is not a matter, because StgWord is always
* the same size as a void*.
*
* ---------------------------------------------------------------------------*/
#pragma once
#include "sm/GC.h" // for evac_fn below
#include "BeginPrivate.h"
void freeStablePtr ( StgStablePtr sp );
/* Use the "Unsafe" one after only when manually locking and
unlocking with stablePtrLock/stablePtrUnlock */
void freeStablePtrUnsafe ( StgStablePtr sp );
void initStablePtrTable ( void );
void exitStablePtrTable ( void );
/* Call given function on every stable ptr. markStablePtrTable depends
* on the function updating its pointers in case the object is
* moved.
*/
void markStablePtrTable ( evac_fn evac, void *user );
void threadStablePtrTable ( evac_fn evac, void *user );
void stablePtrLock ( void );
void stablePtrUnlock ( void );
#if defined(THREADED_RTS)
// needed by Schedule.c:forkProcess()
extern Mutex stable_ptr_mutex;
#endif
#include "EndPrivate.h"
|