The instrumented kernel emits trace events when:
- a scheduler partition's budget changes (including when the partition is created)
- a scheduler partition's name changes (i.e. when the partition is created)
- a thread runs —in wide mode, these events include the partition ID
and indicate whether or not the thread is running as critical
- a scheduler partition becomes bankrupt
In addition, all events include the scheduler partition ID and its budget.
You can use
traceprinter
to display the contents of the trace file.
You can also use the IDE to parse and display a trace file.