diff options
| author | Douglas Rumbaugh <dbr4@psu.edu> | 2025-05-20 17:10:06 -0400 |
|---|---|---|
| committer | Douglas Rumbaugh <dbr4@psu.edu> | 2025-05-20 17:10:06 -0400 |
| commit | 9dcb32a0084a702459eb26b4b024cec05af4f970 (patch) | |
| tree | 64279e5ceebc4efe6a8315d12e3565d9bd0dd6c6 | |
| parent | d76af9340632128dc3a8b05011b6cf8d53fb0ccb (diff) | |
| download | dissertation-9dcb32a0084a702459eb26b4b024cec05af4f970.tar.gz | |
updates
| -rw-r--r-- | chapters/beyond-dsp.tex | 56 |
1 files changed, 30 insertions, 26 deletions
diff --git a/chapters/beyond-dsp.tex b/chapters/beyond-dsp.tex index b94221f..38a99c5 100644 --- a/chapters/beyond-dsp.tex +++ b/chapters/beyond-dsp.tex @@ -871,9 +871,9 @@ this information during reconstruction. template <typename SHARD> concept ShardInterface = RecordInterface<typename SHARD::RECORD> - && requires(SHARD shard, const std::vector<SHARD *> &shard_vector, - bool b, BufferView<typename SHARD::RECORD> bv, - typename SHARD::RECORD rec) { +&& requires(SHARD shard, const std::vector<SHARD *> &shard_vector, + bool b, BufferView<typename SHARD::RECORD> bv, + typename SHARD::RECORD rec) { {SHARD(shard_vector)}; {SHARD(std::move(bv))}; @@ -940,39 +940,43 @@ or duplicate effort in the combine step on each repetition. template <typename QUERY, typename SHARD, typename RESULT = typename QUERY::ResultType, - typename LOCAL_RESULT = typename QUERY::LocalResultType, + typename LOCAL_RESULT = + typename QUERY::LocalResultType, typename PARAMETERS = typename QUERY::Parameters, typename LOCAL = typename QUERY::LocalQuery, - typename LOCAL_BUFFER = typename QUERY::LocalQueryBuffer> + typename LOCAL_BUFFER = + typename QUERY::LocalQueryBuffer> concept QueryInterface = - requires(PARAMETERS *parameters, LOCAL *local, LOCAL_BUFFER *buffer_query, - SHARD *shard, std::vector<LOCAL *> &local_queries, - std::vector<LOCAL_RESULT> &local_results, RESULT &result, - BufferView<typename SHARD::RECORD> *bv) { - { - QUERY::local_preproc(shard, parameters) - } -> std::convertible_to<LOCAL *>; +requires(PARAMETERS *parameters, LOCAL *local, + LOCAL_BUFFER *buffer_query, SHARD *shard, + std::vector<LOCAL *> &local_queries, + std::vector<LOCAL_RESULT> &local_results, + RESULT &result, + BufferView<typename SHARD::RECORD> *bv) { - { - QUERY::local_preproc_buffer(bv, parameters) - } -> std::convertible_to<LOCAL_BUFFER *>; + { QUERY::local_preproc(shard, parameters) + } -> std::convertible_to<LOCAL *>; - { QUERY::distribute_query(parameters, local_queries, buffer_query) }; + { QUERY::local_preproc_buffer(bv, parameters) + } -> std::convertible_to<LOCAL_BUFFER *>; - { QUERY::local_query(shard, local) } -> std::convertible_to<LOCAL_RESULT>; + { QUERY::distribute_query(parameters, local_queries, + buffer_query) }; - { - QUERY::local_query_buffer(buffer_query) - } -> std::convertible_to<LOCAL_RESULT>; + { QUERY::local_query(shard, local) + } -> std::convertible_to<LOCAL_RESULT>; - { QUERY::combine(local_results, parameters, result) }; + { QUERY::local_query_buffer(buffer_query) + } -> std::convertible_to<LOCAL_RESULT>; - { - QUERY::repeat(parameters, result, local_queries, buffer_query) - } -> std::same_as<bool>; + { QUERY::combine(local_results, parameters, result) }; - { QUERY::EARLY_ABORT } -> std::convertible_to<bool>; - }; + { QUERY::repeat(parameters, result, local_queries, + buffer_query) + } -> std::same_as<bool>; + + { QUERY::EARLY_ABORT } -> std::convertible_to<bool>; +}; \end{lstlisting} \label{listing:query} |