public final class PostThreadSwitch extends Object
| Constructor and Description |
|---|
PostThreadSwitch() |
| Modifier and Type | Method and Description |
|---|---|
static void |
postProcess(RVMThread myThread)
This method must not be inlined to keep the correctness
This method is called at the end of threadSwitch, the caller
is threadSwitchFrom<...
|
public PostThreadSwitch()
public static void postProcess(RVMThread myThread)
myThread - the currently running thread