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