Crate sync_cell_slice

Sync cells and slices

Sometimes, multiple threads needs to access a place or an element of a slice without atomic operations because the absence of data races is guaranteed externally (e.g., each threads writes to a different element of the slice).

This small crate implements a solution based on a SyncCell<T> newtype with base type Cell<T>. Contrarily to Cell<T>, SyncCell<T> can be shared among threads, as long as its content can be shared, too. This result is obtained by forcing Sync on SyncCell<T> if T is Sync.

All access methods are unsafe, because lack of external synchronization might lead to data races, and thus to undefined behavior. Note that this approach is radically different from that of SyncUnsafeCell, all of which methods are safe.

An important advantage of using Cell instead of UnsafeCell as base type is that we can use the Cell::as_slice_of_cells method to make SyncCell and slices commute, that is, to obtain (safely) from a reference to a SyncCell<[T]> a reference to a [SyncCell<T>]. Since SyncCell<T> is Sync if T is, [SyncCell<T>] is Sync if T is, too. Thus, if T is Sync sharing a slice of T among threads is just a matter of wrapping the slice in a SyncCell and calling SyncCell::as_slice_of_cells. This process is carried out by the extension trait SyncSlice, which add to slices a method as_sync_slice.

The design is based on suggestions contained in a post by Alice Ryhl and in this thread on the Rust Language Forum.

Acknowledgements

This software has been partially supported by project SERICS (PE00000014) under the NRRP MUR program funded by the EU - NGEU. Views and opinions expressed are however those of the authors only and do not necessarily reflect those of the European Union or the Italian MUR. Neither the European Union nor the Italian MUR can be held responsible for them.

Structs

• SyncCell
  A mutable memory location that is Sync.

Traits

• SyncSlice
  Extension trait turning a mutable reference to a slice of T into a reference to a slice of SyncCell<T>.