FixedSizeVectorizable.dox 1.9 KB

1234567891011121314151617181920212223242526272829303132333435363738
  1. namespace Eigen {
  2. /** \eigenManualPage TopicFixedSizeVectorizable Fixed-size vectorizable %Eigen objects
  3. The goal of this page is to explain what we mean by "fixed-size vectorizable".
  4. \section FixedSizeVectorizable_summary Executive Summary
  5. An Eigen object is called "fixed-size vectorizable" if it has fixed size and that size is a multiple of 16 bytes.
  6. Examples include:
  7. \li Eigen::Vector2d
  8. \li Eigen::Vector4d
  9. \li Eigen::Vector4f
  10. \li Eigen::Matrix2d
  11. \li Eigen::Matrix2f
  12. \li Eigen::Matrix4d
  13. \li Eigen::Matrix4f
  14. \li Eigen::Affine3d
  15. \li Eigen::Affine3f
  16. \li Eigen::Quaterniond
  17. \li Eigen::Quaternionf
  18. \section FixedSizeVectorizable_explanation Explanation
  19. First, "fixed-size" should be clear: an %Eigen object has fixed size if its number of rows and its number of columns are fixed at compile-time. So for example \ref Matrix3f has fixed size, but \ref MatrixXf doesn't (the opposite of fixed-size is dynamic-size).
  20. The array of coefficients of a fixed-size %Eigen object is a plain "static array", it is not dynamically allocated. For example, the data behind a \ref Matrix4f is just a "float array[16]".
  21. Fixed-size objects are typically very small, which means that we want to handle them with zero runtime overhead -- both in terms of memory usage and of speed.
  22. Now, vectorization works with 128-bit packets (e.g., SSE, AltiVec, NEON), 256-bit packets (e.g., AVX), or 512-bit packets (e.g., AVX512). Moreover, for performance reasons, these packets are most efficiently read and written if they have the same alignment as the packet size, that is 16 bytes, 32 bytes, and 64 bytes respectively.
  23. So it turns out that the best way that fixed-size %Eigen objects can be vectorized, is if their size is a multiple of 16 bytes (or more). %Eigen will then request 16-byte alignment (or more) for these objects, and henceforth rely on these objects being aligned to achieve maximal efficiency.
  24. */
  25. }