A methodology for the evaluation of multiprocessor non-preemptive allocation policies