nd-arrow-array 0.5.0

N-dimensional Arrow arrays as an Arrow extension type
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
//! Conversion between nd columns and the Arrow canonical tensor types
//! `arrow.fixed_shape_tensor` and `arrow.variable_shape_tensor`.
//!
//! The canonical types keep the dimension names in the field metadata, so all
//! rows of a column must share their names and rank. They have no attributes,
//! and their elements cannot be null: fill nulls before a conversion.
//!
//! The canonical `dim_names` and `shape` describe the physical row-major
//! layout, which is the nd layout. A `permutation` is only a view hint, so a
//! conversion from a tensor ignores it.
//!
//! This module writes and reads the metadata JSON itself, by the Arrow
//! specification. It reads both `permutation` and `permutations` keys.

use std::collections::HashMap;
use std::sync::Arc;

use arrow::array::{
    Array, FixedSizeListArray, Int32Array, ListArray, MutableArrayData, StructArray, UInt64Array,
    make_array,
};
use arrow::compute::cast;
use arrow::datatypes::{DataType, Field, Fields};
use arrow_schema::extension::{EXTENSION_TYPE_METADATA_KEY, EXTENSION_TYPE_NAME_KEY};
use serde::{Deserialize, Serialize};

use crate::NdArrowArray;
use crate::column::{NdColumn, NdColumnBuilder};
use crate::dimensions::Dimensions;
use crate::error::{Result, nd_err};
use crate::extension::is_nd_field;

/// Extension name of the Arrow canonical fixed shape tensor.
pub const FIXED_SHAPE_TENSOR: &str = "arrow.fixed_shape_tensor";
/// Extension name of the Arrow canonical variable shape tensor.
pub const VARIABLE_SHAPE_TENSOR: &str = "arrow.variable_shape_tensor";

#[derive(Debug, Default, Serialize, Deserialize)]
struct TensorMetadata {
    #[serde(default, skip_serializing_if = "Option::is_none")]
    shape: Option<Vec<usize>>,
    #[serde(default, skip_serializing_if = "Option::is_none")]
    dim_names: Option<Vec<String>>,
    #[serde(
        default,
        alias = "permutations",
        skip_serializing_if = "Option::is_none"
    )]
    permutation: Option<Vec<usize>>,
    #[serde(default, skip_serializing_if = "Option::is_none")]
    uniform_shape: Option<Vec<Option<i32>>>,
}

fn tensor_field(
    name: &str,
    data_type: DataType,
    extension: &str,
    metadata: &TensorMetadata,
) -> Field {
    let json = serde_json::to_string(metadata).expect("metadata serializes");
    Field::new(name, data_type, true).with_metadata(HashMap::from([
        (EXTENSION_TYPE_NAME_KEY.to_string(), extension.to_string()),
        (EXTENSION_TYPE_METADATA_KEY.to_string(), json),
    ]))
}

fn read_metadata(field: &Field) -> Result<TensorMetadata> {
    match field.metadata().get(EXTENSION_TYPE_METADATA_KEY) {
        None => Ok(TensorMetadata::default()),
        Some(json) if json.trim().is_empty() => Ok(TensorMetadata::default()),
        Some(json) => serde_json::from_str(json)
            .map_err(|e| nd_err!(InvalidEncoding, "invalid tensor metadata: {e}")),
    }
}

/// The dimensions that all non-null rows share in name (and in size, if `sizes`).
fn shared_dims(column: &NdColumn, sizes: bool) -> Result<Dimensions> {
    let mut shared: Option<Dimensions> = None;
    for row in (0..column.len()).filter(|&r| !column.is_null(r)) {
        let dims = column.dimensions_at(row);
        match &shared {
            None => shared = Some(dims),
            Some(first) if first.names() != dims.names() || (sizes && *first != dims) => {
                return Err(nd_err!(
                    NotSupported,
                    "tensor types need one set of dimensions, got {first} and {dims}"
                ));
            }
            Some(_) => {}
        }
    }
    Ok(shared.unwrap_or_default())
}

