Specify number of threads to use

TeamAmalgam / kodkod

Kodkod relational model finder

Other

3 stars 0 forks source link

Specify number of threads to use #30

Open mhyee opened 10 years ago

mhyee commented 10 years ago

In #25, we multithread so that each dimension (objective) gets its own thread, which is scheduled by a thread pool.

The thread pool has N threads, where N = min(USER_VALUE, NUMBER_OF_CORES, NUMBER_OF_DIMENSIONS). Right now, USER_VALUE is hard-coded; this should be specified as a command-line option (via MultiObjectiveOptions).

Anything else that is multithreaded should also use this value.

joseph39 commented 10 years ago

For Overlapping GIA, it should be min(USER_VALUE, NUMBER_OF_CORES).