WorkerPool

---

Object Hierarchy:

Description:

Content:

Properties:

• public ThreadFactory factory { get; }
  The thread factory to create new threads.
• public bool is_terminated { get; }
  Whether or not this pool has been terminated.
• public bool is_terminating { get; }
  Whether or not this pool has been terminating.
• public bool is_terminating_started { get; }
  Whether or not terminate has been called.
• public int max_threads { get; set; }
  The maximum number of threads that this pool can use.
• public int num_threads { get; }
  The current number of threads.

Static methods:

• public static ThreadFactory get_default_factory ()
  Gets the default thread factory. the factory is constructed when this method is called initially.

Creation methods:

• public WorkerPool (int parallels, ThreadFactory factory) throws Error
  Creates a new worker pool.
• public WorkerPool.with_defaults () throws Error
  Creates a new worker pool, with default settings.

Methods:

• public void terminate ()
  Starts terminating threads.
• public void terminate_now ()
  Starts terminating threads and wait for all threads to complete termination.
• public void wait_termination ()
  Blocks until all threads have completed termination.
• public void wait_termination_until (int64 end_time)
  Blocks until either all threads have completed termination or end_time has passed.

Inherited Members: