iceoryx2_bb_elementary_traits/
zero_copy_send.rs

1// Copyright (c) 2025 Contributors to the Eclipse Foundation
2//
3// See the NOTICE file(s) distributed with this work for additional
4// information regarding copyright ownership.
5//
6// This program and the accompanying materials are made available under the
7// terms of the Apache Software License 2.0 which is available at
8// https://www.apache.org/licenses/LICENSE-2.0, or the MIT license
9// which is available at https://opensource.org/licenses/MIT.
10//
11// SPDX-License-Identifier: Apache-2.0 OR MIT
12
13use iceoryx2_pal_concurrency_sync::iox_atomic::*;
14
15/// Marks types that can be sent to another process in a zero-copy manner, i.e. the types can be
16/// safely used from within different process address spaces and can be uniquely identified by their
17/// [`ZeroCopySend::type_name()`] in an inter-process communication context.
18///
19/// # Safety
20///
21/// The user must ensure that
22///  * the types are self-contained, meaning they shall not contain pointers, references, indices
23///    or handles to resources that are not part of the type.
24///    Examples:
25///       * file descriptors point to resources that can be different in another process
26///       * a list with pointers into the heap
27///  * the types do not have references or pointer members; they shall not use pointers to manage
28///    their internal structure.
29///    Example:
30///       * a list must be implemented using indices to structure itself
31///  * the types must have a uniform memory representation, meaning they are annotated with
32///    `#[repr(C)]`.
33///
34pub unsafe trait ZeroCopySend {
35    /// The unique identifier of the type. It shall be used to identify a specific type across
36    /// processes and languages.
37    ///
38    /// # Safety
39    ///
40    ///  * The user must guarantee that all types, also definitions in different languages, have
41    ///    the same memory layout.
42    unsafe fn type_name() -> &'static str {
43        core::any::type_name::<Self>()
44    }
45
46    #[doc(hidden)]
47    /// used as dummy call in the derive macro to ensure at compile-time that all fields of
48    /// a struct implement ZeroCopySend
49    fn __is_zero_copy_send(&self) {}
50}
51
52unsafe impl ZeroCopySend for usize {}
53unsafe impl ZeroCopySend for u8 {}
54unsafe impl ZeroCopySend for u16 {}
55unsafe impl ZeroCopySend for u32 {}
56unsafe impl ZeroCopySend for u64 {}
57unsafe impl ZeroCopySend for u128 {}
58
59unsafe impl ZeroCopySend for isize {}
60unsafe impl ZeroCopySend for i8 {}
61unsafe impl ZeroCopySend for i16 {}
62unsafe impl ZeroCopySend for i32 {}
63unsafe impl ZeroCopySend for i64 {}
64unsafe impl ZeroCopySend for i128 {}
65
66unsafe impl ZeroCopySend for f32 {}
67unsafe impl ZeroCopySend for f64 {}
68
69unsafe impl ZeroCopySend for char {}
70unsafe impl ZeroCopySend for bool {}
71
72unsafe impl ZeroCopySend for IoxAtomicUsize {}
73unsafe impl ZeroCopySend for IoxAtomicU8 {}
74unsafe impl ZeroCopySend for IoxAtomicU16 {}
75unsafe impl ZeroCopySend for IoxAtomicU32 {}
76unsafe impl ZeroCopySend for IoxAtomicU64 {}
77
78unsafe impl ZeroCopySend for IoxAtomicIsize {}
79unsafe impl ZeroCopySend for IoxAtomicI8 {}
80unsafe impl ZeroCopySend for IoxAtomicI16 {}
81unsafe impl ZeroCopySend for IoxAtomicI32 {}
82unsafe impl ZeroCopySend for IoxAtomicI64 {}
83
84unsafe impl ZeroCopySend for () {}
85
86unsafe impl ZeroCopySend for core::time::Duration {}
87
88unsafe impl<T: ZeroCopySend> ZeroCopySend for [T] {}
89unsafe impl<T: ZeroCopySend, const N: usize> ZeroCopySend for [T; N] {}
90unsafe impl<T: ZeroCopySend> ZeroCopySend for Option<T> {}
91unsafe impl<T: ZeroCopySend, E: ZeroCopySend> ZeroCopySend for Result<T, E> {}
92unsafe impl<T: ZeroCopySend> ZeroCopySend for core::mem::MaybeUninit<T> {}
93unsafe impl<T: ZeroCopySend> ZeroCopySend for core::cell::UnsafeCell<T> {}
94
95unsafe impl<T1: ZeroCopySend, T2: ZeroCopySend> ZeroCopySend for (T1, T2) {}
96unsafe impl<T1: ZeroCopySend, T2: ZeroCopySend, T3: ZeroCopySend> ZeroCopySend for (T1, T2, T3) {}
97unsafe impl<T1: ZeroCopySend, T2: ZeroCopySend, T3: ZeroCopySend, T4: ZeroCopySend> ZeroCopySend
98    for (T1, T2, T3, T4)
99{
100}
101unsafe impl<T1: ZeroCopySend, T2: ZeroCopySend, T3: ZeroCopySend, T4: ZeroCopySend, T5: ZeroCopySend>
102    ZeroCopySend for (T1, T2, T3, T4, T5)
103{
104}
105unsafe impl<
106        T1: ZeroCopySend,
107        T2: ZeroCopySend,
108        T3: ZeroCopySend,
109        T4: ZeroCopySend,
110        T5: ZeroCopySend,
111        T6: ZeroCopySend,
112    > ZeroCopySend for (T1, T2, T3, T4, T5, T6)
113{
114}
115unsafe impl<
116        T1: ZeroCopySend,
117        T2: ZeroCopySend,
118        T3: ZeroCopySend,
119        T4: ZeroCopySend,
120        T5: ZeroCopySend,
121        T6: ZeroCopySend,
122        T7: ZeroCopySend,
123    > ZeroCopySend for (T1, T2, T3, T4, T5, T6, T7)
124{
125}
126unsafe impl<
127        T1: ZeroCopySend,
128        T2: ZeroCopySend,
129        T3: ZeroCopySend,
130        T4: ZeroCopySend,
131        T5: ZeroCopySend,
132        T6: ZeroCopySend,
133        T7: ZeroCopySend,
134        T8: ZeroCopySend,
135    > ZeroCopySend for (T1, T2, T3, T4, T5, T6, T7, T8)
136{
137}
iceoryx2_bb_elementary_traits/zero_copy_send.rs

iceoryx2_bb_elementary_traits/
zero_copy_send.rs
