Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | Stefan Monnier <monnier@iro.umontreal.ca> |
|---|---|
| Newsgroups | comp.arch |
| Subject | Re: Should an ISA contain |
| Date | 2026-05-09 23:27 -0400 |
| Organization | A noiseless patient Spider |
| Message-ID | <jwvse8054kq.fsf-monnier+comp.arch@gnu.org> (permalink) |
| References | <1778283261-5857@newsgrouper.org> |
MitchAlsup [2026-05-08 23:34:21] wrote:
> Should an ISA contain an instruction that invalidates (without
> writing back) a Data Cache (or L2) line ?? {Discard}
I can't see how you can add that without introducing undefined
behavior into your ISA, so that's a clear no for me.
=== Stefan
Back to comp.arch | Previous | Next — Previous in thread | Next in thread | Find similar
Should an ISA contain MitchAlsup <user5857@newsgrouper.org.invalid> - 2026-05-08 23:34 +0000
Re: Should an ISA contain EricP <ThatWouldBeTelling@thevillage.com> - 2026-05-08 19:52 -0400
Re: Should an ISA contain MitchAlsup <user5857@newsgrouper.org.invalid> - 2026-05-09 18:44 +0000
Re: Should an ISA contain BGB <cr88192@gmail.com> - 2026-05-08 21:36 -0500
Re: Should an ISA contain Stefan Monnier <monnier@iro.umontreal.ca> - 2026-05-09 23:27 -0400
Re: Should an ISA contain Robert Finch <robfi680@gmail.com> - 2026-05-10 02:04 -0400
Re: Should an ISA contain MitchAlsup <user5857@newsgrouper.org.invalid> - 2026-05-10 17:26 +0000
Adding to: Re: Should an ISA contain MitchAlsup <user5857@newsgrouper.org.invalid> - 2026-05-10 21:03 +0000
Re: Adding to: Re: Should an ISA contain Paul Clayton <paaronclayton@gmail.com> - 2026-05-13 21:11 -0400
Re: Should an ISA contain scott@slp53.sl.home (Scott Lurndal) - 2026-05-11 14:27 +0000
Re: Should an ISA contain MitchAlsup <user5857@newsgrouper.org.invalid> - 2026-05-11 18:18 +0000
Re: Should an ISA contain Paul Clayton <paaronclayton@gmail.com> - 2026-05-10 18:45 -0400
Re: Should an ISA contain MitchAlsup <user5857@newsgrouper.org.invalid> - 2026-05-11 00:33 +0000
Re: Should an ISA contain Paul Clayton <paaronclayton@gmail.com> - 2026-05-10 21:43 -0400
Re: Should an ISA contain anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2026-05-11 07:29 +0000
Re: Should an ISA contain scott@slp53.sl.home (Scott Lurndal) - 2026-05-11 14:32 +0000
Re: Should an ISA contain MitchAlsup <user5857@newsgrouper.org.invalid> - 2026-05-11 18:09 +0000
Re: Should an ISA contain Paul Clayton <paaronclayton@gmail.com> - 2026-05-13 20:18 -0400
Re: Should an ISA contain scott@slp53.sl.home (Scott Lurndal) - 2026-05-14 14:57 +0000
Re: Should an ISA contain Paul Clayton <paaronclayton@gmail.com> - 2026-05-20 20:27 -0400
Re: Should an ISA contain MitchAlsup <user5857@newsgrouper.org.invalid> - 2026-05-11 18:00 +0000
Re: Should an ISA contain anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2026-05-11 06:39 +0000
Re: Should an ISA contain Paul Clayton <paaronclayton@gmail.com> - 2026-05-13 18:46 -0400
Re: Should an ISA contain MitchAlsup <user5857@newsgrouper.org.invalid> - 2026-05-14 01:36 +0000
Re: Should an ISA contain BGB <cr88192@gmail.com> - 2026-05-15 03:08 -0500
Re: Should an ISA contain Stefan Monnier <monnier@iro.umontreal.ca> - 2026-05-15 13:11 -0400
implementing sequential consistency (was: Should an ISA contain) anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2026-05-16 05:57 +0000
Re: implementing sequential consistency (was: Should an ISA contain) MitchAlsup <user5857@newsgrouper.org.invalid> - 2026-05-16 18:04 +0000
Re: implementing sequential consistency Terje Mathisen <terje.mathisen@tmsw.no> - 2026-05-16 20:50 +0200
Re: implementing sequential consistency MitchAlsup <user5857@newsgrouper.org.invalid> - 2026-05-16 23:01 +0000
Re: Should an ISA contain anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2026-05-14 14:48 +0000
Re: Should an ISA contain anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2026-05-11 06:07 +0000
Re: Should an ISA contain Lawrence D’Oliveiro <ldo@nz.invalid> - 2026-05-13 07:02 +0000
Re: Should an ISA contain BGB <cr88192@gmail.com> - 2026-05-14 12:22 -0500
Re: Should an ISA contain MitchAlsup <user5857@newsgrouper.org.invalid> - 2026-05-14 18:31 +0000
Re: Should an ISA contain BGB <cr88192@gmail.com> - 2026-05-14 20:07 -0500
Re: Should an ISA contain "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-05-15 14:13 -0700
Re: Should an ISA contain BGB <cr88192@gmail.com> - 2026-05-17 12:16 -0500
Re: Should an ISA contain MitchAlsup <user5857@newsgrouper.org.invalid> - 2026-05-17 22:08 +0000
Re: Should an ISA contain "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-05-18 17:14 -0700
Re: Should an ISA contain Andy Valencia <vandys@vsta.org> - 2026-05-14 18:53 -0700
Re: Should an ISA contain BGB <cr88192@gmail.com> - 2026-05-15 00:29 -0500
Re: Should an ISA contain quadi <quadibloc@ca.invalid> - 2026-05-19 20:20 +0000
Re: Should an ISA contain MitchAlsup <user5857@newsgrouper.org.invalid> - 2026-05-19 21:04 +0000
Re: Should an ISA contain kegs@provalid.com (Kent Dickey) - 2026-05-20 18:06 +0000
csiph-web