Download Concurrent and Real-Time Programming in Ada by Alan Burns PDF

By Alan Burns

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, relatively real-time and embedded platforms. during this e-book, Alan Burns and Andy Wellings supply an intensive, self-contained account of the way the Ada tasking version can be utilized to build a variety of concurrent and real-time platforms. this can be the single publication that makes a speciality of an in-depth dialogue of the Ada tasking version. Following on from the authors' past identify Concurrency in Ada, this publication brings the dialogue modern to incorporate the recent Ada 2005 language and the new advances in real-time programming thoughts. it is going to be of worth to software program execs and complicated scholars of programming alike: certainly each Ada programmer will locate it crucial examining and a chief reference paintings that may sit down along the language reference guide.

Show description

Read Online or Download Concurrent and Real-Time Programming in Ada PDF

Best software development books

The VDM-SL Reference Guide

The readership won't simply encompass programmers. it's going to additionally attract method designers, to buyers wishing to specify their standards, to evaluators of structures, and to academics and software program engineering scholars. in brief, a person who desires to learn a VDM specification with figuring out. 2nd/3rd yr machine technology classes, really software program engineering.

Software Development With Z: A Practical Approach to Formal Methods in Software Engineering

This e-book is a hugely functional educational consultant to the Z specification language and its position in software program improvement. The e-book illustrates how prevalent tactics and judgements should be made specific utilizing arithmetic. starting with a case learn, this booklet is designed to be as self-contained as attainable, taking the reader throughout the easy strategies in good judgment and set idea formulating distinctive rules approximately software program platforms, and combines a proper strategy with useful examples of its use in software program improvement.

Software Pipelines and SOA: Releasing the Power of Multi-Core Processing

Construct step forward functionality into Any SOA or complex Computing ApplicationTo meet unparalleled call for, IT businesses needs to enhance software functionality via an order of value. enhancing functionality is much more the most important in SOA environments, which call for way more computing strength than older architectures.

The Art of Lean Software Development : a Practical and Incremental Approach

This succinct publication explains how one can observe the practices of Lean software program improvement to dramatically bring up productiveness and caliber. in accordance with strategies that revolutionized eastern production, Lean rules are being utilized effectively to product layout, engineering, the availability chain, and now software program improvement.

Extra info for Concurrent and Real-Time Programming in Ada

Example text

The effect of fast process switching is to give behaviour that is almost indistinguishable from true parallelism. In the programming of embedded systems, one must deal with the inherent parallelism of the larger system. A real-time language must therefore provide some facility for multi-programming. This can be achieved by specifying a standard interface to a multiprocessing operating system‡ or by allowing multiple process systems to be expressed in the language itself. Ada provides for the direct programming of parallel activities.

Mutual exclusion is catered for by only one execution of ACQUIRE or RELEASE being allowed at any one time. The above code recognises, but does not deal with, the call of an ACQUIRE procedure when there are no resources available. This is an example of a condition synchronisation, for the ACQUIRE cannot be successful until a call of RELEASE is made. Although it would be possible to implement this synchronisation using a semaphore defined within the monitor, Hoare (1974) proposed a simpler primitive.

Definition: The term passive will be used to indicate a reactive entity that can allow open access. The implementation of resource entities requires some form of control agent. If the control agent is itself passive (such as a semaphore), then the resource is said to be protected. Alternatively, if an active agent is required to program the correct level of control, then the resource is in some sense active. Definition: The term server will be used to identify an active resource entity, and the term protected resource to indicate the passive kind.

Download PDF sample

Rated 4.23 of 5 – based on 20 votes