Re: Multithreaded applications

Thanks for the quick reply.

>> anyone knows if there's a way to control the scheduling policy when
>> implementing multithreaded applications?
> 
> Not as yet.  I guess you refer to setting priorities?

That could be useful, but I guess it's not what I'm looking for. 
Actually I was considering whether there's a way to execute all possible 
thread interleavings (to discover errors manifested only in certain 
thread schedules, as it is usually done in model checking).

So I wondered if there's a way to do that without implementing a
scheduler on top of the threads library (or, as you suggested, 
extending src/pl-thread.c). 

Cheers,
German