Studying Linux Schedulers, and Why Metrics Matter