Re: Multithreaded applications
Jan Wielemaker <[email protected]>
| Newsgroups | gmane.comp.ai.prolog.swi |
|---|---|
| Message-ID | <[email protected]> |
On 01/07/2014 12:20 PM, German Vidal wrote: > Thanks for the pointer, it sounds like an interesting extension. > > I miss a 'random' scheduling though (which might be useful for testing, > model checking, etc) It seems that the POSIX API defines various scheduling parameters and policies. You are quickly in the arena of platform dependent facilities though. Anyway, it is simple enough to add these. In fact, you can do most of that without even touching the Prolog sources by adding a foreign library. Cheers --- Jan > > Cheers, > German > > On 06/01/2014, at 15:40, Paulo Moura wrote: > >> >> On 04/01/2014, at 12:53, German Vidal <[email protected]> wrote: >> >>> 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). >> >> The threads standardization proposal includes some suggestions for thread_create/3 optional scheduling options: >> >> http://prolog.logtalk.org/viewtopic.php?f=3&t=2 >> >> See page 4 of the PDF file. >> >> Cheers, >> >> Paulo >> >> ----------------------------------------------------------------- >> Paulo Moura >> Logtalk developer >> >> Email: <mailto:[email protected]> >> Web: <http://logtalk.org/> >> ----------------------------------------------------------------- >> >> >> >> >> _______________________________________________ >> SWI-Prolog mailing list >> [email protected] >> https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog > > _______________________________________________ > SWI-Prolog mailing list > [email protected] > https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog >