/* -----------------------------------------------------------------------------
- * $Id: Stable.c,v 1.3 1999/02/26 12:46:48 simonm Exp $
+ * $Id: Stable.c,v 1.8 1999/09/15 13:50:14 sof Exp $
*
* (c) The GHC Team, 1998-1999
*
snEntry *p;
for (p = table + n - 1; p >= table; p--) {
- p->addr = (P_)free;
+ p->addr = (P_)free;
+ p->weight = 0;
+ p->sn_obj = NULL;
free = p;
}
stable_ptr_free = table;
freeStableName(snEntry *sn)
{
ASSERT(sn->sn_obj == NULL);
+ if (sn->addr != NULL) {
+ removeHashTable(addrToStableHash, (W_)sn->addr, NULL);
+ }
sn->addr = (P_)stable_ptr_free;
stable_ptr_free = sn;
}
weight = stable_ptr_table[sn].weight;
if (weight == 0) {
- weight = 1 << (BITS_IN(StgWord)-1);
+ weight = (StgWord)1 << (BITS_IN(StgWord)-1);
stable_ptr_table[sn].weight = weight;
return (StgStablePtr)(sn + ((BITS_IN(StgWord)-1) << STABLEPTR_WEIGHT_SHIFT));
}
stable_ptr_table = stgMallocWords(SPT_size * sizeof(snEntry),
"initStablePtrTable");
+ /* we don't use index 0 in the stable name table, because that
+ * would conflict with the hash table lookup operations which
+ * return NULL if an entry isn't found in the hash table.
+ */
initFreeList(stable_ptr_table+1,INIT_SPT_SIZE-1,NULL);
addrToStableHash = allocHashTable();
}
end_stable_ptr_table = &stable_ptr_table[SPT_size];
- /* Mark all the stable *pointers* (not stable names)
+ /* Mark all the stable *pointers* (not stable names).
+ * _starting_ at index 1; index 0 is unused.
*/
- for (p = stable_ptr_table; p < end_stable_ptr_table; p++) {
+ for (p = stable_ptr_table+1; p < end_stable_ptr_table; p++) {
q = p->addr;
/* internal pointers or NULL are free slots
*/
end_stable_ptr_table = &stable_ptr_table[SPT_size];
- for (p = stable_ptr_table; p < end_stable_ptr_table; p++) {
+ /* NOTE: _starting_ at index 1; index 0 is unused. */
+ for (p = stable_ptr_table + 1; p < end_stable_ptr_table; p++) {
/* Update the pointer to the StableName object, if there is one */
if (p->sn_obj != NULL) {
(StgClosure *)new = isAlive((StgClosure *)q);
IF_DEBUG(stable, fprintf(stderr,"Stable name %d still alive at %p, weight %d\n", p - stable_ptr_table, new, p->weight));
- p->addr = new;
- if (new != NULL) {
- /* Re-hash this stable name */
+ if (new == NULL) {
+ /* The target has been garbage collected. Remove its
+ * entry from the hash table.
+ */
+ removeHashTable(addrToStableHash, (W_)q, NULL);
+
+ } else {
+ /* Target still alive, Re-hash this stable name
+ */
if (full) {
insertHashTable(addrToStableHash, (W_)new, (void *)(p - stable_ptr_table));
} else if (new != q) {
insertHashTable(addrToStableHash, (W_)new, (void *)(p - stable_ptr_table));
}
}
+
+ /* finally update the address of the target to point to its
+ * new location.
+ */
+ p->addr = new;
}
}
}