Ada 2012: Resource Sharing and Multiprocessors

Research output: Chapter in Book/Report/Conference proceedingConference contribution


  • S. Lin
  • A. Burns A. J. Wellings


Publication details

Title of host publicationProceeding of the 15th IRTAW
DatePublished - 1 Apr 2013
Number of pages13
PublisherACM Letters
Original languageUndefined/Unknown


As from Ada 2005, the language has supported different dispatching policies including fixed priority (FP) and earliestdeadline first (EDF). EDF dispatching can be applied across the whole range of priorities or across a restricted range. In this way, EDF scheduling is integrated into a FP framework. Baker's Stack Resource Policy (SRP) is also integrated with Ada's immediate priority ceiling protocol to support resource sharing using protected objects. However, with the introduction of support for global, partitioned and cluster scheduling for multiprocessor systems, the use of protected objects in applications needs to be re-evaluated. This is because Ada does not completely define how protected objects are accessed in a multiprocessor environment and because the SRP cannot be directly applied to multiprocessors.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations