Skip to main content
Erschienen in: Real-Time Systems 1/2014

01.01.2014

Task assignment algorithms for two-type heterogeneous multiprocessors

verfasst von: Gurulingesh Raravi, Björn Andersson, Vincent Nélis, Konstantinos Bletsas

Erschienen in: Real-Time Systems | Ausgabe 1/2014

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Consider the problem of assigning implicit-deadline sporadic tasks on a heterogeneous multiprocessor platform comprising two different types of processors—such a platform is referred to as two-type platform. We present two low degree polynomial time-complexity algorithms, SA and SA-P, each providing the following guarantee. For a given two-type platform and a task set, if there exists a task assignment such that tasks can be scheduled to meet deadlines by allowing them to migrate only between processors of the same type (intra-migrative), then (i) using SA, it is guaranteed to find such an assignment where the same restriction on task migration applies but given a platform in which processors are \(1+\frac{\alpha}{2}\) times faster and (ii) SA-P succeeds in finding a task assignment where tasks are not allowed to migrate between processors (non-migrative) but given a platform in which processors are 1+α times faster. The parameter 0<α≤1 is a property of the task set; it is the maximum of all the task utilizations that are no greater than 1.
We evaluate average-case performance of both the algorithms by generating task sets randomly and measuring how much faster processors the algorithms need (which is upper bounded by \(1+\frac{\alpha}{2}\) for SA and 1+α for SA-P) in order to output a feasible task assignment (intra-migrative for SA and non-migrative for SA-P). In our evaluations, for the vast majority of task sets, these algorithms require significantly smaller processor speedup than indicated by their theoretical bounds.
Finally, we consider a special case where no task utilization in the given task set can exceed one and for this case, we (re-)prove the performance guarantees of SA and SA-P.
We show, for both of the algorithms, that changing the adversary from intra-migrative to a more powerful one, namely fully-migrative, in which tasks can migrate between processors of any type, does not deteriorate the performance guarantees. For this special case, we compare the average-case performance of SA-P and a state-of-the-art algorithm by generating task sets randomly. In our evaluations, SA-P outperforms the state-of-the-art by requiring much smaller processor speedup and by running orders of magnitude faster.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Anhänge
Nur mit Berechtigung zugänglich
Fußnoten
1
In a heterogeneous multiprocessor, under the assumption that a task cannot execute on multiple processors simultaneously at any time instant (which is stated in Sect. 2), if a task set has a task with all its utilizations greater than one then the task set is infeasible else the task set may be feasible. For example, a task set with a single task whose utilization is greater than 1 on both type-1 and type-2 processors is infeasible on a two-type platform (with any number of processors). As another example, a task set with a single task whose utilization is equal to 1 on type-1 processors and is equal to 2 on type-2 processors is feasible on a two-type platform with at least one processor of type-1 (number of type-2 processors is irrelevant here).
 
2
Although the approach presented in Lenstra et al. (1990) can be “adapted” to obtain a solution for the intra-migrative model, it would incur a high time-complexity as it relies on solving a linear program.
 
3
Since the work in Raravi et al. (2011) applies only to a special case in which no task utilization in the given task set can exceed one, it is ignored here.
 
4
The feasible region of a linear program in n-dimensional space is the region over which all the constraints hold.
 
5
The term “fully-migrative” means that (i) different jobs of a task τ i may execute on different processors and also (ii) jobs can migrate from any processor to any other processor during their execution.
 
6
For this special case, the algorithm, SA, exhibited a similar average-case performance as discussed in Sect. 9. Hence, we do not discuss it here.
 
7
The actual remaining capacity on processor p is given by \(1-\sum_{i: x_{i,p} =1} u_{i,p}\), where u i,p represents the utilization of τ i on processor p (Baruah 2004c). The symbol x i,p represents the indicator variable and the value of 0≤x i,p ≤1 indicates how much fraction of task τ i must be assigned to processor p. The term \(1-\sum_{i: x_{i,p} =1} u_{i,p}\) gives an accurate estimation of the remaining capacity on processor p as it ignores the fractionally assigned tasks on that processor whereas Z is pessimistic since it includes those tasks as well.
 
