Files
project_6/cccl_upstream/thrust/thrust/inner_product.h
EngineX CI 56fd68e7dd [INFRA] Import NVIDIA/CCCL upstream as optimization reference library
CCCL (CUDA C++ Core Libraries) provides:
- CUB: device/block/warp-level GPU primitives (reduce, scan, sort, topk)
- Thrust: high-level parallel algorithms (transform_reduce, sort, scan)
- libcudacxx: CUDA C++ standard library (atomics, barriers, memory)
- cudax: experimental features (memory resources, allocators)
- Tuning policies: per-SM hardware-specific algorithm parameters

Competition optimization vectors mapped to CCCL:
- Output TPS (83% weight): warp_reduce, block_reduce, device_topk
- Input TPS (14% weight): device_scan, block_load, prefetch
- Cache TPS (3% weight): prefix caching strategy patterns
- Memory (0.9 util): pooled/cached/buddy allocators

Source: https://github.com/NVIDIA/cccl (shallow clone, HEAD only)
License: Apache-2.0
2026-07-30 09:35:51 +00:00

268 lines
11 KiB
C++

// SPDX-FileCopyrightText: Copyright (c) 2008-2013, NVIDIA Corporation. All rights reserved.
// SPDX-License-Identifier: Apache-2.0
/*! \file inner_product.h
* \brief Mathematical inner product between ranges
*/
#pragma once
#include <thrust/detail/config.h>
#if defined(_CCCL_IMPLICIT_SYSTEM_HEADER_GCC)
# pragma GCC system_header
#elif defined(_CCCL_IMPLICIT_SYSTEM_HEADER_CLANG)
# pragma clang system_header
#elif defined(_CCCL_IMPLICIT_SYSTEM_HEADER_MSVC)
# pragma system_header
#endif // no system header
#include <thrust/detail/execution_policy.h>
THRUST_NAMESPACE_BEGIN
/*! \addtogroup reductions
* \{
* \addtogroup transformed_reductions Transformed Reductions
* \ingroup reductions
* \{
*/
/*! \p inner_product calculates an inner product of the ranges
* <tt>[first1, last1)</tt> and <tt>[first2, first2 + (last1 - first1))</tt>.
*
* Specifically, this version of \p inner_product computes the sum
* <tt>init + (*first1 * *first2) + (*(first1+1) * *(first2+1)) + ... </tt>
*
* The algorithm's execution is parallelized as determined by \p exec.
*
* \param exec The execution policy to use for parallelization.
* \param first1 The beginning of the first sequence.
* \param last1 The end of the first sequence.
* \param first2 The beginning of the second sequence.
* \param init Initial value of the result.
* \return The inner product of sequences <tt>[first1, last1)</tt>
* and <tt>[first2, last2)</tt> plus \p init.
*
* \tparam DerivedPolicy The name of the derived execution policy.
* \tparam InputIterator1 is a model of <a href="https://en.cppreference.com/w/cpp/iterator/input_iterator">Input
* Iterator</a>, \tparam InputIterator2 is a model of <a
* href="https://en.cppreference.com/w/cpp/iterator/input_iterator">Input Iterator</a>, \tparam OutputType is a model of
* <a href="https://en.cppreference.com/w/cpp/named_req/CopyAssignable">Assignable</a>, and if \c x is an object of type
* \p OutputType, and \c y is an object of \p InputIterator1's \c value_type, and \c z is an object of \p
* InputIterator2's \c value_type, then <tt>x + y * z</tt> is defined and is convertible to \p OutputType.
*
* The following code demonstrates how to use \p inner_product to
* compute the dot product of two vectors using the \p thrust::host execution policy for parallelization.
*
* \code
* #include <thrust/inner_product.h>
* #include <thrust/execution_policy.h>
* ...
* float vec1[3] = {1.0f, 2.0f, 5.0f};
* float vec2[3] = {4.0f, 1.0f, 5.0f};
*
* float result = thrust::inner_product(thrust::host, vec1, vec1 + 3, vec2, 0.0f);
*
* // result == 31.0f
* \endcode
*
* \see https://en.cppreference.com/w/cpp/algorithm/inner_product
*
* \verbatim embed:rst:leading-asterisk
* .. versionadded:: 2.2.0
* \endverbatim
*/
template <typename DerivedPolicy, typename InputIterator1, typename InputIterator2, typename OutputType>
_CCCL_HOST_DEVICE OutputType inner_product(
const thrust::detail::execution_policy_base<DerivedPolicy>& exec,
InputIterator1 first1,
InputIterator1 last1,
InputIterator2 first2,
OutputType init);
/*! \p inner_product calculates an inner product of the ranges
* <tt>[first1, last1)</tt> and <tt>[first2, first2 + (last1 - first1))</tt>.
*
* Specifically, this version of \p inner_product computes the sum
* <tt>init + (*first1 * *first2) + (*(first1+1) * *(first2+1)) + ... </tt>
*
* Unlike the C++ Standard Template Library function <tt>std::inner_product</tt>,
* this version offers no guarantee on order of execution.
*
* \param first1 The beginning of the first sequence.
* \param last1 The end of the first sequence.
* \param first2 The beginning of the second sequence.
* \param init Initial value of the result.
* \return The inner product of sequences <tt>[first1, last1)</tt>
* and <tt>[first2, last2)</tt> plus \p init.
*
* \tparam InputIterator1 is a model of <a href="https://en.cppreference.com/w/cpp/iterator/input_iterator">Input
* Iterator</a>, \tparam InputIterator2 is a model of <a
* href="https://en.cppreference.com/w/cpp/iterator/input_iterator">Input Iterator</a>, \tparam OutputType is a model of
* <a href="https://en.cppreference.com/w/cpp/named_req/CopyAssignable">Assignable</a>, and if \c x is an object of type
* \p OutputType, and \c y is an object of \p InputIterator1's \c value_type, and \c z is an object of \p
* InputIterator2's \c value_type, then <tt>x + y * z</tt> is defined and is convertible to \p OutputType.
*
* The following code demonstrates how to use \p inner_product to
* compute the dot product of two vectors.
*
* \code
* #include <thrust/inner_product.h>
* ...
* float vec1[3] = {1.0f, 2.0f, 5.0f};
* float vec2[3] = {4.0f, 1.0f, 5.0f};
*
* float result = thrust::inner_product(vec1, vec1 + 3, vec2, 0.0f);
*
* // result == 31.0f
* \endcode
*
* \see https://en.cppreference.com/w/cpp/algorithm/inner_product
*
* \verbatim embed:rst:leading-asterisk
* .. versionadded:: 2.2.0
* \endverbatim
*/
template <typename InputIterator1, typename InputIterator2, typename OutputType>
OutputType inner_product(InputIterator1 first1, InputIterator1 last1, InputIterator2 first2, OutputType init);
/*! \p inner_product calculates an inner product of the ranges
* <tt>[first1, last1)</tt> and <tt>[first2, first2 + (last1 - first1))</tt>.
*
* This version of \p inner_product is identical to the first, except that is uses
* two user-supplied function objects instead of \c operator+ and \c operator*.
*
* Specifically, this version of \p inner_product computes the sum
* <tt>binary_op1( init, binary_op2(*first1, *first2) ), ... </tt>
*
* The algorithm's execution is parallelized as determined by \p exec.
*
* \param exec The execution policy to use for parallelization.
* \param first1 The beginning of the first sequence.
* \param last1 The end of the first sequence.
* \param first2 The beginning of the second sequence.
* \param init Initial value of the result.
* \param binary_op1 Generalized addition operation.
* \param binary_op2 Generalized multiplication operation.
* \return The inner product of sequences <tt>[first1, last1)</tt> and <tt>[first2, last2)</tt>.
*
* \tparam DerivedPolicy The name of the derived execution policy.
* \tparam InputIterator1 is a model of <a href="https://en.cppreference.com/w/cpp/iterator/input_iterator">Input
* Iterator</a>, and \p InputIterator1's \c value_type is convertible to \p BinaryFunction2's first argument type.
* \tparam InputIterator2 is a model of <a href="https://en.cppreference.com/w/cpp/iterator/input_iterator">Input
* Iterator</a>. and \p InputIterator2's \c value_type is convertible to \p BinaryFunction2's second argument type.
* \tparam OutputType is a model of <a
* href="https://en.cppreference.com/w/cpp/named_req/CopyAssignable">Assignable</a>, and \p OutputType is convertible to
* \p BinaryFunction1's first argument type.
* \tparam BinaryFunction1 The function's return type must be convertible to \p OutputType.
* \tparam BinaryFunction2 The function's return type must be convertible to \p BinaryFunction1's second argument type.
*
* \code
* #include <thrust/inner_product.h>
* #include <thrust/execution_policy.h>
* ...
* float vec1[3] = {1.0f, 2.0f, 5.0f};
* float vec2[3] = {4.0f, 1.0f, 5.0f};
*
* float init = 0.0f;
* ::cuda::std::plus<float> binary_op1;
* ::cuda::std::multiplies<float> binary_op2;
*
* float result = thrust::inner_product(thrust::host, vec1, vec1 + 3, vec2, init, binary_op1, binary_op2);
*
* // result == 31.0f
* \endcode
*
* \see https://en.cppreference.com/w/cpp/algorithm/inner_product
*
* \verbatim embed:rst:leading-asterisk
* .. versionadded:: 2.2.0
* \endverbatim
*/
template <typename DerivedPolicy,
typename InputIterator1,
typename InputIterator2,
typename OutputType,
typename BinaryFunction1,
typename BinaryFunction2>
_CCCL_HOST_DEVICE OutputType inner_product(
const thrust::detail::execution_policy_base<DerivedPolicy>& exec,
InputIterator1 first1,
InputIterator1 last1,
InputIterator2 first2,
OutputType init,
BinaryFunction1 binary_op1,
BinaryFunction2 binary_op2);
/*! \p inner_product calculates an inner product of the ranges
* <tt>[first1, last1)</tt> and <tt>[first2, first2 + (last1 - first1))</tt>.
*
* This version of \p inner_product is identical to the first, except that is uses
* two user-supplied function objects instead of \c operator+ and \c operator*.
*
* Specifically, this version of \p inner_product computes the sum
* <tt>binary_op1( init, binary_op2(*first1, *first2) ), ... </tt>
*
* Unlike the C++ Standard Template Library function <tt>std::inner_product</tt>,
* this version offers no guarantee on order of execution.
*
* \param first1 The beginning of the first sequence.
* \param last1 The end of the first sequence.
* \param first2 The beginning of the second sequence.
* \param init Initial value of the result.
* \param binary_op1 Generalized addition operation.
* \param binary_op2 Generalized multiplication operation.
* \return The inner product of sequences <tt>[first1, last1)</tt> and <tt>[first2, last2)</tt>.
*
* \tparam InputIterator1 is a model of <a href="https://en.cppreference.com/w/cpp/iterator/input_iterator">Input
* Iterator</a>, and \p InputIterator1's \c value_type is convertible to \p BinaryFunction2's first argument type.
* \tparam InputIterator2 is a model of <a href="https://en.cppreference.com/w/cpp/iterator/input_iterator">Input
* Iterator</a>. and \p InputIterator2's \c value_type is convertible to \p BinaryFunction2's second argument type.
* \tparam OutputType is a model of <a
* href="https://en.cppreference.com/w/cpp/named_req/CopyAssignable">Assignable</a>, and \p OutputType is convertible to
* \p BinaryFunction1's first argument type.
* \tparam BinaryFunction1 The function's return type must be convertible to \p OutputType.
* \tparam BinaryFunction2 The function's return type must be convertible to \p BinaryFunction1's second argument type.
*
* \code
* #include <thrust/inner_product.h>
* ...
* float vec1[3] = {1.0f, 2.0f, 5.0f};
* float vec2[3] = {4.0f, 1.0f, 5.0f};
*
* float init = 0.0f;
* ::cuda::std::plus<float> binary_op1;
* ::cuda::std::multiplies<float> binary_op2;
*
* float result = thrust::inner_product(vec1, vec1 + 3, vec2, init, binary_op1, binary_op2);
*
* // result == 31.0f
* \endcode
*
* \see https://en.cppreference.com/w/cpp/algorithm/inner_product
*
* \verbatim embed:rst:leading-asterisk
* .. versionadded:: 2.2.0
* \endverbatim
*/
template <typename InputIterator1,
typename InputIterator2,
typename OutputType,
typename BinaryFunction1,
typename BinaryFunction2>
OutputType inner_product(
InputIterator1 first1,
InputIterator1 last1,
InputIterator2 first2,
OutputType init,
BinaryFunction1 binary_op1,
BinaryFunction2 binary_op2);
/*! \} // end transformed_reductions
* \} // end reductions
*/
THRUST_NAMESPACE_END
#include <thrust/detail/inner_product.inl>