Expand description
This file contains Miri’s scheduler, which is in charge of picking the next thread to run when the current thread blocks/yields. It also manages timeouts and runs an async event loop to deal with host I/O. In GenMC mode, it handles delegating schedule control to GenMC.