skip to main content
research-article

Deferred and atomic setting of scheduling attributes for ada

Published:08 November 2013Publication History
Skip Abstract Section

Abstract

Deferred setting of scheduling attributes refers to a single operation that sets a new value for a scheduling attribute of a task at some future time. Although deferred setting of scheduling attributes is possible in Ada 2012, it is in a rather limited way: only deadline or CPU can be changed deferredly, either at a specified time or when the task is released from a suspension object. And only one of those two attributes at a time. Other scheduling attributes such as priority cannot have deferred setting by means of a single operation. This would be a convenient feature to have for schemes such as job partitioning, task splitting, or mode changes. Another issue is the absence of operations for atomically changing several parameters at a time, which would avoid scheduling issues specially on multiprocessor.

In this paper we explore a proposal aimed at correcting these two drawbacks. On one hand, we want to be able to change more attributes, not only deadlines, deferredly or immediately. On the other hand, we want to atomically change (now or later) a set of attributes, thereby avoiding scheduling artifacts that arise from sequentially changing several attributes, specially when the CPU is one of them. Rather than providing a number of library operations for postponing the setting of a variety of scheduling attributes, we propose to encapsulate the scheduling attributes of each task in a single tagged type that can be extended with more attributes for specific applications if needed.

References

  1. M. Aldea. 15th International Real-Time Ada Workshop (IRTAW-15). Ada User Journal, 32(4):276--279, December 2011.Google ScholarGoogle Scholar
  2. S. Kato, N. Yamasaki, and Y. Ishikawa. Semi-partitioned Scheduling of Sporadic Task Systems on Multiprocessors. In IEEE Computer Society, editor, 21st Euromicro Conference on Real-Time Systems - ECRTS, pages 249--258, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. K. Lakshmanan, R. Rajkumar, and J. Lehoczky. Partitioned Fixed-Priority Preemptive Scheduling for Multicore Processors. In IEEE Computer Society, editor, 21st Euromicro Conference on Real-Time Systems - ECRTS, pages 239--248, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. S. Sáez and A. Crespo. Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems. In J. Real and T. Vardanega, editors, 15th International Conference on Reliable Software Technologies -- Ada-Europe 2010, volume 6106 of Lecture Notes in Computer Science, pages 68--82. Springer, 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. S. Sáez and A. Crespo. Deferred Setting of Scheduling Attributes in Ada 2012. Ada Letters, To appear.Google ScholarGoogle Scholar

Recommendations

Comments

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Sign in

Full Access

  • Published in

    cover image ACM SIGAda Ada Letters
    ACM SIGAda Ada Letters  Volume 33, Issue 2
    August 2013
    132 pages
    ISSN:1094-3641
    DOI:10.1145/2552999
    Issue’s Table of Contents

    Copyright © 2013 Authors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    • Published: 8 November 2013

    Check for updates

    Qualifiers

    • research-article

PDF Format

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader
About Cookies On This Site

We use cookies to ensure that we give you the best experience on our website.

Learn more

Got it!