[m-rev.] diff: add some agc comments

[Fergus Henderson]

Estimated hours taken: 1
Branches: main

runtime/mercury_ho_call.c:
runtime/mercury_builtin_types.c:
	Add some comments explaining why we don't need any special code
	in these files to handle accurate GC.

Workspace: /home/jupiter/fjh/ws-jupiter/mercury
Index: runtime/mercury_builtin_types.c
===================================================================
RCS file: /home/mercury1/repository/mercury/runtime/mercury_builtin_types.c,v
retrieving revision 1.9
diff -u -d -r1.9 mercury_builtin_types.c
--- runtime/mercury_builtin_types.c	13 Mar 2003 01:47:05 -0000	1.9
+++ runtime/mercury_builtin_types.c	19 Dec 2003 06:25:17 -0000
@@ -12,6 +12,15 @@
 ** ends.
 */
 
+/*
+** Note that the routines here don't need any special handling for
+** accurate GC, since they only do tail-calls (or equivalent);
+** their stack stack frames will never be live on the stack
+** when a garbage collection occurs (or if they are, will never
+** contain any live variables that might contain pointers to
+** the Mercury heap).
+*/
+
 #ifdef MR_HIGHLEVEL_CODE
   #include "mercury.h"
 #else
Index: runtime/mercury_ho_call.c
===================================================================
RCS file: /home/mercury1/repository/mercury/runtime/mercury_ho_call.c,v
retrieving revision 1.67
diff -u -d -r1.67 mercury_ho_call.c
--- runtime/mercury_ho_call.c	30 Oct 2003 03:10:37 -0000	1.67
+++ runtime/mercury_ho_call.c	19 Dec 2003 06:20:50 -0000
@@ -16,6 +16,15 @@
 ** compiler-generated unify, index and compare predicates).
 */
 
+/*
+** Note that the routines here don't need any special handling for
+** accurate GC, since they only do tail-calls (or equivalent);
+** their stack stack frames will never be live on the stack
+** when a garbage collection occurs (or if they are, will never
+** contain any live variables that might contain pointers to
+** the Mercury heap).
+*/
+
 #include "mercury_imp.h"
 #include "mercury_ho_call.h"
 #include "mercury_type_desc.h"

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------