Lines Matching defs:pool
109 * Returns thread which is free in the pool.
352 private TimerPool pool;
361 * @param pool The TimerPool the thread belongs to
364 public WorkerThread(String name, TimerPool pool) {
366 this.pool = pool;
391 // terminate the thread pool when daemon is set to false
392 // it is better to have a way to terminate the thread pool
436 pool.schedule(runTask, new Date(
466 pool.schedule(runTask, new Date(
487 synchronized (pool) {
488 pool.deductCurrentThreadCount();
490 WorkerThread thread = pool.getAvailableThread();
511 pool.schedule(runTask, new Date(
532 synchronized (pool) {
533 pool.deductCurrentThreadCount();
535 WorkerThread thread = pool.getAvailableThread();
550 pool.returnThread(t);
572 private TimerPool pool;
577 * @param pool The TimerPool the Scheduler belongs to
580 public Scheduler(TimerPool pool) {
584 this.pool = pool;
585 setName(pool.name + "-Scheduler");
649 pool.runNext();
651 pool.replaceScheduler();
654 pool.replaceScheduler();