[MLton] Multicore CPU's and MLton

Wesley W. Terpstra wesley@terpstra.ca
Mon, 4 Jul 2005 12:16:31 +0200

On Sat, Jul 02, 2005 at 09:20:59PM -0700, Stephen Weeks wrote:
> > Does the current MLTon thread library take advantage of real
> > threading?
> For the C codegen hack I'd use processes, so it wouldn't matter.  But
> to answer your question, MLton implements its own threads using a
> timer signal.  Threads don't run concurrently.  It would be nice to
> see some time spent on solving that and possibly adding some source
> language construct to make use of it.  But I imagine that's a lot of
> work.

Please don't do that... I am using MLton for an event driven state machine
similar to state-threads.sf.net. If you make threads really concurrent, that
would throw away the performance gain of this approach.

If real threading is added, I would like it to be a separate API from the
current continuation-based system. I am pretty sure that's what people would
have done anyway, but just what to emphasize that the current approach is
preferrable in a few situations (specifically scaleable servers).

Wesley W. Terpstra