EGPS: a class of real-time scheduling algorithms based on processor sharing