mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-06 07:49:02 +00:00
d465fa53cb
Discussion of these changes can be found on the Mercury developers
mailing list archives from June 2018.
COPYING.LIB:
Add a special linking exception to the LGPL.
*:
Update references to COPYING.LIB.
Clean up some minor errors that have accumulated in copyright
messages.
56 lines
1.7 KiB
C
56 lines
1.7 KiB
C
// vim: ts=4 sw=4 expandtab ft=c
|
|
|
|
// Copyright (C) 1997-1998, 2000, 2002, 2005 The University of Melbourne.
|
|
// Copyright (C) 2016, 2018 The Mercury team.
|
|
// This file is distributed under the terms specified in COPYING.LIB.
|
|
|
|
#ifndef MERCURY_ACCURATE_GC_H
|
|
#define MERCURY_ACCURATE_GC_H
|
|
|
|
// mercury_accurate_gc.h:
|
|
//
|
|
// Definitions for use by the accurate garbage collector and supporting code.
|
|
|
|
#include "mercury_types.h"
|
|
#include "mercury_type_info.h"
|
|
|
|
#ifdef MR_HIGHLEVEL_CODE
|
|
// Perform a garbage collection.
|
|
extern void MR_garbage_collect(void);
|
|
#else
|
|
// MR_schedule_agc:
|
|
//
|
|
// Schedule a garbage collection as soon as possible. We use the program
|
|
// counter (pc) to find the procedure that is executing. We then use the
|
|
// stack pointer (sp) to replace the saved continuation pointer with the
|
|
// address of the garbage collector routine.
|
|
|
|
extern void MR_schedule_agc(MR_Code *pc_at_signal, MR_Word *sp_at_signal,
|
|
MR_Word *curfr_at_signal);
|
|
#endif
|
|
|
|
// Roots apart from the stacks are stored in this data structure.
|
|
//
|
|
// Essentially, this is a list of any pointers into the heap that are
|
|
// not stored on the heap or the det/nondet stacks.
|
|
//
|
|
// Each node stores the address of a root and its type.
|
|
// When a garbage collection occurs, the root will be modified.
|
|
|
|
struct MR_RootNode {
|
|
MR_Word *root;
|
|
MR_TypeInfo type_info;
|
|
struct MR_RootNode *next;
|
|
};
|
|
|
|
typedef struct MR_RootNode *MR_RootList;
|
|
|
|
// MR_agc_add_root:
|
|
//
|
|
// Adds the root whose address is supplied in root_addr with type described
|
|
// by type_info to the list of additional roots.
|
|
|
|
extern void MR_agc_add_root(MR_Word *root_addr, MR_TypeInfo type_info);
|
|
|
|
#endif // not MERCURY_ACCURATE_GC_H
|