From: Godmar Back (gback@cs.utah.edu)
Date: Tue Sep 15 1998 - 12:46:51 EDT
FWIW, Boehm discusses this in his PLDI 96 paper:
``Simple Garbage-Collector-Safety'', Proceedings of the ACM
SIGPLAN '96 Conference on Programming Language Design and Implementation,
SIGPLAN Notices 31, 5 (May 1996), pp. 89-98.
Available from http://reality.sgi.com/boehm/papers/pldi96.ps.gz
He describes necessary conditions for a compiler to be gc-safe and
derives an algorithm to make it safe, which he implements as a
preprocessor for gcc. However, he says:
"Such problems are in fact extremely rare with existing compilers.
Conservative garbage collection is commonly used with conventional
unmodified optimizing compilers, and to our knowledge, the above problems
have only been observed in examples contrived for the purpose."
- Godmar
This archive was generated by hypermail 2b29 : Sat Sep 23 2000 - 19:56:57 EDT