[MLton-devel] Minimizing space usage in ML (fwd)

[Henry Cejtin]

I thought from Matthew's mail that the idea would be that in RSSA you would
mark a pointer as being of type `pointer' (in the GC tables) and that this
would be a sign that the GC should not coallesce the object pointed to with
other equal objects, even if it was marked immutable.  The problem is that
any of these pointers mean that the object can't be moved so you have to
check all of them first.  This means it would have to be a kind of 2-pass
algorithm.  As you say, the new header thing makes it definitely not worth it,
especially since you have to have a pointer to the object in a register any
way most likely (to `return it') so the store of the header is a short
relatively cheap instruction, especially if the header is still in the L-1
cache.


-------------------------------------------------------
This sf.net emial is sponsored by: Influence the future 
of Java(TM) technology. Join the Java Community 
Process(SM) (JCP(SM)) program now. 
http://ad.doubleclick.net/clk;4699841;7576301;v?http://www.sun.com/javavote
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel