comp.lang.ada
 help / color / mirror / Atom feed
From: Bill Findlay <yaldnif.w@blueyonder.co.uk>
Subject: Re: Concurrency always is non-deterministic?
Date: Mon, 13 Feb 2012 19:56:02 +0000
Date: 2012-02-13T19:56:02+00:00	[thread overview]
Message-ID: <CB5F1B52.1013F%yaldnif.w@blueyonder.co.uk> (raw)
In-Reply-To: m28vk634mr.fsf@pushface.org

On 13/02/2012 19:38, in article m28vk634mr.fsf@pushface.org, "Simon Wright"
<simon@pushface.org> wrote:

> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
> 
>> In a narrower sense, RT is when the quality of a value (e.g. of a
>> response) depends on the real time. For example, when that value
>> degrades as the time passes. Hard real-time is when the value reaches
>> 0 in bounded time. A program is said to be real time, when it
>> processes certain values before their quality degrades below specified
>> (usually by the application domain) level.
> 
> A somewhat different statement from the one I'm used to, which is pretty
> much as in http://en.wikipedia.org/wiki/Real-time_computing

"The needs of real-time software requires the use of one or more synchronous
programming languages" ??

Methinks someone is grinding a proprietary axe.

-- 
Bill Findlay
with blueyonder.co.uk;
use  surname & forename;





  reply	other threads:[~2012-02-13 19:56 UTC|newest]

Thread overview: 14+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-02-13 17:41 Concurrency always is non-deterministic? Long Hoàng Đình
2012-02-13 18:04 ` Dmitry A. Kazakov
2012-02-13 19:38   ` Simon Wright
2012-02-13 19:56     ` Bill Findlay [this message]
2012-02-14  1:13       ` Simon Wright
2012-02-14 11:29         ` John B. Matthews
2012-02-14  2:34   ` Phil Clayton
2012-02-13 18:06 ` Georg Bauhaus
2012-02-13 19:11 ` Niklas Holsti
2012-02-13 22:10 ` Brian Drummond
2012-02-14  2:18 ` Phil Clayton
2012-02-14 10:05   ` Erich
2012-02-14 15:00     ` Phil Clayton
2012-02-14 18:23     ` Jeffrey Carter
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox