EDF scheduling on multiprocessor platforms: some (perhaps) counterintuitive observations