fn check_no_null_elements(column: &NdColumn) -> Result<()> {
    if column.values_list().values().null_count() > 0 {
        return Err(nd_err!(
            NotSupported,
            "tensor elements cannot be null; fill the nulls first"
        ));
    }
    Ok(())
}

fn element_field(value_type: &DataType) -> Arc<Field> {
    Arc::new(Field::new_list_field(value_type.clone(), false))
}

fn names_of(dims: &Dimensions) -> Option<Vec<String>> {
    (dims.rank() > 0).then(|| dims.names().iter().map(|n| n.to_string()).collect())
}

/// Convert to an `arrow.variable_shape_tensor` field named `name` and its
/// storage. The values are not copied.
pub fn to_variable_shape_tensor(column: &NdColumn, name: &str) -> Result<(Field, StructArray)> {
    check_no_null_elements(column)?;
    let dims = shared_dims(column, false)?;
    let rank = dims.rank();

    let mut shapes: Vec<i32> = Vec::with_capacity(column.len() * rank);
    let mut uniform: Vec<Option<i32>> = Vec::new();
    for row in 0..column.len() {
        let row_dims = (!column.is_null(row)).then(|| column.dimensions_at(row));
        for axis in 0..rank {
            let size = match &row_dims {
                Some(d) => i32::try_from(d.as_slice()[axis].size())
                    .map_err(|_| nd_err!(NotSupported, "dimension size exceeds Int32"))?,
                None => 0,
            };
            shapes.push(size);
            if row_dims.is_some() {
                match uniform.get_mut(axis) {
                    None => uniform.push(Some(size)),
                    Some(slot) if *slot != Some(size) => *slot = None,
                    Some(_) => {}
                }
            }
        }
    }

    let values = column.values_list();
    let data = ListArray::try_new(
        element_field(column.value_type()),
        values.offsets().clone(),
        values.values().clone(),
        None,
    )?;
    let shape = FixedSizeListArray::try_new(
        Arc::new(Field::new_list_field(DataType::Int32, false)),
        rank as i32,
        Arc::new(Int32Array::from(shapes)),
        None,
    )?;
    let fields = Fields::from(vec![
        Field::new("data", data.data_type().clone(), false),
        Field::new("shape", shape.data_type().clone(), false),
    ]);
    let storage = StructArray::try_new(
        fields,
        vec![Arc::new(data), Arc::new(shape)],
        column.storage().nulls().cloned(),
    )?;
    let metadata = TensorMetadata {
        dim_names: names_of(&dims),
        uniform_shape: (rank > 0 && uniform.len() == rank).then_some(uniform),
        ..Default::default()
    };
    let field = tensor_field(
        name,
        storage.data_type().clone(),
        VARIABLE_SHAPE_TENSOR,
        &metadata,
    );
    Ok((field, storage))
}

/// Convert to an `arrow.fixed_shape_tensor` field named `name` and its
/// storage. All non-null rows need the same dimensions.
pub fn to_fixed_shape_tensor(column: &NdColumn, name: &str) -> Result<(Field, FixedSizeListArray)> {
    check_no_null_elements(column)?;
    let dims = shared_dims(column, true)?;
    let size = dims.num_elements();

    let values = column.values_list();
    let data = values.values().to_data();
    let offsets = values.value_offsets();
    let mut out = MutableArrayData::new(vec![&data], true, column.len() * size);
    for row in 0..column.len() {
        if column.is_null(row) {
            out.extend_nulls(size);
        } else {
            out.extend(0, offsets[row] as usize, offsets[row + 1] as usize);
        }
    }
    let array = FixedSizeListArray::try_new(
        element_field(column.value_type()),
        size as i32,
        make_array(out.freeze()),
        column.storage().nulls().cloned(),
    )?;
    let metadata = TensorMetadata {
        shape: Some(dims.shape()),
        dim_names: names_of(&dims),
        ..Default::default()
    };
    let field = tensor_field(
        name,
        array.data_type().clone(),
        FIXED_SHAPE_TENSOR,
        &metadata,
    );
    Ok((field, array))
}

