Compare commits
4 Commits
249f1c0b51
...
9a5a2487be
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
9a5a2487be | ||
| c4ec227185 | |||
| 1ceb4cf0d6 | |||
| 34a4e79db0 |
@ -11,11 +11,22 @@
|
|||||||
#if defined(HAVE_CUDA) && defined(__CUDACC__)
|
#if defined(HAVE_CUDA) && defined(__CUDACC__)
|
||||||
# define __MAYBE_GLOBAL__ __global__
|
# define __MAYBE_GLOBAL__ __global__
|
||||||
# define __MAYBE_DEVICE__ __device__
|
# define __MAYBE_DEVICE__ __device__
|
||||||
|
# define __MAYBE_HOST__ __host__
|
||||||
|
# define __INLINE__ __inline__
|
||||||
#else
|
#else
|
||||||
# define __MAYBE_GLOBAL__
|
# define __MAYBE_GLOBAL__
|
||||||
# define __MAYBE_DEVICE__
|
# define __MAYBE_DEVICE__
|
||||||
|
# define __MAYBE_HOST__
|
||||||
|
# define __INLINE__ inline
|
||||||
#endif
|
#endif
|
||||||
|
|
||||||
|
#if defined(HAVE_CUDA)
|
||||||
|
#define ACC_FUNCALL(fname, i, j, ...) fname<<<(i), (j)>>>(__VA_ARGS__)
|
||||||
|
#else
|
||||||
|
#define ACC_FUNCALL(fname, i, j, ...) fname(__VA_ARGS__)
|
||||||
|
#endif /* defined(HAVE_CUDA) */
|
||||||
|
|
||||||
|
|
||||||
#define _CHECK_CUDA_SUCCESS(message, ...) \
|
#define _CHECK_CUDA_SUCCESS(message, ...) \
|
||||||
do { \
|
do { \
|
||||||
CUresult result = __VA_ARGS__; \
|
CUresult result = __VA_ARGS__; \
|
||||||
|
|||||||
@ -23,6 +23,8 @@
|
|||||||
#include<thrust/device_vector.h>
|
#include<thrust/device_vector.h>
|
||||||
#endif
|
#endif
|
||||||
|
|
||||||
|
#include<atrip/CUDA.hpp>
|
||||||
|
|
||||||
|
|
||||||
namespace atrip {
|
namespace atrip {
|
||||||
using ABCTuple = std::array<size_t, 3>;
|
using ABCTuple = std::array<size_t, 3>;
|
||||||
@ -32,21 +34,25 @@ using ABCTuples = std::vector<ABCTuple>;
|
|||||||
|
|
||||||
// [[file:~/cuda/atrip/atrip.org::*Energy][Energy:1]]
|
// [[file:~/cuda/atrip/atrip.org::*Energy][Energy:1]]
|
||||||
template <typename F=double>
|
template <typename F=double>
|
||||||
double getEnergyDistinct
|
__MAYBE_GLOBAL__
|
||||||
|
void getEnergyDistinct
|
||||||
( F const epsabc
|
( F const epsabc
|
||||||
, size_t const No
|
, size_t const No
|
||||||
, F* const epsi
|
, F* const epsi
|
||||||
, F* const Tijk
|
, F* const Tijk
|
||||||
, F* const Zijk
|
, F* const Zijk
|
||||||
|
, double* energy
|
||||||
);
|
);
|
||||||
|
|
||||||
template <typename F=double>
|
template <typename F=double>
|
||||||
double getEnergySame
|
__MAYBE_GLOBAL__
|
||||||
|
void getEnergySame
|
||||||
( F const epsabc
|
( F const epsabc
|
||||||
, size_t const No
|
, size_t const No
|
||||||
, F* const epsi
|
, F* const epsi
|
||||||
, F* const Tijk
|
, F* const Tijk
|
||||||
, F* const Zijk
|
, F* const Zijk
|
||||||
|
, double* energy
|
||||||
);
|
);
|
||||||
// Energy:1 ends here
|
// Energy:1 ends here
|
||||||
|
|
||||||
|
|||||||
171
include/atrip/Operations.hpp
Normal file
171
include/atrip/Operations.hpp
Normal file
@ -0,0 +1,171 @@
|
|||||||
|
// Copyright 2022 Alejandro Gallo
|
||||||
|
//
|
||||||
|
// Licensed under the Apache License, Version 2.0 (the "License");
|
||||||
|
// you may not use this file except in compliance with the License.
|
||||||
|
// You may obtain a copy of the License at
|
||||||
|
//
|
||||||
|
// http://www.apache.org/licenses/LICENSE-2.0
|
||||||
|
//
|
||||||
|
// Unless required by applicable law or agreed to in writing, software
|
||||||
|
// distributed under the License is distributed on an "AS IS" BASIS,
|
||||||
|
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
||||||
|
// See the License for the specific language governing permissions and
|
||||||
|
// limitations under the License.
|
||||||
|
|
||||||
|
#ifndef OPERATIONS_HPP_
|
||||||
|
#define OPERATIONS_HPP_
|
||||||
|
|
||||||
|
#include <atrip/CUDA.hpp>
|
||||||
|
#include <atrip/Types.hpp>
|
||||||
|
#include <atrip/Complex.hpp>
|
||||||
|
|
||||||
|
namespace atrip {
|
||||||
|
namespace acc {
|
||||||
|
|
||||||
|
// cuda kernels
|
||||||
|
|
||||||
|
template <typename F>
|
||||||
|
__MAYBE_GLOBAL__
|
||||||
|
void zeroing(F* a, size_t n) {
|
||||||
|
F zero = {0};
|
||||||
|
for (size_t i = 0; i < n; i++) {
|
||||||
|
a[i] = zero;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
////
|
||||||
|
template <typename F>
|
||||||
|
__MAYBE_DEVICE__ __MAYBE_HOST__ __INLINE__
|
||||||
|
F maybeConjugateScalar(const F &a) { return a; }
|
||||||
|
|
||||||
|
#if defined(HAVE_CUDA)
|
||||||
|
template <>
|
||||||
|
__MAYBE_DEVICE__ __MAYBE_HOST__ __INLINE__
|
||||||
|
cuDoubleComplex maybeConjugateScalar(const cuDoubleComplex &a) {
|
||||||
|
return {a.x, -a.y};
|
||||||
|
}
|
||||||
|
#endif /* defined(HAVE_CUDA) */
|
||||||
|
|
||||||
|
template <typename F>
|
||||||
|
__MAYBE_GLOBAL__
|
||||||
|
void maybeConjugate(F* to, F* from, size_t n) {
|
||||||
|
for (size_t i = 0; i < n; ++i) {
|
||||||
|
to[i] = maybeConjugateScalar<F>(from[i]);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
template <typename F>
|
||||||
|
__MAYBE_DEVICE__ __MAYBE_HOST__
|
||||||
|
void reorder(F* to, F* from, size_t size, size_t I, size_t J, size_t K) {
|
||||||
|
size_t idx = 0;
|
||||||
|
const size_t IDX = I + J*size + K*size*size;
|
||||||
|
for (size_t k = 0; k < size; k++)
|
||||||
|
for (size_t j = 0; j < size; j++)
|
||||||
|
for (size_t i = 0; i < size; i++, idx++)
|
||||||
|
to[idx] += from[IDX];
|
||||||
|
}
|
||||||
|
|
||||||
|
// Multiplication operation
|
||||||
|
//////////////////////////////////////////////////////////////////////////////
|
||||||
|
|
||||||
|
template <typename F>
|
||||||
|
__MAYBE_DEVICE__ __MAYBE_HOST__ __INLINE__
|
||||||
|
F prod(const F &a, const F &b) { return a * b; }
|
||||||
|
|
||||||
|
#if defined(HAVE_CUDA)
|
||||||
|
template <>
|
||||||
|
__MAYBE_DEVICE__ __MAYBE_HOST__ __INLINE__
|
||||||
|
cuDoubleComplex prod(const cuDoubleComplex &a, const cuDoubleComplex &b) {
|
||||||
|
return cuCmul(a, b);
|
||||||
|
}
|
||||||
|
#endif /* defined(HAVE_CUDA) */
|
||||||
|
|
||||||
|
// Division operation
|
||||||
|
//////////////////////////////////////////////////////////////////////////////
|
||||||
|
|
||||||
|
template <typename F>
|
||||||
|
__MAYBE_DEVICE__ __MAYBE_HOST__ __INLINE__
|
||||||
|
F div(const F &a, const F &b) { return a / b; }
|
||||||
|
|
||||||
|
#if defined(HAVE_CUDA)
|
||||||
|
template <>
|
||||||
|
__MAYBE_DEVICE__ __MAYBE_HOST__ __INLINE__
|
||||||
|
cuDoubleComplex div(const cuDoubleComplex &a, const cuDoubleComplex &b) {
|
||||||
|
return cuCdiv(a, b);
|
||||||
|
}
|
||||||
|
#endif /* defined(HAVE_CUDA) */
|
||||||
|
|
||||||
|
// Real part
|
||||||
|
//////////////////////////////////////////////////////////////////////////////
|
||||||
|
|
||||||
|
template <typename F>
|
||||||
|
__MAYBE_HOST__ __INLINE__
|
||||||
|
double real(F &a) { return std::real(a); }
|
||||||
|
|
||||||
|
template <>
|
||||||
|
__MAYBE_DEVICE__ __MAYBE_HOST__ __INLINE__
|
||||||
|
double real(double &a) {
|
||||||
|
return a;
|
||||||
|
}
|
||||||
|
|
||||||
|
#if defined(HAVE_CUDA)
|
||||||
|
template <>
|
||||||
|
__MAYBE_DEVICE__ __MAYBE_HOST__ __INLINE__
|
||||||
|
double real(cuDoubleComplex &a) {
|
||||||
|
return cuCreal(a);
|
||||||
|
}
|
||||||
|
#endif /* defined(HAVE_CUDA) */
|
||||||
|
|
||||||
|
// Substraction operator
|
||||||
|
//////////////////////////////////////////////////////////////////////////////
|
||||||
|
|
||||||
|
template <typename F>
|
||||||
|
__MAYBE_DEVICE__ __MAYBE_HOST__ __INLINE__
|
||||||
|
F sub(const F &a, const F &b) { return a - b; }
|
||||||
|
|
||||||
|
#if defined(HAVE_CUDA)
|
||||||
|
template <>
|
||||||
|
__MAYBE_DEVICE__ __MAYBE_HOST__ __INLINE__
|
||||||
|
cuDoubleComplex sub(const cuDoubleComplex &a,
|
||||||
|
const cuDoubleComplex &b) {
|
||||||
|
return cuCsub(a, b);
|
||||||
|
}
|
||||||
|
#endif /* defined(HAVE_CUDA) */
|
||||||
|
|
||||||
|
// Addition operator
|
||||||
|
//////////////////////////////////////////////////////////////////////////////
|
||||||
|
|
||||||
|
template <typename F>
|
||||||
|
__MAYBE_DEVICE__ __MAYBE_HOST__ __INLINE__
|
||||||
|
F add(const F &a, const F &b) { return a + b; }
|
||||||
|
|
||||||
|
#if defined(HAVE_CUDA)
|
||||||
|
template <>
|
||||||
|
__MAYBE_DEVICE__ __MAYBE_HOST__ __INLINE__
|
||||||
|
cuDoubleComplex add(const cuDoubleComplex &a, const cuDoubleComplex &b) {
|
||||||
|
return cuCadd(a, b);
|
||||||
|
}
|
||||||
|
#endif /* defined(HAVE_CUDA) */
|
||||||
|
|
||||||
|
// Sum in place operator
|
||||||
|
//////////////////////////////////////////////////////////////////////////////
|
||||||
|
|
||||||
|
template <typename F>
|
||||||
|
__MAYBE_DEVICE__ __MAYBE_HOST__
|
||||||
|
void sum_in_place(F* to, const F* from) { *to += *from; }
|
||||||
|
|
||||||
|
#if defined(HAVE_CUDA)
|
||||||
|
template <>
|
||||||
|
__MAYBE_DEVICE__ __MAYBE_HOST__
|
||||||
|
void sum_in_place(cuDoubleComplex* to, const cuDoubleComplex* from) {
|
||||||
|
to->x += from->x;
|
||||||
|
to->y += from->y;
|
||||||
|
}
|
||||||
|
#endif /* defined(HAVE_CUDA) */
|
||||||
|
|
||||||
|
|
||||||
|
} // namespace acc
|
||||||
|
} // namespace atrip
|
||||||
|
|
||||||
|
#endif
|
||||||
@ -445,6 +445,34 @@ template <typename F=double>
|
|||||||
std::inserter(freePointers, freePointers.begin()),
|
std::inserter(freePointers, freePointers.begin()),
|
||||||
[](DataPtr<F> ptr) { return ptr; });
|
[](DataPtr<F> ptr) { return ptr; });
|
||||||
|
|
||||||
|
#if defined(HAVE_CUDA)
|
||||||
|
LOG(1,"Atrip") << "warming communication up " << slices.size() << "\n";
|
||||||
|
 WITH_CHRONO("cuda:warmup",
|
||||||
|
int nRanks=Atrip::np, requestCount=0;
|
||||||
|
int nSends=sliceBuffers.size()*nRanks;
|
||||||
|
MPI_Request *requests = (MPI_Request*) malloc(nSends*2 * sizeof(MPI_Request));
|
||||||
|
MPI_Status *statuses = (MPI_Status*) malloc(nSends*2 * sizeof(MPI_Status));
|
||||||
|
for (int sliceId=0; sliceId<sliceBuffers.size(); sliceId++){
|
||||||
|
for (int rankId=0; rankId<nRanks; rankId++){
|
||||||
|
MPI_Isend((void*)SOURCES_DATA(sources[0]),
|
||||||
|
sliceSize,
|
||||||
|
traits::mpi::datatypeOf<F>(),
|
||||||
|
rankId,
|
||||||
|
100,
|
||||||
|
universe,
|
||||||
|
&requests[requestCount++]);
|
||||||
|
MPI_Irecv((void*)sliceBuffers[sliceId],
|
||||||
|
sliceSize,
|
||||||
|
traits::mpi::datatypeOf<F>(),
|
||||||
|
rankId,
|
||||||
|
100,
|
||||||
|
universe,
|
||||||
|
&requests[requestCount++]);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
MPI_Waitall(nSends*2, requests, statuses);
|
||||||
|
)
|
||||||
|
#endif
|
||||||
|
|
||||||
|
|
||||||
LOG(1,"Atrip") << "#slices " << slices.size() << "\n";
|
LOG(1,"Atrip") << "#slices " << slices.size() << "\n";
|
||||||
|
|||||||
@ -683,31 +683,59 @@ Atrip::Output Atrip::run(Atrip::Input<F> const& in) {
|
|||||||
// COMPUTE ENERGY %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% {{{1
|
// COMPUTE ENERGY %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% {{{1
|
||||||
#if defined(ATRIP_ONLY_DGEMM)
|
#if defined(ATRIP_ONLY_DGEMM)
|
||||||
if (false)
|
if (false)
|
||||||
#endif
|
#endif /* defined(ATRIP_ONLY_DGEMM) */
|
||||||
if (!isFakeTuple(i)) {
|
if (!isFakeTuple(i)) {
|
||||||
double tupleEnergy(0.);
|
#if defined(HAVE_CUDA)
|
||||||
|
double *tupleEnergy;
|
||||||
|
cuMemAlloc((DataPtr<double>*)&tupleEnergy, sizeof(double));
|
||||||
|
#elif
|
||||||
|
double _tupleEnergy(0.);
|
||||||
|
double *tupleEnergy = &_tupleEnergy;
|
||||||
|
#endif /* defined(HAVE_CUDA) */
|
||||||
|
|
||||||
int distinct(0);
|
int distinct(0);
|
||||||
if (abc[0] == abc[1]) distinct++;
|
if (abc[0] == abc[1]) distinct++;
|
||||||
if (abc[1] == abc[2]) distinct--;
|
if (abc[1] == abc[2]) distinct--;
|
||||||
const F epsabc(_epsa[abc[0]] + _epsa[abc[1]] + _epsa[abc[2]]);
|
const double
|
||||||
|
epsabc = std::real(_epsa[abc[0]] + _epsa[abc[1]] + _epsa[abc[2]]);
|
||||||
|
|
||||||
|
DataFieldType<F> _epsabc{epsabc};
|
||||||
|
|
||||||
// LOG(0, "AtripCUDA") << "doing energy " << i << "distinct " << distinct << "\n";
|
|
||||||
WITH_CHRONO("energy",
|
WITH_CHRONO("energy",
|
||||||
/*
|
if ( distinct == 0) {
|
||||||
TODO: think about how to do this on the GPU in the best way possible
|
ACC_FUNCALL(getEnergyDistinct<DataFieldType<F>>,
|
||||||
if ( distinct == 0)
|
1, 1, // for cuda
|
||||||
tupleEnergy = getEnergyDistinct<F>(epsabc, No, (F*)epsi, (F*)Tijk, (F*)Zijk);
|
_epsabc,
|
||||||
else
|
No,
|
||||||
tupleEnergy = getEnergySame<F>(epsabc, No, (F*)epsi, (F*)Tijk, (F*)Zijk);
|
(DataFieldType<F>*)epsi,
|
||||||
*/
|
(DataFieldType<F>*)Tijk,
|
||||||
)
|
(DataFieldType<F>*)Zijk,
|
||||||
|
tupleEnergy);
|
||||||
|
} else {
|
||||||
|
ACC_FUNCALL(getEnergySame<DataFieldType<F>>,
|
||||||
|
1, 1, // for cuda
|
||||||
|
_epsabc,
|
||||||
|
No,
|
||||||
|
(DataFieldType<F>*)epsi,
|
||||||
|
(DataFieldType<F>*)Tijk,
|
||||||
|
(DataFieldType<F>*)Zijk,
|
||||||
|
tupleEnergy);
|
||||||
|
})
|
||||||
|
|
||||||
|
#if defined(HAVE_CUDA)
|
||||||
|
double host_tuple_energy;
|
||||||
|
cuMemcpyDtoH((void*)&host_tuple_energy,
|
||||||
|
(DataPtr<double>)tupleEnergy,
|
||||||
|
sizeof(double));
|
||||||
|
#elif
|
||||||
|
double host_tuple_energy = *tupleEnergy;
|
||||||
|
#endif /* defined(HAVE_CUDA) */
|
||||||
|
|
||||||
#if defined(HAVE_OCD) || defined(ATRIP_PRINT_TUPLES)
|
#if defined(HAVE_OCD) || defined(ATRIP_PRINT_TUPLES)
|
||||||
tupleEnergies[abc] = tupleEnergy;
|
tupleEnergies[abc] = host_tuple_energy;
|
||||||
#endif
|
#endif
|
||||||
|
|
||||||
energy += tupleEnergy;
|
energy += host_tuple_energy;
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
@ -16,96 +16,13 @@
|
|||||||
#include<atrip/Equations.hpp>
|
#include<atrip/Equations.hpp>
|
||||||
|
|
||||||
#include<atrip/CUDA.hpp>
|
#include<atrip/CUDA.hpp>
|
||||||
|
#include<atrip/Operations.hpp>
|
||||||
|
|
||||||
namespace atrip {
|
namespace atrip {
|
||||||
// Prolog:2 ends here
|
// Prolog:2 ends here
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
#ifdef HAVE_CUDA
|
|
||||||
namespace cuda {
|
|
||||||
|
|
||||||
// cuda kernels
|
|
||||||
|
|
||||||
template <typename F>
|
|
||||||
__global__
|
|
||||||
void zeroing(F* a, size_t n) {
|
|
||||||
F zero = {0};
|
|
||||||
for (size_t i = 0; i < n; i++) {
|
|
||||||
a[i] = zero;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
////
|
|
||||||
template <typename F>
|
|
||||||
__device__
|
|
||||||
F maybeConjugateScalar(const F a);
|
|
||||||
|
|
||||||
template <>
|
|
||||||
__device__
|
|
||||||
double maybeConjugateScalar(const double a) { return a; }
|
|
||||||
|
|
||||||
template <>
|
|
||||||
__device__
|
|
||||||
cuDoubleComplex
|
|
||||||
maybeConjugateScalar(const cuDoubleComplex a) {
|
|
||||||
return {a.x, -a.y};
|
|
||||||
}
|
|
||||||
|
|
||||||
template <typename F>
|
|
||||||
__global__
|
|
||||||
void maybeConjugate(F* to, F* from, size_t n) {
|
|
||||||
for (size_t i = 0; i < n; ++i) {
|
|
||||||
to[i] = maybeConjugateScalar<F>(from[i]);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
|
|
||||||
template <typename F>
|
|
||||||
__global__
|
|
||||||
void reorder(F* to, F* from, size_t size, size_t I, size_t J, size_t K) {
|
|
||||||
size_t idx = 0;
|
|
||||||
const size_t IDX = I + J*size + K*size*size;
|
|
||||||
for (size_t k = 0; k < size; k++)
|
|
||||||
for (size_t j = 0; j < size; j++)
|
|
||||||
for (size_t i = 0; i < size; i++, idx++)
|
|
||||||
to[idx] += from[IDX];
|
|
||||||
}
|
|
||||||
|
|
||||||
// I mean, really CUDA... really!?
|
|
||||||
template <typename F>
|
|
||||||
__device__
|
|
||||||
F multiply(const F &a, const F &b);
|
|
||||||
template <>
|
|
||||||
__device__
|
|
||||||
double multiply(const double &a, const double &b) { return a * b; }
|
|
||||||
|
|
||||||
template <>
|
|
||||||
__device__
|
|
||||||
cuDoubleComplex multiply(const cuDoubleComplex &a, const cuDoubleComplex &b) {
|
|
||||||
return
|
|
||||||
{a.x * b.x - a.y * b.y,
|
|
||||||
a.x * b.y + a.y * b.x};
|
|
||||||
}
|
|
||||||
|
|
||||||
template <typename F>
|
|
||||||
__device__
|
|
||||||
void sum_in_place(F* to, const F* from);
|
|
||||||
|
|
||||||
template <>
|
|
||||||
__device__
|
|
||||||
void sum_in_place(double* to, const double *from) { *to += *from; }
|
|
||||||
|
|
||||||
template <>
|
|
||||||
__device__
|
|
||||||
void sum_in_place(cuDoubleComplex* to, const cuDoubleComplex* from) {
|
|
||||||
to->x += from->x;
|
|
||||||
to->y += from->y;
|
|
||||||
}
|
|
||||||
|
|
||||||
};
|
|
||||||
#endif
|
|
||||||
|
|
||||||
#if defined(HAVE_CUDA)
|
#if defined(HAVE_CUDA)
|
||||||
#define FOR_K() \
|
#define FOR_K() \
|
||||||
for (size_t kmin = blockIdx.x * blockDim.x + threadIdx.x, \
|
for (size_t kmin = blockIdx.x * blockDim.x + threadIdx.x, \
|
||||||
@ -133,7 +50,7 @@ namespace cuda {
|
|||||||
_REORDER_BODY_(__VA_ARGS__) \
|
_REORDER_BODY_(__VA_ARGS__) \
|
||||||
}
|
}
|
||||||
#if defined(HAVE_CUDA)
|
#if defined(HAVE_CUDA)
|
||||||
#define GO(__TO, __FROM) cuda::sum_in_place<F>(&__TO, &__FROM);
|
#define GO(__TO, __FROM) acc::sum_in_place<F>(&__TO, &__FROM);
|
||||||
#else
|
#else
|
||||||
#define GO(__TO, __FROM) __TO += __FROM;
|
#define GO(__TO, __FROM) __TO += __FROM;
|
||||||
#endif
|
#endif
|
||||||
@ -179,162 +96,205 @@ namespace cuda {
|
|||||||
#undef _IJK_
|
#undef _IJK_
|
||||||
#undef GO
|
#undef GO
|
||||||
|
|
||||||
|
#if defined(HAVE_CUDA)
|
||||||
|
# define MIN(a, b) min((a), (b))
|
||||||
|
#else
|
||||||
|
# define MIN(a, b) std::min((a), (b))
|
||||||
|
#endif
|
||||||
|
|
||||||
|
|
||||||
// [[file:~/cuda/atrip/atrip.org::*Energy][Energy:2]]
|
// [[file:~/cuda/atrip/atrip.org::*Energy][Energy:2]]
|
||||||
template <typename F>
|
template <typename F>
|
||||||
double getEnergyDistinct
|
__MAYBE_GLOBAL__
|
||||||
|
void getEnergyDistinct
|
||||||
( F const epsabc
|
( F const epsabc
|
||||||
, size_t const No
|
, size_t const No
|
||||||
, F* const epsi
|
, F* const epsi
|
||||||
, F* const Tijk
|
, F* const Tijk
|
||||||
, F* const Zijk
|
, F* const Zijk
|
||||||
|
, double* energy
|
||||||
) {
|
) {
|
||||||
constexpr size_t blockSize=16;
|
constexpr size_t blockSize=16;
|
||||||
F energy(0.);
|
F _energy = {0.};
|
||||||
for (size_t kk=0; kk<No; kk+=blockSize){
|
for (size_t kk=0; kk<No; kk+=blockSize){
|
||||||
const size_t kend( std::min(No, kk+blockSize) );
|
const size_t kend( MIN(No, kk+blockSize) );
|
||||||
for (size_t jj(kk); jj<No; jj+=blockSize){
|
for (size_t jj(kk); jj<No; jj+=blockSize){
|
||||||
const size_t jend( std::min( No, jj+blockSize) );
|
const size_t jend( MIN( No, jj+blockSize) );
|
||||||
for (size_t ii(jj); ii<No; ii+=blockSize){
|
for (size_t ii(jj); ii<No; ii+=blockSize){
|
||||||
const size_t iend( std::min( No, ii+blockSize) );
|
const size_t iend( MIN( No, ii+blockSize) );
|
||||||
for (size_t k(kk); k < kend; k++){
|
for (size_t k(kk); k < kend; k++){
|
||||||
const F ek(epsi[k]);
|
const F ek(epsi[k]);
|
||||||
const size_t jstart = jj > k ? jj : k;
|
const size_t jstart = jj > k ? jj : k;
|
||||||
for (size_t j(jstart); j < jend; j++){
|
for (size_t j(jstart); j < jend; j++){
|
||||||
F const ej(epsi[j]);
|
F const ej(epsi[j]);
|
||||||
F const facjk = j == k ? F(0.5) : F(1.0);
|
F const facjk = j == k ? F{0.5} : F{1.0};
|
||||||
size_t istart = ii > j ? ii : j;
|
size_t istart = ii > j ? ii : j;
|
||||||
for (size_t i(istart); i < iend; i++){
|
for (size_t i(istart); i < iend; i++){
|
||||||
const F
|
const F
|
||||||
ei(epsi[i])
|
ei(epsi[i])
|
||||||
, facij = i == j ? F(0.5) : F(1.0)
|
, facij = i == j ? F{0.5} : F{1.0}
|
||||||
, denominator(epsabc - ei - ej - ek)
|
, eijk(acc::add(acc::add(ei, ej), ek))
|
||||||
|
, denominator(acc::sub(epsabc, eijk))
|
||||||
, U(Zijk[i + No*j + No*No*k])
|
, U(Zijk[i + No*j + No*No*k])
|
||||||
, V(Zijk[i + No*k + No*No*j])
|
, V(Zijk[i + No*k + No*No*j])
|
||||||
, W(Zijk[j + No*i + No*No*k])
|
, W(Zijk[j + No*i + No*No*k])
|
||||||
, X(Zijk[j + No*k + No*No*i])
|
, X(Zijk[j + No*k + No*No*i])
|
||||||
, Y(Zijk[k + No*i + No*No*j])
|
, Y(Zijk[k + No*i + No*No*j])
|
||||||
, Z(Zijk[k + No*j + No*No*i])
|
, Z(Zijk[k + No*j + No*No*i])
|
||||||
, A(maybeConjugate<F>(Tijk[i + No*j + No*No*k]))
|
, A(acc::maybeConjugateScalar(Tijk[i + No*j + No*No*k]))
|
||||||
, B(maybeConjugate<F>(Tijk[i + No*k + No*No*j]))
|
, B(acc::maybeConjugateScalar(Tijk[i + No*k + No*No*j]))
|
||||||
, C(maybeConjugate<F>(Tijk[j + No*i + No*No*k]))
|
, C(acc::maybeConjugateScalar(Tijk[j + No*i + No*No*k]))
|
||||||
, D(maybeConjugate<F>(Tijk[j + No*k + No*No*i]))
|
, D(acc::maybeConjugateScalar(Tijk[j + No*k + No*No*i]))
|
||||||
, E(maybeConjugate<F>(Tijk[k + No*i + No*No*j]))
|
, E(acc::maybeConjugateScalar(Tijk[k + No*i + No*No*j]))
|
||||||
, _F(maybeConjugate<F>(Tijk[k + No*j + No*No*i]))
|
, _F(acc::maybeConjugateScalar(Tijk[k + No*j + No*No*i]))
|
||||||
, value
|
, AU = acc::prod(A, U)
|
||||||
= 3.0 * ( A * U
|
, BV = acc::prod(B, V)
|
||||||
+ B * V
|
, CW = acc::prod(C, W)
|
||||||
+ C * W
|
, DX = acc::prod(D, X)
|
||||||
+ D * X
|
, EY = acc::prod(E, Y)
|
||||||
+ E * Y
|
, FZ = acc::prod(_F, Z)
|
||||||
+ _F * Z )
|
, UXY = acc::add(U, acc::add(X, Y))
|
||||||
+ ( ( U + X + Y )
|
, VWZ = acc::add(V, acc::add(W, Z))
|
||||||
- 2.0 * ( V + W + Z )
|
, ADE = acc::add(A, acc::add(D, E))
|
||||||
) * ( A + D + E )
|
, BCF = acc::add(B, acc::add(C, _F))
|
||||||
+ ( ( V + W + Z )
|
// I just might as well write this in CL
|
||||||
- 2.0 * ( U + X + Y )
|
, _first = acc::add(AU,
|
||||||
) * ( B + C + _F )
|
acc::add(BV,
|
||||||
|
acc::add(CW,
|
||||||
|
acc::add(DX,
|
||||||
|
acc::add(EY, FZ)))))
|
||||||
|
, _second = acc::prod(acc::sub(UXY,
|
||||||
|
acc::prod(F{-2.0}, VWZ)),
|
||||||
|
ADE)
|
||||||
|
, _third = acc::prod(acc::sub(VWZ,
|
||||||
|
acc::prod(F{-2.0}, UXY)),
|
||||||
|
BCF)
|
||||||
|
, value = acc::add(acc::prod(F{3.0}, _first),
|
||||||
|
acc::add(_second,
|
||||||
|
_third))
|
||||||
|
, _loop_energy = acc::prod(acc::prod(F{2.0}, value),
|
||||||
|
acc::div(acc::prod(facjk, facij),
|
||||||
|
denominator))
|
||||||
;
|
;
|
||||||
energy += 2.0 * value / denominator * facjk * facij;
|
acc::sum_in_place(&_energy, &_loop_energy);
|
||||||
} // i
|
} // i
|
||||||
} // j
|
} // j
|
||||||
} // k
|
} // k
|
||||||
} // ii
|
} // ii
|
||||||
} // jj
|
} // jj
|
||||||
} // kk
|
} // kk
|
||||||
return std::real(energy);
|
const double real_part = acc::real(_energy);
|
||||||
|
acc::sum_in_place(energy, &real_part);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
template <typename F>
|
template <typename F>
|
||||||
double getEnergySame
|
__MAYBE_GLOBAL__
|
||||||
|
void getEnergySame
|
||||||
( F const epsabc
|
( F const epsabc
|
||||||
, size_t const No
|
, size_t const No
|
||||||
, F* const epsi
|
, F* const epsi
|
||||||
, F* const Tijk
|
, F* const Tijk
|
||||||
, F* const Zijk
|
, F* const Zijk
|
||||||
|
, double* energy
|
||||||
) {
|
) {
|
||||||
constexpr size_t blockSize = 16;
|
constexpr size_t blockSize = 16;
|
||||||
F energy = F(0.);
|
F _energy = F{0.};
|
||||||
for (size_t kk=0; kk<No; kk+=blockSize){
|
for (size_t kk=0; kk<No; kk+=blockSize){
|
||||||
const size_t kend( std::min( kk+blockSize, No) );
|
const size_t kend( MIN( kk+blockSize, No) );
|
||||||
for (size_t jj(kk); jj<No; jj+=blockSize){
|
for (size_t jj(kk); jj<No; jj+=blockSize){
|
||||||
const size_t jend( std::min( jj+blockSize, No) );
|
const size_t jend( MIN( jj+blockSize, No) );
|
||||||
for (size_t ii(jj); ii<No; ii+=blockSize){
|
for (size_t ii(jj); ii<No; ii+=blockSize){
|
||||||
const size_t iend( std::min( ii+blockSize, No) );
|
const size_t iend( MIN( ii+blockSize, No) );
|
||||||
for (size_t k(kk); k < kend; k++){
|
for (size_t k(kk); k < kend; k++){
|
||||||
const F ek(epsi[k]);
|
const F ek(epsi[k]);
|
||||||
const size_t jstart = jj > k ? jj : k;
|
const size_t jstart = jj > k ? jj : k;
|
||||||
for(size_t j(jstart); j < jend; j++){
|
for(size_t j(jstart); j < jend; j++){
|
||||||
const F facjk( j == k ? F(0.5) : F(1.0));
|
const F facjk( j == k ? F{0.5} : F{1.0});
|
||||||
const F ej(epsi[j]);
|
const F ej(epsi[j]);
|
||||||
const size_t istart = ii > j ? ii : j;
|
const size_t istart = ii > j ? ii : j;
|
||||||
for(size_t i(istart); i < iend; i++){
|
for(size_t i(istart); i < iend; i++){
|
||||||
const F
|
const F
|
||||||
ei(epsi[i])
|
ei(epsi[i])
|
||||||
, facij ( i==j ? F(0.5) : F(1.0))
|
, facij ( i==j ? F{0.5} : F{1.0})
|
||||||
, denominator(epsabc - ei - ej - ek)
|
, eijk(acc::add(acc::add(ei, ej), ek))
|
||||||
|
, denominator(acc::sub(epsabc, eijk))
|
||||||
, U(Zijk[i + No*j + No*No*k])
|
, U(Zijk[i + No*j + No*No*k])
|
||||||
, V(Zijk[j + No*k + No*No*i])
|
, V(Zijk[j + No*k + No*No*i])
|
||||||
, W(Zijk[k + No*i + No*No*j])
|
, W(Zijk[k + No*i + No*No*j])
|
||||||
, A(maybeConjugate<F>(Tijk[i + No*j + No*No*k]))
|
, A(acc::maybeConjugateScalar(Tijk[i + No*j + No*No*k]))
|
||||||
, B(maybeConjugate<F>(Tijk[j + No*k + No*No*i]))
|
, B(acc::maybeConjugateScalar(Tijk[j + No*k + No*No*i]))
|
||||||
, C(maybeConjugate<F>(Tijk[k + No*i + No*No*j]))
|
, C(acc::maybeConjugateScalar(Tijk[k + No*i + No*No*j]))
|
||||||
, value
|
, ABC = acc::add(A, acc::add(B, C))
|
||||||
= F(3.0) * ( A * U
|
, UVW = acc::add(U, acc::add(V, W))
|
||||||
+ B * V
|
, AU = acc::prod(A, U)
|
||||||
+ C * W
|
, BV = acc::prod(B, V)
|
||||||
)
|
, CW = acc::prod(C, W)
|
||||||
- ( A + B + C ) * ( U + V + W )
|
, AU_and_BV_and_CW = acc::add(acc::add(AU, BV), CW)
|
||||||
|
, value = acc::sub(acc::prod(F{3.0}, AU_and_BV_and_CW),
|
||||||
|
acc::prod(ABC, UVW))
|
||||||
|
, _loop_energy = acc::prod(acc::prod(F{2.0}, value),
|
||||||
|
acc::div(acc::prod(facjk, facij),
|
||||||
|
denominator))
|
||||||
;
|
;
|
||||||
energy += F(2.0) * value / denominator * facjk * facij;
|
|
||||||
|
acc::sum_in_place(&_energy, &_loop_energy);
|
||||||
} // i
|
} // i
|
||||||
} // j
|
} // j
|
||||||
} // k
|
} // k
|
||||||
} // ii
|
} // ii
|
||||||
} // jj
|
} // jj
|
||||||
} // kk
|
} // kk
|
||||||
return std::real(energy);
|
const double real_part = acc::real(_energy);
|
||||||
|
acc::sum_in_place(energy, &real_part);
|
||||||
}
|
}
|
||||||
// Energy:2 ends here
|
// Energy:2 ends here
|
||||||
|
|
||||||
// [[file:~/cuda/atrip/atrip.org::*Energy][Energy:3]]
|
// [[file:~/cuda/atrip/atrip.org::*Energy][Energy:3]]
|
||||||
// instantiate double
|
// instantiate double
|
||||||
template
|
template
|
||||||
double getEnergyDistinct
|
__MAYBE_GLOBAL__
|
||||||
( double const epsabc
|
void getEnergyDistinct
|
||||||
|
( DataFieldType<double> const epsabc
|
||||||
, size_t const No
|
, size_t const No
|
||||||
, double* const epsi
|
, DataFieldType<double>* const epsi
|
||||||
, double* const Tijk
|
, DataFieldType<double>* const Tijk
|
||||||
, double* const Zijk
|
, DataFieldType<double>* const Zijk
|
||||||
|
, DataFieldType<double>* energy
|
||||||
);
|
);
|
||||||
|
|
||||||
template
|
template
|
||||||
double getEnergySame
|
__MAYBE_GLOBAL__
|
||||||
( double const epsabc
|
void getEnergySame
|
||||||
|
( DataFieldType<double> const epsabc
|
||||||
, size_t const No
|
, size_t const No
|
||||||
, double* const epsi
|
, DataFieldType<double>* const epsi
|
||||||
, double* const Tijk
|
, DataFieldType<double>* const Tijk
|
||||||
, double* const Zijk
|
, DataFieldType<double>* const Zijk
|
||||||
|
, DataFieldType<double>* energy
|
||||||
);
|
);
|
||||||
|
|
||||||
// instantiate Complex
|
// instantiate Complex
|
||||||
template
|
template
|
||||||
double getEnergyDistinct
|
__MAYBE_GLOBAL__
|
||||||
( Complex const epsabc
|
void getEnergyDistinct
|
||||||
|
( DataFieldType<Complex> const epsabc
|
||||||
, size_t const No
|
, size_t const No
|
||||||
, Complex* const epsi
|
, DataFieldType<Complex>* const epsi
|
||||||
, Complex* const Tijk
|
, DataFieldType<Complex>* const Tijk
|
||||||
, Complex* const Zijk
|
, DataFieldType<Complex>* const Zijk
|
||||||
|
, DataFieldType<double>* energy
|
||||||
);
|
);
|
||||||
|
|
||||||
template
|
template
|
||||||
double getEnergySame
|
__MAYBE_GLOBAL__
|
||||||
( Complex const epsabc
|
void getEnergySame
|
||||||
|
( DataFieldType<Complex> const epsabc
|
||||||
, size_t const No
|
, size_t const No
|
||||||
, Complex* const epsi
|
, DataFieldType<Complex>* const epsi
|
||||||
, Complex* const Tijk
|
, DataFieldType<Complex>* const Tijk
|
||||||
, Complex* const Zijk
|
, DataFieldType<Complex>* const Zijk
|
||||||
|
, DataFieldType<double>* energy
|
||||||
);
|
);
|
||||||
// Energy:3 ends here
|
// Energy:3 ends here
|
||||||
|
|
||||||
@ -360,18 +320,26 @@ double getEnergySame
|
|||||||
const size_t ijk = i + j*No + k*NoNo;
|
const size_t ijk = i + j*No + k*NoNo;
|
||||||
|
|
||||||
#ifdef HAVE_CUDA
|
#ifdef HAVE_CUDA
|
||||||
# define GO(__TPH, __VABIJ) \
|
|
||||||
{ \
|
#define GO(__TPH, __VABIJ) \
|
||||||
const DataFieldType<F> product \
|
do { \
|
||||||
= cuda::multiply<DataFieldType<F>>((__TPH), (__VABIJ)); \
|
const DataFieldType<F> \
|
||||||
cuda::sum_in_place<DataFieldType<F>>(&Zijk[ijk], &product); \
|
product = acc::prod<DataFieldType<F>>((__TPH), \
|
||||||
}
|
(__VABIJ)); \
|
||||||
|
acc::sum_in_place<DataFieldType<F>>(&Zijk[ijk], \
|
||||||
|
&product); \
|
||||||
|
} while (0)
|
||||||
|
|
||||||
#else
|
#else
|
||||||
# define GO(__TPH, __VABIJ) Zijk[ijk] += (__TPH) * (__VABIJ);
|
|
||||||
|
#define GO(__TPH, __VABIJ) Zijk[ijk] += (__TPH) * (__VABIJ)
|
||||||
|
|
||||||
#endif
|
#endif
|
||||||
GO(Tph[ a + i * Nv ], VBCij[ j + k * No ])
|
|
||||||
GO(Tph[ b + j * Nv ], VACij[ i + k * No ])
|
GO(Tph[ a + i * Nv ], VBCij[ j + k * No ]);
|
||||||
GO(Tph[ c + k * Nv ], VABij[ i + j * No ])
|
GO(Tph[ b + j * Nv ], VACij[ i + k * No ]);
|
||||||
|
GO(Tph[ c + k * Nv ], VABij[ i + j * No ]);
|
||||||
|
|
||||||
#undef GO
|
#undef GO
|
||||||
} // for loop j
|
} // for loop j
|
||||||
}
|
}
|
||||||
@ -480,7 +448,7 @@ double getEnergySame
|
|||||||
)
|
)
|
||||||
#define MAYBE_CONJ(_conj, _buffer) \
|
#define MAYBE_CONJ(_conj, _buffer) \
|
||||||
do { \
|
do { \
|
||||||
cuda::maybeConjugate<<< \
|
acc::maybeConjugate<<< \
|
||||||
\
|
\
|
||||||
Atrip::kernelDimensions.ooo.blocks, \
|
Atrip::kernelDimensions.ooo.blocks, \
|
||||||
\
|
\
|
||||||
@ -564,8 +532,8 @@ double getEnergySame
|
|||||||
ths = Atrip::kernelDimensions.ooo.threads;
|
ths = Atrip::kernelDimensions.ooo.threads;
|
||||||
|
|
||||||
#if !defined(ATRIP_ONLY_DGEMM)
|
#if !defined(ATRIP_ONLY_DGEMM)
|
||||||
cuda::zeroing<<<bs, ths>>>((DataFieldType<F>*)_t_buffer, NoNoNo);
|
acc::zeroing<<<bs, ths>>>((DataFieldType<F>*)_t_buffer, NoNoNo);
|
||||||
cuda::zeroing<<<bs, ths>>>((DataFieldType<F>*)_vhhh, NoNoNo);
|
acc::zeroing<<<bs, ths>>>((DataFieldType<F>*)_vhhh, NoNoNo);
|
||||||
#endif
|
#endif
|
||||||
|
|
||||||
#else
|
#else
|
||||||
@ -581,7 +549,7 @@ double getEnergySame
|
|||||||
// Set Tijk to zero
|
// Set Tijk to zero
|
||||||
#if defined(HAVE_CUDA) && !defined(ATRIP_ONLY_DGEMM)
|
#if defined(HAVE_CUDA) && !defined(ATRIP_ONLY_DGEMM)
|
||||||
WITH_CHRONO("double:reorder",
|
WITH_CHRONO("double:reorder",
|
||||||
cuda::zeroing<<<bs, ths>>>((DataFieldType<F>*)Tijk,
|
acc::zeroing<<<bs, ths>>>((DataFieldType<F>*)Tijk,
|
||||||
NoNoNo);
|
NoNoNo);
|
||||||
)
|
)
|
||||||
#else
|
#else
|
||||||
@ -589,7 +557,7 @@ double getEnergySame
|
|||||||
for (size_t k = 0; k < NoNoNo; k++) {
|
for (size_t k = 0; k < NoNoNo; k++) {
|
||||||
Tijk[k] = DataFieldType<F>{0.0};
|
Tijk[k] = DataFieldType<F>{0.0};
|
||||||
})
|
})
|
||||||
#endif
|
#endif /* defined(HAVE_CUDA) && !defined(ATRIP_ONLY_DGEMM) */
|
||||||
|
|
||||||
|
|
||||||
#if defined(ATRIP_ONLY_DGEMM)
|
#if defined(ATRIP_ONLY_DGEMM)
|
||||||
@ -597,7 +565,7 @@ double getEnergySame
|
|||||||
#undef REORDER
|
#undef REORDER
|
||||||
#define MAYBE_CONJ(a, b) do {} while(0)
|
#define MAYBE_CONJ(a, b) do {} while(0)
|
||||||
#define REORDER(i, j, k) do {} while(0)
|
#define REORDER(i, j, k) do {} while(0)
|
||||||
#endif
|
#endif /* defined(ATRIP_ONLY_DGEMM) */
|
||||||
|
|
||||||
// HOLES
|
// HOLES
|
||||||
WITH_CHRONO("doubles:holes",
|
WITH_CHRONO("doubles:holes",
|
||||||
@ -690,7 +658,7 @@ double getEnergySame
|
|||||||
#else
|
#else
|
||||||
free(_vhhh);
|
free(_vhhh);
|
||||||
free(_t_buffer);
|
free(_t_buffer);
|
||||||
#endif
|
#endif /* defined(HAVE_CUDA) */
|
||||||
}
|
}
|
||||||
|
|
||||||
#undef REORDER
|
#undef REORDER
|
||||||
@ -741,7 +709,7 @@ double getEnergySame
|
|||||||
}
|
}
|
||||||
|
|
||||||
}
|
}
|
||||||
#endif
|
#endif /* defined(ATRIP_USE_DGEMM) */
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user