From: cis.ohio-state.edu!news.sei.cmu.edu!jbg@ucbvax.Berkeley.EDU (John Gooden
Subject: Re: Ada and real-time
Date: 15 Oct 92 14:41:35 GMT [thread overview]
Message-ID: <1992Oct15.144135.24045@sei.cmu.edu> (raw)
In article <1992Oct14.143733.842@saifr00.cfsat.honeywell.com>,
walls@saifr00.cfsat.honeywell.com (Gerald Walls) writes:
|> determinism is very important. we've ditched Ada's nondeterministic
|> task and have instead implemented our own, deterministic tasking.
|>
|> Ada's tasking is not suitable for embedded real-time systems.
By "non-deterministic tasking" do you mean the fact that it can be difficult
or impossible to write down a timeline for a set of Ada tasks, given
variations in execution times and the effect of preemption? If so, this is
not, in itself, sufficient reason to conclude that Ada tasking is unsuitable
for embedded real-time systems.
These issues are discussed in the paper "Real-time Scheduling and Ada" in the
April 1990 issue of COMPUTER magazine. In essence, the paper shows how rate
monotonic theory allows you to ignore the "non-determinism" of Ada tasking by
showing whether each task will get enough compute time to meet its deadline.
The theory has been used on delivered embedded systems, so it is actually
applicable to real systems, and it is being used on real-time systems that are
using Ada tasking in its "non-deterministic" sense.
John B. Goodenough Goodenough@sei.cmu.edu
Software Engineering Institute 412-268-6391
next reply other threads:[~1992-10-15 14:41 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
1992-10-15 14:41 cis.ohio-state.edu!news.sei.cmu.edu!jbg [this message]
-- strict thread matches above, loose matches on Subject: below --
1992-10-18 19:01 Ada and real-time cis.ohio-state.edu!zaphod.mps.ohio-state.edu!darwin.sura.net!cs.ucf.edu!c
1992-10-16 20:45 cis.ohio-state.edu!news.sei.cmu.edu!ajpo.sei.cmu.edu!griest
1992-10-16 13:11 cis.ohio-state.edu!zaphod.mps.ohio-state.edu!uakari.primate.wisc.edu!rela
1992-10-15 17:45 kronos.arc.nasa.gov!iscnvx!news
1992-10-15 16:30 iggy.GW.Vitalink.COM!cs.widener.edu!eff!sol.ctr.columbia.edu!The-Star.hon
1992-10-15 10:17 mcsun!uknet!yorkohm!minster!mjl-b
1992-10-14 14:37 dog.ee.lbl.gov!hellgate.utah.edu!caen!zaphod.mps.ohio-state.edu!sol.ctr.c
1992-10-13 20:51 Rick Hudson
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox