Lecture Notes in Computer Science
cover

A Review of Ada Tasking

Authors: Burns, Alan, Lister, Andrew M., Wellings, Andrew J.

Buy this book

eBook $69.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-47241-4
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA in USD
  • ISBN 978-3-540-18008-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

Ada* is unquestionably one of the most significant programming languages to emerge in the last decade. The manner of its inception and support by the US Department of Defense (DoD) ensures that it will be used extensively for the indefinite future in programming large and complex systems. The growing availability of compilers means that many organisations are already committed to using the language for sizable and significant applications. As a perhaps inevitable result of its design goals, Ada is a "large" language. It has Pascal-like control and type constructs; a mechanism for exception handling; a package structure for information hiding, decomposition and separate compilation; facilities for low-level programming; and a tasking model of concurrency. It is perhaps this last area that has generated most debate, criticism and disagreement. The purpose of this book is to review the tasking model in the light of the extensive analysis and comment which has appeared in the literature. The review is necessarily wide-ranging, including discussion of - Ada as a general purpose concurrent programming language, - Ada as a language for embedded and distributed systems, - implementation issues, with particular reference to distributed systems, - formal semantics, specification and verification, - proposed language modifications. By consolidating this discussion within the confines of a single review, potential users of the tasking facility are enabled to familiarise themselves with all the factors which may impinge upon the performance, reliability and correctness of their software. The book also provides a focus for any debate on modifications to the Ada language, or developments from it.

Table of contents (9 chapters)

Table of contents (9 chapters)
  • 1 Introduction

    Pages 1-7

  • 2 The Ada Tasking model

    Pages 9-26

  • 3 Formal aspects

    Pages 27-31

  • 4 Concurrent programming

    Pages 33-54

  • 5 Embedded systems

    Pages 55-61

Buy this book

eBook $69.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-47241-4
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA in USD
  • ISBN 978-3-540-18008-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
A Review of Ada Tasking
Authors
Series Title
Lecture Notes in Computer Science
Series Volume
262
Copyright
1987
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-47241-4
DOI
10.1007/3-540-18008-7
Softcover ISBN
978-3-540-18008-1
Series ISSN
0302-9743
Edition Number
1
Number of Pages
X, 146
Topics