Re: Oberon and Wirthian languages

[Simon Wright <simon@pushface.org>]

Simon Clubley <clubley@remove_me.eisner.decus.org-Earth.UFP> writes:

> I wonder if we need something like that for Ada proper so we don't
> have to read the register into a temporary variable first in order to
> guarantee a single register read and a single register write while
> updating a subset of bitfields in the register.
>
> Having to use a temporary variable to guarantee a update of, say, a
> couple of bitfields (out of a possible large number of bitfields) at
> the same time just feels as if it isn't elegant.

But hardware isn't (usually) elegant! If what the hardware designer
wants is for you to read the register, change the values you need to in
the local copy, then write the modified value back, that's what the code
should do, surely, without relying on compiler magic with obscure
pragmas to make it happen? (Ada's pragma Atomic is quite obscure enough
already!)