Performance of algorithms for scheduling real-time systems with overrun and overload