[Haskell-cafe] Bound threads

[Marcin 'Qrczak' Kowalczyk]

I'm trying to understand the semantics and implementation of bound threads
basing on the conc-ffi paper and others.

Since the main thread is bound, and unbound threads are never executed
on an OS thread which has some Haskell thread bound, this would imply
that when the main thread spawns a Haskell thread and they synchronize
a lot with each other using MVars, the synchronization needs OS-thread
synchronization - the threads will not execute on a the same OS thread.

If I understand this correctly, doesn't it impose a significant
overhead compared to synchronizing two unbound threads? If not,
what am I missing?

-- 
   __("<         Marcin Kowalczyk
   \__/       qrczak at knm.org.pl
    ^^     http://qrnik.knm.org.pl/~qrczak/