1 /*************************************************************************
3 *************************************************************************/
5 [Something needed here to explain what this is doing. KH]
10 #include "SMinternal.h"
12 #if defined(_INFO_MARKING)
14 #if defined (__STG_GCC_REGS__) /* If we are using registers load _SAVE */
16 /* If we are using registers load _SAVE */
17 #define Mark SAVE_Mark
18 #define MRoot SAVE_MRoot
19 #define MStack SAVE_MStack
20 #define BitArray SAVE_BitArray
21 #define HeapBase SAVE_HeapBase
22 #define HeapLim SAVE_HeapLim
24 #endif /* registerized */
26 /* These in SMmark.lhc -- need to be in .hc file */
27 EXTFUN(_startMarkWorld);
29 EXTFUN(_PRMarking_MarkNextRoot);
30 EXTFUN(_PRMarking_MarkNextCAF);
31 EXTDATA(_PRMarking_MarkNextRoot_closure);
32 EXTDATA(_PRMarking_MarkNextCAF_closure);
35 EXTFUN(_PRMarking_MarkNextSpark);
36 EXTDATA(_PRMarking_MarkNextSpark_closure);
40 EXTFUN(_PRMarking_MarkNextGA);
41 EXTDATA(_PRMarking_MarkNextGA_closure);
43 EXTFUN(_PRMarking_MarkNextAStack);
44 EXTFUN(_PRMarking_MarkNextBStack);
45 EXTDATA(_PRMarking_MarkNextAStack_closure);
46 EXTDATA(_PRMarking_MarkNextBStack_closure);
47 #endif /* not parallel */
52 markHeapRoots(sm, cafs1, cafs2, base, lim, bit_array)
54 P_ cafs1, cafs2; /* Pointer to CAF lists */
55 P_ base; /* Heap closure in range only tested for by GCgn */
67 DEBUG_STRING("Marking Roots:");
69 sm_roots_end = (P_) &sm->roots[sm->rootno];
70 MRoot = (P_) sm->roots;
72 MStack = (P_) _PRMarking_MarkNextRoot_closure;
74 miniInterpret((StgFunPtr)_startMarkWorld);
78 for(pool = 0; pool < SPARK_POOLS; pool++) {
79 if (PendingSparksHd[pool] < PendingSparksTl[pool]) {
80 sm_roots_end = (P_) PendingSparksTl[pool];
81 MRoot = (P_) PendingSparksHd[pool];
83 MStack = (P_) _PRMarking_MarkNextSpark_closure;
85 miniInterpret((StgFunPtr)_startMarkWorld);
91 DEBUG_STRING("Marking GA Roots:");
92 MRoot = (P_) liveIndirections;
93 while(MRoot != NULL && ((GALA *)MRoot)->ga.weight == MAX_GA_WEIGHT)
94 MRoot = (P_) ((GALA *)MRoot)->next;
96 Mark = ((GALA *)MRoot)->la;
97 MStack = (P_) _PRMarking_MarkNextGA_closure;
99 miniInterpret((StgFunPtr) _startMarkWorld);
102 /* Note: no *external* stacks in parallel world */
103 DEBUG_STRING("Marking A Stack:");
104 if (SUBTRACT_A_STK(MAIN_SpA, stackInfo.botA) >= 0) {
105 MRoot = (P_) MAIN_SpA;
107 MStack = (P_) _PRMarking_MarkNextAStack_closure;
109 miniInterpret((StgFunPtr)_startMarkWorld);
112 DEBUG_STRING("Marking B Stack:");
113 if (SUBTRACT_B_STK(MAIN_SuB, stackInfo.botB) > 0) {
115 Mark = GRAB_UPDATEE(MRoot);
116 MStack = (P_) _PRMarking_MarkNextBStack_closure;
117 miniInterpret((StgFunPtr)_startMarkWorld);
121 DEBUG_STRING("Marking & Updating CAFs:");
124 Mark = (P_) IND_CLOSURE_PTR(MRoot);
125 MStack = (P_) _PRMarking_MarkNextCAF_closure;
127 miniInterpret((StgFunPtr)_startMarkWorld);
132 Mark = (P_) IND_CLOSURE_PTR(MRoot);
133 MStack = (P_) _PRMarking_MarkNextCAF_closure;
135 miniInterpret((StgFunPtr)_startMarkWorld);
141 #endif /* _INFO_MARKING */
145 CODE REQUIRED (expressed as a loop):
149 MStack = _PRMarking_MarkNextRoot_closure;
150 for (MRoot = (P_) sm->roots;
151 MRoot < (P_) &sm->roots[sm->rootno];
154 (PRMARK_CODE(INFO_PTR(Mark)))();
155 _PRMarking_MarkNextRoot:
162 MStack = _PRMarking_MarkNextAStack_closure;
163 for (MRoot = MAIN_SpA;
164 SUBTRACT_A_STK(MRoot, stackInfo.botA) >= 0;
165 MRoot = MRoot + AREL(1)) {
167 (PRMARK_CODE(INFO_PTR(Mark)))();
168 _PRMarking_MarkNextAStack:
175 MStack = _PRMarking_MarkNextBStack_closure;
176 for (MRoot = MAIN_SuB; --- Topmost Update Frame
177 SUBTRACT_B_STK(MRoot, stackInfo.botB) > 0;
178 MRoot = GRAB_SuB(MRoot)) {
180 Mark = GRAB_UPDATEE(MRoot);
181 (PRMARK_CODE(INFO_PTR(Mark)))();
182 _PRMarking_MarkNextBStack:
183 PUSH_UPDATEE(MRoot, Mark);
189 MStack = _PRMarking_MarkNextCAF_closure;
190 for (MRoot = sm->CAFlist;
192 MRoot = (P_) IND_CLOSURE_LINK(MRoot))
194 Mark = IND_CLOSURE_PTR(MRoot);
195 (PRMARK_CODE(INFO_PTR(Mark)))();
196 _PRMarking_MarkNextCAF:
197 IND_CLOSURE_PTR(MRoot) = (W_) Mark;