[MLton-devel] benchmarks on RedHat and FreeBSD

[Stephen Weeks]

> 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.
http://thinkgeek.com/sf
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel