Date: Wed, 12 May 2004 18:48:07 -0700 From: Arun Sharma <arun.sharma@intel.com> To: Marcel Moolenaar <marcel@xcllnt.net> Cc: freebsd-ia64@freebsd.org Subject: Re: invala Message-ID: <40A2D3D7.4030804@intel.com> In-Reply-To: <20040512232827.GB45389@ns1.xcllnt.net> References: <40A2A0A2.8040004@intel.com> <20040512232827.GB45389@ns1.xcllnt.net>
next in thread | previous in thread | raw e-mail | index | archive | help
On 5/12/2004 4:28 PM, Marcel Moolenaar wrote: > On Wed, May 12, 2004 at 03:09:38PM -0700, Arun Sharma wrote: >> >> I noticed that the code in exception.S:TRAP() doesn't invalidate the ALAT >> on a register backing store switch. This could be a problem if the kernel >> starts using data speculation (say by using a different compiler). However, >> restorectx is doing the right thing by using invala. > > Why would this be a problem? > The kernel data speculation might introduce entries into the ALAT which might cause the user data speculation to think that the speculation (advanced load) succeeded, when in fact it has failed. -Arun
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?40A2D3D7.4030804>