Threads allocation across partitions

The POK_CONFIG_PARTITIONS_NTHREADS maccro specifies how many threads would resides in partitions. This declaration is an array, each value of the array corresponds to the number of threads inside a partition.

An example is given below. In this example, we consider that we have 4 partitions. The first, second and third partitions handle two threads while the last partition has 4 threads.