[project @ 2003-07-23 13:08:22 by simonpj]
[ghc-hetmet.git] / ghc / includes / Stable.h
1 /* -----------------------------------------------------------------------------
2  * $Id: Stable.h,v 1.14 2002/12/19 14:25:04 simonmar Exp $
3  *
4  * (c) The GHC Team, 1998-2000
5  *
6  * Stable Pointers: A stable pointer is represented as an index into
7  * the stable pointer table in the low BITS_PER_WORD-8 bits with a
8  * weight in the upper 8 bits.
9  *
10  * SUP: StgStablePtr used to be a synonym for StgWord, but stable pointers
11  * are guaranteed to be void* on the C-side, so we have to do some occasional
12  * casting. Size is not a matter, because StgWord is always the same size as
13  * a void*.
14  *
15  * ---------------------------------------------------------------------------*/
16
17 #ifndef STABLE_H
18 #define STABLE_H
19
20 /* -----------------------------------------------------------------------------
21    External C Interface
22    -------------------------------------------------------------------------- */
23
24 extern StgPtr         deRefStablePtr(StgStablePtr stable_ptr);
25 extern void           freeStablePtr(StgStablePtr sp);
26 extern StgStablePtr   splitStablePtr(StgStablePtr sp);
27 extern StgStablePtr   getStablePtr(StgPtr p);
28
29 /* -----------------------------------------------------------------------------
30    PRIVATE from here.
31    -------------------------------------------------------------------------- */
32
33 typedef struct { 
34   StgPtr  addr;                 /* Haskell object, free list, or NULL */
35   StgPtr  old;                  /* old Haskell object, used during GC */
36   StgWord ref;                  /* used for reference counting */
37   StgClosure *sn_obj;           /* the StableName object (or NULL) */
38 } snEntry;
39
40 extern DLL_IMPORT_RTS snEntry *stable_ptr_table;
41
42 extern void freeStablePtr(StgStablePtr sp);
43
44 #ifndef RTS_STABLE_C
45 extern inline
46 #endif
47 StgPtr deRefStablePtr(StgStablePtr sp)
48 {
49     ASSERT(stable_ptr_table[(StgWord)sp].ref > 0);
50     return stable_ptr_table[(StgWord)sp].addr;
51 }
52
53 /* No deRefStableName, because the existence of a stable name doesn't
54  * guarantee the existence of the object itself.
55  */
56
57 #endif