FZGPUModules 1.0
GPU-accelerated modular compression pipeline
Loading...
Searching...
No Matches
lorenzo.h
1#pragma once
2
3#include "stage/stage.h"
4#include "fzm_format.h"
5#include <cuda_runtime.h>
6#include <array>
7#include <cstdint>
8#include <cmath>
9#include <cstring>
10
11namespace fz {
12
13
26enum class ErrorBoundMode : uint8_t {
27 ABS = 0,
28 REL = 1,
29 NOA = 2,
30};
31
41 uint32_t quant_radius;
42 uint32_t num_elements;
43 uint32_t outlier_count;
46 uint8_t ndim;
47 uint8_t eb_mode;
48 uint32_t dim_x;
49 uint32_t dim_y;
50 uint32_t dim_z;
51 float user_eb;
52 float value_base;
53 uint8_t zigzag_codes;
54 uint8_t reserved[3];
55
56 // Total: 44 bytes (fits easily in 128B stage_config)
57
60 input_type(DataType::FLOAT32), code_type(DataType::UINT16),
61 ndim(1), eb_mode(0), dim_x(0), dim_y(1), dim_z(1),
62 user_eb(0.0f), value_base(0.0f), zigzag_codes(0), reserved{0, 0, 0} {}
63};
64static_assert(sizeof(LorenzoConfig) <= FZM_STAGE_CONFIG_SIZE, "LorenzoConfig must fit in FZM_STAGE_CONFIG_SIZE");
65
81template<typename TInput = float, typename TCode = uint16_t>
82class LorenzoStage : public Stage {
83public:
85 struct Config {
86 float error_bound = 1e-3;
87 int quant_radius = 32768;
88 float outlier_capacity = 0.2f;
92 std::array<size_t, 3> dims = {0, 1, 1};
99 bool zigzag_codes = false;
100 Config() = default;
101 Config(TInput eb, TCode radius = 32768, float outlier_cap = 0.2f,
102 std::array<size_t, 3> d = {0, 1, 1})
103 : error_bound(eb), quant_radius(radius), outlier_capacity(outlier_cap),
104 dims(d) {}
105 };
106
107 explicit LorenzoStage(const Config& config = Config());
108
110 cudaStream_t stream,
111 MemoryPool* pool,
112 const std::vector<void*>& inputs,
113 const std::vector<void*>& outputs,
114 const std::vector<size_t>& sizes
115 ) override;
116
122 void postStreamSync(cudaStream_t stream) override;
123
124 std::string getName() const override {
125 switch (ndim()) {
126 case 2: return "Lorenzo2D";
127 case 3: return "Lorenzo3D";
128 default: return "Lorenzo1D";
129 }
130 }
131 size_t getNumInputs() const override { return is_inverse_ ? 4 : 1; }
132 size_t getNumOutputs() const override { return is_inverse_ ? 1 : 4; }
133
134 std::vector<std::string> getOutputNames() const override {
135 return {"codes", "outlier_errors", "outlier_indices", "outlier_count"};
136 }
137
138 std::vector<size_t> estimateOutputSizes(
139 const std::vector<size_t>& input_sizes
140 ) const override;
141
142 std::unordered_map<std::string, size_t> getActualOutputSizesByName() const override {
143 auto names = getOutputNames();
144 std::unordered_map<std::string, size_t> result;
145 for (size_t i = 0; i < names.size() && i < actual_output_sizes_.size(); i++) {
146 result[names[i]] = actual_output_sizes_[i];
147 }
148 return result;
149 }
150 size_t getActualOutputSize(int index) const override {
151 return (index >= 0 && index < static_cast<int>(actual_output_sizes_.size()))
152 ? actual_output_sizes_[index] : 0;
153 }
154
155 // Preserve the forward-mode actual_output_sizes_ across decompression passes.
156 // decompressMulti() calls saveState()/restoreState() around each inverse
157 // execute() to prevent the inverse pass from permanently corrupting the
158 // 4-element forward output-size vector (inverse sets it to a 1-element vector).
159 void saveState() override { saved_output_sizes_ = actual_output_sizes_; }
160 void restoreState() override { actual_output_sizes_ = saved_output_sizes_; }
161
162 // Configuration accessors
163 void setErrorBound(TInput error_bound) { config_.error_bound = error_bound; }
164 void setQuantRadius(TCode radius) { config_.quant_radius = radius; }
165 void setOutlierCapacity(float capacity) { config_.outlier_capacity = capacity; }
166 void setDims(const std::array<size_t, 3>& dims) override { config_.dims = dims; }
167 void setErrorBoundMode(ErrorBoundMode mode) { config_.eb_mode = mode; }
168 // Provide a pre-computed value_range (NOA) or max(|data|) (REL) to skip
169 // the internal data scan during execute(). Pass 0 to re-enable auto-scan.
170 void setValueBase(float value_base) { config_.precomputed_value_base = value_base; }
171 void setZigzagCodes(bool enable) { config_.zigzag_codes = enable; }
172 void setDims(size_t x, size_t y = 1, size_t z = 1) { config_.dims = {x, y, z}; }
173
174 TInput getErrorBound() const { return config_.error_bound; }
175 TCode getQuantRadius() const { return config_.quant_radius; }
176 float getOutlierCapacity() const { return config_.outlier_capacity; }
177 std::array<size_t, 3> getDims() const { return config_.dims; }
178 ErrorBoundMode getErrorBoundMode() const { return config_.eb_mode; }
179 float getValueBase() const { return config_.precomputed_value_base; }
180 bool getZigzagCodes() const { return config_.zigzag_codes; }
181
183 int ndim() const {
184 if (config_.dims[2] > 1) return 3;
185 if (config_.dims[1] > 1) return 2;
186 return 1;
187 }
188
189 void setInverse(bool inverse) { is_inverse_ = inverse; }
190 bool isInverse() const { return is_inverse_; }
191
192 // ── Serialization ─────────────────────────────────────────────────────────
193
194 uint16_t getStageTypeId() const override {
195 switch (ndim()) {
196 case 2: return static_cast<uint16_t>(StageType::LORENZO_2D);
197 case 3: return static_cast<uint16_t>(StageType::LORENZO_3D);
198 default: return static_cast<uint16_t>(StageType::LORENZO_1D);
199 }
200 }
201
202 uint8_t getOutputDataType(size_t output_index) const override {
203 switch (output_index) {
204 case 0: return static_cast<uint8_t>(getCodeDataType()); // codes
205 case 1: return static_cast<uint8_t>(getInputDataType()); // outlier_errors
206 case 2: return static_cast<uint8_t>(DataType::UINT32); // outlier_indices
207 case 3: return static_cast<uint8_t>(DataType::UINT32); // outlier_count
208 default: return static_cast<uint8_t>(DataType::UINT8);
209 }
210 }
211
212 uint8_t getInputDataType(size_t /*input_index*/) const override {
213 return static_cast<uint8_t>(getInputDataType());
214 }
215
216 size_t serializeHeader(size_t output_index, uint8_t* header_buffer, size_t max_size) const override {
217 (void)output_index; // Lorenzo uses same header for all outputs
218
219 if (max_size < sizeof(LorenzoConfig)) {
220 throw std::runtime_error("Insufficient buffer for Lorenzo config");
221 }
222
223 LorenzoConfig config;
224 config.error_bound = static_cast<float>(computed_abs_eb_); // abs bound used by decompressor
225 config.quant_radius = static_cast<uint32_t>(config_.quant_radius);
226 config.num_elements = static_cast<uint32_t>(num_elements_);
227 config.outlier_count = actual_outlier_count_;
228 config.input_type = getInputDataType();
229 config.code_type = getCodeDataType();
230 config.ndim = static_cast<uint8_t>(ndim());
231 config.eb_mode = static_cast<uint8_t>(config_.eb_mode);
232 config.dim_x = static_cast<uint32_t>(config_.dims[0]);
233 config.dim_y = static_cast<uint32_t>(config_.dims[1]);
234 config.dim_z = static_cast<uint32_t>(config_.dims[2]);
235 config.user_eb = static_cast<float>(config_.error_bound); // original user-specified value
236 config.value_base = computed_value_base_;
237 config.zigzag_codes = config_.zigzag_codes ? uint8_t{1} : uint8_t{0};
238 config.reserved[0] = 0; config.reserved[1] = 0; config.reserved[2] = 0;
239
240 std::memcpy(header_buffer, &config, sizeof(LorenzoConfig));
241 return sizeof(LorenzoConfig);
242 }
243
244 size_t getMaxHeaderSize(size_t output_index) const override {
245 (void)output_index;
246 return sizeof(LorenzoConfig);
247 }
248
249 void deserializeHeader(const uint8_t* header_buffer, size_t size) override {
250 // Minimum size is the original 32-byte layout (before user_eb/value_base were added).
251 constexpr size_t kLegacySize = 32;
252 if (size < kLegacySize) {
253 throw std::runtime_error("Invalid Lorenzo config size");
254 }
255
256 LorenzoConfig config;
257 std::memcpy(&config, header_buffer, std::min(size, sizeof(LorenzoConfig)));
258
259 // error_bound in the header is always the absolute bound used at compression.
260 config_.error_bound = config.error_bound;
261 computed_abs_eb_ = static_cast<TInput>(config.error_bound);
262 config_.quant_radius = static_cast<TCode>(config.quant_radius);
263 num_elements_ = config.num_elements;
264 actual_outlier_count_= config.outlier_count;
265 // New fields: present only in headers written by v1+ (≥40B, added user_eb/value_base/eb_mode).
266 constexpr size_t kV1Size = 40;
267 if (size >= kV1Size) {
268 config_.eb_mode = static_cast<ErrorBoundMode>(config.eb_mode);
269 config_.precomputed_value_base = config.value_base;
270 computed_value_base_ = config.value_base;
271 } else {
272 config_.eb_mode = ErrorBoundMode::ABS;
273 config_.precomputed_value_base = 0.0f;
274 computed_value_base_ = 0.0f;
275 }
276 // zigzag_codes field added in v2 (≥44B).
277 if (size >= sizeof(LorenzoConfig)) {
278 config_.zigzag_codes = (config.zigzag_codes != 0);
279 } else {
280 config_.zigzag_codes = false;
281 }
282
283 // Restore spatial dimensions; handle old (pre-dims) files gracefully
284 int eff_ndim = (config.ndim == 0) ? 1 : static_cast<int>(config.ndim);
285 // dim_x: stored explicitly; fall back to derivation for old files
286 if (config.dim_x > 0) {
287 config_.dims[0] = config.dim_x;
288 } else if (config.num_elements > 0) {
289 size_t yz = std::max<size_t>(1, config.dim_y) * std::max<size_t>(1, config.dim_z);
290 config_.dims[0] = config.num_elements / yz;
291 } else {
292 config_.dims[0] = 0;
293 }
294 if (eff_ndim >= 2) {
295 config_.dims[1] = (config.dim_y > 0) ? config.dim_y : 1;
296 } else {
297 config_.dims[1] = 1;
298 }
299 if (eff_ndim >= 3) {
300 config_.dims[2] = (config.dim_z > 0) ? config.dim_z : 1;
301 } else {
302 config_.dims[2] = 1;
303 }
304 }
305
306private:
307 Config config_;
308 std::vector<size_t> actual_output_sizes_;
309 std::vector<size_t> saved_output_sizes_; // saved by saveState(), restored by restoreState()
310 size_t num_elements_ = 0; // Track for header
311 uint32_t actual_outlier_count_ = 0; // Track for header
312 bool is_inverse_ = false; // false = compress, true = decompress
316 TInput computed_abs_eb_ = 0;
319 float computed_value_base_ = 0.0f;
322 const void* d_outlier_count_ptr_ = nullptr;
323
324 DataType getInputDataType() const {
325 if (std::is_same<TInput, float>::value) return DataType::FLOAT32;
326 if (std::is_same<TInput, double>::value) return DataType::FLOAT64;
327 return DataType::FLOAT32;
328 }
329
330 DataType getCodeDataType() const {
331 if (std::is_same<TCode, uint8_t>::value) return DataType::UINT8;
332 if (std::is_same<TCode, uint16_t>::value) return DataType::UINT16;
333 if (std::is_same<TCode, uint32_t>::value) return DataType::UINT32;
334 return DataType::UINT16;
335 }
336
337 size_t getMaxOutlierCount(size_t num_elements) const {
338 return static_cast<size_t>(std::ceil(num_elements * config_.outlier_capacity));
339 }
340};
341
342extern template class LorenzoStage<float, uint16_t>;
343extern template class LorenzoStage<float, uint8_t>;
344extern template class LorenzoStage<double, uint16_t>;
345extern template class LorenzoStage<double, uint32_t>;
346
347// Kernel launcher declarations — defined in lorenzo.cu.
348
349template<typename TInput, typename TCode>
350void launchLorenzoKernel(
351 const TInput* d_input, size_t n,
352 TInput ebx2_r, TCode quant_radius,
353 TCode* d_codes, TInput* d_outlier_errors,
354 uint32_t* d_outlier_indices, uint32_t* d_outlier_count,
355 size_t max_outliers, int grid_size,
356 bool zigzag_codes,
357 cudaStream_t stream
358);
359
360template<typename TInput, typename TCode>
361void launchLorenzoInverseKernel(
362 const TCode* d_codes,
363 const TInput* d_outlier_errors, const uint32_t* d_outlier_indices,
364 const uint32_t* d_outlier_count,
365 size_t n, size_t max_outliers,
366 TInput ebx2, TCode quant_radius,
367 TInput* d_output,
368 bool zigzag_codes,
369 cudaStream_t stream, MemoryPool* pool
370);
371
373template<typename TInput, typename TCode>
375 const TInput* d_input, size_t nx, size_t ny,
376 TInput ebx2_r, TCode quant_radius,
377 TCode* d_codes, TInput* d_outlier_errors,
378 uint32_t* d_outlier_indices, uint32_t* d_outlier_count,
379 size_t max_outliers,
380 bool zigzag_codes,
381 cudaStream_t stream
382);
383
385template<typename TInput, typename TCode>
387 const TCode* d_codes,
388 const TInput* d_outlier_errors, const uint32_t* d_outlier_indices,
389 const uint32_t* d_outlier_count,
390 size_t nx, size_t ny, size_t max_outliers,
391 TInput ebx2, TCode quant_radius,
392 TInput* d_output,
393 bool zigzag_codes,
394 cudaStream_t stream, MemoryPool* pool
395);
396
398template<typename TInput, typename TCode>
400 const TInput* d_input, size_t nx, size_t ny, size_t nz,
401 TInput ebx2_r, TCode quant_radius,
402 TCode* d_codes, TInput* d_outlier_errors,
403 uint32_t* d_outlier_indices, uint32_t* d_outlier_count,
404 size_t max_outliers,
405 bool zigzag_codes,
406 cudaStream_t stream
407);
408
410template<typename TInput, typename TCode>
412 const TCode* d_codes,
413 const TInput* d_outlier_errors, const uint32_t* d_outlier_indices,
414 const uint32_t* d_outlier_count,
415 size_t nx, size_t ny, size_t nz, size_t max_outliers,
416 TInput ebx2, TCode quant_radius,
417 TInput* d_output,
418 bool zigzag_codes,
419 cudaStream_t stream, MemoryPool* pool
420);
421
422} // namespace fz
Definition lorenzo.h:82
void deserializeHeader(const uint8_t *header_buffer, size_t size) override
Definition lorenzo.h:249
void execute(cudaStream_t stream, MemoryPool *pool, const std::vector< void * > &inputs, const std::vector< void * > &outputs, const std::vector< size_t > &sizes) override
uint8_t getOutputDataType(size_t output_index) const override
Definition lorenzo.h:202
std::vector< std::string > getOutputNames() const override
Definition lorenzo.h:134
size_t serializeHeader(size_t output_index, uint8_t *header_buffer, size_t max_size) const override
Definition lorenzo.h:216
size_t getMaxHeaderSize(size_t output_index) const override
Definition lorenzo.h:244
std::string getName() const override
Definition lorenzo.h:124
uint8_t getInputDataType(size_t) const override
Definition lorenzo.h:212
void setInverse(bool inverse)
Definition lorenzo.h:189
void setDims(const std::array< size_t, 3 > &dims) override
Definition lorenzo.h:166
void postStreamSync(cudaStream_t stream) override
int ndim() const
Returns the effective spatial dimensionality (1, 2, or 3).
Definition lorenzo.h:183
std::vector< size_t > estimateOutputSizes(const std::vector< size_t > &input_sizes) const override
void saveState() override
Definition lorenzo.h:159
uint16_t getStageTypeId() const override
Definition lorenzo.h:194
size_t getActualOutputSize(int index) const override
Definition lorenzo.h:150
std::unordered_map< std::string, size_t > getActualOutputSizesByName() const override
Definition lorenzo.h:142
Definition mempool.h:62
Definition stage.h:28
FZM binary file format definitions — structs, enums, and helpers.
Definition fzm_format.h:25
void launchLorenzoInverseKernel3D(const TCode *d_codes, const TInput *d_outlier_errors, const uint32_t *d_outlier_indices, const uint32_t *d_outlier_count, size_t nx, size_t ny, size_t nz, size_t max_outliers, TInput ebx2, TCode quant_radius, TInput *d_output, bool zigzag_codes, cudaStream_t stream, MemoryPool *pool)
3-D inverse Lorenzo kernel launcher.
ErrorBoundMode
Definition lorenzo.h:26
@ NOA
Value-range relative bound (norm-of-absolute).
@ ABS
Absolute error bound.
@ REL
Global-approximate point-wise relative bound.
void launchLorenzoKernel3D(const TInput *d_input, size_t nx, size_t ny, size_t nz, TInput ebx2_r, TCode quant_radius, TCode *d_codes, TInput *d_outlier_errors, uint32_t *d_outlier_indices, uint32_t *d_outlier_count, size_t max_outliers, bool zigzag_codes, cudaStream_t stream)
3-D forward Lorenzo kernel launcher.
void launchLorenzoInverseKernel2D(const TCode *d_codes, const TInput *d_outlier_errors, const uint32_t *d_outlier_indices, const uint32_t *d_outlier_count, size_t nx, size_t ny, size_t max_outliers, TInput ebx2, TCode quant_radius, TInput *d_output, bool zigzag_codes, cudaStream_t stream, MemoryPool *pool)
2-D inverse Lorenzo kernel launcher.
constexpr size_t FZM_STAGE_CONFIG_SIZE
Per-stage serialized config slot (bytes)
Definition fzm_format.h:65
void launchLorenzoKernel2D(const TInput *d_input, size_t nx, size_t ny, TInput ebx2_r, TCode quant_radius, TCode *d_codes, TInput *d_outlier_errors, uint32_t *d_outlier_indices, uint32_t *d_outlier_count, size_t max_outliers, bool zigzag_codes, cudaStream_t stream)
2-D forward Lorenzo kernel launcher. nx is the fast (x) dimension.
@ LORENZO_1D
LorenzoStage — 1-D predictor.
@ LORENZO_3D
LorenzoStage — 3-D predictor.
@ LORENZO_2D
LorenzoStage — 2-D predictor.
DataType
Element data type identifiers used in buffer and stage descriptors.
Definition fzm_format.h:103
Definition lorenzo.h:39
uint32_t dim_z
Z dimension (1 for 1-D/2-D).
Definition lorenzo.h:50
uint32_t dim_y
Y dimension (1 for 1-D).
Definition lorenzo.h:49
uint8_t ndim
Spatial dimensionality 1/2/3 (0 treated as 1).
Definition lorenzo.h:46
DataType input_type
Original input type (1B).
Definition lorenzo.h:44
uint8_t eb_mode
ErrorBoundMode cast to uint8_t.
Definition lorenzo.h:47
float user_eb
Original user-specified error bound value.
Definition lorenzo.h:51
uint32_t dim_x
X (fast) dimension; 0 = infer from num_elements.
Definition lorenzo.h:48
uint32_t outlier_count
Actual number of outliers.
Definition lorenzo.h:43
float value_base
value_range (NOA) or max(|data|) (REL) used in conversion.
Definition lorenzo.h:52
DataType code_type
Quantization code type (1B).
Definition lorenzo.h:45
float error_bound
Absolute bound after mode conversion (used by decompressor).
Definition lorenzo.h:40
uint32_t quant_radius
Quantization radius.
Definition lorenzo.h:41
uint32_t num_elements
Total element count.
Definition lorenzo.h:42
uint8_t reserved[3]
Must be zero.
Definition lorenzo.h:54
uint8_t zigzag_codes
1 if codes are zigzag-encoded, else 0.
Definition lorenzo.h:53
Definition lorenzo.h:85
float error_bound
Error bound (interpretation depends on eb_mode).
Definition lorenzo.h:86
int quant_radius
Quantization radius (2^15 for uint16_t).
Definition lorenzo.h:87
float precomputed_value_base
Definition lorenzo.h:96
std::array< size_t, 3 > dims
Definition lorenzo.h:92
float outlier_capacity
Definition lorenzo.h:88
bool zigzag_codes
Definition lorenzo.h:99