DynamoRIO / dynamorio

Dynamic Instrumentation Tool Platform
Other
2.57k stars 550 forks source link

Add unscheduled-thread modeling to the drmemtrace scheduler #6822

Open derekbruening opened 1 month ago

derekbruening commented 1 month ago

The drmemtrace scheduler currently has support for TRACE_MARKER_TYPE_DIRECT_SWITCH but it does not fully model "unscheduled" threads which will not run until explicitly woken up by another thread. This issue covers adding this support through new markers for waiting, resuming, and timeouts.