use std::hash::Hash;
use std::mem::size_of;
use std::sync::Arc;
use kernel::PARENT_KERNELS;
use vortex_buffer::Buffer;
use vortex_error::VortexExpect;
use vortex_error::VortexResult;
use vortex_error::vortex_bail;
use vortex_error::vortex_err;
use vortex_error::vortex_panic;
use vortex_session::VortexSession;
use crate::ArrayRef;
use crate::EmptyMetadata;
use crate::ExecutionCtx;
use crate::ExecutionStep;
use crate::IntoArray;
use crate::Precision;
use crate::arrays::VarBinViewArray;
use crate::arrays::varbinview::BinaryView;
use crate::arrays::varbinview::compute::rules::PARENT_RULES;
use crate::buffer::BufferHandle;
use crate::dtype::DType;
use crate::hash::ArrayEq;
use crate::hash::ArrayHash;
use crate::serde::ArrayChildren;
use crate::stats::StatsSetRef;
use crate::validity::Validity;
use crate::vtable;
use crate::vtable::ArrayId;
use crate::vtable::VTable;
use crate::vtable::ValidityVTableFromValidityHelper;
use crate::vtable::validity_nchildren;
use crate::vtable::validity_to_child;
mod kernel;
mod operations;
mod validity;
vtable!(VarBinView);
#[derive(Debug)]
pub struct VarBinViewVTable;
impl VarBinViewVTable {
pub const ID: ArrayId = ArrayId::new_ref("vortex.varbinview");
}
impl VTable for VarBinViewVTable {
type Array = VarBinViewArray;
type Metadata = EmptyMetadata;
type OperationsVTable = Self;
type ValidityVTable = ValidityVTableFromValidityHelper;
fn id(_array: &Self::Array) -> ArrayId {
Self::ID
}
fn len(array: &VarBinViewArray) -> usize {
array.views_handle().len() / size_of::<BinaryView>()
}
fn dtype(array: &VarBinViewArray) -> &DType {
&array.dtype
}
fn stats(array: &VarBinViewArray) -> StatsSetRef<'_> {
array.stats_set.to_ref(array.as_ref())
}
fn array_hash<H: std::hash::Hasher>(
array: &VarBinViewArray,
state: &mut H,
precision: Precision,
) {
array.dtype.hash(state);
for buffer in array.buffers.iter() {
buffer.array_hash(state, precision);
}
array.views.array_hash(state, precision);
array.validity.array_hash(state, precision);
}
fn array_eq(array: &VarBinViewArray, other: &VarBinViewArray, precision: Precision) -> bool {
array.dtype == other.dtype
&& array.buffers.len() == other.buffers.len()
&& array
.buffers
.iter()
.zip(other.buffers.iter())
.all(|(a, b)| a.array_eq(b, precision))
&& array.views.array_eq(&other.views, precision)
&& array.validity.array_eq(&other.validity, precision)
}
fn nbuffers(array: &VarBinViewArray) -> usize {
array.buffers().len() + 1
}
fn buffer(array: &VarBinViewArray, idx: usize) -> BufferHandle {
let ndata = array.buffers().len();
if idx < ndata {
array.buffers()[idx].clone()
} else if idx == ndata {
array.views_handle().clone()
} else {
vortex_panic!("VarBinViewArray buffer index {idx} out of bounds")
}
}
fn buffer_name(array: &VarBinViewArray, idx: usize) -> Option<String> {
let ndata = array.buffers().len();
if idx < ndata {
Some(format!("buffer_{idx}"))
} else if idx == ndata {
Some("views".to_string())
} else {
vortex_panic!("VarBinViewArray buffer_name index {idx} out of bounds")
}
}
fn nchildren(array: &VarBinViewArray) -> usize {
validity_nchildren(&array.validity)
}
fn child(array: &VarBinViewArray, idx: usize) -> ArrayRef {
match idx {
0 => validity_to_child(&array.validity, array.len())
.vortex_expect("VarBinViewArray validity child out of bounds"),
_ => vortex_panic!("VarBinViewArray child index {idx} out of bounds"),
}
}
fn child_name(_array: &VarBinViewArray, idx: usize) -> String {
match idx {
0 => "validity".to_string(),
_ => vortex_panic!("VarBinViewArray child_name index {idx} out of bounds"),
}
}
fn metadata(_array: &VarBinViewArray) -> VortexResult<Self::Metadata> {
Ok(EmptyMetadata)
}
fn serialize(_metadata: Self::Metadata) -> VortexResult<Option<Vec<u8>>> {
Ok(Some(vec![]))
}
fn deserialize(
_bytes: &[u8],
_dtype: &DType,
_len: usize,
_buffers: &[BufferHandle],
_session: &VortexSession,
) -> VortexResult<Self::Metadata> {
Ok(EmptyMetadata)
}
fn build(
dtype: &DType,
len: usize,
_metadata: &Self::Metadata,
buffers: &[BufferHandle],
children: &dyn ArrayChildren,
) -> VortexResult<VarBinViewArray> {
let Some((views_handle, data_handles)) = buffers.split_last() else {
vortex_bail!("Expected at least 1 buffer, got 0");
};
let validity = if children.is_empty() {
Validity::from(dtype.nullability())
} else if children.len() == 1 {
let validity = children.get(0, &Validity::DTYPE, len)?;
Validity::Array(validity)
} else {
vortex_bail!("Expected 0 or 1 children, got {}", children.len());
};
let views_nbytes = views_handle.len();
let expected_views_nbytes = len
.checked_mul(size_of::<BinaryView>())
.ok_or_else(|| vortex_err!("views byte length overflow for len={len}"))?;
if views_nbytes != expected_views_nbytes {
vortex_bail!(
"Expected views buffer length {} bytes, got {} bytes",
expected_views_nbytes,
views_nbytes
);
}
if buffers.iter().any(|b| b.is_on_device()) {
return VarBinViewArray::try_new_handle(
views_handle.clone(),
Arc::from(data_handles.to_vec()),
dtype.clone(),
validity,
);
}
let data_buffers = data_handles
.iter()
.map(|b| b.as_host().clone())
.collect::<Vec<_>>();
let views = Buffer::<BinaryView>::from_byte_buffer(views_handle.clone().as_host().clone());
VarBinViewArray::try_new(views, Arc::from(data_buffers), dtype.clone(), validity)
}
fn with_children(array: &mut Self::Array, children: Vec<ArrayRef>) -> VortexResult<()> {
match children.len() {
0 => {}
1 => {
let [validity]: [ArrayRef; 1] = children
.try_into()
.map_err(|_| vortex_err!("Failed to convert children to array"))?;
array.validity = Validity::Array(validity);
}
_ => vortex_bail!(
"VarBinViewArray expects 0 or 1 children (validity?), got {}",
children.len()
),
}
Ok(())
}
fn reduce_parent(
array: &Self::Array,
parent: &ArrayRef,
child_idx: usize,
) -> VortexResult<Option<ArrayRef>> {
PARENT_RULES.evaluate(array, parent, child_idx)
}
fn execute_parent(
array: &Self::Array,
parent: &ArrayRef,
child_idx: usize,
ctx: &mut ExecutionCtx,
) -> VortexResult<Option<ArrayRef>> {
PARENT_KERNELS.execute(array, parent, child_idx, ctx)
}
fn execute(array: &Self::Array, _ctx: &mut ExecutionCtx) -> VortexResult<ExecutionStep> {
Ok(ExecutionStep::Done(array.clone().into_array()))
}
}