Inform the executor that some work is no longer outstanding.
void on_work_finished();
For the system executor, this is a no-op.