Using exact feasibility tests for allocating real-time tasks in multiprocessor systems