poulpy/base2k/src/vec_znx_big.rs
base2k/src/vec_znx_big.rsRaw
1use crate::ffi::vec_znx_big;
2use crate::znx_base::{ZnxInfos, ZnxView};
3use crate::{Backend, DataView, DataViewMut, FFT64, Module, alloc_aligned};
4use std::marker::PhantomData;
5
6// const VEC_ZNX_BIG_ROWS: usize = 1;
7
8/// VecZnxBig is `Backend` dependent, denoted with backend generic `B`
9pub struct VecZnxBig<D, B> {
10 data: D,
11 n: usize,
12 cols: usize,
13 size: usize,
14 _phantom: PhantomData<B>,
15}
16
17impl<D, B> ZnxInfos for VecZnxBig<D, B> {
18 fn cols(&self) -> usize {
19 self.cols
20 }
21
22 fn rows(&self) -> usize {
23 1
24 }
25
26 fn n(&self) -> usize {
27 self.n
28 }
29
30 fn size(&self) -> usize {
31 self.size
32 }
33
34 fn sl(&self) -> usize {
35 self.cols() * self.n()
36 }
37}
38
39impl<D, B> DataView for VecZnxBig<D, B> {
40 type D = D;
41 fn data(&self) -> &Self::D {
42 &self.data
43 }
44}
45
46impl<D, B> DataViewMut for VecZnxBig<D, B> {
47 fn data_mut(&mut self) -> &mut Self::D {
48 &mut self.data
49 }
50}
51
52impl<D: AsRef<[u8]>> ZnxView for VecZnxBig<D, FFT64> {
53 type Scalar = i64;
54}
55
56pub(crate) fn bytes_of_vec_znx_big<B: Backend>(module: &Module<B>, cols: usize, size: usize) -> usize {
57 unsafe { vec_znx_big::bytes_of_vec_znx_big(module.ptr, size as u64) as usize * cols }
58}
59
60impl<D: From<Vec<u8>>, B: Backend> VecZnxBig<D, B> {
61 pub(crate) fn new(module: &Module<B>, cols: usize, size: usize) -> Self {
62 let data = alloc_aligned::<u8>(bytes_of_vec_znx_big(module, cols, size));
63 Self {
64 data: data.into(),
65 n: module.n(),
66 cols,
67 size,
68 _phantom: PhantomData,
69 }
70 }
71
72 pub(crate) fn new_from_bytes(module: &Module<B>, cols: usize, size: usize, bytes: impl Into<Vec<u8>>) -> Self {
73 let data: Vec<u8> = bytes.into();
74 assert!(data.len() == bytes_of_vec_znx_big(module, cols, size));
75 Self {
76 data: data.into(),
77 n: module.n(),
78 cols,
79 size,
80 _phantom: PhantomData,
81 }
82 }
83}
84
85impl<D, B> VecZnxBig<D, B> {
86 pub(crate) fn from_data(data: D, n: usize, cols: usize, size: usize) -> Self {
87 Self {
88 data,
89 n,
90 cols,
91 size,
92 _phantom: PhantomData,
93 }
94 }
95}
96
97pub type VecZnxBigOwned<B> = VecZnxBig<Vec<u8>, B>;
98
99impl<B> VecZnxBig<Vec<u8>, B> {
100 pub fn to_mut(&mut self) -> VecZnxBig<&mut [u8], B> {
101 VecZnxBig {
102 data: self.data.as_mut_slice(),
103 n: self.n,
104 cols: self.cols,
105 size: self.size,
106 _phantom: PhantomData,
107 }
108 }
109
110 pub fn to_ref(&self) -> VecZnxBig<&[u8], B> {
111 VecZnxBig {
112 data: self.data.as_slice(),
113 n: self.n,
114 cols: self.cols,
115 size: self.size,
116 _phantom: PhantomData,
117 }
118 }
119}