From: Dennis Lee Bieber <wlfraed@ix.netcom.com>
Subject: Re: Everything You Know Is Wrong
Date: Tue, 29 Dec 2015 11:31:18 -0500
Date: 2015-12-29T11:31:18-05:00 [thread overview]
Message-ID: <q6d58bdu6bldl7k5mijed1eil2gthfdj2o@4ax.com> (raw)
In-Reply-To: n5u4kl$hob$1@speranza.aioe.org
On Tue, 29 Dec 2015 15:16:38 +0100, "Dmitry A. Kazakov"
<mailbox@dmitry-kazakov.de> declaimed the following:
>
>The compiler must become an oracle, not just programmer's mind reader,
>to guess that a subprogram call can be postponed.
It sure wouldn't make life easy for someone trying to certify the
software for civil avionics... WCET would have to assume the calls are
always invoked, the time would have to be included in the scheduling of
processing slices, etc.
--
Wulfraed Dennis Lee Bieber AF6VN
wlfraed@ix.netcom.com HTTP://wlfraed.home.netcom.com/
next prev parent reply other threads:[~2015-12-29 16:31 UTC|newest]
Thread overview: 40+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-12-27 0:37 Everything You Know Is Wrong Jeffrey R. Carter
2015-12-27 7:55 ` J-P. Rosen
2015-12-27 17:37 ` Jeffrey R. Carter
2015-12-27 8:46 ` Dmitry A. Kazakov
2015-12-27 17:36 ` Jeffrey R. Carter
2016-01-04 14:44 ` Alejandro R. Mosteo
2015-12-28 9:57 ` Georg Bauhaus
2015-12-28 11:19 ` Dmitry A. Kazakov
2015-12-28 16:27 ` Nicholas Collin Paul de Gloucester
2015-12-28 17:30 ` Dmitry A. Kazakov
2015-12-28 18:50 ` Nicholas Collin Paul de Gloucester
2015-12-28 20:40 ` Dmitry A. Kazakov
2015-12-29 11:42 ` G.B.
2015-12-29 12:36 ` Dmitry A. Kazakov
2015-12-29 13:50 ` G.B.
2015-12-29 14:06 ` J-P. Rosen
2015-12-29 14:16 ` Dmitry A. Kazakov
2015-12-29 16:31 ` Dennis Lee Bieber [this message]
2015-12-29 17:02 ` G.B.
2015-12-29 16:57 ` G.B.
2015-12-29 17:36 ` Dmitry A. Kazakov
2015-12-29 17:53 ` G.B.
2015-12-29 18:09 ` G.B.
2015-12-29 22:05 ` Randy Brukardt
2016-01-04 14:51 ` Alejandro R. Mosteo
2015-12-29 21:58 ` Randy Brukardt
2015-12-28 17:19 ` Nicholas Collin Paul de Gloucester
2015-12-29 23:37 ` darkestkhan
2016-01-05 13:52 ` brbarkstrom
2016-01-10 14:46 ` Michael Erdmann
2016-02-29 12:14 ` Jacob Sparre Andersen
2016-03-02 14:11 ` vincent.diemunsch
2016-03-02 14:23 ` J-P. Rosen
2016-03-02 15:44 ` Bob Brown
2016-03-02 16:30 ` J-P. Rosen
2016-03-02 16:36 ` Bob Brown
2016-03-02 16:52 ` Bob Brown
2016-03-02 14:32 ` Dmitry A. Kazakov
2016-03-02 15:31 ` vincent.diemunsch
2016-02-29 12:27 ` Jacob Sparre Andersen
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox