| // This file is part of Eigen, a lightweight C++ template library |
| // for linear algebra. |
| // |
| // Copyright (C) 2023 Rasmus Munk Larsen <rmlarsen@gmail.com> |
| // |
| // This Source Code Form is subject to the terms of the Mozilla |
| // Public License v. 2.0. If a copy of the MPL was not distributed |
| // with this file, You can obtain one at http://mozilla.org/MPL/2.0/. |
| // SPDX-License-Identifier: MPL-2.0 |
| |
| #define EIGEN_GEMM_THREADPOOL |
| #include "main.h" |
| |
| // Eigen::setGemmThreadPool(nullptr) is the *getter*: Parallelizer.h only stores the pointer when |
| // it is non-null, so once any test registers a pool it stays registered for the rest of the |
| // process. A "serial" reference computed after that point is really a threaded one, and the |
| // comparison degenerates into threaded-against-threaded. |
| // |
| // parallelize_gemm decides on min(nbThreads(), work-derived bound) <= 1 before it ever reaches the |
| // pool, so forcing the thread count is what actually pins the serial path. It also makes the |
| // stale registration harmless. |
| struct ScopedSerialGemm { |
| ScopedSerialGemm() : saved_threads_(Eigen::nbThreads()) { Eigen::setNbThreads(1); } |
| // In a thread-pool build nbThreads() reports the raw -1 that means "never set", and |
| // setNbThreads rejects a negative count. 0 is its documented "back to the pool's count". |
| ~ScopedSerialGemm() { Eigen::setNbThreads(saved_threads_ > 0 ? saved_threads_ : 0); } |
| ScopedSerialGemm(const ScopedSerialGemm&) = delete; |
| ScopedSerialGemm& operator=(const ScopedSerialGemm&) = delete; |
| |
| private: |
| int saved_threads_; |
| }; |
| |
| template <typename = void> |
| void test_parallelize_gemm() { |
| constexpr int n = 1024; |
| constexpr int num_threads = 4; |
| MatrixXf a = MatrixXf::Random(n, n); |
| MatrixXf b = MatrixXf::Random(n, n); |
| MatrixXf c = MatrixXf::Random(n, n); |
| { |
| ScopedSerialGemm serial; |
| c.noalias() = a * b; |
| } |
| |
| // static: setGemmThreadPool cannot unregister, so a pool with narrower lifetime than the process |
| // would leave a dangling pointer registered for whatever runs next. |
| static ThreadPool pool(num_threads); |
| Eigen::setGemmThreadPool(&pool); |
| MatrixXf c_threaded(n, n); |
| c_threaded.noalias() = a * b; |
| |
| VERIFY_IS_APPROX(c, c_threaded); |
| } |
| |
| template <typename = void> |
| void test_parallelize_gemm_varied() { |
| constexpr int num_threads = 4; |
| static ThreadPool pool(num_threads); |
| |
| // Non-square float |
| { |
| MatrixXf a = MatrixXf::Random(512, 2048); |
| MatrixXf b = MatrixXf::Random(2048, 256); |
| MatrixXf c_serial(512, 256); |
| { |
| ScopedSerialGemm serial; |
| c_serial.noalias() = a * b; |
| } |
| Eigen::setGemmThreadPool(&pool); |
| MatrixXf c_threaded(512, 256); |
| c_threaded.noalias() = a * b; |
| VERIFY_IS_APPROX(c_serial, c_threaded); |
| } |
| |
| // Double |
| { |
| MatrixXd a = MatrixXd::Random(512, 512); |
| MatrixXd b = MatrixXd::Random(512, 512); |
| MatrixXd c_serial(512, 512); |
| { |
| ScopedSerialGemm serial; |
| c_serial.noalias() = a * b; |
| } |
| Eigen::setGemmThreadPool(&pool); |
| MatrixXd c_threaded(512, 512); |
| c_threaded.noalias() = a * b; |
| VERIFY_IS_APPROX(c_serial, c_threaded); |
| } |
| |
| // Complex double |
| { |
| MatrixXcd a = MatrixXcd::Random(256, 256); |
| MatrixXcd b = MatrixXcd::Random(256, 256); |
| MatrixXcd c_serial(256, 256); |
| { |
| ScopedSerialGemm serial; |
| c_serial.noalias() = a * b; |
| } |
| Eigen::setGemmThreadPool(&pool); |
| MatrixXcd c_threaded(256, 256); |
| c_threaded.noalias() = a * b; |
| VERIFY_IS_APPROX(c_serial, c_threaded); |
| } |
| } |
| |
| template <typename = void> |
| void test_balanced_gemm_range() { |
| static const Index totals[] = {0, 1, 3, 4, 7, 12, 63, 100, 4096, 8192, 9216}; |
| static const Index part_counts[] = {1, 2, 3, 7, 8, 32, 64, 72}; |
| static const Index grains[] = {1, 4, 6, 8, 12}; |
| for (Index total : totals) { |
| for (Index parts : part_counts) { |
| for (Index grain : grains) { |
| Index expected_start = 0; |
| Index min_chunks = NumTraits<Index>::highest(); |
| Index max_chunks = 0; |
| for (Index part = 0; part < parts; ++part) { |
| Index start = -1, length = -1; |
| internal::balanced_gemm_range<Index>(total, parts, grain, part, start, length); |
| // Gaps or overlaps corrupt the packed-lhs handoff, which indexes blockA by lhs_start. |
| VERIFY(start == expected_start); |
| VERIFY(length >= 0); |
| expected_start = start + length; |
| const Index chunks = numext::div_ceil(length, grain); |
| min_chunks = numext::mini(min_chunks, chunks); |
| max_chunks = numext::maxi(max_chunks, chunks); |
| } |
| VERIFY(expected_start == total); |
| // A single oversized range throttles every other thread. |
| VERIFY(max_chunks - min_chunks <= Index(1)); |
| } |
| } |
| } |
| } |
| |
| template <typename MatrixType> |
| void verify_threaded_product(ThreadPool& pool, Index rows, Index depth, Index cols) { |
| MatrixType a = MatrixType::Random(rows, depth), b = MatrixType::Random(depth, cols); |
| MatrixType c_serial; |
| { |
| ScopedSerialGemm serial; |
| c_serial = a * b; |
| } |
| Eigen::setGemmThreadPool(&pool); |
| MatrixType c_threaded = a * b; |
| VERIFY_IS_APPROX(c_serial, c_threaded); |
| } |
| |
| template <typename = void> |
| void test_parallelize_gemm_indivisible() { |
| // Shapes deliberately not divisible by the thread count, where the split has to spread the |
| // remainder rather than append it to the last thread. |
| static ThreadPool pool(8); |
| verify_threaded_product<MatrixXf>(pool, 517, 331, 523); |
| verify_threaded_product<MatrixXf>(pool, 1021, 331, 259); |
| verify_threaded_product<MatrixXf>(pool, 64, 331, 4099); |
| verify_threaded_product<MatrixXf>(pool, 4099, 331, 64); |
| } |
| |
| // A scalar whose constructors set a magic value that operator= checks: the shared blocking buffers of a threaded |
| // product must be constructed before the packers assign into them (NumTraits::RequireInitialization). |
| struct TrackedScalar { |
| static constexpr unsigned kMagic = 0x5EEDu; |
| static int unconstructed_assignments; |
| double v; |
| unsigned magic; |
| TrackedScalar() : v(0), magic(kMagic) {} |
| TrackedScalar(double d) : v(d), magic(kMagic) {} |
| TrackedScalar(const TrackedScalar& o) : v(o.v), magic(kMagic) {} |
| TrackedScalar& operator=(const TrackedScalar& o) { |
| if (magic != kMagic) ++unconstructed_assignments; |
| v = o.v; |
| return *this; |
| } |
| TrackedScalar operator+(const TrackedScalar& o) const { return TrackedScalar(v + o.v); } |
| TrackedScalar operator-(const TrackedScalar& o) const { return TrackedScalar(v - o.v); } |
| TrackedScalar operator*(const TrackedScalar& o) const { return TrackedScalar(v * o.v); } |
| TrackedScalar operator-() const { return TrackedScalar(-v); } |
| TrackedScalar& operator+=(const TrackedScalar& o) { return *this = *this + o; } |
| TrackedScalar& operator*=(const TrackedScalar& o) { return *this = *this * o; } |
| bool operator==(const TrackedScalar& o) const { return v == o.v; } |
| bool operator!=(const TrackedScalar& o) const { return v != o.v; } |
| bool operator<(const TrackedScalar& o) const { return v < o.v; } |
| }; |
| int TrackedScalar::unconstructed_assignments = 0; |
| |
| namespace Eigen { |
| template <> |
| struct NumTraits<TrackedScalar> : GenericNumTraits<TrackedScalar> { |
| using Real = TrackedScalar; |
| using NonInteger = TrackedScalar; |
| using Nested = TrackedScalar; |
| static constexpr int IsComplex = 0; |
| static constexpr int IsInteger = 0; |
| static constexpr int IsSigned = 1; |
| static constexpr int RequireInitialization = 1; |
| static constexpr int ReadCost = 1; |
| static constexpr int AddCost = 1; |
| static constexpr int MulCost = 1; |
| }; |
| } // namespace Eigen |
| |
| template <typename = void> |
| void test_parallelize_gemm_require_initialization() { |
| constexpr int n = 160; |
| static ThreadPool pool(4); |
| Eigen::setGemmThreadPool(&pool); |
| using Mat = Matrix<TrackedScalar, Dynamic, Dynamic>; |
| const MatrixXd ad = MatrixXd::Random(n, n), bd = MatrixXd::Random(n, n); |
| const Mat a = ad.cast<TrackedScalar>(), b = bd.cast<TrackedScalar>(); |
| Mat c(n, n); |
| TrackedScalar::unconstructed_assignments = 0; |
| c.noalias() = a * b; |
| VERIFY_IS_EQUAL(TrackedScalar::unconstructed_assignments, 0); |
| const MatrixXd cd = c.unaryExpr([](const TrackedScalar& x) { return x.v; }); |
| VERIFY_IS_APPROX(cd, ad * bd); |
| } |
| |
| // Tiny results and thin column ranges on a pool: tiny results run on one thread, and every thread of a split product |
| // takes the same path. |
| template <typename Scalar> |
| void test_parallelize_gemm_tiny() { |
| static ThreadPool pool(4); |
| Eigen::setGemmThreadPool(&pool); |
| Eigen::setNbThreads(4); |
| using Mat = Matrix<Scalar, Dynamic, Dynamic>; |
| for (Index m : {2, 4, 8}) |
| for (Index n : {3, 8, 17, 36}) |
| for (Index k : {16, 2000, 4096}) { |
| const Mat a = Mat::Random(m, k), b = Mat::Random(k, n); |
| Mat c(m, n); |
| c.noalias() = a * b; |
| VERIFY_IS_APPROX(c, a.lazyProduct(b)); |
| } |
| Eigen::setNbThreads(0); |
| } |
| |
| // Shapes the SME backend splits into disjoint parts per unit: odd sizes, a row-major result, and thin results split |
| // along their long side; compared with a serial product. |
| template <typename = void> |
| void test_parallelize_gemm_parts() { |
| static ThreadPool pool(4); |
| Eigen::setGemmThreadPool(&pool); |
| const int shapes[][3] = {{333, 517, 129}, {1024, 24, 512}, {24, 1024, 512}, {517, 333, 257}}; |
| for (const auto& s : shapes) { |
| const MatrixXf a = MatrixXf::Random(s[0], s[2]), b = MatrixXf::Random(s[2], s[1]); |
| MatrixXf c_serial(s[0], s[1]), c_threaded(s[0], s[1]); |
| { |
| ScopedSerialGemm serial; |
| c_serial.noalias() = a * b; |
| } |
| c_threaded.noalias() = a * b; |
| VERIFY_IS_APPROX(c_serial, c_threaded); |
| using RowMat = Matrix<float, Dynamic, Dynamic, RowMajor>; |
| const RowMat ar = a, br = b; |
| RowMat r_serial(s[0], s[1]), r_threaded(s[0], s[1]); |
| { |
| ScopedSerialGemm serial; |
| r_serial.noalias() = ar * br; |
| } |
| r_threaded.noalias() = ar * br; |
| VERIFY_IS_APPROX(r_serial, r_threaded); |
| VERIFY_IS_APPROX(r_threaded, RowMat(c_serial)); |
| } |
| } |
| |
| // The disjoint parts for every scalar the SME kernel serves, including shapes whose split side has fewer chunks than |
| // threads, and a tall result that the 8-panel rule splits by columns instead of rows. |
| template <typename Scalar> |
| void test_parallelize_gemm_parts_types() { |
| static ThreadPool pool(4); |
| Eigen::setGemmThreadPool(&pool); |
| using Mat = Matrix<Scalar, Dynamic, Dynamic>; |
| using RowMat = Matrix<Scalar, Dynamic, Dynamic, RowMajor>; |
| const int shapes[][3] = {{301, 259, 131}, {1024, 20, 384}, {20, 1024, 384}, {40, 700, 300}, |
| {48, 32, 400}, {300, 40, 2048}, {200, 40, 4096}}; |
| for (const auto& s : shapes) { |
| const Mat a = Mat::Random(s[0], s[2]), b = Mat::Random(s[2], s[1]); |
| Mat c_serial(s[0], s[1]), c_threaded(s[0], s[1]); |
| { |
| ScopedSerialGemm serial; |
| c_serial.noalias() = a * b.conjugate(); |
| } |
| c_threaded.noalias() = a * b.conjugate(); |
| VERIFY_IS_APPROX(c_serial, c_threaded); |
| RowMat r_threaded(s[0], s[1]); |
| r_threaded.noalias() = RowMat(a) * b.conjugate(); |
| VERIFY_IS_APPROX(Mat(r_threaded), c_serial); |
| } |
| } |
| |
| // A block destination accumulated with a scale factor, and a fixed-size result, whose preallocated buffers keep the |
| // shared session. |
| template <typename = void> |
| void test_parallelize_gemm_parts_blocks() { |
| static ThreadPool pool(4); |
| Eigen::setGemmThreadPool(&pool); |
| const MatrixXf a = MatrixXf::Random(517, 301), b = MatrixXf::Random(301, 283); |
| MatrixXf big = MatrixXf::Random(530, 300); |
| MatrixXf ref = big; |
| { |
| ScopedSerialGemm serial; |
| ref.block(5, 7, 517, 283).noalias() += 1.5f * a * b; |
| } |
| big.block(5, 7, 517, 283).noalias() += 1.5f * a * b; |
| VERIFY_IS_APPROX(big, ref); |
| using Fixed = Matrix<float, 160, 160>; |
| const Fixed fa = Fixed::Random(), fb = Fixed::Random(); |
| Fixed fc, fr; |
| { |
| ScopedSerialGemm serial; |
| fr.noalias() = fa * fb; |
| } |
| fc.noalias() = fa * fb; |
| VERIFY_IS_APPROX(fc, fr); |
| } |
| |
| // Runs a test with the given SME unit count: a nonzero count splits products on the SME kernel into disjoint parts, |
| // 0 keeps the shared parallel session, so both paths are covered on every host. |
| template <typename Test> |
| void with_sme_units(int units, Test test) { |
| const int saved = Eigen::nbSmeUnits(); |
| Eigen::setNbSmeUnits(units); |
| test(); |
| Eigen::setNbSmeUnits(saved); |
| } |
| |
| EIGEN_DECLARE_TEST(product_threaded) { |
| // Off SME the unit count does nothing, so only the default runs there. |
| #ifdef EIGEN_VECTORIZE_SME |
| for (int units : {2, 3, 0}) { |
| #else |
| for (int units : {0}) { |
| #endif |
| EIGEN_UNUSED_VARIABLE(units); |
| CALL_SUBTEST_6(with_sme_units(units, test_parallelize_gemm_tiny<float>)); |
| CALL_SUBTEST_6(with_sme_units(units, test_parallelize_gemm_tiny<double>)); |
| CALL_SUBTEST_1(with_sme_units(units, test_parallelize_gemm<>)); |
| CALL_SUBTEST_2(with_sme_units(units, test_parallelize_gemm_varied<>)); |
| CALL_SUBTEST_4(with_sme_units(units, test_parallelize_gemm_indivisible<>)); |
| CALL_SUBTEST_7(with_sme_units(units, test_parallelize_gemm_parts<>)); |
| CALL_SUBTEST_8(with_sme_units(units, test_parallelize_gemm_parts_types<double>)); |
| CALL_SUBTEST_8(with_sme_units(units, test_parallelize_gemm_parts_types<std::complex<float>>)); |
| CALL_SUBTEST_8(with_sme_units(units, test_parallelize_gemm_parts_types<std::complex<double>>)); |
| CALL_SUBTEST_9(with_sme_units(units, test_parallelize_gemm_parts_blocks<>)); |
| } |
| CALL_SUBTEST_3(test_balanced_gemm_range<>()); |
| CALL_SUBTEST_5(test_parallelize_gemm_require_initialization<>()); |
| } |