From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.224.171.72 with SMTP id g8mr12965376qaz.7.1376070374178; Fri, 09 Aug 2013 10:46:14 -0700 (PDT) X-Received: by 10.50.4.99 with SMTP id j3mr265046igj.6.1376070374023; Fri, 09 Aug 2013 10:46:14 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!usenet.blueworldhosting.com!feeder02.blueworldhosting.com!npeer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!f7no1728299qan.0!news-out.google.com!he10ni1155qab.0!nntp.google.com!fx3no1813587qab.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Fri, 9 Aug 2013 10:46:13 -0700 (PDT) In-Reply-To: <87a9kqaioz.fsf@VLAN-3434.student.uu.se> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=63.80.193.9; posting-account=nD_N8QoAAACgNfe5vMwm0rMAu4pgYumJ NNTP-Posting-Host: 63.80.193.9 References: <87ob96ajv6.fsf@VLAN-3434.student.uu.se> <03ea570b-e45f-4694-ab9b-3413c4770379@googlegroups.com> <87a9kqaioz.fsf@VLAN-3434.student.uu.se> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: 4 beginner's questions on the PL Ada From: Alan Jump Injection-Date: Fri, 09 Aug 2013 17:46:14 +0000 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Received-Bytes: 2472 Xref: news.eternal-september.org comp.lang.ada:16725 Date: 2013-08-09T10:46:13-07:00 List-Id: On Friday, August 9, 2013 10:16:12 AM UTC-7, Emanuel Berg wrote: > Adam Beneschan writes: >=20 >=20 >=20 > > ... >=20 >=20 >=20 > Thanks a lot! Very helpful. >=20 >=20 >=20 > > but you can also create a variable (or a protected object) >=20 > > that's accessible to all tasks that they can check at certain >=20 > > points to see if they can quit. >=20 >=20 >=20 > And is this the solution you would recommend, for the general >=20 > case? >=20 >=20 >=20 > --=20 >=20 > Emanuel Berg - programmer (hire me! CV below) >=20 > computer projects: http://user.it.uu.se/~embe8573 >=20 > internet activity: http://home.student.uu.se/embe8573 Barnes discusses this topic in chapter 10 of the paper "Safe and Secure Sof= tware - An Invitation to Ada 2012", which is available from Adacore at http= ://www.adacore.com/knowledge/technical-papers/safe-and-secure-software-an-i= nvitation-to-ada-2012/. (Disclaimer: I am not affiliated with Adacore.) You= have several options available, from barriers to select-accept statement p= airs to semaphore variables. The software designer will need to decide on t= he correct approach based on the needs of the specific program. - - 73 de N5ILN Alan