fn dimension_names(names: Option<Vec<String>>, rank: usize) -> Result<Vec<String>> {
    match names {
        Some(names) if names.len() == rank => Ok(names),
        Some(names) => Err(nd_err!(
            InvalidEncoding,
            "tensor has {} dimension names for rank {rank}",
            names.len()
        )),
        None => Ok((0..rank).map(|i| format!("dim_{i}")).collect()),
    }
}

fn from_variable_shape_tensor(storage: &StructArray, metadata: TensorMetadata) -> Result<NdColumn> {
    let (Some(data), Some(shape)) = (
        storage.column(0).as_any().downcast_ref::<ListArray>(),
        storage
            .column(1)
            .as_any()
            .downcast_ref::<FixedSizeListArray>(),
    ) else {
        return Err(nd_err!(
            InvalidEncoding,
            "variable shape tensor storage must be Struct{{data: List, shape: FixedSizeList}}"
        ));
    };
    let rank = shape.value_length() as usize;
    let names = dimension_names(metadata.dim_names, rank)?;
    let sizes = cast(shape.values().as_ref(), &DataType::UInt64)?;
    let sizes = sizes
        .as_any()
        .downcast_ref::<UInt64Array>()
        .expect("cast to UInt64");

    let value_type = match data.data_type() {
        DataType::List(item) => item.data_type().clone(),
        _ => unreachable!(),
    };
    let mut builder = NdColumnBuilder::with_value_type(value_type);
    for row in 0..storage.len() {
        if storage.is_null(row) {
            builder.append_null();
            continue;
        }
        let base = shape.value_offset(row) as usize;
        let dims = Dimensions::try_new(
            names
                .iter()
                .enumerate()
                .map(|(axis, name)| (name.as_str(), sizes.value(base + axis) as usize)),
        )?;
        builder.append(&NdArrowArray::try_new(data.value(row), dims)?)?;
    }
    builder.finish()
}

fn from_fixed_shape_tensor(
    array: &FixedSizeListArray,
    metadata: TensorMetadata,
) -> Result<NdColumn> {
    let shape = metadata
        .shape
        .ok_or_else(|| nd_err!(InvalidEncoding, "fixed shape tensor metadata has no shape"))?;
    let names = dimension_names(metadata.dim_names, shape.len())?;
    let dims = Dimensions::try_new(names.iter().map(String::as_str).zip(shape))?;
    if dims.num_elements() != array.value_length() as usize {
        return Err(nd_err!(
            InvalidEncoding,
            "fixed shape tensor shape {dims} does not match list size {}",
            array.value_length()
        ));
    }
    let value_type = array.value_type();
    let mut builder = NdColumnBuilder::with_value_type(value_type);
    for row in 0..array.len() {
        if array.is_null(row) {
            builder.append_null();
        } else {
            builder.append(&NdArrowArray::try_new(array.value(row), dims.clone())?)?;
        }
    }
    builder.finish()
}

/// Read a column that is an nd column or a canonical tensor column, by the
/// extension name on `field`.
pub fn column_from_field(field: &Field, array: &dyn Array) -> Result<NdColumn> {
    if is_nd_field(field) {
        return NdColumn::try_from_array(array);
    }
    match field.extension_type_name() {
        Some(VARIABLE_SHAPE_TENSOR) => {
            let storage = array
                .as_any()
                .downcast_ref::<StructArray>()
                .ok_or_else(|| {
                    nd_err!(
                        InvalidEncoding,
                        "variable shape tensor storage must be a Struct"
                    )
                })?;
            from_variable_shape_tensor(storage, read_metadata(field)?)
        }
        Some(FIXED_SHAPE_TENSOR) => {
            let storage = array
                .as_any()
                .downcast_ref::<FixedSizeListArray>()
                .ok_or_else(|| {
                    nd_err!(
                        InvalidEncoding,
                        "fixed shape tensor storage must be a FixedSizeList"
                    )
                })?;
            from_fixed_shape_tensor(storage, read_metadata(field)?)
        }
        other => Err(nd_err!(
            InvalidEncoding,
            "field '{}' has extension type {other:?}, not an nd or tensor type",
            field.name()
        )),
    }
}

