|
org.codehaus.gpars | |||||||
FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | METHOD | DETAIL: FIELD | METHOD |
public interface Pool
Represents an actor's thread pool
Field Summary | |
---|---|
java.lang.String |
POOL_SIZE_MUST_BE_A_POSITIVE_NUMBER
|
java.lang.String |
UNCAUGHT_EXCEPTION_OCCURRED_IN_ACTOR_POOL
|
Method Summary | |
---|---|
void
|
execute(java.lang.Runnable task)
schedules a new task for processing with the pool |
int
|
getPoolSize()
Retrieves the current thread pool size |
void
|
resetDefaultSize()
Sets the pool size to the default |
void
|
resize(int poolSize)
Resizes the thread pool to the specified value |
void
|
shutdown()
Gently stops the pool |
Field Detail |
---|
public java.lang.String POOL_SIZE_MUST_BE_A_POSITIVE_NUMBER
public java.lang.String UNCAUGHT_EXCEPTION_OCCURRED_IN_ACTOR_POOL
Method Detail |
---|
public void execute(java.lang.Runnable task)
task
- The task to schedule
public int getPoolSize()
public void resetDefaultSize()
public void resize(int poolSize)
poolSize
- The new pool size
public void shutdown()
Copyright © 2008–2012 Václav Pech. All Rights Reserved.