Introduction to the gfortran array descriptor
With the approval of Fortran 90, its array capabilities were largely improved. While still far from languages like APL, the extra functionality required a rethinking of the concept array in Fortran. This led to the need for array descriptors in the language.
A zoo of arrays
Many programming languages have a concept of array, as a very essential kind of aggregated data type where all the elements of the aggregation are of the same type and can be accessed by some indexing mechanism usually an integer expression. Beyond that basic functionality, languages differ.
In pre-Fortran 90 arrays were pretty simple and their size could only be a compile-time constant or an expression of the parameters of the functions. This is, there were not dynamic arrays of any kind in Fortran 77. This changed in Fortran 90 with the introduction of 4 kinds of arrays:
- Explicit-shape. These are the traditional arrays in Fortran 77. They have a dimension specification where all the elements are of the form
U
orL:U
. These expressions are either integer constants or computed using the parameters of the current function (in Fortran a parameter of the function is called a dummy argument). - Assumed-size. In these arrays we omit the upper bound of the last rank and we use * instead. This means that we cannot really know the extent of such rank at all. This form of array is only valid for dummy arguments (i.e. arrays that are parameters of the function). These arrays are conceptually equivalent to C ones as parameters. For instance, the last one is in practice equivalent to a parameter declaration
- Assumed-shape. In this case all dimensions specifications lack an upper bound but a lower bound is allowed, otherwise assumed 1. This is only valid for dummy arguments again. Its size will be inferred from the actual argument associated during the function call.
- Deferred-shape. In this case all dimensions specifications lack lower and upper bound. This is only valid for arrays that are
ALLOCATABLE
orPOINTER
. Note that in some cases these may look like assumed-shape. Their sizes and bounds are inferred from argument association or after anALLOCATE
statement.
While
int c[][20]
.
POINTER
and ALLOCATABLE
seem the same thing they represent different ideas. POINTER
arrays are references to other arrays (including anonymous ones obtained through ALLOCATE
). An ALLOCATABLE
array means an array that if allocated, its size is determined at runtime.
As you can see both assumed-shape and deferred-shape raise the bar of complexity of arrays. The reason is that we have to be able to compute their sizes at runtime. Fortran 90 introduces LBOUND
, UBOUND
and SIZE
intrinsics that allow us to query the boundaries and number of elements of an array, or one of its dimensions. For explicit-shape either these values are constant, so they can be computed by the compiler, or must depend on parameters so we still can relatively easy compute those in runtime without too much effort. But for assumed-shape and deferred-shape, this property becomes so general that we need to have the boundaries of the array somewhere.
A sensible place to do this is in the array itself.
Dope vectors
Historically, arrays are convenient because they can be just represented with an address to the first element. All other information that is required is usually available at compile time (type size, size of the dimension if they are constant, etc). For arrays whose size is non-constant, like the explicit-shape arrays D above, it is a minor complication but not too hard basically because the size of the array does not change. Assumed-size are like explicit-shape except that their full size and last-rank upper bound is unknown (this restriction pervades all the language in inconvenient ways but is not a technical problem per se).
Now consider assumed-shape and deferred-shape. How can we tell the sizes of the array in runtime? Well, as we said above we will need to store this in the array itself. This is usually called a dope vector or an array descriptor. The name suggests that the array itself is not any longer just an address to the first element but some more information. Another way to regard these descriptors are fat pointers. This is, pointers that encode more than an address.
In order to give some latitude to implementors, standards do not fully specify all the details and as such array descriptors are not mandated anywhere in the standard (although probably noted as a possible solution). This means that every Fortran 90 implementation can choose the array descriptor it wants. This also means that Fortran code in one compiler is not interoperable with other Fortran compilers. While this may sound terrible, it is usually not a concern due to the niche status of Fortran. But sometimes is, so the Chasm project can help in this case.
gfortran array descriptor
GNU Fortran, also called gfortran, is the Fortran 90/95/2003/2008... implementation available in the GNU Compiler Collection. Its array descriptor looks like this in C++ (adapted from the gfortran sources).
The descriptor keeps the address where the array starts in base_addr
field. In this case Type will never be an array and it will always be a scalar type or a derived type (structs in Fortran parlance). We will see later the meaning of the offset
field. Field dtype
encodes data type information described below. Finally, for each rank (i.e. dimension), the descriptor encodes a stride, we will see later why it is needed, the lower bound and upper bound of the rank.
Field dtype
encodes three things: the rank of the array, the element type and the size of the element type. It is currently laid like this (because the code suggest it will have to change for Fortran 2008).
Bits | 63/31..6 | 5..3 | 2..0 |
Meaning | size of the element type | element type | rank of the array |
The element type can take the following values
Fortran type | Value |
---|---|
INTEGER | 1 |
LOGICAL | 2 |
REAL | 3 |
COMPLEX | 4 |
Any derived type | 5 |
CHARACTER | 6 |
This descriptor is used both for assumed-shape and deferred-shape arrays.
Creation of the descriptor
Consider the following Fortran code
Here gfortran will allocate in the stack a local variable A
for a descriptor of rank 2 and then it initializes it with the proper values. First let's see the SIZE of this array: (5 - (-1) + 1) * (9 - 2 + 1) = 56. So we need to allocate 56 integers. The address to this storage is stored in base_address
. The code would look like this in C++
We need to remember the boundaries.
The field stride, states how many elements we skip effectively every time we increment the index of that rank. For rank 1 is always easy, only 1 element is skipped.
For rank 2, we skip all the elements of rank 1. In this case 7 (there are 7 elements ranging from -1 to 5, recall that both ends are included).
If our array had rank 3, the stride of rank 3 would account the stride of rank 2 and rank 1, so it would be 56 (= 7 * 8).
Also we need to store the appropriate info in dtype
.
Of course, all the above can be simplified as
We are still missing the offset
field in our array descriptor. The purpose of this field will be obvious when we index elements using the descriptor. It contains a value that compensates for lower bounds being other than zero. In our case, our lower bounds are -1 and 2. The element (i, j) of our array will be the i + j * 7 (this 7 is the stride of rank 1!). For the lower bound elements, this is when i = -1 and j = 2 we want the previous expression evaluate to zero. Thus we want i + j * 7 + offset = 0. This is offset = -(i + j * 7), substituting the value of i and j by -1 and 2 respectively we have that offset = -13.
And now we have our array descriptor fully initialized.
In general
For an ALLOCATE(X(l_{1}:u_{1}, l_{2}:u_{2}, ..., l_{n}:u_{n})
the descriptor is initialized like this.
size = ( (u_{1} - l_{1} + 1) * (u_{2} - l_{2} + 1) * ... * (u_{n} - l_{n} + 1) ) X.base_address = new T[ size ]; // rank 1 X.dim[0].lower_bound = l_{1}; X.dim[0].upper_bound = u_{1}; X.dim[0].stride = 1; // rank 2 X.dim[1].lower_bound = l_{2}; X.dim[1].upper_bound = u_{2}; X.dim[1].stride = (u_{1} - l_{1} + 1) * X.dim[0].stride; ... // rank n X.dim[n-1].lower_bound = l_{n}; X.dim[n-1].upper_bound = u_{n}; X.dim[n-1].stride = (u_{n-1} - l_{n-1} + 1) * X.dim[n-2].stride; X.dtype = n | (element_type << 3) | (element_size << 6) X.offset = - ( l_{1} * X.dim[0].stride + l_{1} * X.dim[1].stride + ... + l_{n} * X.dim[n - 1].stride );
Accessing elements using the descriptor
Now that our descriptor is fully initialized, we will want to access element A(i, j)
. We need to compute its address in memory. But first we need to locate the element (i, j)
of our array. We need to compute its linear index. The linear index basically tells us, starting from 0, what is the position of the element inside the array.
In general this means that given an array X
of rank n with descriptor, the linear index of X(i_{1}, i_{2}, ..., i_{n})
will be
li = (i_{1} - X.dim[0].lower_bound) * X.dim[0].stride + (i_{2} - X.dim[1].lower_bound) * X.dim[1].stride + ... + (i_{n} - X.dim[n-1].lower_bound) * X.dim[n-1].stride;
We can distribute the multiplication of the stride to get
li = i_{1} * X.dim[0].stride - X.dim[0].lower_bound * X.dim[0].stride + i_{2} * X.dim[1].stride - X.dim[1].lower_bound * X.dim[1].stride + ... + i_{n} * X.dim[n-1].stride - X.dim[n-1].lower_bound * X.dim[n-1].stride;
and then regroup additions and subtractions
li = i_{1} * X.dim[0].stride + i_{2} * X.dim[1].stride + ... + i_{n} * X.dim[n-1].stride - X.dim[0].lower_bound * X.dim[0].stride - X.dim[1].lower_bound * X.dim[1].stride - ... - X.dim[n-1].lower_bound * X.dim[n-1].stride;
Recall that
if we distribute the minus sign
and this is exactly what we have above. So the linear index can be rewritten as
li = i_{1} * X.dim[0].stride + i_{2} * X.dim[1].stride + ... + i_{n} * X.dim[n-1].stride + X.offset;
Ok, now we have the linear index, but we still need to compute the address of the element. The linear index is very useful because we know each element in the array takes the same amount of storage in bytes, so we only have to multiply it by the element size (es
). The element size is found encoded in the field dtype
.
So we only have to scale the linear index by the number of bytes of each element.
This offset in bytes (ob
) still has to be added to the base address to get the element address (ea
).
And ea
contains the address of the element.
Other operations that involve creation of array descriptors
Besides the ALLOCATE
statement, a Fortran compiler may need to create descriptors in other cases. For instance when passing an array to a function that expects an assumed-shape array or during pointer assignment. In fact pointer assignment is rather cool because it allows to remap the indices of an array. Consider for instance the following example.
Here what we are doing is kind of a window of 3x7 elements over A. Elements are mapped like this.
How is the array descriptor of P initialized in this case? First the base address of the array will not be set to the base address of A but to the element A(3, 2).
The lower and upper bound of the first rank is 1 and 3 respectively. The stride, as usually in the first rank is 1.
In the second rank, lower bound and upper bound is 1 to 7. Here the stride is 10. Why is it 10, because between two consecutive indexes of the second rank there still are 10 elements.
Field dtype will contain 266 again because this is a rank 2 array of INTEGERs of 4 bytes each.
Field offset will be -11, this is exactly -( 1 + 1 * 10 )
.
All this works because P is actually just a skewed version of A but with shorter bounds. This is why the base address is not A(1, 1) but A(3, 2) and everything else, but the bounds of course, is the same.
Now consider the same case but we change the pointer assignment to be
Now the mapping looks like this
How to achieve this? Note first that the rank 1 is now skipping every other element. This is equivalent to a stride of 2 in rank 1. Also note that now the offset has to compensate for this extra multiplication. So instead of -11 it is -12? Why, check the formula for the offset and you will see that we are multiplying the lower bound of each rank per its stride. So - ( 1 * 2 + 1 * 10 ) = -12.
Yet another example
Now the mapping is
and the required array descriptor is the following
Check the stride for the second rank. Now it is 30 because we are going in steps of three, so the original stride was 10 now it is 30. Obviously this requires also adjusting the offset.
Nice, isn't it? :)