From: Robert A Duff <bobduff@TheWorld.com>
Subject: Re: Comparing Access Types
Date: Fri, 10 Nov 2017 11:05:42 -0500
Date: 2017-11-10T11:05:42-05:00 [thread overview]
Message-ID: <wcc8tfejezt.fsf@TheWorld.com> (raw)
In-Reply-To: ou3obs$o2n$1@gioia.aioe.org
"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
> You could have two segments mapped to the same physical memory.
No, the implementation would not allow that to happen.
The fact that the hardware allows it is irrelevant.
In fact, nonsegmented machines can do the same thing
-- you can map two virtual pages to the same physical
address. If you want "=" on pointers to work, then
simply don't do that.
>... Then you
> may have two unequal segmented addresses pointing to the same physical
> memory unit and so "=" will lie.
If "=" lies, then the Ada implementation is simply wrong.
- Bob
next prev parent reply other threads:[~2017-11-10 16:05 UTC|newest]
Thread overview: 20+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-11-09 5:37 Comparing Access Types Jere
2017-11-09 8:29 ` Simon Wright
2017-11-09 8:33 ` Dmitry A. Kazakov
2017-11-09 22:38 ` Robert A Duff
2017-11-10 8:35 ` Dmitry A. Kazakov
2017-11-10 15:11 ` Jere
2017-11-10 16:05 ` Robert A Duff [this message]
2017-11-10 16:30 ` Robert A Duff
2017-11-16 1:17 ` Randy Brukardt
2017-11-18 22:01 ` Robert A Duff
2017-11-20 22:25 ` Randy Brukardt
2017-11-21 0:30 ` Shark8
2017-11-21 8:57 ` Dmitry A. Kazakov
2017-11-22 1:01 ` Randy Brukardt
2017-11-10 15:20 ` Jere
2017-11-10 16:00 ` Robert A Duff
2017-11-10 16:22 ` Jere
2017-11-10 15:06 ` Jere
2017-11-16 1:21 ` Randy Brukardt
2017-11-16 1:13 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox