blob: 960ac271800797ce98ee563305488187f257d769 (
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
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
|
/* -----------------------------------------------------------------------------
* $Id: Stable.h,v 1.4 1999/03/02 19:44:16 sof Exp $
*
* (c) The GHC Team, 1998-1999
*
* Stable names and stable pointers
*
* ---------------------------------------------------------------------------*/
/* -----------------------------------------------------------------------------
External C Interface
-------------------------------------------------------------------------- */
extern StgPtr deRefStablePtr(StgStablePtr stable_ptr);
extern void freeStablePtr(StgStablePtr sp);
extern StgStablePtr splitStablePtr(StgStablePtr sp);
/* -----------------------------------------------------------------------------
PRIVATE from here.
-------------------------------------------------------------------------- */
extern StgStablePtr getStablePtr(StgPtr p);
typedef struct {
StgPtr addr; /* Haskell object, free list, or NULL */
StgWord weight; /* used for reference counting */
StgClosure *sn_obj; /* the StableName object (or NULL) */
} snEntry;
extern DLL_IMPORT_RTS snEntry *stable_ptr_table;
extern DLL_IMPORT_RTS snEntry *stable_ptr_free;
extern DLL_IMPORT_RTS unsigned int SPT_size;
extern inline StgPtr
deRefStablePtr(StgStablePtr sp)
{
ASSERT(stable_ptr_table[sp & ~STABLEPTR_WEIGHT_MASK].weight > 0);
return stable_ptr_table[sp & ~STABLEPTR_WEIGHT_MASK].addr;
}
extern inline void
freeStablePtr(StgStablePtr sp)
{
StgWord sn = sp & ~STABLEPTR_WEIGHT_MASK;
ASSERT(sn < SPT_size
&& stable_ptr_table[sn].addr != NULL
&& stable_ptr_table[sn].weight > 0);
stable_ptr_table[sn].weight += (sp & STABLEPTR_WEIGHT_MASK) >> STABLEPTR_WEIGHT_SHIFT;
}
extern inline StgStablePtr
splitStablePtr(StgStablePtr sp)
{
/* doesn't need access to the stable pointer table */
StgWord weight = (sp & STABLEPTR_WEIGHT_MASK) / 2;
return (sp & ~STABLEPTR_WEIGHT_MASK) + weight;
}
/* No deRefStableName, because the existence of a stable name doesn't
* guarantee the existence of the object itself.
*/
|
