RE: Re[2]: FFI: number of worker threads?

On Wed, 21 Jun 2006, Simon Peyton-Jones wrote:

New worker threads are spawned on as needed. You'll need as many of them as you have simultaneously-blocked foreign calls. If you have 2000 simultaneously-blocked foreign calls, you'll need 2000 OS threads to support them, which probably won't work.

Does the RTS use select() to multiplex network IO instead of spawning threads? Tony. -- f.a.n.finch <dot@dotat.at> http://dotat.at/ ROCKALL MALIN: NORTHWESTERLY 7 TO SEVERE GALE 9 DECREASING 5 OR 6. RAIN OR SHOWERS. MODERATE OR GOOD, BECOMING POOR AT TIMES.