comparison DEPENDENCIES/mingw32/Python27/Lib/site-packages/numpy/doc/internals.py @ 87:2a2c65a20a8b

Add Python libs and headers
author Chris Cannam
date Wed, 25 Feb 2015 14:05:22 +0000
parents
children
comparison
equal deleted inserted replaced
86:413a9d26189e 87:2a2c65a20a8b
1 """
2 ===============
3 Array Internals
4 ===============
5
6 Internal organization of numpy arrays
7 =====================================
8
9 It helps to understand a bit about how numpy arrays are handled under the covers to help understand numpy better. This section will not go into great detail. Those wishing to understand the full details are referred to Travis Oliphant's book "Guide to Numpy".
10
11 Numpy arrays consist of two major components, the raw array data (from now on,
12 referred to as the data buffer), and the information about the raw array data.
13 The data buffer is typically what people think of as arrays in C or Fortran,
14 a contiguous (and fixed) block of memory containing fixed sized data items.
15 Numpy also contains a significant set of data that describes how to interpret
16 the data in the data buffer. This extra information contains (among other things):
17
18 1) The basic data element's size in bytes
19 2) The start of the data within the data buffer (an offset relative to the
20 beginning of the data buffer).
21 3) The number of dimensions and the size of each dimension
22 4) The separation between elements for each dimension (the 'stride'). This
23 does not have to be a multiple of the element size
24 5) The byte order of the data (which may not be the native byte order)
25 6) Whether the buffer is read-only
26 7) Information (via the dtype object) about the interpretation of the basic
27 data element. The basic data element may be as simple as a int or a float,
28 or it may be a compound object (e.g., struct-like), a fixed character field,
29 or Python object pointers.
30 8) Whether the array is to interpreted as C-order or Fortran-order.
31
32 This arrangement allow for very flexible use of arrays. One thing that it allows
33 is simple changes of the metadata to change the interpretation of the array buffer.
34 Changing the byteorder of the array is a simple change involving no rearrangement
35 of the data. The shape of the array can be changed very easily without changing
36 anything in the data buffer or any data copying at all
37
38 Among other things that are made possible is one can create a new array metadata
39 object that uses the same data buffer
40 to create a new view of that data buffer that has a different interpretation
41 of the buffer (e.g., different shape, offset, byte order, strides, etc) but
42 shares the same data bytes. Many operations in numpy do just this such as
43 slices. Other operations, such as transpose, don't move data elements
44 around in the array, but rather change the information about the shape and strides so that the indexing of the array changes, but the data in the doesn't move.
45
46 Typically these new versions of the array metadata but the same data buffer are
47 new 'views' into the data buffer. There is a different ndarray object, but it
48 uses the same data buffer. This is why it is necessary to force copies through
49 use of the .copy() method if one really wants to make a new and independent
50 copy of the data buffer.
51
52 New views into arrays mean the the object reference counts for the data buffer
53 increase. Simply doing away with the original array object will not remove the
54 data buffer if other views of it still exist.
55
56 Multidimensional Array Indexing Order Issues
57 ============================================
58
59 What is the right way to index
60 multi-dimensional arrays? Before you jump to conclusions about the one and
61 true way to index multi-dimensional arrays, it pays to understand why this is
62 a confusing issue. This section will try to explain in detail how numpy
63 indexing works and why we adopt the convention we do for images, and when it
64 may be appropriate to adopt other conventions.
65
66 The first thing to understand is
67 that there are two conflicting conventions for indexing 2-dimensional arrays.
68 Matrix notation uses the first index to indicate which row is being selected and
69 the second index to indicate which column is selected. This is opposite the
70 geometrically oriented-convention for images where people generally think the
71 first index represents x position (i.e., column) and the second represents y
72 position (i.e., row). This alone is the source of much confusion;
73 matrix-oriented users and image-oriented users expect two different things with
74 regard to indexing.
75
76 The second issue to understand is how indices correspond
77 to the order the array is stored in memory. In Fortran the first index is the
78 most rapidly varying index when moving through the elements of a two
79 dimensional array as it is stored in memory. If you adopt the matrix
80 convention for indexing, then this means the matrix is stored one column at a
81 time (since the first index moves to the next row as it changes). Thus Fortran
82 is considered a Column-major language. C has just the opposite convention. In
83 C, the last index changes most rapidly as one moves through the array as
84 stored in memory. Thus C is a Row-major language. The matrix is stored by
85 rows. Note that in both cases it presumes that the matrix convention for
86 indexing is being used, i.e., for both Fortran and C, the first index is the
87 row. Note this convention implies that the indexing convention is invariant
88 and that the data order changes to keep that so.
89
90 But that's not the only way
91 to look at it. Suppose one has large two-dimensional arrays (images or
92 matrices) stored in data files. Suppose the data are stored by rows rather than
93 by columns. If we are to preserve our index convention (whether matrix or
94 image) that means that depending on the language we use, we may be forced to
95 reorder the data if it is read into memory to preserve our indexing
96 convention. For example if we read row-ordered data into memory without
97 reordering, it will match the matrix indexing convention for C, but not for
98 Fortran. Conversely, it will match the image indexing convention for Fortran,
99 but not for C. For C, if one is using data stored in row order, and one wants
100 to preserve the image index convention, the data must be reordered when
101 reading into memory.
102
103 In the end, which you do for Fortran or C depends on
104 which is more important, not reordering data or preserving the indexing
105 convention. For large images, reordering data is potentially expensive, and
106 often the indexing convention is inverted to avoid that.
107
108 The situation with
109 numpy makes this issue yet more complicated. The internal machinery of numpy
110 arrays is flexible enough to accept any ordering of indices. One can simply
111 reorder indices by manipulating the internal stride information for arrays
112 without reordering the data at all. Numpy will know how to map the new index
113 order to the data without moving the data.
114
115 So if this is true, why not choose
116 the index order that matches what you most expect? In particular, why not define
117 row-ordered images to use the image convention? (This is sometimes referred
118 to as the Fortran convention vs the C convention, thus the 'C' and 'FORTRAN'
119 order options for array ordering in numpy.) The drawback of doing this is
120 potential performance penalties. It's common to access the data sequentially,
121 either implicitly in array operations or explicitly by looping over rows of an
122 image. When that is done, then the data will be accessed in non-optimal order.
123 As the first index is incremented, what is actually happening is that elements
124 spaced far apart in memory are being sequentially accessed, with usually poor
125 memory access speeds. For example, for a two dimensional image 'im' defined so
126 that im[0, 10] represents the value at x=0, y=10. To be consistent with usual
127 Python behavior then im[0] would represent a column at x=0. Yet that data
128 would be spread over the whole array since the data are stored in row order.
129 Despite the flexibility of numpy's indexing, it can't really paper over the fact
130 basic operations are rendered inefficient because of data order or that getting
131 contiguous subarrays is still awkward (e.g., im[:,0] for the first row, vs
132 im[0]), thus one can't use an idiom such as for row in im; for col in im does
133 work, but doesn't yield contiguous column data.
134
135 As it turns out, numpy is
136 smart enough when dealing with ufuncs to determine which index is the most
137 rapidly varying one in memory and uses that for the innermost loop. Thus for
138 ufuncs there is no large intrinsic advantage to either approach in most cases.
139 On the other hand, use of .flat with an FORTRAN ordered array will lead to
140 non-optimal memory access as adjacent elements in the flattened array (iterator,
141 actually) are not contiguous in memory.
142
143 Indeed, the fact is that Python
144 indexing on lists and other sequences naturally leads to an outside-to inside
145 ordering (the first index gets the largest grouping, the next the next largest,
146 and the last gets the smallest element). Since image data are normally stored
147 by rows, this corresponds to position within rows being the last item indexed.
148
149 If you do want to use Fortran ordering realize that
150 there are two approaches to consider: 1) accept that the first index is just not
151 the most rapidly changing in memory and have all your I/O routines reorder
152 your data when going from memory to disk or visa versa, or use numpy's
153 mechanism for mapping the first index to the most rapidly varying data. We
154 recommend the former if possible. The disadvantage of the latter is that many
155 of numpy's functions will yield arrays without Fortran ordering unless you are
156 careful to use the 'order' keyword. Doing this would be highly inconvenient.
157
158 Otherwise we recommend simply learning to reverse the usual order of indices
159 when accessing elements of an array. Granted, it goes against the grain, but
160 it is more in line with Python semantics and the natural order of the data.
161
162 """
163 from __future__ import division, absolute_import, print_function