-
Notifications
You must be signed in to change notification settings - Fork 212
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
refactor: new buffer abstractions in decoders (#2648)
Introduce LanceBuffer, copy-on-write version designed for interoperability between arrow_buffer::Buffer, bytes::Bytes, and Vec<u8> (and their mutable counterparts). Use this to remove some copies on the decode path (the value decoder is now truly zero-copy). Introduce the DataBlock and a concept of "data layouts". Use this to simplify decoding pathways.
- Loading branch information
1 parent
a23ba62
commit fc7d78c
Showing
18 changed files
with
565 additions
and
633 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,91 @@ | ||
// SPDX-License-Identifier: Apache-2.0 | ||
// SPDX-FileCopyrightText: Copyright The Lance Authors | ||
|
||
//! Utilities for byte arrays | ||
|
||
use std::{ops::Deref, ptr::NonNull, sync::Arc}; | ||
|
||
use arrow_buffer::Buffer; | ||
|
||
/// A copy-on-write byte buffer | ||
/// | ||
/// It can be created from read-only buffers (e.g. bytes::Bytes or arrow_buffer::Buffer), e.g. "borrowed" | ||
/// or from writeable buffers (e.g. Vec<u8>), e.g. "owned" | ||
#[derive(Debug)] | ||
pub enum LanceBuffer { | ||
Borrowed(Buffer), | ||
Owned(Vec<u8>), | ||
} | ||
|
||
impl LanceBuffer { | ||
/// Convert into a mutable buffer. If this is a borrowed buffer, the data will be copied. | ||
pub fn into_owned(self) -> Vec<u8> { | ||
match self { | ||
LanceBuffer::Borrowed(buffer) => buffer.to_vec(), | ||
LanceBuffer::Owned(buffer) => buffer, | ||
} | ||
} | ||
|
||
/// Convert into an Arrow buffer. Never copies data. | ||
pub fn into_buffer(self) -> Buffer { | ||
match self { | ||
LanceBuffer::Borrowed(buffer) => buffer, | ||
LanceBuffer::Owned(buffer) => Buffer::from_vec(buffer), | ||
} | ||
} | ||
|
||
/// Create a LanceBuffer from a bytes::Bytes object | ||
/// | ||
/// The alignment must be specified (as `bytes_per_value`) since we want to make | ||
/// sure we can safely reinterpret the buffer. | ||
/// | ||
/// If the buffer is properly aligned this will be zero-copy. If not, a copy | ||
/// will be made and an owned buffer returned. | ||
pub fn from_bytes(bytes: bytes::Bytes, bytes_per_value: u64) -> LanceBuffer { | ||
if bytes.as_ptr().align_offset(bytes_per_value as usize) != 0 { | ||
// The original buffer is not aligned, cannot zero-copy | ||
let mut buf = Vec::with_capacity(bytes.len()); | ||
buf.extend_from_slice(&bytes); | ||
LanceBuffer::Owned(buf) | ||
} else { | ||
// The original buffer is aligned, can zero-copy | ||
// SAFETY: the alignment is correct we can make this conversion | ||
unsafe { | ||
LanceBuffer::Borrowed(Buffer::from_custom_allocation( | ||
NonNull::new(bytes.as_ptr() as _).expect("should be a valid pointer"), | ||
bytes.len(), | ||
Arc::new(bytes), | ||
)) | ||
} | ||
} | ||
} | ||
} | ||
|
||
impl AsRef<[u8]> for LanceBuffer { | ||
fn as_ref(&self) -> &[u8] { | ||
match self { | ||
LanceBuffer::Borrowed(buffer) => buffer.as_slice(), | ||
LanceBuffer::Owned(buffer) => buffer.as_slice(), | ||
} | ||
} | ||
} | ||
|
||
impl Deref for LanceBuffer { | ||
type Target = [u8]; | ||
|
||
fn deref(&self) -> &Self::Target { | ||
self.as_ref() | ||
} | ||
} | ||
|
||
impl From<Vec<u8>> for LanceBuffer { | ||
fn from(buffer: Vec<u8>) -> Self { | ||
LanceBuffer::Owned(buffer) | ||
} | ||
} | ||
|
||
impl From<Buffer> for LanceBuffer { | ||
fn from(buffer: Buffer) -> Self { | ||
LanceBuffer::Borrowed(buffer) | ||
} | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,234 @@ | ||
// SPDX-License-Identifier: Apache-2.0 | ||
// SPDX-FileCopyrightText: Copyright The Lance Authors | ||
|
||
//! Data layouts to represent encoded data in a sub-Arrow format | ||
|
||
use std::any::Any; | ||
|
||
use arrow::array::{ArrayData, ArrayDataBuilder}; | ||
use arrow_schema::DataType; | ||
use snafu::{location, Location}; | ||
|
||
use lance_core::{Error, Result}; | ||
|
||
use crate::buffer::LanceBuffer; | ||
|
||
/// A DataBlock is a collection of buffers that represents an "array" of data in very generic terms | ||
/// | ||
/// The output of each decoder is a DataBlock. Decoders can be chained together to transform | ||
/// one DataBlock into a different kind of DataBlock. | ||
/// | ||
/// The DataBlock is somewhere in between Arrow's ArrayData and Array and represents a physical | ||
/// layout of the data. | ||
/// | ||
/// A DataBlock can be converted into an Arrow ArrayData (and then Array) for a given array type. | ||
/// For example, a FixedWidthDataBlock can be converted into any primitive type or a fixed size | ||
/// list of a primitive type. | ||
pub trait DataBlock: Any { | ||
/// Get a reference to the Any trait object | ||
fn as_any(&self) -> &dyn Any; | ||
/// Convert self into a Box<dyn Any> | ||
fn as_any_box(self: Box<Self>) -> Box<dyn Any>; | ||
/// Convert self into an Arrow ArrayData | ||
fn into_arrow(self: Box<Self>, data_type: DataType, validate: bool) -> Result<ArrayData>; | ||
} | ||
|
||
/// Extension trait for DataBlock | ||
pub trait DataBlockExt { | ||
/// Try to convert a DataBlock into a specific layout | ||
fn try_into_layout<T: DataBlock>(self) -> Result<Box<T>>; | ||
} | ||
|
||
impl DataBlockExt for Box<dyn DataBlock> { | ||
fn try_into_layout<T: DataBlock>(self) -> Result<Box<T>> { | ||
self.as_any_box() | ||
.downcast::<T>() | ||
.map_err(|_| Error::Internal { | ||
message: "Couldn't convert to expected layout".to_string(), | ||
location: location!(), | ||
}) | ||
} | ||
} | ||
|
||
/// A data block with no buffers where everything is null | ||
pub struct AllNullDataBlock { | ||
/// The number of values represented by this block | ||
pub num_values: u64, | ||
} | ||
|
||
impl DataBlock for AllNullDataBlock { | ||
fn as_any(&self) -> &dyn Any { | ||
self | ||
} | ||
|
||
fn as_any_box(self: Box<Self>) -> Box<dyn Any> { | ||
self | ||
} | ||
|
||
fn into_arrow(self: Box<Self>, data_type: DataType, _validate: bool) -> Result<ArrayData> { | ||
Ok(ArrayData::new_null(&data_type, self.num_values as usize)) | ||
} | ||
} | ||
|
||
/// Wraps a data block and adds nullability information to it | ||
pub struct NullableDataBlock { | ||
/// The underlying data | ||
pub data: Box<dyn DataBlock>, | ||
/// A bitmap of validity for each value | ||
pub nulls: LanceBuffer, | ||
} | ||
|
||
impl DataBlock for NullableDataBlock { | ||
fn as_any(&self) -> &dyn Any { | ||
self | ||
} | ||
|
||
fn as_any_box(self: Box<Self>) -> Box<dyn Any> { | ||
self | ||
} | ||
|
||
fn into_arrow(self: Box<Self>, data_type: DataType, validate: bool) -> Result<ArrayData> { | ||
let nulls = self.nulls.into_buffer(); | ||
let data = self.data.into_arrow(data_type, validate)?.into_builder(); | ||
let data = data.null_bit_buffer(Some(nulls)); | ||
if validate { | ||
Ok(data.build()?) | ||
} else { | ||
Ok(unsafe { data.build_unchecked() }) | ||
} | ||
} | ||
} | ||
|
||
/// A data block for a single buffer of data where each element has a fixed number of bits | ||
pub struct FixedWidthDataBlock { | ||
/// The data buffer | ||
pub data: LanceBuffer, | ||
/// The number of bits per value | ||
pub bits_per_value: u64, | ||
/// The number of values represented by this block | ||
pub num_values: u64, | ||
} | ||
|
||
impl FixedWidthDataBlock { | ||
fn do_into_arrow( | ||
self: Box<Self>, | ||
data_type: DataType, | ||
num_values: u64, | ||
validate: bool, | ||
) -> Result<ArrayData> { | ||
let builder = match &data_type { | ||
DataType::FixedSizeList(child_field, dim) => { | ||
let child_len = num_values * *dim as u64; | ||
let child_data = | ||
self.do_into_arrow(child_field.data_type().clone(), child_len, validate)?; | ||
ArrayDataBuilder::new(data_type) | ||
.add_child_data(child_data) | ||
.len(num_values as usize) | ||
.null_count(0) | ||
} | ||
_ => { | ||
let data_buffer = self.data.into_buffer(); | ||
ArrayDataBuilder::new(data_type) | ||
.add_buffer(data_buffer) | ||
.len(num_values as usize) | ||
.null_count(0) | ||
} | ||
}; | ||
if validate { | ||
Ok(builder.build()?) | ||
} else { | ||
Ok(unsafe { builder.build_unchecked() }) | ||
} | ||
} | ||
} | ||
|
||
impl DataBlock for FixedWidthDataBlock { | ||
fn as_any(&self) -> &dyn Any { | ||
self | ||
} | ||
|
||
fn as_any_box(self: Box<Self>) -> Box<dyn Any> { | ||
self | ||
} | ||
|
||
fn into_arrow(self: Box<Self>, data_type: DataType, validate: bool) -> Result<ArrayData> { | ||
let root_num_values = self.num_values; | ||
self.do_into_arrow(data_type, root_num_values, validate) | ||
} | ||
} | ||
|
||
/// A data block for variable-width data (e.g. strings, packed rows, etc.) | ||
pub struct VariableWidthBlock { | ||
/// The data buffer | ||
pub data: LanceBuffer, | ||
/// The offsets buffer (contains num_values + 1 offsets) | ||
pub offsets: LanceBuffer, | ||
/// The number of bits per offset | ||
pub bits_per_offset: u8, | ||
/// The number of values represented by this block | ||
pub num_values: u64, | ||
} | ||
|
||
impl DataBlock for VariableWidthBlock { | ||
fn as_any(&self) -> &dyn Any { | ||
self | ||
} | ||
|
||
fn as_any_box(self: Box<Self>) -> Box<dyn Any> { | ||
self | ||
} | ||
|
||
fn into_arrow(self: Box<Self>, data_type: DataType, validate: bool) -> Result<ArrayData> { | ||
let data_buffer = self.data.into_buffer(); | ||
let offsets_buffer = self.offsets.into_buffer(); | ||
let builder = ArrayDataBuilder::new(data_type) | ||
.add_buffer(offsets_buffer) | ||
.add_buffer(data_buffer) | ||
.len(self.num_values as usize) | ||
.null_count(0); | ||
if validate { | ||
Ok(builder.build()?) | ||
} else { | ||
Ok(unsafe { builder.build_unchecked() }) | ||
} | ||
} | ||
} | ||
|
||
/// A data block representing a struct | ||
pub struct StructDataBlock { | ||
/// The child arrays | ||
pub children: Vec<Box<dyn DataBlock>>, | ||
} | ||
|
||
impl DataBlock for StructDataBlock { | ||
fn as_any(&self) -> &dyn Any { | ||
self | ||
} | ||
|
||
fn as_any_box(self: Box<Self>) -> Box<dyn Any> { | ||
self | ||
} | ||
|
||
fn into_arrow(self: Box<Self>, data_type: DataType, validate: bool) -> Result<ArrayData> { | ||
if let DataType::Struct(fields) = &data_type { | ||
let mut builder = ArrayDataBuilder::new(DataType::Struct(fields.clone())); | ||
let mut num_rows = 0; | ||
for (field, child) in fields.iter().zip(self.children) { | ||
let child_data = child.into_arrow(field.data_type().clone(), validate)?; | ||
num_rows = child_data.len(); | ||
builder = builder.add_child_data(child_data); | ||
} | ||
let builder = builder.null_count(0).len(num_rows); | ||
if validate { | ||
Ok(builder.build()?) | ||
} else { | ||
Ok(unsafe { builder.build_unchecked() }) | ||
} | ||
} else { | ||
Err(Error::Internal { | ||
message: format!("Expected Struct, got {:?}", data_type), | ||
location: location!(), | ||
}) | ||
} | ||
} | ||
} |
Oops, something went wrong.