ACM Home Page
Please provide us with feedback. Feedback
Non-clairvoyant scheduling with precedence constraints
Full text pdf formatPdf (637 KB)
Source Symposium on Discrete Algorithms archive
Proceedings of the nineteenth annual ACM-SIAM symposium on Discrete algorithms table of contents
San Francisco, California
Pages 491-500  
Year of Publication: 2008
Authors
Julien Robert  Université de Lyon -- École Normale Supérieure de Lyon, France and Centro de Modelamiento Matemático, Blanco Encalada, Santiago de Chile
Nicolas Schabanel  Université de Lyon -- École Normale Supérieure de Lyon, France and Centro de Modelamiento Matemático, Blanco Encalada, Santiago de Chile
Sponsors
: SIAM Activity Group on Discrete Mathematics
SIGACT: ACM Special Interest Group on Algorithms and Computation Theory
Publisher
Society for Industrial and Applied Mathematics  Philadelphia, PA, USA
Bibliometrics
Downloads (6 Weeks): 1,   Downloads (12 Months): 28,   Citation Count: 0
Additional Information:

abstract   references   index terms   collaborative colleagues  

Tools and Actions: Review this Article  
Save this Article to a Binder    Display Formats: BibTex  EndNote ACM Ref   

ABSTRACT

We consider Edmonds's model (1999) extended by precedence constraints. In our setting, a scheduler has to schedule non-clairvoyantly jobs consisting in DAGs of tasks arriving over time, each task going through phases of different degrees of parallelism, unknown to the scheduler. As in the original model without precedence constraints, the scheduler is only informed of the arrival and the completion of each task, at the time of these events, and nothing more. Furthermore, it is not aware of the DAG structure of each job beforehand neither of the precise characteristics of the phases of the tasks that compose each job.

We consider the preemptive strategy Equi○Equi, that divides the processors evenly among the alive jobs and then divides the processing power alloted to each job evenly among its alive tasks. We show that whatever how complex the precedences are, Equi○Equi is (2 + ε)-speed 0(κ/ε)-competitive for the flowtime metric, where κ is the maximum number of independent tasks in each job. That is to say, the flowtime of the schedule computed by EquioEqui is at a constant ratio of the optimal flowtime as soon as Equi is given slightly more than twice the resources as the optimum it is compared to. Interestingly, the extra speed needed to obtain a competitive algorithm, namely (2+ε), is the same in presence of precedence constraints, as in the original setting without precedences studied by Edmonds in 1999. This means that the maximum load that the system can handle without diverging, is the same with or without precedence constraints.

Furthermore, we propose a simple scheme to analyze a special class of schedulers, namely Equi-schedulers, which allows to obtain upper and lower bounds on particular precedences structures, such as independent chains, IN-trees, OUT-trees and Serial-parallel DAGs.


REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

 
1
2
 
3
4
 
5
J. Edmonds and K. Pruhs. Multicast pull scheduling: When fairness is fine. Algorithmica, 36(3):315--330, 2003.
 
6
A. Feldmann, M.-Y. Kao, J. Sgall, and S.-H. Teng. Optimal online scheduling of parallel jobs with dependencies. J. of Combinatorial Optimization, 1:393--411, 1998.
 
7
Yuxiong He, Wen Jing Hsu, and Charles E. Leiser-son. Provably efficient online non-clairvoyant adaptive scheduling. In Proc. of IEEE Parallel and Distributed Processing Symposium (IPDPS), pages 1--10, 2007.
8
 
9
 
10
 
11
J. Robert and N. Schabanel. Non-clairvoyant batch set scheduling: Fairness is fair enough. In Proc. of 15th European Symposium on Algorithms (ESA), volume LNCS 4698, pages 741--753, 2007.
 
12

Collaborative Colleagues:
Julien Robert: colleagues
Nicolas Schabanel: colleagues