By Burns A., Wellings A.

ISBN-10: 0511296630

ISBN-13: 9780511296635

ISBN-10: 0521866979

ISBN-13: 9780521866972

Ada is the single ISO-standard, object-oriented, concurrent, real-time programming language. it really is meant to be used in huge, long-lived functions the place reliability and potency are crucial, really real-time and embedded structures. during this booklet, Alan Burns and Andy Wellings supply a radical, self-contained account of the way the Ada tasking version can be utilized to build a variety of concurrent and real-time platforms. this is often the one booklet that makes a speciality of an in-depth dialogue of the Ada tasking version. Following on from the authors' previous identify Concurrency in Ada, this e-book brings the dialogue brand new to incorporate the hot Ada 2005 language and the new advances in real-time programming suggestions. it will likely be of price to software program pros and complex scholars of programming alike: certainly each Ada programmer will locate it crucial studying and a major reference paintings that may take a seat along the language reference guide.

Show description

Read or Download Concurrent and real-time programming in Ada 2005 PDF

Best programming books

Read e-book online PHP Programming with MySQL: The Web Technologies Series (2nd PDF

This ebook covers the fundamentals of personal home page and MySQL besides introductions to complicated subject matters together with object-oriented programming and the way to construct sites that include authentication and defense. once you whole this direction, it is possible for you to to exploit Hypertext Preprocessor and MySQL to construct expert caliber, database-driven sites.

Download PDF by Dotan Nahum, Emrah Ayanoglu, Yusuf Aytas: Mastering RabbitMQ

RabbitMQ is among the strongest Open resource message dealer software program, that's frequent in tech businesses resembling Mozilla, VMware, Google, AT&T, and so forth. RabbitMQ promises plenty of awesome and easy-to-manage functionalities to manage and deal with the messaging facility with plenty of neighborhood help.

Microsoft Windows Server 2003 Deployment Kit: Deploying by Corporation Microsoft Corporation PDF

This quantity can provide guidance that will help you construct a TCP/IP community and installation DHCP, DNS, and WINS. It additionally covers instant networking, community security measures, and distant entry connectivity.

Additional resources for Concurrent and real-time programming in Ada 2005

Example text

One aspect of reliability is of general significance: the effect of a single process failure upon the rest of the process system. Failure may be due to errors internal to a process or to external circumstances (for example, the process being aborted); in both cases the impact on all other processes should be minimal. A reliable model will allow a process to terminate without any effect upon other existing processes. However, attempts to communicate or synchronise with a terminated process must be catered for.

In particular, if a process requests access to a critical section, then it will gain access in some finite time. If requests are being actively processed and there is a defined upper limit on how long a process will be delayed, then the synchronisation mechanism is said to be bounded fair. This property is needed in ‘hard’ real-time programs, where static analysis must be able to determine the worst-case response time of all actions that have deadlines imposed upon them. 4 System performance, correctness and reliability Both mutual exclusion and condition synchronisation give rise to situations in which a process must be delayed; it cannot be allowed to continue its execution until some future event has occurred.

However, if an interleaving of T1 and T2 leads to both flags being raised concurrently, then the shared variable Turn will arbitrate; if Turn has the value 2 then T1 will relinquish its request to enter its critical section by lowering its flag. Only when Turn takes the value 1 (that is, when T2 has left its critical section) will T2 reset its flag. The switching of the value of Turn eliminates indefinite postponement. This solution can be extended to more than two tasks but the protocols become even more complex.

Download PDF sample

Concurrent and real-time programming in Ada 2005 by Burns A., Wellings A.

by John

Rated 4.35 of 5 – based on 18 votes