use super::*;
use crate::layout::{
AcknowledgementRouteSpec, Endpoint, LayoutLimits, RegionSetLayout, RegionSpec, RoleId,
ValidationExpectations,
};
use std::alloc::{Layout, alloc_zeroed, dealloc};
struct Allocation {
base: NonNull<u8>,
len: usize,
}
impl Allocation {
fn new(len: usize) -> Self {
let layout = Layout::from_size_align(len, 64).unwrap();
let base = NonNull::new(unsafe { alloc_zeroed(layout) }).unwrap();
Self { base, len }
}
fn bytes_mut(&mut self) -> &mut [u8] {
unsafe { core::slice::from_raw_parts_mut(self.base.as_ptr(), self.len) }
}
fn bytes(&self) -> &[u8] {
unsafe { core::slice::from_raw_parts(self.base.as_ptr(), self.len) }
}
}
impl Drop for Allocation {
fn drop(&mut self) {
unsafe {
dealloc(
self.base.as_ptr(),
Layout::from_size_align(self.len, 64).unwrap(),
)
}
}
}
struct ReaderWitness<'a>(&'a Allocation);
struct WriterWitness<'a>(&'a mut Allocation);
unsafe impl ReadOnlyMapping for ReaderWitness<'_> {
fn base(&self) -> NonNull<u8> {
self.0.base
}
fn len(&self) -> usize {
self.0.len
}
}
unsafe impl SoleWriterMapping for WriterWitness<'_> {
fn base(&self) -> NonNull<u8> {
self.0.base
}
fn len(&self) -> usize {
self.0.len
}
}
#[test]
fn initialize_validate_bind_publish_recheck_and_acknowledge() {
let producer = RoleId::new(1).unwrap();
let acknowledger = RoleId::new(2).unwrap();
let specs = [
RegionSpec {
role: producer,
writer: Endpoint::Initiator,
slot_count: 1,
payload_bytes: 16,
acknowledgement_count: 1,
},
RegionSpec {
role: acknowledger,
writer: Endpoint::Responder,
slot_count: 1,
payload_bytes: 16,
acknowledgement_count: 1,
},
];
let route_specs = [
AcknowledgementRouteSpec {
owner: acknowledger,
target: producer,
slot_index: 0,
cell_index: 0,
},
AcknowledgementRouteSpec {
owner: producer,
target: acknowledger,
slot_index: 0,
cell_index: 0,
},
];
let limits = LayoutLimits {
maximum_mapping_size: 4096,
maximum_slot_count: 2,
maximum_acknowledgement_count: 2,
maximum_payload_bytes: 64,
};
let set = RegionSetLayout::calculate([7; 32], 9, &specs, &route_specs, limits).unwrap();
let producer_layout = set.region(producer).unwrap();
let mut producer_memory = Allocation::new(producer_layout.total_size() as usize);
producer_layout
.encode_into(producer_memory.bytes_mut())
.unwrap();
let producer_validated = unsafe {
ValidatedRegionLayout::validate(
producer_memory.bytes(),
ValidationExpectations {
schema_id: [7; 32],
generation: 9,
role: producer,
writer: Endpoint::Initiator,
maximum_mapping_size: 4096,
},
&set,
)
}
.unwrap();
let ack_layout = set.region(acknowledger).unwrap();
let mut ack_memory = Allocation::new(ack_layout.total_size() as usize);
ack_layout.encode_into(ack_memory.bytes_mut()).unwrap();
let ack_validated = unsafe {
ValidatedRegionLayout::validate(
ack_memory.bytes(),
ValidationExpectations {
schema_id: [7; 32],
generation: 9,
role: acknowledger,
writer: Endpoint::Responder,
maximum_mapping_size: 4096,
},
&set,
)
}
.unwrap();
{
let mut writer = WriterRegion::new(
WriterWitness(&mut producer_memory),
producer_validated.clone(),
set.clone(),
)
.unwrap();
writer.publish(0, 1, None, b"ping").unwrap();
}
let reader = ReaderRegion::new(
ReaderWitness(&producer_memory),
producer_validated,
set.clone(),
)
.unwrap();
let observation = reader.slot(0).unwrap().observe(1).unwrap();
reader.slot(0).unwrap().recheck(observation).unwrap();
assert_eq!(reader.copy_payload(0, 1).unwrap(), b"ping");
{
let mut ack_writer = WriterRegion::new(
WriterWitness(&mut ack_memory),
ack_validated.clone(),
set.clone(),
)
.unwrap();
ack_writer
.acknowledgement(producer, 0)
.unwrap()
.acknowledge(observation)
.unwrap();
}
let ack_reader = ReaderRegion::new(ReaderWitness(&ack_memory), ack_validated, set).unwrap();
let acknowledged = ack_reader.acknowledgement(producer, 0).unwrap().observe();
assert_eq!(acknowledged.sequence(), 1);
assert_eq!(acknowledged.slot_index(), 0);
assert_eq!(acknowledged.cell_index(), 0);
}