I'm reading a paper on real-time systems using Linux OS, and the term "scheduling jitter" is used repeatedly without definition.