Skip to content

Commit 0031ae4

Browse files
committed
Remove use of atomic_load_unordered and undefined behaviour from arm_linux.rs
1 parent 7bec089 commit 0031ae4

File tree

1 file changed

+37
-3
lines changed

1 file changed

+37
-3
lines changed

src/arm_linux.rs

+37-3
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,14 @@
1-
use core::intrinsics;
1+
use core::arch;
22
use core::mem;
3+
use core::sync::atomic::{AtomicU32, Ordering};
34

45
// Kernel-provided user-mode helper functions:
56
// https://www.kernel.org/doc/Documentation/arm/kernel_user_helpers.txt
67
unsafe fn __kuser_cmpxchg(oldval: u32, newval: u32, ptr: *mut u32) -> bool {
78
let f: extern "C" fn(u32, u32, *mut u32) -> u32 = mem::transmute(0xffff0fc0usize as *const ());
89
f(oldval, newval, ptr) == 0
910
}
11+
1012
unsafe fn __kuser_memory_barrier() {
1113
let f: extern "C" fn() = mem::transmute(0xffff0fa0usize as *const ());
1214
f();
@@ -54,13 +56,45 @@ fn insert_aligned(aligned: u32, val: u32, shift: u32, mask: u32) -> u32 {
5456
(aligned & !(mask << shift)) | ((val & mask) << shift)
5557
}
5658

59+
/// Atomically loads the value at `ptr`. The size of `T` is how many of the bytes pointed to by
60+
/// `ptr` are in bounds: if `T` is smaller than 4, then inline ASM is used to bypass the Rust
61+
/// requirement that all pointer reads must be in bounds.
62+
///
63+
/// # Safety
64+
///
65+
/// `ptr` must be aligned and point to memory within a page that allows read access.
66+
/// If `T` has a size of 4, then `ptr` must be valid for a relaxed atomic read.
67+
unsafe fn atomic_load_aligned<T>(ptr: *mut u32) -> u32 {
68+
if mem::size_of::<T>() == 4 {
69+
// SAFETY: As `T` has a size of 4, the caller garantees this is sound.
70+
unsafe { AtomicU32::from_ptr(ptr).load(Ordering::Relaxed) }
71+
} else {
72+
// SAFETY:
73+
// As all 4 bytes pointed to by `ptr` might not be dereferenceable due to being out of
74+
// bounds when doing atomic operations on a `u8`/`i8`/`u16`/`i16`, inline ASM is used to
75+
// avoid causing undefined behaviour. The `ldr` instruction does not touch the stack or
76+
// flags, or write to memory, so `nostack`, `preserves_flags` and `readonly` are sound. The
77+
// caller garantees that `ptr` is aligned, as required by `ldr`.
78+
unsafe {
79+
let res: u32;
80+
arch::asm!(
81+
"ldr {res}, [{ptr}]",
82+
ptr = in(reg) ptr,
83+
res = lateout(reg) res,
84+
options(nostack, preserves_flags, readonly)
85+
);
86+
res
87+
}
88+
}
89+
}
90+
5791
// Generic atomic read-modify-write operation
5892
unsafe fn atomic_rmw<T, F: Fn(u32) -> u32, G: Fn(u32, u32) -> u32>(ptr: *mut T, f: F, g: G) -> u32 {
5993
let aligned_ptr = align_ptr(ptr);
6094
let (shift, mask) = get_shift_mask(ptr);
6195

6296
loop {
63-
let curval_aligned = intrinsics::atomic_load_unordered(aligned_ptr);
97+
let curval_aligned = atomic_load_aligned::<T>(aligned_ptr);
6498
let curval = extract_aligned(curval_aligned, shift, mask);
6599
let newval = f(curval);
66100
let newval_aligned = insert_aligned(curval_aligned, newval, shift, mask);
@@ -76,7 +110,7 @@ unsafe fn atomic_cmpxchg<T>(ptr: *mut T, oldval: u32, newval: u32) -> u32 {
76110
let (shift, mask) = get_shift_mask(ptr);
77111

78112
loop {
79-
let curval_aligned = intrinsics::atomic_load_unordered(aligned_ptr);
113+
let curval_aligned = atomic_load_aligned::<T>(aligned_ptr);
80114
let curval = extract_aligned(curval_aligned, shift, mask);
81115
if curval != oldval {
82116
return curval;

0 commit comments

Comments
 (0)