Multicore scheduling of parallel real-time tasks with multiple parallelization options