Quantifying the properties of SRPT scheduling · Study