A review of Ada tasking (Q1801256)

A short review of Ada and a comprehensive review of the tasking model in the language is given. The model is examined in terms of concurrency, synchronization and communications. The review is based on the available literature (as many as 234 items are given in the references). The proposals of changes for Ada tasking facilities as suggested in the literature are catalogued and examined. Some changes are proposed by the authors of the book. Those include the notion of the virtual node, non- standard or implementation dependent pragmas, etc. The reapraisal of abort statement is argued. The notion of virtual node, non-standard and some other changes are shown as urgently needed.