Add worker sleep stats, rework stats machinery

The idea of the new stats machinery is that 'stats' becomes an option that enables the basic stats gathering infrastructure in EMPER. At some point, it should become a non-user option, i.e., it should be remove from meson_options.txt. Then comes a layer of fine-grained stats control switches, which default to 'auto'. Third, a new option called 'stats_all' is added, which, if enabled, activates all fine-graind stats knobs that are set to 'auto'.

added 1 commit

• 888a1702 - Add worker sleep stats, rework stats machinery

Compare with previous version

added 1 commit

• 5bf6a323 - Add worker sleep stats, rework stats machinery

Compare with previous version

added 1 commit

• 5af41023 - Add worker sleep stats, rework stats machinery

Compare with previous version

added 1 commit

• 46302a0f - Add worker sleep stats, rework stats machinery

Compare with previous version

added 1 commit

• 2d43c259 - Add stats_blocked_context(_count)

Compare with previous version

enabled an automatic merge when the pipeline for 2d43c259 succeeds

merged

mentioned in commit 6ba5b197