Skip to main content
  • Book
  • © 2015

Multiprocessor Scheduling for Real-Time Systems

  • Provides a single-source reference to multiprocessor scheduling for hard-real-time systems
  • Equips readers with systematic categorization of multiprocessor scheduling methods
  • Reveals new run-time multiprocessor scheduling algorithms, which are demonstrably better than those currently used, both in terms of run-time efficiency and tractability of off-line analysis
  • Includes supplementary material: sn.pub/extras

Part of the book series: Embedded Systems (EMSY)

Buy it now

Buying options

eBook USD 99.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book USD 139.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (23 chapters)

  1. Front Matter

    Pages i-xv
  2. Introduction: Background, Scope, and Context

    • Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo
    Pages 1-12
  3. Preliminaries: Workload and Platform Models

    • Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo
    Pages 13-22
  4. Preliminaries: Scheduling Concepts and Goals

    • Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo
    Pages 23-28
  5. A Review of Selected Results on Uniprocessors

    • Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo
    Pages 29-33
  6. Implicit-Deadline (L&L) Tasks

    • Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo
    Pages 35-37
  7. Partitioned Scheduling of L&L Tasks

    • Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo
    Pages 39-52
  8. Global Dynamic-Priority Scheduling of L&L Tasks

    • Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo
    Pages 53-66
  9. Global Fixed-Job-Priority Scheduling of L&L Tasks

    • Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo
    Pages 67-85
  10. Global Fixed-Task-Priority (FTP) Scheduling of L&L Tasks

    • Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo
    Pages 87-93
  11. The Three-Parameter Sporadic Tasks Model

    • Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo
    Pages 95-102
  12. Partitioned Scheduling

    • Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo
    Pages 103-114
  13. Global Scheduling: General Comments

    • Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo
    Pages 115-119
  14. Density-Based Global Schedulability Tests

    • Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo
    Pages 121-124
  15. A Strategy for Global Schedulability Analysis

    • Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo
    Pages 125-132
  16. The [BCL] and [BAR] Tests

    • Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo
    Pages 133-142
  17. The [BAK] Test

    • Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo
    Pages 143-153
  18. Response Time Analysis: The [RTA] Test

    • Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo
    Pages 155-164
  19. Global Fixed-Task-Priority Scheduling

    • Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo
    Pages 165-172
  20. Speedup Bounds for Global Scheduling

    • Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo
    Pages 173-188

About this book

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.

Authors and Affiliations

  • Computer Science Sitterson Hall, The University of North Carolina, Chapel Hill, USA

    Sanjoy Baruah

  • Università di Modena, Modena, Italy

    Marko Bertogna

  • Scuola Superiore Sant’Anna TeCIP Institute, Pisa, Italy

    Giorgio Buttazzo

Bibliographic Information

  • Book Title: Multiprocessor Scheduling for Real-Time Systems

  • Authors: Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo

  • Series Title: Embedded Systems

  • DOI: https://doi.org/10.1007/978-3-319-08696-5

  • Publisher: Springer Cham

  • eBook Packages: Engineering, Engineering (R0)

  • Copyright Information: Springer International Publishing Switzerland 2015

  • Hardcover ISBN: 978-3-319-08695-8Published: 20 January 2015

  • Softcover ISBN: 978-3-319-34286-3Published: 24 September 2016

  • eBook ISBN: 978-3-319-08696-5Published: 02 January 2015

  • Series ISSN: 2193-0155

  • Series E-ISSN: 2193-0163

  • Edition Number: 1

  • Number of Pages: XV, 228

  • Number of Illustrations: 41 b/w illustrations, 4 illustrations in colour

  • Topics: Circuits and Systems, Processor Architectures, Electronics and Microelectronics, Instrumentation

Buy it now

Buying options

eBook USD 99.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book USD 139.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access