#atomic #uninitialized #operations #integer #no-alloc #copying #byte

nightly no-std atomic-maybe-uninit

Atomic operations on potentially uninitialized integers

18 releases

0.3.5 Nov 23, 2024
0.3.3 Oct 14, 2024
0.3.2 Jul 10, 2024
0.3.1 Oct 14, 2023
0.2.4 Mar 20, 2022

#345 in Concurrency

Download history 12/week @ 2024-09-23 218/week @ 2024-10-14 15/week @ 2024-11-04 262/week @ 2024-11-18 37/week @ 2024-11-25 142/week @ 2024-12-02

441 downloads per month

Apache-2.0 OR MIT

795KB
14K SLoC

atomic-maybe-uninit

crates.io docs.rs license msrv github actions cirrus ci

Atomic operations on potentially uninitialized integers.

Motivation

Copying types containing uninitialized bytes (e.g., padding), via the standard library's atomic types is undefined behavior because the copy goes through integers.

This crate provides a way to soundly perform such operations.

Platform Support

Currently, x86, x86_64, Arm, AArch64, RISC-V, LoongArch64, Arm64EC, s390x, MIPS, PowerPC, MSP430, AVR, SPARC, Hexagon, M68k, and Xtensa are supported.

target_arch primitives load/store swap/CAS
x86 isize,usize,i8,u8,i16,u16,i32,u32,i64,u64
x86_64 isize,usize,i8,u8,i16,u16,i32,u32,i64,u64
x86_64 (+cmpxchg16b) [2] i128,u128
arm (v6+ or Linux/Android) isize,usize,i8,u8,i16,u16,i32,u32 ✓[1]
arm (except for M-profile) [3] i64,u64
aarch64 isize,usize,i8,u8,i16,u16,i32,u32,i64,u64,i128,u128
riscv32 isize,usize,i8,u8,i16,u16,i32,u32 ✓[1]
riscv64 isize,usize,i8,u8,i16,u16,i32,u32,i64,u64 ✓[1]
loongarch64 [6] isize,usize,i8,u8,i16,u16,i32,u32,i64,u64
arm64ec [7] isize,usize,i8,u8,i16,u16,i32,u32,i64,u64,i128,u128
s390x [7] isize,usize,i8,u8,i16,u16,i32,u32,i64,u64,i128,u128
mips / mips32r6 [8] isize,usize,i8,u8,i16,u16,i32,u32
mips64 / mips64r6 [8] isize,usize,i8,u8,i16,u16,i32,u32,i64,u64
powerpc [8] isize,usize,i8,u8,i16,u16,i32,u32
powerpc64 [8] isize,usize,i8,u8,i16,u16,i32,u32,i64,u64
powerpc64 (+quadword-atomics) [4] [8] i128,u128
msp430 [8] (experimental) isize,usize,i8,u8,i16,u16
avr [8] (experimental) isize,usize,i8,u8,i16,u16
sparc [5] [8] (experimental) isize,usize,i8,u8,i16,u16,i32,u32
sparc64 [8] (experimental) isize,usize,i8,u8,i16,u16,i32,u32,i64,u64
hexagon [8] (experimental) isize,usize,i8,u8,i16,u16,i32,u32,i64,u64
m68k [8] (experimental) isize,usize,i8,u8,i16,u16,i32,u32 ✓[1]
xtensa [8] (experimental) isize,usize,i8,u8,i16,u16,i32,u32 ✓[1]

[1] Arm's atomic RMW operations are not available on v6-m (thumbv6m). RISC-V's atomic RMW operations are not available on targets without the A (or G which means IMAFD) extension such as riscv32i, riscv32imc, etc. M68k's atomic RMW operations requires target-cpu M68020+ (Linux is M68020 by default). Xtensa's atomic RMW operations are not available on esp32s2.
[2] Requires cmpxchg16b target feature (enabled by default on Apple and Windows (except Windows 7) targets).
[3] Armv6+ or Linux/Android, except for M-profile architecture such as thumbv6m, thumbv7m, etc.
[4] Requires quadword-atomics target feature (enabled by default on powerpc64le).
[5] Requires v9 or leoncasa target feature (enabled by default on Linux).
[6] Requires Rust 1.72+.
[7] Requires Rust 1.84+.
[8] Requires nightly due to #![feature(asm_experimental_arch)].

See also Atomic operation overview by architecture for more information about atomic operations in these architectures.

Feel free to submit an issue if your target is not supported yet.

License

Licensed under either of Apache License, Version 2.0 or MIT license at your option.

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.

No runtime deps