Ada: Concurrent Programming |
Contents
Chapter | 1 |
Chapter | 2 |
Concurrent Programming in Ada | 3 |
Vending Machine Example | 5 |
Simulating the Vending Machine | 9 |
Exercises | 13 |
Tasking Facilities | 15 |
Task Specification and Body | 18 |
Device Drivers | 79 |
Chapter 6 | 89 |
Chapter 7 | 105 |
The Polling Bias in Ada | 112 |
Exercises | 121 |
Concluding Remarks | 141 |
Annotated Bibliography 8 Final Comments | 159 |
Sequential Programming in AdaA Synopsis | 161 |
Entry Decl Entry Calls Accept Statements | 19 |
Delay Statement | 24 |
Select Statement | 25 |
Task Activation Completion Master Term | 29 |
Abort Statement | 30 |
Task and Entry Attributes | 31 |
The CALENDAR Package | 32 |
Mutual Exclusion | 34 |
Examples | 35 |
Exercises | 54 |
Chapter 3 | 55 |
Dynamic Task Creation | 56 |
Examples | 57 |
Exercises | 68 |
Exceptions and Tasking | 69 |
55 | 74 |
Basics | 163 |
Types Constants and Variables | 164 |
Expressions and Operator Precedence | 172 |
Subprograms | 175 |
Scope and Visibility Rules | 177 |
InputOutput | 179 |
Main Programs and Compilation Units | 180 |
Packages | 182 |
Exceptions | 186 |
Generic Facilities | 188 |
Rep ClausesImpl Dependent Features | 189 |
Exercise | 192 |
Index | 193 |
213 | |
Common terms and phrases
accept statement alarm allocated ALPHA alpha-beta algorithm array ASCII.LF begin loop block body of task BOOLEAN Brinch Hansen busy waiting call entry call to entry calling task character chopsticks Circular Waiting compiled Computer Concurrent Pascal concurrent programming facilities CONSUMER cruise control CYL_NO database deadlock declared delay device drivers disk display DURATION encapsulated end loop end select entry call entry family example exception handler execution FIFO File Gehani hardware implementation input INSERT INTEGER INTEGER range internal buffer interrupt entry ITEMS keyboard LINE_BUFFER loop accept loop select machine groups NO_READERS null NUM_BUF operations OUTB package body parallel parameter philosopher polling printer priority programming languages QUICKSORT real-time programs record rendezvous requests resource scheduling select statement selective-wait statement semaphore shared data specified speed status register storage subprogram subtype synchronization task body task SUPPLIES task type task VENDOR tasks MONEY TEXT_IO update variables vending machine waiting WATER_CONTROL YEAR_NUMBER