Global EDF Scheduling for Parallel Real-Time Tasks