[project @ 2002-04-09 11:00:11 by njn]
[ghc-hetmet.git] / ghc / includes / Stable.h
1 /* -----------------------------------------------------------------------------
2  * $Id: Stable.h,v 1.12 2001/12/20 16:12:09 sewardj 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 extern DLL_IMPORT_RTS snEntry *stable_ptr_free;
42
43 extern DLL_IMPORT_RTS unsigned int SPT_size;
44
45 extern void freeStablePtr(StgStablePtr sp);
46
47 extern inline StgPtr
48 deRefStablePtr(StgStablePtr sp)
49 {
50     ASSERT(stable_ptr_table[(StgWord)sp].ref > 0);
51     return stable_ptr_table[(StgWord)sp].addr;
52 }
53
54 /* No deRefStableName, because the existence of a stable name doesn't
55  * guarantee the existence of the object itself.
56  */
57
58 #endif