Closed
Description
Task scheduling is about transferring ~Task pointers. During their lives they travel through many other data structures, including other tasks, the scheduler, shared pipes buffers, I/O callbacks. This is vital information that we should take and use for good.
It should only have a performance impact in debug mode.