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
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Ravenscar vs selective wait
Date: Mon, 23 Mar 2015 22:00:25 +0000
Organization: A noiseless patient Spider
Message-ID: <lyoanjv0g6.fsf@pushface.org>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: mx02.eternal-september.org;
 posting-host="639fc80d983459c1c824f7cd3788af8d";
	logging-data="24345"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+GM3xb667BqJ7f3GhJXHuOLS+Y3PGln/Q="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.4 (darwin)
Cancel-Lock: sha1:uX23HRrlpXwhvNqv+wyx0BuMH3c=
	sha1:KN62H33EGD89qex5O5grhIjJZ8Q=
Xref: news.eternal-september.org comp.lang.ada:25228
Date: 2015-03-23T22:00:25+00:00
List-Id: <comp.lang.ada>

Is it possible to construct an analog of the selective wait using the
Ravenscar profile?

   Turn_On_The_Lamp;
   Next := Clock + Milliseconds (500);
   select
      accept Reset do
         Next := Clock + Milliseconds (500);
      end Reset;
   or
      delay until Next;
      Turn_Off_The_Lamp;
   end select;

where the Lamp goes off 500 ms after it was turned on, but you can reset
the timer by calling the Reset entry.

Of course, Ravenscar prohibits both task entries and select statements,
so I'm looking for something else! Preferably not involving polling.