From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: *
X-Spam-Status: No, score=1.3 required=5.0 tests=BAYES_00,INVALID_MSGID,
	MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,eadfebfe8e6dd4da
X-Google-Attributes: gid103376,public
From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: Pragma Inspection_Point and Caching
Date: 2000/02/22
Message-ID: <88uuac$icb$1@nnrp1.deja.com>#1/1
X-Deja-AN: 588542664
References: <88dfak$kjm$1@epimetheus.cswireless.net>
X-Http-Proxy: 1.0 x29.deja.com:80 (Squid/1.1.22) for client 205.232.38.14
Organization: Deja.com - Before you buy.
X-Article-Creation-Date: Tue Feb 22 21:16:02 2000 GMT
X-MyDeja-Info: XMYDJUIDrobert_dewar
Newsgroups: comp.lang.ada
X-Http-User-Agent: Mozilla/4.61 [en] (OS/2; I)
Date: 2000-02-22T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <88dfak$kjm$1@epimetheus.cswireless.net>,
  "Ken Garlington" <Ken.Garlington@computer.org> wrote:
> I mumbled something about "even the ARM has limits to its
> scope, and caching is outside it," but given the discussion in
> the Annex

Nothing in the rationale has any effect whatsoever on the RM.
And you response regarding the RM was reasonable. This is
definitely in the realm of implementation defined behavior.

Mind you, a debugger that does not have access to cached data
on a machine with a non-write through cache is pretty much
useless if you ask me!


Sent via Deja.com http://www.deja.com/
Before you buy.