Nonpreemptive scheduling of independent tasks with prespecified processor allocations