Currently, the number of workers used is set to be the default for the system. For example, on molerat, this is 60. But the number of chains won't be 60 here. It would typically be 4. I am not sure what happens when 60 workers are requested, but only 4 are used. Does this have a negative side effect? I need to enquire.
It might be better to set the number of workers as follows:
if it's set by the user, leave as is, otherwise
if the default number of workers is > the numbers of chains, set to the latter
otherwise, set it to the default number of workers.
Currently, the number of workers used is set to be the default for the system. For example, on
molerat, this is 60. But the number of chains won't be 60 here. It would typically be 4. I am not sure what happens when 60 workers are requested, but only 4 are used. Does this have a negative side effect? I need to enquire.It might be better to set the number of workers as follows: