[MLton-devel] Managing Memory with Types

[Stephen Weeks]

I just read through chapter 6 of Dan Wang's thesis, Managing Memory
with Types.

	http://ncstrl.cs.princeton.edu/expand.php?id=TR-640-01

Chapter 6 discusses an implementation of a type-preserving garbage
collector for (an old version of) MLton.  The major differences from
MLton's collector are that the collector is depth-first (with an
auxiliary stack), tagless, and requires the program to be CPS'ed.
There are a few small benchmarks, with the largest being life.
Unfortunately, the numbers are pretty bad, with things running 10X
slower or more.  This is probably mostly due to heap allocation of
continuations causing tons more allocation and collection.  He also
mentions that the collectors "interact badly with certain unboxing and
flattening optimizations" as another cause.



-------------------------------------------------------
This SF.net email is sponsored by: ObjectStore.
If flattening out C++ or Java code to make your application fit in a
relational database is painful, don't do it! Check out ObjectStore.
Now part of Progress Software. http://www.objectstore.net/sourceforge
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel