From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: Ada GC (was Re: Ammo-zilla)
Date: 1999/11/06
Date: 1999-11-06T00:00:00+00:00 [thread overview]
Message-ID: <801fdt$ht8$1@nnrp1.deja.com> (raw)
In-Reply-To: s27tvo5hhpc65@corp.supernews.com
In article <s27tvo5hhpc65@corp.supernews.com>,
"Vladimir Olensky" <vladimir_olensky@yahoo.com> wrote:
> It just never come to my mind that someone (one the client's
> side) could try to do something (using unchecked conversions )
> for anything that is behind that protection wall (for me it
> is a crazy idea).
I guess Vladimir that you have solved the problem that has
eluded everyone else in the field, namely how to be absolutely
sure that your program is free of errors. We are not talking
about DELIBERATE errors here, but for instance of a simple
error like using unchecked conversion to do low level buffer
copying, and getting the bounds wrong.
> As a matter of fact I do not see the way how one can
> penetrate in reality through hardware memory protection wall
> directly using pointer arithmetic.
You are assuming that it is indeed possible to provide the
necessary memory protection between collected and non-collected
domains. First, my point was about systems
where this is not possible. Second: most systems are in practice
in this category!
> Generally there could be many approaches to increase safety.
> One of the nice ones (for me) is to use notion of safe and
> unsafe modules/packages as in Modula-3 and do not allow any
> unsafe operations in safe packages.
But as we are discussing this segregation in what packages
are allowed to do is not helpful at all in this case in the
absence of the ability to build data allocation firewalls at
the hardware level (something that is often not possible,
both in embedded systems -- which often lack such memory
protection hardware -- and in higher level systems running
on top of standard OS's, which lack this kind of capability).
Sent via Deja.com http://www.deja.com/
Before you buy.
next prev parent reply other threads:[~1999-11-06 0:00 UTC|newest]
Thread overview: 92+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-10-23 0:00 Ammo-zilla Stanley R. Allen
1999-10-24 0:00 ` Ammo-zilla Robert Dewar
1999-10-24 0:00 ` Ammo-zilla David Botton
1999-10-24 0:00 ` Ammo-zilla Aidan Skinner
1999-10-24 0:00 ` Ammo-zilla Robert Dewar
1999-10-24 0:00 ` Ammo-zilla Matthew Heaney
1999-10-24 0:00 ` Ammo-zilla David Botton
1999-10-28 0:00 ` Ammo-zilla Charles Hixson
1999-10-28 0:00 ` Ammo-zilla Matthew Heaney
1999-10-28 0:00 ` Ammo-zilla mitch
1999-10-29 0:00 ` Ammo-zilla Matthew Heaney
1999-10-28 0:00 ` Ammo-zilla Laurent Guerby
1999-10-28 0:00 ` Ammo-zilla Charles Hixson
1999-10-29 0:00 ` Ada and GC (Was Re: Ammo-zilla) Vladimir Olensky
1999-10-29 0:00 ` David Botton
1999-10-31 0:00 ` Vladimir Olensky
1999-10-30 0:00 ` Samuel T. Harris
1999-10-30 0:00 ` David Botton
1999-10-28 0:00 ` Ammo-zilla David Starner
1999-10-29 0:00 ` Ammo-zilla Larry Kilgallen
1999-10-29 0:00 ` Ammo-zilla David Starner
1999-10-29 0:00 ` Ammo-zilla Tucker Taft
1999-10-30 0:00 ` Ammo-zilla Lutz Donnerhacke
1999-10-29 0:00 ` Ammo-zilla Matthew Heaney
1999-10-29 0:00 ` Ammo-zilla Charles Hixson
1999-10-29 0:00 ` Ammo-zilla David Botton
1999-10-29 0:00 ` Ammo-zilla mike
1999-10-29 0:00 ` Ammo-zilla David Botton
1999-10-31 0:00 ` Ammo-zilla Robert Dewar
1999-11-02 0:00 ` Ammo-zilla Charles Hixson
1999-11-03 0:00 ` Ammo-zilla Wes Groleau
1999-11-01 0:00 ` Ammo-zilla Geoff Bull
1999-10-31 0:00 ` Ammo-zilla Robert Dewar
1999-10-31 0:00 ` Ammo-zilla David Starner
1999-11-01 0:00 ` Ammo-zilla Robert Dewar
1999-11-01 0:00 ` Ada and GC. Was: Ammo-zilla Vladimir Olensky
1999-11-01 0:00 ` Vladimir Olensky
1999-11-01 0:00 ` Tucker Taft
1999-11-02 0:00 ` Vladimir Olensky
1999-11-02 0:00 ` Robert Dewar
1999-11-02 0:00 ` Charles Hixson
1999-11-03 0:00 ` Robert Dewar
1999-11-03 0:00 ` Charles Hixson
1999-11-01 0:00 ` Ammo-zilla Robert Dewar
1999-11-01 0:00 ` Ammo-zilla Robert A Duff
1999-11-01 0:00 ` Ammo-zilla Robert Dewar
1999-11-02 0:00 ` Ammo-zilla Robert A Duff
1999-11-02 0:00 ` Ammo-zilla Robert Dewar
1999-11-03 0:00 ` Ammo-zilla Vladimir Olensky
1999-11-03 0:00 ` Ammo-zilla Robert Dewar
1999-11-04 0:00 ` Ada GC (was Re: Ammo-zilla) Vladimir Olensky
1999-11-06 0:00 ` Robert Dewar
1999-11-06 0:00 ` Vladimir Olensky
1999-11-06 0:00 ` Vladimir Olensky
1999-11-06 0:00 ` Robert Dewar [this message]
1999-11-09 0:00 ` Robert A Duff
1999-11-10 0:00 ` Vladimir Olensky
1999-11-10 0:00 ` Richard D Riehle
1999-11-10 0:00 ` Nick Roberts
1999-11-12 0:00 ` Robert I. Eachus
1999-11-12 0:00 ` Didier Utheza
1999-11-12 0:00 ` Robert Dewar
1999-11-10 0:00 ` Robert A Duff
1999-11-12 0:00 ` Robert I. Eachus
1999-11-04 0:00 ` Ada GC (was Ammo-zilla) Nick Roberts
1999-11-04 0:00 ` Wes Groleau
1999-11-01 0:00 ` Ammo-zilla Vladimir Olensky
1999-10-31 0:00 ` Ammo-zilla Robert Dewar
1999-10-31 0:00 ` Garbage colletion Lutz Donnerhacke
1999-11-01 0:00 ` Robert Dewar
1999-11-01 0:00 ` Lutz Donnerhacke
1999-11-01 0:00 ` Robert Dewar
1999-11-01 0:00 ` Gnat IDE (was: Garbage colletion) Ted Dennison
1999-11-01 0:00 ` Garbage colletion Lutz Donnerhacke
1999-11-01 0:00 ` Robert Dewar
1999-11-04 0:00 ` Didier Utheza
1999-11-04 0:00 ` David Starner
1999-11-01 0:00 ` Larry Kilgallen
1999-10-30 0:00 ` Ammo-zilla Lutz Donnerhacke
1999-10-30 0:00 ` Ammo-zilla Matthew Heaney
1999-10-31 0:00 ` Ammo-zilla Robert Dewar
1999-10-29 0:00 ` Ammo-zilla Robert I. Eachus
1999-10-28 0:00 ` Ammo-zilla Tucker Taft
1999-10-31 0:00 ` Ammo-zilla Brian Rogoff
1999-11-01 0:00 ` Ammo-zilla Robert Dewar
1999-11-01 0:00 ` Ammo-zilla Brian Rogoff
1999-11-02 0:00 ` Ammo-zilla Robert Dewar
1999-11-02 0:00 ` Ammo-zilla Brian Rogoff
1999-11-02 0:00 ` Ammo-zilla Robert A Duff
1999-10-31 0:00 ` Ammo-zilla Robert Dewar
1999-10-24 0:00 ` Ammo-zilla Aidan Skinner
1999-10-25 0:00 ` Ammo-zilla Jean-Pierre Rosen
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox