in bootstrap/src/sun/nio/ch/lincheck/Injections.java [100:117]
private static EventTracker getEventTracker() {
EventTrackingMode mode = eventTrackingMode;
if (mode == EventTrackingMode.GLOBAL) {
EventTracker eventTracker = globalEventTracker;
if (eventTracker != null) {
// Handle the case when all threads tracking was requested,
// and we need to self-register the currently running thread by creating a new descriptor for it.
registerRunningThread(eventTracker, Thread.currentThread());
}
return eventTracker;
}
if (mode == EventTrackingMode.THREAD_LOCAL) {
ThreadDescriptor descriptor = ThreadDescriptor.getCurrentThreadDescriptor();
return (descriptor != null) ? descriptor.getEventTracker() : null;
}
throw new IllegalStateException("Unexpected event tracking mode: " + mode);
}