Re: 4 beginner's questions on the PL Ada

[Alan Jump <alan.jump@gmail.com>]

On Friday, August 9, 2013 10:16:12 AM UTC-7, Emanuel Berg wrote:
> Adam Beneschan <adambeneschan@aol.com> writes:
> 
> 
> 
> > ...
> 
> 
> 
> Thanks a lot! Very helpful.
> 
> 
> 
> > but you can also create a variable (or a protected object)
> 
> > that's accessible to all tasks that they can check at certain
> 
> > points to see if they can quit.
> 
> 
> 
> And is this the solution you would recommend, for the general
> 
> case?
> 
> 
> 
> -- 
> 
> Emanuel Berg - programmer (hire me! CV below)
> 
> computer projects: http://user.it.uu.se/~embe8573
> 
> internet activity: http://home.student.uu.se/embe8573

Barnes discusses this topic in chapter 10 of the paper "Safe and Secure Software - An Invitation to Ada 2012", which is available from Adacore at http://www.adacore.com/knowledge/technical-papers/safe-and-secure-software-an-invitation-to-ada-2012/. (Disclaimer: I am not affiliated with Adacore.) You have several options available, from barriers to select-accept statement pairs to semaphore variables. The software designer will need to decide on the correct approach based on the needs of the specific program.

 - -
73 de N5ILN
Alan