[MLton-devel] benchmarks on RedHat and FreeBSD

Stephen Weeks MLton@mlton.org
Thu, 19 Sep 2002 13:00:48 -0700

> It amazes me. I have always found FreeBSD to be at level with Linux when
> it comes to raw performance. The absence of mremap is a design choice as
> far as I know. 

We use mremap to grow the heap.  On platforms that don't have it, we
mmap a new larger space, copy the heap there, and then update all the
pointers.  This is obviously a lot slower, and incurs additional
zeroing costs.

This sf.net email is sponsored by:ThinkGeek
Welcome to geek heaven.
MLton-devel mailing list