7
$\begingroup$

I need to do a large number of matrix operations in Matlab, but one of the matrices is 4-D and my normal instincts for correct vectorization are failing me. Right now I'm using a loop. Maybe somebody can fix my dumb brain?

for k=1:kNum
   for l=1:lNum
      L(k,l,:) = squeeze(M(k,l,:,:))\squeeze(P(k,l,:));
   end
end
$\endgroup$
5
  • $\begingroup$ I wasn't sure if this should go to SO, but I checked the FAQ and it left me feeling that this is on topic here. If not I apologize. Feel free to migrate it. $\endgroup$
    – Colin K
    May 5, 2012 at 22:01
  • 1
    $\begingroup$ It's on topic, don't worry about it :) $\endgroup$ May 6, 2012 at 6:28
  • $\begingroup$ Just to be clear, you're doing a backsolve in each case? How big are the two trailing dimensions of M? I'm not sure vectorization is going to help you here... $\endgroup$ May 6, 2012 at 15:49
  • $\begingroup$ @aron: Yes, exactly. The first two dimensions are purely organizational, rather than mathematical. The trailing dimensions of M are something like [100 7]. I see what you mean about vectorization not helping, since each solve is unrelated; but in my experience, if you can get Matlab to do the looping "under the hood" it is usually much faster. $\endgroup$
    – Colin K
    May 6, 2012 at 16:38
  • $\begingroup$ In case it is at all enlightening, I will mention: each solve is operating on a time series of values of one pixel in an image (actually, its fourier transform). That operation is parameterized by the position of that pixel. $\endgroup$
    – Colin K
    May 6, 2012 at 16:47

1 Answer 1

8
$\begingroup$

I don't think that it is possible to vectorize this expression very much. Generally, vectorization is used with assignments to vectors along with functions which output seperate results for each item, for instance

for i = 1:N
   A(i) = sin(i)
end

is equal to

i = 1:N
A(i) = sin(i)

because sin does elementwise sine of the elements. When solving linear equation sets using mldivide/"backslash operator" the solution depends on all the elements in the vector - you can't just do element wise mldivide unless the matrix has special properties.

For optimizing this loop, you could consider using parfor-loops (the looping variables are normal numbers incremented by one, so it should be as simple as doing "parfor" instead of "for). This requires the parallel computing toolbox. You could also unroll the loops to get better performance, if the numbering of the indices is somewhat predictible.

Or, you could try to write an .mex-file doing the same operation. In C/Fortran looping is as fast as / faster than MATLAB vectorization.

Another thing to consider is reordering the memory access: Since matrices are just long arrays accessed using a [i + j*dim1 + k*dim1*dim2] pattern it is important to ensure that the inner loop corresponds to the memory which is stored sequentially. For 2D matrices, at least, doing

for k=1:kNum
   for l=1:lNum
       L(k,l,:) = squeeze(M(k,l,:,:))\squeeze(P(k,l,:));

is slower than

for l= 1:lNum
   for k=1:kNum
       L(k,l,:) = squeeze(M(k,l,:,:))\squeeze(P(k,l,:));

since the elements corresponding to the k-index are stored sequentially. Mathworks has some information on it, but it is not really something specific to MATLAB per se, any somewhat advanced text on arrays for C or FORTRAN should go into more details. There is also some cache stuff going on under the hood here.

edit: While not useful here as the right hand side and left hand side is different in each solution, if you are doing something like

for i = 1:N
    solution(:,i) = A\b(:,i)
end

you might as well do

solution = A\b
$\endgroup$
3
  • 1
    $\begingroup$ Maybe you have a different idea of what vectorization means than do I. I realize that each solve involves all the elements of the vector. But imagine that I wanted to multiply a bunch of vectors, $b_i$, by a matrix, A. I could put all my vectors in a matrix B, and then just do A*B. This is a lot faster than looping over my vectors and doing $A*b_i$ in a loop, even though each vector-matrix multiply is unrelated to the others. I am looking for a way to extend this to higher dimension. $\endgroup$
    – Colin K
    May 6, 2012 at 21:34
  • $\begingroup$ Good tip though about the sequential access. +1 :) $\endgroup$
    – Colin K
    May 6, 2012 at 21:35
  • $\begingroup$ I understand what you're getting at, and I have updated my answer for a similar case. You could do some optimizations whenever you want to solve a linear system for many different right hand sides, but for your specific problem I don't see any more obvious optimizations. $\endgroup$
    – moyner
    May 7, 2012 at 8:32

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.