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.3 required=5.0 tests=BAYES_00,INVALID_MSGID, MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,71b19e01eae3a390 X-Google-Attributes: gid103376,public From: Robert Dewar Subject: Re: delay until and GNAT Date: 1999/05/06 Message-ID: <7grvka$lc5$1@nnrp1.deja.com>#1/1 X-Deja-AN: 474688508 References: <7gpukr$s82$1@nnrp1.dejanews.com> <7grkbb$cee$1@nnrp1.deja.com> X-Http-Proxy: 1.0 x13.dejanews.com:80 (Squid/1.1.22) for client 205.232.38.4 Organization: Deja News - The Leader in Internet Discussion X-Article-Creation-Date: Thu May 06 11:49:30 1999 GMT Newsgroups: comp.lang.ada X-Http-User-Agent: Mozilla/3.01SC-SGI (X11; I; IRIX 5.3 IP22) Date: 1999-05-06T00:00:00+00:00 List-Id: In article <7grkbb$cee$1@nnrp1.deja.com>, Buz Cory wrote: > In particular, for "delay" and "delay until", the only guarantee is that the > delay will have elapsed when the next statement executes. How long ago it > might have elapsed is *not* guaranteed. This is pretty much true of any > prioritized multi-tasking system. For a time-slicing system, you might > reasonably expect that the "upper bound on the lateness of delay" will be > some relatively small number times the maximum size of a slice (for 10 ms > slices, it should be of the order of 1 sec or so). This is wrong, and all the followups so far have completely missed the perfectly legitimate question raised by the original post. See RM D.9. Unfortunately, the answer in typical implementations is that the requirement of D.9(10,11) which is what the question was about cannot be met because it is dependent on unavailable information from the underlying operating system, and that therefore it is not practical to meet this requirement in this context (see RM 1) -----------== Posted via Deja News, The Discussion Network ==---------- http://www.dejanews.com/ Search, Read, Discuss, or Start Your Own