Literatur
Zurück zum Zitat Anderson J, Srinivasan A (2000) Early-release fair scheduling. In: Proceedings of the 12th euromicro conference on real-time systems, pp 35–43 Anderson J, Srinivasan A (2000) Early-release fair scheduling. In: Proceedings of the 12th euromicro conference on real-time systems, pp 35–43
Zurück zum Zitat Andersson B, Bletsas K (2008) Sporadic multiprocessor scheduling with few preemptions. In: 20th euromicro conference on real-time systems, pp 243–252 Andersson B, Bletsas K (2008) Sporadic multiprocessor scheduling with few preemptions. In: 20th euromicro conference on real-time systems, pp 243–252
Zurück zum Zitat Andersson B, Tovar E (2007) Competitive analysis of partitioned scheduling on uniform multiprocessors. In: Proceedings of the 15th international workshop on parallel and distributed real-time systems, pp 1–8 Andersson B, Tovar E (2007) Competitive analysis of partitioned scheduling on uniform multiprocessors. In: Proceedings of the 15th international workshop on parallel and distributed real-time systems, pp 1–8
Zurück zum Zitat Andersson B, Baruah S, Jonsson J (2001) Static-priority scheduling on multiprocessors. In: Proceedings of the 22nd IEEE real-time systems symposium, pp 193–202 Andersson B, Baruah S, Jonsson J (2001) Static-priority scheduling on multiprocessors. In: Proceedings of the 22nd IEEE real-time systems symposium, pp 193–202
Zurück zum Zitat Baruah S (2004a) Feasibility analysis of preemptive real-time systems upon heterogeneous multiprocessor platforms. In: Proceedings of the 25th IEEE international real-time systems symposium, pp 37–46 CrossRef Baruah S (2004a) Feasibility analysis of preemptive real-time systems upon heterogeneous multiprocessor platforms. In: Proceedings of the 25th IEEE international real-time systems symposium, pp 37–46 CrossRef
Zurück zum Zitat Baruah S (2004b) Partitioning real-time tasks among heterogeneous multiprocessors. In: 33rd international conference on parallel processing, pp 467–474 Baruah S (2004b) Partitioning real-time tasks among heterogeneous multiprocessors. In: 33rd international conference on parallel processing, pp 467–474
Zurück zum Zitat Baruah S (2004c) Task partitioning upon heterogeneous multiprocessor platforms. In: Proceedings of the 10th IEEE international real-time and embedded technology and applications symposium, pp 536–543 Baruah S (2004c) Task partitioning upon heterogeneous multiprocessor platforms. In: Proceedings of the 10th IEEE international real-time and embedded technology and applications symposium, pp 536–543
Zurück zum Zitat Baruah S, Fisher N (2007) The partitioned dynamic-priority scheduling of sporadic task systems. Real-Time Syst 36(3):199–226 CrossRefMATH Baruah S, Fisher N (2007) The partitioned dynamic-priority scheduling of sporadic task systems. Real-Time Syst 36(3):199–226 CrossRefMATH
Zurück zum Zitat Chen JJ, Chakraborty S (2011) Resource augmentation bounds for approximate demand bound functions. In: Proceedings of the 32nd IEEE real-time systems symposium, pp 272–281 Chen JJ, Chakraborty S (2011) Resource augmentation bounds for approximate demand bound functions. In: Proceedings of the 32nd IEEE real-time systems symposium, pp 272–281
Zurück zum Zitat Correa J, Skutella M, Verschae J (2012) The power of preemption on unrelated machines and applications to scheduling orders. Math Oper Res 37(2):379–398 MathSciNetCrossRefMATH Correa J, Skutella M, Verschae J (2012) The power of preemption on unrelated machines and applications to scheduling orders. Math Oper Res 37(2):379–398 MathSciNetCrossRefMATH
Zurück zum Zitat Darera V, Jenkins L (2006) Utilization bounds for RM scheduling on uniform multiprocessors. In: Proceedings of the 12th IEEE international conference on embedded and real-time computing systems and applications, pp 315–321 Darera V, Jenkins L (2006) Utilization bounds for RM scheduling on uniform multiprocessors. In: Proceedings of the 12th IEEE international conference on embedded and real-time computing systems and applications, pp 315–321
Zurück zum Zitat Davis R, Burns A (2011) A survey of hard real-time scheduling for multiprocessor systems. ACM Comput Surv 43(4):1–44 CrossRef Davis R, Burns A (2011) A survey of hard real-time scheduling for multiprocessor systems. ACM Comput Surv 43(4):1–44 CrossRef
Zurück zum Zitat Dertouzos M (1974) Control robotics: the procedural control of physical processes. In: Proceedings of IFIP Congress (IFIP’74) Dertouzos M (1974) Control robotics: the procedural control of physical processes. In: Proceedings of IFIP Congress (IFIP’74)
Zurück zum Zitat DeVuyst M, Venkat A, Tullsen D (2012) Execution migration in a heterogeneous-ISA chip multiprocessor. In: Proceedings of the seventeenth international conference on architectural support for programming languages and operating systems, pp 261–272 CrossRef DeVuyst M, Venkat A, Tullsen D (2012) Execution migration in a heterogeneous-ISA chip multiprocessor. In: Proceedings of the seventeenth international conference on architectural support for programming languages and operating systems, pp 261–272 CrossRef
Zurück zum Zitat Garey M, Johnson D (1978) “Strong” NP-Completeness results: motivation, examples, and implications. J ACM 25(3):499–508 MathSciNetCrossRefMATH Garey M, Johnson D (1978) “Strong” NP-Completeness results: motivation, examples, and implications. J ACM 25(3):499–508 MathSciNetCrossRefMATH
Zurück zum Zitat Johnson D (1973) Near-optimal bin packing algorithm. PhD thesis, Department of Mathematics, Massachusetts Institute of Technology Johnson D (1973) Near-optimal bin packing algorithm. PhD thesis, Department of Mathematics, Massachusetts Institute of Technology
Zurück zum Zitat Korte B, Vygen J (2006) Combinatorial optimization: theory and algorithms, 3rd edn. Springer, Berlin Korte B, Vygen J (2006) Combinatorial optimization: theory and algorithms, 3rd edn. Springer, Berlin
Zurück zum Zitat Lenstra J, Shmoys D, Tardos E (1990) Approximation algorithms for scheduling unrelated parallel machines. Math Program 46:259–271 MathSciNetCrossRefMATH Lenstra J, Shmoys D, Tardos E (1990) Approximation algorithms for scheduling unrelated parallel machines. Math Program 46:259–271 MathSciNetCrossRefMATH
Zurück zum Zitat Levin G, Funk S, Sadowskin C, Pye I, Brandt S (2010) DP-FAIR: a simple model for understanding optimal multiprocessor scheduling. In: Proceedings of the 22nd euromicro conference on real-time systems, pp 3–13 Levin G, Funk S, Sadowskin C, Pye I, Brandt S (2010) DP-FAIR: a simple model for understanding optimal multiprocessor scheduling. In: Proceedings of the 22nd euromicro conference on real-time systems, pp 3–13
Zurück zum Zitat Luenberger DG, Ye Y (2008) Linear and nonlinear programming. In: International series in operations research & management science, 3rd edn. Luenberger DG, Ye Y (2008) Linear and nonlinear programming. In: International series in operations research & management science, 3rd edn.
Zurück zum Zitat Papadimitriou C (1994) Computational complexity. Addison-Wesley, Reading MATH Papadimitriou C (1994) Computational complexity. Addison-Wesley, Reading MATH
Zurück zum Zitat Phillips CA, Stein C, Torng E, Wein J (1997) Optimal time-critical scheduling via resource augmentation. In: Proceedings of the 29th ACM symposium on theory of computing, pp 140–149 Phillips CA, Stein C, Torng E, Wein J (1997) Optimal time-critical scheduling via resource augmentation. In: Proceedings of the 29th ACM symposium on theory of computing, pp 140–149
Zurück zum Zitat Potts CN (1985) Analysis of a linear programming heuristic for scheduling unrelated parallel machines. Discrete Appl Math 10:155–164 MathSciNetCrossRefMATH Potts CN (1985) Analysis of a linear programming heuristic for scheduling unrelated parallel machines. Discrete Appl Math 10:155–164 MathSciNetCrossRefMATH
Zurück zum Zitat Raravi G, Andersson B, Bletsas K (2011) Provably good task assignment on heterogeneous multiprocessor platforms for a restricted case but with a stronger adversary. In: SIGBED review, vol 8, pp 19–22 Raravi G, Andersson B, Bletsas K (2011) Provably good task assignment on heterogeneous multiprocessor platforms for a restricted case but with a stronger adversary. In: SIGBED review, vol 8, pp 19–22
Zurück zum Zitat Raravi G, Andersson B, Bletsas K (2013) Assigning real-time tasks on heterogeneous multiprocessors with two unrelated types of processors. Real-Time Syst 49(1):29–72 CrossRef Raravi G, Andersson B, Bletsas K (2013) Assigning real-time tasks on heterogeneous multiprocessors with two unrelated types of processors. Real-Time Syst 49(1):29–72 CrossRef
Zurück zum Zitat Raravi G, Andersson B, Bletsas K, Nélis V (2012) Task assignment algorithms for two-type heterogeneous multiprocessors. In: 24th euromicro conference on real-time systems, pp 34–43 Raravi G, Andersson B, Bletsas K, Nélis V (2012) Task assignment algorithms for two-type heterogeneous multiprocessors. In: 24th euromicro conference on real-time systems, pp 34–43
Metadaten
Titel
Task assignment algorithms for two-type heterogeneous multiprocessors
verfasst von
Gurulingesh Raravi
Björn Andersson
Vincent Nélis
Konstantinos Bletsas
Publikationsdatum
01.01.2014
Verlag
Springer US
Erschienen in
Real-Time Systems / Ausgabe 1/2014
Print ISSN: 0922-6443
Elektronische ISSN: 1573-1383
DOI
https://doi.org/10.1007/s11241-013-9191-3

Weitere Artikel der Ausgabe 1/2014

Real-Time Systems 1/2014 Zur Ausgabe

Premium Partner