Reliable Handling of Real-Time Scheduling Attributes on Multiprocessor Platforms in Ada 2012

The final publication is available at Springer via http://dx.doi.org/ 10.1007/978-3-319-08311-7_7The real-time attributes of a concurrent task define the parameters that will determine when the task can be allocated the required resources. Typical examples are the task s priority, the deadline, and the CPU (or CPUs) on which it must be executed. Since the 2012 revision, Ada is prepared for handling all these attributes. But the handling is per-attribute: it is not possible to change several attributes at a time, in a single call. Instead, they have to be changed one by one, which poses scheduling issues especially in multiprocessor platforms. This paper proposes and discusses approaches for implementing atomic changes of multiple scheduling attributes, thus mitigating or eliminating those issues.This work has been partially supported by the Spanish Government’s projects COBAMI (DPI2011-28507-C02-02) and Hi-PartES (TIN2011-28567-C03-01-02-03) and the European Commission’s MultiPARTES project (FP7-ICT-2011.3.4, Contract 287702).Sáez Barona, S.; Real Sáez, JV.; Crespo, A. (2014). Reliable Handling of Real-Time Scheduling Attributes on Multiprocessor Platforms in Ada 2012. En Reliable Software Technologies – Ada-Europe 2014. Springer. 74-90. https://doi.org/10.1007/978-3-319-08311-7_77490ISO/IEC JTC1 SC22 WG9 Ada Rapporteur Group: Ada Reference Manual - Language and Standard Libraries - ISO/IEC 8652:2012(E), http://www.ada-europe.org/manuals/LRM-2012.pdfDavis, R., Wellings, A.: Dual priority scheduling. In: Proceedings of the 16th IEEE Real-Time Systems Symposium, pp. 100–109 (1995)Kato, S., Yamasaki, N., Ishikawa, Y.: Semi-partitioned scheduling of sporadic task systems on multiprocessors. In: 21st Euromicro Conference on Real-Time Systems, ECRTS 2009, pp. 249–258. IEEE Computer Society, Los Alamitos (2009)Lakshmanan, K., Rajkumar, R., Lehoczky, J.P.: Partitioned fixed-priority preemptive scheduling for multi-core processors. In: 21st Euromicro Conference on Real-Time Systems, ECRTS 2009, pp. 239–248. IEEE Computer Society (2009)Tindell, K., Burns, A., Wellings, A.: Mode changes in priority preemptively scheduled systems. In: Real-Time Systems Symposium, pp. 100–109 (1992)Real, J., Crespo, A.: Mode Change Protocols for Real-Time Systems: A Survey and a new Proposal. Real-Time Systems 26(2), 161–197 (2004)Sáez, S., Crespo, A.: Deferred setting of scheduling attributes in Ada 2012. Ada Letters 33(1), 93–100 (2013)Sáez, S., Real, J., Crespo, A.: Deferred and atomic setting of scheduling attributes for Ada. Ada Letters 33(2), 97–108 (2013)Vardanega, T., White, R.: Session summary: Improvements to Ada. Ada User Journal 34(4), 239–241 (2013