X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fincludes%2FStable.h;h=386087e351c5d1b7eba9aeb6ccb95977001d19b8;hb=a551f1a135addb8e11b5c81bd3f25a3990483383;hp=7ffa369d5fdd6182221732125c49b2279c31ba8c;hpb=f9a1e689ac9b5bfea3a4af406f59b7e46cbf1ffe;p=ghc-hetmet.git diff --git a/ghc/includes/Stable.h b/ghc/includes/Stable.h index 7ffa369..386087e 100644 --- a/ghc/includes/Stable.h +++ b/ghc/includes/Stable.h @@ -1,10 +1,22 @@ /* ----------------------------------------------------------------------------- - * $Id: Stable.h,v 1.1 1999/01/26 14:04:46 simonm Exp $ + * $Id: Stable.h,v 1.13 2002/08/16 13:29:05 simonmar Exp $ * - * Stable names and stable pointers + * (c) The GHC Team, 1998-2000 + * + * Stable Pointers: A stable pointer is represented as an index into + * the stable pointer table in the low BITS_PER_WORD-8 bits with a + * weight in the upper 8 bits. + * + * SUP: 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*. * * ---------------------------------------------------------------------------*/ +#ifndef STABLE_H +#define STABLE_H + /* ----------------------------------------------------------------------------- External C Interface -------------------------------------------------------------------------- */ @@ -12,51 +24,32 @@ extern StgPtr deRefStablePtr(StgStablePtr stable_ptr); extern void freeStablePtr(StgStablePtr sp); extern StgStablePtr splitStablePtr(StgStablePtr sp); +extern StgStablePtr getStablePtr(StgPtr p); /* ----------------------------------------------------------------------------- PRIVATE from here. -------------------------------------------------------------------------- */ -extern StgStablePtr getStablePtr(StgPtr p); - typedef struct { - StgPtr addr; /* either Haskell object or free list */ - StgWord weight; /* used for reference counting */ - unsigned int keep; /* set by the garbage collector */ + StgPtr addr; /* Haskell object, free list, or NULL */ + StgPtr old; /* old Haskell object, used during GC */ + StgWord ref; /* used for reference counting */ + StgClosure *sn_obj; /* the StableName object (or NULL) */ } snEntry; -extern snEntry *stable_ptr_table; -extern snEntry *stable_ptr_free; +extern DLL_IMPORT_RTS snEntry *stable_ptr_table; -extern unsigned int SPT_size; +extern void freeStablePtr(StgStablePtr sp); 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; + ASSERT(stable_ptr_table[(StgWord)sp].ref > 0); + return stable_ptr_table[(StgWord)sp].addr; } /* No deRefStableName, because the existence of a stable name doesn't * guarantee the existence of the object itself. */ + +#endif