• DocumentCode
    3132206
  • Title

    Executing aperiodic jobs in a multiprocessor constant-bandwidth server implementation

  • Author

    Baruah, Sanjoy ; Lipari, Giuseppe

  • Author_Institution
    North Carolina Univ., Chapel Hill, NC, USA
  • fYear
    2004
  • fDate
    30 June-2 July 2004
  • Firstpage
    109
  • Lastpage
    116
  • Abstract
    The constant bandwidth server (CBS) framework can be implemented on a preemptive uniprocessor platform to make full use of the computing capacity of the platform; when implemented upon a preemptive multiprocessor platform, however, it is known that the schedulable utilization is strictly less than the capacity of the platform. The issue of using the excess processing capacity is addressed here, and an algorithm is presented, and proven correct, that uses this excess capacity to provide guaranteed real-time service to aperiodic jobs.
  • Keywords
    formal verification; multiprocessing systems; processor scheduling; real-time systems; aperiodic job execution; constant-bandwidth server; multiprocessor server; preemptive multiprocessor; preemptive uniprocessor; real-time service; schedulable utilization; Real time systems;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Real-Time Systems, 2004. ECRTS 2004. Proceedings. 16th Euromicro Conference on
  • ISSN
    1068-3070
  • Print_ISBN
    0-7695-2176-2
  • Type

    conf

  • DOI
    10.1109/EMRTS.2004.1311012
  • Filename
    1311012