The RenderManager and it's internals use thread pools and such to Ajax Push rendering. These artifacts have reasonable default values but currently no way to easily adjust them. We need to provide the APIs (getters and setters on the RenderManager) so that these values can be set programatically or declaratively (e.g. in faces-config or other dependency injection options like Spring).

The parameters of interest are in the RenderHub:

    private ThreadPoolExecutor renderService;
    private int corePoolSize = 10;
    private int maxPoolSize = 15;
    private long keepAliveTime = 300000;
    private int renderQueueCapacity = 1000;

    /**
     * The specialized thread pool used to execute render calls at some future
     * time. The RenderHub makes this available to Renderers that need this
     * ability.
     *
     * @see IntervalRenderer, DelayRenderer
     */
    private ScheduledThreadPoolExecutor scheduledService;
    private int schedulePoolSize = 5;