|
| |
|
| java.lang.Object
 gov.nasa.jpf.jvm.Scheduler
gov.nasa.jpf.jvm.DefaultScheduler
| DefaultScheduler | | public class DefaultScheduler extends Scheduler (Code) | | a scheduler that simply enumerates all threads, picking the next one (from
it's last choice) that is runnable
|
| DefaultScheduler | | public DefaultScheduler(Config config)(Code) | | |
| getRandom | | public int getRandom()(Code) | | |
| getThread | | public int getThread()(Code) | | |
| initialize | | public void initialize()(Code) | | gets called in every cycle (i.e. we start from thread=0) by
JVM.forward
SystemState.prepareNext
|
| locateThread | | public ThreadInfo locateThread(SystemState ss)(Code) | | sets the thread index to the next runnable thread, called by
JVM.forward
SystemState.nextSuccessor
|
| next | | public void next()(Code) | | this is NOT the next runnable thread index! it just makes sure we get
another thread the next time (if there is a runnable one). Called by
JVM.forward
SystemState.scheduleNext
|
| random | | public int random(int max)(Code) | | |
|
|
|