Deutsch English Français Italiano |
<2024Nov16.095840@mips.complang.tuwien.ac.at> View for Bookmarking (what is this?) Look up another Usenet article |
Path: eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: anton@mips.complang.tuwien.ac.at (Anton Ertl) Newsgroups: comp.arch Subject: Re: Memory ordering (was: Arm ldaxr / stxr loop question) Date: Sat, 16 Nov 2024 08:58:40 GMT Organization: Institut fuer Computersprachen, Technische Universitaet Wien Lines: 35 Message-ID: <2024Nov16.095840@mips.complang.tuwien.ac.at> References: <vfono1$14l9r$1@dont-email.me> <vgm4vj$3d2as$1@dont-email.me> <vgm5cb$3d2as$3@dont-email.me> <YfxXO.384093$EEm7.56154@fx16.iad> <vh4530$2mar5$1@dont-email.me> <-rKdnTO4LdoWXKj6nZ2dnZfqnPWdnZ2d@supernews.com> <vh5t5b$312cl$2@dont-email.me> <5yqdnU9eL_Y_GKv6nZ2dnZfqn_GdnZ2d@supernews.com> <2024Nov15.082512@mips.complang.tuwien.ac.at> <bGIZO.14450$giU1.1827@fx09.iad> Injection-Date: Sat, 16 Nov 2024 10:27:03 +0100 (CET) Injection-Info: dont-email.me; posting-host="668679466aa50fd1b7dfc1c090e9ffee"; logging-data="4141672"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18SGjBoM+rSbtjqqiFMtyb7" Cancel-Lock: sha1:EnNG/w1X/bknX6sly9qMZNqUU5M= X-newsreader: xrn 10.11 scott@slp53.sl.home (Scott Lurndal) writes: >anton@mips.complang.tuwien.ac.at (Anton Ertl) writes: >>Was it an actual behaviour of any Alpha for public sale, or was it >>just the Alpha specification? .... >Perhaps one might ask Dr. Kessler? > >https://acg.cis.upenn.edu/milom/cis501-Fall09/papers/Alpha21264.pdf I don't think that anything in the 21264 core would result in the Alpha-unique inconsistency; the only core mechanisms that I can think of where that would be relevant is value prediction, and the 21264 does not do that. Looking at the memory subsystems of bigger Alpha systems might be more relevant. There is a good reason to suspect that the Alpha architects imagined hardware that actually did not appear: They did not specify hardware byte and 16-bit memory accesses with the justification that a first-level write-back cache would require ECC in DEC machines, and ECC for bytes (or read-modify-write for keeping ECC on larger units) is supposedly too expensive. However, the Alphas without BWX instructions (everything up to EV5, but EV56 and later acquired BWX) never had a first-level write-back cache. And the EV6 which has a first-level write-back cache, implements the BWX instructions, so the reasoning against BWX obviously does not hold water. Reading on page 31 of the paper above, the 21264 (EV6) uses read-modify-write for updating the ECC data. - anton -- 'Anyone trying for "industrial quality" ISA should avoid undefined behavior.' Mitch Alsup, <c17fcd89-f024-40e7-a594-88a85ac10d20o@googlegroups.com>