Bounds for Multiprocessor Scheduling with Resource Constraints

One well-studied model ofa multiprocessing system involves a fixed number n ofidentical abstract processors, a finite set oftasks to be executed, each requiring a specified amount ofcomputation time, and a partial ordering on the tasks which requires certain tasks to be completed before certain others can be initiated. The nonpreemptive operation of the system is guided by an ordered list L of the tasks, according to the rule that whenever a processor becomes idle, it selects for processing the first unexecuted task on L which may validly be executed. We introduce an additional element of realism into this model by postulating the existence of a set of "resources" with the property that for each resource, the total usage ofthat resource at any instant oftime may not exceed its total availability. For this augmented model, we determine upper bounds on the ratio of finishing times achieved using two different lists, L and L', and exhibit constructions to show that the bounds are best possible. 2. The standard model. We consider a system composed of (usually n) abstract identical processors. The function of the system is to execute some given set