Abstract
Ada 2005 has provided limited integration between its object-oriented programming and tasking facilities. The compromise has been to allow tasks and protected types to support interfaces but not inheritance. Whilst the language supports timed/conditional entry calls and the select-thenabort statement using interfaces, it does not allow the target of a requeue statement to be determined via an interface. This paper argues that this design decision needlessly limits the expressive power of the language. A motivating example is used to illustrate the case, and the semantics of the proposed language extension are discussed.
- J. de la Puente. Session summary: Object-oriented programming and real-time. In Proceedings of IRTAW8, Ada Letters, pages 11--15, 1997.Google Scholar
- J. A. de la Puente. New language features and other language issues. In Proceedings of IRTAW9, Ada Letters, Vol XIX(2), pages 19--20, 1999. Google Scholar
Digital Library
- R. Garcia and A. Strohmeier. Experience report on the implementation of EPTs for GNAT. In Proceedings of IRTAW11, Ada Letters, Vol XX1I(4), pages 22--17, 2002. Google Scholar
Digital Library
- O. P. Kiddle and A. J. Wellings. Extended protected types. In Proceedings of ACM SIGAda Annual International Conference (SIGAda 98), pages 229--239, November 1998. Google Scholar
Digital Library
- J. L. Tokar. Tasking and object orientation. In Proceedings of IRTAW10, Ada Letters, Vol XX1(1), pages 9--10, 2001. Google Scholar
Digital Library
- A. J. Wellings, B. Johnson, B. Sanden, J. Kienzle, T. Wolf, and S. Michell. Integrating object-oriented programming and protected types in Ada 95. ACM TOPLAS, 22(3):506--539, 2000. Google Scholar
Digital Library
- A. J. Wellings, B. Johnson, B. Sanden, J. Kienzle, T. Wolf, and S. Michell. Object-oriented programming and protected objects in Ada 95. Reliable Software Technologies -- Ada-Europe 2000, Lecture Notes in Computer Science, 1845:16--28, 2000. Google Scholar
Digital Library
- A. J. Wellings, B. Johnson, B. Sanden, J. Kienzle, T. Wolf, and S. Michell. Extensible protected types: Proposal status. In Proceedings of IRTAW10, Ada Letters, Vol XX1(1), pages 105--110, 2001. Google Scholar
Digital Library
Index Terms
Integrating OOP and tasking: the missing requeue
Recommendations
Integrating OOP and tasking: the missing requeue
IRTAW '07: Proceedings of the 13th international workshop on Real-time AdaAda 2005 has provided limited integration between its object-oriented programming and tasking facilities. The compromise has been to allow tasks and protected types to support interfaces but not inheritance. Whilst the language supports timed/...
OOP vs. readability
A previous paper discussed the relationship between the object-oriented-programming (OOP) feature known in Ada 95 as dispatching and Ada's expressed design goal of emphasizing ease of reading and understanding over ease of writing [1]. A comparison of ...
Testing the correctness of tasking supervisors with TSL specifications
TAV3: Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verificationThis paper describes the application of behavior specifications to the testing of tasking supervisors, an important component of an implementation of a concurrent programming language. The goal of such testing is to determine whether or not a tasking ...







Comments