Improved multiprocessor global schedulability analysis