An introduction to schedulers