A Review of Ada Tasking

Ada* بدون شک یکی از مهم ترین زبان های برنامه نویسی است که در دهه گذشته ظهور کرده است. نحوه شروع و پشتیبانی آن توسط وزارت دفاع ایالات متحده (DoD) تضمین می کند که برای آینده نامعلومی به طور گسترده در برنامه نویسی سیستم های بزرگ و پیچیده استفاده خواهد شد. در دسترس بودن رو به رشد کامپایلرها به این معنی است که بسیاری از سازمان ها قبلاً متعهد به استفاده از این زبان برای برنامه های کاربردی بزرگ و قابل توجه هستند. به عنوان یک نتیجه اجتناب ناپذیر از اهداف طراحی آن، Ada یک زبان \"بزرگ\" است. دارای کنترل و ساختارهای نوع پاسکال است. مکانیزمی برای رسیدگی به استثنا ساختار بسته برای پنهان کردن اطلاعات، تجزیه و گردآوری جداگانه. امکانات برای برنامه نویسی سطح پایین؛ و یک مدل تکلیفی همزمانی. شاید این آخرین حوزه است که بیشترین بحث، انتقاد و اختلاف را ایجاد کرده است. هدف این کتاب بررسی مدل تکلیف در پرتو تحلیل و نظر گسترده ای است که در ادبیات ظاهر شده است. بررسی لزوماً گسترده است، از جمله بحث در مورد - Ada به عنوان یک زبان برنامه نویسی همزمان با هدف عمومی، - Ada به عنوان زبانی برای سیستم های جاسازی شده و توزیع شده، - مسائل پیاده سازی، با اشاره خاص به سیستم های توزیع شده، - معنای رسمی، مشخصات و تأیید ، - تغییرات زبان پیشنهادی. با ادغام این بحث در محدوده یک بررسی واحد، کاربران بالقوه تسهیلات وظیفه‌پردازی می‌توانند خود را با تمام عواملی که ممکن است بر عملکرد، قابلیت اطمینان و صحت نرم‌افزار آنها تأثیر بگذارد، آشنا کنند. این کتاب همچنین تمرکزی برای هرگونه بحث در مورد تغییرات زبان آدا، یا پیشرفت‌های حاصل از آن دارد.

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.