Re: ada and robots

[dewar@merv.cs.nyu.edu (Robert Dewar)]

iGeert said

<<IMO it is an obvious bug to do memory I/O to such a device using
an unconstrained array type without any representation clauses or
whatever. From such a device you should only read data with 'Size=32
and pragma Atomic applied:
   type Bits is array (0 .. 31) of Boolean;
   pragma Pack (Bits);
   pragma Atomic (Bits);
   for Bits'Size use 32;

Certainly I would not expect any compiler to read elements from
Bits using byte reads in this case. For larger bit arrays than 32
bits I would choose to map the entire device memory using a
constrained array of Bits, like:
   type Word_Index is range 0 .. 2**32 - 1;
   type Words is array (Word_Index range <>) of Bits;
   subtype Video_Words is array (0 .. 16#3FFF#);
>>



Of course the code had the pragma Pack. I thought that was obvious
from context.

The Size clause is totally redundant, people often put it in for
good measure, but it has no effect, except to confirm the choice
that the compiler is making anyway.

The pramga Atomic is completely irrelevant, it affects only the semantics
of reads and writes to the entire array, not to its components.

<<Certainly I would not expect any compiler to read elements from
Bits using byte reads in this case>>

Yes, well the programmers in this case agreed with you. Unfortunately
you have absolutely NO basis for this expectation whatsoever. If you
think otherwise, try to prove it from the RM.

On some machines, the word read will be faster than the byte read

On some machines the byte read will be faster than the word read
(the 386SX is an example)

Om most machines, the speeds will be the same

For the first case, one hopes, but cannot be sure, that the compiler
will do word reads.

For the second case, one hopes, but cannot be sure, that the compiler
will do byte reads.

For the third case, one should have no hopes or expectations whatever!

It is these unjustified "Certainly I would not expect" intutions that
have no basis in the language definitoin that end up causing trouble!