/usr/lib/mlton/include/gc/frame.h is in mlton-basis 20100608-5.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 | /* Copyright (C) 1999-2006 Henry Cejtin, Matthew Fluet, Suresh
* Jagannathan, and Stephen Weeks.
* Copyright (C) 1997-2000 NEC Research Institute.
*
* MLton is released under a BSD-style license.
* See the file MLton-LICENSE for details.
*/
#if (defined (MLTON_GC_INTERNAL_TYPES))
/*
* The "... reserved bytes ..." of a stack object constitute a linear
* sequence of frames. For the purposes of garbage collection, we
* must be able to recover the size and offsets of live heap-pointers
* for each frame. This data is declared as follows:
*
* GC_frameLayout *frameLayouts;
*
* The frameLayouts pointer is initialized to point to a static array
* of frame layouts that is emitted for each compiled program. The
* kind field identifies whether or not the frame is for a C call.
* (Note: The ML stack is distinct from the system stack. A C call
* executes on the system stack. The frame left on the ML stack is
* just a marker.) The size field indicates the size of the frame,
* including space for the return address. The offsets field points
* to an array (the zeroeth element recording the size of the array)
* whose elements record byte offsets from the bottom of the frame at
* which live heap pointers are located.
*/
typedef uint16_t *GC_frameOffsets;
typedef enum {
C_FRAME,
ML_FRAME
} GC_frameKind;
typedef struct GC_frameLayout {
GC_frameKind kind;
GC_frameOffsets offsets;
uint16_t size;
} *GC_frameLayout;
typedef uint32_t GC_frameIndex;
#define PRIFI PRIu32
#define FMTFI "%"PRIFI
typedef uintptr_t GC_returnAddress;
#define GC_RETURNADDRESS_SIZE sizeof(GC_returnAddress)
#define FMTRA "0x%016"PRIxPTR
#endif /* (defined (MLTON_GC_INTERNAL_TYPES)) */
#if (defined (MLTON_GC_INTERNAL_FUNCS))
static inline GC_frameIndex getFrameIndexFromReturnAddress (GC_state s, GC_returnAddress ra);
static inline GC_frameLayout getFrameLayoutFromFrameIndex (GC_state s, GC_frameIndex findex);
static inline GC_frameLayout getFrameLayoutFromReturnAddress (GC_state s, GC_returnAddress ra);
#endif /* (defined (MLTON_GC_INTERNAL_FUNCS)) */
|