As of the commit below, this is implemented in a dumb fashion; i.e., it will wait until all other runnable threads have quiesced. So that was just engineering.
The real research is in enabling landslide to schedule idle to receive the IDE interrupt at any point between quiescence and "immediately". Then figure out how to integrate that into DPOR.
As of the commit below, this is implemented in a dumb fashion; i.e., it will wait until all other runnable threads have quiesced. So that was just engineering.
The real research is in enabling landslide to schedule idle to receive the IDE interrupt at any point between quiescence and "immediately". Then figure out how to integrate that into DPOR.