发送短信 : The deadline-based scheduling of divisible real-time workloads on multiprocessor platforms