CUB Testing Overview
Warning
CUB is in the progress of migrating to [Catch2](https://github.com/catchorg/Catch2) framework.
CUB tests rely on CPM to fetch Catch2 that’s used as our main testing framework along with metal that’s used as template metaprogramming backend for some of the test macro implementation.
Currently, legacy tests coexist with Catch2 ones. This guide is focused on new tests.
Important
Instead of including <catch2/catch.hpp>
directly, use catch2_test_helper.h
.
#include <cub/block/block_scan.cuh>
#include "c2h/vector.cuh"
#include "catch2_test_helper.h"
Directory and File Naming
Our tests can be found in the test
directory.
Legacy tests have the following naming scheme: test_SCOPE_FACILITY.cu
.
For instance, here are the reduce tests:
test/test_warp_reduce.cu
test/test_block_reduce.cu
test/test_device_reduce.cu
Catch2-based tests have a different naming scheme: catch2_test_SCOPE_FACILITY.cu
.
The prefix is essential since that’s how CMake finds tests and distinguishes new tests from legacy ones.
Test Structure
Base case
Let’s start with a simple example. Say there’s no need to cover many types with your test.
// 0) Define test name and tags
CUB_TEST("SCOPE FACILITY works with CONDITION", "[FACILITY][SCOPE]")
{
using type = std::int32_t;
constexpr int threads_per_block = 256;
constexpr int num_items = threads_per_block;
// 1) Allocate device input
c2h::device_vector<type> d_input(num_items);
// 2) Generate 3 random input arrays using Catch2 helper
c2h::gen(CUB_SEED(3), d_input);
// 3) Allocate output array
c2h::device_vector<type> d_output(d_input.size());
// 4) Copy device input to host
c2h::host_vector<key_t> h_reference = d_input;
// 5) Compute reference output
std::ALGORITHM(
thrust::raw_pointer_cast(h_reference.data()),
thrust::raw_pointer_cast(h_reference.data()) + h_reference.size());
// 6) Compute CUB output
SCOPE_ALGORITHM<threads_per_block>(d_input.data(),
d_output.data(),
d_input.size());
// 7) Compare device and host results
REQUIRE( d_input == d_output );
}
We introduce test cases with the CUB_TEST
macro in (0).
This macro always takes two string arguments - a free-form test name and
one or more tags. Then, in (1), we allocate device memory using c2h::device_vector
.
c2h::device_vector
and c2h::host_vector
behave similarly to their Thrust counterparts,
but are modified to provide more stable behavior in some testing edge cases.
Important
Always use c2h::host_vector<T>
/c2h::device_vector<T>
instead of thrust::host_vector<T>
/thrust::device_vector<T>
,
unless the test code is being used for documentation examples.
Similarly, any thrust algorithms that executed on the device must be invoked with the c2h::device_policy execution policy (not shown here) to support the same edge cases. The memory is filled with random data in (2).
Generator c2h::gen
takes at least two parameters.
The first one is a random generator seed.
Instead of providing a single value, we use the CUB_SEED
macro.
The macro expects a number of seeds that has to be generated.
In the example above, we require three random seeds to be generated.
This leads to the whole test being executed three times
with different seed values.
Later, in (3), we allocate device output and host reference. In (4), we allocate and populate the host input data. Then, we perform the reference computation on the host in (5).
Important
Standard library algorithms (std::
) have to be used where possible when computing reference solutions.
Afterwards, we launch the corresponding CUB algorithm in (6).
At this point, we have a reference solution on the CPU and a CUB solution on the GPU.
The two can be compared using Catch2’s REQUIRE
macro, which stops execution upon failure (preferred).
Catch2 also offers the CHECK
macro, which continues test execution if the check fails.
If your test has to cover floating point types,
it’s sufficient to replace REQUIRE( a == b )
with REQUIRE_APPROX_EQ(a, b)
.
Important
Using c2h::gen
for producing input data is strongly advised.
Do not use assert
in tests, which is usually only enabled in Debug mode,
and we run CUB tests in Release mode.
If a custom (non-fundamental) type has to be tested, the following helper class template should be used:
using type = c2h::custom_type_t<c2h::accumulateable_t,
c2h::equal_comparable_t>;
Here we enumerate all the type properties that we are interested in.
The produced type ends up having operator==
(from equal_comparable_t
)
and operator+
(from accumulateable_t
).
More properties are available.
If a property is missing, please add it to the existing set in c2h
instead of writing a custom type from scratch.
Generators
We often need to test CUB algorithms against different inputs or problem sizes.
If these are runtime values, we can use the Catch2 GENERATE
macro:
CUB_TEST("SCOPE FACILITY works with CONDITION", "[FACILITY][SCOPE]")
{
int num_items = GENERATE(1, 100, 1'000'000); // 0) Init. a variable with a generator
// ...
}
This will lead to the test being executed three times, once for each argument to GENERATE(...)
.
Multiple generators in a test inside the same scope will form the cartesian product of all combinations.
Please consult the Catch2 documentation
for more details.
CUB_SEED(3)
uses a generator expression internally.
Type Lists
Since CUB is a generic library,
it’s often required to test CUB algorithms against many types.
To do so,
it’s sufficient to define a type list and provide it to the CUB_TEST
macro.
This is useful for compile-time parameterization of tests.
// 0) Define type list
using types = c2h::type_list<std::uint8_t, std::int32_t>;
CUB_TEST("SCOPE FACILITY works with CONDITION", "[FACILITY][SCOPE]",
types) // 1) Provide it to the test case
{
// 2) Access current type with `c2h::get`
using type = typename c2h::get<0, TestType>;
// ...
}
This will lead to the test being compiled (instantiated) and run twice.
The first run will cause type
to be std::uint8_t
.
The second one will cause type
to be std::uint32_t
.
Warning
It’s important to use types from the <cstdint>
header
instead of built-in types like char
and int
.
Multidimensional Configuration Spaces
In most cases, the input data type is not the only compile-time parameter we want to vary. For instance, you might need to test a block algorithm for different data types and different thread block sizes. To do so, you can add another type list as follows:
using block_sizes = c2h::enum_type_list<int, 128, 256>;
using types = c2h::type_list<std::uint8_t, std::int32_t>;
CUB_TEST("SCOPE FACILITY works with CONDITION", "[FACILITY][SCOPE]",
types, block_sizes)
{
using type = typename c2h::get<0, TestType>;
constexpr int threads_per_block = c2h::get<1, TestType>::value;
// ...
}
The code above leads to the following combinations being compiled:
type = std::uint8_t
,threads_per_block = 128
type = std::uint8_t
,threads_per_block = 256
type = std::int32_t
,threads_per_block = 128
type = std::int32_t
,threads_per_block = 256
As an example, the following test case includes both multidimensional configuration spaces and multiple random sequence generations.
using block_sizes = c2h::enum_type_list<int, 128, 256>;
using types = c2h::type_list<std::uint8_t, std::int32_t>;
CUB_TEST("SCOPE FACILITY works with CONDITION", "[FACILITY][SCOPE]",
types, block_sizes)
{
using type = typename c2h::get<0, TestType>;
constexpr int threads_per_block = c2h::get<1, TestType>::value;
// ...
c2h::device_vector<type> d_input(5);
c2h::gen(CUB_SEED(2), d_input);
}
The code above leads to the following combinations being compiled:
type = std::uint8_t
,threads_per_block = 128
, 1st random generated input sequencetype = std::uint8_t
,threads_per_block = 256
, 1st random generated input sequencetype = std::int32_t
,threads_per_block = 128
, 1st random generated input sequencetype = std::int32_t
,threads_per_block = 256
, 1st random generated input sequencetype = std::uint8_t
,threads_per_block = 128
, 2nd random generated input sequencetype = std::uint8_t
,threads_per_block = 256
, 2nd random generated input sequencetype = std::int32_t
,threads_per_block = 128
, 2nd random generated input sequencetype = std::int32_t
,threads_per_block = 256
, 2nd random generated input sequence
Each new generator multiplies the number of execution times by its number of seeds. That means
that if there were further more sequence generators (c2h::gen(CUB_SEED(X), ...)
) on the
example above the test would execute X more times and so on.
Speedup Compilation Time
Since type lists in the CUB_TEST
form a Cartesian product,
compilation time grows quickly with every new dimension.
To keep the compilation process parallelized,
it’s possible to rely on our %PARAM%
machinery:
// %PARAM% BLOCK_SIZE bs 128:256
using block_sizes = c2h::enum_type_list<int, BLOCK_SIZE>;
using types = c2h::type_list<std::uint8_t, std::int32_t>;
CUB_TEST("SCOPE FACILITY works with CONDITION", "[FACILITY][SCOPE]",
types, block_sizes)
{
using type = typename c2h::get<0, TestType>;
constexpr int threads_per_block = c2h::get<1, TestType>::value;
// ...
}
The comment with %PARAM%
is recognized by our CMake scripts.
It leads to multiple executables being produced from a single test source.
bin/cub.test.scope_algorithm.bs_128
bin/cub.test.scope_algorithm.bs_256
Multiple %PARAM%
comments can be specified forming another Cartesian product.
Final Test
Let’s consider the final test that illustrates all of the tools we discussed above:
// %PARAM% BLOCK_SIZE bs 128:256
using block_sizes = c2h::enum_type_list<int, BLOCK_SIZE>;
using types = c2h::type_list<std::uint8_t, std::int32_t>;
CUB_TEST("SCOPE FACILITY works with CONDITION", "[FACILITY][SCOPE]",
types, block_sizes)
{
using type = typename c2h::get<0, TestType>;
constexpr int threads_per_block = c2h::get<1, TestType>::value;
constexpr int max_num_items = threads_per_block;
c2h::device_vector<type> d_input(
GENERATE_COPY(take(2, random(0, max_num_items))));
c2h::gen(CUB_SEED(3), d_input);
c2h::device_vector<type> d_output(d_input.size());
SCOPE_ALGORITHM<threads_per_block>(d_input.data(),
d_output.data(),
d_input.size());
REQUIRE( d_input == d_output );
const type expected_sum = 4;
const type sum = thrust::reduce(c2h::device_policy, d_output.cbegin(), d_output.cend());
REQUIRE( sum == expected_sum);
}
Apart from discussed tools, here we also rely on Catch2
to generate random input sizes
in the range [0, max_num_items]
for our input vector d_input
.
Overall, the test will produce two executables.
Each of these executables is going to generate 2
input problem sizes.
For each problem size, 3
random vectors are generated.
As a result, we have 12
different tests.
The code also demonstrates the syntax and usage of c2h::device_policy
with a Thrust algorithm.