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