Priority inversion in Ada programs during elaboration

Leslie C. Lander; Sandeep Mitra; Thomas F. Piatkowski

doi:10.1145/327011.327068

Priority inversion in Ada programs during elaboration

Leslie C. Lander
, Sandeep Mitra
, Thomas F. Piatkowski

School of Computing

Binghamton University

State University of New York Binghamton University

Research output: Contribution to conference › Paper › peer-review

2 Scopus citations

Abstract

Priority inversion is any situation where low priority tasks are served before higher priority tasks. It is recognized as a serious problem for real-time systems. We have observed priority inversion due to the elaboration order in versions of Alsys¹ Ada and VAX² Ada. This paper presents a rigorous description of Alsys Ada's priority inversion during elaboration of library packages; this behavior is specified in a semi-formal partial model of the elaboration algorithm of the Alsys 286 DOS Ada Compiler V4.2, running under PC-DOS Version 3.30 on an IBM PC AT.³ The model was deduced from a series of experiments designed to illuminate the full scheduling features of the system. These results may provide useful insight for users of this and other Ada compilers. Similar priority inversion was also observed for VAX Ada running under VMS.

Original language	English
Pages	133-141
Number of pages	9
DOIs	https://doi.org/10.1145/327011.327068
State	Published - Jul 1 1990
Event	7th Washington Ada Symposium, WADAS 1990 - McLean, United States Duration: Jun 25 1990 → Jun 28 1990

Conference

Conference	7th Washington Ada Symposium, WADAS 1990
Country/Territory	United States
City	McLean
Period	06/25/90 → 06/28/90

Keywords

Ada
Alsys
Context clauses
Elaboration
Performance model
Priority
Priority inversion
Reverse engineering
Simulation
Task scheduling

Access to Document

10.1145/327011.327068

Cite this

@conference{6e63eea101b1431abfb00e68a394f21d,

title = "Priority inversion in Ada programs during elaboration",

abstract = "Priority inversion is any situation where low priority tasks are served before higher priority tasks. It is recognized as a serious problem for real-time systems. We have observed priority inversion due to the elaboration order in versions of Alsys1 Ada and VAX2 Ada. This paper presents a rigorous description of Alsys Ada's priority inversion during elaboration of library packages; this behavior is specified in a semi-formal partial model of the elaboration algorithm of the Alsys 286 DOS Ada Compiler V4.2, running under PC-DOS Version 3.30 on an IBM PC AT.3 The model was deduced from a series of experiments designed to illuminate the full scheduling features of the system. These results may provide useful insight for users of this and other Ada compilers. Similar priority inversion was also observed for VAX Ada running under VMS.",

keywords = "Ada, Alsys, Context clauses, Elaboration, Performance model, Priority, Priority inversion, Reverse engineering, Simulation, Task scheduling",

author = "Lander, \{Leslie C.\} and Sandeep Mitra and Piatkowski, \{Thomas F.\}",

year = "1990",

month = jul,

day = "1",

doi = "10.1145/327011.327068",

language = "English",

pages = "133--141",

}

TY - CONF

T1 - Priority inversion in Ada programs during elaboration

AU - Lander, Leslie C.

AU - Mitra, Sandeep

AU - Piatkowski, Thomas F.

PY - 1990/7/1

Y1 - 1990/7/1

N2 - Priority inversion is any situation where low priority tasks are served before higher priority tasks. It is recognized as a serious problem for real-time systems. We have observed priority inversion due to the elaboration order in versions of Alsys1 Ada and VAX2 Ada. This paper presents a rigorous description of Alsys Ada's priority inversion during elaboration of library packages; this behavior is specified in a semi-formal partial model of the elaboration algorithm of the Alsys 286 DOS Ada Compiler V4.2, running under PC-DOS Version 3.30 on an IBM PC AT.3 The model was deduced from a series of experiments designed to illuminate the full scheduling features of the system. These results may provide useful insight for users of this and other Ada compilers. Similar priority inversion was also observed for VAX Ada running under VMS.

AB - Priority inversion is any situation where low priority tasks are served before higher priority tasks. It is recognized as a serious problem for real-time systems. We have observed priority inversion due to the elaboration order in versions of Alsys1 Ada and VAX2 Ada. This paper presents a rigorous description of Alsys Ada's priority inversion during elaboration of library packages; this behavior is specified in a semi-formal partial model of the elaboration algorithm of the Alsys 286 DOS Ada Compiler V4.2, running under PC-DOS Version 3.30 on an IBM PC AT.3 The model was deduced from a series of experiments designed to illuminate the full scheduling features of the system. These results may provide useful insight for users of this and other Ada compilers. Similar priority inversion was also observed for VAX Ada running under VMS.

KW - Ada

KW - Alsys

KW - Context clauses

KW - Elaboration

KW - Performance model

KW - Priority

KW - Priority inversion

KW - Reverse engineering

KW - Simulation

KW - Task scheduling

UR - https://www.scopus.com/pages/publications/85029601526

U2 - 10.1145/327011.327068

DO - 10.1145/327011.327068

M3 - Paper

SP - 133

EP - 141

T2 - 7th Washington Ada Symposium, WADAS 1990

Y2 - 25 June 1990 through 28 June 1990

ER -

Priority inversion in Ada programs during elaboration

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this