<thread-pool-count>[$<priority>]@<scheduler-name>configurations separated by
<thread-pool-count>is the thread pool count for this scheduler instance.
$<priority>is an optional priority for the worker threads of a thread pool according to
pthread_setschedparam. In case a priority value is omitted, then a worker thread will inherit the priority of the OpenMP master thread that created it. The priority of the worker thread is not changed after creation, even if a new OpenMP master thread using the worker has a different priority.
@<scheduler-name>is the scheduler instance name according to the RTEMS application configuration.
WRK1with GOMP_RTEMS_THREAD_POOLS set to
"1@WRK0:3$4@WRK1". Then there are no thread pool restrictions for scheduler instance
IO. In the scheduler instance
WRK0there is one thread pool available. Since no priority is specified for this scheduler instance, the worker thread inherits the priority of the OpenMP master thread that created it. In the scheduler instance
WRK1there are three thread pools available and their worker threads run at priority four.