國立虎尾科技大學 |

Multiprocessor Scheduling for Real-Time Systems

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Multiprocessor Scheduling for Real-Time Systems/ by Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo.
Author:	Baruah, Sanjoy.
other author:	Bertogna, Marko.
Description:	XV, 228 p. 45 illus., 4 illus. in color.online resource. :
Contained By:	Springer Nature eBook
Subject:	Electronic circuits. -
Online resource:	https://doi.org/10.1007/978-3-319-08696-5
ISBN:	9783319086965

Multiprocessor Scheduling for Real-Time Systems
Baruah, Sanjoy.

Multiprocessor Scheduling for Real-Time Systems[electronic resource] /by Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo. - 1st ed. 2015. - XV, 228 p. 45 illus., 4 illus. in color.online resource. - Embedded Systems,2193-0155. - Embedded Systems,.

Introduction: background, scope, and context -- Preliminaries: workload and platform models -- Preliminaries: scheduling concepts and goals -- A review of selected results on uniprocessors -- Implicit-deadline (L&L) tasks -- Partitioned scheduling of L&L tasks -- Global dynamic-priority scheduling of L&L tasks -- Global Fixed-Job-Priority scheduling of L&L tasks -- Global Fixed-Task-Priority scheduling of L&L tasks.

This book provides a comprehensive overview of both theoretical and pragmatic aspects of resource-allocation and scheduling in multiprocessor and multicore hard-real-time systems. The authors derive new, abstract models of real-time tasks that capture accurately the salient features of real application systems that are to be implemented on multiprocessor platforms, and identify rules for mapping application systems onto the most appropriate models. New run-time multiprocessor scheduling algorithms are presented, which are demonstrably better than those currently used, both in terms of run-time efficiency and tractability of off-line analysis. Readers will benefit from a new design and analysis framework for multiprocessor real-time systems, which will translate into a significantly enhanced ability to provide formally verified, safety-critical real-time systems at a significantly lower cost.

ISBN: 9783319086965

Standard No.: 10.1007/978-3-319-08696-5doiSubjects--Topical Terms:

563332
Electronic circuits.

LC Class. No.: TK7888.4

Dewey Class. No.: 621.3815

Multiprocessor Scheduling for Real-Time Systems
LDR:02733nam a22004095i 4500 001 967468
003 DE-He213
005 20200702131159.0
007 cr nn 008mamaa
008 201211s2015 gw | s |||| 0|eng d
020 $a 9783319086965 $9 978-3-319-08696-5
024 7 $a 10.1007/978-3-319-08696-5 $2 doi
035 $a 978-3-319-08696-5
050 4 $a TK7888.4
072 7 $a TJFC $2 bicssc
072 7 $a TEC008010 $2 bisacsh
072 7 $a TJFC $2 thema
082 0 4 $a 621.3815 $2 23
100 1 $a Baruah, Sanjoy. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1065801
245 1 0 $a Multiprocessor Scheduling for Real-Time Systems $h [electronic resource] / $c by Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo.
250 $a 1st ed. 2015.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2015.
300 $a XV, 228 p. 45 illus., 4 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Embedded Systems, $x 2193-0155
505 0 $a Introduction: background, scope, and context -- Preliminaries: workload and platform models -- Preliminaries: scheduling concepts and goals -- A review of selected results on uniprocessors -- Implicit-deadline (L&L) tasks -- Partitioned scheduling of L&L tasks -- Global dynamic-priority scheduling of L&L tasks -- Global Fixed-Job-Priority scheduling of L&L tasks -- Global Fixed-Task-Priority scheduling of L&L tasks.
520 $a This book provides a comprehensive overview of both theoretical and pragmatic aspects of resource-allocation and scheduling in multiprocessor and multicore hard-real-time systems. The authors derive new, abstract models of real-time tasks that capture accurately the salient features of real application systems that are to be implemented on multiprocessor platforms, and identify rules for mapping application systems onto the most appropriate models. New run-time multiprocessor scheduling algorithms are presented, which are demonstrably better than those currently used, both in terms of run-time efficiency and tractability of off-line analysis. Readers will benefit from a new design and analysis framework for multiprocessor real-time systems, which will translate into a significantly enhanced ability to provide formally verified, safety-critical real-time systems at a significantly lower cost.
650 0 $a Electronic circuits. $3 563332
650 0 $a Microprocessors. $3 632481
650 0 $a Electronics. $3 596389
650 0 $a Microelectronics. $3 554956
650 1 4 $a Circuits and Systems. $3 670901
650 2 4 $a Processor Architectures. $3 669787
650 2 4 $a Electronics and Microelectronics, Instrumentation. $3 670219
700 1 $a Bertogna, Marko. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1065802
700 1 $a Buttazzo, Giorgio. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 669919
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319086972
776 0 8 $i Printed edition: $z 9783319086958
776 0 8 $i Printed edition: $z 9783319342863
830 0 $a Embedded Systems, $x 2193-0155 $3 1263133
856 4 0 $u https://doi.org/10.1007/978-3-319-08696-5
912 $a ZDB-2-ENG
912 $a ZDB-2-SXE
950 $a Engineering (SpringerNature-11647)
950 $a Engineering (R0) (SpringerNature-43712)