Global fixed priority scheduling with deferred pre-emption