On 26 July 2005 11:32, Sebastian Sylvan wrote:

On 7/26/05, Simon Marlow wrote:

...

On 25 July 2005 22:41, Sebastian Sylvan wrote:

...

Well how about not touching the "bound threads" design at all, but modifying the lightweigh threads design to also include "forkIOHere" (or something) which would produce a lightweight thread which is always run in the "main" OS thread.

This is what Duncan was angling for, I think. My point is that this requires the implementation to support lightweight threads, which is something we intentionally avoided in the bound threads design.

No it doesn't. If they don't support lightweight threads, they won't have the forkIOHere function available. I.e. leave it out of the bound threads design and just implement it as a feature in the GHC lightweight threads system.

I think you misunderstand me. I'm merely pointing out that the fact that it would be a GHC-specific feature is a drawback. (not that any other compilers have bound threads either, but still). Cheers, Simon