Concurrent and Real-Time Programming in Ada

The only book that explains Ada tasking model, covering the latest version of Ada and its use in real-time and concurrent systems.

Alan Burns (Author), Andy Wellings (Author)

9780521866972, Cambridge University Press

Hardback, published 5 July 2007

476 pages, 29 b/w illus. 17 tables
24.4 x 17 x 2.7 cm, 0.95 kg

'… thorough, self-contained …' Zentralblatt MATH

Ada is the only ISO-standard, object-oriented, concurrent, real-time programming language. It is intended for use in large, long-lived applications where reliability and efficiency are essential, particularly real-time and embedded systems. In this book, Alan Burns and Andy Wellings give a thorough, self-contained account of how the Ada tasking model can be used to construct a wide range of concurrent and real-time systems. This is the only book that focuses on an in-depth discussion of the Ada tasking model. Following on from the authors' earlier title Concurrency in Ada, this book brings the discussion up to date to include the new Ada 2005 language and the recent advances in real-time programming techniques. It will be of value to software professionals and advanced students of programming alike: indeed every Ada programmer will find it essential reading and a primary reference work that will sit alongside the language reference manual.

1. Introduction
2. The nature and uses of concurrent programming
3. Inter-process communication
4. Task types and objects
5. The rendezvous
6. The select statement and the rendezvous
7. Protected objects and data-oriented communication
8. Avoidance synchronisation and the requeue facility
9. Exceptions, abort and asynchronous transfer of control
10. Object-oriented programming and tasking
11. Concurrency utilities
12. Tasking and systems programming
13. Scheduling real-time systems - fixed priority dispatching
14. Scheduling real-time systems - other dispatching facilities
15. Timing events and execution time control
16. Real-time utilities
17. Restrictions, metrics and the ravenscar profile
18. Conclusion
References
Index.

Subject Areas: Computer programming / software development [UM]