comp.lang.ada
 help / color / mirror / Atom feed
From: kenner@lab.ultra.nyu.edu (Richard Kenner)
Subject: Re: Help with Atomic_Components and whole array assignment
Date: Tue, 06 Feb 2001 00:32:49 GMT
Date: 2001-02-06T00:32:49+00:00	[thread overview]
Message-ID: <RCHf6.24$OP6.330@typhoon.nyu.edu> (raw)
In-Reply-To: 9570vu$fv0$1@nnrp1.deja.com

In article <9570vu$fv0$1@nnrp1.deja.com> Robert Dewar <robert_dewar@my-deja.com> writes:
>The GNU/Linux kernel had endless problems from assumptions
>of this kind, and finally they have all been replaced by
>machine language insertions, to avoid the problems. What
>happened in this case is that new improved and correct gcc
>compilers blew the kernel out of the water by breaking these
>undocumented assumptions.

That's an oversimplification, unfortunately.  Most of the assumptions
were indeed in machine language insertions, but the assumption were
things that GCC would do *around* those insertions (such as register
choice).  GCC has powerful facilities for saying where operands are
found and such, but they weren't fully used since "it worked without them".
The change was to use the machine-code insertions properly.

One other thing that would sometimes be seen was going off the end of
an array purposely in order to reference a variable in the calling
program.



  parent reply	other threads:[~2001-02-06  0:32 UTC|newest]

Thread overview: 31+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2001-01-22 11:22 Help with Atomic_Components and whole array assignment r_c_chapman
2001-01-22 12:51 ` Stuart Palin
2001-01-22 14:16   ` mark_lundquist
2001-01-22 16:09     ` Pat Rogers
2001-01-22 16:29     ` Robert Dewar
2001-01-22 19:52       ` Mark Lundquist
2001-01-30 15:54       ` Tucker Taft
2001-01-30 18:20         ` Robert Dewar
2001-01-31  5:08           ` DuckE
2001-01-31  5:57             ` Robert Dewar
2001-02-01  3:31               ` DuckE
2001-02-02 21:38               ` Mark Lundquist
2001-02-02 23:08                 ` Robert Dewar
2001-02-03  1:39                 ` tmoran
2001-01-22 16:21 ` Robert Dewar
2001-01-22 16:39   ` r_c_chapman
2001-01-30 15:57     ` Tucker Taft
2001-01-30 18:26       ` Robert Dewar
2001-01-30 21:30         ` Simon Wright
2001-02-01  6:11           ` Robert Dewar
2001-02-06  0:32         ` Richard Kenner [this message]
2001-02-06  3:15           ` Robert Dewar
2001-01-31 10:09       ` Rod Chapman
2001-01-31 21:41         ` Tucker Taft
2001-02-01  5:33           ` Robert Dewar
2001-02-01  9:42           ` Rod Chapman
2001-02-01 18:10             ` Robert Dewar
2001-02-01 13:14           ` SPARK flow analysis (was Help with Atomic_Components and whole array assignment) Stuart Palin
2001-02-01 23:38           ` Help with Atomic_Components and whole array assignment Nick Roberts
2001-02-02  3:45             ` Robert Dewar
2001-02-07 21:40           ` Nick Williams
replies disabled

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