EDF scheduling of real-time tasks on multiple cores: Adaptive Partitioning vs. Global Scheduling