[MLton] share weirdness

Matthew Fluet fluet@cs.cornell.edu
Thu, 20 Apr 2006 22:42:59 -0400 (EDT)


> Unix  is  very  careful  to always zero out memory given to you by the OS (to
> keep you from being able to see something you shouldn't).

Right, but with the copying GC, we don't return fromspace to the OS; we 
keep it around to be the next tospace.  So, it is very probably that the 
mutator won't see zeros at the frontier.