#[cfg(test)]
mod tests {
    use arrow::array::{AsArray, Float32Array};
    use arrow::datatypes::Float32Type;

    use super::*;

    fn nd(values: Vec<f32>, dims: &[(&str, usize)]) -> NdArrowArray {
        NdArrowArray::try_new(
            Arc::new(Float32Array::from(values)),
            Dimensions::try_new(dims.iter().copied()).unwrap(),
        )
        .unwrap()
    }

    fn column(arrays: &[Option<NdArrowArray>]) -> NdColumn {
        let mut builder = NdColumnBuilder::with_value_type(DataType::Float32);
        for a in arrays {
            builder.append_option(a.as_ref()).unwrap();
        }
        builder.finish().unwrap()
    }

    #[test]
    fn variable_shape_round_trip() {
        let a = nd(vec![1.0, 2.0, 3.0, 4.0, 5.0, 6.0], &[("y", 2), ("x", 3)]);
        let b = nd(vec![7.0, 8.0], &[("y", 1), ("x", 2)]);
        let col = column(&[Some(a.clone()), None, Some(b.clone())]);
        let (field, storage) = to_variable_shape_tensor(&col, "t").unwrap();
        assert_eq!(
            field.metadata()[EXTENSION_TYPE_METADATA_KEY],
            r#"{"dim_names":["y","x"],"uniform_shape":[null,null]}"#
        );
        let back = column_from_field(&field, &storage).unwrap();
        assert_eq!(back.value(0), a);
        assert!(back.is_null(1));
        assert_eq!(back.value(2), b);
    }

    #[test]
    fn fixed_shape_round_trip() {
        let a = nd(vec![1.0, 2.0, 3.0, 4.0], &[("y", 2), ("x", 2)]);
        let col = column(&[Some(a.clone()), None, Some(a.clone())]);
        let (field, array) = to_fixed_shape_tensor(&col, "t").unwrap();
        assert_eq!(array.value_length(), 4);
        let back = column_from_field(&field, &array).unwrap();
        assert_eq!(back.value(2), a);
        assert!(back.is_null(1));
        assert_eq!(
            back.value(0)
                .values()
                .as_primitive::<Float32Type>()
                .values(),
            &[1.0, 2.0, 3.0, 4.0]
        );
    }

    #[test]
    fn reads_metadata_from_other_writers() {
        let array = FixedSizeListArray::try_new(
            element_field(&DataType::Float32),
            2,
            Arc::new(Float32Array::from(vec![1.0, 2.0])),
            None,
        )
        .unwrap();
        let field =
            Field::new("t", array.data_type().clone(), true).with_metadata(HashMap::from([
                (
                    EXTENSION_TYPE_NAME_KEY.to_string(),
                    FIXED_SHAPE_TENSOR.to_string(),
                ),
                (
                    EXTENSION_TYPE_METADATA_KEY.to_string(),
                    r#"{"shape":[2],"permutation":[0]}"#.to_string(),
                ),
            ]));
        let col = column_from_field(&field, &array).unwrap();
        assert_eq!(col.value(0).dims().names(), vec!["dim_0"]);
    }

    #[test]
    fn mismatched_rows_and_null_elements_rejected() {
        let a = nd(vec![1.0, 2.0], &[("x", 2)]);
        let b = nd(vec![1.0, 2.0], &[("y", 2)]);
        assert!(to_variable_shape_tensor(&column(&[Some(a.clone()), Some(b)]), "t").is_err());
        let c = nd(vec![1.0, 2.0, 3.0], &[("x", 3)]);
        assert!(to_fixed_shape_tensor(&column(&[Some(a), Some(c)]), "t").is_err());
        let with_null = NdArrowArray::try_new(
            Arc::new(Float32Array::from(vec![Some(1.0), None])),
            Dimensions::try_new([("x", 2)]).unwrap(),
        )
        .unwrap();
        assert!(to_variable_shape_tensor(&column(&[Some(with_null)]), "t").is_err());
    }
}