From: "G.B." <bauhaus@futureapps.invalid>
Subject: Re: Everything You Know Is Wrong
Date: Tue, 29 Dec 2015 18:02:11 +0100
Date: 2015-12-29T18:02:11+01:00 [thread overview]
Message-ID: <n5ue5n$ts$1@dont-email.me> (raw)
In-Reply-To: <q6d58bdu6bldl7k5mijed1eil2gthfdj2o@4ax.com>
On 29.12.15 17:31, Dennis Lee Bieber wrote:
> 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.
>
Apart from combinatorial complexity, is there a fundamental
difference? Can postponement or reordering be made analogues
of events that happen at unpredictable points in time?
next prev parent reply other threads:[~2015-12-29 17:02 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
2015-12-29 17:02 ` G.B. [this message]
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