Building Parallel, Embedded, and Real-Time Applications with Ada

by John W. McCormick , Frank Singhoff , Jérôme Hugues

• ISBN13: 9780521197168
• ISBN10: 0521197163
• Format: Hardcover
• Copyright: 2011-05-16
• Publisher: Cambridge University Press

Summary

The arrival and popularity of multi-core processors has sparked a renewed interest in the development of parallel programs. Similarly, the availability of low-cost microprocessors and sensors has generated a great interest in embedded real-time programs. This book provides students and programmers whose backgrounds are in traditional sequential programming with the opportunity to expand their capabilities into parallel, embedded, real-time and distributed computing. It also addresses the theoretical foundation of real-time scheduling analysis, focusing on theory that is useful for actual applications. Written by award-winning educators at a level suitable for undergraduates and beginning graduate students, this book is the first truly entry-level textbook in the subject. Complete examples allow readers to understand the context in which a new concept is used, and enable them to build and run the examples, make changes, and observe the results.

Table of Contents

List of illustrations	p. VIII
List of tables	p. X
Foreword	p. XI
Preface	p. XIII
Introduction and overview	p. 1
Parallel programming	p. 2
Distributed programming	p. 11
Real-time systems	p. 12
Exercises	p. 20
Summary	p. 19
Sequential programming with Ada	p. 23
Control structures	p. 26
Subprograms	p. 30
The Ada type model	p. 35
Blocks and exceptions	p. 62
Programming in the large	p. 65
Object-oriented programming	p. 76
Low-level programming	p. 82
Summary	p. 102
Exercises	p. 103
Task basics	p. 107
Denning tasks	p. 107
The task life cycle	p. 109
Task hierarchies	p. 113
Exceptions	p. 117
The implementation of Ada tasking	p. 119
Other task features	p. 119
Summary	p. 121
Exercises	p. 122
Communication and synchronization based on shared objects	p. 126
Mutual exclusion	p. 126
The protected object	p. 130
Synchronization	p. 134
The protected entry	p. 135
Restrictions	p. 140
Entry queues	p. 141
Some useful concurrent patterns	p. 143
Requeue and private operations	p. 149
Pragmas Atomic and Volatile	p. 153
Interrupts	p. 155
Summary	p. 161
Exercises	p. 162
Communication and synchronization based on direct interaction	p. 166
The rendezvous	p. 166
The selective accept statement	p. 171
Entry call options	p. 180
State machines	p. 181
Summary	p. 191
Exercises	p. 192
Distributed systems with Ada	p. 195
What are distributed systems?	p. 195
Middleware, architectures, and concepts	p. 200
DSA, the Distributed Systems Annex	p. 202
Poly ORB: compilation chain and run-time for the DSA	p. 212
Advanced DSA concepts	p. 215
CORBA, the Common Object Request Broker Architecture	p. 221
Advanced CORBA concepts	p. 236
CORBA versus the DSA	p. 247
Summary	p. 248
Exercises	p. 250
Real-time systems and scheduling concepts	p. 251
Task characteristics	p. 253
Real-time schedulers	p. 257
Dependent tasks	p. 278
Summary	p. 285
Exercises	p. 286
Real-time programming with Ada	p. 294
Expressing time	p. 295
Implementing periodic tasks	p. 298
Ada implementation of the car application	p. 303
Handling shared resources	p. 305
The Ada scheduling model	p. 308
Ravenscar	p. 312
POSIX 1003.1b and its Ada binding	p. 314
POSIX implementation of the car application	p. 324
Ada tasks versus POSIX processes	p. 328
Summary	p. 329
Exercises	p. 330
Tools for building and verifying real-time applications	p. 333
Ada run-times to implement real-time applications	p. 334
Some variants of the GNAT run-time	p. 339
Validating scheduling of a system	p. 347
Summary	p. 355
Exercises	p. 356
References	p. 359
Index	p. 365
Table of Contents provided by Ingram. All Rights Reserved.