On 05/31/2016 01:04 PM, Tom Lane wrote:
> The name should be closely related to what we use for #3. I could go for
> max_total_parallel_workers for #2 and max_parallel_workers for #3.
> Or maybe max_parallel_workers_total?
How about parallel_worker_pool?
--
--
Josh Berkus
Red Hat OSAS
(any opinions are my own)